[論文レビュー] Minimal models and abundance for positive characteristic log surfaces

Hiromu Tanaka|arXiv (Cornell University)|Jan 27, 2012

Algebraic Geometry and Number Theory被引用数 7

ひとこと要約

本稿は、正標数における対数表面の最小モデルプログラムと豊富性定理を確立し、$Ω$-因子的かつ対数正則な表面が最小モデルをもち、ネフな標準的除法が半アーマー的であることを証明する。正標数におけるコルターラ・ヴァンイシングの失敗を克服するため、キールの結果と相対的ヴァンイシング定理を用い、代数的閉体上の特異な表面に対する古典的最小モデル理論を正標数に拡張する。主な貢献は、底体が$\overline{\mathbb{F}}_p$のとき、より弱い仮定の下で最小モデルプログラムと豊富性が成立することである。

ABSTRACT

We discuss the birational geometry of singular surfaces in positive characteristic. More precisely, we establish the minimal model program and the abundance theorem for Q-factorial surfaces and for log canonical surfaces. Moreover, in the case where the base field is the algebraic closure of a finite field, we obtain the same results under much weaker assumptions.

研究の動機と目的

• 正標数における特異な表面への最小モデルプログラムと豊富性定理の拡張。
• 正標数におけるコルターラ・ヴァンイシングの失敗を、代替的ヴァンイシング定理を用いて克服すること。
• $\overline{\mathbb{F}}_p$ 上の代数的閉体における $\mathbb{Q}$-因子的かつ対数正則な表面に対する最小モデルプログラムと豊富性の確立。
• $\overline{\mathbb{F}}_p$ 上では、一般の正標数よりも著しく弱い仮定の下で結果が成立することを示すこと。
• 有理的特異点が $\mathbb{Q}$-因子的性を意味し、最小モデルプログラムの各段階で良い双有理的性質を保つこと。

提案手法

• 正標数における有限生成性と収縮に関するキールの基礎的結果を用い、コルターラ・ヴァンイシングの失敗を回避する。
• 表面の双有理的写像に対する相対的カワマタ–ヴィエヒェンヴァンイシング定理を適用し、高次直接像のヴァンイシングを証明する。
• 曲線 $C \simeq \mathbb{P}^1$ で $(K_X + C) \cdot C < 0$ を満たすものに対する収縮定理を用い、$R^1 g_* \mathcal{O}_Y = 0$ を示す。
• グロタンディーク–レーリーのスペクトル系列を用い、特異な表面と解消された表面の上の層のコホモロジーを関連付ける。
• $0 \leq \delta_j < 1$ を満たす $\mathbb{Q}$-因子的表面に対するベースポイントフリー定理を適用し、ネフな除法が半アーマー的であることを保証する。
• 接続公式と $\mathbb{R}$-除法の構造を用い、特異点を制御し、最小モデルの存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 正標数における $\mathbb{Q}$-因子的表面に対して、コルターラ・ヴァンイシングの失敗にもかかわらず最小モデルプログラムを確立できるか。
• RQ2 正標数における対数正則な表面で、標準的除法がネフであるとき、豊富性定理は成立するか。
• RQ3 $\overline{\mathbb{F}}_p$ 上の表面に対して、$\mathbb{Q}$-因子的性よりも弱い仮定の下で、最小モデルプログラムがいつ終了するか。
• RQ4 正標数における有理的特異点が $\mathbb{Q}$-因子的性を意味するか。また、最小モデルプログラムがその性質を保つか。
• RQ5 正標数における表面の双有理的写像に対して、コルターラ・ヴァンイシングに代わる相対的ヴァンイシング定理は何か。

主な発見

• 正標数における $\mathbb{Q}$-因子的表面および対数正則な表面に対して最小モデルプログラムが存在し、各ステップで極小なレイトスを生成する曲線を収縮する。
• $\overline{\mathbb{F}}_p$ 上では、$\delta_j \leq 1$ を要請しないで、より弱い仮定 $\delta_j \geq 0$ の下でも最小モデルプログラムが成立し、従来の結果を拡張する。
• 豊富性定理が成立する：$K_X + \Delta$ がネフであれば、半アーマー的であり、Canonicalモデルの存在が保証される。
• 正標数における表面の有理的特異点は $\mathbb{Q}$-因子的性を意味し、最小モデルプログラムの各段階で特異点が保たれる。
• 曲線 $C \simeq \mathbb{P}^1$ で $(K_Y + C) \cdot C < 0$ を満たす収縮に対して、相対的ヴァンイシング定理 $R^1 g_* \mathcal{O}_Y = 0$ が成立し、MMPにおけるコホモロジー的制御が可能になる。
• ベースポイントフリー定理により、$D - (K_X + \Delta)$ がネフかつビッグ、または半アーマー的であるネフなキャリア除法 $D$ は、自身が半アーマー的であることが保証され、Canonicalモデルの構成に不可欠である。