[论文解读] The Torelli locus and special subvarieties

B.J. Moonen, Frans J. Oort|arXiv (Cornell University)|Dec 5, 2011

Algebraic Geometry and Number Theory参考文献 60被引用 58

一句话总结

本文研究了在主极化阿贝尔簇模空间中，特指希爾伯特-托雷利子簇（Torelli locus）内的特殊子簇——特别是希爾伯特-希爾伯特簇（Shimura varieties）。文章通过托雷利映射探讨了代数曲线与其雅可比簇之间的关系，分析了在托雷利子簇中已知的正维数特殊子簇的构造方法（主要来自阿贝尔覆叠），并讨论了科尔曼的有限性猜想和安德烈-奥尔特猜想等重要猜想。本文的核心贡献在于对现有知识、开放问题以及在低亏格以外存在此类子簇的几何障碍进行了综合梳理。

ABSTRACT

We study the Torelli locus T_g in the moduli space A_g of abelian varieties. We consider special subvarieties (Shimura subvarieties) contained in the Torelli locus. We review the construction of some non-trivial examples, and we discuss some conjectures, techniques and recent progress.

研究动机与目标

• 理解主极化阿贝尔簇模空间中托雷利子簇内特殊子簇（希爾伯特-希爾伯特簇）的结构与存在性。
• 分析托雷利映射及其像（即托雷利子簇）的几何与算术性质，尤其关注CM点与典范提升的关系。
• 在托雷利子簇的背景下，探究科尔曼猜想与安德烈-奥尔特猜想的有效性，特别是对于大亏格时，正维数特殊子簇是否可能完全位于托雷利子簇内。
• 探讨形式完备化与塞尔-塔特理论在判断普通阿贝尔簇的典范提升是否仍为雅可比簇中的作用，这是理解托雷利子簇局部结构的核心。
• 通过形变理论与提升结果的类比，比较托雷利子簇在托里型紧化边界处的行为与特殊子簇之间的差异。

提出的方法

• 利用从曲线模空间到阿贝尔簇模空间的托雷利映射，研究其像，即托雷利子簇。
• 应用希爾伯特-希爾伯特簇与特殊子簇的理论，后者被定义为辛群的代数子群作用轨道的像，以识别托雷利子簇内的子簇。
• 运用安德烈-奥尔特猜想及其推论，特别是CM点在特殊子簇中的稠密性，来分析托雷利子簇内子簇的结构。
• 利用塞尔-塔特理论分析正特征下普通阿贝尔簇的典范提升，重点考察此类提升是否仍为雅可比簇。
• 研究托雷利子簇在正特征下普通点处的形式完备化，以检测是否存在同构于形式子环面的平坦形式子概形，从而指示特殊子簇的存在。
• 将德沃克与奥古斯关于普通阿贝尔簇典范提升的结果，与阿德拉塔、弗雷泽内与范德普特关于退化曲线的研究进行比较，从形变行为与提升结果中寻找模空间边界处的类比。

实验结果

研究问题

• RQ1 对于 g > 3，科尔曼猜想预测：仅有有限多个亏格为 g 的复曲线，其雅可比簇为CM阿贝尔簇，该猜想是否成立？
• RQ2 在模空间 A_g 中，是否存在正维数的特殊子簇完全位于托雷利子簇 T_g 内，特别是当 g > 7 时？
• RQ3 在正特征下，托雷利子簇在普通点处的形式完备化是否包含一个与形式子环面微分同构的平坦形式子概形，从而指示特殊子簇的存在？
• RQ4 托雷利子簇在泰希米勒度量下是否为完全测地线子簇，或其是否根本不包含 A_g 中任何正维数的完全测地线子簇？
• RQ5 雅可比簇在正特征下的形变性质——尤其是典范提升——如何与托雷利子簇及其在托里型紧化边界处的几何结构相关联？

主要发现

• 科尔曼猜想对 g ∈ {4,5,6,7} 不成立，因为对 P^1 的阿贝尔覆叠的显式族可产生托雷利子簇中的正维数特殊子簇。
• 目前所有已知的托雷利子簇中正维数特殊子簇（g ≥ 4）均来自具有固定伽罗瓦群与单值群的阿贝尔覆叠族，仅分支点变化。
• 对于循环覆叠，在特定条件下，已证明不存在超出已知例子的额外此类族可产生特殊子簇。
• 德沃克与奥古斯已证明，正特征下普通阿贝尔簇的典范提升通常不是雅可比簇，表明托雷利子簇在普通点的正式邻域内并非线性。
• 在托里型紧化中，托雷利子簇的闭包在边界处非线性，而特殊子簇则表现出线性结构，暗示了根本性的几何差异。
• 阿德拉塔、弗雷泽内与范德普特的结果表明，退化曲线通常不能提升为雅可比簇，进一步支持托雷利子簇在形变下并不像特殊子簇那样封闭的观点。