[论文解读] An automorphic form related to cubic surfaces

Richard E. Borcherds|ArXiv.org|Feb 10, 2000

Algebraic Geometry and Number Theory被引用 3

一句话总结

本文通过在复双曲4空间 $CH^4$ 上利用 $SL_2(\mathbb{Z})$ 上格 $M \cong A_2 \oplus A_2^4(-1)$ 的权 $-3$ 类型 $\rho_M$ 的向量值模形式，构造了与立方曲面相关的自守形式。关键结果是显式构造了一个判别式自守形式，其零点恰好对应立方曲面模空间的反射超平面，且每个零点的重数为一，方法是通过将限制在复双曲空间上的 Siegel 自守形式开立方根实现。

ABSTRACT

This is a note constructing a certain weight 4 automorphic form on the moduli space of cubic surfaces, posted here because it is referred to in math.AG/0002066

研究动机与目标

• 在复双曲4空间上构造一个自守形式，使其零点恰好为立方曲面模空间的反射超平面。
• 通过 $SL_2(\mathbb{Z})$ 上格 $M \cong A_2 \oplus A_2^4(-1)$ 的权 $-3$ 类型 $\rho_M$ 的向量值模形式实现该形式。
• 利用格及其自同构群的结构，确保自守形式在每个反射超平面上具有单零点。
• 通过 Koecher 有界性原理与 Borcherds 提升理论，确立此类形式的存在性。
• 在 $CH^4$ 上几何实现立方曲面模空间的判别式为一个全纯自守形式。

提出的方法

• 构造 $SL_2(\mathbb{Z})$ 上权 $-3$ 类型 $\rho_M$ 的向量值模形式 $f = \sum_{\gamma \in M'/M} e_\gamma f_\gamma(\tau)$，其分量 $f_{00}, f_0, f_1, f_2$ 依 $\gamma \in M'/M$ 的类型而定。
• 利用 $\tau \mapsto \tau+1$ 和 $\tau \mapsto -1/\tau$ 下的变换律，推导分量 $f_\gamma$ 的函数方程，涉及来自 $\text{Aut}(M)$-轨道表的内积与轨道计数。
• 通过 Dedekind eta 函数显式构造解：$f_{00}(\tau) = 24\eta(3\tau)^3\eta(\tau)^{-9}$，$f_0(\tau) = -3\eta(3\tau)^3\eta(\tau)^{-9}$，$f_1(\tau) = 0$，$f_2(\tau) = \eta(\tau/3)^3\eta(\tau)^{-9} + 3\eta(3\tau)^3\eta(\tau)^{-9}$。
• 应用 Borcherds 定理 13.3，将此模形式提升为对称空间上权为 12 的全纯自守形式 $\Psi$，其在 $M'$ 中范数为 $-2/3$ 的向量上具有零点。
• 将 $\Psi$ 限制在复双曲4空间 $CH^4$ 上，该空间位于 $M$ 的正定2维平面的格拉斯曼流形中，得到一个在每个反射超平面上具有三重零点的自守形式。
• 对限制后的形式取立方根，得到一个关于反射群 $G$ 的一维特征的自守形式，其零点恰好为反射超平面，且每个零点重数为一。

实验结果

研究问题

• RQ1 能否在复双曲4空间上构造一个自守形式，使其零点恰好为立方曲面模空间的反射超平面，且每个零点重数为一？
• RQ2 如何利用权 $-3$ 类型 $\rho_M$ 的向量值模形式，通过 Borcherds 理论构造此类判别式形式？
• RQ3 格 $M \cong A_2 \oplus A_2^4(-1)$ 在实现自守形式及其在 $SL_2(\mathbb{Z})$ 作用下的变换性质中起到何种作用？
• RQ4 分量 $f_{00}, f_0, f_1, f_2$ 的函数方程如何从 $M'/M$ 中的轨道结构与内积计数中导出？
• RQ5 立方根构造在将反射超平面上的零点重数从 3 降低到 1 的几何意义是什么？

主要发现

• 向量值模形式 $f$ 显式构造完成，其分量为 $f_{00}(\tau) = 24\eta(3\tau)^3\eta(\tau)^{-9}$，$f_0(\tau) = -3\eta(3\tau)^3\eta(\tau)^{-9}$，$f_1(\tau) = 0$，$f_2(\tau) = \eta(\tau/3)^3\eta(\tau)^{-9} + 3\eta(3\tau)^3\eta(\tau)^{-9}$，并满足所需的变换律。
• $M$ 的对称空间上的自守形式 $\Psi$ 权为 12，其值为 $f_{00}$ 的 $q^0$ 系数的一半，且由 Koecher 有界性原理保证在所有尖点处全纯。
• $\Psi$ 限制在复双曲4空间 $CH^4$ 上，产生一个在每个反射超平面上具有三重零点的自守形式，原因在于对称空间中这些超平面的三重覆盖。
• 限制后 $\Psi$ 的立方根是一个关于反射群 $G$ 的一维特征的自守形式，其零点恰好位于反射超平面上，且每个零点重数为一。
• 该构造证实了立方曲面模空间的判别式在 $CH^4$ 上实现为一个全纯自守形式，解决了模空间理论中的一个几何问题。
• 该解依赖于 Dedekind eta 函数的深刻数论恒等式，包括 $\eta(\tau)^3 = \sum_{n \in \mathbb{Z}} (4n+1)q^{(4n+1)^2/8}$ 和 $\eta(\tau/3)^3\eta(\tau)^{-9}$ 的立方和恒等式。