Obstructions for codimension one multiple fibers of Lagrangian and Calabi--Yau fibrations

问题陈述

本文探讨了高维复流形纤维化中余维数为一的多重纤维的存在性问题，特别关注了超凯勒流形的拉格朗日纤维化以及单连通 $K$-平凡簇的 Calabi–Yau 纤维化。虽然椭圆 K3 曲面在 $\mathbb{P}^1$ 上的纤维不存在多重纤维是一个经典结论，但这种性质在高维情形下的行为尚未得到充分确立。作者研究了该非存在性性质是否可以推广至：

1. 拉格朗日纤维化 $f: X \to \mathbb{P}^n$，其中 $X$ 是一个超凯勒流形。
2. Calabi–Yau 纤维化 $f: X \to \mathbb{P}^n$，其中 $X$ 是一个单连通、光滑、射影的 $K$-平凡簇。

一个余维数为一的多重纤维被定义为一个素除子 $D \subset B$，使得其原像 $f^{-1}(D) = mE$，其中 $m$ 为大于 1 的整数且 $E$ 为有效除子。本文还探讨了当全空间 $X$ 是奇异时，这些结果的局限性。

方法论

作者结合了经典的代数几何技术和涉及基底射影空间 Grothendieck 环的新型计算工具。其核心策略是采用反证法：假设存在一个重数为 $m > 1$ 的余维数为一的多重纤维，通过以下步骤导出矛盾：

1. 循环覆盖与整除性： 利用循环覆盖技巧和 $X$ 的单连通性，他们推导出基底中的超平面类 $f^*\mathcal{O}_{\mathbb{P}^n}(1)$ 在 $X$ 的 Picard 群中必须能被 $m$ 唯一整除。这允许构造一个特定的线丛 $\mathcal{O}_X(1/m)$。
2. 高阶直接像层： 他们分析了高阶直接像层 $R^i f_* \mathcal{O}_X(j/m)$。利用 Kollár 关于高阶直接像的消解定理以及 $X$ 是 $K$-平凡且具有有理奇异性的假设，他们确定这些层在基底 $\mathbb{P}^n$ 上是局部自由的。
3. Horrocks 判别准则： 通过应用 Horrocks 分裂判别准则，他们证明了这些局部自由层可以分解为 $\mathbb{P}^n$ 上的线丛的直和。
4. Beilinson 范数与 Hilbert 多项式：
   • 对于拉格朗日纤维化，作者引入了一个定义在 Grothendieck 群 $K_0(\mathbb{P}^n)$ 上的“Beilinson 范数”，该范数是相对于 Beilinson 基底 $[\mathcal{O}_{\mathbb{P}^n}(-n)], \dots, [\mathcal{O}_{\mathbb{P}^n}]$ 定义的。他们通过两种方式计算了类 $[R f_* \mathcal{O}_X(1/m)]$ 的范数：第一种是利用 Euler 示性数（通过 Huybrechts–Riemann–Roch 公式），第二种是利用直和分解下的三角不等式。所得的不等式导致了矛盾。
   • 对于 Calabi–Yau 纤维化，他们利用了类 $[R f_* \mathcal{O}_X(1/m)]$ 的 Hilbert 多项式的整性约束。他们证明了由纤维化几何导出的多项式在大多数情况下无法满足要求的整性条件（当 $m > 1$ 时）。

主要贡献与结果

本文确立了以下主要定理：

• 定理 1.1（拉格朗日纤维化）： 来自超凯勒流形 $X$ 的拉格朗日纤维化 $f: X \to \mathbb{P}^n$ 不存在余维数为一的多重纤维。

  • 意义： 这一结果是紧致的；作者指出，多重纤维可以在非紧致设置或更高余维数的情况下存在，但在该类流形的余维数为一情形下是被严格禁止的。
  • 后果： 该结果使得文献中之前的若干结果变得无条件成立。它意味着在余维数为一的情形下存在局部截面，确认了嵌入 $f^*(\text{Pic}(\mathbb{P}^n)) \subset \text{Pic}(X)$ 的原初性，并简化了对 Tate–Shafarevich 群在有界性问题中的分析。它也支持了 Sawon 关于一般奇异纤维结构的猜想（即在特定 Picard 数条件下，其结构是约化的且属于 I, II, III 或 IV 型）。

• 定理 1.3（Calabi–Yau 纤维化）： 令 $X$ 为一个单连通、光滑、射影的 $K$-平凡簇，具有相对维度为 $r$ 的 Calabi–Yau 纤维化 $f: X \to \mathbb{P}^n$。

  • 如果 $n \ge 2$ 或 $r$ 为奇数，则 $f$ 不存在余维数为一的多重纤维。
  • 如果 $n = 1$ 且 $r$ 为偶数，则 $f$ 不存在重数大于 2 的多重纤维，且至多只有一个重数为 2 的纤维。
  • 最优性： 作者通过构造包含 Enriques–Calabi–Yau 除子的 $K$-平凡簇（推广了 Borisov–Nuer 示例）证明了该界限是尖锐的，这些示例允许存在一个重数为 2 的多重纤维。这种情况专门出现在基底维度 $n=1$ 且相对维度 $r$ 为偶数时。

• 对奇异空间的推广：

  • 作者表明，这些结果并不会自动推广到具有 Gorenstein 规范奇异性的簇（引用一个奇异 Kummer K3 曲面作为反例）。
  • 然而，他们证明了对于**因子型（factorial）**不可约辛流形（一种奇异的超凯勒流形推广），余维数为一的多重纤维的不存在性仍然成立。
  • 对于 $K_X$ 是基点自由的具有终端奇异性的簇上的椭圆纤维化，多重纤维的不存在性也被保留了下来。

意义与主张

本文声称提供了将经典椭圆 K3 曲面多重纤维不存在性向高维推广的“最优推广”。其主要意义在于：

1. 无条件结果： 移除了先前关于拉格朗日纤维化研究中需要假设不存在多重纤维的限制，从而巩固了这些纤维化的结构理论。
2. 结构洞察： 阐明了 Picard 嵌入的原初性与多重纤维存在性之间的关系。
3. 界限的尖锐性： 精确地划定了 Calabi–Yau 纤维化中是否存在多重纤维的边界，识别出了存在单个双重纤维的具体数值情形（$n=1, r$ 为偶数），并为该情形提供了显式构造。

作者在对待奇异情形时保持了谦逊的态度，承认虽然其方法需要光滑性或因子型性质，但结果在特定的奇异语境（因子型不可约辛流形）下是成立的，但在其他情形（如规范奇异性）下会失效，并将一般的奇异情形留作进一步研究的开放领域。