[论文解读] MODULAR FORMS OF WEIGHT 8 FOR g(1,2)

Manabu Oura, Cris Poor+2 more|arXiv (Cornell University)|Jan 1, 2009

Advanced Algebra and Geometry参考文献 20被引用 1

一句话总结

本文通过证明Γ₁(1,2)上权8的Siegel尖形式的唯一性，完成了D'Hoker与Phong的Ansatz程序在亏格4的情形，确立了dim(S₄(1,2),8)₀ = 2且dim(S₄(1,2),8) = 7。通过构造满足Ansatz条件的theta级数的唯一线性组合，将该框架推广至亏格5，推进了高亏格Siegel模形式的分类研究。

ABSTRACT

We complete the program indicated by the Ansatz of D'Hoker and Phong in genus 4 by proving the uniqueness of the restriction to Jacobians of the weight 8 Siegel cusp forms satisfying the Ansatz. We prove dim( 4(1,2),8)0 = 2 and dim( 4(1,2),8) = 7. In each genus, we classify the linear relations among the self-dual lattices of rank 16. We extend the program to genus 5 by construct- ing the unique linear combination of theta series that satisfies the Ansatz.

研究动机与目标

• 通过证明Γ₁(1,2)上亏格4的权8 Siegel尖形式的唯一性，完成D'Hoker与Phong的Ansatz程序。
• 精确确定Γ₁(1,2)在亏格4下权8的Siegel尖形式空间的维数。
• 对亏格4与亏格5中秩16的自对偶格之间的线性关系进行分类。
• 通过构造满足所需条件的theta级数的唯一线性组合，将模形式Ansatz程序推广至亏格5。

提出的方法

• 分析权8的Siegel尖形式在雅可比簇上的限制，利用D'Hoker-Phong Ansatz框架。
• 应用维数公式与表示论方法，计算Γ₁(1,2)在亏格4下Siegel尖形式空间的维数。
• 利用格论与模形式技术，对秩16的自对偶格之间的线性关系进行分类。
• 在亏格5中构造唯一满足Ansatz条件的theta级数线性组合。
• 利用模形式与theta级数的结构，验证高亏格下的一致性与唯一性。

实验结果

研究问题

• RQ1 Γ₁(1,2)在亏格4下权8的Siegel尖形式空间的维数是多少？
• RQ2 在亏格4下，根据D'Hoker-Phong Ansatz，权8的Siegel尖形式在雅可比簇上的限制是否唯一？
• RQ3 秩16的自对偶格之间的线性关系如何约束亏格4与亏格5中模形式的结构？
• RQ4 Ansatz程序能否推广至亏格5？若能，满足该条件的theta级数的唯一线性组合是什么？
• RQ5 theta级数在构造满足高亏格Ansatz的模形式中起什么作用？

主要发现

• Γ₁(1,2)在亏格4下权8的Siegel尖形式空间的维数恰好为7。
• Γ₁(1,2)在亏格4下权8的、在雅可比簇上消失的尖形式空间的维数恰好为2。
• 本文在亏格4下确立了根据D'Hoker-Phong Ansatz，权8的Siegel尖形式在雅可比簇上的限制的唯一性。
• 在亏格4与亏格5中，秩16的自对偶格之间的线性关系已得到完全分类。
• 在亏格5中构造了一个唯一满足Ansatz条件的theta级数线性组合。
• 通过系统性构造与模形式性质的验证，成功将Ansatz推广至亏格5。