[論文レビュー] The moduli space of (1,11)-polarized abelian surfaces is unirational

Mark Gross, Sorin Popescu|ArXiv.org|Feb 2, 1999

Algebraic Geometry and Number Theory参考文献 20被引用数 4

ひとこと要約

本稿は、(1,11)-極分類付きアーベル・サーフェスのレベル構造（正規型）のモジュライ空間が、P⁴におけるクラインの立方曲面に双有理的であることを証明し、その無理的性を確立する。この結果により、Γ₁₁-尖点形式が重み3で存在しないことが示され、A₉^levの有理的性の新たな証明が得られる。

ABSTRACT

We prove that the moduli space A_{11}^{lev} of (1,11) polarized abelian surfaces with level structure of canonical type is birational to Klein's cubic hypersurface: a^2b+b^2c+c^2d+d^2e+e^2a=0 in P^4. Therefore, A_{11}^{lev} is unirational but not rational, and there are no Gamma_{11}-cusp forms of weight 3. The same methods also provide an easy proof of the rationality of A_{9}^{lev}.

研究の動機と目的

• モジュライ空間 A₁₁^lev である (1,11)-極分類付きアーベル・サーフェスとレベル構造の双有理幾何を特定すること。
• このモジュライ空間が有理的または無理的であるかを調査し、Γ₁₁に対して重み3の尖点形式が存在するかを解明すること。
• A₉^lev の有理的性の証明で用いられた手法を、より複雑な A₁₁^lev の場合に拡張すること。
• モジュライ空間とよく知られた代数的多様体（クラインの立方曲面）との幾何的関係を確立すること。

提案手法

• P⁴における方程式 a²b + b²c + c²d + d²e + e²a = 0 で定義されるクラインの立方曲面と、モジュライ空間 A₁₁^lev の間の双有理写像を構成する。
• アーベル・サーフェス上のレベル構造と正規極分類の理論を用いて、モジュライ空間をパラメトライズする。
• θ特徴量と (1,11) 型のラインバンドルの研究を含む、代数幾何学的技法を適用する。
• クラインの立方曲面の対称性と特異点を活用し、モジュライ空間の有理的性質を分析する。
• A₉^lev が有理的であることを証明したのと同じ手法フレームワークを用いて、A₁₁^lev を分析する。
• 計算代数ツール（Macaulay2 コードおよび PostScript ファイル）を用いて、幾何的構成と対称性の検証を行う。

実験結果

リサーチクエスチョン

• RQ1 モジュライ空間 A₁₁^lev である (1,11)-極分類付きアーベル・サーフェスは無理的か？
• RQ2 モジュライ空間 A₁₁^lev の双有理同値類は何か？また、既知の代数的多様体とどのように関係しているか？
• RQ3 Γ₁₁-尖点形式が重み3で存在するか？これは A₁₁^lev の幾何にどのような意味を持つのか？
• RQ4 A₉^lev の有理的性を証明する手法を A₁₁^lev に拡張可能か？
• RQ5 クラインの立方曲面は、アーベル・サーフェスのモジュライ空間の文脈でどのような意義を持つのか？

主な発見

• モジュライ空間 A₁₁^lev は、P⁴における方程式 a²b + b²c + c²d + d²e + e²a = 0 で定義されるクラインの立方曲面に双有理的である。
• その結果、A₁₁^lev は無理的であるが、有理的ではない（クラインの立方曲面が非有理的であるため）。
• 無理的性とモジュライ空間の幾何から、Γ₁₁-尖点形式が重み3で存在しないことが示唆される。
• 本証明で用いられた同一の技法により、A₉^lev の有理的性の新たな簡略化された証明が得られる。
• 高い対称性を持つ多様体への双有理同型は、A₁₁^lev の無理的性の幾何的説明を提供する。
• 本結果は、アーベル・サーフェスのモジュライ空間とクラインの立方曲面のような古典的代数的多様体との深い関係を示している。