[论文解读] On the existence of certain weak Fano threefolds of Picard number two

Maxim Arap, Joseph Cutrone+1 more|arXiv (Cornell University)|Dec 12, 2011

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

一句话总结

本文通过在指标为1、2或3的法诺三复形上对曲线进行爆破，解决了120个具有小反 canonical 映射的二元 Picard 数弱法诺三复形的几何实现性问题。证明了[CM13]中120个开放案例中的113个可通过布里尔-诺伊曼一般 K3 曲面实现几何实现，而12个由于技术障碍仍无法解决。

ABSTRACT

This article settles the question of existence of smooth weak Fano threefolds of Picard number two with small anti-canonical map and previously classified numerical invariants obtained by blowing up certain curves on smooth Fano threefolds of Picard number 1 with the exception of 12 numerical cases.

研究动机与目标

• 确定具有小反 canonical 映射的二元 Picard 数弱法诺三复形的哪些数值不变量可实现为几何对象。
• 通过解决[CM13]中的开放案例，弥合关于一元 Picard 数法诺三复形之间 Sarkisov 链分类的空白。
• 通过在指标为1、2或3的光滑法诺三复形上对曲线进行爆破，建立 E1-E1 型 Sarkisov 链的几何实现性。
• 识别并解释当前方法中由于技术障碍而无法解决的12个剩余开放案例。

提出的方法

• 通过在具有 Picard 数一的光滑法诺三复形上沿给定次数与亏格的光滑不可约曲线进行爆破，构造弱法诺三复形。
• 利用法诺三复形中布里尔-诺伊曼一般 K3 曲面的存在性，确保反 canonical 系的自由性与 nef 性。
• 应用 Knutsen 对射影空间中 K3 曲面的分类，验证特定数值情况下此类曲面的不存在性。
• 使用 [Knu13, Thm.3.2] 中的判别准则，确定给定 (d,g) 的 K3 曲面是否为布里尔-诺伊曼一般。
• 通过检查数值案例是否不出现在 [JPR05] 中的除子型收缩表中，确认反 canonical 系 |−K_X| 给出小收缩。
• 通过确保数值案例不出现在 [JPR11] 或 [CM13] 中的非 E1-E1 表中，确认翻转态射 φ⁺ 为 E1 型。

实验结果

研究问题

• RQ1 具有小反 canonical 映射的二元 Picard 数弱法诺三复形的哪些数值不变量可实现为几何对象？
• RQ2 能否将 [CM13, Table E1-E1] 中的开放案例实现为指标为1、2或3的法诺三复形上曲线的爆破？
• RQ3 对曲线的次数 d 与亏格 g 有何条件，可确保其爆破产生具有小反 canonical 映射的弱法诺三复形？
• RQ4 尽管有通用方法，为何12个特定案例仍无法解决？
• RQ5 能否证明反 canonical 系 |−K_X| 给出小收缩而非除子型收缩？

主要发现

• 当从光滑二次曲面三复形出发时，[CM13, Table E1-E1] 中案例 44–46、48、70、71、86、88、97、105 的数值不变量可实现为几何对象。
• 当从次数为4的 del Pezzo 三复形出发时，案例 30、34、37、41、64、84 的数值不变量可实现为几何对象。
• 当从次数为5的 del Pezzo 三复形出发时，案例 31、35、38、40、42、65、68、69、81、83、94、96、101 的数值不变量可实现为几何对象。
• 案例 43 无法实现，原因在于缺乏合适的 K3 曲面嵌入。
• 当从指标为1的法诺三复形出发时，案例 3–8、11–15、18–20、23、55–57、79、93、100、104 的数值不变量可实现为几何对象。
• 案例 16、17、21、22、24–26、58、60 无法实现，原因是在对应法诺三复形中不存在具有所需 (d,g) 的布里尔-诺伊曼一般 K3 曲面。