[論文レビュー] Mapping class group dynamics on Aff(C)-characters

Selim Ghazouani|arXiv (Cornell University)|Jun 29, 2014

Mathematical Dynamics and Fractals参考文献 8被引用数 3

ひとこと要約

この論文は、 genus $ g \geq 2 $ の曲面の基本群から複素アフィン群 $ \mathrm{Aff}(\mathbb{C}) $ への表現のキャラクター多様体へ、写像類群がエルゴディックに作用することを確立する。線形部 $ \mathrm{H}^1(S, \mathbb{C}^*) \simeq (\mathbb{C}^*)^{2g} $ における作用と、Torelli群のねじれコホモロジー層 $ \mathrm{PH}^1_\alpha(\Gamma, \mathbb{C}) $ への作用を分析することで、著者らはエルゴディック性を証明し、その結果、ほとんどすべてのこのような表現が、曲面上の分岐アフィン構造のホロノミーとして現れることを示す。

ABSTRACT

We prove that in genus bigger than $2$, the mapping class group action on $\mathrm{Aff}(\mathbb{C})$-characters is ergodic. This implies that almost every representation $π_1 S \longrightarrow \mathrm{Aff}(\mathbb{C})$ is the holonomy of a branched affine structure on $S$, where $S$ is a closed orientable surface of genus $g \geq 2$.

研究の動機と目的

• genus $ g \geq 2 $ の曲面に対して、写像類群の $ \mathrm{Aff}(\mathbb{C}) $-キャラクター多様体への作用のエルゴディック性を確立すること。
• 写像類群の表現 $ \pi_1S \to \mathrm{Aff}(\mathbb{C}) $ への作用のダイナミクスを、特に Torelli群のねじれコホモロジー層への作用を通じて理解すること。
• 分岐複素アフィン構造のホロノミー問題を解き、幾何的ホロノミーの集合がキャラクター多様体において全測度の部分集合であることを示すこと。

提案手法

• キャラクター多様体は $ (\mathbb{C}^*)^{2g} $ 上のファイバー束として構造化されており、ファイバーは $ \mathbb{CP}^{2g-3} $ に同型であり、ねじれコホモロジー $ \mathrm{H}^1_\alpha(\Gamma, \mathbb{C}) $ によってパラメトライズされる。
• Mooreの定理を用いて、$ \mathbb{R}^{2g} \times (\mathbb{R}/\mathbb{Z})^{2g} $ 上の対角的作用に関する結果を応用し、$ \mathrm{Sp}(2g, \mathbb{Z}) $-作用が $ (\mathbb{C}^*)^{2g} $ 上でエルゴディックであることを確立する。
• Dehn変位の $ \mathrm{PH}^1_\alpha(\Gamma, \mathbb{C}) $ 上への作用を明示的に計算することで、ほとんどすべての $ \alpha \in (\mathbb{C}^*)^{2g} $ に対して、Torelli群がファイバー上でエルゴディックに作用することを示す。
• ベース上のエルゴディック性と、Torelli群によるファイバー内エルゴディック性を組み合わせ、射影的表現 $ \tau_\alpha: \mathcal{I}(S) \to \mathrm{PGL}(2g-2, \mathbb{C}) $ を用いて証明を構築する。
• 作用はLebesgue測度に関して絶対連続な測度を保存しないが、再帰的ケースとは対照的に、Goldmanのシンプレクティック形式によって不変測度が保証される。

実験結果

リサーチクエスチョン

• RQ1 どの表現 $ \pi_1S \to \mathrm{Aff}(\mathbb{C}) $ が分岐アフィン構造のホロノミーとして現れるか？
• RQ2 写像類群の $ \mathrm{Aff}(\mathbb{C}) $-キャラクター多様体への作用は、Ratner型の構造や非一様な軌道閉包を示すか？
• RQ3 どの $ \alpha \in (\mathbb{C}^*)^{2g} $ に対して、Torelli群の表現 $ \tau_\alpha: \mathcal{I}(S) \to \mathrm{PGL}(2g-2, \mathbb{C}) $ が離散的か？
• RQ4 単位的 $ \alpha $ のとき、Torelli群の表現 $ \tau_\alpha $ が $ \mathrm{PU}(g-1,g-1) $ の格子を生成するか？
• RQ5 実線形ホロノミーを持つ分岐アフィン構造における方向性のfoliationは、どのように振る舞うか？

主な発見

• 写像類群の $ \mathrm{Aff}(\mathbb{C}) $-キャラクター多様体への作用は、すべての $ g \geq 2 $ に対してエルゴディックであり、これはベース $ (\mathbb{C}^*)^{2g} $ 上のエルゴディック性と、Torelli群によるファイバー内エルゴディック性の組み合わせによって証明された。
• Dehn変位の明示的計算により、ほとんどすべての $ \alpha \in (\mathbb{C}^*)^{2g} $ に対して、Torelli群がファイバー $ \mathrm{PH}^1_\alpha(\Gamma, \mathbb{C}) \simeq \mathbb{CP}^{2g-3} $ 上でエルゴディックに作用することが示された。
• 作用はLebesgue測度に関して絶対連続な測度を保存しないが、再帰的キャラクター多様体とは対照的であり、その場合、不変測度が存在する。
• 分岐アフィン構造のホロノミーとして現れる表現の集合は、キャラクター多様体において全測度の開部分集合である。
• 表現 $ \tau_\alpha: \mathcal{I}(S) \to \mathrm{PGL}(2g-2, \mathbb{C}) $ は、ねじれコホモロジーへのTorelli群の作用から生じる射影的表現である。
• 予想が提示される：非ユニタリで、角度が $ \mathbb{R}/\mathbb{Z} $ の無限部分群を生成する厳密アフィン表現は、すべて分岐アフィン構造のホロノミーとして実現可能である。