[论文解读] On Residualizing Homomorphisms Preserving Quasiconvexity

Ashot Minasyan|ArXiv.org|Jun 7, 2004

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

一句话总结

本文通过用拟凸性替代有限子集条件，扩展了 A. Ol’shanskii 在双曲群中关于剩余化同态的工作，证明了在非初等双曲群 $ G $ 中，对于 $ G $-子群，存在一个无扭的非初等双曲商群 $ G_1 $，使得拟凸子集 $ Q $ 在其中等距嵌入，子群 $ H_i $ 在其中满射映射，且共轭结构与中心化子结构得以保持。

ABSTRACT

$H$ is called a $G$-subgroup of a hyperbolic group $G$ if for any finite subset $M\subset G$ there exists a homomorphism from $G$ onto a non-elementary hyperbolic group $G_1$ that is surjective on $H$ and injective on $M$. In his paper in 1993 A. Ol'shanskii gave a description of all $G$-subgroups in any given non-elementary hyperbolic group $G$. Here we show that for the same class of $G$-subgroups the finiteness assumption on $M$ (under certain natural conditions) can be replaced by an assumption of quasiconvexity.

研究动机与目标

• 通过用拟凸性替代有限子集条件，推广 Ol’shanskii 对 $ G $-子群的剩余化结果。
• 建立在双曲群 $ G $ 中，拟凸子集 $ Q $ 能否在商同态 $ \phi: G \to G_1 $ 下保持不变的条件。
• 确保商群 $ G_1 $ 保持非初等、双曲且无扭，同时保持关键的代数与几何结构。
• 证明 $ \phi $ 下 $ Q $ 的像为等距且拟凸，且共轭与中心化子数据得以保持。
• 证明 $ \phi $ 在有限阶共轭类上诱导双射，并保持最大初等子群结构 $ E(G_1) = \phi(E(G)) $。

提出的方法

• 利用子集 $ Q $ 的拟凸性以及小性条件 $ H_i \not\subseteq P_1 Q^{-1} Q P_2 $ 控制商群中的扭曲。
• 应用 HNN-扩张与归纳极限，构造一个无扭双曲群 $ M $，作为一系列双曲群 $ G_i $ 的直接极限。
• 利用 Ol’shanskii [16] 中关于剩余化同态与强拟对称子群的技术，确保 $ H_i $ 上的满射性与 $ Q $ 上的单射性。
• 利用拟收缩映射在双曲群中为拟凸这一事实，对子群结构施加控制。
• 构造一系列满射同态 $ \psi_i: F_i \to G_i $，使得 $ \psi_i(H \cup \langle x \rangle) $ 在 $ G_i $ 中保持强拟对称与拟凸。
• 证明归纳极限 $ M = \lim_{\to}(G_i, \psi_{i+1}) $ 是一个单群、无扭、非初等双曲群，满足 $ \pi(H) $ 强拟对称，且每个真子群共轭于 $ \pi(H) $。

实验结果

研究问题

• RQ1 Ol’shanskii 剩余化定理中的有限子集条件能否被拟凸性条件替代，而不会失去对商群结构的控制？
• RQ2 在何种条件下，双曲群 $ G $ 中的拟凸子集 $ Q $ 允许存在一个商同态 $ \phi: G \to G_1 $，使得等距性与拟凸性得以保持？
• RQ3 如何在这样的商同态下保持 $ Q $ 中元素的共轭与中心化子结构？
• RQ4 能否使商群 $ G_1 $ 为无扭群，同时保持对 $ G $-子群 $ H_i $ 的满射性，并保持最大初等子群 $ E(G_1) = \phi(E(G)) $？
• RQ5 在什么条件下，非初等子群 $ H_i' $ 的像在 $ G_1 $ 中仍为非初等，且有限阶元素的共轭类结构得以保持？

主要发现

• 对于非初等双曲群 $ G $ 中任意有限个 $ G $-子群 $ H_1, \dots, H_k $，以及任意 $ \eta $-拟凸子集 $ Q $（相对于每个 $ H_i $ 较小），存在一个无扭的非初等双曲商群 $ G_1 $。
• $ \phi: G \to G_1 $ 在 $ Q $ 上为等距映射，因此 $ \phi(Q) $ 与 $ Q $ 等距同构，且对任意拟凸子集 $ S \subseteq Q $，有 $ \phi(S) $ 拟凸。
• 同态 $ \phi $ 在每个 $ H_i $ 上满射，即 $ \phi(H_i) = G_1 $，且 $ \phi $ 在 $ Q $ 上单射，保持其内在几何结构。
• 元素在 $ Q $ 中的共轭性得以保持：$ \phi(a) $ 与 $ \phi(b) $ 在 $ G_1 $ 中共轭当且仅当 $ a $ 与 $ b $ 在 $ G $ 中共轭。
• 在 $ G_1 $ 中 $ \phi(a) $ 的中心化子恰好是 $ C_G(a) $ 的像，因此中心化子结构在 $ \phi $ 下保持不变。
• 商群 $ G_1 $ 满足 $ E(G_1) = \phi(E(G)) $，且 $ \phi $ 在 $ G $ 与 $ G_1 $ 的有限阶共轭类集合上诱导双射。