Families of smooth Fano fourfolds of Picard rank 1 without Bott vanishing

技术摘要：不满足 Bott 消失性的 Picard 数为 1 的光滑 Fano 四维流形的族

问题陈述
本文研究了关于光滑 Fano 簇自同构的一个著名的已知猜想的一个特定情形。猜想 1.1 指出，如果一个在代数封闭域（特征为零）上的光滑 Fano 簇 $X$ 的 Picard 数 $\rho(X)=1$，且其具有次数大于 1 的自同构，那么 $X$ 必须同构于射影空间 $\mathbb{P}^n$。

Kawakami 和 Totaro [16] 最近的工作建立了一个普遍的蕴含关系：存在 int-amplified 自同构（当 $\rho(X)=1$ 时，这等价于次数 $>1$ 的自同构）意味着 $X$ 满足“Bott 消失性”。Bott 消失性要求对于所有 $i > 0$，$j \ge 0$ 以及每个振幅 Weil 除子 $A$，都有 $H^i(X, \Omega^j_X(A)) = 0$。

本文处理的具体问题是验证目前已知的 Picard 数为 1 且 Fano 指数为 1 的光滑 Fano 四维流形族中的该猜想。由于指数 $>1$ 的情况以及其他维度或结构的情况已知满足该猜想，因此维度为 4 且指数为 1 的情况仍处于开放状态。作者旨在确定这些已知的族是否满足 Bott 消失性；如果它们不满足，则它们不能具有次数 $>1$ 的自同ors。

方法论
作者采用了使用 Macaulay2 软件包 Schubert2 的计算方法。核心策略依赖于 Bott 消失性与切丛的欧拉示性数 $\chi(X, T_X)$ 之间的关系。

1. 逻辑简化： 作者观察到，如果一个 Fano 簇 $X$ 满足 Bott 消失性，那么对于所有 $i > 0$，都有 $H^i(X, T_X) = 0$（因为 $T_X \cong \Omega^3_X \otimes (-K_X)$ 且 $-K_X$ 是振幅的）。因此，$\chi(X, T_X) = h^0(X, T_X) \ge 0$。所以，如果作者能够证明对于给定的族 $\chi(X, T_X) < 0$，则 Bott 消失性失效，该簇也就不能具有次数 $>1$ 的自同构。
2. 计算工具： 为了计算复杂几何构造中的 $\chi(X, T_X)$，作者（与 Burt Totaro 合作）为 Schubert2 软件包开发了新的函数。这些函数处理：
   • 对称与反对称退化点集： 函数 skewDegeneracyLocus、symmetricDegeneracyLocus 及其变体（...2、...KernelBundle）通过计算由对称或反对称态射的秩条件定义的点集的特征类和欧拉示性数。这些计算利用了通过相对 Grassmannian 以及基于 Fulton、Harris–Tu 和 Józefiak–Lascoux–Pragacz 定理的 Chern 类计算所建立的解析。
   • 加权射影空间： 函数 weightedProjectiveBundle 和 weightedProjectiveSpace 实现了在加权射影设置下的交截理论计算，适当地模拟了交截环和推前（pushforwards）。
3. 计算范围： 作者将这些工具应用于 32 个特定的 Picard 数为 1 且指数为 1 的光滑 Fano 四维流形族：
   • 13 个在加权射影空间中实现为完全相交（complete intersections）的族。
   • 13 个在 Grassmannian 上实现为齐次向量丛零点集的族。
   • 6 个额外的实现为反对称退化点集（Pfaffian 子簇）的族，包括 Qureshi 和 Küchle 的构造。

主要贡献

1. 算法开发： 本文引入并记录了 Schubert2 中新的计算函数，这些函数允许系统地计算退化点集（既对称也反对称）以及加权射影簇的特征类和欧拉示性数。
2. 系统验证： 作者对所有 32 个目前已知的 Picard 数为 1 且指数为 1 的光滑 Fano 四维流形族进行了全面的 $\chi(X, T_X)$ 计算。

结果
计算得出了以下确定的结果：

• 定理 1.3： 对于所有 32 个目前已知的 Picard 数为 1 且指数为 1 的光滑 Fano 四维流形族，欧拉示性数 $\chi(X, T_X)$ 严格为负。
• Bott 消失性的失效： 由于 $\chi(X, T_X) < 0$，条件 $H^i(X, T_X) = 0$ 对于 $i > 0$ 不可能成立。因此，这 32 个族都不满足 Bott 消失性。
• 推论 1.4： 结合已知的其他情况（Picard 数 1，指数 $>1$），作者得出结论：在所有目前已知的 Picard 数为 1 的光滑 Fano 四维流形中，唯一可以具有次数大于 1 的自同构的簇是射影空间 $\mathbb{P}^4$。

意义
本文声称验证了针对目前已知的全部光滑 Picard 数为 1 的 Fano 四维流形的自同构猜想。通过证明在所有非射影性的已知情况下，切丛的负欧拉示性数预先排除了 Bott 消失性，作者排除了这些簇存在非平凡自同构的可能性。这项工作依赖于 Kawakami–Totaro [16] 建立的蕴含关系，并将对猜想 1.1 的验证扩展到了维度为 4 的指数 1 情况，填补了 Fano 簇分类中关于自同构性质的一个空白。本文并不声称证明了对所有可能的 Fano 四维流形的猜想（因为指数 1 的族分类尚未完成），而是将其结论严格限制在“目前已知”的族内。