[論文レビュー] The Tits Alternative for $Out(F_n)$ II: A Kolchin Type Theorem

Mladen Bestvina, Mark Feighn+1 more|ArXiv.org|Dec 3, 1997

Geometric and Algebraic Topology被引用数 17

ひとこと要約

本稿では、$\ mathrm{Out}(F_n)$ に対して、Kolchin型の定理を確立し、$\ mathrm{Out}(F_n)$ の任意の有限生成な単位的多項式的成長（UPG）部分群が、フィルトレーション付きマークドグラフ上で上三角自己同型による代表元をもつこと、すなわちフィルタリング可能であることを証明する。主な貢献は、単位的線形群のKolchin定理に類似した構造的特徴付けであり、このような部分群が制御された力学的性質を示す入れ子になった部分グラフ列を保存することを示している。

ABSTRACT

The proof of the Tits alternative for $Out(F_n)$ is completed. The main tool is a Kolchin type theorem, proved in this paper. It states that a finitely generated subgroup of $Out(F_n)$ consisting of unipotent automorphisms can be conjugated into an upper-triangular subgroup (this is interpreted via train-tracks).

研究の動機と目的

• 単位的多項式的成長（UPG）部分群の構造的特徴付けを、単位的線形群のKolchin定理に類似して確立すること。
• 任意の有限生成UPG部分群が、フィルタリング付きマークドグラフ上での上三角ホモトピー同値の群に引き上げられることを証明すること。
• トレイン・トラック理論と非自明な辺安定化部分群を持たない$F_n$-木を用いて、UPG自己同型の作用を力学的かつ幾何学的に理解するフレームワークを提供すること。
• フィルタリング構造を用いて、$\ mathrm{Out}(F_n)$ のティーツの代替定理を解決し、UPG部分群が可解であるか、$F_2$ を含むことを示すこと。
• すべてのUPG部分群が有限生成UPG部分群に含まれるかどうかを調査し、これを未解決問題として残すこと。

提案手法

• マークドグラフのフィルトレーションに関して、UPG自己同型を上三角構造を持つ相対的トレイン・トラック代表元でモデル化する。
• 反復におけるエッジ像の成長を分析するために、バウンシング列の概念を適用し、それが線形的成長に抑えられ、最終的に安定化することを証明する。
• 各エッジ$E_i$ が$G_{i-1}$ に属する接頭辞および接尾辞を持つパスに写されるような、$G_0 \subset \cdots \subset G_K = G$ というフィルトレーション付きマークドグラフ$G$ を構成する。
• 群が固定する木の頂点安定化部分群と、帰納的議論を用いて、木全体への代表元の帰納的引き上げを実行することで、UPG部分群を$G$ 上の上三角ホモトピー同値の群$\mathcal{Q}$ に引き上げる。
• 等変写像と木およびグラフ間のホモトピー同値を用いて、フィルトレーション全体にわたって上三角形の形を保つ代表元を構成する。
• 自由群のランクに関する帰納法を適用し、$F_n$-木における頂点の安定化部分群を分析することで、必要なフィルタリング付きグラフ構造を構築する。

実験結果

リサーチクエスチョン

• RQ1 任意の有限生成UPG部分群は、フィルタリング付きマークドグラフ上での上三角自己同型の群として実現可能か？
• RQ2 このようなフィルタリング付きグラフでUPG部分群を表現するために必要な最小エッジ数はいくつか？
• RQ3 非自明な辺安定化部分群を持たない$F_n$-木上でのUPG自己同型の力学的性質は、その代数的構造とどのように関係するか？
• RQ4 すべてのUPG部分群は有限生成UPG部分群に含まれるか？
• RQ5 UPG部分群は、代数的および幾何学的挙動において、単位的線形群や単位的写像類群にどの程度類似しているか？

主な発見

• 任意の有限生成UPG部分群は、フィルタリング可能である。これは、フィルタリング付きマークドグラフ上での上三角ホモトピー同値の群に引き上げられることを意味する。
• このようなフィルタリング付きマークドグラフにおけるエッジ数は、$n > 1$ のとき$\ frac{3n}{2} - 1$ で抑えられ、表現の複雑さに対する定量的制御が得られる。
• 証明は、群が固定する非自明な辺安定化部分群を持つ木を構成し、頂点安定化部分群から全グラフへの代表元の帰納的引き上げを用いることに依存している。
• UPG自己同型の反復におけるエッジのバウンシング列は、線形的成長に抑えられ、最終的に成長を停止する。これはエッジ像の安定化を示している。
• 関連する$F_n$-木における辺安定化部分群は、有限回の反復後に自明になる。これは、上三角代表元の存在を示す上で重要な段階である。
• $G$ 上の上三角写像の群$\mathcal{Q}$ は合成に関して群をなし、その$\ mathrm{Out}(F_n)$ への像は元のUPG部分群と同型である。