[論文レビュー] Girth Alternative for Subgroups of PL_o(I)

Azer Akhmedov|arXiv (Cornell University)|May 24, 2011

Geometric and Algebraic Topology被引用数 4

ひとこと要約

この論文は、区間 $[0,1]$ の向きを保つ分岐線形ホメオモルフィズムの群 $PL_o(I)$ の、有限生成部分群に対する「縁の代替定理」を確立する。非可解な部分群には任意の高さの適切なタワーが存在することを用いて、任意のこのような部分群は可解であるか、あるいは無限縁を持つことを証明する。この結果は、双曲的要素に類似した性質を多く含む $\mathrm{Homeo}_+(I)$ の一部の部分群へも拡張可能である。

ABSTRACT

We prove the Girth Alternative for finitely generated subgroups of PL_o(I). We also prove that a finitely generated subgroup of Homeo(I) which is sufficiently rich with hyperbolic-like elements has infinite girth.

研究の動機と目的

• 有限生成部分群 $\Gamma \leq PL_o(I)$ に対して、縁の代替定理を確立し、それが可解であるか、あるいは無限縁を持つことを証明すること。
• 双曲的要素に類似した性質を十分に含む $\mathrm{Homeo}_+(I)$ のより広いクラスの部分群に対し、縁の代替定理を拡張すること。
• タワーメソッドを用いて、トマソン群 $F$ およびブリン群 $B$ の無限縁性について、従来の手法とは独立した新しい証明を与えること。
• 非コンパクトな設定における双曲的要素に類似した力学的性質を示す群の縁の挙動を調査し、語彙的双曲群の結果を一般化すること。

提案手法

• 非可解な $PL_o(I)$ の部分群に任意の高さの「適切なタワー」が存在することを用いる。これは C. Bleak による重要な構造的結果である。
• 「適切なタワー」とは、入れ子になった台を持ち、反復操作において干渉を避けるために特定の力学的順序を持つ要素の列として定義される。
• 位相的力学における「双曲的要素に類似した」要素の概念を適用する：コンパクト部分空間内で複数の吸引的・反発的点を持つ要素。
• 語彙的双曲群における双曲的要素の力学を一般化するため、$(S,z,m)$-双曲的要素の概念を導入する。
• 任意の大きな $m$ に対してこのような要素が存在することを用いて、収縮的力学に類似した構成により、無限縁を示す。
• 群がすべての $m$ に対してこのような要素を含むならば、その縁は無限大であることを示す。これは [Ak2] の結果を一般化する。

実験結果

リサーチクエスチョン

• RQ1 有限生成部分群 $\Gamma \leq PL_o(I)$ に対して、縁の代替定理は常に成り立つか？
• RQ2 双曲的要素に類似した性質を十分に含む $\mathrm{Homeo}_+(I)$ の部分群に対しても、縁の代替定理を拡張できるか？
• RQ3 非コンパクト空間における、双曲的状況に類似した動的条件は、無限縁を示唆するか？
• RQ4 タワーメソッドと双曲的要素に類似した要素のアプローチを用いて、トマソン群 $F$ およびブリン群 $B$ の縁が無限大であることを再証明できるか？
• RQ5 このような群において、無限縁を保証するための最小生成数は何か？

主な発見

• 任意の有限生成部分群 $\Gamma \leq PL_o(I)$ は、可解であるか、あるいは無限縁を持つ。これはこのクラスに対する縁の代替定理の証明である。
• 証明は、非可解な部分群に任意の高さの適切なタワーが存在することに依存する。これは C. Bleak の結果である。
• 固定点集合に十分な豊かさを持つ任意の有限生成部分群 $\Gamma \leq \mathrm{Homeo}_+(I)$ に対して、$girth(\Gamma) = \infty$ が成り立つ。
• 論文は、トマソン群 $F$ に対して $girth(F) = \infty$ であるという新しい証明を提供する。これは従来の手法とは独立している。
• 非可解な $\Gamma \leq PL_o(I)$ に対して、$girth_{2d}(\Gamma) = \infty$ が成り立つ。ここで $d = d(\Gamma)$ は最小生成数である。
• 一般化として、有限生成群 $\Gamma \leq \mathrm{Homeo}(X)$ が任意の大きな $m$ に対して $(S,z,m)$-双曲的要素を含むならば、$girth(\Gamma) = \infty$ である。