[論文レビュー] McShane identities for Higher Teichmüller theory and the Goncharov-Shen potential

Yi Huang, Zhe Sun|arXiv (Cornell University)|Jan 7, 2019

Geometric and Algebraic Topology参考文献 60被引用数 16

ひとこと要約

本稿は、ゴンチャロフ＝シェンのポテンシャルから導かれるマッピングクラス群不変関数の族を導入することで、より高次のティーチミュラー理論へのマクシェーン恒等式の一般化を達成し、有限面積の穴あき凸実射影的表面および正の表面群表現について、マクシェーン型恒等式を確立する。主な貢献は、三重比や交比といった射影的不変量を用いた体系的な恒等式の定式化であり、スペクトル離散性、コラール補題、一般化されたサーストン距離への応用を含む。

ABSTRACT

We derive generalizations of McShane's identity for higher ranked surface group representations by studying a family of mapping class group invariant functions introduced by Goncharov and Shen which generalize the notion of horocycle lengths. In particular, we obtain McShane-type identities for finite-area cusped convex real projective surfaces by generalizing the Birman--Series geodesic scarcity theorem. More generally, we establish McShane-type identities for positive surface group representations with loxodromic boundary monodromy, as well as McShane-type inequalities for general rank positive representations with unipotent boundary monodromy. Our identities are systematically expressed in terms of projective invariants, and we study these invariants: we establish boundedness and Fuchsian rigidity results for triple and cross ratios. We apply our identities to derive the simple spectral discreteness of unipotent-bordered positive representations, collar lemmas, and generalizations of the Thurston metric.

研究の動機と目的

• PGL_n(R) における高ランクの表面群表現へ、古典的な双曲的設定を超えてマクシェーン恒等式を拡張すること。
• 有限面積の穴あき凸実射影的表面に対するバーマン＝リーズの測地線希少定理を一般化すること。
• ロキドロムィックまたはユニポテンツ境界モノドロミーを有する正の表現について、マクシェーン型恒等式および不等式を確立すること。
• 三重比や交比のような射影的不変量を研究し、それらの有界性とフクシアン剛性を証明すること。
• 恒等式を応用して、スペクトル離散性や一般化されたコラール補題を含む幾何的・スペクトル的性質を導出すること。

提案手法

• ゴンチャロフ＝シェンのポテンシャルを出発点として、フォック＝ゴンチャロフのAモジュライ空間上でのマッピングクラス群不変な正則関数の族を定義する。
• バーマン＝リーズの定理を適用し、穴あき凸実射影的表面における単純測地線の集合が測度ゼロであり、かつ全長が有限であることを示す。
• 射影的不変量（三重比と辺関数）を用いてマクシェーン型恒等式を確立し、クラスター代数の枠組みにおけるX座標で表現する。
• 表現空間上の幾何的および力学的制約を用いて、三重比と交比の有界性およびフクシアン剛性を証明する。
• 実射影的距離と補助的な双曲的距離との比較技術を用いて、単純長スペクトルの多項式的成長率を導出する。
• フィンスラーノルムとコンパクト部分集合における接ベクトルの一様な下界を用いて、表面の異なる距離間での長さを比較する。

実験結果

リサーチクエスチョン

• RQ1 正の表面群表現 PGL_n(R) における高次のティーチミュラー理論へ、マクシェーン恒等式を一般化することは可能か？
• RQ2 穴あき凸実射影的表面における単純閉測地線の数の漸近的成長率はいかほどか？
• RQ3 正の表現下での三重比や交比といった射影的不変量はどのように振る舞い、有界であるか、あるいは剛性を示すか？
• RQ4 一般化されたマクシェーン恒等式からどのような幾何的・スペクトル的性質を導出できるか？
• RQ5 ユニポテンツ境界モノドロミーを有する表現へ恒等式を拡張できるか。また、その結果として得られるスペクトル離散性の結果は何か？

主な発見

• 穴あき凸実射影的表面における非外周の単純閉測地線で長さがN未満のものの数は、N^{6g-6+2m} に漸近的に増加し、上界と下界を正の定数が覆う。
• 穴あき凸実射影的表面の単純長スペクトルは離散的である。なぜなら、有界長の相異なる単純測地線の列が存在すると、穴の貫通により矛盾が生じるからである。
• 正の表現に関連する三重比および交比は有界であり、フクシアン剛性を示す。つまり、これらはフクシアン表現でのみ極値値をとる。
• ロキドロムィック境界モノドロミーを有する正の表現について、マクシェーン型恒等式が確立され、ユニポテンツ境界モノドロミーを有する表現についてはマクシェーン型不等式が得られる。
• 恒等式により、ユニポテンツ境界を有する正の表現の単純スペクトル離散性が導かれる。これは高次のティーチミュラー理論における重要なスペクトル的性質を確認する。
• 恒等式から一般化されたコラール補題およびサーストン距離の拡張が導かれる。これは古典的双曲幾何の結果を実射影的設定へ拡張する。