[論文レビュー] Mapping tori of small dilatation irreducible train-track maps

Yael Algom-Kfir, Kasra Rafi|arXiv (Cornell University)|Sep 25, 2012

semigroups and automata theory参考文献 13被引用数 4

ひとこと要約

本稿では、任意の固定された P > 1 に対して、ランク n のグラフ上の P-小で非可約なトレイン・トラック写像から得られるすべてのマッピングトーラスは、有限で普遍的な 2-複体 X₁,…,Xₐ の手術によって得られることを確立している。ここで、リストのサイズは P にのみ依存し、n には依存しない。さらに、このようなマッピングトーラスの基本群の表示における生成元および関係式の数に、n に依存しない普遍的な上限 M が存在することを証明している。

ABSTRACT

We prove that for every P there is a bound B depending only on P so that the mapping torus of every P--small irreducible train-track map can be obtained by surgery from one of B mapping tori. We show that given an integer P>0 there is a bound $M$ depending only on P, so that there exists a presentation of the fundamental group of the mapping torus of a P--small irreducible train-track map with less than M generators and M relations.

研究の動機と目的

• P-小で非可約なトレイン・トラック写像のすべてのマッピングトーラスを、有限で普遍的な 2-複体のリストを用いて分類すること。
• このようなマッピングトーラスの基本群の表示における複雑さに、グラフのランク n に依存しない一様な上限を確立すること。
• 自由群の外部自己同型の文脈において、最小の拡張率の漸近的挙動を分析すること。
• 非可約なトレイン・トラック設定における log 拡張率の下限に対して、鋭い下界と上界を提供すること。
• 特に単一のミックスエッジと頂点の推移性を満たす場合に、拡張率を最小化するためのグラフおよび写像の構造的制約を調査すること。

提案手法

• 拡張率 ≤ √[n]{P} を満たす自己同型を P-小自己同型と定義し、特に非可約なトレイン・トラック（itt）写像に焦点を当てる。
• エッジ構造を変更しながら本質的な 2-セルを保存するトポロジカル操作として「マッピングトーラスの手術」を導入する。
• 最小エッジの 3n−3 回以下の反復写像内にすべてのエッジが被覆されることを用いて、拡張率の下界を導出する。
• 特にミックスエッジと頂点軌道に注目し、反復写像におけるエッジおよび頂点のダイナミクスを分析する。
• 周期的構造を持つ巡回エッジ写像（例：log(2)/n に近づく例）を明示的に構成し、拡張率を達成する。
• グラフに一つの頂点軌道があり、gcd(k,V)=1 である場合に最小拡張率が達成されることを証明し、6.3節の例に至る。

実験結果

リサーチクエスチョン

• RQ1 P-小で非可約なトレイン・トラック写像のすべてのマッピングトーラスは、有限で普遍的な 2-複体のリストに対する手術によって得られるか？
• RQ2 このようなマッピングトーラスの基本群の表示における生成元および関係式の数に、グラフのランク n に依存しない普遍的な上限 M が存在するか？
• RQ3 n が増加する際、itt 自己同型における最小拡張率の漸近的挙動はいかなるものか？
• RQ4 単一のミックスエッジと一つの頂点軌道の場合に、最小拡張率が達成されるための構造的制約は何か？
• RQ5 複数のミックスエッジやより高い像長さが拡張率の下界に与える影響は何か？

主な発見

• 任意の P > 1 に対して、P にのみ依存するサイズ A を持つ有限な 2-複体 X₁,…,Xₐ のリストが存在し、P-小で非可約なトレイン・トラック写像のマッピングトーラスは、ある Xᵢ に対する手術によって得られる複体と同相である。
• 任意の P-小 itt 自己同型のマッピングトーラスの基本群は、M 個以下の生成元および M 個以下の関係式を持つ表示を持つ。ここで M は P にのみ依存し、n には依存しない。
• itt 自己同型における log 拡張率の下限は、log(3)/(3n−3) ≤ inf log λ_ϕ < log(2)/n を満たす。
• 上界 log(2)/n は漸近的に鋭く、周期的構造を持つ巡回エッジ写像の族によって達成される。
• 最小拡張率のケースは、ミックスエッジが1つ、頂点軌道が1つ、かつ gcd(k,V)=1 のときに一意に達成され、6.3節の例（λ ~ log(2)/n）に至る。
• 1つのミックスエッジが正確に2つのエッジに写される場合、グラフは正確に3つの頂点を持つ必要があり、この構成はこのような写像における既知で最小の拡張率をもたらす。