[论文解读] Limits of (certain) CAT(0) groups, II: The Hopf property and the shortening argument

Daniel Groves|ArXiv.org|Aug 5, 2004

Geometric and Algebraic Topology参考文献 22被引用 10

一句话总结

本文证明了具有孤立平坦、相对细三角形的无挠、环状CAT(0)群是Hopfian群，将Sela对双曲群的结果推广至非正曲率情形。通过在渐近锥和R-树上适配缩短论证与Rips–Sela技巧，作者证明了此类群的每个满同态自同态都必为自同构，从而解决了Sela在此情境下的一个问题。

ABSTRACT

This is the second in a series of papers about torsion-free groups which act properly and cocompactly on a CAT(0) metric space with isolated flats and relatively thin triangles. Our approach is to adapt the methods of Sela and others for word-hyperbolic groups to this context of non-positive curvature. The main result in this paper is that (under certain technical hypotheses) such a group as above is Hopfian. This (mostly) answers a question of Sela.

研究动机与目标

• 证明无挠、环状CAT(0)群在具有孤立平坦和相对细三角形时为Hopfian群。
• 将Sela对字双曲群的Hopfian结果推广至CAT(0)群的非正曲率设定。
• 将缩短论证与Rips–Sela技巧适配至具有孤立平坦的CAT(0)空间背景。
• 解决Sela关于CAT(0)群在具有孤立平坦时Hopf性质的问题。

提出的方法

• 将双曲群理论中的缩短论证适配至具有孤立平坦和相对细三角形的CAT(0)群。
• 利用渐近锥和在R-树上的稳定等距作用分析同态序列的极限。
• 应用阿贝尔JSJ分解与极限群理论以研究R-树上群作用的结构。
• 利用由阿贝尔分裂生成的子群Mod(G)来控制群G的自同构群。
• 构造一系列第一贝蒂数递减的极限群，以在非Hopfian情形导出矛盾。
• 依赖渐近锥与相对双曲性的技术结果，建立在Drutu–Sapir与Hruska的工作基础上。

实验结果

研究问题

• RQ1 无挠CAT(0)群在具有孤立平坦和相对细三角形时是否为Hopfian群？
• RQ2 在具有孤立平坦的CAT(0)设定中，能否将双曲群理论中使用的缩短论证加以适配？
• RQ3 对于自由不可约、无挠、环状CWIF群Γ，其Mod(Γ)子群在Aut(Γ)中的指数是否有限？
• RQ4 在CAT(0)设定中，R-树上的极限群对原群施加了何种结构约束？
• RQ5 在平坦稳定子的环状条件下，能否建立CAT(0)群的Hopf性质？

主要发现

• 主要结果为：每个无挠、环状CAT(0)群在具有孤立平坦和相对细三角形时均为Hopfian群。
• 在论文的技术条件下，建立了缩短论证的一个版本，即定理3.5。
• 对于自由不可约、无挠、环状CWIF群Γ，子群Mod(Γ)在Aut(Γ)中具有有限指数。
• 通过渐近锥和在R-树上的作用构造极限群，使得在非Hopfian情形可进行矛盾论证。
• 反复缩短极限群的第一贝蒂数导致有限下降，从而与非单射满同态的存在性矛盾。
• 证明依赖于极大阿贝尔子群的反对称性以及极限群设定中阿贝尔JSJ分解的结构。