[论文解读] Finiteness of stable orthogonal modular varieties of non-general type

Shouhei Ma|arXiv (Cornell University)|Sep 27, 2013

Advanced Algebra and Geometry参考文献 10被引用 3

一句话总结

该论文证明了对于签名 $(2,n)$ 且 $n \geq 15$ 的偶格 $L$，仅有有限多个格使得其对应的稳定正交模空间 $\mathcal{F}_L$ 不是一般型。证明通过判别群性质将问题约化为拟循环格，并利用模形式与尖点形式理论建立有限性，进而表明当 $n \geq 42$ 时 $\mathcal{F}_L$ 为一般型。这证实了在高维情形下，非一般型模空间是例外的。

ABSTRACT

We prove that there are only finitely many even lattices L of signature (2,n) with n>14 such that the modular variety defined by the stable orthogonal group of L is not of general type.

研究动机与目标

• 建立当 $n$ 较大时，与签名 $(2,n)$ 的偶格 $L$ 相关的模空间 $\mathcal{F}_L$ 几乎总是为一般型。
• 证明对于 $n \geq 15$ 的此类格 $L$，仅有有限多个使得 $\mathcal{F}_L$ 不是一般型。
• 将一般情形约化至拟循环格子类，此类格具有受控的判别群行为，且允许尖点形式的提升。
• 表明 $\mathcal{F}_L$ 的双有理类型在一般情况下为一般型，凸显了高维正交模空间中非一般型例子的稀有性。

提出的方法

• 通过存在具有受控判别群指数的拟循环扩张格，将主问题约化为拟循环格。
• 利用稳定正交群 $\widetilde{\rm O}^+(L)$ 定义模空间 $\mathcal{F}_L = \widetilde{\rm O}^+(L)\backslash \mathcal{D}_L$，其为维数为 $n$ 的拟射影簇。
• 应用雅可比提升至尖点形式，依赖于拟循环条件以确保提升后仍为尖点形式。
• 在每个素数 $p$，特别是 $p=2$ 处进行局部分析，构造判别群 $A_L$ 中的迷向子群 $G$，使得 $G^\perp/G$ 为拟循环且保持高指数。
• 利用模形式及其在尖点处的零点阶数来探测非一般型行为，尤其通过某些模形式的非零性。
• 借助 Gritsenko、Hulek 和 Sankaran 关于正交模空间的 Kodaira 维数的研究结果，为有限性论证提供支持。

实验结果

研究问题

• RQ1 是否存在仅有有限多个签名 $(2,n)$ 且 $n \geq 15$ 的偶格 $L$，使得模空间 $\mathcal{F}_L$ 不是一般型？
• RQ2 能否通过约化至拟循环格子类来建立非一般型模空间的有限性？
• RQ3 判别群的指数与结构在决定 $\mathcal{F}_L$ 的双有理类型中起什么作用？
• RQ4 稳定正交群 $\widetilde{\rm O}^+(L)$ 如何影响 $\mathcal{F}_L$ 的双有理几何？
• RQ5 模形式与尖点形式提升方法在探测正交模空间中非一般型行为方面的适用程度如何？

主要发现

• 仅有有限多个签名 $(2,n)$ 且 $n \geq 15$ 的偶格 $L$，使得模空间 $\mathcal{F}_L$ 不是一般型。
• 对于所有 $n \geq 42$，模空间 $\mathcal{F}_L$ 为一般型，从而确立了一个精确的有效界。
• 该有限性结果在原则上是有效的，理论上可通过足够计算枚举所有例外格 $L$。
• 对于任意签名 $(2,n)$ 且 $n \geq 15$ 的偶格 $L$，若其判别群 $A_L$ 的指数超过某个常数 $D$ 的两倍，则 $\mathcal{F}_L$ 为一般型。
• 拟循环格类足以约化一般问题，因为任一格均存在具有受控判别群指数的拟循环扩张格。
• 在2-群上，拟循环形式的判别群长度至多为5，从而界定了此类形式的复杂度。