[論文レビュー] Every Infinite order mapping class has an infinite order action on the homology of some finite cover

Asaf Hadari|arXiv (Cornell University)|Aug 6, 2015

Geometric and Algebraic Topology参考文献 9被引用数 7

ひとこと要約

本稿は、非アーベル自由基本群をもつ有限型の曲面上の無限位数写像類が、ある有限可解被覆の1次ホモロジー上に無限位数作用をもつことを証明する。ホモロジー影、遷移グラフ、アーベル群上のフーリエ解析を用いて、著者たちはこのような被覆を明示的に構成し、写像類群表現論における長年の予想を解決する。

ABSTRACT

We prove the following well known conjecture: let $Σ$ be an oriented surface of finite type whose fundamental group is a nonabelian free group. Let $ϕ\in extup{Mod}(Σ)$ be a an infinite order mapping class. Then there exists a finite solvable cover $\widehatΣ o Σ$, and a lift $\widehatϕ$ of $ϕ$ such that the action of $\widehatϕ$ on $H_1(\widehatΣ, \mathbb{Z})$ has infinite order. Our main tools are the theory of homological shadows, which was previously developed by the author, and Fourier analysis

研究の動機と目的

• 穴あき曲面上のすべての無限位数写像類が、ある有限被覆のホモロジー上に無限位数作用をもつという、古くから知られた予想を解決すること。
• 写像類が無限位数作用をもつホモロジー上に作用する有限可解被覆を構成的に構築する方法を確立すること。
• 写像類群のホモロジー表現および自由群の自己同型に関する結果を拡張し、制御された代数的構造をもつこのような被覆の存在を証明すること。
• マクマヘンの予想（有限被覆全域で写像類作用のスペクトル半径が正であるか）に対する証拠を提供すること。

提案手法

• 著者たちはホモロジー影の理論を用いて、遷移グラフと関連行列を介して被覆上の写像類の作用を分析する。
• スペクトル成長が非自明となる作用の成分を特定するために、極値的部分グラフと縁辺化頂点を定義する。
• アーベル群上のフーリエ解析を用いてホモロジー上の関数のトレースを追跡し、被覆全域での固有値の振る舞いを研究可能にする。
• この手法では、写像類をアーベル被覆に上げ、関連行列のべき乗のトレースを指標和を用いて分析する。
• アーベル被覆の系列を構成し、フーリエ変換によるトレース関数の像を分析することで、非自明なスペクトル成長を検出する。
• 主な技術的道具は、特性多項式の根の逆フーリエ変換を用いて、指標の稠密な部分集合上でトレース項が消えないことを検出することである。

実験結果

リサーチクエスチョン

• RQ1 非アーベル自由基本群をもつ曲面上のすべての無限位数写像類は、ある有限被覆の1次ホモロジー上に無限位数作用をもつか。
• RQ2 ホモロジー表現は、有限被覆を通じて写像類の無限位数性を検出できるか。
• RQ3 元の作用が有限位数であっても、その写像類がホモロジー上に無限位数作用をもつ有限可解被覆が存在するか。
• RQ4 マクマヘンの予想が示唆するように、ある有限被覆全域でホモロジー作用のスペクトル半径が正にできるか。
• RQ5 遷移グラフおよびその部分グラフの構造を用いて、このような被覆をアルゴリズム的に構築できるか。

主な発見

• 本稿は、非アーベル自由基本群をもつ曲面上の任意の無限位数写像類に対して、その上への1次ホモロジーへの引き上げ作用が無限位数である有限可解被覆が存在することを証明する。
• この構成は、遷移グラフにおける縁辺化頂点の特定と、アーベル被覆を用いたスペクトル成長の増幅に依存する。
• ある部分グラフがi次のレベルでノルム的縁辺化であるならば、そのような被覆が存在し、モノドロミー行列のk乗のトレースが無限に多くのkに対して非ゼロであることが示される。
• 証明では、アーベル群の双対群上のフーリエ解析を用いて、単位円上にない固有値からの非ゼロ寄与を検出する。
• この手法により、得られる被覆は可解であることが保証され、単に有限であることよりも強い条件を満たす。
• この結果は長年の予想を裏付け、ホモロジー表現における無限位数行動の検出に構成的枠組みを提供する。