[論文レビュー] $Out(F_3)$ Index Realization

Catherine Pfaff|arXiv (Cornell University)|Nov 18, 2013

Mathematical Dynamics and Fractals参考文献 15被引用数 6

ひとこと要約

この論文は、GJLL98のインデックス和不等式を満たすインデックスリストのうち、$Out(F_3)$ 内の完全に不可約な外部自己同型によって実現されるものを特定する。トレイントラック代表元を用いて、6つの可能なインデックスリストのそれぞれに対して明示的な自己同型を構成し、連結な局所ホワイトヘッドグラフと周期的でないニエルセンパスの不在により実現可能性を証明することで、$Out(F_3)$ におけるマスール＝スミルの定理の類似を完成させる。

ABSTRACT

By proving precisely which singularity index lists arise from the pair of invariant foliations for a pseudo-Anosov surface homeomorphism, Masur and Smillie determined a Teichmueller flow invariant stratification of the space of quadratic differentials. In this paper we determine an analog to the theorem for $Out(F_3)$. That is, we determine which index lists permitted by the Gaboriau-Jaeger-Levitt-Lustig index sum inequality are achieved by fully irreducible outer automorphisms of the rank-$3$ free group.

研究の動機と目的

• GJLL98不等式を満たすインデックスリストのうち、$Out(F_3)$ 内の完全に不可約な外部自己同型によって実現されるものを特定すること。
• 非幾何的自己同型を含む $Out(F_r)$ の文脈に、マスール＝スミルの擬造多様体インデックス定理を拡張すること。
• ランク3における許容可能なインデックスリストのそれぞれに対して、明示的なトレイントラック代表元を構成すること。
• 連結な局所ホワイトヘッドグラフと周期的ニエルセンパスの不在により、実現可能性を検証すること。
• 完全に不可約な自己同型のインデックスリストについて、$Out(F_3)$ における完全な分類を確立すること。

提案手法

• $Out(F_3)$ の6つの許容可能なインデックスリストのそれぞれに対して、明示的なトレイントラック代表元を構成すること。
• 各代表元がペロン＝フロベニウス遷移行列を持つことを確認するために、十分に高いべき乗が各辺を他のすべての辺へ写すことの証明。
• 各頂点における局所ホワイトヘッドグラフを計算し、連結性を確認することで、周期的ニエルセンパスが存在しないことを保証すること。
• 周期的方向に制限することで、理想ホワイトヘッドグラフを決定し、そこからインデックスリストを導出すること。
• 双対 $\mathbb{R}$-ツリーの分岐点における不変量 $1 - \frac{k}{2}$ を用いて、次数 $k$ の分岐点からインデックスを計算すること。
• 周期的ニエルセンパスの不在、ペロン＝フロベニウス遷移行列、連結な局所ホワイトヘッドグラフに依拠して、完全に不可約性を確認する完全に不可約基準（FIC）を用いること。

実験結果

リサーチクエスチョン

• RQ1 $0 > i(\phi) \geq 1 - r$ を満たすインデックスリストのうち、$Out(F_3)$ 内の完全に不可約な自己同型によって実現されるものは何か？
• RQ2 各々のインデックスリストは、非幾何的で完全に不可約な外部自己同型によって実現可能か？
• RQ3 局所ホワイトヘッドグラフと周期的ニエルセンパスの不在は、インデックスリストの実現可能性の検証にどのように寄与するか？
• RQ4 理想ホワイトヘッドグラフは、$Out(F_3)$ におけるインデックスリストという不変量をどの程度まで精緻化するか？
• RQ5 ランク3における完全に不可約な自己同型のインデックスリストについて、完全な分類が存在するか？

主な発見

• GJLL98不等式を満たす6つのインデックスリストすべてが $Out(F_3)$ で実現される：$(-\frac{1}{2}, -\frac{1}{2}, -\frac{1}{2})$、$(-\frac{1}{2}, -1)$、$(-\frac{3}{2})$、$(-\frac{1}{2}, -\frac{1}{2})$、$(-1)$、および $(-\frac{1}{2})$。
• 各インデックスリストは、ペロン＝フロベニウス遷移行列と連結な局所ホワイトヘッドグラフを持つ明示的なトレイントラック代表元によって実現される。
• 周期的ニエルセンパスの不在により、周期的方向から正確に理想ホワイトヘッドグラフが計算可能となり、インデックス計算が正確に行える。
• インデックスリスト $(-\frac{3}{2})$ は、双対 $\mathbb{R}$-ツリーに次数4の分岐点が1つある場合に実現される。
• インデックスリスト $(-1)$ は、3つのひらがなのついたバラの図形上に代表元が存在し、次数4の分岐点が1つある場合に実現される。
• インデックスリスト $(-\frac{1}{2}, -\frac{1}{2}, -\frac{1}{2})$ は、5本の辺を持つグラフ上に代表元が存在し、次数3の分岐点が3つある場合に実現される。