[论文解读] Existence of good divisors on Mukai varieties

Massimiliano Mella|ArXiv.org|May 9, 1997

Algebraic Geometry and Number Theory参考文献 19被引用 59

一句话总结

本文证明了Mukai流形——即指数为 $ i(X) = n-2 $ 的Fano流形——上存在良好除子，除两个例外情况外：一个在 $ \mathbb{P}(1,1,1,1,2,3) $ 中的奇点终端Gorenstein三维流形，以及一个非Gorenstein终端三维流形，其canonical覆盖是 $ \mathbb{P}(1,1,1,1,1,2) $ 中一个二次曲面与一个四次曲面的完全交。该结果证实了Mukai的猜想，并通过Kawamata的无基点自由技巧与对对数极小奇点中心的子邻接公式，完成了对光滑Fano $ n $-流形（指数为 $ n-2 $）的分类。

ABSTRACT

A Mukai variety is a Fano n-fold of index n-2. In this paper we study the fundamental divisor of a Mukai variety with at worst log terminal singularities. The main result is a complete classification of log terminal Mukai varieties which have not good divisors, examples of "bad" varieties are given. In such a way we also give a shorter proof of Mukai Conjecture, solved in our previous paper alg-geom/9611024.

研究动机与目标

• 解决Mukai关于Mukai流形（即指数为 $ i(X) = n-2 $ 的Fano流形）中良好除子存在性的猜想，其奇点为对数终端奇点。
• 对所有缺乏良好除子的Mukai流形进行分类，识别出当一般基本除子具有经典奇点而非对数终端奇点时的例外情况。
• 通过证明在所述条件下良好除子的存在性，确认Mukai对光滑Fano $ n $-流形（指数为 $ n-2 $）分类的完备性。
• 通过Kawamata的无基点自由方法与对codimension ≤ 2中心的子邻接公式，将Shokurov、Reid与Prokhorov的技巧推广至终端与非Gorenstein情形。

提出的方法

• 应用Kawamata的无基点自由技巧分析线性系统 $ |H| $，其中 $ H $ 是Mukai流形的基本除子。
• 利用对数极小奇点中心及其交集性质，控制 $ |H| $ 中除子的基点与奇点。
• 对codimension ≤ 2的极小中心应用子邻接公式，将 $ H $ 的奇点与 $ X $ 的奇点关联，避免复杂的非零性论证。
• 应用Riemann–Roch计算，计算曲面 $ S \in |H| $ 上曲线 $ C $ 的 $ h^0(C, nH|_C) $，从而显式描述该流形为完全交。
• 分析非Gorenstein Mukai三维流形的canonical覆盖，将问题约化为加权射影空间中的完全交。
• 在canonical覆盖上使用对合技巧，通过不动点分析重构原流形并识别例外情况。

实验结果

研究问题

• RQ1 在何种条件下，具有对数终端奇点的Mukai流形会存在良好除子，即基本线性系统中的一般元素具有与环境流形同样或更优的奇点？
• RQ2 哪些Mukai流形不具有良好除子？其几何与双有理性质为何？
• RQ3 能否通过证明良好除子的存在性，确认Mukai关于光滑Fano $ n $-流形（指数为 $ n-2 $）分类的猜想？
• RQ4 基本除子 $ H $ 的奇点与环境流形 $ X $ 的奇点之间有何关系，特别是在非Gorenstein情形下？
• RQ5 基点与线性系统 $ |H| $ 在决定良好除子存在性中起何作用，尤其当 $ Bsl|H| \neq \emptyset $ 时？

主要发现

• 唯一不具有良好除子的Mukai流形是：一个在 $ \mathbb{P}(1,1,1,1,2,3) $ 中的奇点终端Gorenstein三维流形，其为一个二次曲面与一个六次曲面的完全交；以及一个非Gorenstein终端三维流形，其canonical覆盖是 $ \mathbb{P}(1,1,1,1,1,2) $ 中一个二次曲面与一个四次曲面的完全交。
• 在这两个例外情形中，基本除子的一般元素具有经典奇点，而非对数终端奇点，因此不构成良好除子。
• Mukai流形的基本除子 $ H $ 满足 $ -K_X \equiv H $，在非Gorenstein情形下 $ H^3 = 2 $，这是分类中的关键不变量。
• 对于光滑Mukai流形，$ |H| $ 中的一般除子是光滑的，从而确认此类流形具有良好除子，验证了Mukai分类计划。
• 证明中使用Riemann–Roch与上同调消去，证明在canonical覆盖上对 $ n > 1 $ 有 $ h^0(C, nH|_C) = 2(2n-1) $，从而实现流形作为完全交的构造。
• 证明了非Gorenstein情形的canonical覆盖是 $ \mathbb{P}(1,1,1,1,1,2) $ 中一个二次曲面与一个四次曲面的完全交，并通过显式对合实现商映射。