[論文レビュー] 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

ひとこと要約

この回顧録は、1次および2次のシーゲルモジュラー形式を用いて、ランク24以下の偶標数ユニモジュラー格子の等長類間のp-近傍の数の公式を確立する。ネーブとヴェンコフ、ハーダーの予想を証明し、PGL_n(Q)の非分岐尖域自動形式表現をモチーフ的重み≤22で分類し、Kneser理論を自動形式および表現論を用いてニエマイヤー格子へ拡張する。

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-近傍の数を特定すること。
• ネーブとヴェンコフによるニエマイヤー格子の高 genus テータ級数の線形包の予想を証明すること。
• ニエマイヤー格子のp-近傍グラフを計算し、ボルヒャーツのp=2の場合の結果を拡張すること。
• G. ハーダーが予想した合同式を自動形式を用いて証明すること。
• モチーフ的重み≤22で、すべての有限素数で非分岐であるPGL_n(Q)の尖域自動形式表現を完全に分類すること。主定理の証明を簡略化すること。

提案手法

• R^24の整数的直交群の自動形式表現の研究に帰着することで、p-近傍問題を簡略化する。
• 古典的数論および表現論を用いて、無限遠で自明な非分岐自動形式表現を分析する。
• J. アーバートの最近の自動形式に関する結果を応用し、関連するL関数および形式を分類する。
• 1次および2次シーゲルモジュラー形式を、p-近傍数の公式における主要な不変量として用いる。
• 超幾何級数およびテータ級数の技法を用いて、高 genus テータ級数の線形包を分析する。
• 小さな素数pに対して、明示的な群論的およびコhomオロジー的技法を用いてp-近傍グラフを計算する。

実験結果

リサーチクエスチョン

• RQ1 ランク≤24の偶標数ユニモジュラー格子の2つの等長類間のp-近傍の正確な数は何か？
• RQ2 ネーブとヴェンコフの予想によれば、ニエマイヤー格子の高 genus テータ級数の線形包は、すべてのモジュラー形式の空間を生成するが、これは正しいか？
• RQ3 ニエマイヤー格子のp-近傍グラフは完全に計算可能か。特にボルヒャーツの結果を超えてp=2の場合を完全に理解できるか？
• RQ4 ハーダーが特定のモジュラー形式に対して予想した合同式は成立するか。自動形式的手法を用いて証明可能か？
• RQ5 すべての有限素数で非分岐で、モチーフ的重み≤22であるPGL_n(Q)の尖域自動形式表現は、どのように完全に分類できるか？

主な発見

• ランク≤24の偶標数ユニモジュラー格子の等長類間のp-近傍の数に対する閉じた公式が確立され、1次および2次シーゲルモジュラー形式を用いて表現される。
• ネーブとヴェンコフによるニエマイヤー格子の高 genus テータ級数の線形包に関する予想が真であると証明された。
• すべてのニエマイヤー格子のp-近傍グラフが完全に計算され、p=2の場合がボルヒャーツの先行研究を超えて完全に理解された。
• G. ハーダーが特定のモジュラー形式に対して予想した合同式が、自動形式表現およびテータリフトの枠組みを用いて証明された。
• すべての有限素数で非分岐で、モチーフ的重み≤22であるPGL_n(Q)の尖域自動形式表現が完全に分類され、主定理の証明が著しく簡略化された。
• 本研究は、小スケールの重みの非分岐でモチーフ的自動形式表現の体系的分類を提供し、数論およびモジュラー形式分野におけるより強力で一般性の高い応用を可能にした。