[论文解读] 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

一句话总结

本文通过引入源自 Goncharov–Shen 潜能的映射类群不变函数族，将 McShane 恒等式推广至高阶 Teichmüller 理论，为具有有限面积尖点的凸实射影曲面及正曲面群表示建立了 McShane 型恒等式。核心贡献在于以三重比和交比等射影不变量系统地表述恒等式，其应用涵盖谱离散性、毛领引理及广义 Thurston 度量。

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.

研究动机与目标

• 将 McShane 恒等式从经典双曲设定推广至 PGL_n(R) 中的高阶曲面群表示。
• 将 Birman–Series 测地线稀少定理推广至具有有限面积尖点的凸实射影曲面。
• 为具有双曲或幂等边界单值表示的正表示建立 McShane 型恒等式与不等式。
• 研究射影不变量（如三重比与交比），证明其有界性与 Fuchsian 刚性。
• 应用恒等式推导几何与谱性质，包括谱离散性与广义毛领引理。

提出的方法

• 以 Goncharov–Shen 潜能为起点，在 Fock–Goncharov A-模空间上定义映射类群不变的正则函数族。
• 应用 Birman–Series 定理，证明尖点凸实射影曲面上简单测地线的集合具有零测度且总长度有限。
• 利用射影不变量（三重比与边函数）建立 McShane 型恒等式，其表达式基于丛代数框架中的 X-坐标。
• 通过表示空间上的几何与动力学约束，证明三重比与交比的有界性与 Fuchsian 刚性。
• 通过实射影度量与辅助双曲度量之间的比较技术，推导简单长度谱的多项式增长速率。
• 利用 Finsler 范数与紧子集上切向量的统一下界，比较曲面上不同度量下的长度。

实验结果

研究问题

• RQ1 McShane 恒等式能否推广至 PGL_n(R) 中正曲面群表示的高阶 Teichmüller 理论？
• RQ2 尖点凸实射影曲面上简单闭测地线数量的渐近增长速率如何？
• RQ3 在正表示下，三重比与交比等射影不变量的行为如何？它们是否具有有界性或刚性？
• RQ4 从广义 McShane 恒等式中可推导出哪些几何与谱性质？
• RQ5 恒等式能否推广至具有幂等边界单值的表示？其谱离散性结果如何？

主要发现

• 在具有尖点的凸实射影曲面上，长度小于 N 的非外围简单闭测地线数量渐近增长为 N^{6g-6+2m}，其上下界由正常数控制。
• 尖点凸实射影曲面的简单长度谱是离散的，因为任意一列长度有界的互异简单测地线序列都会因尖点穿透而产生矛盾。
• 与正表示相关的三重比与交比具有有界性，并表现出 Fuchsian 刚性，即仅在 Fuchsian 表示中取极值。
• 为具有双曲边界单值的正表示建立了 McShane 型恒等式，为具有幂等边界单值的表示建立了 McShane 型不等式。
• 恒等式导出了具有幂等边界单值的正表示的简单谱离散性，确认了高阶 Teichmüller 理论中的关键谱性质。
• 从恒等式中推导出广义毛领引理与 Thurston 度量的推广，将经典双曲几何结果扩展至实射影设定。