[论文解读] Higher Teichmüller Spaces: from SL(2,R) to other Lie groups

Marc Burger, Alessandra Iozzi+1 more|arXiv (Cornell University)|Apr 16, 2010

Geometric and Algebraic Topology参考文献 55被引用 26

一句话总结

本文将经典的阿廷-特希穆勒理论从$$\mathrm{PSL}(2,\mathbb{R})$$推广到高阶李群，引入了两类主要的高阶阿廷-特希穆勒空间：进入酉型李群（例如$\mathrm{Sp}(2n,\mathbb{R})$，$\mathrm{SU}(p,q)$）的最大表示空间，以及进入分裂实李群（例如$\mathrm{SL}(n,\mathbb{R})$）的希钦表示空间。研究证明，这些空间由最大托莱多不变量、具有正则性质的边界映射以及阿诺索夫结构所刻画，关键结果表明，最大表示空间可能包含具有混合若尔当代数分量的单值表示，表明其拓扑复杂性高于希钦分支。

ABSTRACT

The first part of this paper surveys several characterizations of Teichmüller space as a subset of the space of representation of the fundamental group of a surface into PSL(2,R). Special emphasis is put on (bounded) cohomological invariants which generalize when PSL(2,R) is replaced by a Lie group of Hermitian type. The second part discusses underlying structures of the two families of higher Teichmüller spaces, namely the space of maximal representations for Lie groups of Hermitian type and the space of Hitchin representations or positive representations for split real simple Lie groups.

研究动机与目标

• 将经典阿廷-特希穆勒理论从$\mathrm{PSL}(2,\mathbb{R})$推广到高阶李群，通过识别和刻画高阶阿京-特希穆勒空间。
• 定义并研究进入酉型李群的最大表示，利用上同调不变量（如托莱多数）和有界上同调。
• 通过边界映射和阿诺索夫性质，比较和对比最大表示与希钦表示的几何与动力结构。
• 研究高阶阿京-特希穆勒空间的拓扑与几何复杂性，特别是针对非紧致曲面和非分裂群的情形。
• 提出开放方向，包括为最大表示构造坐标系与量子化，以及探索非酉型、非分裂群在旗流形中的正则性。

提出的方法

• 使用有界上同调和托莱多不变量刻画有限类型曲面上的双曲结构，将经典不变量从$\mathrm{PSU}(1,1)$推广到高阶群。
• 将最大表示定义为实现最大可能托莱多数的表示，并通过中心扩张和平坦$G$-丛研究其性质。
• 应用旗流形上的边界映射和等变映射理论，引入正则性和因果性条件，以刻画高阶阿京-特希穆勒分支。
• 利用阿诺索夫表示框架分析单值表示，证明最大表示的小形变仍保持阿诺索夫性质。
• 利用最大表示的结构定理，将其与管型域和酉对称空间联系起来。
• 分析最大表示分支中单值元素的共轭类，揭示了不同连通分支中多样的若尔当代数分解。

实验结果

研究问题

• RQ1 经典阿京-特希穆勒空间（定义为$\mathrm{Hom}(\pi_1(S), \mathrm{PSU}(1,1))$的子集）如何推广到高阶李群？
• RQ2 哪些上同调不变量（如托莱多数、欧拉类）刻画了进入酉型李群的最大表示？
• RQ3 最大表示的动力与几何性质与希钦表示有何不同，特别是在边界映射和阿诺索夫结构方面？
• RQ4 能否通过较弱的正则性或因果性条件，将高阶阿京-特希穆勒空间推广到分裂实型和酉型之外的李群？
• RQ5 可以为最大表示空间（特别是$\mathrm{Sp}(2n,\mathbb{R})$）开发哪些坐标系与量子化方法？

主要发现

• 进入$\mathrm{Sp}(2n,\mathbb{R})$的最大表示空间中，存在连通分支使得简单闭合曲线的单值表示具有非平凡的抛物或椭圆分量，表明其结构复杂性超过希钦分支。
• 对于紧致曲面，托莱多数在沿一对裤形区域粘合时具有可加性，意味着最大表示空间可由裤形区域上的表示构建而成。
• 最大表示被刻画为最大托莱多不变量的水平集，且在拉格朗日子空间和旗流形上具有正则性质的边界映射。
• 有界上同调理论通过有界欧拉类和有界托莱多数，刻画了非紧致曲面上的双曲结构。
• 进入$\mathrm{GL}(n,\mathbb{R})$的阿诺索夫表示在小形变下保持稳定，且当存在正则性或循环序时，边界映射的像为可求长圆周。
• 进入$\mathrm{Sp}(2n,\mathbb{R})$的最大表示空间并非单一连通分支，而是包含多个具有不同单值类型成分的分支，如定理8.22所示。