[論文レビュー] Hyperbolicity of the Cyclic Splitting Complex

Brian P. Mann|arXiv (Cornell University)|Dec 12, 2012

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

ひとこと要約

この論文は、自由群 $F_n$ の自由分解に対応する頂点と、$\mathbb{Z}$-分解を介した共通の refinement や折りたたみによって生じる辺を持つ、$\mathrm{Out}(F_n)$ が作用する新しい単体的複体 $FZ_n$ を導入する。カポビッチとラフィの手法を用いて、$FZ_n$ が $\delta$-双曲的であることを証明し、これは曲面の曲率複体の双曲的類似物として位置づけられる。また、自由因子複体とは双曲的同値ではないことを示している。

ABSTRACT

We define a new complex on which $Out(F_n)$ acts by simplicial automorphisms, the cyclic splitting complex of $F_n$, and show that it is hyperbolic using a method developed by Kapovich and Rafi.

研究の動機と目的

• 曲面の曲率複体の双曲的類似物としての、$\mathrm{Out}(F_n)$-複体 $FZ_n$ を定義すること。
• ボウディッチの薄い三角形とカポビッチ＝ラフィの手法に基づく基準を用いて、$FZ_n$ が $\delta$-双曲的であることを確立すること。
• $FZ_n$ と自由因子複体 $FF_n$ が $\mathrm{Out}(F_n)$-同値な双曲的同値ではないことを示すこと。
• $\mathrm{Out}(F_n)$ の双曲的要素が $FZ_n$ 上でどのように作用するかを調べるための枠組みを提供すること。

提案手法

• 自由群 $F_n$ の自由分解を頂点とし、共通の refinement や $\langle w\rangle$ を辺群とする $\mathbb{Z}$-分解を介した折りたたみによって定義される辺を持つ、$FZ_n$ を定義する。
• 自由分解複体 $FS_n$ から $FZ_n$ への準等長写像を構成することで、カポビッチ＝ラフィの手法を用いて双曲的性を証明する。
• カポビッチとラフィの定理2を適用する。この定理は、双曲的グラフから写像されたグラフが、密度条件と有界直径条件を満たすならば、その対象グラフも双曲的であることを保証する。
• 自然な写像 $FS_n \to FZ_n$ が、一様な準等長定数と一様な画像測地線の直径制御により、準等長写像であることを示す。
• スティリングの定理を用いて、$\mathbb{Z}$-分解を曲面上の単純閉曲線に関連づけ、$FZ_n$ の幾何的動機づけを正当化する。
• $FS_n$ が既に双曲的である（ハンデル＝モシャー）ことが知られており、この性質を準等長写像によって $FZ_n$ に引き継ぐ。

実験結果

リサーチクエスチョン

• RQ1 $\mathrm{Out}(F_n)$ の作用下で、$FZ_n$ は双曲的か？
• RQ2 自由分解複体 $FS_n$ からの準等長写像を用いて、カポビッチ＝ラフィの手法により $FZ_n$ の双曲的性を確立できるか？
• RQ3 $FZ_n$ と自由因子複体 $FF_n$ は、$\mathrm{Out}(F_n)$-空間として双曲的同値か？
• RQ4 $\mathrm{Out}(F_n)$ のどの要素が $FZ_n$ 上で双曲的に作用するか？

主な発見

• すべての $n \geq 2$ に対して、$FZ_n$ は $\delta$-双曲的である。
• 自然な写像 $FS_n \to FZ_n$ は、一様な準等長定数 $L=3$ および $\frac{1}{3}$ を持つ準等長写像である。
• 写像 $\phi: \overline{FZ}_n \to C_n$ は準等長写像であり、既知の $FS_n$ の双曲的性を用いて $FZ_n$ の双曲的性が裏付けられる。
• $n \geq 3$ のとき、写像 $FS_n \to FZ_n$ は準等長写像でないため、$FZ_n$ は $\mathrm{Out}(F_n)$-同値に自由因子複体 $FF_n$ とは双曲的同値ではない。
• 例えば、$\mathbb{Z}$-分解を固定する擬アイルス型の外部自己同型をもつ、$\phi \in \mathrm{Out}(F_n)$ が存在し、$FZ_n$ 上で双曲的に作用する。
• このような双曲的要素に対応するラミネーションは、いかなる真の自由因子にも含まれないため、$FZ_n$ における動的複雑性が確認される。