[論文レビュー] On the rationality of Kawamata log terminal singularities in positive characteristic

Christopher D. Hacon, Jakub Witaszek|arXiv (Cornell University)|Jun 10, 2017

Commutative Algebra and Its Applications被引用数 11

ひとこと要約

本稿は、十分に大きな正の特徴を持つ代数閉体上での3次元カワマタ対数終票（klt）特異点が有理的かつコhen-Macaulayであることを確立する。証明は、大特徴における対数デル・ペッツォ表面に対するカワマタ＝ヴィエヒェグの消失定理に依拠し、plt吹き上げと例外除集合上のコhomオロジー的消失の議論を通じて行われ、有理性が一様に成立するための境界 $ p_0 $ を得る。

ABSTRACT

We show that there exists a natural number $p_0$ such that any three-dimensional Kawamata log terminal singularity defined over an algebraically closed field of characteristic $p>p_0$ is rational and in particular Cohen-Macaulay.

研究の動機と目的

• 3次元カワマタ対数終票特異点が、ミニマルモデルプログラムにおける重要な性質である有理的性を有するかどうかを特定すること。
• すべての特徴 $ p > p_0 $ に対して klt 特異点が有理的かつコhen-Macaulayであることを保証する一様な境界 $ p_0 $ の存在を確立すること。
• カワマタ＝ヴィエヒェグの消失定理が正の特徴で一般に成立しないにもかかわらず、特徴0における有理的性結果を大特徴に拡張すること。
• 混合特徴の設定において、MMP 操作（例えば、除集合的収縮）を特徴0に持ち上げるための基盤を提供すること。
• 既知の小特徴における反例を踏まえて、境界 $ p_0 $ の鋭さを明確にすること。

提案手法

• 閉点における plt 吹き上げを用いて、例外除集合 $ S $ を持つ双有理的射 $ f: Y o X $ を構成し、$ (Y, S) $ が $ \bQ $-因子的かつ plt であることを保証する。
• 付随を適用して、例外除集合 $ S $ 上に klt 対数デル・ペッツォ対 $ (S, \nabla_{\text{diff}}) $ を得る。これはファノ型の曲面である。
• 定理1.2（大特徴における対数デル・ペッツォ表面に対するカワマタ＝ヴィエヒェグの消失定理）を適用し、特定の除集合 $ \nabla_k $ に対して $ H^1(S, \nabla_k) = 0 $ を示し、高次直接像の消失を示す。
• 形の短完全系列 $ 0 \to \nO_Y(-(k+1)S) \to \nO_Y(-kS) \to \nO_S(G_k) \to 0 $ を構成し、コホモロジー的消失を用いて $ R^1f_*\nO_Y = 0 $ を導出し、有理的性を証明する。
• 同じ消失を用いて、ねじれた層 $ \nO_Y(-kS + D_Y) $ および $ \nO_Y(K_Y - kS - D_Y) $ の議論を拡張し、$ i > 0 $ に対して $ R^if_*\nO_Y(D_Y) = 0 $ を示し、コhen-Macaulay性を保証する。
• 結果を混合特徴幾何に適用し、元の多様体が $ W_m(k) $ に持ち上がれば、大特徴における3次元多様体の除集合的収縮や反転が特徴0に持ち上がることを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての代数閉体上、特徴 $ p > p_0 $ の3次元 klt 特異点が有理的であるような一様な境界 $ p_0 $ が存在するか？
• RQ2 正の特徴におけるカワマタ＝ヴィエヒェグの消失定理の失敗を克服し、3次元における klt 特異点の有理的性を回復できるか？
• RQ3 大正の特徴における3次元多様体の MMP 操作（例えば、除集合的収縮）が、特徴0にどれほどまで持ち上がるか？
• RQ4 3次元における klt 特異点の有理的性は、すべての $ p > 2 $ に対して成り立つか、それとも小特徴に反例が存在するか？
• RQ5 最適な $ p_0 $ の値は何か？また、小特徴における非コhen-Macaulay klt 特異点の既知の例とどのように関係するか？

主な発見

• 自然数 $ p_0 $ が存在し、特徴 $ p > p_0 $ の代数閉体上での任意の3次元 klt 特異点が有理的かつコhen-Macaulayである。
• 一般にカワマタ＝ヴィエヒェグの消失定理が成立しない正の特徴においても、3次元における klt 特異点の有理的性は成立する。
• 定数 $ p_0 $ は、大特徴における対数デル・ペッツォ表面に対する定理1.2の適用から生じる。
• $ \bQ $-因子的3次元多様体 klt 対において、同じ特徴の境界のもとで任意のウェイル除集合 $ D $ に対して $ \nO_X(D) $ はコhen-Macaulayである。
• この結果は、源多様体が $ W_m(k) $ に持ち上がれば、大特徴における3次元多様体の除集合的収縮が特徴0に持ち上がることを示唆する（系5.1）。
• 小特徴では有理的性の反例が存在する：$ p \neq 2 $ に対して、次元 $ d \to \frac{d(d-1)}{2} \to p $ となる商 klt 特異点で、コhen-Macaulayでないものがあり、境界 $ p_0 $ が必須であることを示している。