[論文レビュー] Relative outer automorphisms of free groups

Erika Meucci|arXiv (Cornell University)|Oct 22, 2010

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

ひとこと要約

本稿では、自由因子系 $A_1,\ldots,A_k$ に関する相対的外自己同型群 $\mathrm{Out}(F_n;A_1,\ldots,A_k)$ が有限安定化群をもって作用する相対的外空間 $\mathrm{CV}_n(A_1,\ldots,A_k)$ を導入し、その空間が可縮であることを証明する。主な貢献は、この群の仮想コhomological次元（VCD）の明確な公式の導出である：$\mathrm{vcd} = 2n - 2\sum_{i=1}^k s(i) + 2k - 2 - m$、ここで $s(i)$ は $A_i$ の最小生成数であり、$m$ は $s(i) = 1$ を満たす $A_i$ の個数を数える。この結果は、純粋な対称自己同型群や古典的外空間に関する既知の結果を一般化する。

ABSTRACT

Let $A_1,...,A_k$ be a system of free factors of $F_n$. The group of relative automorphisms $Aut(F_n;A_1,...,A_k)$ is the group given by the automorphisms of $F_n$ that restricted to each $A_i$ are conjugations by elements in $F_n$. The group of relative outer automorphisms is defined as $Out(F_n;A_1,...,A_k) = Aut(F_n;A_1,...,A_k)/Inn(F_n)$, where $Inn(F_n)$ is the normal subgroup of $Aut(F_n)$ given by all the inner automorphisms. We define a contractible space on which $Out(F_n;A_1,...,A_k)$ acts with finite stabilizers and we compute the virtual cohomological dimension of this group.

研究の動機と目的

• 相対的自己同型群 $\mathrm{Out}(F_n;A_1,\ldots,A_k)$ に対して、Culler-Vogtmann の外空間に類似した $\mathrm{Out}(F_n;A_1,\ldots,A_k)$-不変で可縮な空間を定義すること。
• この空間における群作用の安定化群が有限であることを確立し、コホモロジー計算に適した空間であることを保証すること。
• $\mathrm{Out}(F_n;A_1,\ldots,A_k)$ の仮想コホモロジー次元（VCD）を計算し、純粋な対称自己同型群などの特殊ケースにおける既知の結果を一般化すること。
• 相対的自己同型群を幾何学的・位相的枠組みで扱うためのフレームワークを、制御された位相的性質と体積制約を持つ相対的外空間を通じて提供すること。

提案手法

• 自由因子 $A_1,\ldots,A_k$ に対応するワッセッドサイクルを有するマークドメトリックグラフからなる相対的外空間 $\mathrm{CV}_n(A_1,\ldots,A_k)$ を構成する。
• 空間に相対的体積正規化を定義する：ワッセッドサイクル以外の辺の総長さが 1 で、各ワッセッドサイクルの総長さも 1 となるようにする。
• ワッセッドサイクルの双対グラフを用いてフォレスト構造を強制し、スパインへの変形リトラクションにより空間が可縮であることを保証する。
• スパイン $S_n(\mathcal{A})$ の構造を解析し、最大次元単体の次元を計算することで、VCD の上限を得る。
• オイラー特性およびグラフ論的議論を用いてスパインの次元を導出し、VCD の公式に至る。
• 自己同型群の生成元に関する帰納法と独立性の議論を用いて、VCD の下界を確立する。

実験結果

リサーチクエスチョン

• RQ1 自由因子系 $A_1,\ldots,A_k$ に対して、相対的外自己同型群 $\mathrm{Out}(F_n;A_1,\ldots,A_k)$ の仮想コホモロジー次元は何か？
• RQ2 群 $\mathrm{Out}(F_n;A_1,\ldots,A_k)$ が有限安定化群をもって作用する可縮な空間を構成できるか？
• RQ3 $\mathrm{Out}(F_n;A_1,\ldots,A_k)$ のVCDは、自由因子 $A_i$ の個数と複雑さにどのように依存するか？
• RQ4 このVCDの公式は、純粋な対称自己同型群や古典的外空間といった既知のケースに正しく還元されるか？

主な発見

• $\mathrm{Out}(F_n;A_1,\ldots,A_k)$ の仮想コホモロジー次元は、$s(i)$ を $A_i$ の最小生成数、$m$ を $s(i) = 1$ を満たす $A_i$ の個数として、$2n - 2\sum_{i=1}^k s(i) + 2k - 2 - m$ に等しい。
• 相対的外空間 $\mathrm{CV}_n(A_1,\ldots,A_k)$ は可縮であり、$\mathrm{Out}(F_n;A_1,\ldots,A_k)$ による有限安定化群作用を有する。
• $k = n$ かつすべての $s(i) = 1$ の場合、群は純粋な対称自己同型群となり、公式により $\mathrm{vcd} = n - 2$ が得られ、Collins の結果と一致する。
• 古典的ケース $k = 0$ の場合、公式は $\mathrm{vcd}(\mathrm{Out}(F_n)) = 2n - 3$ に簡略化され、既知の結果と整合的である。
• 相対的外空間 $\mathrm{CV}_n(\mathcal{A})$ の次元は、$n > \sum s(i)$ のとき $3n + 3k - 3\sum s(i) - 4 - m$、$n = \sum s(i)$ のとき $3n + 2k - 3\sum s(i) - 2 - m$ に等しい。
• スパインの次元から得られるVCDの上界と、生成元の独立性から得られる下界が一致し、公式の正しさが確認された。