[論文レビュー] Constructing and classifying fully irreducible outer automorphisms of free groups

Catherine Pfaff|arXiv (Cornell University)|Jan 1, 2012

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

ひとこと要約

この論文は、Out(F₃)における非幾何的で完全に不可約な外部自己同型の理想ホワイトヘッドグラフとして現れる可能性がある21個の連結でループのない5頂点グラフを分類する。ベストヴィナ＝フェイーン＝ハンデルの列車軌道理論および吸引ラミネーション理論を用いて、正確に18個のこのようなグラフが存在することを証明し、周期的ニールセン経路を特定する手法と、特定のグラフ構造を持つ代表元を構成する手法を提供する。

ABSTRACT

The main theorem of this document emulates, in the context of Out(F_r) theory, a mapping class group theorem (by H. Masur and J. Smillie) that determines precisely which index lists arise from pseudo-Anosov mapping classes. Since the ideal Whitehead graph gives a finer invariant in the analogous setting of a fully irreducible outer automorphisms of free groups, we instead focus on determining which of the twenty-one connected, loop-free, five-vertex graphs are ideal Whitehead graphs of ageometric, fully irreducible outer automorphisms of free groups in rank three. Our main theorem accomplishes this by showing that there are precisely eighteen graphs arising as such. We also give a method for identifying certain complications called periodic Nielsen paths, prove the existence of conveniently decomposed representatives of ageometric, fully irreducible outer automorphisms of free groups having connected, (2r-1)-vertex ideal Whitehead graphs, and prove a criterion for identifying representatives of ageometric, fully irreducible outer automorphisms of free groups. The strategies we use for constructing fully irreducible outer automorphisms of free groups, as well as our identification and decomposition techniques, can be used to extend our main theorem, as they are valid in any rank. Our methods of proof rely primarily on Bestvina-Feighn-Handel train track theory and the theory of attracting laminations.

研究の動機と目的

• ランク3における非幾何的で完全に不可約な外部自己同型の理想ホワイトヘッドグラフとして現れる可能性がある21個の連結でループのない5頂点グラフを特定すること。
• 自由群の外部自己同型における周期的ニールセン経路を検出・分析するための手法を開発すること。
• 非幾何的で完全に不可約な外部自己同型に対して、連結な(2r−1)頂点を持つ理想ホワイトヘッドグラフを持つ、便利に分解可能な代表元の存在を証明すること。
• 動的および組合せ的構造に基づいて、非幾何的で完全に不可約な外部自己同型の代表元を識別する基準を確立すること。
• 一般化可能な構築および分解技術を用いて、より高いランクへの分類を拡張すること。

提案手法

• Out(F_r)における外部自己同型のダイナミクスを分析するためのベストヴィナ＝フェイーン＝ハンデルの列車軌道理論の応用。
• 自己同型の漸近的挙動および関連する理想ホワイトヘッドグラフを研究するための吸引ラミネーション理論の使用。
• 連結でループのない5頂点グラフの組合せ的解析により、理想ホワイトヘッドグラフとしての実現可能性を同定すること。
• 制御された分解技術を用いて、指定された理想ホワイトヘッドグラフを持つ非幾何的で完全に不可約な外部自己同型の代表元を構成すること。
• 列車軌道およびラミネーション枠組みから導かれる構造的および動的制約を通じて、周期的ニールセン経路を同定すること。
• グラフ論的および動的不変量に基づいて、非幾何的で完全に不可約な外部自己同型を認識する基準の開発。

実験結果

リサーチクエスチョン

• RQ1 Out(F₃)における非幾何的で完全に不可約な外部自己同型の理想ホワイトヘッドグラフとして現れる可能性がある21個の連結でループのない5頂点グラフはどれか？
• RQ2 自由群の外部自己同型における周期的ニールセン経路をどのように体系的に特定・分析できるか？
• RQ3 Out(F_r)における非幾何的で完全に不可約な外部自己同型は、連結で(2r−1)頂点を持つ理想ホワイトヘッドグラフを持つ代表元をもつのか？
• RQ4 非幾何的で完全に不可約な外部自己同型の代表元を区別するために使用できる組合せ的および動的基準は何か？
• RQ5 ランク3で開発された構築および分類手法を、より高いランクに一般化できるか？

主な発見

• 21個の連結でループのない5頂点グラフのうち、正確に18個が、Out(F₃)における非幾何的で完全に不可約な外部自己同型の理想ホワイトヘッドグラフとして現れる。
• 自由群の外部自己同型における周期的ニールセン経路を検出する体系的な手法が提供された。
• 非幾何的で完全に不可約な外部自己同型は、理想ホワイトヘッドグラフが連結で(2r−1)頂点を持つように便利に分解可能な代表元をもつ。
• 動的およびグラフ論的性質に基づいて、非幾何的で完全に不可約な外部自己同型の代表元を識別する基準が確立された。
• 本論文で用いられた構築および分解技術は、任意のランクr ≥ 3に対して有効であり、一般化可能である。
• 基礎的な列車軌道理論および吸引ラミネーション理論の道具を用いて結果が導かれたため、これらの結果は強固で、ランク3を超えた応用にも適していることが確認された。