[论文解读] A note on quotients of word hyperbolic groups with Property (T)

Yves Cornulier|ArXiv.org|Apr 10, 2005

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

一句话总结

本文证明了每个具有卡兹丹性质(T)的离散群都是某个具有性质(T)的无挠、字双曲群的商群。通过结合夏洛姆的有限表示性结果与奥利维耶和怀斯对具有性质(T)核的双曲扩张的构造，作者证明了此类商群存在，并具备强有限性与几何性质，从而解决了关于性质(T)群更强有限性条件的问题。

ABSTRACT

Every discrete group with Kazhdan's Property (T) is a quotient of a torsion-free, word hyperbolic group with Property (T).

研究动机与目标

• 解决一个关于是否每个性质(T)群都能被实现为具有更强有限性条件（特别是字双曲性）的群的商群的问题。
• 通过增加字双曲性的几何条件，扩展夏洛姆关于性质(T)群有限表示性的结果。
• 构造一个无挠、字双曲且具有性质(T)的群，使其能满射到任意给定的性质(T)群。
• 研究此类双曲商群是否能保持原群的最小生成元数量。

提出的方法

• 利用夏洛姆定理：每个性质(T)群都是某个有限表示的性质(T)群的商群。
• 应用奥利维耶与怀斯的短正合列构造：1 → N → G → Q → 1，其中G为无挠、字双曲群，且N具有性质(T)。
• 利用性质(T)在扩张下保持不变的事实，推导出当N与Q均具有性质(T)时，总群G也具有性质(T)。
• 通过复合G到Q的满射与Q到G的满射，构造从G到任意给定性质(T)群G的满射。
• 通过依赖奥利维耶–怀斯构造的性质，确保所得群G₀为无挠且字双曲。

实验结果

研究问题

• RQ1 每个具有卡兹丹性质(T)的离散群是否都能被实现为某个无挠、字双曲且具有性质(T)的群的商群？
• RQ2 能否构造出此类双曲商群，使其同时也是剩余有限的？
• RQ3 原性质(T)群的生成元数量是否能在双曲商群中得以保持？
• RQ4 奥利维耶与怀斯的扩张构造是否允许在核与商群均具有性质(T)时，总群也继承性质(T)？
• RQ5 性质(FA)是否在商群下以类似于性质(T)的方式被保持？
• RQ6 能否找到中间商群，使其既是字双曲群，又由与原群相同数量的元素生成？

主要发现

• 每个具有卡兹丹性质(T)的离散群都是某个无挠、字双曲且具有性质(T)的群的商群。
• 该构造依赖于将夏洛姆的有限表示性结果与奥利维耶和怀斯的短正合列结合，其中总群为无挠、字双曲群，且核具有性质(T)。
• 当扩张中的商群Q与核N均具有性质(T)时，总群G也具有性质(T)，这是由于性质(T)在扩张下具有稳定性。
• 若原群G为r-生成，则所得群G₀为(r+2)-生成，表明生成元数量仅略有增加。
• 该结果为性质(T)群是否可作为具有更强有限性与几何性质的双曲群的商群的问题提供了肯定回答。
• 本文纠正了早期关于性质(FA)群是有限表示的性质(FA)群的商群的错误断言，承认了原始证明中的缺陷。