[論文レビュー] Solvable subgroups of Out(F_n) are virtually abelian

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

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

ひとこと要約

この論文は、$\mathrm{Out}(F_n)$ の任意の可解部分群が、有限指数の自由アーベル部分群を含むという意味で、ほとんどアーベルであることを証明している。証明は、グラフの普遍被覆の境界における作用を用い、自己同型の固定集合を通じて $\mathbb{Z}^r$ への準同型を構成し、それを全可解群へ拡張する。その結果、群は $3^{5n^2}$ 以下のランクの自由アーベル群に埋め込まれ、ほとんどアーベル部分群の指数に対する一様な上限が得られる。

ABSTRACT

A companion result of the the Tits alternative for $Out(F_n)$ is proved: Every solvable subgroup of $Out(F_n)$ is finitely generated and virtually abelian.

研究の動機と目的

• 可解部分群の構造的性質を特定すること。$\mathrm{Out}(F_n)$ は、写像類群と線形群の両方の性質を示すことが知られている。
• 可解部分群が $\mathrm{Out}(F_n)$ においてほとんどアーベルであるかどうかを解明すること。$GL(n,\mathbb{Z})$ ではこのような部分群が非アーベルである（例：ヘイゼンベルク群）ことがあるのと対照的である。
• 任意の $\mathrm{Out}(F_n)$ の可解部分群におけるほとんどアーベル部分群の有限指数に対する一様な上限を確立すること。
• 普遍被覆の境界における幾何的・力学的メソッドを用いて、$\mathrm{Out}(F_n)$ の可解部分群が有限生成かつほとんど多可解であることを独立に証明すること。

提案手法

• 先行研究から得られる短完全列 $1 \to \mathcal{H}_0 \to \mathcal{H} \to \mathbb{Z}^b \to 1$ を用い、$\mathcal{H}$ の有限指数部分群に置き換える。ここで $\mathcal{H}_0$ は $UPG$ 部分群である。
• 無限遠のカントール集合 $C_\infty$ における外自己同型のリフトの固定集合を分析することで、$\mathcal{H}_0 \to \mathbb{Z}^r$ の埋め込み $\Phi$ を構成する。
• 境界における作用と固定集合の構造を用いて、準同型 $\Phi$ を全群 $\mathcal{H}$ への準同型 $\Phi': \mathcal{H} \to \mathbb{Z}^r$ に拡張する。
• $\Omega: \mathcal{H} \to \mathbb{Z}^b$ と $\Phi'$ を組み合わせることで、$\mathcal{H}$ を $\mathbb{Z}^{b+r}$ に埋め込み、$\mathcal{H}$ が有限生成かつ自由アーベルであることを証明する。
• アーベル部分群が $\mathrm{Out}(F_n)$ に含まれる場合、$\mathrm{Aut}(F_n)$ への仮想的リフトが存在すること（命題 1.2 で示された）を用い、境界における作用を制御し、リフトの整合性を保証する。
• 境界 $C_\infty$ における作用、特に不変集合の固定点と蓄積点を用いた幾何的議論を適用し、$\mathcal{H}_0$ 及びその正規化部分群の構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 可解部分群 $\mathrm{Out}(F_n)$ は常にほとんどアーベルであるか、それとも非アーベルの冪零部分群を含む可能性があるか？
• RQ2 無限遠のカントール集合における境界ダイナミクスを用いて、$\mathrm{Out}(F_n)$ の可解部分群の構造を制御できるか？
• RQ3 任意の $\mathrm{Out}(F_n)$ の可解部分群におけるほとんどアーベル部分群の有限指数に対して、一様な上限が存在するか？
• RQ4 任意の $\mathrm{Out}(F_n)$ のアーベル部分群は、固定された原始的要素を保つ $\mathrm{Aut}(F_n)$ へのリフトをもつのか？
• RQ5 境界におけるダイナミクス的制約を用いて、$\mathcal{H}_0$ から $\mathbb{Z}^r$ への準同型の拡張を、全可解群 $\mathcal{H}$ へ拡張できるか？

主な発見

• 任意の $\mathrm{Out}(F_n)$ の可解部分群は、有限指数の自由アーベル部分群を含み、その指数は $3^{5n^2}$ 以下である。
• 任意の $\mathrm{Out}(F_n)$ のアーベル部分群のランクは $n > 1$ のとき $2n - 3$ 以下で抑えられ、これは仮想的コhomological次元と整合する。
• 短完全列 $1 \to \mathcal{H}_0 \to \mathcal{H} \to \mathbb{Z}^b \to 1$ における部分群 $\mathcal{H}_0$ は、境界ダイナミクスを用いた明示的な埋め込み $\mathbb{Z}^r$ によりアーベルであることが示された。
• 準同型 $\Phi: \mathcal{H}_0 \to \mathbb{Z}^r$ は $\Phi': \mathcal{H} \to \mathbb{Z}^r$ に拡張可能であり、これと $\Omega$ を組み合わせることで $\mathcal{H}$ が $\mathbb{Z}^{b+r}$ に埋め込まれ、$\mathcal{H}$ がほとんど自由アーベルであることが証明された。
• 証明により、$\mathrm{Out}(F_n)$ は可解部分群に対してティーツの代替的性質を満たし、$GL(n,\mathbb{Z})$ よりも写像類群に近い性質を持つことが示された。
• 命題 1.2 の証明：任意の $\mathrm{Out}(F_n)$ のアーベル部分群は、$\mathrm{Aut}(F_n)$ への仮想的リフトをもつ。さらに、原始的要素が共役を除いて固定される場合、そのリフトをその要素を固定するように選べる。