[论文解读] Finiteness Theorem for Sp(4,Z)

Lev Borisov|ArXiv.org|Oct 2, 1995

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

一句话总结

本文证明了对于所有但有限多个有限指数子群 $ H \subseteq \mathrm{Sp}(4,\mathbb{Z}) $，由 $ H $ 作用于秩二的 Siegel 上半空间 $ \mathcal{H}^2 $ 所得的商空间具有一个一般型的典范模型。该结果通过模形式与模理论方法，建立了这些算术商空间的双有理几何中的有限性性质。

ABSTRACT

We consider Siegel upper half space of rank two ${\cal H}^2$ and different subgroups $H\subseteq {\bf Sp(4,Z)}$ of finite index. The purpose of this paper is to prove that the field of rational functions of ${\cal H}^2/H$ has general type for all but the finite number of $H$.

研究动机与目标

• 确定有限指数子群 $ H \subset \mathrm{Sp}(4,\mathbb{Z}) $ 所得商空间 $ \mathcal{H}^2 / H $ 的双有理类型。
• 研究这些商空间是否具有典范模型的一般型，这是双有理几何中的一个关键性质。
• 证明仅有有限多个此类商空间不具有典范模型的一般型。
• 利用模形式与模理论方法分析算术商空间的几何结构。
• 为理解具有水平结构的阿贝尔簇模空间的双有理几何提供贡献。

提出的方法

• 分析有限指数子群 $ H \subset \mathrm{Sp}(4,\mathbb{Z}) $ 在 genus 2 的 Siegel 上半空间 $ \mathcal{H}^2 $ 上的作用。
• 应用 Siegel 模形式理论的结果，研究商空间 $ \mathcal{H}^2 / H $ 的典范环。
• 利用 $ \mathcal{H}^2 $ 作为主极化阿贝尔曲面模空间的模解释。
• 应用代数几何中的技术，特别是典范模型与典范丛的理论。
• 通过典范环与高阶典范系统来使用一般型的概念。
• 依赖于这样一个事实：对所有但有限多个 $ H $，商空间 $ \mathcal{H}^2 / H $ 的典范丛是大丛，从而蕴含一般型。

实验结果

研究问题

• RQ1 对于哪些有限指数子群 $ H \subset \mathrm{Sp}(4,\mathbb{Z}) $，商空间 $ \mathcal{H}^2 / H $ 属于一般型？
• RQ2 是否存在仅有有限多个子群 $ H $，使得 $ \mathcal{H}^2 / H $ 不属于一般型？
• RQ3 模形式在确定 $ \mathcal{H}^2 / H $ 的双有理类型中起什么作用？
• RQ4 $ \mathcal{H}^2 / H $ 的典范丛在不同 $ H $ 下的行为如何？这对它的双有理几何有何含义？
• RQ5 能否对 $ \mathrm{Sp}(4,\mathbb{Z}) $ 的所有有限指数子群统一刻画一般型性质？

主要发现

• 对所有但有限多个有限指数子群 $ H \subset \mathrm{Sp}(4,\mathbb{Z}) $，商空间 $ \mathcal{H}^2 / H $ 的有理函数域属于一般型。
• 对所有但有限多个 $ H $，商空间 $ \mathcal{H}^2 / H $ 的典范模型属于一般型，即其典范丛是大丛。
• 例外数量——即 $ \mathcal{H}^2 / H $ 不属于一般型的子群 $ H $ —— 是有限的。
• 该结果通过 Siegel 模形式在不断增加权下的空间维数的增长来建立。
• 商空间的几何结构由典范环的结构控制，该环在有限个子群之外均属于一般型。
• 证明依赖于 $ \mathcal{H}^2 $ 作为主极化阿贝尔曲面带水平结构的模空间的模解释。