[論文レビュー] Finiteness Theorem for Sp(4,Z)

Lev Borisov|ArXiv.org|Oct 2, 1995

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

ひとこと要約

この論文は、$ \mathrm{Sp}(4,\mathbb{Z}) $ のすべての有限指数部分群 $ H $ のうち、有限個を除いて、ランク2のシーゲル上半平面 $ \mathcal{H}^2 $ を $ H $ で割った商が一般型の正規モデルを持つことを証明している。この結果は、モジュラー形式とモジュライ論的技法を用いて、これらの算術的商の双有理幾何における有限性を確立する。

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 $ の双有理型を特定すること。
• これらの商が一般型の正規モデルを持つかどうかを調査すること、これは双有理幾何において重要な性質である。
• 一般型の正規モデルを持たないようなこのような商が、有限個であることを確立すること。
• モジュラー形式とモジュライ論的技法を用いて、算術的商の幾何を分析すること。
• レベル構造をもつアーベル曲面のモジュライ空間の双有理幾何に関する理解を深めること。

提案手法

• genus 2 のシーゲル上半平面 $ \mathcal{H}^2 $ における有限指数部分群 $ H \subset \mathrm{Sp}(4,\mathbb{Z}) $ の作用を分析する。
• シーゲルモジュラー形式の理論の結果を応用し、商 $ \mathcal{H}^2 / H $ の canonical ring を研究する。
• $ \mathcal{H}^2 $ が主偏極をもつアーベル曲面のモジュライ空間としての解釈を用いる。
• 特に canonical models や canonical bundle の理論を含む代数幾何の技法を適用する。
• canonical ring と多様体の高次 canonical 系を用いた一般型の概念を用いる。
• canonical bundle がすべての $ H $ に対して、有限個を除いては big であるという事実に依拠する。これは一般型を意味する。

実験結果

リサーチクエスチョン

• RQ1 どの有限指数部分群 $ H \subset \mathrm{Sp}(4,\mathbb{Z}) $ に対して、商 $ \mathcal{H}^2 / H $ が一般型であるか？
• RQ2 $ \mathcal{H}^2 / H $ が一般型でないようなこのような部分群 $ H $ は有限個であるか？
• RQ3 モジュラー形式は、$ \mathcal{H}^2 / H $ の双有理型を決定づける役割を果たすか？
• RQ4 $ \mathcal{H}^2 / H $ の canonical bundle は、さまざまな $ H $ に対してどのように振る舞い、その双有理幾何にどのような含意を持つのか？
• RQ5 $ \mathrm{Sp}(4,\mathbb{Z}) $ のすべての有限指数部分群に対して、一般型の性質を一様に特徴づけられるか？

主な発見

• $ \mathcal{H}^2 / H $ 上の有理関数の体は、すべての有限指数部分群 $ H \subset \mathrm{Sp}(4,\mathbb{Z}) $ のうち、有限個を除いて一般型である。
• $ \mathcal{H}^2 / H $ の正規モデルは、すべての $ H $ のうち有限個を除いて一般型であり、これは canonical bundle が big であることを意味する。
• $ \mathcal{H}^2 / H $ が一般型でないような例外となる部分群 $ H $ の数は有限個である。
• この結果は、増加する重みのシーゲルモジュラー形式の空間の次元の増大に依拠して得られる。
• 商の幾何は canonical ring の構造によって制御され、これは有限個の部分群を除いて一般型であることが示された。
• 証明は、$ \mathcal{H}^2 $ がレベル構造をもつ主偏極をもつアーベル曲面のモジュライ空間としての解釈に依拠している。