[论文解读] Siegel Modular Forms

Gerard van der Geer|ArXiv.org|May 12, 2006

Advanced Algebra and Geometry参考文献 67被引用 11

一句话总结

本文提出了一种新颖的方法，通过有限域上曲线的点计数，利用Eichler-Shimura同构计算2型向量值Siegel尖点形式上Hecke算子的迹。该方法为Harder关于2型Siegel模形式与椭圆模形式特征值之间同余关系的猜想提供了强有力的计算证据，验证了包括4057、3779和367在内的多个情形下模特定素数的同余关系。

ABSTRACT

Lectures on Siegel modular forms given in Nordfjordeid. Besides a survey on Siegel modular forms it presents the joint work with Carel Faber on vector-valued Siegel modular forms of genus 2 and it gives evidence for a conjecture of Harder on congruences between g=1 and g=2 forms.

研究动机与目标

• 开发一种计算2型向量值Siegel尖点形式上Hecke算子迹的计算方法。
• 为Harder关于2型Siegel模形式与椭圆模形式特征值之间同余关系的猜想提供证据。
• 证明在缺乏显式傅里叶系数公式的情况下，可通过有限域上的点计数有效计算Hecke特征值。
• 建立Abel簇模空间几何与Siegel模形式算术性质之间的联系。

提出的方法

• 利用Eichler-Shimura同构，通过有限域上曲线的有理点数计算向量值尖点形式上Hecke算子的迹。
• 该方法依赖于对定义在有限域上的2型曲线的有理点进行计数，以确定在素数p处Hecke算子的迹。
• 通过扩张域上的点计数重构Hecke算子在p处的特征多项式，从而实现特征值的计算。
• 将计算得到的特征值与椭圆模形式的特征值进行比较，以检验模素数的同余关系。
• 该方法应用于水平为1、权为(j,k)且j,k ≥ 1的情形，重点研究相关伽罗瓦表示未分歧的情况。
• 通过验证特定四次域中代数整数的范数可被预测素数整除，从而验证了方法的正确性。

实验结果

研究问题

• RQ1 2型向量值尖点形式上Hecke算子的迹是否与通过有限域上点计数计算出的迹一致？
• RQ2 Harder猜想所预测的2型Siegel模形式与椭圆模形式特征值之间是否存在同余关系？
• RQ3 能否通过有限域上的点计数有效计算主极化Abel簇模空间上局部系统上同调？
• RQ4 2型与1型模形式之间同余关系发生的精确素数是哪些？
• RQ5 由Hecke算子特征多项式导出的代数整数如何与相应数域的算术性质相关联？

主要发现

• 对于权(28,0)的归一化特征形式，特征值a(2) = -4140 ± 108√18209，且6216 + 72√25249 + 2^7 + 2^20 - a(2)的范数可被4057整除，证实了猜想。
• 在(j,k) = (18,7)的情形下，特征多项式g分解为两个四次因子，相关代数整数的范数可被3779整除，证实了模3779的同余关系。
• 对于(j,k,r) = (32,4,38)，发现了两个同余素数，且通过相关数域中的范数计算均得到验证。
• 该方法成功验证了从权(j,k)为(6,8)到(32,4)共25种不同情形下的同余关系，涉及的素数包括41、73、97、157、367、4289、593、15511和83。
• 对于(j,k) = (8,13)，特征多项式g分解为四个二次因子，该方法证实了表中列出的素数（包括61和211）的同余关系。
• 该方法为在多个权与水平下系统且可验证地检验Harder猜想提供了有效途径，所有结果均与猜想中的同余关系一致。