[論文レビュー] Ideal Whitehead Graphs in Out(F_r) II: The Complete Graph in Each Rank

Catherine Pfaff|arXiv (Cornell University)|Jan 28, 2013

Topological and Geometric Data Analysis参考文献 28被引用数 6

ひとこと要約

本稿では、各ランク $ r \geq 3 $ に対して、完全グラフ（$ 2r-1 $ 頂点）を理想ホワイトヘッドグラフとする、年齢的でない（ageometric）、完全に不可約な外部自己同型 $ \phi \in \mathrm{Out}(F_r) $ を構成する。デーン変換に類似たパスとラミネーションのトレイントラック構造を用いて構築されたトレイントラック代表元を用い、pNp 無し、ペロン＝フロベニウス型遷移行列、連結な局所ホワイトヘッドグラフを含む、新たな基準を用いて完全不可約性を検証することで、すべてのランクで完全グラフが理想ホワイトヘッドグラフとして実現可能であることを証明する。

ABSTRACT

We show how to construct, for each $r \geq 3$, an ageometric, fully irreducible $ϕ\in Out(F_r)$ whose ideal Whitehead graph is the complete graph on $2r-1$ vertices. This paper is the second in a series of three where we show that precisely eighteen of the twenty-one connected, simplicial, five-vertex graphs are ideal Whitehead graphs of fully irreducible $ϕ\in Out(F_3)$. The result is a first step to an $Out(F_r)$ version of the Masur-Smillie theorem proving precisely which index lists arise from singular measured foliations for pseudo-Anosov mapping classes. In this paper we additionally give a method for finding periodic Nielsen paths and prove a criterion for identifying representatives of ageometric, fully irreducible $ϕ\in Out(F_r)$

研究の動機と目的

• 完全不可約外部自己同型が引き起こす理想ホワイトヘッドグラフの型を特定すること。マスール＝スミルの定理を自由群の文脈へ拡張すること。
• ランク $ r \geq 3 $ において、$ 2r-1 $ 頂点の完全グラフが $ \mathrm{Out}(F_r) $ の理想ホワイトヘッドグラフとして実現可能であることを示すこと。これは非自明で重要な構造である。
• ラミネーションのトレイントラック構造とデーン変換に類似たパスを用いた構成的技法を開発・適用し、所望の性質を持つ明示的代表元を構築すること。
• pNp 無し、ペロン＝フロベニウス型遷移行列、連結な局所ホワイトヘッドグラフを含む、新たな基準を用いて完全不可約性を検証すること。
• 特にランク 3 における理想ホワイトヘッドグラフの分類の基盤を築くこと。これは広範なインデックス実現計画の一環として重要である。

提案手法

• ラミネーションのトレイントラック構造に符号化された、デーン変換に類似た自己同型の系列を用いて、トレイントラック代表元 $ g: \Gamma \to \Gamma $ を構成する。
• フル不可約性基準に必要な pNp 無しを保証するため、ニールセンパス防止列を用いる。
• スイッチ列を用いて、トレイントラック写像の遷移行列がペロン＝フロベニウス型であることを保証し、不可約性およびスペクトル的性質を満たす。
• ループ $ \gamma_I $ を用いた純粋な構成的合成により、必要なエッジ像を生成し、初期および最終の ltt 構造を注意深く追跡する。
• 最終的に欠落している紫のエッジを含めるために、第二の構成ループ $ \gamma_{II} $ を適用し、理想ホワイトヘッドグラフが完全になるようにする。
• フル不可約性基準（FIC）を適用する。FIC では、pNp 無し、PF 型遷移行列、連結な局所ホワイトヘッドグラフが要求される。これにより $ \phi $ が完全に不可約であることが確認される。

実験結果

リサーチクエスチョン

• RQ1 すべての $ r \geq 3 $ に対して、$ \mathrm{Out}(F_r) $ に属する年齢的でない完全不可約外部自己同型が存在し、その理想ホワイトヘッドグラフが $ 2r-1 $ 頂点の完全グラフとなるか。
• RQ2 トレイントラック代表元が完全不可約外部自己同型を表すために満たすべき構造的・力学的性質は何か。
• RQ3 特に複雑な構造（例：完全グラフ）を持つ理想ホワイトヘッドグラフを持つ外部自己同型を体系的に構成する方法は何か。
• RQ4 周期的ニールセンパスは完全不可約性の障害となるが、構成においてはどのように回避できるか。
• RQ5 $ \mathrm{Out}(F_r) $ の外部自己同型の理想ホワイトヘッドグラフは、擬アイソメトリック写像類とどのように異なるか。

主な発見

• 各 $ r \geq 3 $ に対して、年齢的でない完全不可約な $ \phi \in \mathrm{Out}(F_r) $ が存在し、その理想ホワイトヘッドグラフは $ 2r-1 $ 頂点の完全グラフである。
• $ 2r-1 $ 頂点の完全グラフは、カット頂点を一切持たないにもかかわらず、理想ホワイトヘッドグラフとして実現可能である。これは理論的に非自明で重要な事実である。
• ニールセンパス防止列を用いることで、代表元が pNp 無しであることが保証され、フル不可約性基準の重要な条件を満たす。
• スイッチ列の系列を通じて、トレイントラック代表元の遷移行列がペロン＝フロベニウス型であることが示され、強い不可約性が確認される。
• すべての頂点における局所ホワイトヘッドグラフが連結である。これはフル不可約性基準を適用する上で必須の条件である。
• 本手法により、完全グラフが理想ホワイトヘッドグラフとして実現可能であることが示され、マッピングクラス群よりも $ \mathrm{Out}(F_r) $ の中での複雑さの深さが明らかになった。