2025-11-16T20:46:12.362257

Schur multiplier and Schur covers of relative Rota-Baxter groups

Belwal, Rathee, Singh
Relative Rota-Baxter groups are generalizations of Rota-Baxter groups and share a close connection with skew left braces. These structures are well-known for offering bijective non-degenerate set-theoretical solutions to the Yang-Baxter equation. This paper builds upon the recently introduced extension theory and low-dimensional cohomology of relative Rota-Baxter groups. We prove an analogue of the Hochschild-Serre exact sequence for central extensions of relative Rota-Baxter groups. We introduce the Schur multiplier $M_{RRB}(\mathcal{A})$ of a relative Rota-Baxter group $\mathcal{A} =(A,B,β,T)$, and prove that the exponent of $M_{RRB}(\mathcal{A})$ divides $|A||B|$ when $\mathcal{A}$ is finite. We define weak isoclinism of relative Rota-Baxter groups, introduce their Schur covers, and prove that any two Schur covers of a finite bijective relative Rota-Baxter group are weakly isoclinic. The results align with recent results of Letourmy and Vendramin for skew left braces.
academic

Schur multiplier and Schur covers of relative Rota-Baxter groups

基本信息

  • 论文ID: 2311.12384
  • 标题: Schur multiplier and Schur covers of relative Rota-Baxter groups
  • 作者: Pragya Belwal, Nishant Rathee, Mahender Singh
  • 分类: math.QA (Quantum Algebra), math.GR (Group Theory)
  • 发表时间: 2023年11月21日 (arXiv预印本)
  • 论文链接: https://arxiv.org/abs/2311.12384

摘要

本文研究相对Rota-Baxter群的Schur乘子和Schur覆盖。相对Rota-Baxter群是Rota-Baxter群的推广，与偏左括号(skew left braces)有密切联系，这些结构在Yang-Baxter方程的双射非退化集合论解中发挥重要作用。论文基于最近引入的相对Rota-Baxter群的扩张理论和低维上同调，证明了相对Rota-Baxter群中心扩张的Hochschild-Serre正合序列的类似结果，引入了相对Rota-Baxter群A=(A,B,β,T)\mathcal{A} = (A,B,β,T)的Schur乘子MRRB(A)M_{RRB}(\mathcal{A})，并证明当A\mathcal{A}有限时，MRRB(A)M_{RRB}(\mathcal{A})的指数整除∣A∣∣B∣|A||B|。

研究背景与动机

问题背景

  1. Yang-Baxter方程的集合论解：Yang-Baxter方程是数学物理中的重要方程，其集合论解的分类是Drinfel'd提出的重要问题。相对Rota-Baxter群和偏左括号为这类解提供了重要的代数结构。
  2. 代数结构的扩张理论：经典群论中，Schur乘子和Schur覆盖是研究群的中心扩张的重要工具。将这些概念推广到相对Rota-Baxter群是自然且重要的发展方向。
  3. 同调理论的发展：相对Rota-Baxter群的上同调理论刚刚建立，需要进一步发展其深层理论，特别是与经典群上同调的联系。

研究动机

  1. 理论完善：建立相对Rota-Baxter群的Schur理论，完善其代数结构理论
  2. 统一框架：将群论、偏左括号理论统一在相对Rota-Baxter群的框架下
  3. 应用拓展：为Yang-Baxter方程解的研究提供新的代数工具

核心贡献

  1. 建立Hochschild-Serre正合序列：证明了相对Rota-Baxter群中心扩张的Hochschild-Serre正合序列(定理4.2)
  2. 引入Schur乘子概念：定义了相对Rota-Baxter群的Schur乘子MRRB(A)M_{RRB}(\mathcal{A})，并证明其指数性质(定理5.2)
  3. 建立弱等斜概念：引入相对Rota-Baxter群的弱等斜(weak isoclinism)概念，推广了经典的等斜理论
  4. 构造Schur覆盖：定义并构造了相对Rota-Baxter群的Schur覆盖，证明了存在性和唯一性结果
  5. 理论统一：将结果与Letourmy和Vendramin关于偏左括号的最新结果统一

方法详解

基础概念与定义

相对Rota-Baxter群

相对Rota-Baxter群是四元组(H,G,φ,R)(H,G,φ,R)，其中：

  • HH, GG是群
  • φ:G→Aut(H)φ: G → \text{Aut}(H)是群同态
  • R:H→GR: H → G是满足相对Rota-Baxter条件的映射： R(h1)R(h2)=R(h1φR(h1)(h2))R(h_1)R(h_2) = R(h_1φ_{R(h_1)}(h_2))

上同调理论

论文建立在作者之前工作3的基础上，使用二次上同调群HRRB2(A,K)H^2_{RRB}(\mathcal{A},\mathcal{K})来分类中心扩张，其中2-上循环由四元组(τ1,τ2,ρ,χ)(τ_1, τ_2, ρ, χ)组成，满足相容性条件。

核心技术方法

1. Hochschild-Serre正合序列

对于中心扩张： 1→(K,L,α,S)→(H,G,φ,R)→(A,B,β,T)→11 → (K,L,α,S) → (H,G,φ,R) → (A,B,β,T) → 1

构造正合序列： 1→HomRRB(A,M)→HomRRB(H,M)→HomRRB(K,M)→HRRB2(A,M)→HRRB2(H,M)1 → \text{Hom}_{RRB}(A,M) → \text{Hom}_{RRB}(H,M) → \text{Hom}_{RRB}(K,M) → H^2_{RRB}(A,M) → H^2_{RRB}(H,M)

2. Schur乘子的构造

定义Schur乘子为： MRRB(A)=HRRB2(A,C)M_{RRB}(\mathcal{A}) = H^2_{RRB}(\mathcal{A}, \mathcal{C}) 其中C=(C×,C×,α0,S0)\mathcal{C} = (C^×, C^×, α^0, S^0)是平凡的相对Rota-Baxter群。

3. 指数界的证明

通过构造特殊的2-上循环和使用有限群的性质，证明： exp⁡(MRRB(A))∣∣A∣∣B∣\exp(M_{RRB}(\mathcal{A})) \mid |A||B|

关键技术是构造映射A(x)=∏a∈Aτ1(x,a)A(x) = \prod_{a∈A} τ_1(x,a)和B(y)=∏b∈Bτ2(y,b)B(y) = \prod_{b∈B} τ_2(y,b)，然后证明存在θ1:A→C×θ_1: A → C^×和θ2:B→C×θ_2: B → C^×使得相应的上边界关系成立。

主要结果

定理5.2 (Schur乘子的指数界)

如果A=(A,B,β,T)\mathcal{A} = (A,B,β,T)是有限相对Rota-Baxter群，则MRRB(A)M_{RRB}(\mathcal{A})的指数整除∣A∣∣B∣|A||B|。

定理5.7 (Schur覆盖的存在性)

每个有限相对Rota-Baxter群都至少有一个中心扩张，使得其对应的transgression映射是同构。

定理6.7 (弱等斜性)

设A\mathcal{A}是有限相对Rota-Baxter群。如果两个中心扩张的transgression映射都是同构，则对应的扩张群是弱等斜的。

推论6.11和6.12 (Schur覆盖的性质)

  • 每个有限双射相对Rota-Baxter群都有至少一个Schur覆盖
  • 任意两个Schur覆盖都是弱等斜的

技术创新点

1. 多层次的上同调理论

论文建立了三个层次上同调理论之间的联系：

  • 群的上同调HGp2(A,K)H^2_{Gp}(A,K)
  • 偏左括号的上同调HSLB2(M,I)H^2_{SLB}(M,I)
  • 相对Rota-Baxter群的上同调HRRB2(A,K)H^2_{RRB}(\mathcal{A},\mathcal{K})

2. 弱等斜概念的引入

不同于经典的等斜概念，弱等斜允许更灵活的同构条件，特别适合相对Rota-Baxter群的结构特点。

3. 统一的理论框架

通过函子A↦AT\mathcal{A} ↦ \mathcal{A}_T（诱导的偏左括号），将相对Rota-Baxter群理论与偏左括号理论统一。

相关工作

经典群论基础

  • Schur的经典工作16,17建立了群的Schur乘子理论
  • Brown4和Passi等13的群上同调理论

近期发展

  • Letourmy和Vendramin11,12关于偏左括号的等斜理论和Schur覆盖
  • Bardakov和Gubarev1,2关于Rota-Baxter群的工作
  • 作者之前的工作3建立了相对Rota-Baxter群的扩张理论

结论与讨论

主要结论

  1. 成功建立了相对Rota-Baxter群的Schur理论，包括Schur乘子和Schur覆盖
  2. 证明了有限情况下的基本性质，如指数界和存在性定理
  3. 建立了与偏左括号理论的深层联系，验证了理论的一致性

局限性

  1. 主要结果集中在有限情况，无限群的情况需要进一步研究
  2. 弱等斜不是等价关系，理论结构不如经典等斜完善
  3. 具体的计算例子较少，实际应用还需要进一步发展

未来方向

  1. 研究无限相对Rota-Baxter群的Schur理论
  2. 发展更精细的分类理论
  3. 探索与Yang-Baxter方程解的具体联系
  4. 研究高维上同调的性质

深度评价

优点

  1. 理论深度：建立了完整的Schur理论框架，技术处理精巧
  2. 统一性：成功统一了群论、偏左括号和相对Rota-Baxter群的理论
  3. 创新性：弱等斜概念的引入解决了技术难题
  4. 完整性：从基础定义到深层结果，理论体系完整

不足

  1. 计算复杂性：具体计算Schur乘子的方法不够明确
  2. 应用导向：与Yang-Baxter方程的具体联系还需要加强
  3. 例子缺乏：缺少具体的非平凡例子来说明理论的威力

影响力

  1. 理论贡献：为相对Rota-Baxter群理论奠定了重要基础
  2. 方法论：提供了研究新代数结构的范式
  3. 连接性：加强了不同数学分支之间的联系

适用场景

  1. 量子群和Yang-Baxter方程的研究
  2. 代数结构的分类问题
  3. 上同调理论的应用研究

参考文献

论文引用了29篇重要文献，涵盖了群论、上同调理论、Rota-Baxter算子和偏左括号等多个领域的经典和最新成果，体现了研究的广泛基础和前沿性。

总体评价：这是一篇高质量的理论数学论文，在相对Rota-Baxter群这一新兴领域建立了重要的理论基础。论文技术处理精巧，结果深刻，为该领域的进一步发展奠定了坚实基础。虽然在具体应用和计算方面还有提升空间，但其理论贡献是显著的。