[論文レビュー] The universal relatively hyperbolic structure on a group and relative quasiconvexity for subgroups

Yoshifumi Matsuda, Shin-ichi Oguni+1 more|arXiv (Cornell University)|Jun 27, 2011

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

ひとこと要約

本稿では、すべての相対的双曲構造を分類するための標準的枠組みとして、可算群上の普遍的相対的双曲構造を導入する。有限生成群に対しては、この構造が存在することを確立し、二つの相対的双曲構造が同一の相対的擬凸部分群の集合をもたらすための条件を特定する——具体的には、無限的アーベル部分群を無視した場合に等しいときである。主な貢献は、構造同値性を用いた相対的擬凸性の完全な特徴付けである。

ABSTRACT

We discuss the notion of the universal relatively hyperbolic structure on a group which is used in order to characterize relatively hyperbolic structures on the group. We also study relations between relatively hyperbolic structures on a group and relative quasiconvexity for subgroups of the group.

研究の動機と目的

• 可算群上の普遍的相対的双曲構造を定義し、すべての相対的双曲構造を分類するための標準的対象として特徴付けること。
• 相対的双曲構造に対する拡大／縮小操作の下で、部分群の相対的擬凸性がどのように変化するかを調査すること。
• 有限生成群上の二つの相対的双曲構造が同じ相対的擬凸部分群の集合をもたらすための条件を特定すること。
• 有限生成群に対して、普遍的相対的双曲構造の存在および構造を確立すること。
• 特定の無限群（例：可算生成自由群）が普遍的相対的双曲構造を持たないことを示すこと。

提案手法

• 拡大／縮小操作の概念を用いて、相対的双曲構造に部分順序を導入する。
• 普遍的相対的双曲構造を、拡大操作によって他のすべての構造を支配する最小の構造として定義する。
• 収束作用理論および幾何的有限性を用いて、可算群上の相対的双曲構造を特徴付ける。
• L-共役不変な部分群の族および部分群の共通部分集合の概念を用いて、双曲的枠組み内での部分群構造を分析する。
• 仮想正規化子や歪みのない部分群といった群論的道具を用いて、マッピングクラス群内の構造的性質を分析する。
• 双曲幾何および小刻みキャンセレーション理論の結果を応用して、特定の群のクラスにおいて普遍的構造が存在しないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 可算群が普遍的相対的双曲構造をもつのはいつか？
• RQ2 相対的双曲構造に対する拡大／縮小操作の下で、相対的擬凸部分群はどのように振る舞うか？
• RQ3 有限生成群上の二つの相対的双曲構造が同じ相対的擬凸部分群の集合をもたらすための条件は何か？
• RQ4 部分群の共通部分集合および共役不変性を用いて、普遍的相対的双曲構造を特徴付けられるか？
• RQ5 有限生成群の中で、普遍的相対的双曲構造を持たないものはあるか？

主な発見

• 有限生成群に対して、普遍的相対的双曲構造は存在し、一意的であり、拡大操作によって他のすべての構造を支配する最小の構造として特徴付けられる。
• 有限生成群において、二つの相対的双曲構造が同じ相対的擬凸部分群の集合をもつための必要十分条件は、無限的アーベル部分群を除いた場合に等しいことである。
• 非仮想的アーベルな可算群に対しては、非可算個の相対的双曲構造が存在し、その中には異なる擬凸部分群の集合を持つ族もあれば、同一のものを持つ族もある。
• 可算生成自由群は普遍的相対的双曲構造を持たない。これは、部分群の共通部分集合および共役類の有限性を用いた背理法により示された。
• 3g + p ≠ 4 を満たす曲面のマッピングクラス群は、真の相対的双曲構造を持たず、自明な構造 \{G\} がその普遍的相対的双曲構造である。
• 擬アノソフ要素の仮想正規化子から導かれる共役不変な部分群の族は、構造的公理を満たすが、相対的双曲構造とはならない。これは、特徴付け条件の微妙さを示している。