[论文解读] Shimura- and Teichmueller curves

Martin Moeller|arXiv (Cornell University)|Jan 20, 2005

Algebraic Geometry and Number Theory参考文献 15被引用 5

一句话总结

本文分类了模空间 $M_g$ 中既是阿廷曲线又是希米曲面的泰希米勒曲线，表明此类 ST-曲线仅存在于亏格 $g=3$ 和 $g=4$，且每种亏格恰好各有一条，而在 $g=2$ 或 $g\geq6$ 时则不存在。该分类依赖于霍奇理论分析、平方铺覆盖的平坦几何以及李亚普诺夫谱的退化性，最终将 ST-曲线与李亚普诺夫谱完全退化的曲线联系起来。

ABSTRACT

We classify curves in the moduli space of curves that are both Shimura- and Teichmueller curves: Except for the moduli space of genus one curves there is only a single such curve. We start with a Hodge-theoretic description of Shimura curves and of Teichmueller curves that reveals similarities and differences of the two classes of curves. The proof of the classification relies on the geometry of square-tiled coverings and on estimating the numerical invariants of these particular fibered surfaces. Finally we translate our main result into a classification of Teichmueller curves with totally degenerate Lyapunov spectrum.

研究动机与目标

• 对 $M_g$ 中既是泰希米勒曲线又是希米曲面的代数曲线（ST-曲线）进行分类。
• 理解作为泰希米勒曲线和希米曲面的双重性质对几何与霍奇理论所施加的约束。
• 通过其霍奇结构与单值群，表征具有完全退化李亚普诺夫谱的泰希米勒曲线。
• 基于组合与几何约束，解决 $g=5$ 时 ST-曲线的存在性问题，推测其不存在。
• 将李亚普诺夫指数的退化性与底层曲线族的代数性及算术结构联系起来。

提出的方法

• 通过霍奇理论表征泰希米勒与希米曲面，利用霍奇结构变化（VHS）中的最大希格斯子局部系统及其单位酉补空间。
• 应用基于与 $\mathrm{SL}_2(\mathbb{Z})$ 共轭的仿射群的平方铺覆盖所生成的泰希米勒曲线的分类。
• 通过纤维化曲面中的奇异纤维与退化类型分析，利用数值不变量约束可能的 ST-曲线。
• 利用泰希米勒测地流的李亚普诺夫谱，将 ST-曲线表征为李亚普诺夫谱完全退化的曲线（除最高和最低指数外其余全为零）。
• 利用测地流的遍历性及李亚普诺夫指数的消失，推导出最大希格斯子局部系统正交补的单位酉性。
• 应用 Forni（2002, 2006）与 Avila-Viana（2007）关于李亚普诺夫指数与霍奇范数的结果，将谱的退化性与阿贝尔簇族中的固定部分联系起来。

实验结果

研究问题

• RQ1 哪些亏格 $g$ 允许在 $M_g$ 中存在既是泰希米勒曲线又是希米曲面的代数曲线？
• RQ2 当此类曲线存在时，其精确的几何与霍奇理论结构为何？
• RQ3 李亚普诺夫谱的退化性如何与曲线族的算术性及单值性属性相关联？
• RQ4 能否基于组合与几何约束排除 $g=5$ 时 ST-曲线的存在性？
• RQ5 变化霍奇结构（VHS）的哪些性质会强制族分裂出一个固定部分，从而暗示其具有希米结构？

主要发现

• 在 $g=2$ 和 $g\geq6$ 时，$M_g$ 中不存在 ST-曲线。
• 在 $g=3$ 时，恰好存在一条 ST-曲线，其为 $\mathbb{P}^1\setminus\{0,1,\infty\}$ 上的普遍族 $y^4 = x(x-1)(x-t)$。
• 在 $g=4$ 时，恰好存在一条 ST-曲线，其为 $\mathbb{P}^1\setminus\{0,1,\infty\}$ 上的普遍族 $y^6 = x(x-1)(x-t)$。
• 该 $g=3$ 曲线的李亚普诺夫谱为 $\{\pm1, 0, 0\}$，$g=4$ 曲线的李亚普诺夫谱为 $\{\pm1, 0, 0, 0\}$，表明其完全退化。
• ST-曲线正是那些李亚普诺夫谱完全退化的泰希米勒曲线，如所有除最高和最低指数外的指数为零所示。
• 在有限基变换后，雅可比簇族中存在一个维数为 $g-1$ 的固定部分，这一性质表征了 ST-曲线，从而确认其希米性质。