[论文解读] On the anti-canonical ring and varieties of Fano type

Paolo Cascini, Yoshinori Gongyo|arXiv (Cornell University)|Jun 19, 2013

Algebraic Geometry and Number Theory参考文献 27被引用 9

一句话总结

本文通过其反 canonical环的奇点特性，对法诺型簇进行了刻画：一个 Q-Gorenstein 正常簇是法诺型当且仅当其反 canonical 除子是大除子，其反 canonical 环是有限生成的，且该环的射影谱具有对数终端奇点。该结果推广了已知的二维结果，并在不依赖 Mori dream 空间假设的前提下，为高维法诺型簇提供了基础性判别准则。

ABSTRACT

We study the anti-canonical ring of a projective variety and we characterise varieties of log Fano type depending on the singularities of these models.

研究动机与目标

• 通过其反 canonical 模型的奇点特性，对法诺型簇进行刻画。
• 将已知的二维结果推广至高维簇。
• 阐明反 canonical 环的有限生成性以及反 canonical 模型奇点在确定法诺型状态中的作用。
• 解决关于法诺型、有理连通性与 Mori dream 空间之间关系的开放问题。

提出的方法

• 分析 Q-Gorenstein 正常簇 $ X $ 的反 canonical 环 $ R(-K_X) $，重点关注其有限生成性以及 $ \mathrm{Proj}\,R(-K_X) $ 的奇点特性。
• 应用极小模型程序技术，包括对数终端模型与对数解析解，研究对偶对 $ (X, \Delta) $ 的奇点。
• 利用 Mori dream 空间理论与 Cox 环的有限生成性，将几何性质与环论条件联系起来。
• 应用极小模型程序中的结果，如极小模型的存在性与丰沛猜想，证明在标准猜想下有限生成性。
• 构造显式反例，表明某些法诺型准则的自然推广在对数极大情形下不成立。
• 采用可移动与大反 canonical 除子的概念，检验法诺型条件的边界。

实验结果

研究问题

• RQ1 基于其反 canonical 环的结构及其反 canonical 模型的奇点特性，Q-Gorenstein 正常簇在何种条件下是法诺型？
• RQ2 法诺型性质能否仅通过 $ R(-K_X) $ 的有限生成性以及 $ \mathrm{Proj}\,R(-K_X) $ 的对数终端奇点来刻画，而无需假设该簇是 Mori dream 空间？
• RQ3 若存在一个大且可移动的反 canonical 除子，是否意味着该簇是法诺型，即使该对不是 klt？
• RQ4 每个有理连通簇是否都双有理等价于一个法诺型簇，正如 Borisov-Alexeev-Borisov 猜想所暗示的？
• RQ5 对数极大弱法诺对是否一定是 Mori dream 空间，即使 $ -(K_X + \Delta) $ 是半正则且大，也可能不成立？

主要发现

• 一个 Q-Gorenstein 正常簇 $ X $ 是法诺型当且仅当 $ -K_X $ 是大除子，$ R(-K_X) $ 是有限生成的，且 $ \mathrm{Proj}\,R(-K_X) $ 具有对数终端奇点。
• 该结果推广了已知的二维刻画，并且在不假设 $ X $ 是 Mori dream 空间的情况下依然成立。
• 反 canonical 环的有限生成性与反 canonical 模型的对数终端性质，均为法诺型性质的必要且充分条件。
• 本文提供了一个反例，表明一个 Kawamata 对数终端对，即使其 $ -(K_X + \Delta) $ 是可移动且大除子，也不一定是法诺型，从而否定了某个潜在推广。
• 研究还表明，具有大且半正则反 canonical 除子的对数极大弱法诺对，不一定是 Mori dream 空间，即使 $ H^1(X, \mathcal{O}_X) = 0 $。
• 在极小模型程序的第 $ n $ 维标准猜想下，证明了对数极大对若 $ -(K_X + \Delta) $ 是 ample，则其为 Mori dream 空间。