[论文解读] Reduction mod $\ell$ of Theta Series of Level $\ell^n$

Nils-Peter Skoruppa|ArXiv.org|Jul 29, 2008

Advanced Mathematical Identities参考文献 1被引用 5

一句话总结

本文通过格的算术与代数性质，而非模形式理论，证明了任意素数 ℓ 的幂次为水平的偶整格的 theta 系数在模 ℓ 意义下同余于一个水平为 1、权为 e(L)/2 的模形式。关键结果揭示了格的 theta 系数与经典模形式之间深刻的同余关系，其应用涵盖单模格及其自同构。

ABSTRACT

It is proved that the theta series of an even lattice whose level is a power of a prime $\ell$ is congruent modulo $\ell$ to an elliptic modular form of level~1. The proof uses arithmetic and algebraic properties of lattices rather than methods from the theory of modular forms. The methods presented here may therefore be especially pleasing to those working in the theory of quadratic forms, and they admit generalizations to more general types of theta series as they occur e.g. in the theory of Siegel or Hilbert modular forms.

研究动机与目标

• 建立偶格在 ℓ^n 水平下 theta 系数与水平为 1 的模形式在模 ℓ 意义下的同余关系。
• 提供一种基于格理论的证明——避免使用标准的模形式技术——来证明该同余关系。
• 将结果推广至更广泛的 theta 系数类，包括 Siegel 或 Hilbert 模形式中的情形。
• 探讨此类同余关系与单模格中 ℓ 幂阶自同构存在的联系。
• 支持一种推测：高权的极值模形式可能源自具有大素数阶自同构的格。

提出的方法

• 利用偶格的 Gram 矩阵的初等因子定义 e(L)，即目标模形式的权。
• 应用格论工具，如格的水平（定义为最小的 l，使得 lG⁻¹ 为整矩阵且对角线元素为偶数）。
• 使用形式幂级数的朴素同余：θ_L ≡ f mod ℓ，其中 f 的系数属于 ℤ[[q]]。
• 分析实二次域中理想类的结构，以证明某些范数集包含于局部环的单位群中。
• 运用狄利克雷素数定理与二次互反律，控制范数在模 ℓ 意义下的行为。
• 证明在模 ℓf 的任意类群中的每个射影类中，均存在一个理想，其范数属于某个局部环的单位群，从而确保合适代表元的存在。

实验结果

研究问题

• RQ1 偶格在 ℓ^n 水平下，其 theta 系数是否在模 ℓ 意义下同余于水平为 1 的模形式？
• RQ2 该 theta 系数同余于水平为 1 的模形式的精确权是多少？
• RQ3 若存在 θ_L ≡ f mod ℓ，是否意味着格 L 上存在 ℓ 的幂阶自同构？
• RQ4 该同余关系能否从二元形式推广至更高秩格及其他类型的 theta 系数？
• RQ5 该同余关系与实二次域中射影类群的结构是否存在联系？

主要发现

• 任意偶整格在 ℓ^n 水平下，其 theta 系数在模 ℓ 意义下同余于一个水平为 1、权为 e(L)/2 且具有整傅里叶系数的模形式 f。
• 对于判别式为 −ℓ 的二元型 [a,b,c]，theta 系数 θ_[a,b,c] 在模 ℓ 意义下同余于权为 (ℓ+1)/2 的极值模形式。
• 同余关系 θ_[1,1,2] ≡ E₄ mod 7 成立，其中 E₄ 为权 4 的埃斯滕斯坦系列。
• 同余关系 θ_[2,1,3] ≡ E₄³ − 720Δ mod 23 成立，其中 Δ 为模判别式。
• 对于 θ_[4,3,5]，同余关系为 E₄⁹ − 2160E₄⁶Δ + 965520E₄³Δ² − 27302400Δ³ mod 71，与权 36 的极值形式完全匹配。
• 该证明表明，若存在权 k 的极值模形式，则其可能源自具有 ℓ = 2k−1 阶自同构的格，如已知的李查格（Leech lattice）所示。