[论文解读] Reflective modular forms in algebraic geometry

Valery Gritsenko|arXiv (Cornell University)|May 20, 2010

Advanced Algebra and Geometry参考文献 26被引用 28

一句话总结

本文证明，若存在高权的强反射模形式，则相应的模空间的 Kodaira 亏格 ≤ 0。通过雅可比提升，作者构造了三类此类形式——分别与根系 $D_8$、$3A_2$ 和 $4A_1$ 相关——得到了维度为 4、6 和 7 的新模空间，其 Kodaira 亏格为 0，并给出了 Borcherds-Enriques 形式 $Φ_4$ 与 Yoshikawa 的自守判别式之显式傅里叶展开。

ABSTRACT

We prove that the existence of a strongly reflective modular form of a large weight implies that the Kodaira dimension of the corresponding modular variety is negative or, in some special case, it is equal to zero. Using the Jacobi lifting we construct three towers of strongly reflective modular forms with the simplest possible divisor. In particular we obtain a Jacobi lifting construction of the Borcherds-Enriques modular form Phi_4 and Jacobi liftings of automorphic discriminants of the Kähler moduli of Del Pezzo surfaces constructed recently by Yoshikawa. We obtain also three modular varieties of dimension 4, 6 and 7 of Kodaira dimension 0.

研究动机与目标

• 基于除子最小性建立反射模形式的几何判据。
• 证明若存在高权的强反射模形式，则其对应模空间的 Kodaira 亏格 ≤ 0。
• 利用雅可比提升构造三类新的强反射模形式塔。
• 为关键自守形式（包括 $\Phi_4$ 与 Yoshikawa 的判别式）提供显式傅里叶展开。
• 提出通过加法雅可比提升构造此类形式的猜想。

提出的方法

• 通过基于 Koecher 原理与除子最小性的新几何判据，将反射模形式定义为具有最小除子的形式。
• 应用雅可比提升构造，从奇异权雅可比形式生成强反射模形式。
• 使用准拉回技术，将高秩形式与已知例子（如 $\Phi_{12}$ 与 $\Delta_5$）关联。
• 通过反射向量及其 Hirzebruch–Mumford 体积分析模空间的除子结构。
• 利用 Weyl 群与根系结构验证算术性及 Weyl 向量的存在性。
• 通过提升首项傅里叶–雅可比系数，推导出自守形式的显式傅里叶展开。

实验结果

研究问题

• RQ1 何种模形式的几何条件可推出其对应模空间的 Kodaira 亏格 ≤ 0？
• RQ2 Borcherds-Enriques 形式 $\Phi_4$ 与 Yoshikawa 的自守判别式能否通过雅可比提升构造？
• RQ3 Hirzebruch–Mumford 体积在度量反射除子的简洁性中起何作用？
• RQ4 是否所有具有最简除子的强反射模形式均可作为加法雅可比提升得到？
• RQ5 何种格条件可保证反射除子的根系存在 Weyl 向量与算术 Weyl 群？

主要发现

• 存在高权的强反射模形式意味着其对应模空间的 Kodaira 亏格 ≤ 0。
• 构造了三类维度为 4、6、7 且 Kodaira 亏格为 0 的新模空间，其为 Calabi–Yau 型。
• Borcherds-Enriques 形式 $\Phi_4$ 显式构造为权 1、指标 1 的雅可比形式的雅可比提升。
• Yoshikawa 的 Del Pezzo 曲面自守判别式 $\Phi_V$ 被实现为特定雅可比形式的雅可比提升。
• $4A_1$-塔包含 $\Delta_5$，即 Igusa 模形式（权 10）的平方根。
• 每个构造形式的除子均由具有最小 Hirzebruch–Mumford 体积的反射向量生成，表明其几何简洁性。