[論文レビュー] The topology of $out(F_n)$

Mladen Bestvina|ArXiv.org|Apr 21, 2003

Geometric and Algebraic Topology参考文献 45被引用数 21

ひとこと要約

この論文は、自由群の外自己同型群 $\mathrm{Out}(F_n)$ の位相的構造を、Outer Space、トレイン・トラック写像、モース理論などの道具を用いて調査する。$\mathrm{Out}(F_n)$ が次元 $2n-3$ のバーチャル双対性群であることが確立され、ホモロジー安定性、ボーディフィケーション、および吸引ラミネーションと階層的分解による力学的性質に関する主要な結果が得られている。

ABSTRACT

We will survey the work on the topology of $Out(F_n)$ in the last 20 years or so. Much of the development is driven by the tantalizing analogy with mapping class groups. Unfortunately, $Out(F_n)$ is more complicated and less well-behaved. Culler and Vogtmann constructed Outer Space $X_n$, the analog of Teichmüller space, a contractible complex on which $Out(F_n)$ acts with finite stabilizers. Paths in $X_n$ can be generated using ``foldings'' of graphs, an operation introduced by Stallings to give alternative solutions for many algorithmic questions about free groups. The most conceptual proof of the contractibility of $X_n$ involves folding. There is a normal form of an automorphism, analogous to Thurston's normal form for surface homeomorphisms. This normal form, called a ``(relative) train track map'', consists of a cellular map on a graph and has good properties with respect to iteration. One may think of building an automorphism in stages, adding to the previous stages a building block that either grows exponentially or polynomially. A complicating feature is that these blocks are not ``disjoint'' as in Thurston's theory, but interact as upper stages can map over the lower stages. Applications include the study of growth rates (a surprising feature of free group automorphisms is that the growth rate of $f$ is generally different from the growth rate of $f^{-1}$), of the fixed subgroup of a given automorphism, and the proof of the Tits alternative for $Out(F_n)$.

研究の動機と目的

• 写像類群や算術群との類似を援用しながら、$\mathrm{Out}(F_n)$ の位相的・幾何的構造を理解すること。
• 合同な空間（Outer Space）に $\mathrm{Out}(F_n)$ が有限安定化群をもって作用することを確立し、ホモトピー的およびコホモロジー的解析を可能にする。
• Outer Space のボーディフィケーション版とモース理論的技法を用いて、$\mathrm{Out}(F_n)$ が次元 $2n-3$ のバーチャル双対性群であることを証明すること。
• 成長率、固定部分群、およびティーツの代替定理の研究に役立つ力学的道具（トレイン・トラック写像、吸引ラミネーションなど）を構築すること。

提案手法

• Culler-Vogtmann の Outer Space $X_n$ を、$\mathrm{Out}(F_n)$ が有限安定化群をもって作用する、合同な多面体として構成する。
• Stallings の折りたたみアルゴリズムを用いて、グラフ間の単体的写像を因数分解し、自由群自己同型に関する問題に対するアルゴリズム的解法を提供する。
• 自己同型の正規形として、Thurston の曲面写像類の正規形に類似した相対的トレイン・トラック写像形式を適用する。
• Outer Space に $\mathbb{R}$-木作用を介して理想点を加えることで、$BX_n$ としてのボーディフィケーションを構成し、$\mathrm{Out}(F_n)$-作用をココロプトにする。
• 複数のスケールでの長さを追跡するため、$[0,\infty)$ の積に値をとる辞書式順序のモース関数を $BX_n$ 上に導入し、無限遠における連結性を分析する。
• Hatcher-Vogtmann の Cerf 理論的アプローチを $\mathrm{Aut}(F_n)$ に適用し、部分複体 $D_n^k$ の連結性を研究することで、$\mathrm{Aut}(F_n)$ および $\mathrm{Out}(F_n)$ のホモロジー安定性を導出する。

実験結果

リサーチクエスチョン

• RQ1 ホモトピー的およびコホモロジー的構造としての $\mathrm{Out}(F_n)$ は何か？ また、写像類群や算術群と比べてどのように異なるか？
• RQ2 $\mathrm{Out}(F_n)$-作用をココロプトにするために、Outer Space のボーディフィケーション版を構成できるか？ また、その空間の位相的性質は何か？
• RQ3 トレイン・トラック写像と吸引ラミネーションは、自己同型の力学的性質を分析するのにどのように役立つか？ 特にティーツの代替定理の証明において。
• RQ4 Outer Space の幾何は何か？ また、非対称な距離を用いることで、$\mathrm{Out}(F_n)$ の剛性結果を導出できるか？
• RQ5 $\mathrm{Out}(F_n)$ はティーツの代替定理を満たすか？ また、力学的分解と多項式的成長型分類を用いてこれを証明できるか？

主な発見

• ボーディフィケーション済み Outer Space $BX_n$ は無限遠で $(2n-5)$-連結であり、$\mathrm{Out}(F_n)$ は次元 $2n-3$ のバーチャル双対性群である。
• $\mathrm{Out}(F_n)$ のホモロジーは、$n \geq 3i/2$ のとき有理係数で安定し、$n \geq 2i+3$ のとき整数係数で安定する。すべての安定した有理ホモロジー群は、$i \leq 7$ の次数で消える。
• $\mathrm{Out}(F_n)$ が Outer Space の境界に作用するとき、唯一の最小閉不変集合が存在し、無理的べきをもつ自己同型は北極–南極型の力学的性質を示す。
• トレイン・トラック写像は自己同型の正規形を提供し、成長率や固定部分群の解析を可能にする。主な洞察は、$f$ の成長率が $f^{-1}$ の成長率と異なる可能性があることである。
• ティーツの代替定理は、多項式的成長型自己同型に還元することで証明され、これはコリンヒンの定理の類似形であり、$GL_n(\mathbb{Z})$ の挙動に類似している。
• Outer Space は $n > 2$ のとき、$CAT(0)$ の等長的ピecewise ユークリッド構造をもたないため、$\mathrm{Out}(F_n)$ は $CAT(0)$ ではなく、剛性定理のための新しい幾何的構造の必要性を示唆している。