On the Boucksom-Zariski decomposition for irreducible symplectic varieties and bounded negativity

这是一份关于论文《ON THE BOUCKSOM-ZARISKI DECOMPOSITION FOR IRREDUCIBLE SYMPLECTIC VARIETIES AND BOUNDED NEGATIVITY》（不可约辛簇上的 Boucksom-Zariski 分解与有界负性）的详细技术总结。

1. 研究背景与问题 (Problem)

背景：

• Zariski 分解的重要性： 在代数曲面理论中，Zariski 分解是研究线性系的核心工具。它将一个伪有效除子分解为“正部”（ nef 部分）和“负部”（exceptional 部分），使得正部保留了原除子的截面信息。
• 高维推广： 对于不可约辛流形（Irreducible Symplectic Manifolds, ISM），Boucksom 利用 Beauville-Bogomolov-Fujiki (BBF) 二次型定义了除子上的 Zariski 分解（称为 Boucksom-Zariski 分解）。
• 现有局限：
  1. 奇异性： 现有的 Boucksom 分解理论主要建立在光滑流形上。然而，在最小模型纲领（MMP）和模空间理论中，具有辛奇点（symplectic singularities）的奇异不可约辛簇（如模空间、商空间等）非常重要。目前尚不清楚 Boucksom-Zariski 分解是否在这些奇异情形下依然成立。
  2. 分母有界性与有效birationality： 在曲面上，Zariski 分解系数的分母有界性与“有界负性猜想”（Bounded Negativity Conjecture）密切相关。在高维不可约辛簇中，是否存在类似的有界性？如果存在，能否给出显式的界限？这直接关系到大线丛的有效 birationality（即何时 $|mL|$ 给出 birational 映射）。

核心问题：

1. Boucksom-Zariski 分解是否适用于具有辛奇点的不可约辛簇（包括非 $\mathbb{Q}$-因子的情况）？
2. 对于投影不可约辛簇，Boucksom-Zariski 分解中系数的分母是否有全局上界？
3. 能否证明一个有效的“有界负性”结果，并由此推导出大线丛的有效 birationality 界限？

---

2. 方法论 (Methodology)

作者采用了结合代数几何、Hodge 理论和格论（Lattice Theory）的综合方法：

1. 推广二次型定义：

   • 针对非 $\mathbb{Q}$-因子（non-$\mathbb{Q}$-factorial）的奇异簇，作者将 BBF 二次型 $q_X$ 的定义从 Cartier 除子扩展到了 Weil 除子 上。
   • 通过考虑“分歧轨迹”（dissident locus，即比 ADE 型更差的奇点）的补集 $U$（此处为 $\mathbb{Q}$-因子），利用解析延拓和闭包映射（closure map），在任意解析解（resolution of singularities）上定义 Weil 除子的拉回，从而定义二次型。
   • 证明了该定义与解的选择无关，且在 Weil 除子的线性等价类上是良定义的。

2. 建立“交积”性质 (Intersection Product Property)：

   • 借鉴 Bauer 对曲面的处理方法，证明在具有辛奇点的紧致 Kähler 簇上，定义的二次型 $q_{X,\sigma}$ 满足“交积”性质：即对于两个不同的素除子 $D, D'$，有 $q(D, D') \ge 0$。
   • 这一性质是应用 [7] 中的定理来保证 Zariski 分解存在性的关键。

3. 有界负性与格论分析：

   • 利用 Druel 和 Markman 关于素例外除子（prime exceptional divisors）几何性质的已知结果（如收缩映射、曲线类与除子类的关系）。
   • 结合 $H^2(X, \mathbb{Z})$ 的判别群（discriminant group）$A_X$ 的性质，推导素例外除子的自交数下界。
   • 利用 Cramer 法则分析 Zariski 分解线性方程组，将分母的上界与 Gram 矩阵行列式（即素除子自交数的乘积）联系起来。

4. 有效 birationality 的推导：

   • 利用 Boucksom-Zariski 分解将大线丛 $L$ 分解为正部 $P$ 和负部 $N$。
   • 通过清除分母，将问题转化为在 birational 模型上处理 nef 且 big 的除子。
   • 应用 Angehrn-Siu 定理（关于 nef 和 big 除子的有效生成性）和 Kollár 的推广结果，得出有效 birationality 的显式界限。

---

3. 主要贡献与结果 (Key Contributions & Results)

A. 奇异情形下的 Boucksom-Zariski 分解 (Theorem 1.1)

• 结果： 证明了对于任何具有辛奇点的紧致 Kähler 簇 $X$，其上的所有有效 Weil $\mathbb{Q}$-除子都存在唯一的 $q_{X,\sigma}$-Zariski 分解 $D = P(D) + N(D)$。
• 性质：
  • $P(D)$ 是 $q$-nef 的。
  • $N(D)$ 是 $q$-exceptional 的（其支撑集的 Gram 矩阵负定）。
  • 正部与负部正交。
  • 正部的截面映射是满射（即 $H^0(kP) \to H^0(kD)$ 是满射）。
• 意义： 将 Boucksom 的光滑情形理论推广到了最广泛的辛奇异簇框架（包括非 $\mathbb{Q}$-因子情形），填补了理论空白。

B. 分母有界性与有界负性 (Theorem 1.2 & Corollary 4.10)

• 结果： 对于光滑投影不可约辛簇 $X$，所有伪有效 Cartier 除子的 Boucksom-Zariski 分解中，正部和负部系数的分母被一个显式常数有界：
  $$\text{Bound} = (4 \cdot \text{Card}(A_X))^{\rho(X)-1}!$$
  其中 $\text{Card}(A_X)$ 是判别群 $H^2(X, \mathbb{Z})^\vee / H^2(X, \mathbb{Z})$ 的阶，$\rho(X)$ 是 Picard 数。
• 关键引理 (Proposition 4.8)： 证明了任何素例外除子 $E$ 的 BBF 自交数满足 $|q(E)| \le 4 \cdot \text{Card}(A_X)$。这构成了高维情形下的“有界负性”结果。
• 意义： 建立了分母有界性与判别群阶数之间的显式联系，解决了高维不可约辛簇上的分母控制问题。

C. 有效 birationality (Corollary 1.3)

• 结果： 回答了 F. Charles 提出的问题。对于维数为 $2n$ 的光滑投影不可约辛簇 $X$ 和大线丛 $L$，当 $m$ 满足：
  $$m \ge \frac{1}{2}(2n + 2)(2n + 3)(4 \cdot \text{Card}(A_X))^{\rho(X)-1}!$$
  时，线性系统 $|mL|$ 给出的映射是到其像的 birational 映射。
• 意义： 提供了显式的 $m$ 值界限。此前 Charles 仅证明了存在性（非显式），而 C. Birkar 在更一般的 Calabi-Yau 情形下也证明了存在性但非显式。本文在光滑不可约辛簇情形下给出了具体的计算公式。

D. 推广性

• 文章指出，这些结果（特别是有效 birationality）可以进一步推广到原始辛簇（primitive symplectic varieties），只要满足相应的分解存在性和锥性质（见修订版注记 [43]）。

---

4. 意义与影响 (Significance)

1. 理论统一： 成功将光滑不可约辛流形上的深刻理论（Boucksom-Zariski 分解）扩展到了具有辛奇点的奇异簇，为研究辛模空间（如 K3 曲面或阿贝尔曲面上的层模空间）的几何性质提供了强有力的工具。
2. 解决开放问题： 明确回答了关于不可约辛簇上 Zariski 分解分母有界性的问题，并给出了依赖于拓扑不变量（判别群阶数）的显式上界。
3. 有效 birationality 的突破： 为不可约辛簇上的大线丛提供了具体的有效 birationality 界限。这在双有理几何中至关重要，因为它允许将无限族的问题转化为有限族的问题（双有理有界性，Corollary 5.1）。
4. 方法创新： 通过构造 Weil 除子上的二次型并证明其“交积”性质，克服了非 $\mathbb{Q}$-因子情形下无法直接定义拉回的技术障碍，为处理更一般的奇异代数簇提供了新的技术路径。

综上所述，该论文在不可约辛几何领域取得了重要进展，不仅完善了奇异情形下的分解理论，还通过显式界限将抽象的存在性结果转化为可计算的有效结果，对理解辛簇的线性系和双有理结构具有深远影响。