[论文解读] Irregular cusps of orthogonal modular varieties

Shouhei Ma|arXiv (Cornell University)|Jan 8, 2021

Advanced Algebra and Geometry参考文献 18被引用 4

一句话总结

本文研究正交模簇中的不规则尖点，其中傅里叶展开的格子小于平移格子，影响了Kodaira维数的计算。通过利用零点阶条件，本文建立了适用于一般型模簇的尖形式判别准则，表明不规则尖点极为罕见——仅出现在特定的偶格子上，其判别群为 $\mathbb{Z}/8 \oplus (\mathbb{Z}/2)^a$ 或 $(\mathbb{Z}/4)^2 \oplus (\mathbb{Z}/2)^a$，并给出了模簇为一般型的精确判别条件。

ABSTRACT

Irregular cusp of an orthogonal modular variety is a cusp where the lattice for Fourier expansion is strictly smaller than the lattice of translation. Presence of such a cusp affects the study of pluricanonical forms on the modular variety using modular forms. We study toroidal compactification over an irregular cusp, and clarify there the cusp form criterion for the calculation of Kodaira dimension. At the same time, we show that irregular cusps do not arise frequently: besides the cases when the group is neat or contains -1, we prove that the stable orthogonal groups of most (but not all) even lattices have no irregular cusp.

研究动机与目标

• 理解不规则尖点对正交模簇中 pluricanonical 形式与 Kodaira 维数研究的几何与算术影响。
• 分类在偶格子的稳定正交群中不规则尖点出现的条件，尤其关注与 K3 曲面和超凯勒流形模问题相关的场景。
• 建立精确的尖形式判别准则，以判断正交模簇的托里偶紧化是否为一般型，同时考虑在不规则尖点处的分歧影响。
• 解决模形式的零点阶（通过 $U(I)_{\mathbb{Z}}$ 测量）与 pluricanonical 形式零点阶（通过 $U(I)_{\mathbb{Z}}'$ 测量）在边界除子处比较的微妙差异。

提出的方法

• 引入一种基于边界除子 $D(\sigma)$ 上零点阶 $\nu_\sigma(F)$ 的精细尖形式判别准则，区分正规射线与不规则射线。
• 利用关系式 $\nu_{\Delta(\sigma)}(\omega) = a_\sigma \cdot \nu_\sigma(F) - m$，其中 $a_\sigma = 1$ 对应正规射线，$a_\sigma = 1/2$ 对应不规则射线，这是由于分歧指数为 2 的原因。
• 应用条件：若 $\nu_\sigma(F)/k > 1/b$（正规射线）或 $> 2/b$（不规则射线），则 $m$-canonical 形式可在解析化后延拓为全纯形式。
• 构造一族模形式 $F^m \cdot M_{(bN_0 - k)m}(\Gamma)$，以证明当斜率条件满足时 $K_X$ 为大 divisor，从而确认簇为一般型。
• 通过 $F$ 的幂次进行正规化处理，将问题约化为 $k/b \geq [k/b] + 1/2$ 的情形，确保足够的零点阶以实现延拓。
• 利用 $\mathbb{Q}$-线性等价关系 $K_{{\mathcal{F}(\Gamma)^\Sigma}} \sim_\mathbb{Q} b\mathcal{L} - B/2 - \Delta_{\text{reg}} - \Delta_{\text{irr}}$ 解释判别准则的几何意义。

实验结果

研究问题

• RQ1 在偶格子 $L$ 的稳定正交群 $\widetilde{\rm O}^+(L)$ 中，不规则尖点在何时出现？
• RQ2 不规则尖点如何影响托里偶紧化上模形式与 pluricanonical 形式之间零点阶的比较？
• RQ3 尖形式需满足何种条件，才能确保模簇为一般型，尤其是在存在不规则尖点的情况下？
• RQ4 哪些模空间（例如 $K3$ 曲面、$K3^{[t+1]}$-型流形）允许不规则尖点存在，其几何条件为何？
• RQ5 当存在不规则尖点时，能否有效计算正交模簇的 Kodaira 维数？

主要发现

• 在 $\widetilde{\rm O}^+(L)$ 中，不规则尖点仅在 $L^\vee/L \simeq \mathbb{Z}/8 \oplus (\mathbb{Z}/2)^a$ 或 $(\mathbb{Z}/4)^2 \oplus (\mathbb{Z}/2)^a$ 作为阿贝尔群时存在。
• 对于度数为 $2d$ 的 $K3$ 曲面，其模群具有不规则尖点当且仅当 $d=4$。
• 对于具有分裂极化度数为 $2d$ 的 $K3^{[t+1]}$-型流形，不规则尖点恰好在 $(t,d) = (1,4), (2,2), (4,1)$ 时出现。
• O’Grady10 与变形推广的 Kuga–Morrison 型流形具有不规则尖点，分别当且仅当 $d=4$ 与 $(t,d)=(4,1)$。
• 一般型的尖形式判别准则是：对正规射线有 $\nu_\sigma(F)/k > 1/b$，对不规则射线有 $> 2/b$，这确保了 $K_X$ 为大 divisor。
• 该准则意味着 $K_{{\mathcal{F}(\Gamma)^\Sigma}}$ 与一个大 divisor 加上一个有效 divisor 在 $\mathbb{Q}$-线性等价意义下等价，从而在斜率条件满足时确认为一般型。