[論文レビュー] The classification of 2-reflective modular forms

Haowu Wang|arXiv (Cornell University)|Jun 25, 2019

Advanced Algebra and Geometry参考文献 30被引用数 8

ひとこと要約

本稿は、格子の任意のレベルに対して、ラティス指数を持つジャコビ形式を用いて2-反射的モジュラー形式の新しい分類を提示する。$L$ が2-根を持つ $2U \oplus L(-1)$ 型の格子で2-反射的モジュラー形式を許容するものはちょうど51個であることを証明し、符号 $(2,n)$ で $n \geq 14$ の場合、そのような格子はたった3つしか存在しないことを示し、平方自由なレベルを超えた反射的モジュラー形式の完全な分類を初めて達成した。

ABSTRACT

The classification of reflective modular forms is an important problem in the theory of automorphic forms on orthogonal groups. In this paper, we develop an approach based on the theory of Jacobi forms to give a full classification of 2-reflective modular forms. We prove that there are only 3 lattices of signature $(2,n)$ having 2-reflective modular forms when $n\geq 14$. We show that there are exactly 51 lattices of type $2U\oplus L(-1)$ which admit 2-reflective modular forms and satisfy that $L$ has 2-roots. We further determine all 2-reflective modular forms giving arithmetic hyperbolic 2-reflection groups. This is the first attempt to classify reflective modular forms on lattices of arbitrary level.

研究の動機と目的

• 任意のレベルの格子上の2-反射的モジュラー形式の完全な分類を提供すること。これは、平方自由なレベルを超えて未解決であった問題である。
• ジャコビ形式に基づく新しい手法を用いて、単模および平方自由レベルの格子を超えた反射的モジュラー形式の分類を拡張すること。
• 2-反射的モジュラー形式から生じる算術的双曲的2反射群を特定すること。
• 特に符号 $(2,13)$ および $(2,22)$ に対して、2-反射的格子の有限性と構造に関する未解決の予想を解消すること。

提案手法

• 反射的モジュラー形式を分析するために、ラティス指数を持つジャコビ形式の理論を用いる。ベクトル値モジュラー形式とジャコビ形式の間の同型を活用する。
• 重さ0、ラティス指数の弱正則ジャコビ形式の構造を用いて、ボルチャーツ積の存在を特徴付ける。
• 1次元のカスプにおけるフーリエ＝ジャコビ展開を分析することで、格子の除数および根系に関する情報を抽出する。
• 重要な式として、除数公式と重さ条件から導かれる関係 $ R = 120 + \frac{2}{\beta_0} R_1 $ が含まれる。
• 部分格子へのジャコビ形式のプルバックおよびインデックスに関するテーケ型作用素を用いて、異なる格子間での形式の分類を実施する。
• 特に $L$ が2-根を持つ場合の判別形式と根系制約からの境界を組み合わせることで、分類を完了する。

実験結果

リサーチクエスチョン

• RQ1 符号 $(2,13)$ の2-反射的格子、特に $L$ が2-根を持つ $2U \oplus L(-1)$ 型の格子は存在するか？
• RQ2 符号 $(1,20)$ の双曲的反射的格子が存在しないことから、符号 $(2,21)$ の反射的格子は存在するか？
• RQ3 符号 $(2,22)$ のすべての2-反射的格子は、$L$ が $2E_8 \oplus D_4$ の類に属する $2U \oplus L(-1)$ 型に限られるか？
• RQ4 $L$ が2-根を持たない $2U \oplus L(-1)$ 型のすべての2-反射的格子は、$ \operatorname{Norm}_2$ 条件を満たすリーク格子の原始的部分格子として分類可能か？
• RQ5 特異重さのボルチャーツ積は常に反射的であり、また、元の格子の有理数拡張上で反射的と見なせる条件は何か？

主な発見

• 2-根を持つ $L$ を持つ $2U \oplus L(-1)$ 型の格子で2-反射的モジュラー形式を許容するものはちょうど51個存在する。
• 符号 $(2,n)$ で $n \geq 14$ の場合、2-反射的モジュラー形式を許容する格子はたった3つである。
• $L$ 内の2-根の集合 $R_L$ は $|R_L| \geq 120$ を満たし、等号が成り立つのは $R_1(L) = 0$、すなわち $2v \in L$ を満たすノルム1のベクトルが存在しないときである。
• $\mathbb{R}^{20}$ は $R_L$ と $R_1(L)$ の和集合によって生成される。これは根系の幾何学的最大化を確認する。
• 分類により、$2U \oplus (2E_8 \oplus D_4)(-1)$ が符号 $(2,22)$ の唯一の最大の双曲的反射的格子であることが確認された。
• 本稿は、すべての特異重さのボルチャーツ積が適切な有理数拡張上で反射的であるという予想に対する強い証拠を提供する。