[论文解读] Maximal Sp(4,R) surface group representations, minimal immersions and cyclic surfaces

B. Collier|arXiv (Cornell University)|Mar 11, 2015

Algebraic Geometry and Number Theory参考文献 21被引用 8

一句话总结

该论文为每个最大 Sp(4,R) 表示（位于 2g−3 个例外连通分支，即 Gothen 分量）在闭合亏格 ≥2 的曲面上确立了唯一一个首选共形结构的存在性与唯一性。通过 Higgs 线丛理论与调和映射技术，证明了对每个此类表示，存在唯一一个共形结构，使得关联的 ρ-等变调和映射到 Sp(4,R)/U(2) 为极小浸入。这给出了映射类群不变的参数化，将这些分量视为 Teichmüller 空间上的纤维丛，不同于向量丛，并扩展了 Labourie 对 Hitchin 分量的结果。

ABSTRACT

Let $S$ be a closed surface of genus at least $2$. For each maximal representation $ρ: π_1(S) ightarrow\mathsf{Sp}(4,\mathbb{R})$ in one of the $2g-3$ exceptional connected components, we prove there is a unique conformal structure on the surface in which the corresponding equivariant harmonic map to the symmetric space $\mathsf{Sp}(4,\mathbb{R})/\mathsf{U}(2)$ is a minimal immersion. Using a Higgs bundle parameterization of these components, we give a mapping class group invariant parameterization of such components as fiber bundles over Teichmüller space. Unlike Labourie's recent results on Hitchin components, these bundles are not vector bundles.

研究动机与目标

• 通过为每个表示识别一个规范共形结构，恢复对最大 Sp(4,R) 曲面群表示研究中的映射类群对称性。
• 为特征簇 R(Sp(4,R)) 的 2g−3 个例外连通分支（即 Gothen 分量）提供一个映射类群不变的参数化。
• 确立在 Gothen 分量中最大表示的、使得 ρ-等变调和映射到对称空间 Sp(4,R)/U(2) 为极小浸入的共形结构的存在性与唯一性。
• 将 Labourie 对 Hitchin 分量的结果扩展至非 Hitchin 的最大分量，表明这些分量并非向量丛，而是 Teichmüller 空间上的纤维丛。

提出的方法

• 使用非交换 Hodge 对应关系，将曲面群表示与黎曼曲面上的 Sp(4,R)-Higgs 线丛联系起来。
• 应用 Corlette 定理，确保对每个共形结构均存在一个 ρ-等变调和映射。
• 利用 Higgs 线丛参数化，在 Teichmüller 空间上为 Gothen 分量构造纤维丛结构。
• 分析调和映射的 Hopf 微分以检测极小性，并利用条件：当且仅当映射为分支极小浸入时，其提升度量的 (2,0) 部分为零。
• 应用 Labourie（2014）的微分几何论证，通过能量泛函临界点分析，证明共形结构的全局唯一性。
• 利用循环曲面与 Pfaff 系统研究形变，并证明横截性，从而得出共形结构的唯一性。

实验结果

研究问题

• RQ1 对于 2g−3 个例外分量中的一个最大 Sp(4,R) 表示，是否存在唯一的曲面共形结构，使得关联的 ρ-等变调和映射到 Sp(4,R)/U(2) 为极小浸入？
• RQ2 能否通过为每个表示关联一个规范共形结构，使 Gothen 分量的参数化恢复映射类群对称性？
• RQ3 Gothen 分量在 Teichmüller 空间上的纤维丛参数化是否为向量丛，还是具有更复杂的结构？
• RQ4 循环曲面及其形变的几何性质如何与调和映射为极小浸入的共形结构的唯一性相关？

主要发现

• 对每个最大表示 ρ ∈ Rd(Sp(4,R))，其中 g−1 < d ≤ 3g−3，存在唯一的共形结构 (S, Jρ)，使得 ρ-等变调和映射 hρ: eΣ → Sp(4,R)/U(2) 为极小浸入。
• 此类表示的空间 Rd(Sp(4,R)) 被光滑参数化为 Teichmüller 空间上的纤维丛，每个共形结构的纤维为使得调和映射为极小的表示集合。
• 该参数化在映射类群作用下不变，为 Gothen 分量提供了规范且几何定义的结构。
• 该纤维丛结构并非向量丛，从而与 Labourie 对 Hitchin 分量的参数化相区别。
• 通过循环曲面与 Pfaff 系统的形变理论，利用单参数族中共形结构导数的消失，确立了共形结构的局部唯一性。
• 通过将一般微分几何准则（定理 7.7）应用于能量泛函，证明了全局唯一性：每个表示恰好对应一个使能量最小化的共形结构，该共形结构对应于极小浸入。