[论文解读] The classification of 2-reflective modular forms

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

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

一句话总结

本文利用格值的 Jacobi 形式，对任意水平的格上 2-反射模形式提出了一种类分。证明了恰好存在 51 个形如 $2U \oplus L(-1)$ 的格，其中 $L$ 具有 2-根，且允许存在 2-反射模形式；并表明在签名 $(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-反射模形式的完整分类，该问题此前在非平方自由水平之外尚未解决。
• 通过基于 Jacobi 形式的全新方法，将反射模形式的分类扩展至非单连通和非平方自由水平的格。
• 确定由 2-反射模形式产生的所有算术双曲 2-反射群。
• 解决关于 2-反射格的有限性与结构的开放猜想，特别是针对签名 $(2,13)$ 和 $(2,22)$ 的情况。

提出的方法

• 该方法利用格值 Jacobi 形式的理论来分析反射模形式，借助向量值模形式与 Jacobi 形式之间的同构关系。
• 利用权为 0 且具有格值的弱全纯 Jacobi 形式的结构，来刻画 Borcherds 乘积的存在性。
• 该方法涉及在单维尖点处分析 Fourier-Jacobi 展开，以提取关于格的除子和根系的信息。
• 关键方程包括由除子公式和权条件导出的关系式 $ R = 120 + \frac{2}{\beta_0} R_1 $。
• 通过将 Jacobi 形式限制到子格以及在指标上使用类似 Hecke 的算子，对不同格上的形式进行分类。
• 通过结合判别形式与根系约束的界，特别是针对具有 2-根的 $L$，完成分类。

实验结果

研究问题

• RQ1 是否存在签名 $(2,13)$ 的 2-反射格，特别是形如 $2U \oplus L(-1)$ 且 $L$ 具有 2-根的格？
• RQ2 在不存在签名 $(1,20)$ 的双曲反射格的前提下，是否存在签名 $(2,21)$ 的反射格？
• RQ3 每个签名 $(2,22)$ 的 2-反射格是否都具有 $2U \oplus L(-1)$ 的形式，其中 $L$ 属于 $2E_8 \oplus D_4$ 的整类？
• RQ4 所有类型为 $2U \oplus L(-1)$ 且 $L$ 不含 2-根的 2-反射格，是否都能被分类为满足 $\operatorname{Norm}_2$ 条件的 Leech 格的本原子格？
• RQ5 奇异权的 Borcherds 乘积是否总是反射的？在何种条件下可将其视为在原格的有理扩张上的反射形式？

主要发现

• 恰好存在 51 个形如 $2U \oplus L(-1)$ 且 $L$ 具有 2-根的格，允许存在 2-反射模形式。
• 对于签名 $(2,n)$ 且 $n \geq 14$ 的情况，仅有 3 个格允许存在 2-反射模形式。
• $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)$ 的唯一极大双曲反射格。
• 本文为一个猜想提供了有力证据：当在格的适当有理扩张上考虑时，所有奇异权的 Borcherds 乘积都是反射的。