[论文解读] Residual properties of 3-manifold groups I: Fibered and hyperbolic 3-manifolds

Thomas Koberda|arXiv (Cornell University)|Oct 11, 2009

Geometric and Algebraic Topology参考文献 26被引用 3

一句话总结

本文分类了在虚拟残基p意义下为3-流形群的群，通过纤维丛和双曲3-流形的基本群的单值作用与Wise的近期结果，证明了其虚拟残基p性质。关键贡献在于：若单值作用在H₁(Σ, ℤ/pℤ)上为幂幺（unipotent），则基本群为残基p；且所有有限体积双曲3-流形群均为虚拟残基p。

ABSTRACT

Let $p$ be a prime. In this paper, we classify the geometric 3-manifolds whose fundamental groups are virtually residually $p$. Let $M=M^3$ be a virtually fibered 3-manifold. It is well-known that $G=π_1(M)$ is residually solvable and even residually finite solvable. We prove that $G$ is always virtually residually $p$. Using recent work of Wise, we prove that every hyperbolic 3-manifold is either closed or virtually fibered and hence has a virtually residually $p$ fundamental group. We give some generalizations to pro-$p$ completions of groups, mapping class groups, residually torsion-free nilpotent 3-manifold groups and central extensions of residually $p$ groups.

研究动机与目标

• 对基本群为虚拟残基p的几何3-流形进行分类，重点关注纤维丛和双曲情形。
• 理解纤维丛3-流形基本群为残基p的条件，特别是单值作用在同调上的性质。
• 将结果扩展至p-完备化、映射类群以及残基p群的中心扩张。
• 研究3-流形群的剩余性质，特别是与剩余幂零性及剩余无挠幂零性的关系。
• 利用Wise的近期工作，回答Lubotzky关于双曲3-流形群的残基p性质的问题。

提出的方法

• 对纤维丛3-流形使用短正合列 1 → π₁(Σ) → π₁(M) → ℤ → 1，其中 ℤ 由一个稳定元 t 生成。
• 分析单值 ψ 在 H₁(Σ, ℤ/pℤ) 上的作用；证明幂幺作用蕴含残基p性质。
• 应用Wise的近期结果，表明每个有限体积双曲3-流形均为虚拟纤维化，因此其基本群为虚拟残基p。
• 使用上同调技术，包括 H² 中的限制与核心限制映射，研究中心扩张并检测扩张是否非分裂。
• 采用 RFRS（虚拟有限p-残基可解）条件，并证明某些幂零群（如Heisenberg群）不是RFRS。
• 利用阿贝尔化映射及其在有限指数子群上的行为，证明群的中心无法被RFRS序列穷尽。

实验结果

研究问题

• RQ1 在何种条件下，纤维丛3-流形的基本群为残基p？特别是单值ψ在同调上的作用。
• RQ2 何时双曲3-流形的基本群为虚拟残基p？对所有素数p是否均成立？
• RQ3 3-流形群的残基p性质在模p同调表示核中的元素复合后是否保持？
• RQ4 哪些3-流形群是残基无挠幂零的？其与同调上单值作用的关系如何？
• RQ5 中心扩张中是否存在阻碍残基p性质的障碍，特别是在非平凡欧拉类的环面丛中？

主要发现

• 若单值ψ在H₁(Σ, ℤ/pℤ)上作用为幂幺，则π₁(M)为残基p。
• 对于环面纤维，π₁(M)为残基p当且仅当p整除det(A − I)，其中A ∈ SL₂(ℤ)为单值矩阵。
• 每个有限体积双曲3-流形的基本群均为虚拟残基p，因其由Wise的工作可知为虚拟纤维化。
• 整数Heisenberg群不是RFRS，更一般地，具有非平凡e ∈ H²(N/Z, Z)的无挠幂零群也不是RFRS。
• 若中心扩张1 → ℤ → Γ → π₁(Σ) → 1的欧拉类非平凡，则其不是RFRS，因为其中心无法被RFRS序列穷尽。
• 若G_ψ为残基p，且φ属于Mod(Σ) → Sp₂g(ℤ/pℤ)的核，则G_{ψ∘φ}也为残基p。