Geometry of Holomorphic One-forms on Smooth Projective Varieties

技术摘要：光滑射影簇上全纯 1-形式的几何学

问题陈述
本文通过全纯 1-形式的角度研究了非正则簇（irregular varieties）的几何与拓扑。具体而言，它探讨了不存在处处不为零的全纯 1-形式的存在性，与光滑射影簇到阿贝尔簇（abelian varieties）之态射的光滑性之间的关系。此外，本文试图刻画具有零点的全纯 1-形式空间的结构。一个核心问题是，这些空间——特别是其“低层集”（即零点余维数 $\leq i$ 的形式子集）——是表现为线性结构（向量子空间的并集），还是可以是非线性的，从而反映更复杂的代数几何性质。

研究方法
作者结合了微分几何技术、代数拓扑和双有理几何：

1. 极限相对法向向量（Limit Relative Conormal Vectors）： 为了分析映射 $f: X \to A$（其中 $A$ 是一个阿贝尔簇）的奇异性，作者利用了相对法向空间 $T^*_f X$ 的概念。他们引入了一个被称为“无 0 维处爆破”（without blow-up in codimension 0）的条件，该条件定义为从相对法向空间到目标空间的自然映射是等维的。
2. 拓扑约束： 证明过程利用了高阶直接像 $R^i f_* \mathbb{Z}$ 是 $\mathbb{Z}$-局部系统（定义了一个 $\mathbb{Z}$-同调纤维丛）这一条件。作者证明，这一拓扑条件强制要求该态射是“无 0 维处爆破”的，并且在特定条件下是光滑的。
3. 上同调跳跃环路与形式性（Formality）： 对零点空间线性性的研究依赖于上同调跳跃环路的切锥定理。作者区分了源自上同调跳跃环路的 1-形式（它们构成线性子集 $V^i(X)$）以及那些并非源自此类形式的“非形式”（non-formal）形式。
4. 显式构造： 为了展示线性性的局限性，作者构造了特定的例子，包括阿贝尔簇中子簇的爆破，以及椭圆曲线与阿贝尔簇乘积的超平面截面。

主要贡献与结果

• 光滑态射的刻画（定理 1.1 / 2.5）：
  本文确立了从光滑射影簇 $X$ 到一个单纯（simple）阿贝尔簇 $A$ 的态射 $f: X \to A$ 为光滑的充分必要条件。当且仅当存在阿贝尔簇 $A$ 上的全纯 1-形式 $\omega$，使得拉回 $f^*\omega$ 没有零点时，该态射是光滑的。这一结果证实了第二作者的猜想 [13]，并扩展了 Church [5] 关于低维情况的前期工作。通过涉及两个椭圆曲线乘积的爆破所构成的反例，证明了 $A$ 的单纯性是一个必要条件。

• $\mathbb{Z}$-同调纤维丛与平坦性（定理 1.2 / 2.2）：
  一个关键的中间结果证明，如果 $f: X \to Y$ 是从光滑簇到正规簇的适当态射，且高阶直接像 $R^i f_* \mathbb{Z}$ 是局部系统，则 $Y$ 是光滑的，且 $f$ 是“无 0 维处爆破”的。这一结果受到关于此类态射光滑性的 de Bobadilla-Kollár 猜想的启发。

• 带有零点的空间的线性性（定理 1.3 / 3.2, 3.3, 3.7）：
  作者研究了光滑射影簇 $X$（维度为 $n$）上具有零点的全纯 1-形式空间 $W^n(X)$。他们证明了在以下情况下，$W^n(X)$ 是有限个向量子空间的并集（即“线性子集”）：

  1. $X$ 是一个良好的极小模型（good minimal model）。
  2. $X$ 具有单纯的 Albanese 簇。
  3. $\dim(X) \leq 3$。
     在这些情况下，其结构受控于 $X$ 的双有理几何或其 Albanese 映射的单纯性。

• 低层集之非线性（定理 1.4 / 4.1）：
  与此前认为阿贝尔簇中的子簇的低层集 $W^i(X)$ 总是线性的直觉相反，作者构造了一个反例。他们展示了一个光滑射影四维簇 $X$（作为阿贝尔六维簇的一个子簇），其第三低层集 $W^3(X)$ 是非线性的。这回答了 [9] 中提出的问题，并表明具有零点的 1-形式空间可以编码精细的、非线性的代数结构，而这些结构无法被上同调跳跃环路所捕捉。

• 非形式 1-形式（第 4.2 节）：
  本文将“非形式”1-形式定义为那些具有零点且并非源自上同调跳跃环路的 1-形式。作者提供了一个涉及 Koszul 复件精确性的上同调判据来描述非形式性。作者研究了允许此类形式的曲面，表明对于 Albanese 维度为 1 的曲面，非形式性与 Albanese 映射纤维中非约化分量的存在有关。他们进一步证明，此类曲面不能被更高亏格曲线乘积所支配。

意义
本文声称对全纯 1-形式的空间进行了“精细研究”，架起了拓扑不变量（局部系统）与几何性质（态射的光滑性）之间的桥梁。通过证明存在无零点拉回形式与向单纯阿贝尔簇的态射光滑性之间的等价性，作者解决了该领域的一个特定猜想。

此外，在阿贝尔簇子簇中发现非线性低层集的现象，挑战了这些空间仅由源自上同调跳跃环路的线性结构所支配的普遍直觉。作者指出，非形式 1-形式反映了簇的“深层代数几何本质”，特别是关于双有理修正和极小模型的结构。这项工作完善了对 Albanese 映射的奇异性如何控制全纯 1-形式零点的理解，并为分析代数态射提供了新的工具（极限相对法向向量）。