A three-block higher-rank deformed Hermitian--Yang--Mills correspondence on $\mathbb P^1\times\mathbb P^1$

技术摘要：$\mathbb{P}^1 \times \mathbb{P}^1$ 上三块高秩变形埃尔米特–杨–Mills 对应关系

问题陈述
本文研究了在特定的 $\mathbb{P}^1 \times \mathbb{P}^1$ 乘积曲面上，一个秩为 4 的特定全纯丛上是否存在光滑且严格校准的变形埃尔米特–杨–Mills (dHYM) 度量。该丛是通过 $\mathbb{P}^1$ 上一个“三块”向量丛链进行维度缩减而构造的：
$$\mathcal{O}(1) \xrightarrow{\psi = Bz} \mathcal{O}(2)^{\oplus 2} \xrightarrow{\phi = (Az)^T} \mathcal{O}(3)$$
其中 $A, B \in \text{Mat}_2(\mathbb{C})$ 为系数矩阵，$z$ 代表齐次坐标。方程固定了一个特定的乘积 Kähler 类和主相位 $\theta_4 = \pi - \arctan(6)$。

核心问题在于：是否存在一个解（针对此逐点、非交换矩阵方程）可以由与 $\mathbb{P}^1$ 因子相关的 $\text{SU}(2)$ 作用下的等变相干范畴内的代数稳定性条件来表征。具体而言，作者试图确定存在性是否等价于诱导对象的等变 $Z$-稳定性、$Z$-半稳定性或 $Z$-极稳定性。

方法论
作者采用了结合代数分类与严谨解析构造的双轨方法：

1. 代数分类：

   • 利用等变相干层（Álvarez-Cónsul 与 García-Prada）与等变相干层之间的等价关系，作者对该链的所有等变相干子对象进行了分类。
   • 他们计算了这些子对象的中心荷 $Z$ 和相位。稳定性通过相位不等式 $\text{Arg } Z(S) < \text{Arg } Z(E)$ 来定义。
   • 分析涵盖了由 $A$ 和 $B$ 的秩以及组合 $Q(z) = z^T A^T B z$ 的消失情况所定义的 11 个非空系数层（strata）。

2. 解析构造与紧致性：

   • 维度缩减： dHYM 方程被缩减为基底 $\mathbb{P}^1$ 上的三个耦合矩阵方程。与标量模型不同，中间方程涉及非交换的箭头乘积（$\phi\psi$ 和 $\psi\phi$）以及有序反对易子，这使得标量化无法实现。
   • 延拓法： 作者使用由参数 $\tau \in (0, 1]$ 和固定辅助质量 $\mu_s$ 参数化的连续性路径构造解。他们通过锚定在特定参数值处的紧致映射度数论证（Leray–Schauder），建立了 $\tau > 0$ 时解的存在性。
   • 先验估计： 核心难点在于证明当 $\tau \to 0$ 时的一致界限。作者建立了以下估计：
     • 梯度与符号间隙： 证明即使在下箭头 $\psi$ 在某点消失时，解度量仍保持严格正定，且线性算子的符号保持非退化。
     • 数值界限： 通过分析源预算（source budgets）和动能项，排除了“度量逃逸”（度量分量无界增长）的情况。
     • 除子质量处理： 在下箭头秩为 1（在一点 $p$ 处消失）的情况下，作者引入了“穿孔”分析。他们仔细追踪了箭头零点处的“除子质量”（原子源贡献），表明如果从源预算中减去该质量，会导致与解逃逸假设相矛盾。这涉及移动谱测试和角通量恒等式，以在不假设交换性的情况下控制混合导数项。

主要贡献与结果
主要结果是 定理 4.1，它为指定的链建立了完整的对应关系：

• 等价性： 对于任何矩阵对 $(A, B)$，存在光滑且严格校准的缩减解，当且仅当诱导对象是等变 $Z$-稳定的（在此语境下，这与 $Z$-半稳定性和 $Z$-极稳定性一致）。
• 代数判据： 这些等价条件精确地满足于：
  1. $\text{rank}(A) = 2$（上映射在逐点意义下是满射）。
  2. $Q(z) = z^T A^T B z \not\equiv 0$（组合并非恒等于零）。
• 层分类： 本文详尽地分类了 11 种可能的系数层：
  • 存在性： 解存在于层 $(2, 1, 1)$ 和 $(2, 2, 1)$ 中。
  • 不存在性： 对于所有其他层，包括 $\text{rank}(A) \le 1$、$B=0$ 或组合恒为零（$Q \equiv 0$）的情况，解均不存在。
• 奇异性处理： 证明过程显式处理了下箭头 $\psi$ 具有零点（秩为 1）的情况，证明了必须在源预算中保留零点处的除子质量，以防止度量值无界。这区别于将箭头视为泛型非消失截面的方法。

意义与声明
本文声称为这种特定的三块、秩为 4 的紧致曲面系统提供了完整的对应关系，将 dHYM 度量的解析存在性与相干范畴内的等变稳定性联系起来。

• 范围： 作者明确指出，其结果是针对“固定的乘积 Kähler 类和相位”以及“等变相干范畴”的。他们并未断言：
  • 与全相干稳定性或导出范畴稳定性（例如 Bridgeland 稳定性，针对非等变对象）的等价性。
  • 解的唯一性。
  • 在变化的链或变化的 Kähler 类下的一致估计。
  • 该秩为 4 的丛代表了特定弦理论背景下的物理非阿贝尔膜配置或 BPS 态。
• 方法论贡献： 该工作通过处理带有有序反对易子的非交换矩阵系统，并开发控制箭头零点附近度量行为的技术（而不依赖于标量近似或假设动能项消失），推进了 dHYM 方程的解析理论。其证明始终保留了“有序、非交换的中间方程”，避免了会改变系统结构的简化。

总之，本文确立了对于这种特定的几何设置，等变 $Z$-稳定性这一代数条件是存在光滑 dHYM 度量的充分必要条件，其证明严谨地处理了由链的秩结构和潜在箭头零点引入的复杂性。