[論文レビュー] On Residualizing Homomorphisms Preserving Quasiconvexity

Ashot Minasyan|ArXiv.org|Jun 7, 2004

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

ひとこと要約

この論文は、非初等的超曲率群 $ G $ における $ G $-部分群について、A. Ol’shanskii の残留化準同型に関する研究を拡張し、有限部分集合の条件を擬凸性に置き換える。その結果、$ G $-部分群 $ H_i $ に対して、$ Q $ が等長に埋め込まれ、各 $ H_i $ が全射に写され、共役構造および中心化子構造が保存される、非初等的でねじれのない超曲率商 $ G_1 $ が存在することを証明する。

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拡大と帰納的極限を用いて、超曲率群の列 $ G_i $ の帰納的極限として、ねじれのない超曲率群 $ M $ を構成する。
• Ol’shanskii の [16] における残留化準同型および互いに極小な部分群に関する技術を活用し、$ H_i $ への全射性と $ Q $ への単射性を保証する。
• 擬再帰的写像が超曲率群において擬凸的であるという事実を用いて、部分群の構造的制御を確立する。
• $ \psi_i(H \cup \langle x \rangle) $ が $ G_i $ において互いに極小かつ擬凸的のままであるように、全射準同型 $ \psi_i: F_i \to 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 $ と、各 $ H_i $ に対して相対的に小さい $ \eta $-擬凸部分集合 $ Q $ に対して、$ G $ のねじれのない非初等的超曲率商 $ G_1 $ が存在する。
• $ \phi: G \to G_1 $ は $ Q $ 上で等長であるため、$ \phi(Q) $ は $ 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 $ で共役であることと同値である。
• $ \phi(a) $ の中心化子は $ C_G(a) $ の像に正確に一致するため、中心化子構造が $ \phi $ によって保存される。
• $ G_1 $ は $ E(G_1) = \phi(E(G)) $ を満たし、$ \phi $ は $ G $ と $ G_1 $ の有限位数の共役類の集合の間で双対写像を誘導する。