[论文解读] Determining Fuchsian groups by their finite quotients

Martin R. Bridson, Marston Conder+1 more|arXiv (Cornell University)|Jan 15, 2014

Geometric and Algebraic Topology参考文献 27被引用 4

一句话总结

本文证明了某些有限生成、剩余有限的群类——特别是Fuchsian群、曲面群、右角Artin群以及非一致算术格——在同构意义下可由其有限商群唯一确定。通过p进群理论，作者证明：若两个此类群具有完全相同的有限商群同构类集合，则它们彼此同构，从而解决了几何群论中针对关键群类的长期悬而未决问题。

ABSTRACT

Let $\C(Γ)$ be the set of isomorphism classes of the finite groups that are homomorphic images of $Γ$. We investigate the extent to which $\C(Γ)$ determines $Γ$ when $Γ$ is a group of geometric interest. If $Γ_1$ is a lattice in ${ m{PSL}}(2,\R)$ and $Γ_2$ is a lattice in any connected Lie group, then $\C(Γ_1) = \C(Γ_2)$ implies that $Γ_1$ is isomorphic to $Γ_2$. If $F$ is a free group and $Γ$ is a right-angled Artin group or a residually free group (with one extra condition), then $\C(F)=\C(Γ)$ implies that $F\congΓ$. If $Γ_1

研究动机与目标

• 确定一个群的有限商群集合是否可在关键几何群类中唯一确定其同构类。
• 将基于有限商群的群分类理解从剩余有限性扩展至Fuchsian群及相关类群。
• 解决关于自由群、曲面群与算术格是否能通过其有限商群集合加以区分的开放问题。
• 利用p进群理论构建一个理论框架，以分析由有限商群导出的群同构不变量。
• 证明即使在子群增长渐近等价的情况下，有限商群仍可区分非同构群。

提出的方法

• 作者利用p进群理论分析群的p进完备化结构，其编码了群的所有有限商群。
• 他们应用了p进刚性理论中的结果，特别是利用p进不变量（如有限商群集合及生成元的最小公倍数）。
• 证明依赖于通过数论与群论约束（包括生成元的可除性与最小公倍数条件）分析有限商群的结构。
• 通过显式构造与情形分析，排除非同构三角群之间的同构可能性，方法是展示可区分的有限商群。
• 作者运用代数数论及李群中格的性质，分析非一致算术格及其p进完备化。
• 他们应用Serre的良群理论与LERF性质结果，以区分曲面群与剩余自由群与自由群。

实验结果

研究问题

• RQ1 在所有有限生成、剩余有限群中，Fuchsian群是否能由其有限商群集合唯一确定？
• RQ2 具有特定性质的右角Artin群与剩余自由群是否具有唯一的p进完备化？
• RQ3 在半单李群中，非一致算术格是否能通过其有限商群集合加以区分？
• RQ4 是否存在一个有限商群可区分两个非同构的三角群？
• RQ5 有限商群在多大程度上决定了格的环境李群结构？

主要发现

• 若Γ₁为Fuchsian群，Γ₂为连通李群中的格，则C(Γ₁) = C(Γ₂) 蕴含 Γ₁ ≅ Γ₂。
• 对于自由群F及特定类群（如曲面群、含曲面子群的剩余自由群），C(F) = C(Γ) 蕴含 F ≅ Γ。
• 对于中心平凡且无紧致因子的半单李群中的非一致算术格，若C(Γ₁) = C(Γ₂)，则G ≅ PSL(2,C)，且Γ₂属于有限个共轭类之一。
• 本文提供了显式构造的有限商群，通过生成元的最小公倍数与和条件，以区分两个非同构的三角群。
• 作者证明了子群增长渐近等价（按Müller与Schlage-Puchta的定义）的群，仍能被其有限商群所区分。
• 通过推论8.10与引理8.11，排除了一对非同构三元组(r,s,t)与(u,v,w)（其乘积与最小公倍数相等），从而在关键情形中确认了唯一性。