[論文レビュー] On the moduli of degree 4 Del Pezzo surfaces

Brendan Hassett, Andrew Kresch+1 more|arXiv (Cornell University)|Dec 24, 2013

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

ひとこと要約

この論文は、$\mathbb{P}^1$ 上の4次デル ペッポ表面のファイブレーションのモジュライを研究し、特異ファイバーの数を制御する「高さ」と呼ばれる離散不変量を導入する。スペクトル被覆とそれら上の二重被覆を用いて、与えられた高さの一般ファミリーに関してモジュライ空間の既約性を確立し、自己同型群が特異化によって減少するモジュライ理論における主要な問題を、対数一般型表面に問題を関連させることで解決する。

ABSTRACT

We study irreducibility of families of degree 4 Del Pezzo surface fibrations over curves.

研究の動機と目的

• $\mathbb{P}^1$ 上の4次デル ペッポ表面のファミリーのモジュライを理解すること、特に各ファイバーに高々一つの $\mathsf{A}_1$-特異点を持つものについて。
• 特異化によって自己同型群が減少するモジュライ理論における異常を解消すること。これにより、問題を対数一般型表面のモジュライ問題に関連付ける。
• 特異ファイバーの数を制御する離散不変量「高さ」を導入し、その特徴づけを行うこと。
• 固定された高さに対して、$\mathbb{P}^1$ 上の一般の4次デル ペッポ表面ファミリーのモジュライ空間が既約であることを証明すること。ただし、小さな高さについては例外が存在する。

提案手法

• ファミリーを定義する2次曲面の線型系の退化性の軌跡から、スペクトル被覆 $D \to \mathbb{P}^1$ を構成する。
• 特異2次曲面に含まれる2つの平面族を符号化する、$D$ 上の二重被覆 $\tilde{D} \to D$ を導入する。
• ヒルツブルフ面の幾何学を用いて、スペクトル曲線 $D$ を埋め込み、これらの面上の曲線のヤコビアンにおける2- torsion のモノドロミーを分析する。
• 対数一般型表面のモジュライの道具立てを適用し、各々の塔 $\tilde{D} \to D \to \mathbb{P}^1$ が実際にデル ペッポ表面のファミリーから生じることを示す。
• $\mathbb{P}^1$ 上の明示的なベクトル束の構成を用いて、ファミリーの全空間を射影バンドル内の完全交差として実現する。
• 2つの高さの定義の同等性を証明する：1つはベクトル束の次数による定義、もう1つはファミリーの全空間上の3重交線型数による定義。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{P}^1$ 上の4次デル ペッポ表面のファイブレーションのモジュライ空間は、特にモノドロミーと特異ファイバーに関して、一般性条件下でどのように振る舞うか？
• RQ2 デル ペッポ表面の自己同型群が特異ファイバーに特異化する際に減少するのはなぜか？ そして、これは標準的なモジュライ理論とどのように調和するか？
• RQ3 スペクトル被覆とその二重被覆は、幾何的データからファミリーのデル ペッポ表面を再構成するために果たす役割は何か？
• RQ4 与えられた高さに対して、このようなファミリーのモジュライ空間は常に既約であるか？ そうでない場合、例外は何か？
• RQ5 スムーズなファミリーの文脈において、ベクトル束の次数による定義と交線型数による定義の2つの「高さ」の定義は、どのように関係しているか？

主な発見

• 固定された高さに対して、$\mathbb{P}^1$ 上の一般の4次デル ペッポ表面ファミリーのモジュライ空間は既約であるが、有限個の小さな高さについては例外が存在する。
• 高さ不変量は、$\int_{{\mathcal{X}}} c_1(\omega_\pi)^3$ の半分に等しく、[18]で提示された別定義と整合的であることを確認した。
• 一般ファミリーの全空間は滑らかであり、特異ファイバーはすべて1つの $\mathsf{A}_1$-特異点を持つものであり、その数は高さに等しい。
• ファミリーの構成は、スペクトル被覆 $D \to \mathbb{P}^1$ 及びその二重被覆 $\tilde{D} \to D$ によって完全に支配されており、これらは2次曲面の線型系の幾何を符号化している。
• スムーズなファイバー内の直線のモノドロミーは最大であり、これはモジュライ空間が適切に振る舞うために重要な一般性条件である。
• 4次デル ペッポ表面のモジュライ問題は、特定の被覆の塔のモジュライ問題に等価であり、これらは対数一般型表面理論によって分類される。