The Wiegold problem and free products of left-orderable groups

基本信息

• 论文ID: 2510.26073
• 标题: The Wiegold problem and free products of left-orderable groups
• 作者: Lvzhou Chen (Purdue University) and Yash Lodha (Purdue University)
• 分类: math.GR (Group Theory), math.GT (Geometric Topology)
• 发表时间: 2025年10月30日 (arXiv预印本)
• 论文链接: https://arxiv.org/abs/2510.26073

摘要

群的正规秩(normal rank)或权重(weight)大于1意味着没有单个元素可以正规生成该群。1976年Wiegold提出的问题询问是否存在正规秩大于1的有限生成完美群。本文证明任何非平凡左可序群的自由积都具有大于1的正规秩，从而通过取有限生成完美左可序群的自由积解决了Wiegold问题。作者通过拓扑论证获得正规秩的估计，证明了稳定换位子长度的无符号版本的一种谱间隙性质。证明的关键要素是对两个左可序群的自由积上左序族的精巧新构造。

研究背景与动机

1. 核心问题

群论中的一个基本概念是群的正规秩(normal rank)，定义为正规生成该群所需的最小元素集合的基数。对于群 $G = A \star B$ 的自由积，一个长期未解决的问题是：在什么条件下，正规秩大于1？

2. 问题的重要性

• 理论意义: Wiegold在1976年提出的问题(Problem FP14 in BMS02, Problem 5.52 in KM23)询问是否存在有限生成的完美群(perfect group，即等于自身换位子群的群)且正规秩大于1。这个问题自提出以来进展甚微。
• 拓扑应用: 正规秩与3-流形拓扑密切相关。$\pi_1(M)$的正规秩是3-流形$M$的Dehn手术数(Dehn surgery number)的下界。Lickorish-Wallace定理表明任何闭定向连通3-流形都可以通过某个$n$-分支链环上的Dehn手术得到，而最小的$n$值即为Dehn手术数。
• 相关猜想:
  • Gordon猜想: 对于$|I| \geq 3$的自由积$G = \star_{i \in I} A_i$，正规秩总是大于1
  • Scott-Wiegold猜想: 当因子是有限循环群时的特殊情形(已由Howie证明)
  • 三和猜想: 三个非$S^3$的3-流形的连通和的Dehn手术数大于1

3. 现有方法的局限性

• 对于自由积$G = A \star B$，扭元素(torsion)可能导致正规秩为1。例如$G = \mathbb{Z}/2 \star \mathbb{Z}/3$中，$w = ab$正规生成整个群。
• 自1980年代起，已知结果要求更强的条件：每个自由因子是局部可指示的(locally indicable，即每个非平凡有限生成子群都满射到$\mathbb{Z}$)。但这类群不能是完美群。
• 猜测结果在无扭(torsion-free)条件下成立，但缺乏证明技术。

4. 本文的研究动机

本文在左可序(left-orderable)条件下解决问题。群$G$是左可序的，如果存在全序$<$使得$f < g$蕴含$hf < hg$。这个条件：

• 强于无扭条件
• 弱于局部可指示条件
• 包含丰富的群类：自由群、曲面群、辫群、双曲3-流形基本群等
• 存在大量有限生成完美左可序群的例子

核心贡献

1. 解决Wiegold问题: 证明存在有限生成(甚至有限呈现)的完美群，其正规秩大于1(定理A)。
2. 自由积的正规秩估计: 证明任何非平凡左可序群的自由积$G = A \star B$的正规秩大于1(定理B)。更精确地，对于不共轭到$A$中的任何$w \in G$，自然映射$A \hookrightarrow A \star B$诱导单射$A \hookrightarrow (A \star B)/\langle\langle w \rangle\rangle$。
3. 谱间隙性质: 建立了稳定换位子长度无符号版本的谱间隙性质(定理C)。对于边界不可压缩的$w$-可容许曲面$S$(无2-球面或圆盘分量)，有$-\chi(S) \geq \deg(S)$。
4. 相对堆叠的构造: 发展了相对堆叠(relative stacking)的概念和存在性理论(定理E)，这是在自由积上构造特殊左序的精巧方法。
5. 动态排列方法: 引入动态排列(dynamical arrangements)技术，系统地构造满足特定方程和不等方程的群作用。

方法详解

任务定义

目标: 证明对于左可序群$A, B$的自由积$G = A \star B$，如果$w \in G$不共轭到$A$中，则$A$在商群$(A \star B)/\langle\langle w \rangle\rangle$中的像非平凡。

策略: 假设存在$a \in A \setminus \{id\}$使得$a \in \langle\langle w \rangle\rangle$，即存在方程： $a = (g_1 w^{n_1} g_1^{-1})(g_2 w^{n_2} g_2^{-1}) \cdots (g_k w^{n_k} g_k^{-1})$ 其中$k \in \mathbb{Z}^+$，$g_i \in G$，$n_i \neq 0$。通过拓扑和动力系统方法导出矛盾。

模型架构

证明分为两个主要部分：

1. 拓扑论证(定理D)

可容许曲面的定义: 给定$w \in G$，映射$f: S \to X$(其中$X$是$K(G,1)$空间)称为**$w$-可容许曲面**，如果：

• 每个边界分量要么表示$w^n$的共轭类($n \neq 0$)，要么表示$A_i$中的共轭类
• 至少有一个$w$-边界分量

度数: $w$-边界分量表示$w^n$的度数为$|n|$，曲面$S$的度数$\deg(S)$是所有$w$-边界分量度数之和。

边界不可压缩性: 曲面$(f,S)$是边界可压缩的，如果存在嵌入子曲面$P \subset S$同胚于三孔球面(pair of pants)，其两个边界在$w$-边界上分别表示$w^n$和$w^{-m}$，第三个边界在$S$内部表示$w^{m-n}$。

简化正规形: 任何$w$-可容许曲面可简化为简单正规形，即分解为圆盘片(disk-pieces)和环片(annulus-pieces)的并集。每个片$P$有：

• 价(valence) $d(P)$：多边形边界的段数
• 符号变化数 $sc(P)$：一致段(consistent segments)的数量

欧拉示性数公式: 对于简单正规形的曲面$S$： $-\chi(S) = \sum_P \left[\frac{d(P)}{2} - \chi(P)\right]$

2. 动力系统论证(定理E)

相对堆叠的定义: 对于循环约化字$w = a_1b_1 \cdots a_nb_n$，作用$\sigma: G \to \text{Homeo}^+(R)$和点$x \in \mathbb{R}$构成相对堆叠，如果$x$在$w$下的轨迹 $\Omega(w,x) = \{x \cdot \sigma(a_1b_1 \cdots a_ib_i) \mid 1 \leq i \leq n\} \cup \{x \cdot \sigma(a_1b_1 \cdots a_i) \mid 1 \leq i \leq n\}$ 是稳定的，即：

1. $\Omega(w,x)$中每个元素恰好出现一次
2. $x \cdot \sigma(w) = x$

存在性: 对于非真幂(not a proper power)的$w$，相对堆叠存在。

技术创新点

1. $\hat{\lambda}$-定向与符号变化

从相对堆叠得到赋值$\lambda: J_w \to \mathbb{R}$(其中$J_w$是$S^1_w$上的接合点集)，拉回到曲面边界上得到$\hat{\lambda}: J_S \to \mathbb{R}$。这定义了每条弧$\gamma \in F$的**$\hat{\lambda}$-定向**。

关键引理4.5: 不一致段(inconsistent segments)的总数至少为$2\deg(S)$，因此一致段总数至多$(|w|-2)\deg(S)$。

关键引理4.6: 对于每个片$P$，符号变化数$sc(P)$是偶数，且对圆盘片$sc(P) > 0$。

推论4.7: $sc(P) \geq 2\chi(P)$。

2. 谱间隙不等式的证明

结合上述引理： $-\chi(S) = \sum_P \left[\frac{d(P)}{2} - \chi(P)\right] \geq \frac{1}{2}\sum_P [d(P) - sc(P)]$$\geq \frac{1}{2}[|w|\deg(S) - (|w|-2)\deg(S)] = \deg(S)$

3. 动态排列构造

链接区间(catenation): 有序元组$(I_1, J_1, \ldots, I_n, J_n)$，其中每个区间长度为2，端点在$\mathbb{Z}$上，满足特定的衔接条件。

引理5.9和5.10: 对于约化字$w = a_1b_1 \cdots a_kb_k$和链接区间，可以构造作用使得特定点在$w$下的像落在指定范围内。

系统求解: 通过爆破(blow-up)构造，将求解方程和不等方程系统归约为构造满足特定包含和不交条件的作用。

引理5.3: 如果有限系统$\Lambda_1, \ldots, \Lambda_m$各自可解，则它们的组合系统$\Xi(\Lambda_1, \ldots, \Lambda_m)$可解。

4. 相对堆叠的存在性证明

命题5.5: 对于非真幂的$w$和任何真前缀$w_1$，存在作用$\tau$和点$x$使得$x \cdot \tau(w) = x$但$x \cdot \tau(w_1) \neq x$。

证明分两种情况：

• 情况1: $w_1 = a_1b_1 \cdots a_k$
• 情况2: $w_1 = a_1b_1 \cdots a_kb_k$ (需要$b_k \neq b_n$，利用非真幂条件)

通过精心设计的动态排列，构造闭区间$I$使得$I \cdot \sigma(w) \subseteq I$但$(I \cdot \sigma(w_1)) \cap I = \emptyset$，由中间值定理得到所需不动点。

实验设置

本文是纯理论数学论文，不涉及实验设置、数据集或数值实验。所有结果均通过严格的数学证明获得。

实验结果

本文不包含实验结果，所有结论均为理论定理。

相关工作

1. 局部可指示群的结果

• Brodskĭı (1984), Howie (1981), Short (1983): 独立证明了当每个自由因子是局部可指示时，定理B成立。但局部可指示群不能是完美群。

2. HNN扩张的类似结果

• Howie (Kervaire-Laudenbach) 猜想: 对于$G = A \star \mathbb{Z}$，如果$p(w) \neq 0$(其中$p: G \to \mathbb{Z}$是投影)，则$w$不正规生成$G$。
• Gerstenhaber-Rothaus (1962): $A$剩余有限时的证明
• Klyachko (1993): $A$无扭时的证明
• Chen (2025): 新证明方法

3. 稳定换位子长度

• Duncan-Howie (1991): 单关系子积的亏格问题
• Chen (2018), Chen-Heuer (2019), Heuer (2019): 自由积和群图中的scl谱间隙
• 本文研究的是无符号度数版本，需要更强的左可序条件

4. 3-流形拓扑

• Gordon (1983): 关于Dehn手术数的猜想
• Auckly (1997), Hom-Karakurt-Lidman (2016), Liu-Piccirillo (2024): Dehn手术数的界估计
• L-空间猜想: 左可序性与3-流形基本群的关系

5. 其他方向

• Osin-Thom (2013): 正规秩与第一$l^2$-Betti数的猜想联系
• Monod-Ozawa-Thom (2012): irng中的Wiegold问题版本

结论与讨论

主要结论

1. 定理A: 存在有限生成(甚至有限呈现)的完美群，其正规秩大于1。这完全解决了Wiegold 1976年提出的问题。
2. 定理B: 任何非平凡左可序群的自由积$G = A \star B$的正规秩大于1。
3. 定理C: 建立了谱间隙性质：对于边界不可压缩的$w$-可容许曲面$S$(无球面或圆盘分量)，$-\chi(S) \geq \deg(S)$。
4. 推论6.1: 如果$u \in G = A \star B$不共轭到$A$或$B$且非真幂，则对任何$k \geq 2$，$u$在$G/\langle\langle u^k \rangle\rangle$中的像有阶$k$。

局限性

1. 条件限制: 结果要求自由因子是左可序的。虽然这包含了广泛的群类，但仍未覆盖所有无扭群。
2. 自由积个数: 定理B只处理两个因子的情形。对于三个或更多因子，Gordon猜想仍然开放。
3. 右可序性问题: 问题6.2询问商群$G/\langle\langle w \rangle\rangle$是否无扭或右可序(当$w$非真幂时)。这在局部可指示情形下由Howie (1982)解决，但在左可序情形下仍未知。
4. 构造性: 相对堆叠的存在性证明是构造性的，但构造过程复杂，不易显式实现。

未来方向

1. 问题1.1: $n$个非平凡左可序群的自由积的正规秩是否至少为$n$？肯定回答将蕴含$n$个3-流形连通和的Dehn手术数至少为$n$。
2. 问题6.2: 在左可序假设下研究商群$G/\langle\langle w \rangle\rangle$的无扭性和右可序性。
3. 推广到群图: 将相对堆叠和动态排列方法推广到更一般的群图(graphs of groups)设置。
4. 与$l^2$-Betti数的联系: 探索Osin-Thom猜想在左可序群情形下的可能性。
5. 计算方面: 发展算法判定给定左可序群自由积中的元素是否正规生成。

深度评价

优点

1. 重大突破: 解决了近50年的公开问题(Wiegold问题)，是群论中的重要进展。
2. 方法创新:
   • 相对堆叠概念巧妙地将代数问题转化为动力系统问题
   • 动态排列技术提供了系统构造群作用的新工具
   • 将拓扑论证(欧拉示性数估计)与动力系统论证(群作用构造)完美结合
3. 技术深度:
   • $\hat{\lambda}$-定向的引入和符号变化数的分析展现了深刻的几何洞察
   • 爆破构造和系统求解方法(引理5.3)具有普遍性
   • 对两种情况(前缀结尾于$A$或$B$)的细致分析显示了严谨性
4. 广泛影响:
   • 提供了大量新的正规秩大于1的完美群例子
   • 对3-流形拓扑(Dehn手术数)有直接应用
   • 相对堆叠方法可能适用于其他群论问题
5. 写作质量: 论文结构清晰，从简单例子(Example 5.8)逐步过渡到一般情形，便于理解。

不足

1. 技术复杂性:
   • 相对堆叠的存在性证明(第5节)技术细节繁多，特别是情况2的处理
   • 动态排列的构造需要精心设计链接区间，缺乏直观性
   • 某些引理(如引理4.3)的证明虽然正确但较为技术性
2. 条件限制:
   • 左可序性是强于无扭但弱于局部可指示的中间条件，理想情况下希望只需无扭条件
   • 只处理两因子自由积，多因子情形仍然开放
3. 可计算性:
   • 虽然构造是理论上的，但没有讨论如何实际计算或验证给定群是否满足条件
   • 相对堆叠的显式构造在具体例子中可能非常复杂
4. 推广性:
   • 方法是否能推广到HNN扩张以外的更一般群图尚不清楚
   • 与稳定换位子长度的有符号版本的关系可以进一步探讨

影响力

1. 理论意义:
   • 解决长期公开问题，将被群论教科书引用
   • 相对堆叠和动态排列方法可能成为研究群作用的标准工具
   • 为研究正规秩提供了新视角
2. 应用价值:
   • 对3-流形拓扑的Dehn手术数研究有直接贡献
   • 可能对L-空间猜想等相关问题有启发
   • 构造的完美左可序群例子可用于其他研究
3. 可复现性:
   • 证明是完全理论性的，可以逐步验证
   • 主要定理的陈述清晰，易于引用
   • 技术细节虽复杂但完整

适用场景

1. 群论研究:
   • 研究自由积、HNN扩张和群图的正规秩
   • 构造具有特定性质的完美群
   • 研究左可序群的结构理论
2. 几何拓扑:
   • 估计3-流形的Dehn手术数
   • 研究L-空间和左可序基本群
   • 分析曲面子群和单关系群
3. 动力系统:
   • 构造具有特定动力学性质的群作用
   • 研究实直线上的同胚群
   • 分析序结构与群作用的关系
4. 组合群论:
   • 研究群中的方程和不等方程系统
   • 分析字问题和共轭问题的变体
   • 构造反例和病态例子

参考文献

论文引用了广泛的文献，关键参考文献包括：

1. Wiegold问题: BMS02 Baumslag-Myasnikov-Shpilrain, KM23 Kourovka Notebook
2. 局部可指示群: Bro84 Brodskĭı, How81 Howie, Sho83 Short
3. 左可序群: DNR14 Deroin-Navas-Rivas综述, GS87 Ghys-Sergiescu, HL19, HL25 Hyde-Lodha
4. 稳定换位子长度: Cal09 Calegari, Che18, Che20, Che25 Chen, DH91 Duncan-Howie
5. 3-流形拓扑: Gor83 Gordon, LP24 Liu-Piccirillo
6. 堆叠方法: LW17 Louder-Wilton, Mil21 Millard

总结: 这是一篇解决重要公开问题的高质量理论论文，引入了相对堆叠和动态排列等创新技术，将拓扑、动力系统和群论巧妙结合。尽管技术细节复杂，但方法具有普遍性和深刻性，对群论和几何拓扑都有重要影响。论文的主要贡献在于不仅解决了Wiegold问题，还发展了可能适用于更广泛问题的新工具。