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

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

Algebraic Geometry and Number Theory被引用 4

一句话总结

该论文证明，对于亏格 g ≥ 2 的曲面的 Sp(4,R) 表示丛中每个 2g−3 个极大分支，均存在唯一的共形结构，使得相关的等变调和映射到对称空间 Sp(4,R)/U(2) 成为极小浸入。通过 Higgs 纤维丛参数化方法，作者在 Teichmüller 空间上构建了一个映射类群不变的纤维丛结构，该结构不同于向量丛，从而为这些极大分支提供了几何分类。

ABSTRACT

Let $S$ be a closed surface of genus at least $2$. In this paper we prove that for the $2g-3$ maximal components of the $\mathsf{Sp}(4,\mathbb{R})$ character variety which contain only Zariski dense representations, there is a unique conformal structure on the surface so that 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\uller space. Unlike Labourie's recent results on the Hitchin components, these bundles are not vector bundles.

研究动机与目标

• 刻画 Sp(4,R) 表示丛中仅包含 Zariski 稠密表示的极大分支。
• 确定亏格 g ≥ 2 的曲面上，使得等变调和映射到 Sp(4,R)/U(2) 成为极小浸入的唯一共形结构。
• 为这些极大分支提供一个映射类群不变的参数化，将其表示为 Teichmüller 空间上的纤维丛。
• 将这些纤维丛与向量丛区分开，与 Labourie 关于 Hitchin 分支的结果形成对比。

提出的方法

• 利用 Higgs 纤维丛理论对 Sp(4,R) 表示丛的极大分支进行参数化。
• 分析从曲面的万有覆盖到对称空间 Sp(4,R)/U(2) 的等变调和映射。
• 通过变分法与几何技巧，证明在特定共形结构下调和映射的极小性。
• 利用 Higgs 纤维丛参数化，在 Teichmüller 空间上构造纤维丛结构。
• 证明所得纤维丛并非向量丛，这与 Hitchin 分支情况不同。
• 利用映射类群不变性，确保在 Teichmüller 空间中几何结构的一致性。

实验结果

研究问题

• RQ1 在亏格 g ≥ 2 的曲面上，哪些共形结构使得到 Sp(4,R)/U(2) 的等变调和映射成为极小浸入？
• RQ2 如何对 Sp(4,R) 表示丛的 2g−3 个极大分支进行几何参数化？
• RQ3 这些极大分支在 Teichmüller 空间上的纤维丛结构具有何种性质？
• RQ4 为何这些纤维丛不是向量丛？这与 Hitchin 分支情况有何不同？
• RQ5 Higgs 纤维丛参数化在识别唯一极小浸入结构中起到何种作用？

主要发现

• 对于每个 2g−3 个极大分支，在亏格 g ≥ 2 的曲面上均存在唯一的共形结构，使得到 Sp(4,R)/U(2) 的等变调和映射成为极小浸入。
• 这些极大分支被参数化为映射类群不变的 Teichmüller 空间上的纤维丛。
• 所构造的纤维丛并非向量丛，这与 Labourie 在 Hitchin 分支中的研究结果形成鲜明对比。
• Higgs 纤维丛框架通过对称空间中极小曲面的几何分类，实现了对这些极大分支的几何刻画。
• 极小浸入条件在每个极大分支内唯一确定了共形结构。
• 对称空间 Sp(4,R)/U(2) 作为研究与极大 Sp(4,R) 表示相关的极小曲面的自然目标空间。