[論文レビュー] Solvability in Groups of Piecewise-linear Homeomorphisms of the Unit Interval

Collin Bleak|ArXiv.org|Oct 18, 2005

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

ひとこと要約

本稿は、単位区間の向きを保つ分岐線形ホメオモルフィズム群 $PL_o(I)$ およびトマソン群 $F$ の中における可解および非可解部分群について、幾何的および代数的分類を確立する。部分群が可解であることは、再帰的に定義されたクラス $\mathscr{R}$ に同型であることに同値であり、非可解であることは、無限大の塔構造とワルフィー積の力学的性質によって構成された特定の非可解群 $W$ のコピーを含むことに同値であることを証明する。

ABSTRACT

We investigate subgroups of the group PLo(I) of piecewise-linear, orientation preserving homeomorphisms of the unit interval with finitely many breaks in slope, and also subgroups of Thompson's group F. We find geometric criteria determining the derived length of any such group, and use this criteria to classify the solvable and non-solvable subgroups of PLo(I) and of F. Let H be a subgroup of PL_o(I) or F. We find that H is solvable if and only if H is isomorphic to a group in a well described class R of groups. We also find that H is non-solvable if and only if we can embed a copy of a specific non-solvable group W into H. We strengthen the non-solvability classification by finding weak geometric criteria under which we can embed other groups (all containing W) into non-solvable subgroups of PLo(I) or F.

研究の動機と目的

• $PL_o(I)$ およびトマソン群 $F$ のすべての可解部分群を、幾何的および代数的基準を用いて分類すること。
• $PL_o(I)$ や $F$ の部分群が非可解であるための正確な条件を特定すること。
• 任意の非可解部分群が $W$ のコピーを含むような普遍的な非可解群 $W$ を特定すること。
• 繰り返し適用されたワルフィー積と有界な直和を用いて、可解部分群の導来長の階層を確立すること。
• 区間上の軌道構造とタワー構成を用いて、可解部分群の幾何的特徴付けを提供すること。

提案手法

• $\mathscr{R}$ を、 $\mathbb{Z}$ との制限付きワルフィー積、有界な直和、および部分群をとることで閉じた最小のクラスとして定義する。
• 動的性を分析するため、軌道と群元の有限列である「タワー」の概念を用いる。
• 非可解部分群において、任意の高さの無限大タワーを構成し、共役作用と台の不交和を用いて $W$ の存在を検出する。
• 群の元による共役を用いてタワーのシグネチャをずらし、異なるレベル間で台が不交和であるように保証する。
• 置換ワルフィー積構造を用いて、 $W_n$ を高さ $n$ のタワーのシグネチャによって生成される群として実現し、 $W$ をそれらの群の合併として埋め込む。
• 群元間の相互効率性条件を活用して、共役されたタワーが台で分離可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 $PL_o(I)$ や $F$ の部分群が可解であるかどうかを決定づける幾何的および代数的条件は何か？
• RQ2 $PL_o(I)$ の可解部分群の導来長は、その軌道構造およびタワー構造によって特徴付けられるか？
• RQ3 $PL_o(I)$ や $F$ の部分群が非可解群 $W$ のコピーを含むのはどのような条件下か？
• RQ4 任意の非可解部分群が $W$ のコピーを含むような普遍的な非可解群 $W$ は存在するか？
• RQ5 無限大ワルフィー積構造は、区間上の幾何的力学を用いて非可解部分群にどのように埋め込まれるか？

主な発見

• $H \leq PL_o(I)$ が可解であることは、クラス $\mathscr{R}$ に同型であることに同値であり、このクラスは $\mathbb{Z}$ との制限付きワルフィー積、有界な直和、および部分群をとることで閉じている。
• $PL_o(I)$ の可解部分群の導来長は、 $G_n$ に同型であるような最小の $n$ に等しい。ここで $G_n$ は、 $G_0 = \{1\}$ および $G_n = \bigoplus_{i \in \mathbb{Z}} (G_{n-1} \wr \mathbb{Z})$ によって帰納的に定義される。
• $H \leq PL_o(I)$ が非可解であることは、特定の非可解群 $W$ に同型な部分群を含むことに同値であり、この $W$ は無限大タワーとワルフィー積の力学的性質によって構成される。
• 任意の非可解部分群 $H \leq PL_o(I)$ に対して、各 $n \in \mathbb{N}$ に対して無限に多くの互いに不交和の高さ $n$ のタワーが存在し、それらのシグネチャは $W_n$ に同型な部分群を生成し、それらの合併は $W$ に同型な群を生成する。
• トマソン群 $F$ の場合にも同様の分類が成り立つ：可解部分群は $\mathscr{R}$ に同型であり、非可解部分群は $W$ を含む。
• $W$ の構成は、タワーを共役することで台を不交和に保ち、相互効率性条件を用いて群元を分離可能にすることに依存しており、これにより無限大ワルフィー積構造の埋め込みが可能になる。