[论文解读] The moduli space of (1,11)-polarized abelian surfaces is unirational

Mark Gross, Sorin Popescu|ArXiv.org|Feb 2, 1999

Algebraic Geometry and Number Theory参考文献 20被引用 4

一句话总结

本文证明了具有典范型水平结构的(1,11)-极化阿贝尔曲面的模空间与P⁴中的克莱因三次曲面双有理等价，从而确立了其亏格有理性。该结果表明Γ₁₁-尖点形式在权3时不存在，并为模空间A₉^lev的有理性提供了新的证明。

ABSTRACT

We prove that the moduli space A_{11}^{lev} of (1,11) polarized abelian surfaces with level structure of canonical type is birational to Klein's cubic hypersurface: a^2b+b^2c+c^2d+d^2e+e^2a=0 in P^4. Therefore, A_{11}^{lev} is unirational but not rational, and there are no Gamma_{11}-cusp forms of weight 3. The same methods also provide an easy proof of the rationality of A_{9}^{lev}.

研究动机与目标

• 确定具有水平结构的(1,11)-极化阿贝尔曲面模空间A₁₁^lev的双有理几何性质。
• 研究该模空间是否为有理或亏格有理的，并解决Γ₁₁在权3时尖点形式的存在性问题。
• 将用于证明A₉^lev有理性的方法扩展至A₁₁^lev这一更复杂的情形。
• 在模空间与一个著名代数簇——克莱因三次曲面之间建立几何联系。

提出的方法

• 在模空间A₁₁^lev与P⁴中由方程a²b + b²c + c²d + d²e + e²a = 0定义的克莱因三次曲面之间构造一个双有理映射。
• 利用阿贝尔曲面上水平结构与典范极化的理论来参数化模空间。
• 应用代数几何中的技术，包括θ特征与(1,11)型线丛的研究。
• 利用克莱因三次曲面的对称性与奇点来分析模空间的有理性质。
• 采用与先前证明A₉^lev有理性时相同的框架方法来分析A₁₁^lev。
• 使用计算代数工具（Macaulay2代码与PostScript文件）验证几何构造与对称性。

实验结果

研究问题

• RQ1 模空间A₁₁^lev是否为(1,11)-极化阿贝尔曲面的亏格有理的？
• RQ2 模空间A₁₁^lev的双有理类是什么？它与已知代数簇有何关系？
• RQ3 是否存在Γ₁₁-尖点形式在权3？这对其模空间A₁₁^lev的几何性质有何含义？
• RQ4 此前用于证明A₉^lev有理性的方法能否推广至A₁₁^lev？
• RQ5 在阿贝尔曲面模空间的背景下，克莱因三次曲面具有何种意义？

主要发现

• 模空间A₁₁^lev与P⁴中由方程a²b + b²c + c²d + d²e + e²a = 0定义的克莱因三次曲面双有理等价。
• 因此，A₁₁^lev是亏格有理的，但由于克莱因三次曲面本身非有理，故A₁₁^lev并非有理的。
• 不存在Γ₁₁-尖点形式在权3，这由亏格有理性及模空间的几何性质所暗示。
• 本证明中采用的相同技术可导出A₉^lev有理性的全新简化证明。
• 与具有高度对称性的超曲面的双有理等价为A₁₁^lev的亏格有理性提供了几何解释。
• 该结果揭示了阿贝尔曲面模空间与克莱因三次曲面等经典代数簇之间深刻的联系。