[論文レビュー] The structure of surfaces mapping to the moduli stack of canonically polarized varieties

Stefan Kebekus, Sándor J. Kovács|ArXiv.org|Jul 13, 2007

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

ひとこと要約

本稿は、特徴的極小的多様体の族が準射影的表面に上に定義された場合、そのモジュライ写像と底面の対数的極小モデルプログラム（LMMP）との間の明確な関係を確立する。対数的高次形式の拡張とLMMPの分析により、族の変動が最大である場合、底面は対数的一般型型であることが示され、表面に対するヴィエフェグ予想の精密化された形が確認される。また、モジュライ写像のファイブレーション構造が明示的に記述される。

ABSTRACT

Generalizing the well-known Shafarevich hyperbolicity conjecture, it has been conjectured by Viehweg that a quasi-projective manifold that admits a generically finite morphism to the moduli stack of canonically polarized varieties is necessarily of log general type. Given a quasi-projective surface that maps to the moduli stack, we employ extension properties of logarithmic pluri-forms to establish a strong relationship between the moduli map and the minimal model program of the surface. As a result, we can describe the fibration induced by the moduli map quite explicitly. A refined affirmative answer to Viehweg's conjecture for families over surfaces follows as a corollary.

研究の動機と目的

• 特徴的極小的多様体のモジュライスタックへの写像をもつ表面の構造を理解すること。
• 底面における対数的極小モデルプログラム（LMMP）とモジュライ写像との強い関係を確立すること。
• 表面の族に対するヴィエフェグ予想の精密化された形を、変動が最大である場合に証明すること。その結果、対数的一般型型であることが示される。
• 変動が最大でない場合のモジュアイ写像のファイブレーション構造を、有理型幾何と拡張技法を用いて記述すること。

提案手法

• 新しい拡張定理（定理2.10）を用いて、余次元1の部分多様体上での対数的高次形式を拡張する。
• ヴィエフェグ＝ツォー層を用いて、対数的極小モデル上の対数 canonical バンドルの正性を分析する。
• 対数的カルティエ次元が0の多様体を取り扱うために、グローバル指数1被覆を用いる。
• 対数的極小モデルプログラム（LMMP）を用いて、底面 $S^\circ$ 上のファイブレーションを構成する。
• エタール基底変換および有理型変形の下でのモジュライ写像の振る舞いを分析する。
• 付随公式と層論的議論を用いて、$\kappa(S^\circ) = 0$ の場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 特徴的極小的多様体の族のモジュライ写像は、底面における極小モデルプログラムとどのように関係するか？
• RQ2 底面の対数的カルティエ次元が2未満である場合、族の変動はどのように変化するか？
• RQ3 組合せ論的技法ではなく、拡張技法を用いて、表面に対するヴィエフェグ予想を精密化し、証明可能か？
• RQ4 モジュライ写像が底面のファイブレーションを通じて因数分解する条件は何か？
• RQ5 $\kappa(S^\circ) = 1$ または $-\infty$ の場合、モジュライ写像の正確な構造は何か？

主な発見

• $\kappa(S^\circ) = -\infty$ ならば、$\operatorname{Var}(f^\circ) = 1$ であり、族は一般型表面からの引き戻しである。
• $\kappa(S^\circ) = 1$ ならば、モジュライ写像は一般ファイバーが楕円曲線または $\mathbb{C}^*$ であるファイブレーションを通じて因数分解し、$\operatorname{Var}(f^\circ) = 1$ である。
• $\kappa(S^\circ) = 0$ の場合、最大変動の仮定が矛盾を引き起こすため、このような族は存在し得ない。
• 常に、$\kappa(S^\circ) < 2$ のとき、$(S,D)$ におけるLMMPによって誘導されるファイブレーションを通じて、モジュライ写像は有理型的に因数分解する。
• 証明はケル＝マクナーマンのミヤニシ予想の解法とは概念的に独立しており、代わりに拡張定理と層の正性に依存する。
• 表面に対するヴィエフェグ予想の精密化された形が確認された：$\operatorname{Var}(f^\circ) \leq \kappa(S^\circ)$ であり、等号が成り立つのは $\kappa(S^\circ) = 2$ の場合に限る。