A counterexample to Bruzzo's curve semistability conjecture for Higgs bundles

技术摘要：关于 Higgs 丛 Bruzzo 曲线半稳定性猜想的反例

问题陈述
本文探讨了光滑复射影簇上 Higgs 丛的 Bruzzo 曲线半稳定性猜想。该猜想认为，对于秩为 $r$ 的 Higgs 丛 $E = (E, \theta)$，以下两个条件是等价的：

1. $E$ 关于某个极化是半稳定的，且其判别式为零（$\Delta(E) = c_2(E) - \frac{r-1}{2r}c_1(E)^2 = 0$）。
2. 对于每一条光滑射影曲线 $C$ 以及每一个态射 $f: C \to X$，拉回 Higgs 丛 $f^*E$ 是半稳定的。

虽然文献中已确立了蕴含关系 $(1) \implies (2)$，但反向蕴含关系 $(2) \implies (1)$ 仍是研究课题。先前的结果已证实该反向关系在秩为 2 的丛以及特定假设下成立，而一般情形下的高秩情况仍是一个开放问题。本文旨在确定该反向关系在秩为 4 时是否成立。

方法论与构造
作者利用平面曲线对称积的几何性质，构造了一个特定的秩为 4 的反例。构造过程如下：

1. 几何设置： 令 $\Sigma \subset \mathbb{P}^2$ 为一个非常一般的光滑平面五次曲线。令 $X = \Sigma(2)$ 为 $\Sigma$ 的二阶对称积。作者利用 $X$ 上的平凡秩 2 丛 $F = \mathcal{O}_\Sigma(1)[2]$ 进行构造。
2. Higgs 场定义： 利用同构 $S^2 \cong K_\Sigma$（其中 $S = \mathcal{O}_\Sigma(1)$），作者定义了一个 $\Omega^1_X$-值的对称形式 $\beta: \text{Sym}^2(F) \to \Omega^1_X$。这诱导了一个伴随态射 $\psi: F \to F^* \otimes \Omega^1_X$。
3. 扩张构造： 选择一个截面 $s \in H^0(\Sigma, S)$ 来定义扩张类 $e_s \in \text{Ext}^1_X(F, F^*)$。由此得到一个秩为 4 的向量丛 $E_s$，它满足如下精确序列：
   $$0 \to F^* \to E_s \to F \to 0$$
   Higgs 场 $\theta_s: E_s \to E_s \otimes \Omega^1_X$ 被构造为复合映射：先由投影 $E_s \to F$，再经由 $\psi$，最后通过包含映射 $F^* \hookrightarrow E_s$。
4. 陈类计算： 作者计算了 $E_s$ 的陈类。他们证明了 $\det(E_s) \cong \mathcal{O}_X$ 且 $\int_X c_2(E_s) = 10$。因此，判别式 $\Delta(E_s)$ 在 $H^4(X, \mathbb{Q})$ 中非零。

关键技术分析
为了证明 $E_s$ 在判别式非零的情况下仍满足条件 (2)，作者分析了对于任意态射 $f: C \to X$ 的拉回 $f^*E_s$。拉回的稳定性取决于是否存在破坏稳定性的 Higgs 子层。

• 子层判据： 一个 Higgs 子层 $H \subset f^*E_s$ 对应于满足兼容性条件的子层 $I \subset V$ 和 $J \subset V^*$（其中 $V = f^*F$）以及关于特定扩张类（限制推导）的消失条件，此处 $u_f = f^*\psi$ 为收缩态射。
• 曲线分类： 作者根据 $u_f$ 的泛型秩对态射 $f$ 进行分类：
  • 泛型秩为 2： 若 $u_f$ 的泛型秩为 2，作者表明任何潜在的破坏稳定性子层都会导致关于雅可比簇 $J(\Sigma)$ 的单纯性以及截面 $s$ 非零性的矛盾。
  • 泛型秩为 1： $\beta$ 的根除子（root divisor）同构于 $\Sigma \times \Sigma$。若 $u_f$ 的泛型秩为 1，则 $f(C)$ 必须是“坐标曲线”（即映射 $q \mapsto p+q$ 下的 $\Sigma$ 的像）或者是对角线。
    • 对于坐标曲线，关于收缩态射的核与像的直接度数估计防止了破坏稳定性。
    • 对于对角线，扩张类的限制对应于一个秩 2 丛 $P_s$。作者选择截面 $s$ 使得 $P_s$ 是度数为零的半稳定丛。利用 Narasimhan–Seshadri 对应关系，作者证明了 $P_s$ 的拉回保持半稳定，从而防止了 $f^*E_s$ 被破坏稳定性。

结果
主要结果，定理 1.2，确立了存在一个光滑复射影曲面 $X$ 和一个秩为 4 的 Higgs 丛 $E_s$，使得：

1. 对于每条光滑射影曲线 $C$ 及每一个态射 $f: C \to X$，拉回 Higgs 丛 $f^*E_s$ 是半稳定的。
2. $E_s$ 的判别式非零（$\Delta(E_s) \neq 0$）。

推论 4.7 明确指出，这一结果反驳了 Bruzzo 关于秩为 4 的 Higgs 丛的曲线半稳定性猜想。

意义与主张
本文声称提供了第一个关于 Higgs 丛中蕴含关系 $(2) \implies (1)$ 的反例。作者指出，虽然该反向关系在秩为 2 时已知成立，但其构造展示了其在秩为 4 时的失效。

这项工作澄清了以往依赖于“Higgs 数值平坦性”和绝对 Higgs Grassmannians 基变换相容性的论证的局限性。作者指出，由于由微分 $df$ 进行的收缩可能会产生原丛中不存在的新不变商，因此这些相容性论证对于拉回 Higgs 丛是失效的。因此，验证曲线稳定性需要对拉回丛进行直接的、逐例的分析，作者利用平面五次曲线及其对称积的具体几何性质完成了这一工作。

本文并未提出未来的应用或实验方案，而是专注于通过展示一个具体的反例来解决这一开放猜想。作者承认，OpenAI 的 ChatGPT (版本 5.6 Plus) 协助进行了重复计算并测试了广泛的示例，这一过程最终引导出了本文所构造的反例。