[論文レビュー] Explicit stable models of elliptic surfaces with sections

Gabriele La Nave|arXiv (Cornell University)|May 3, 2002

Algebraic Geometry and Number Theory参考文献 14被引用数 11

ひとこと要約

本稿は、トーリック幾何を介した最小モデルプログラムを用いて、楕円的表面に切断を備えた一パrameter族に対して明示的な安定モデルを構成する。特異点の解消には、moduli space $\overline{\mathbf{M}}_{1,1}$ への安定写像と log-flips を用いる。主な結果は、有理的または楕円的ベース曲線を持つ楕円的表面の安定的崩壊を体系的に構成し、中心ファイバーを半対数正則特異点を持つ擬楕円的表面の配置として明示的に記述することである。

ABSTRACT

In this note we show how to find the stable model of a one-parameter family of elliptic surfaces with sections. More specifically, we perform the log Minimal Model Program in an explicit manner by means of toric geometry, in each such one parameter family. This way we obtain an explicit combinatorial description of the surfaces that may occur at the boundary of moduli (as well as a new proof of the completeness of the moduli space)

研究の動機と目的

• 一パrameter族の切断付き楕円的表面に対する明示的安定モデルを構築し、退化ファイバーを含むモジュライ理論的枠組みを拡張すること。
• 非有理的ベース上の最小ワイエルシュトラスモデルが、Kollár–Shepherd-Barron および Alexeev の意味で安定であることの証明。
• 除法的収縮と明示的 log-flips を用いて、切断付き楕円的表面のモジュライ空間の境界の幾何的実現を提供すること。
• トーリック幾何の文脈において最小モデルプログラムを体系的に適用することで、退化楕円的表面族の特異点を解消すること。

提案手法

• 本稿は、楕円的表面を、安定1点付き楕円曲線のモジュライ空間 $\overline{\mathbf{M}}_{1,1}$ への写像としてモデル化し、このような族をパrametrizeするためにコンツェビッチ安定写像を用いる。
• 特異点を解消するために、特に対数正則および半対数正則特異点に注目し、トーリック幾何を介した最小モデルプログラムを全空間に適用する。
• 特殊ファイバーの双対グラフの構造を用い、有理曲線の鎖や中心ファイバーによって分離される成分に沿って log-flips を実行する。
• ゼロ切断を、適切なラインバンドル $\omega_{\mathcal{Y}'}((1+a)\mathcal{Q}')$ を用いて除法的収縮する。ここで $a = \frac{2}{\mathcal{Q}'_{\eta}^2}$ であり、これにより対数正則バンドルの正則性が保証される。
• 中心ファイバーの双対グラフの木構造に従い、帰納的に構成を進める。まず、スプライン以外の成分を刈り込む。
• 楕円的ベース曲線の場合、離散値環の有限拡大を構築し、$E_0$ または $E_{I_N}$ 型の擬楕円的表面が、$0$-および $1$-擬楕円的表面の鎖に接続された形で構成される安定モデルに拡張する。

実験結果

リサーチクエスチョン

• RQ1 有理的または楕円的ベース曲線を持つ楕円的表面に対して、退化ファイバーを含む明示的安定モデルをどのように構築できるか？
• RQ2 最小ワイエルシュトラスモデルが、Kollár–Shepherd-Barron および Alexeev の意味で安定であるための条件は何か？
• RQ3 離散値環上の切断付き楕円的表面の安定的崩壊における中心ファイバーの構造は何か？
• RQ4 log-flips と除法的収縮は、切断付き楕円的表面族の全空間における特異点をどのように解消するか？
• RQ5 最小モデルプログラムを、トーリック幾何を介して明示的に適用することで、切断付き楕円的表面の安定モデルを構築できるか？

主な発見

• 非有理的ベース上の最小ワイエルシュトラスモデルは、定義1.1.3の意味で安定である。これは、必要な半対数正則特異点および正則性条件を満たしているためである。
• 有理的ベース曲線の場合、最小ワイエルシュトラスモデルは、関連する $\overline{\mathbf{M}}_{1,1}$ への写像が非定数である、すなわち非等変な族である場合に安定である。
• 離散値環上の安定モデルの中心ファイバーは、定理8.3.1に示されるように、$0$-および $1$-擬楕円的表面の配置に接続された $E_0$ または $E_{I_N}$ 型の擬楕円的表面からなる。
• ゼロ切断をラインバンドル $\omega_{\mathcal{Y}'}((1+a)\mathcal{Q}')$ を用いて収縮することで、対数正則バンドルが正則化され、安定性条件が保証される。
• 構成は同型を除き一意的であり、離散値環の有限拡大に関する基底変換と可換である。
• 最終的な安定モデルは、log-flips と除法的収縮の系列によって得られ、この過程で特異点は常に半対数正則特異点にとどまる。