When is the diagonal contractible?

技术摘要：对角线何时是可收缩的？

问题陈述
本文研究了光滑射影复变体 $X$ 的对角线 $\Delta_X \subset X \times X$ 可以通过双有理映射 $\pi: X \times X \to Y$ 收缩至较小维度的子簇的几何条件。具体而言，作者探讨了两个主要问题：

1. 点收缩（Point Contraction）： 何时存在一个双有理射影映射，使得 $\pi(\Delta_X)$ 为一个单点？
2. 一般收缩（General Contraction）： 何时存在一个收缩映射，使得 $\dim \pi(\Delta_X) = m < \dim X$？

作者指出，虽然 $\dim X = 1$（曲线）的情况是经典的，但高维情况取决于 $X$ 微妙的正性性质。本文旨在通过将对角线的可收缩性与 Albanese 映射的性质联系起来来解决这一问题。

方法论
核心方法论依赖于 $X$ 的几何、其 Albanese 簇 $A = \text{Alb}(X)$ 以及诱导的差分映射之间的相互作用。作者利用了以下结构化工具：

• 差分映射（The Difference Map）： 他们定义了映射 $\lambda: X \times X \to A$，其中 $\lambda(x_1, x_2) = \text{alb}(x_1) - \text{alb}(x_2)$，这里 $\text{alb}: X \to A$ 是 Albanese 映射。
• 除子理论与相交数（Divisor Theory and Intersection Numbers）： 证明过程利用了极大（big）且半正定（semi-ample）除子的理论。通过假设存在一个收缩，作者构造了一个在 $X \times X$ 上的除子 $D$，该除子是极大且半正定的，但在对角线（或其像）上消失。
• Künneth 分解与 Picard 群（Künneth Decomposition and Picard Groups）： 一个关键的技术步骤是使用 Künneth 公式分解 $X \times X$ 上的除子。引理 3.2 确立了 $\text{Pic}_{\mathbb{Q}}(X \times X)$ 中的任何除子都可以写成来自 $X$ 的拉回与来自 Albanese 簇 $A \times A$ 的拉回之和。这使得作者能够将 $X \times X$ 上除子的正性与 Albanese 像的几何性质联系起来。
• 对称化（Symmetrization）： 为了处理乘积 $X \times X$ 的对称性，作者经常对除子进行对称化处理（使用对合 $\sigma(x_1, x_2) = (x_2, x_1)$），以导出矛盾或必要条件，从而关于 $\lambda$ 像的维度进行推导。

主要贡献与结果

1. 点收缩的特征化（定理 1.4）
本文确立了对角线 $\Delta_X$ 可收缩为一个点，当且仅当满足一组等价条件，这些条件主要涉及 Albanese 映射。设 $n = \dim X$ 且 $q = h^1(X, \mathcal{O}_X) = \dim \text{Alb}(X)$。以下条件是等价的：

• (A) $\Delta_X$ 可收缩为一个点。
• (B) 差分映射 $\lambda$ 的像的维度为 $2n$（即 $\lambda$ 在其像上是生成有限的）。
• (C) Albanese 簇满足 $\dim \text{Alb}(X) \ge 2n$，且对于每一个阿贝尔子簇 $B \subset \text{Alb}(X)$ 和一般点 $a$，有 $\dim B \ge 2 \dim((B+a) \cap \text{alb}(X))$。
• (D) $X$ 的两个一般点对全纯余切丛 $\Omega^1_X$ 施加独立条件。等价地，评价映射 $H^0(\Omega^1_X) \to \Omega^1_{X,x} \oplus \Omega^1_{X,y}$ 对于一般点 $x, y$ 是满射。

作者澄清，条件 (C) 严格强于仅仅是 Albanese 像的“非退化性”；它要求相对于阿贝尔子簇具有特定的“几何非退化性”。

2. 向更高维度的收缩（定理 1.6）
对于向维度为 $m < n$ 的簇的收缩，本文提供了一个充分必要条件：必须存在一个主导映射 $\pi: X \to W$（其中 $\dim W = m$），使得对于一般纤维 $X_p$，差分映射 $\lambda$ 在 $X_p \times X_p$ 上的限制在其像上是生成有限的。

3. 对角线之外的同构（定理 1.8）
作者讨论了更强的变体，即收缩在对角线之外是同构。他们证明，这发生当且仅当 Albanese 映射是有限的且在其像上是双有理的，并且差分映射在 Albanese 像上的限制在对角线之外是有限的。这意味着 Albanese 像与其平移的交集必须是零维的。

4. 高阶乘积中的不可收缩性（定理 1.9）
本文证明了对于任何满足 $\dim X > 0$ 且 $n \ge 3$ 的光滑射影变体 $X$，不可能通过单个双有理映射同时将所有两两对角线 $\Delta_{ij} \subset X^n$ 收缩为点。

示例与分类

• 曲线： 曲线 $C$ 的对角线可收缩，当且仅当亏格 $g \ge 2$。
• 曲面： 曲面 $S$ 的对角线可收缩为一个点，当且仅当 $S$ 是广义型（general type）（推论 2.7）。本文对满足数值条件的 $\kappa(S) \le 1$ 的曲面进行了分类，表明它们是曲线乘积的商，但未能满足实际收缩所需的几何非退化性。
• 曲线的乘积： 乘积曲线 $C_1 \times \dots \times C_n$（其中 $g_i \ge 2$）的对角线可以收缩为一个点。更广泛地说，它可以收缩到维度为 $t$ 的簇，其中 $0 \le t \le n-1$。
• 阿贝尔簇的子变体： 几何非退化的子变体 $X \subset A$（满足 $\dim A \ge 2 \dim X$）满足收缩条件。

意义与主张
作者声称，对角线收缩问题虽然看似复杂，但本质上等价于 Albanese 映射的性质。他们纠正了自己此前的工作（以及可能存在的文献）中的一个假设，即仅仅 Albanese 像的维度（$q \ge 2n$）是充分的；他们证明了当 Albanese 簇不是单部的时，与阿贝尔子簇的相互作用（条件 C）是必要的。

本文强调，收缩的像 $Y$ 通常在对角线的像处是奇异的，并引用了关于此类收缩非光滑性的普遍结果。这项工作将循环 $[\Delta_X]$ 与丛 $\Omega^1_X$ 的正性与这些双有理映射的存在性联系起来，表明虽然 $\Omega^1_X$ 的振幅既不是必要条件也不是充分条件，但点对处的全局生成性质是核心。

作者最后指出，在特定情况下（例如，当收缩在对角线之外是同构时），向雅可比簇（或 Albanese 簇）的差分映射本质上是唯一的收缩映射，尽管他们对于这种唯一性是否对所有生成有限的收缩都成立仍持开放态度。