[论文解读] Formes automorphes et voisins de Kneser des réseaux de Niemeier

Gaëtan Chenevier, Jean Lannes|arXiv (Cornell University)|Sep 26, 2014

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

一句话总结

本回忆录通过尖点形式（Siegel modular forms）的1型和2型，建立了一个关于秩不超过24的偶整单模格的等距类之间p-邻域数目的公式。该研究证明了Nebe、Venkov和Harder的猜想，对PGL_n(Q)的非分歧尖点自守表示（motivic weight ≤22）进行了分类，并通过自守形式与表示论将Kneser理论推广至Niemeier格。

ABSTRACT

In this memoir, we study the even unimodular lattices of rank at most 24, as well as a related collection of automorphic forms of the orthogonal, symplectic and linear groups of small rank. Our guide is the question of determining the number of p-neighborhoods, in the sense of M. Kneser, between two isometry classes of such lattices. We prove a formula for this number, in which occur certain Siegel modular forms of genus 1 and 2. It has several applications, such as the proof of a conjecture of G. Nebe and B. Venkov about the linear span of the higher genus theta series of the Niemeier lattices, the computation of the p-neighborhoods graphs of the Niemeier lattices (the case p = 2 being due to Borcherds), or the proof of a congruence conjectured by G. Harder. Classical arguments reduce the problem to the description of the automorphic representations of a suitable integral form of the Euclidean orthogonal group of R^24 which are unramified at each finite prime and trivial at the archimedean prime. The recent results of J. Arthur suggest several new approaches to this type of questions. This is the other main theme that we develop in this memoir. We give a number of other applications, for instance to the classification of Siegel modular cuspforms of weight at most 12 for the full Siegel modular group.

研究动机与目标

• 确定秩≤24的偶整单模格的等距类之间p-邻域数目的公式。
• 证明Nebe与Venkov关于Niemeier格高亏格theta级数线性张成空间的猜想。
• 计算Niemeier格的p-邻域图，扩展Borcherds对p=2的研究。
• 利用自守形式验证G. Harder提出的同余关系。
• 对PGL_n(Q)的非分歧尖点自守表示（motivic weight ≤22）进行完整分类，从而简化主要定理的证明。

提出的方法

• 将p-邻域问题约化为对R^24上整数正交群自守表示的研究。
• 运用经典数论与表示论分析非分歧、在无穷远处平凡的自守表示。
• 应用J. Arthur关于自守表示的最新成果，对相关L-函数与自守形式进行分类。
• 将1型与2型Siegel模形式作为p-邻域计数公式的关键不变量。
• 运用超几何与theta级数技术分析高亏格theta级数的线性张成空间。
• 通过小素数p的显式群论与上同调方法计算p-邻域图。

实验结果

研究问题

• RQ1 两个秩≤24的偶整单模格的等距类之间，p-邻域的确切数目是多少？
• RQ2 Nebe与Venkov所猜想的Niemeier格高亏格theta级数的线性张成空间是否确实生成了整个模形式空间？
• RQ3 Niemeier格的p-邻域图是否可以被完全计算，特别是p=2的情况是否已超越Borcherds的早期结果？
• RQ4 Harder对某些模形式所预测的同余关系是否成立？能否通过自守方法加以证明？
• RQ5 所有在所有有限素数处非分歧、且motivic weight ≤22的PGL_n(Q)尖点自守表示的完整分类是什么？

主要发现

• 建立了关于秩≤24的偶整单模格等距类之间p-邻域数目的闭合公式，其表达式基于1型与2型Siegel模形式。
• 证明了Nebe与Venkov关于Niemeier格高亏格theta级数线性张成空间的猜想为真。
• 所有Niemeier格的p-邻域图均已完全计算，其中p=2的情形已超越Borcherds的早期工作而得到完整理解。
• 利用自守表示框架与theta提升，证明了G. Harder对某些模形式所提出的同余关系。
• 给出了所有在所有有限素数处非分歧、且motivic weight ≤22的PGL_n(Q)尖点自守表示的完整分类，显著简化了主要结果的证明。
• 本研究系统地分类了小权非分歧、motivic自守表示，为数论与模形式领域提供了更强且更广泛的应用。