[論文レビュー] On subadditivity of Kodaira dimension in positive characteristic

Zsolt Patakfalvi|arXiv (Cornell University)|Aug 25, 2013

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

ひとこと要約

本稿は、特徴的正標数における滑らかで全射な射 f: X → Y の場合に、基底が一般型であり、幾何的一般汎ファイバーのハッセ＝ワット行列が冪零でないという条件下で、コイダラ次元の下付き性を確立する。相対カルティエ・モジュールと S0-モジュールを用いて、κ(X) ≥ κ(KF) + κ(Y) を証明し、特徴的ゼロにおけるホッジ理論やコイダラの消失定理の欠如を避ける形で、古典的下付き性予想（κ(X) ≥ κ(F) + κ(Y)）をこの設定で成立させている。

ABSTRACT

We show that for a surjective, separable morphism f of smooth projective varieties over an algebraically closed field of positive characteristic such that $f_* \mathcal{O}_X = \mathcal{O}_Y$ subadditivity of Kodaira dimension holds, provided the base is of general type and the Hasse-Witt matrix of the geometric general fiber is not nilpotent.

研究の動機と目的

• 特徴的ゼロにおけるホッジ理論やコイダラの消失定理が失敗する特徴的正標数において、コイダラ次元の下付き性を確立すること。
• 基底とファイバーの幾何的条件の下で、イタカの予想（Cn,m）を特徴的正標数に拡張すること。
• 特徴的ゼロの技法を特徴的正標数の手法、特に S0-モジュールと相対カルティエ・モジュールに置き換えること。
• 幾何的一般汎ファイバーのハッセ＝ワット行列の冪零性の欠如が、非自明な安定フロベニウス像を示し、相対正則線分束における弱正則性の利用を可能にすることを証明すること。

提案手法

• 特徴的正標数におけるフロベニウス引き戻しの下で正則線分束の挙動を分析するために相対カルティエ・モジュールを用いる。
• S0-モジュール構成を適用して、フロベニウス下でグローバルセクションの非消滅を検出することで、ハッセ＝ワット行列の冪零性の欠如を保証する。
• S0-理論を用いて、f∗ωmX/Y (m > 0) の弱正則性を確立し、特徴的ゼロにおける弱正則性結果を置き換える。
• 問題を基底の一般点の完全体への正規化に還元して、幾何的一般汎ファイバーを分析する。
• グロテンディーク双対性と捩れの自由性を用いて、f が有限かつ X がゴレンシュタインであるとき、f∗ωmY → ωmX の埋め込みを構成する。
• S0(Xη, ωXη) ≠ 0 と、完全体 y に対して S0(Xy, ωXy) ≠ 0 となる基底の開部分集合が存在することの同値性に依拠する。

実験結果

リサーチクエスチョン

• RQ1 基底が一般型であり、幾何的一般汎ファイバーのハッセ＝ワット行列が冪零でない場合、特徴的正標数におけるコイダラ次元の下付き性は成立するか？
• RQ2 特徴的正標数におけるコイダラの消失定理やホッジ理論の欠如を、S0-モジュールとカルティエ・モジュールを用いて克服できるか？
• RQ3 S0(Xη, ωXη) ≠ 0 は、基底において S0(Xy, ωXy) ≠ 0 となる開集合が存在することと同値か？
• RQ4 特徴的ゼロの仮定なしに、相対正則線分束の弱正則性を特徴的正標数で確立できるか？
• RQ5 特徴的正標数において、正則環を用いたコイダラ次元と正則線分束のコイダラ＝イタカ次元の間にはどのような関係があるか？

主な発見

• 本稿は、代数閉体上の滑らかで全射な射 f: X → Y について、κ(Y) = dim Y かつ幾何的一般汎ファイバーのハッセ＝ワット行列が冪零でない場合に、κ(X) ≥ κ(KF) + κ(Y) を証明する。
• ハッセ＝ワット行列の冪零性の欠如は、S0(Xη, ωXη) ≠ 0 と同値であり、これは幾何的一般汎ファイバーにおける非自明なフロベニウス安定グローバルセクションの存在を保証する。
• S0(Xη, ωXη) ≠ 0 は、すべての完全体 y ∈ U に対して S0(Xy, ωXy) ≠ 0 となる基底 U ⊆ Y の開部分集合が存在することを意味する。
• 主結果はより一般的な設定へ拡張される：X が正規かつゴレンシュタインで、Y が正則、κ(Y) = dim Y、S0(Xη, ωXη) ≠ 0 ならば、κ(KX) ≥ κ(KXη) + κ(KY) が成り立つ。
• 本稿は、S2 かつ G1 の多様体に対して、正則環によるコイダラ次元（κ(X)）が正則線分束のコイダラ＝イタカ次元（κ(ωX)）によって上から抑えられることを確立し、滑らかな多様体では等号が成り立つことを示している。
• 著者らは、与えられた仮定の下で正則線分束とファイバーのコイダラ＝イタカ次元が同値であることを利用し、より強い不等式 κ(X) ≥ κ(KF) + κ(Y) から古典的下付き性予想（κ(X) ≥ κ(F) + κ(Y)）が従うことを示している。