[论文解读] The Remark on Discriminants of K3 Surfaces Moduli as Sets of Zeros of Automorphic Forms

Viacheslav V. Nikulin|ArXiv.org|Dec 29, 1995

Advanced Algebra and Geometry参考文献 11被引用 17

一句话总结

本文证明了对于任意 $ N > 0 $，存在一个偶数 $ n > N $，使得度数为 $ n $ 的K3曲面模空间的判别式不是其对应类型IV域上任何自守形式的零点集。文章建立了判别式为某类自守形式零点集的皮卡形式 $ S \subset L_{K3} $ 的必要条件，并猜想当 $ \text{rk}~S \leq 17 $ 时，仅有有限多个此类 $ S $ 存在，该猜想与镜像对称及洛伦兹型Kac–Moody代数相关联。

ABSTRACT

We show that for any $N>0$ there exists a natural even $n>N$ such that the discriminant of moduli of K3 surfaces of the degree $n$ is not equal to the set of zeros of any automorphic form on the corresponding IV type domain. We give the necessary condition on a "condition $S\subset L_{K3}$ on Picard lattice of K3'' for the corresponding moduli $\M_{S\subset L_{K3}}$ of K3 to have the discriminant which is equal to the set of zeros of an automorphic form. We conjecture that the set of $S\subset L_{K3}$ satisfying this necessary condition is finite if $ k S \le 17$. We consider this finiteness conjecture as "mirror symmetric'' to the known finiteness results for arithmetic reflection groups in hyperbolic spaces and as important for the theory of Lorentzian Kac--Moody algebras and the related theory of automorphic forms.

研究动机与目标

• 研究K3曲面模空间的判别式是否可实现为类型IV域上自守形式的零点集。
• 确定判别式为该类零点集时，皮卡形式 $ S \subset L_{K3} $ 的必要条件。
• 提出当 $ \text{rk}~S \leq 17 $ 时，仅有有限多个此类 $ S $ 存在的猜想，并将其与镜像对称及算术反射群联系起来。
• 将此类判别式的有限性与洛伦兹型Kac–Moody代数及自守形式理论相联系。

提出的方法

• 构造一个签名为 $ (2,k) $，$ k \geq 2 $ 的原生子格 $ T_1 \subset L $，其不含 $ (-2) $-类，也无秩2的迷向子格。
• 利用在 $ S_1 $ 和 $ T_1 $ 上的正交投影 $ \pi_{S_1} $ 与 $ \pi_{T_1} $，其中 $ S_1 = T_1^{\perp} $，分析判别式轨迹的结构。
• 分析 $ S_1 \otimes \mathbb{R} $ 中满足 $ h^2 > N $ 的有理射线 $ \mathbb{R}_{++}h $ 的集合，证明其在该空间中的稠密性，以及对所有满足 $ \delta^2 = -2 $ 的 $ \delta $，超平面 $ \mathcal{H}_{\pi_{S_1}(\delta)} $ 的局部有限性。
• 基于 $ S_1 $ 的正锥中所有超平面 $ \mathcal{H}_{\pi_{S_1}(\delta)} $ 的并集的补集非空，应用几何论证构造反例。
• 推导出 $ S \subset L $ 的必要条件，使得判别式为自守形式的零点集，涉及与 $ \delta \in \Delta^{(2)}(S_1 \subset L) $ 的正交性。
• 提出当 $ \text{rk}~S \leq 17 $ 时的有限性猜想，其动机来自镜像对称，并与 $ 2 $-反射性格的性质类比。

实验结果

研究问题

• RQ1 在何种皮卡形式条件 $ S \subset L_{K3} $ 下，K3曲面模空间的判别式等于类型IV域上自守形式的零点集？
• RQ2 对于任意大的偶数 $ n $，度数为 $ n $ 的K3曲面模空间的判别式是否可实现为自守形式的零点集？
• RQ3 判别式为该类零点集时，$ S \subset L_{K3} $ 的必要几何与算术条件是什么？
• RQ4 在 $ \text{rk}~S \leq 17 $ 条件下，使得判别式为自守形式零点集的 $ S \subset L_{K3} $ 的集合是否在同构意义下有限？
• RQ5 该有限性猜想与洛伦兹型Kac–Moody代数及算术反射群理论有何关联？

主要发现

• 对于任意 $ N > 0 $，存在一个偶数 $ n > N $，使得度数为 $ n $ 的K3曲面模空间的判别式不是任何自守形式的零点集。
• 判别式为自守形式零点集的必要条件是：对任意满足 $ \text{rk}~S_1 \leq 18 $ 的 $ S_1 \supset S $，其正交补 $ T_1 = S_1^{\perp} $ 必须包含一个 $ (-2) $-类 $ \delta $，使得 $ S \cdot \delta = 0 $。
• 若 $ \text{rk}~S = 18 $ 且 $ T $ 包含一个秩1的迷向子格，则判别式为零点集当且仅当 $ T $ 包含一个 $ (-2) $-类或一个秩2的迷向子格。
• 若 $ \text{rk}~S = 19 $，判别式总是某个自守形式的零点集，因为 $ \dim \Omega(S \subset L) = 1 $。
• $ 2 $-反射性格的集合在 $ \text{rk}~S \geq 3 $ 时是有限的，本文猜想K3模空间判别式的镜像对称有限性。
• 本文提出一个猜想：当 $ \text{rk}~S \leq 17 $ 时，仅有有限多个 $ S \subset L_{K3} $ 使得其判别式为自守形式的零点集，该猜想与算术反射群中的已知有限性结果形成对偶。