[論文レビュー] Rigidity and geometricity for surface group actions on the circle

Kathryn Mann, Maxime Wolff|arXiv (Cornell University)|Oct 13, 2017

Geometric and Algebraic Topology参考文献 3被引用数 4

ひとこと要約

本稿では、表面群の剛性表現がすべて幾何的であることを確立している。すなわち、PSL(2,ℝ)における離散的かつ忠実な作用に半同型的に関係する。湾曲変形と回転数、および「悪いトーラス」の解析を用いて、非自明な変形を持たないパス剛性表現—つまり、変形が存在しない表現—は幾何的構造に由来することを証明した。これは、円周上での動的系と特性多様体の分野における重要な問いに答えを提示した。

ABSTRACT

We prove that rigid representations of the fundamental group of a surface into the group of oreintation-preserving homeomorphisms of the circle are geometric, thereby establishing a converse statement of a theorem by the first author.

研究の動機と目的

• マットン（2015）の先行結果の逆を確立すること。すなわち、Homeo⁺(S¹)における表面群の剛性表現が幾何的であることを示すこと。
• 非自明な変形が存在しないパス剛性表現（＝変形が存在しない表現）が、幾何的構造に由来するかどうかという問いを解決すること。
• 回転数と「悪いトーラス」（すべての非分離曲線の回転数が有理数である一穴あきトーラス部分群）が、表面群の円周上での作用の変形を妨げるか、促進するかの役割を分析すること。
• 特性多様体 X(Γg, Homeo⁺(S¹)) の位相的構造と古典的特性多様体との関係を調査すること。
• 湾曲変形が表現空間内のすべての経路を生成するかどうかを検討し、テイコミュラー理論やサーストンの地震定理に類似する構造的類似性を考察すること。

提案手法

• 単純閉曲線に沿った湾曲変形を用いて、表現空間 Hom(Γg, Homeo⁺(S¹)) 内に連続的経路を構成する。
• 特に非分離曲線に対する表面群表現の回転数を、アントノフによる確率的語の回転数に関する結果を用いて分析する。
• 「悪いトーラス」—すべての非分離曲線の回転数が有理数である一穴あきトーラス部分群—を定義し、変形の障害として研究する。
• 半同型性と特性多様体の理論を応用し、最大のハウスドルフ商 X(Γg, Homeo⁺(S¹)) を通じて、位相的剛性と幾何的構造との関係を結ぶ。
• 最大のオイラー数（±(2g−2)）を持つ表現は剛性であり、PSL(2,ℝ)作用に半同型的であることが松本によって示されていることを利用する。
• 幾何的不変量理論とGIT商を用いて、表現空間 Hom(Γg, Homeo⁺(S¹))/Homeo⁺(S¹) の特性多様体としての構造を、ハウスドルフ商として理解する。

実験結果

リサーチクエスチョン

• RQ1 Homeo⁺(S¹)における表面群のすべての剛性表現は幾何的であるか。すなわち、PSL(2,ℝ)における離散的かつ忠実な作用に半同型的に関係するか。
• RQ2 表現空間 Hom(Γg, Homeo⁺(S¹)) 内のすべての経路は、単純閉曲線に沿った湾曲変形によって実現可能か。
• RQ3 少なくとも一つの「悪いトーラス」（すべての非分離曲線の回転数が有理数である一穴あきトーラス部分群）を含むパス剛性表現が存在するか。
• RQ4 局所的剛性ではあるが、剛性ではない表現（すなわち、局所的剛性とグローバル剛性の違いを示す表現）が存在するか。
• RQ5 オイラー数が、PSL(2,ℝ)の場合と同様に、X(Γg, Homeo⁺(S¹)) の連結成分を分類するか。

主な発見

• π₁Σg における Homeo⁺(S¹) へのすべての剛性表現は幾何的である。すなわち、PSL(2,ℝ) における離散的かつ忠実な表現に半同型的に関係する。
• パス剛性表現は、二つの交わらない悪いトーラスを含むことはできず、悪いトーラスが存在しない場合には、補強版の補題5.11により幾何的性が示される。
• 最大のオイラー数（±(2g−2)）を持つ表現は剛性であり、PSL(2,ℝ)作用に半同型的である。これは松本によって示された。
• 特性多様体 X(Γg, Homeo⁺(S¹)) は、Hom(Γg, Homeo⁺(S¹))/Homeo⁺(S¹) の最大のハウスドルフ商であり、作用の半同型的同値類をパラメトライズする。
• 単純閉曲線に沿った湾曲変形は、表現空間内に経路を生成する。これは、テイコミュラー理論やサーストンの地震定理に類似した構造的類似性を示唆する。
• アントノフの定理により、自由群の S¹ 上の最小作用では、ほとんどすべての確率的語の回転数が有理数であるが、すべての非分離曲線の回転数が有理数である非アーベル的最小作用の存在は未解決のままである。