[论文解读] On Kawamata--Viehweg type vanishing for three dimensional Mori fiber spaces in positive characteristic

Tatsuro Kawakami|arXiv (Cornell University)|Apr 13, 2020

Algebraic Geometry and Number Theory参考文献 34被引用 4

一句话总结

本文在正特征下建立了三维Mori纤维空间的Kawamata–Viehweg型消失定理，证明了在光滑Fano三叉、典范del Pezzo曲面及del Pezzo纤维丛上，对于nef且big的ℚ-Weil除子D，有H¹(Y, ℚ_Y(−D)) = 0。该结果将特征零情形下的已知消失性推广至正特征，弥补了先前工作的漏洞，并解决了p ≥ 3时的开放问题。

ABSTRACT

In this paper, we prove a Kawamata--Viehweg type vanishing theorem for smooth Fano threefolds, canonical del Pezzo surfaces and del Pezzo fibrations in positive characteristic.

研究动机与目标

• 在正特征下建立三维Mori纤维空间的Kawamata–Viehweg型消失定理，其中经典消失性不成立。
• 在p = 2,3时发现反例后，解决关于典范del Pezzo曲面在特征p ≥ 3时Kawamata–Viehweg消失性是否成立的开放问题。
• 将Patakfalvi–Waldron对光滑del Pezzo纤维丛的消失结果推广至具有孤立奇点的ℚ-因子三叉及nef的ℚ-Weil除子。
• 通过在p、光滑性及ample性条件下补充额外假设，解决[29, 注记1.11]中H²(Y, 𝒪_Y(−D))的消失性问题。
• 通过施加更精细的数值与几何条件，弥补[33, 定理1.4]中p = 2,3时的漏洞。

提出的方法

• 通过极小化收缩将光滑Fano三叉的消失性归约至Picard数为1的情形，并应用Shepherd-Barron的结果。
• 利用奇点的解析与典范奇点条件，分析典范del Pezzo曲面上H¹(X, 𝒪_X(−D))的性质。
• 应用数值维数ν(X,D) > 1的理论，通过D的正性与nef性控制上同调。
• 分析纤维丛f: Y → Z的非正规纤维，基于Patakfalvi–Waldron的框架推导出H²(Y, 𝒪_Y(−D))的消失性。
• 利用Serre消失定理与Frobenius的纯不可分基变换，构造一个满足−K_Z数值正定的代数簇Z。
• 通过adjunction公式与极小模型程序，从存在小反canonical度数的有理曲线出发导出矛盾。

实验结果

研究问题

• RQ1 在正特征p ≥ 3下，Kawamata–Viehweg消失性是否对典范del Pezzo曲面成立？
• RQ2 在正特征下，H¹(Y, 𝒪_Y(−D))的消失性能否从光滑情形推广至具有孤立奇点的ℚ-因子三叉？
• RQ3 在特征p ≥ 11下，H²(Y, 𝒪_Y(−D)) = 0是否对光滑del Pezzo纤维丛上ample的D成立？
• RQ4 能否通过施加ν(X,D) > 1等额外条件，弥补[33, 定理1.4]中p = 2,3时的漏洞？
• RQ5 是否存在Mori纤维空间在光滑情形之外的正特征Kawamata–Viehweg消失性类比？

主要发现

• 对特征p > 0的光滑Fano三叉X，若D是满足𝒪_X(D) ⊂ Ω_X的Cartier除子，则κ(X,D) = −∞；若D为nef且ν(X,D) > 1，则H¹(X, 𝒪_X(−D)) = 0。
• 对具有典范奇点且κ(X) = −∞的正常射影曲面X，当p ≠ 2时，对任意nef且big的ℚ-Weil除子D，均有H¹(X, 𝒪_X(−D)) = 0。
• 对从具有孤立奇点的正常射影三叉Y到代数闭域上光滑曲线Z的Mori纤维丛f: Y → Z，若D为nef的ℚ-Weil除子且ν(X,D) > 1，则H¹(Y, 𝒪_Y(−D)) = 0。
• 若p ≥ 11，Y光滑且D ample，则H²(Y, 𝒪_Y(−D)) = 0，从而解决[29, 注记1.11]。
• 本文通过补充条件ν(X,D) > 1，修正了[33, 定理1.4]中p = 2,3时的漏洞，该条件在原证明中缺失。
• 证明通过Frobenius基变换构造出一个满足−K_Z数值正定的代数簇Z，若H¹或H²不消失，则通过adjunction与有理曲线分析导出矛盾。