[論文レビュー] Projectivity of the moduli space of stable log-varieties and subadditvity of log-Kodaira dimension

Sándor J. Kovács, Zsolt Patakfalvi|arXiv (Cornell University)|Mar 10, 2015

Algebraic Geometry and Number Theory参考文献 28被引用数 8

ひとこと要約

本稿は、強化された正則性補題を証明し、行列式ラインバンドルと対数・カウラー次元の劣加法性を活用することで、一般型の安定対数多様体の粗モジュライ空間の射影性を確立する。主な結果は、固定された体積、次元、係数集合をもつ任意のこのようなモジュライ空間が、標数0の代数閉体上の射影的代数多様体であるということである。

ABSTRACT

We prove a strengthening of Kollár's Ampleness Lemma and use it to prove that any proper coarse moduli space of stable log-varieties of general type is projective. We also prove subadditivity of log-Kodaira dimension for fiber spaces whose general fiber is of log general type.

研究の動機と目的

• 一般型の安定対数多様体の粗モジュライ空間の射影性を確立し、高次元モジュライ理論における重要な空白を埋める。
• 従来のGIT手法が失敗する高次元において、モジュラー射影的コンパクト化を構成する課題を解決する。
• 分数境界係数をもつ高次元対数多様体へのモジュライ理論を、曲線の理論から拡張する。
• 埋め込み点と非還元的基底を同時に扱えるモジュライ函子の枠組みを提供し、分野における基礎的問題を明確化する。
• 一般型の対数多様体を一般 fiber としてもつファイバー空間に対して、対数・カウラー次元の劣加法性を証明する。これは、ビラショーリア幾何における既知の結果を一般化する。

提案手法

• ほとんど正則な多様体上の大きなラインバンドルを取り扱うための、Kollárの正則性補題の強化版を構築する。
• 対数正則層の押し出しの行列式ラインバンドルを用いて、モジュライ空間上の正則な除集合を構成する。
• 半安定還元と基底変換の理論を適用し、変形における対数正則除集合の振る舞いを制御する。
• Stein因子分解と特異的幾何を用いて、全空間の異なるモデル間のカウラー次元を関連付ける。
• ベクトルバンドルの対称冪の一般に局所生成性を用いて、押し出しの大きさを証明する。
• 最大変動とほとんど正則な基底の概念を用いて、結果を射影的基底を超えて拡張する。

実験結果

リサーチクエスチョン

• RQ1 安定対数多様体の粗モジュライ空間が一般型であるとき、どのような条件下で射影的になるか？
• RQ2 一般 fiber が対数一般型であるファイバー空間に対して、対数・カウラー次元は劣加法的か？
• RQ3 GIT に依存せずに、モジュライ空間上の行列式ラインバンドルの正則性を確立できるか？
• RQ4 境界除集合が埋め込み点をとる場合、対数正則除集合の退化における振る舞いはどのように変化するか？
• RQ5 特にほとんど正則な場合に、対数正則層の押し出しの大きさが基底上で保たれるための条件は何か？

主な発見

• 体積、次元、係数集合が固定された安定対数多様体のモジュライ函手の粗モジュライ空間として得られる任意の代数的空間は、標数0の代数閉体上の射影的代数多様体である。
• 十分に可除な q > 0 に対して、対数正則層の押し出しの行列式は大きく、これによりモジュライ空間の射影性が保証される。
• klt 一般 fiber と最大変動をもつファイバー空間 f: (X, D) → Y に対して、対数・カウラー次元の劣加法性が成り立つ。κ(KX/Y + D) ≥ κ(KXη + Dη) + max{Var fcan, κ(M)} をみたすある M が存在する。
• ほとんど射影的基底上の安定対数多様体の族に対して、すべての十分に可除な q > 0 に対して f∗OX(q(KX/Y + D)) は大きく、その押し出しは大である。
• 対数正則層の押し出しの大きさは、基底変換および Stein 因子分解においても保たれ、非射影的基底への結果の拡張が可能になる。
• 「ほとんど正則な基底」の理論により、射影的基底を超えた正則性および大きさの結果を拡張でき、新しい正則性補題と一般に局所生成性の議論を用いる。