Images of toric variety and amplified endomorphism of weak Fano threefolds

技术摘要：环面簇的像与弱 Fano 三维流形的放大内同态

问题陈述
本文探讨了关于在特定几何与动力学约束下对光滑射影簇进行分类的两个相关猜想。

1. 环面像猜想 (Occhetta-Wiśniewski)： 若一个光滑射影簇 $X$ 存在一个来自适当环面簇（proper toric variety）的满射，那么 $X$ 本身是否也是环面簇？该猜想在曲面、Fano 三维流形以及 Picard 数 $\rho(X)=1$ 的情况下已得到证实，但在高维和高 Picard 数的情况下仍是一个开放问题。
2. 内放大内同态猜想 (Fakhruddin, Meng, Zhang, Zhong)： 一个具有内放大内同态（int-amplified endomorphism）的平滑射影有理连通簇是否必然是环面簇？该猜想在曲线、曲面、超曲面以及 Fano 三维流形的情况下已得到证实。

本文的研究重点在于特定的弱 Fano 三维流形（即 $-K_X$ 为 nef 且 big）且 Picard 数 $\rho(X)=2$ 的情形。目标是确定此类在满足“环面像”或“具有内放大内同态”条件下，是否必须是环面簇。

方法论
核心技术工具是 Bott 消失定理（及其对数变体）。本文利用了以下逻辑框架：

• 反证法（逆否命题法）： 作者证明了特定类别的 $\rho(X)=2$ 的弱 Fano 三维流形不满足 Bott 消失定理。
• 理论联系： 已知结果（引用自 [30]）表明，如果一个簇是环面像或具有内放大内同态，则它必须满足 Bott 消失（或对数 Bott 消失）。
• 排除法： 通过证明非环面候选簇不满足 Bott 消失，作者将它们从可能的反例名单中剔除。因此，任何满足假设（环面像或内放大内同态）但不是 Fano 的簇，必然属于一组非常特定的例外列表，而这些例外被证明是环面簇。

证明过程高度依赖于：

• Hirzebruch-Riemann-Roch (HRR) 计算： 通过对各种线丛 $L$ 进行显式的欧拉示性数 $\chi(X, \Omega^2_X(L))$ 计算，以检测非零上同调。
• 极小模型纲领 (MMP)： 分析曲线锥 $NE(X)$ 的结构，特别是对于 Picard 数为 2 的情况，分析两条射线（一条 $K_X$ 负向，一条 $K_X$ 平坦）的收缩。
• 不动点变换图 (Flop Diagrams)： 利用环面像和内同态在不动点变换下的行为（引理 5.5，引理 6.2），将不存在纤维化的情况简化为存在纤维化的情况。
• 分类表： 参考现有的弱 Fano 三维流形分类（如 [5], [13], [14]），根据推导出的数值不变量测试特定案例。

主要贡献与结果

1. Bott 消失性的失效 (第 4 节)
作者推导了弱 Fano 三维流形 $\chi(X, \Omega^2_X(H-K_X))$ 以及相关项的显式公式。

• 定理 4.1： 为一般的弱 Fano 三维流形、$\mathbb{P}^1$ 上射影丛中的超曲面以及 $\mathbb{P}^2$ 上的射影丛提供了公式。
• 推论 4.2： 证明了若干重要的 $\rho(X)=2$ 弱 Fano 三维流形类不具备 Bott 消失性。这些类包括：
  • $\mathbb{P}^1$ 上的度数为 6 和 8 的 del Pezzo 纤维化。
  • $\mathbb{P}^2$ 上的圆锥丛（具有特定例外）。
  • 特定文献（[5], [13], [14]）表格中所列的簇。

2. 环面像定理 (定理 A)

• 陈述： 令 $X$ 为光滑射影三维流形，满足 $\rho(X)=2$ 且 $-K_X$ 为 nef。若 $X$ 是适当环面簇在满射下的像，则 $X$ 要么是一个环面 Fano 簇，要么是以下三个特定的弱 Fano 簇之一：
  1. $\mathbb{P}_{\mathbb{P}^1}(\mathcal{O}_{\mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1}(1)^{\oplus 2})$
  2. $\mathbb{P}_{\mathbb{P}^1}(\mathcal{O}_{\mathbb{P}^1}^{\oplus 2} \oplus \mathcal{O}_{\mathbb{P}^1}(2))$
  3. $\mathbb{P}_{\mathbb{P}^2}(\mathcal{O}_{\mathbb{P}^2} \oplus \mathcal{O}_{\mathbb{P}^2}(3))$
• 意义： 这证明了 Occhetta-Wiśniewski 猜想在 $\rho(X)=2$ 且反规范丛为 nef 的情形下的成立。该证明显著地避免了繁重的组合扇形几何，而是依靠 Bott 消失性的失效来排除非环面候选者。

3. 内放大内同态定理 (定理 B)

• 陈述： 令 $X$ 为光滑射影弱 Fano 三维流形，满足 $\rho(X)=2$。若 $X$ 具有一个内放大内同态，则 $X$ 要么是环面 Fano 簇，要么是定理 A 中列出的那三个特定簇之一。
• 意义： 这证明了 Fakhruddin 等人关于弱 Fano 三维流形 $\rho(X)=2$ 的猜想。其论证过程与定理 A 的证明相呼应，利用了内放大内同态蕴含对数 Bott 消失（引理 6.4）的事实。

作者对重要性的声明

• 对前人工作的扩展： 结果将这些猜想的先前证明从 Fano 三维流形扩展到了更广泛的“弱” Fano 三维流形类别。
• 独立性与互补性： 作者指出，虽然另一篇预印本 [4] 最近使用不同的方法（不涉及 Bott 消失）证明了 $\rho(X)=2$ 的有理连通三维流形的内放大猜想，但本文的方法是不同的。作者声称，其针对定理 B 的论证并不能推广到 [4] 中的一般情况；反之，[4] 中的方法也无法证明定理 A（环面像情形）。
• 分类洞察： 作为副产品，本文提供了一个证明，即定理 A 中列出的三个特定簇是 $\rho(X)=2$ 的仅有的非 Fano 环面弱 Fano 三维流形，且无需依赖扇形组合学。
• 推广 (注 6.5)： 作者暗示其证明技术意味着一个更普遍的陈述：任何 $\rho(X)=2$ 的 $F$-提升（$F$-liftable）弱 Fano 三维流形都是环面簇，这是 [1] 所提猜想的一个特例。

结论
本文成功解决了在 $\rho(X)=2$ 这一特定且非平凡的弱 Fano 三维流形情形下的两个猜想。通过为非环面候选者建立精确的数值障碍（Bott 消失性的失效），作者展示了任何满足动力学或映射条件的簇都必须是环面簇（或属于三个明确识别出的环面弱 Fano 簇之一）。