[論文レビュー] The X-method for klt surfaces in positive characteristic

Hiromu Tanaka|arXiv (Cornell University)|Feb 12, 2012

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

ひとこと要約

本稿は、Frobenius写像とFujitaの消滅定理を用いて、正標数におけるklt表面に対して弱いKodaira消滅定理を確立し、klt表面の基点自由定理の実現を可能にする。主な貢献は、正標数における標準Kodaira消滅定理の失敗を回避する消滅結果であり、この結果により、最小モデル理論の基礎的定理がこの設定における表面へと拡張される。

ABSTRACT

In this paper, we establish a weak version of the Kodaira vanishing theorem for surfaces in positive characteristic. As an application, we obtain some fundamental theorems in the minimal model theory for klt surfaces.

研究の動機と目的

• 正標数における表面に対して、標準Kodaira消滅定理が成立しない問題を克服すること。
• klt表面における基点自由定理を証明するのに十分な弱い消滅定理を構築すること。
• 正標数における表面に対して、Kawamata–ViehwegおよびNadel型消滅定理を一般化すること。
• 次元3における弱いKodaira消滅定理の反例を構成し、表面を超えたこの手法の限界を示すこと。
• 正標数におけるklt表面へ最小モデル理論の結果を、正標数に適したコホロロジー的道具を用いて拡張すること。

提案手法

• Frobenius写像とFujitaの消滅定理を用いて、正標数における滑らかで射影的表面に対して弱いKodaira消滅定理を証明する。
• 標準Kodaira消滅定理の代わりに弱いバージョンを用いることで、正標数に適応されたX法の枠組みを適用する。
• 正標数で利用可能な表面の特異点の解消と、ネフであり、非常に整数的でない因子の性質を用いる。
• 対数解体と有理写像を用いて、次元3における反例を構成し、弱い消滅定理が表面を超えて成立しないことを示す。
• 乗数イデアルと接続を含む完全列を用いて、表面および3次元多様体上のコホモロジー群を分析する。
• ファイバー次元が $ f_{ ext{max}} $ で有界な準同型写像に対して相対的消滅定理を適用し、$ R^i au_*ig(ig floor{K_X + ig floor{A}}ig) = 0 $ を $ i eq f_{ ext{max}} $ に対して証明する。

実験結果

リサーチクエスチョン

• RQ1 klt表面に対して、正標数におけるKodaira消滅定理の弱い版を確立できるか？
• RQ2 古典的に0標数で用いられるX法を、正標数における基点自由定理の証明に適応できるか？
• RQ3 このような弱い消滅定理は、特に次元3において、どのような限界を有するか？
• RQ4 代数閉体上、正標数における次元3の弱いKodaira消滅定理の反例は存在するか？
• RQ5 正標数における表面に対して、Nadel型およびKawamata–Viehweg型消滅定理をどの程度一般化できるか？

主な発見

• 正標数における滑らかで射影的表面に対して弱いKodaira消滅定理が成立する：$ A $ が非常に整数的で、$ N $ がネフで数的自明でないとき、$ H^i(X, K_X + A + mN) = 0 $ が $ i > 0 $、$ m o igcirc $ に対して成り立つ。
• 弱いKawamata–Viehweg消滅定理は、$ ig floor{A} $ が単純正則交叉を持つ場合に表面へと拡張される：$ H^i(X, K_X + ig floor{A} + mN) = 0 $ が $ i > 0 $、$ m o igcirc $ に対して成り立つ。
• klt表面に対して弱いNadel消滅定理が成立する：適切なネフで非常に整数的条件のもとで、$ H^i(X, igcirc{O}_X(L + mN) igotimes igcirc{J}_{igtriangleup}) = 0 $ が $ i > 0 $、$ m o igcirc $ に対して成り立つ。
• klt表面における基点自由定理が正標数で証明された：$ aD - (K_X + \bigtriangleup) $ がネフで非常に整数的であるとき、$ |bD| $ は $ b o \bigcirc $ に対して基点自由である。
• 次元3における弱いKodaira消滅定理の反例が構成された。$ A_W $ が非常に整数的で、$ N_W $ が半非常に整数的であっても、$ H^1(W, K_W + A_W + mN_W) \neq 0 $ が大きな $ m $ に対して成り立つ。
• 相対的消滅定理 $ R^i au_*\big(\big\rfloor{K_X + \big\rfloor{A}}\big) = 0 $ は $ i \neq f_{\text{max}} $ に対して成り立つ。ここで $ f_{\text{max}} = \text{max}_s \text{dim} \tau^{-1}(s) $ であり、$ \tau: X \to S $ で $ A $ が相対的に非常に整数的で、分数部分が単純正則交叉を持つ。