[论文解读] The Sigma Invariants of Thompson's Group F

Robert Bieri, Ross Geoghegan+1 more|ArXiv.org|Jul 31, 2008

Geometric and Algebraic Topology参考文献 17被引用 5

一句话总结

本文计算了汤普森群 F 的同伦与同调 Sigma 不变量，证明它们一致：Σ^m(F) = Σ^m(F;ℤ)。通过分析这些不变量在特征球面上的补集，并应用 F^r 的直积公式，证明对每个 m ≥ 1，F 存在类型为 F_{m−1} 但非 FP_m 的子群，因此也非 F_m 类型。

ABSTRACT

Thompson's group F is the group of all increasing dyadic piecewise linear homeomorphisms of the closed unit interval. We compute Sigma^m(F) and Sigma^m(F;Z), the homotopical and homological Bieri-Neumann-Strebel-Renz invariants of F, and we show that Sigma^m(F) = Sigma^m(F;Z). As an application, we show that, for every m, F has subgroups of type F_{m-1} which are not of type F_{m}.

研究动机与目标

• 计算汤普森群 F 的同伦与同调 Sigma 不变量 Σ^m(F) 与 Σ^m(F;ℤ)。
• 确定这些不变量是否一致，从而解决关于 F 的有限性性质的一个关键问题。
• 显式构造 F 的具有特定有限性性质的子群，特别是类型为 F_{m−1} 但非 FP_m 的子群。
• 将 Sigma 不变量的直积公式应用于 F^r，并利用它推导出具有受控有限性类型的子群的新例子。

提出的方法

• 利用 F 作为基群 F(1) 和稳定字母 x₀ 的升序 HNN 扩张的表示，分析其群论结构。
• 通过 Cayley 复形中子复形 Γ^m_{χ≥i} 的连通性与基本群行为，应用 Σ^m(G) 的拓扑定义。
• 将 Σ^m(F)^c 表征为 m ≥ 2 时的（球面）1-单形，并利用其与自身的负集不相交，推导其拓扑性质。
• 利用同调 Sigma 不变量的直积公式：Σ^n(G×H;R)^c = ⋃_{p=0}^n Σ^p(G;R)^c * Σ^{n−p}(H;R)^c，并证明该公式对 R=ℤ 时的 F^r 成立。
• 通过在二进制分割点处的导数条件，显式构造 F 的子群 G_r ≤ F，表明其对应于 S(F^r) 中一个 (2r−1)-单形的重心。
• 利用离散特征的稠密性与 Σ^m(F^r) 的开性，证明具有无限循环商群的邻近正规子群继承相同的有限性性质。

实验结果

研究问题

• RQ1 汤普森群 F 的同伦与同调 Sigma 不变量 Σ^m(F) 与 Σ^m(F;ℤ) 是什么？
• RQ2 F 的同伦与同调 Sigma 不变量对所有 m 是否一致？
• RQ3 Sigma 不变量能否用于构造 F 的具有受控有限性性质的子群，例如 F_{m−1} 但非 FP_m？
• RQ4 Sigma 不变量的直积公式对 F^r 与 R=ℤ 是否成立，这对不变量补集的结构有何影响？
• RQ5 Σ^m(F) 在特征球 S(F) 中的补集具有何种几何与拓扑意义？

主要发现

• 对所有 m，有 Σ^m(F) = Σ^m(F;ℤ)，表明汤普森群 F 的同伦与同调不变量一致。
• 对 m ≥ 2，补集 Σ^m(F)^c 是特征球 S(F) 中的一个（球面）1-单形，且该单形单与自身负集不相交。
• 对 m = 1，Σ^1(F)^c 是该 1-单形的 0-骨架；对 m = 0，其为空集。
• 补集 Σ^m(F^r)^c 是 S(F^r) 中一个球面 (2r−1)-单形的 (m−1)-骨架，且与自身负集不相交。
• 对每个 r ≥ 1 且 m < 2r−1，存在 F^r（因此也存在于 F）的子群，其类型为 F_{m−1} 但非 FP_m。
• 显式构造出一个子群 G_r ≤ F，即 F^r 上某个离散特征的核，对应于 (2r−1)-单形的重心，其类型为 F_{2r−1} 但非 FP_{2r}。