[論文レビュー] Minimal model theory for log surfaces

Osamu Fujino|arXiv (Cornell University)|Jan 22, 2010

Algebraic Geometry and Number Theory参考文献 12被引用数 6

ひとこと要約

本稿は、従来の知られていたものよりもはるかに弱い仮定の下で、最小モデルプログラム、対数 canonical 環の有限生成性、および対数表面における対数豊富性定理を確立している。具体的には、$\mathbb{Q}$-因子的または対数 canonical 表面であり、$\mathbb{Q}$-因子的の場合に限り、ペアが対数 canonical であると仮定しない。主な貢献は、Fujita の結果を一般化する強固な枠組みを提供し、最小特異性の仮定の下で、Zariski 分解の半正の部分の半正則性を確認することにある。

ABSTRACT

We discuss the log minimal model theory for log surfaces. We show that the log minimal model program, the finite generation of log canonical rings, and the log abundance theorem for log surfaces hold true under assumptions weaker than the usual framework of the log minimal model theory.

研究の動機と目的

• Fujita の半正則性および対数 canonical 環の有限生成に関する結果を、より弱い特異性をもつ対数表面へと拡張すること。
• $\mathbb{Q}$-因子的の場合にペア $(X,\Delta)$ が対数 canonical であると仮定しないで、対数表面における対数最小モデルプログラムを確立すること。
• Fujita の Zarsiki 分解および半正則性に関する研究を、滑らかな射影的表面の範囲を超えて明確化・一般化すること。
• 有理特異点が、対数表面の最小モデル理論において自然かつ安定な条件であることを示すこと。
• Zariski 分解に依存せず、現代の消失定理および乗数イデアル技術を用いる新しい枠組みを対数表面に提供すること。

提案手法

• Fujino や他の研究者らの先行研究に基づき、対数多様体における新しい錐と収縮定理を構築する。
• 相対 Kawamata–Viehweg–Nadel 消失定理を適用してコホロロジーを制御し、制限写像の上への性質を保証する。
• Kawamata の X 法を用いて、吹き上げと被覆的分解を介して、断片を構成し、基本巾を削減する。
• 乗数イデアル層 $\mathcal{J}(X,\Delta)$ を用いて、非 klt 細胞を分析し、基本点を制御する。
• $\pi$-ネフ、$\pi$-アンピール、$\pi$-フリーな除数を用いた相対基本巾自由定理を適用して、自由性を証明する。
• 基本巾に対する noetherian 帰納を用いて、線形系統の最終的非基本巾自由性を示す。

実験結果

リサーチクエスチョン

• RQ1 ペア $(X,\Delta)$ が必ずしも対数 canonical でないが、$X$ が $\mathbb{Q}$-因子的である場合に、対数表面における対数最小モデルプログラムは成立するか？
• RQ2 標準的な枠組みよりも弱い仮定のもとで、対数 canonical 環の有限生成性は確立可能か？
• RQ3 $X$ が $\mathbb{Q}$-因子的または $(X,\Delta)$ が対数 canonical である場合に、対数表面における対数豊富性定理は成立するか？
• RQ4 Fujita の Zarsiki 分解の半正の部分に関する半正則性結果は、滑らかな表面を越えて一般化可能か？
• RQ5 有理特異点の概念は、対数表面の最小モデル理論の文脈で保存され、自然なものであるか？

主な発見

• 対数表面における対数最小モデルプログラムは、$\mathbb{Q}$-因子的または対数 canonical ペアにおいて、$\mathbb{Q}$-因子的の場合にペアが対数 canonical であると仮定しないでも成立する。
• 同じ仮定のもとで、対数豊富性定理が成立する：$K_X + \Delta$ が擬効的であれば、$K_{X^*} + \Delta^*$ は半正則である。
• 有理特異点のみをもつ射影的表面に対して、対数 canonical 環 $R(X) = \bigoplus_{m\geq 0} H^0(X, \mathcal{O}_X(mK_X))$ は有限生成である。
• $X$ が $\mathbb{Q}$-因子的であり、$K_X + \Delta$ が擬効的である場合、$K_X + \Delta$ の Zarsiki 分解の半正の部分は半正則である。
• $K_X$ が大である場合、標準的モデル $Y = \mathrm{Proj}\bigoplus_{m\geq 0} H^0(X, \mathcal{O}_X(mK_X))$ は有理特異点のみをもつ。
• 与えられた仮定のもとで、$|mL|$ の基本巾は十分大きな $m$ に対して空になる。これは X 法および消失定理を用いて、基本巾自由性が証明される。