[論文レビュー] Ideal Whitehead graphs in Out(Fr). I. Some unachieved graphs

Catherine Pfa|arXiv (Cornell University)|Jan 1, 2015

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

ひとこと要約

この論文は、Handel と Mosher (2011) が提起した、任意の連結で単体的かつ (2r−1) 頂点を持つグラフが、Out(Fr) 内の完全に不可約な外部自己同型の理想ホワイトヘッドグラフであるかどうかという問いに、否定的な答えを提示する。各ランク r に対して明示的な反例を構成することで、特定の (2r−1) 頂点グラフが理想ホワイトヘッドグラフとして現れないことを示し、完全に不可約な自己同型の研究における根本的な障害を確立する。

ABSTRACT

Masur and Smillie, 1993, proved precisely which singularity index lists arise from pseudo-Anosov mapping classes. In search of an analogous theorem for outer automorphisms of free groups, Handel and Mosher, 2011, ask: Is each connected, simplicial, (2r 1)-vertex graph the ideal Whitehead graph of a fully irreducible 2 Out(Fr)? We answer this question in the negative by exhibiting, for each r, examples of connected (2r-1)-vertex graphs that are not the ideal Whitehead graph of any fully irreducible 2 Out(Fr). In the course of our proof we also develop machinery used in Pfa, 2012, to fully answer the question in the rank-three case.

研究の動機と目的

• Out(Fr) 内の完全に不可約な自己同型の理想ホワイトヘッドグラフとして、任意の連結で単体的かつ (2r−1) 頂点を持つグラフが実現可能かどうかを特定すること。
• マスールとスミリ（1993）の擬アイソメトリック写像類に関する特異点インデックスリストの定理の、Out(Fr) における予想的な類似定理を扱うこと。
• 特定の (2r−1) 頂点グラフが完全に不可約な自己同型の理想ホワイトヘッドグラフとして実現できない構造的障害を同定すること。
• 後に Pia (2012) で用いられる、ランク3の場合の理想ホワイトヘッドグラフの分類に応用可能な基礎的ツールを開発すること。

提案手法

• Out(Fr) 内の任意の完全に不可約な自己同型の理想ホワイトヘッドグラフとして実現できない連結な (2r−1) 頂点グラフの明示的構成。
• 理想ホワイトヘッドグラフの構造にかかる組合せ的および位相的制約を用いて、特定のグラフを除外すること。
• 完全に不可約な自己同型の力学とそれに対応するトレイントラック代表元の分析を通じて、理想ホワイトヘッドグラフに必要な条件を導出すること。
• トレイントラック理論および自由因子複体の構造の結果を応用して、可能な理想ホワイトヘッドグラフを制約すること。
• 理想ホワイトヘッドグラフが自由群の境界上の自己同型の作用から生じることを活用すること。
• 特定の頂点連結性および次数パターンが、完全に不可約な自己同型の力学と両立しないことの証明。

実験結果

リサーチクエスチョン

• RQ1 任意の連結で単体的かつ (2r−1) 頂点を持つグラフが、Out(Fr) 内の完全に不可約な自己同型の理想ホワイトヘッドグラフとして実現可能か。
• RQ2 特定の (2r−1) 頂点グラフが完全に不可約な自己同型の理想ホワイトヘッドグラフとして実現できない組合せ的障害が存在するか。
• RQ3 完全に不可約な自己同型の動的性質が、その理想ホワイトヘッドグラフの構造にどれほど制限を加えるか。
• RQ4 Out(Fr) 内の理想ホワイトヘッドグラフの制約と、写像類群の設定における特異点インデックスリストの制約とは、どのように比較できるか。
• RQ5 どのグラフの構造的特徴が、完全に不可約な自己同型の任意のものに対して理想ホワイトヘッドグラフとして実現不可能であるか。

主な発見

• 各ランク r ≥ 2 に対して、Out(Fr) 内の任意の完全に不可約な自己同型の理想ホワイトヘッドグラフとして実現できない連結で単体的かつ (2r−1) 頂点を持つグラフが存在する。
• 障害は、完全に不可約な自己同型の力学と両立しない頂点次数および連結性に関する組合せ的制約に起因する。
• 本論文は、このような実現不可能なグラフの明示的構成を提供し、実現可能な理想ホワイトヘッドグラフの集合が、すべての (2r−1) 頂点グラフの集合よりも真に小さいことを示している。
• 結果として、マスールとスミリ（1993）の写像類群における動的性質と、自由群の外部自己同型の間で、理想ホワイトヘッドグラフの実現可能性に根本的な違いが存在することが明らかになった。
• 本研究で開発された手法は、後に Pia (2012) でランク3の場合の理想ホワイトヘッドグラフの完全分類が達成される基盤を提供している。
• 解析により、連結で単体的であっても、すべての (2r−1) 頂点グラフが完全に不可約な自己同型の理想ホワイトヘッドグラフとして必要な条件を満たすとは限らないことが判明した。