[論文レビュー] Automorphisms of the graph of free splittings

Javier Aramayona, Juan Souto|ArXiv.org|Sep 20, 2009

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

ひとこと要約

この論文は、$n \geq 3$ における自由群 $\mathbb{F}_n$ の自由分解グラフの任意の単体的自己同型が、$\mathbb{F}_n$ の外自己同型から生じることを証明し、外自己同型群を用いたグラフの自己同型群の完全な代数的特徴付けを確立している。証明では、3次元多様体 $M_n = \#^n \mathbb{S}^1 \times \mathbb{S}^2$ の球面複体を用い、自由分解グラフをこの複体の1次元スケルトンと同一視し、Bridson-Vogtmann の剛性結果を適用することで、複体の自己同型が基本群の外自己同型によって誘導されることを示している。

ABSTRACT

We prove that every simplicial automorphism of the free splitting graph of a free group of at least rank 3 is induced by an outer automorphism of the free group.

研究の動機と目的

• 自由群 $\mathbb{F}_n$ ($n \geq 3$) の自由分解グラフ $\mathcal{G}_n$ の完全な自己同型群を特徴付けること。
• 自由分解グラフの自己同型群と外自己同型群 $\operatorname{Out}(\mathbb{F}_n)$ の間の構造的剛性を確立すること。
• すべての単体的自己同型が $\mathbb{F}_n$ の外自己同型から生じることを示し、$\operatorname{Out}(\mathbb{F}_n)$ が $\mathcal{G}_n$ の完全な自己同型群として実現されることを示すこと。

提案手法

• 自由分解グラフ $\mathcal{G}_n$ を、基本群が $\mathbb{F}_n$ である 3次元多様体 $M_n = \#^n \mathbb{S}^1 \times \mathbb{S}^2$ に付随する球面複体 $\mathbb{S}_n$ の1次元スケルトンと同一視する。
• すべての $\mathcal{G}_n$ の単体的自己同型が、球面複体 $\mathbb{S}_n$ 全体の自己同型に一意に拡張可能であるという事実を用いる。
• Hatcher の結果を活用し、球面複体 $\mathbb{S}_n$ が Culler-Vogtmann 外空間 $CV_n$ に同相なスパイン $K_n$ を含み、$\operatorname{Aut}(\mathbb{S}_n)$ に対して不変であることを示す。
• 任意の $\mathbb{S}_n$ の自己同型が $K_n$ 上で自明に作用するならば、それは恒等写像でなければならないことを示すことにより、制限写像 $\operatorname{Aut}(\mathbb{S}_n) \to \operatorname{Aut}(K_n)$ が単射であることを証明する。
• Bridson-Vogtmann の定理（$\operatorname{Out}(\mathbb{F}_n)$ が $K_n$ の完全な自己同型群である）を適用し、$\operatorname{Aut}(\mathcal{G}_n) \cong \operatorname{Out}(\mathbb{F}_n)$ を結論づける。

実験結果

リサーチクエスチョン

• RQ1 $n \geq 3$ のとき、自由群 $\mathbb{F}_n$ の自由分解グラフ $\mathcal{G}_n$ のすべての単体的自己同型が外自己同型から生じるか？
• RQ2 $\operatorname{Out}(\mathbb{F}_n)$ の $\mathcal{G}_n$ への作用は、$\mathcal{G}_n$ の完全な自己同型群か？
• RQ3 球面複体 $\mathbb{S}_n$ の幾何的性質を用いて、自由分解グラフの自己同型群を完全に特徴付けられるか？

主な発見

• $n \geq 3$ に対して、自然な準同型 $\operatorname{Out}(\mathbb{F}_n) \to \operatorname{Aut}(\mathcal{G}_n)$ が同型であることが示され、$\mathcal{G}_n$ のすべての自己同型が $\mathbb{F}_n$ の外自己同型によって誘導されることを証明した。
• 自由分解グラフ $\mathcal{G}_n$ のすべての単体的自己同型が、$M_n = \#^n \mathbb{S}^1 \times \mathbb{S}^2$ に付随する球面複体 $\mathbb{S}_n$ の単体的自己同型に一意に拡張可能である。
• Culler-Vogtmann 空間のスパイン $K_n$ は $\operatorname{Aut}(\mathbb{S}_n)$ の作用に対して不変であり、制限写像 $\operatorname{Aut}(\mathbb{S}_n) \to \operatorname{Aut}(K_n)$ は単射である。
• 球面複体 $\mathbb{S}_n$ の自己同型が $K_n$ 上で自明に作用するならば、それは恒等写像でなければならないことが示され、複体の強い剛性が確立された。
• 証明は、$\mathbb{S}_n$ のすべての頂点（分離するもの・しないものにかかわらず）が、$K_n$ のある単体に一意に現れる球面として実現可能であるという事実に依拠しており、これにより自己同型が固定点ごとに一意に定まる。