Simple totally disconnected locally compact groups separated by finiteness properties

基本信息

• 论文ID: 2509.05101
• 标题: Simple totally disconnected locally compact groups separated by finiteness properties
• 作者: Laura Bonn, Sebastian Giersbach
• 分类: math.GR (Group Theory)
• 发表时间: February 2025 (arXiv v2: October 29, 2025)
• 论文链接: https://arxiv.org/abs/2509.05101

摘要

本文构造了一系列由有限性性质分离的单的非离散全不连通局部紧致(tdlc)群；即对于每个正整数$n$，存在一个单的非离散tdlc群，它是$F_{n-1}$型但不是$F_n$型。这推广了Skipper-Witzel-Zaremsky关于离散群的结果。此外，作者构造了一个单的非离散tdlc群，它在$\mathbb{Z}$上是$FP_2$型但不是紧呈现的。这些例子来源于与置换群$M$和$N$相关的Smith泛群$\mathcal{U}(M,N)$。作者将Haglund-Wise定理推广到tdlc群，并证明在$M$和$N$的温和条件下，$\mathcal{U}(M,N)$的有限性性质反映其局部作用$M$和$N$的有限性性质。

研究背景与动机

问题背景

1. 有限性性质的推广：在离散群类中，有限性性质$F_n$和$FP_n$推广了有限生成和有限呈现的概念。群是$F_1$或$FP_1$型当且仅当它是有限生成的；有限呈现等价于$F_2$型。性质$F_n$蕴含在任意交换环上的$FP_n$，对有限呈现群，在$\mathbb{Z}$上这两个概念重合。
2. 离散群的分离结果：Bestvina和Brady证明了对于非有限呈现群，$F_n$和$FP_n$的等价性失效。Skipper, Witzel和Zaremsky构造了第一个由有限性性质分离的单群序列，即构造了$F_{n-1}$型但非$F_n$型的单群$G_n$。
3. tdlc群的有限性性质：Abels和Tiemeyer首先将有限性性质推广到局部紧群。在全不连通局部紧致(tdlc)群的设置中，Castellano和Corob Cook给出了不同但等价的定义。

研究动机

1. 推广到非离散情形：将Skipper-Witzel-Zaremsky的离散群结果推广到tdlc群设置。
2. 回答公开问题：Castellano和Weigel提出是否存在具有平凡拟中心、在$\mathbb{Q}$上是$FP_2$型但不紧呈现的非离散tdlc群。本文给出肯定回答并证明更强的结果（在$\mathbb{Z}$上）。
3. 构造新例子：利用Smith泛群构造具有特定有限性性质的单非离散tdlc群。

研究重要性

• 深化对tdlc群有限性性质的理解
• 建立局部作用与整体性质之间的联系
• 为抽象群论提供具体的构造性例子

核心贡献

1. 主要定理1.1：对每个正整数$n$，存在一个单的非离散tdlc群，它是$F_{n-1}$型但非$F_n$型。
2. 主要定理1.2：存在一个单的非离散tdlc群，它在$\mathbb{Z}$上是$FP_2$型但不紧呈现。这回答了Castellano-Weigel的问题，并给出了比要求更强的结果。
3. 定理1.3（Haglund-Wise定理的推广）：证明了对于分裂为有限群图的tdlc群$G$，在边群满足一定有限性条件下，$G$的有限性性质等价于所有顶点群的有限性性质。
4. 推论1.4：对具有有限多个轨道且其中一个传递作用的Smith群$\mathcal{U}(M,N)$，其有限性性质等价于$M$和$N$的有限性性质。
5. 构造方法：提供了利用Bestvina-Brady群和半直积构造满足特定条件的例子的系统方法。

方法详解

Smith泛群构造

基本定义

设$X$和$Y$是两个不相交的非空集合，每个至少包含两个元素。设$M \leq \text{Sym}(X)$和$N \leq \text{Sym}(Y)$是两个置换群。考虑连通的双正则树$T$，其顶点集有双划分$V(T) = V_X \cup V_Y$，其中$V_X$中所有顶点度数为$|X|$，$V_Y$中所有顶点度数为$|Y|$。

合法标记：函数$l: E(T) \to X \cup Y$称为合法标记，如果：

1. 对所有$v \in V_X$，$l|_{o(v)}: o(v) \to X$是双射
2. 对所有$w \in V_Y$，$l|_{o(w)}: o(w) \to Y$是双射
3. 对所有$v \in V(T)$，$l|_{t(v)}$是常值

Smith泛群定义（定义2.1）： $\mathcal{U}^l(M,N) := \{g \in \text{Aut}(T)_{\{V_X\}} \mid \forall v \in V_X: c_X(g,v) \in M \text{ 且 } \forall w \in V_Y: c_Y(g,w) \in N\}$

拓扑性质（命题2.2）

1. 若$M$和$N$闭，则$\mathcal{U}(M,N)$闭
2. 若$M$和$N$闭，则$\mathcal{U}(M,N)$局部紧当且仅当所有点稳定子紧
3. $\mathcal{U}(M,N)$离散当且仅当$M$和$N$自由作用
4. 若$M$和$N$由点稳定子生成，则$\mathcal{U}(M,N)$单当且仅当$M$或$N$传递

有限性性质理论

定义（定义3.1）

设$G$是tdlc群，$R$是交换环：

• $F_n$型：存在可缩的真离散$G$-CW复形$X$，使得$n$-骨架$X_n$模$G$有限
• $FP_n$型（在$R$上）：存在平凡$R[G]$-模$R$的真离散分解$P_* \to R$，使得$P_0, \ldots, P_n$有限生成

关键性质（命题3.2）

1. $F_1$型$\Leftrightarrow$紧生成
2. $F_2$型$\Leftrightarrow$紧呈现
3. $F_n$型$\Rightarrow$ $FP_n$型
4. 紧呈现群：$F_n$型$\Leftrightarrow$ 在$\mathbb{Z}$上$FP_n$型

核心技术定理

定理3.3（局部作用与点稳定子）

对闭置换群$M \leq \text{Sym}(X)$和$N \leq \text{Sym}(Y)$，若点稳定子紧，设$G := \mathcal{U}(M,N)$：

1. $M$和$N$是$F_n$型$\Leftrightarrow$所有$G$的点稳定子是$F_n$型
2. $M$和$N$在$R$上是$FP_n$型$\Leftrightarrow$所有$G$的点稳定子在$R$上是$FP_n$型

证明思路：利用短正合列$1 \to K \to G_v \to M \to 1$，其中$K$是紧的（从而是$F_\infty$和$FP_\infty$型），应用命题3.2的性质。

定理1.3的证明策略

基础情形（$n=1,2$）：

• 命题3.4：对融合自由积$G = A *_C B$，若$G$和$C$紧生成，则$A$和$B$紧生成。证明使用正规形式分析。
• 命题3.7：对融合自由积，若$G$和$C$紧呈现，则$A$和$B$紧呈现。证明使用命题3.6（极限论证）。
• 命题3.5和3.8：对HNN扩张给出类似结果。

一般情形（定理3.9）： 对$FP_n$性质，使用Brown准则和Bass-Serre树的胞腔链复形： $0 \to \bigoplus_{e \in R_e} \mathbb{Z}[G/H_e] \to \bigoplus_{v \in R_v} \mathbb{Z}[G/H_v] \to \mathbb{Z} \to 0$

通过分析置换模的有限性性质，建立顶点群和边群的$FP_n$性质与$G$的$FP_n$性质的等价性。

技术创新点

1. 推广Haglund-Wise定理：首次将该定理从离散群推广到tdlc群，需要处理拓扑复杂性。
2. 极限论证（命题3.6）：使用Baire纲定理证明紧呈现群的极限最终稳定，这是处理非离散情形的关键技术。
3. 正规形式分析：在拓扑群设置中精细分析融合自由积和HNN扩张的正规形式。
4. 置换模技术：利用置换模的有限性性质和开子群的性质（推论3.18）建立局部-整体联系。

实验设置（构造性例子）

构造策略

本文的"实验"是构造性的数学例子，而非数值实验。

基本构造框架（例4.2）

设$M$是具有有限子群$Q$的群，$M$通过左乘作用在陪集空间$X = M/Q$上。此作用忠实当且仅当$\bigcap_{m \in M} mQm^{-1}$平凡。若$Q$有限，则$M$有紧点稳定子。

关键条件：

• $Q$的共轭交平凡（保证忠实性）
• $Q$的共轭生成$M$（保证单性）

Bestvina-Brady群方法

定义4.3：设$L$是有限旗复形，顶点$\{v_1, \ldots, v_n\}$。右角Artin群： $A_L = \langle v_1, \ldots, v_n \mid v_iv_j = v_jv_i \text{ 对所有边 } \{v_i, v_j\} \in L \rangle$

Bestvina-Brady群$H_L$是满同态$\phi: A_L \to \mathbb{Z}$（每个生成元映到1）的核。

命题4.4（有限性性质）：

1. $H_L$在$R$上是$FP_{n+1}$型$\Leftrightarrow$ $L$在$R$上同调$n$-连通
2. $H_L$有限呈现$\Leftrightarrow$ $L$单连通

半直积构造

取$M = H_L \rtimes \text{Aut}(L)$，其中$\text{Aut}(L)$作为有限子群$Q$。

命题4.5：若有限群$Q$忠实作用在无挠群$H$上，则$Q$在$M = H \rtimes Q$中的共轭交平凡。

命题4.7：若$L$连通且每条有向边$(x,y)$在某个三角形中，存在$q \in Q$使$q.(x,z) = (y,z)$，则$Q$的共轭生成$M$。

具体例子

例4.9（定理1.1的证明）

对$n \geq 2$，取$L$为$n$-维球面$S^n$的旗三角剖分（$(n+1)$-维交叉多面体的边界）。

• $L$单连通（$n \geq 2$）
• $S^n$是$(n-1)$-连通但非$n$-连通
• 由命题4.4，$H_L$是$F_n$型但非$F_{n+1}$型
• 设$Q = \text{Aut}(L)$，则$\mathcal{U}(H_L \rtimes Q, \text{Sym}(3))$是单非离散tdlc群，$F_n$型但非$F_{n+1}$型

例4.10（定理1.2的证明）

构造有限连通旗复形$L$满足：

• 非单连通
• 在$\mathbb{Z}$上同调1-连通
• 每条边在三角形内
• $Q = \text{PSL}_2(13) \times C_3 \times C_3$传递作用在有向边上

具体构造（见附录GAP代码）：

1. $Q$有三个子群$V_1, V_2, V_3 \cong C_{13} \rtimes C_3$
2. 顶点为$Q$在$V_i$上的左陪集
3. 定义特定的邻接关系
4. 得到的三角复形$L$满足所需性质

非单连通性证明：使用覆盖空间论证。$L$中每个顶点的连接中闭环长度$\geq 6$，由Cartan-Hadamard定理，泛覆盖$\tilde{L}$是CAT(0)空间且包含测地线，但$L$有界，故$L \not\cong \tilde{L}$。

由命题4.4，$H_L$在$\mathbb{Z}$上是$FP_2$型但非有限呈现。因此$\mathcal{U}(H_L \rtimes \text{Aut}(L), \text{Sym}(3))$是单非离散tdlc群，在$\mathbb{Z}$上$FP_2$型但非紧呈现。

实验结果

主要结果总结

1. 定理1.1的实现：对每个$n \geq 2$，通过例4.9构造了单非离散tdlc群，是$F_{n-1}$型但非$F_n$型（对$n=2$，构造$F_1$但非$F_2$型的群）。
2. 定理1.2的实现：通过例4.10构造了单非离散tdlc群，在$\mathbb{Z}$上是$FP_2$型但非紧呈现。
3. 理论框架验证：
   • 定理1.3成功推广了Haglund-Wise定理
   • 推论1.4建立了Smith群与局部作用有限性性质的对应
   • 定理3.3建立了局部作用与点稳定子的联系

其他构造方法（注记4.11）

1. 使用单群：若$M$是具有非平凡有限子群$Q$的单群，则$\mathcal{U}(M, \text{Sym}(3))$是单非离散tdlc群，与$M$有相同有限性性质。应用于Skipper-Witzel-Zaremsky的群可得$F_{n-1}$但非$F_n$型的例子。
2. 特殊线性群：$M = \text{SL}_n(\mathbb{F}_q[t,t^{-1}])$（$n \geq 3$，$\gcd(n, q-1)=1$），$Q = \text{SL}_n(\mathbb{F}_q)$。由Vogtmann定理，$M$是$F_{2n-3}$型但非$F_{2n-2}$型。

验证方法

所有例子的验证都基于：

1. 拓扑性质：通过命题2.2验证非离散性和局部紧性
2. 单性：通过命题2.2(4)验证单性条件
3. 有限性性质：通过定理1.4和已知的Bestvina-Brady群性质

相关工作

离散群的有限性性质

1. 经典理论：
   • Brown准则：通过群作用在CW复形上判断有限性性质
   • Bestvina-Brady 2：证明$F_n$和$FP_n$对非有限呈现群不等价
2. 分离结果：
   • Skipper-Witzel-Zaremsky 13：首次构造由有限性性质分离的单离散群序列
   • Llosa Isenrich-Schesler-Wu 11：最近构造了$FP_2$但非有限呈现的单离散群

tdlc群理论

1. 有限性性质定义：
   • Abels-Tiemeyer 1：首次推广到局部紧群
   • Castellano-Corob Cook 7：在tdlc设置给出等价定义
2. 群图理论：
   • Haglund-Wise 9：离散群的群图有限性性质
   • 本文：推广到tdlc群
3. Smith泛群：
   • Smith 14：引入构造，得到不可数多个两两非同构的单非离散tdlc群
   • Burger-Mozes 5：正则树上的泛群（特殊情形）

本文优势

1. 首次系统研究：tdlc群的有限性性质分离现象
2. 统一框架：通过Smith群构造，将局部性质与整体性质联系
3. 理论推广：成功将多个离散群结果推广到tdlc设置
4. 构造方法：提供可操作的构造技术（Bestvina-Brady群+半直积）

结论与讨论

主要结论

1. 存在性结果：证明了tdlc群中存在与离散群类似的有限性性质分离现象，完整回答了该领域的基本问题。
2. 结构定理：定理1.3和推论1.4建立了群图分解与有限性性质的关系，为研究tdlc群提供了有力工具。
3. 构造技术：发展了基于Bestvina-Brady群和Smith泛群的系统构造方法，可应用于构造其他具有特定性质的tdlc群。

局限性

1. 构造复杂性：例4.10的构造需要复杂的组合设计和计算机辅助验证（GAP代码），不够直观。
2. 一般性限制：
   • 定理1.4要求$M$和$N$有有限多个轨道且其中一个传递
   • 许多结果依赖于点稳定子的紧性假设
3. 分类问题未解决：
   • 未给出所有可能的有限性性质配置的完整分类
   • 不清楚哪些有限性性质组合可以实现
4. 计算复杂性：验证具体例子的性质（如非单连通性）需要深入的几何和拓扑论证。

未来方向

1. 更多例子：寻找更简单或更自然的构造，特别是不依赖Bestvina-Brady群的方法。
2. 分类问题：
   • 刻画所有可能的有限性性质组合
   • 研究不同构造方法之间的关系
3. 推广到其他性质：
   • 研究其他拓扑或代数性质的分离
   • 考虑更一般的局部紧群
4. 应用：
   • 将这些构造应用于其他数学领域（如拓扑动力系统、算子代数）
   • 研究这些群的表示论
5. 计算方法：发展更系统的计算工具来验证和构造满足特定条件的复形。

深度评价

优点

1. 理论深度：
   • 成功将Haglund-Wise定理从离散群推广到tdlc群，技术难度大
   • 极限论证（命题3.6）使用Baire纲定理处理紧呈现性，展示了深刻的拓扑洞察
   • 建立了局部作用-点稳定子-整体性质的三层联系
2. 构造创新：
   • 巧妙结合Bestvina-Brady群、半直积和Smith泛群
   • 例4.10的构造（使用$\text{PSL}_2(13) \times C_3 \times C_3$）具有独创性
   • 提供了可验证的具体例子（附录GAP代码）
3. 系统性：
   • 从基础情形（$n=1,2$）到一般情形的完整证明
   • 融合自由积和HNN扩张的统一处理
   • 理论框架（定理1.3）→应用（推论1.4）→具体例子的清晰逻辑链
4. 完整性：
   • 回答了Castellano-Weigel的公开问题并给出更强结果
   • 推广了Skipper-Witzel-Zaremsky的经典结果
   • 提供了多种构造方法（注记4.11）
5. 技术严谨性：
   • 所有定理证明完整
   • 拓扑细节处理仔细（开子群、紧性、极限）
   • 计算机代码可验证

不足

1. 可读性：
   • 对非专家而言，tdlc群的拓扑技术细节较难理解
   • 例4.10的非单连通性证明需要CAT(0)几何背景
   • 缺少直观的几何图示（仅图1展示了合法标记）
2. 构造自然性：
   • 例4.10的构造似乎是为满足特定条件而"定制"的
   • 不清楚$\text{PSL}_2(13) \times C_3 \times C_3$的选择是否有深层原因
   • 依赖计算机搜索可能限制了对构造本质的理解
3. 一般性：
   • 定理1.4的条件（有限多个轨道，一个传递）较强
   • 未讨论不满足这些条件时会发生什么
   • 对于$n=1$的情形（$F_0$但非$F_1$）未给出例子
4. 比较分析不足：
   • 与Llosa Isenrich-Schesler-Wu 11的方法比较不够深入
   • 注记4.11提到的其他方法缺少详细讨论
   • 不同构造方法的优劣比较不明确
5. 开放问题：
   • 未明确列出剩余的开放问题
   • 对于$FP_\infty$但非$F_\infty$的例子未讨论

影响力

1. 对领域的贡献：
   • 重大理论进展：首次系统建立tdlc群有限性性质分离理论
   • 方法论贡献：推广群图技术到tdlc设置，为后续研究提供工具
   • 回答重要问题：解决了Castellano-Weigel的公开问题
2. 实用价值：
   • 构造工具：Smith泛群+Bestvina-Brady群方法可应用于构造其他例子
   • 计算支持：GAP代码为验证提供了实际工具
   • 理论框架：定理1.3可应用于分析其他tdlc群的有限性性质
3. 可复现性：
   • 高：所有证明完整，关键例子有计算机代码
   • GAP代码（附录）可直接运行验证例4.10
   • 理论框架清晰，可应用于构造类似例子
4. 潜在应用：
   • 算子代数：tdlc群的表示与算子代数相关
   • 拓扑动力系统：群作用在树上的动力学性质
   • 几何群论：进一步理解有限性性质的几何本质

适用场景

1. 直接应用：
   • 研究具有特定有限性性质的tdlc群
   • 构造具有极端性质的群（如单但非紧呈现）
   • 研究Smith泛群的结构
2. 方法论应用：
   • 使用群图分解研究tdlc群性质
   • 通过局部作用理解整体性质
   • 极限论证技术可应用于其他拓扑群问题
3. 理论研究：
   • 有限性性质的分类和刻画
   • tdlc群的结构理论
   • 离散群与tdlc群的类比研究
4. 相关领域：
   • 自守形式理论（算术群）
   • 建筑理论（群作用在建筑上）
   • 拓扑群的同调理论

技术亮点

1. Baire纲定理的应用（命题3.6）：在证明紧呈现群的极限最终稳定时，巧妙使用Baire纲定理，这是处理非离散拓扑的关键技术。
2. 置换模技术：利用Bass-Serre树的胞腔链复形和置换模的有限性性质，建立了优雅的同调论证。
3. 正规形式的拓扑处理：在命题3.4和3.7中，将经典的正规形式论证与紧生成集的拓扑性质结合。
4. 几何-代数对应：通过旗复形的拓扑性质（连通性）刻画Bestvina-Brady群的代数性质（有限性性质）。

参考文献（关键文献）

2 M. Bestvina and N. Brady, Morse theory and finiteness properties of groups, Invent. Math. 129 (1997), 445–470. （首次证明$F_n$和$FP_n$不等价）

7 I. Castellano and G. Corob Cook, Finiteness properties of totally disconnected locally compact groups, Journal of Algebra 543 (2020), 54–97. （tdlc群有限性性质的现代定义）

9 F. Haglund and D. T. Wise, A note on finiteness properties of graphs of groups, Proceedings of the AMS, Series B (2021). （本文推广的主要定理）

13 R. Skipper, S. Witzel, and M. C. B. Zaremsky, Simple groups separated by finiteness properties, Invent. Math. 215 (2019), 713–740. （离散群的分离结果，本文推广的对象）

14 S. Smith, A product for permutation groups and topological groups, Duke Math. J. 166 (2017), 2965–2999. （Smith泛群的原始构造）

总体评价：这是一篇高质量的理论数学论文，成功将离散群论中的重要结果推广到tdlc群设置，技术深刻，构造巧妙。虽然某些构造的自然性和一般性还有提升空间，但其理论贡献和方法论价值显著，为tdlc群的有限性性质研究奠定了重要基础。论文的严谨性和完整性都很高，是该领域的重要进展。