[論文レビュー] Abundance theorem for surfaces over imperfect fields

Hiromu Tanaka|arXiv (Cornell University)|Feb 4, 2015

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

ひとこと要約

この論文は、正の特性の体上の対数正則な表面に対して、豊富性定理を確立する。$K_X + \Delta$ が $f$-nef であれば、$f$-semi-ample であることを証明する。証明は、分離的閉体への基本変換、ファイバー積の正規化、曲線への付随を経て、最終的にショクロフの多面体を用いて $\mathbb{R}$-係数の場合を有理数係数に還元し、非代数的体上での対数正則な設定における $K_X + \Delta$ の半豊富性を確認する。

ABSTRACT

In this paper, we show the abundance theorem for log canonical surfaces over fields of positive characteristic.

研究の動機と目的

• 正の特性の非代数的体上の対数正則な表面に対して、豊富性定理を拡張すること。
• 代数的閉体でない場合に生じる技術的課題、特に基本変換における特異点と半豊富性の保存に関する課題を解決すること。
• 正の特性における対数正則な表面の非消滅定理を確立すること。これは豊富性を証明するための重要なステップである。
• 凸幾何学的道具（ショクロフの多面体など）を用いて、$\mathbb{Q}$-因子から $\mathbb{R}$-因子への豊富性定理の一般化を達成すること。

提案手法

• 基本体の分離的閉包への基本変換を用い、幾何学を単純化しながら、nefness や半豊富性といった重要な性質を保存する。
• $X \times_k \overline{k}$ の簡約ファイバー積の正規化により、$\mathbb{Q}$-因子的であることを保証する正規モデル $Y$ を構成する。
• ファイバー積内の曲線への付随を適用し、$Y$ と $X$ の標準因子を関連づける。特に $K_Y + 2C = f^*K_X$ の場合を扱う。
• 凸幾何学におけるショクロフの多面体と有理数多面体を用いて、$\mathbb{R}$-係数の場合を有限個の $\mathbb{Q}$-因子の場合に還元する。
• 正の特性において $f$-nef コーンが有理数多面体であるという事実を用い、摂動技法を適用して半豊富性を結論づける。
• 代数的閉体上でのklt表面に対する既知の半豊富性の結果を活用し、非代数的状況における証明を段階的に構築する。

実験結果

リサーチクエスチョン

• RQ1 正の特性における非代数的体上での対数正則な表面に対する豊富性定理は、代数的閉体上から非代数的体へ拡張可能か？
• RQ2 元の体が非代数的である場合、分離的閉体への基本変換において $K_X + \Delta$ のnefness と半豊富性は保存されるか？
• RQ3 正の特性における純粋非分離拡張の存在下で、標準因子と付随の挙動をどのように制御できるか？
• RQ4 非代数的体上の曲面における $f$-nef コーンは依然として有理数多面体か？これにより有理数係数への還元が可能か？
• RQ5 ショクロフの多面体などの凸幾何学的道具を用いて、$\mathbb{R}$-係数の豊富性定理を $\mathbb{Q}$-係数の場合から導出可能か？

主な発見

• 任意の正の特性の体上での対数正則な表面に対して、豊富性定理が成り立つ：$K_X + \Delta$ が $f$-nef であれば、$f$-semi-ample である。
• ショクロフの多面体を用いて $\mathbb{R}$-係数の場合を有限個の $\mathbb{Q}$-因子の場合に還元し、$f$-nef コーンが有理数多面体であることを示した。
• $K_X \equiv 0$ かつ $K_Y + 2C = f^*K_X$ の場合、付随と Mumford の $C|_C$ におけるねじれ部分群の結果を用いて、曲線 $C$ が半豊富であることを示した。
• 正の特性における対数正則な表面に対して非消滅定理が確立され、$K_X + \Delta$ がnef であれば $\kappa(X, K_X + \Delta) \geq 0$ が保証される。
• 分離的閉包への基本変換は、重要な幾何学的および数値的条件を保存するため、代数的閉体上での結果の適用が可能になる。
• $\mathcal{N}_T$ を有理数多面体として構成することで、$K_X + \Delta$ が $f$-半豊富な因子の凸結合であることが保証され、したがって自体が半豊富であることが示された。