[論文レビュー] On Quasiconvexity and Relative Hyperbolic Structures

Eduardo Martínez-Pedroza|arXiv (Cornell University)|Nov 14, 2008

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

ひとこと要約

この論文は、相対的双曲的構造をより大きなものに拡大する際、相対的擬凸性が保存される条件を確立する。もし部分群がより大きな周辺構造に関して擬凸であれば、それが新しい周辺部分群と交わる部分が擬凸である限り、より小さな構造に関しても擬凸のままである。主な貢献は、異なる周辺構造における相対的擬凸性の特徴付けであり、これには一貫性、局所的擬凸性、および相対的双曲的群における擬凸部分群の正規核の構造への応用が含まれる。

ABSTRACT

Let G be a group which is hyperbolic relative to a collection of subgroups A, and it is also hyperbolic relative to a collection of subgroups B. Suppose that the collection A contains B. We characterize, for subgroups of G, when quasicovexity relative to A implies quasiconvexity relative to B. We also show that quasiconvexity relative to B implies quasiconvexity relative to A. Some applications are discussed.

研究の動機と目的

• 相対的双曲的群の周辺構造を拡大する際、相対的擬凸部分群のクラスがどのように変化するかを理解すること。
• より大きな周辺構造に関して擬凸である部分群が、より小さな構造に関しても擬凸である条件を特徴づけること。
• より小さな周辺構造からより大きなものに移行する際、相対的擬凸性が保存される条件を確立すること。
• 得られた結果を一貫性、局所的擬凸性、および擬凸部分群の正規核の構造への応用に用いること。

提案手法

• 文献に見られる相対的双曲性および相対的擬凸性のさまざまな定義の同値性を用い、一貫した枠組み内で作業する。
• 定理1.1を適用して、交差条件を満たす場合に、より大きな周辺構造における擬凸性が、より小さな構造においても成立することを示す。
• ハイパーボリックに埋め込まれた部分群の概念を用いて、部分群の埋め込みおよび拡張自由積の単射性を分析する。
• 擬凸部分群の有限高さおよび共役子に関する結果を活用し、所望の性質を持つ周辺構造を構成する。
• 命題5.14による周辺構造の構成を用いて、要素がパラボリックであることを保証し、双曲性および擬凸性の結果への適用を可能にする。
• 文献[15]におけるハイパーボリックに埋め込まれた部分群およびそのアーモニウス群内での擬凸性に関する結果を応用し、拡張された部分群の単射性および擬凸性を導出する。

実験結果

リサーチクエスチョン

• RQ1 より大きな周辺構造に関して擬凸である部分群が、より小さな構造に関しても擬凸である条件は何か？
• RQ2 周辺集合が拡大された際に、相対的双曲的構造における相対的擬凸性がいつ保存されるか？
• RQ3 擬凸部分群が新しい周辺部分群を追加した後も、元の群内で依然として擬凸のままであるための条件は何か？
• RQ4 擬凸部分群の正規核の構造は、異なる周辺構造とどのように関係するか？
• RQ5 擬凸性の保存が、周囲群の一貫性および局所的擬凸性に与える影響は何か？

主な発見

• H₁ ⊂ H₂ かつすべての H ∈ H₂ \∕ H₁ と g ∈ G に対して Q ∩ gHg⁻¹ が (G, H₁) において擬凸であるとき、(G, H₂) において擬凸である部分群 Q は (G, H₁) においても擬凸である。
• H₁ ⊂ H₂ かつ新しい周辺部分群との交差がすべて擬凸である限り、(G, H₁) から (G, H₂) に移行する際に擬凸性が保存される。
• すべての H ∈ H₂ \∕ H₁ が基本的（elementary）であるときかつそのときに限り、(G, H₁) および (G, H₂) の擬凸部分群のクラスは一致する。
• (G, H) が相対的双曲的かつ局所的擬凸であり、各 H ∈ H が一貫性を持つならば、G も一貫性を持つ。
• (G, H) が相対的双曲的かつ局所的擬凸であり、各 H ∈ H が局所的擬凸な双曲的群であるならば、G は局所的擬凸な双曲的群である。
• 任意の擬凸部分群 Q および (G, H) にハイパーボリックに埋め込まれた部分群 P に対して、ある定数 C が存在し、R ≤ P が Q ∩ P ≤ R を満たし、かつすべての g ∈ R \∕ Q に対して |g|_X ≥ C であるならば、Q ∗_{Q∩R} R は G に単射で埋め込まれ、その像は (G, H) において擬凸である。