[论文解读] Finitely generated subgroups of lattices in PSL(2,C)

Yair Glasner, Juan Souto+1 more|ArXiv.org|Apr 21, 2005

semigroups and automata theory参考文献 10被引用 5

一句话总结

该论文证明了 PSL(2,ℂ) 中格的任意有限生成子群在拟正规拓扑下都是闭的——这是一种比拟有限拓扑更精细的拓扑，其基由非平凡正规子群的陪集构成。关键结果是，此类子群不仅闭合，而且当其为无限指数时，其本身正是严格包含它的开子群的交集，从而推出一个推论：无限指数的最大子群或拟稠密子群均不能是有限生成的。

ABSTRACT

Let G be a lattice in PSL(2,C). The pro-normal topology on G is defined by taking all cosets of non-trivial normal subgroups as a basis. This topology is finer than the pro-finite topology, but it is not discrete. We prove that every finitely generated subgroup H

研究动机与目标

• 研究 PSL(2,ℂ) 格中有限生成子群的拓扑闭包性质。
• 定义并分析此类格上的拟正规拓扑，以非平凡正规子群作为开邻域的基。
• 证明所有有限生成子群在此拓扑下都是闭的，从而推广了已知的拟有限拓扑结果。
• 解决关于 PSL(2,ℂ) 格中最大子群或拟稠密子群有限生成性的猜想性问题。

提出的方法

• 通过所有非平凡正规子群作为基，定义格 Γ < PSL(2,ℂ) 上的拟正规拓扑，以构造单位元的开邻域。
• 利用最近被解决的 Marden 猜想分析子群的几何结构，特别是区分几何有限与几何无限子群。
• 对于无限指数的几何有限子群 Δ，通过反证法证明 Δ = ∩{ΔN | N ◁ Γ, N ⊄ Δ}，利用半直积中的唯一分解性与剩余有限性。
• 对于几何无限子群，通过模去有限指数正规子群将其约化为有限商群，并利用剩余有限群中有限子群在拟有限拓扑下闭合的性质。
• 通过确保证明中使用的正规子群可被选为特征子群，证明该结果在更粗糙的拟特征拓扑下也成立。
• 利用 PSL(2,ℂ) 中格的线性性与 Zariski 稠密性，当正规子群交平凡时，通过其 Zariski 闭包中的交换性导出矛盾。

实验结果

研究问题

• RQ1 PSL(2,ℂ) 格的所有有限生成子群是否在拟正规拓扑下都是闭的？
• RQ2 PSL(2,ℂ) 格中无限指数的最大子群能否是有限生成的？
• RQ3 PSL(2,ℂ) 格中拟稠密子群（在拟正规拓扑下稠密）能否是有限生成的？
• RQ4 此类格上的拟正规拓扑是否对无限指数子群提供了强于拟有限拓扑的闭包性质？
• RQ5 有限生成子群在拟正规拓扑下的闭包是否可表征为严格包含它的开子群的交集？

主要发现

• PSL(2,ℂ) 中格 Γ 的任意有限生成子群 Δ < Γ 在拟正规拓扑下都是闭的。
• 若 Δ 在 Γ 中为无限指数，则 Δ 是严格包含它的开子群的交集。
• 此类格中无限指数的最大子群不能是有限生成的。
• PSL(2,ℂ) 格中的拟稠密子群不能是有限生成的。
• 该结果不仅在拟正规拓扑下成立，也在更粗糙的拟特征拓扑下成立。
• 证明依赖于 Marden 猜想的解决，以及双曲 3-轨道丛及其基本群的几何与代数结构。