[论文解读] Small cancellations over relatively hyperbolic groups and embedding theorems

Denis Osin|arXiv (Cornell University)|Nov 2, 2004

Geometric and Algebraic Topology参考文献 7被引用 17

一句话总结

本文将小余因子理论推广至相对双曲群，从而实现可数群的新嵌入定理。证明了任意可数无挠群均可嵌入至一个由两个元素生成、且恰好具有两个共轭类的群中——解决了关于存在有限生成群（除 ℤ/2ℤ 外）恰好具有两个共轭类这一长期悬而未决的公开问题。

ABSTRACT

We generalize the small cancellation theory over hyperbolic groups developed by Olshanskii to the case of relatively hyperbolic groups. This allows us to construct infinite finitely generated groups with exactly $n$ conjugacy classes for every $n\ge 2$. In particular, we give the affirmative answer to the well--known question of the existence of a finitely generated group $G$ other than $\mathbb Z/2\mathbb Z$ such that all nontrivial elements of $G$ are conjugate.

研究动机与目标

• 将小余因子理论从普通双曲群推广至相对双曲设定。
• 解决关于是否存在一个有限生成群（除 ℤ/2ℤ 外）恰好具有两个共轭类的公开问题。
• 构造具有预设共轭类结构的有限生成群，包括对任意 n ≥ 2 恰好具有 n 个共轭类的群。
• 证明任意可数群均可嵌入至一个由两个元素生成的词完全群中，且在适用时保持无挠性。
• 确立此类群不可能作为双曲群的极限出现，从而凸显其结构上的差异。

提出的方法

• 利用作者先前工作的技术，将奥尔什安斯基在双曲群上的小余因子理论推广至相对双曲群。
• 将推广后的小余因子理论应用于通过类似 HNN 的构造方式构建群扩张，并辅以受控的图示分析。
• 使用邻接子图和度量估计（例如 (Π,Γ,i,*)-度量）来控制重叠并确保小余因子条件。
• 通过在图中 R-单元数量上使用归纳论证，当邻接图中存在多个边或环路时导出矛盾。
• 应用拟测地线性质和长度界（例如 l(u) ≤ λ⁻¹(3ε + c)）来限制邻接度量并强制实现小余因子条件。
• 利用邻接图 Φ_M 的结构及其边/顶点性质，强制实现最小性，并在存在多个边或环路的假设下导出矛盾。

实验结果

研究问题

• RQ1 小余因子理论能否从双曲群推广至相对双曲群？
• RQ2 是否存在一个有限生成群（除 ℤ/2ℤ 外）恰好具有两个共轭类？
• RQ3 任意可数群是否可嵌入至一个由两个元素生成的群中，使得相同阶的元素彼此共轭？
• RQ4 任意可数群是否可嵌入至一个有限生成的词完全群中？
• RQ5 有限生成群是否可作为双曲群的极限构造出恰好具有 n 个共轭类（n ≥ 2）的群？

主要发现

• 任意可数群均可嵌入至一个由两个元素生成的群中，使得相同阶的元素彼此共轭，且有限阶元素的集合被保持。
• 任意可数无挠群均可嵌入至一个由两个元素生成的无挠群中，且该群恰好具有两个共轭类。
• 存在不可数多个两两不同构的、由两个元素生成的无挠群，且每个群恰好具有两个共轭类。
• 对任意 n ≥ 2，存在不可数多个两两不同构的有限生成群，且每个群恰好具有 n 个共轭类。
• 不存在有限生成群（除 ℤ/2ℤ 外）恰好具有两个共轭类可作为双曲群的极限构造出来。
• 任意可数群均可嵌入至一个由两个元素生成的词完全群中，且若原群为无挠群，则目标群亦可选择为无挠群。