Gopakumar-Vafa Invariants and Macdonald Formula

技术摘要：Gopakumar–Vafa 不变量与 Macdonald 公式

问题陈述
本文探讨了 Calabi–Yau 三维流形中 Pandharipande–Thomas (PT) 稳定对不变量与 Gopakumar–Vafa (GV) 不变量之间的关系，特别侧重于局部曲面（del Pezzo 曲面的正则丛的总空间）。虽然对于不可约曲线类，数值上的 PT/GV 对应关系已经确立，但其上同调细化以及在整个 Chow 簇（包括非还原和可约循环）上的行为仍然非常复杂。具体而言，本文研究了：

1. 一个将 PT 直接像级数与导出的构造性 Chow 指数（constructible Chow exponential）联系起来的上同调指数公式的有效性。
2. 该公式从还原曲线处扩展到整个 Chow 簇的条件，特别是关于 PT 消解循环层（vanishing-cycle sheaves）中不存在“非还原严格支撑”（nonreduced strict supports）的情况。
3. PT 消解循环层、相对 Hilbert 方案的交集复形（intersection complex）以及入射空间（incidence space）的移位常数层之间精确的几何与层论差异，特别是在稳定对空间不再是光滑相对 Hilbert 方案的次数（例如 $d=2, n=4$）时。

方法论
作者采用了导出的构造性方法，利用了亏格层（perverse sheaves）、消解循环（vanishing cycles）以及 $d$-临界点（$d$-critical loci）理论。关键的方法论组成部分包括：

• 导出构造性 Chow 指数： 本文定义了一个在 Chow 单群上的完备导出对称代数，记作 $\text{Exp}_{\text{Chow}}$，它整合了上同调移位、Koszul 符号以及置换局部系统。
• 支撑分解： 分析依赖于相对 Hilbert 方案的支撑分解定理（Migliorini–Shende–Viviani）及其在 Chow 簇上的适配。作者区分了“全支撑”项（Macdonald 项）与源自节点曲线部分归约化的“可约”项。
• 非还原支撑条件 (NR)： 提出了一个核心的技术条件 $(NR)_{\chi, \beta}$。该条件断言，半单化的 PT 直接像的任何简单成分，其支撑都不严格包含在 Chow 簇的非还原处。
• 局部-整体分析： 对于不是全局 $H$-光滑的完全平面族，作者在泛型划分层（generic partition strata）处应用了最普适的局部计算，并利用节点平滑的横截性将这些结果推广到线性系统中。
• 临界点几何： 在特定的 $(2,4)$ 次数情况下，本文对稳定对空间进行了详细的方案论分析，将其识别为零截面入射分量与一个“Ferrand 带”（Ferrand ribbon）分量的并集。作者利用 Toda 的对偶障碍锥描述和 Kinjo 的维数缩减技术来分析其临界结构。

主要贡献与结果

1. 上同调 PT/GV 指数猜想：
   本文提出了核心猜想（猜想 4.2），即归一化的 PT 直接像级数 $Z_{PT}(q, Q)$ 同构于 Macdonald 复形的 Chow 指数：
   $$Z_{PT}(q, Q) \cong \text{Exp}_{\text{Chow}} \left( \sum_{\beta} A_\beta(q) Q^\beta \right)$$
   作者证明，如果该恒等式在还原 Chow 处成立，那么当且仅当所有系数都满足非还原支撑条件 $(NR)_{\chi, \beta}$ 时，它能扩展到整个 Chow 簇。

2. 向还原处归约与极小扩张：
   本文确立了 Chow 指数的系数是半单的，并且可以通过亏格层极小扩张（perverse minimal extension）从还原 Chow 处恢复。因此，全局恒等式等价于 PT 直接像中“非还原严格支撑”项的消失。这为数值 KKV 递归提供了一个精确的层论解释。

3. 稳定对与相对 Hilbert 方案的比较：
   对于局部 $\mathbb{P}^2$ 以及 $0 \le n \le d+1$，本文证明了稳定对模空间与光滑相对 Hilbert 方案是同构的，且 PT 消解循环层与该 Hilbert 方案的交集复形同构。这证实了范围内的条件 $(Hilb)_{d,n}$ 和非还原支撑条件 $(NR)_{d,n}$。

• 定理 1.2： 将第一个可约加项（对于 $d \ge 3$ 且 $n=d-1$）识别为度数为 $(d-1)$ 的曲线加上一条线的闭包的交集复形。

4. Del Pezzo 计算：
   本文计算了局部 $\mathbb{P}^1 \times \mathbb{P}^1$（类为 $(2,3)$）的全支撑 Macdonald 系数，以及反正则次数下 del Pezzo 曲面 $S_r$（$5 \le r \le 8$）的聚合系数。这些计算验证了这些特定情况下的 KKV 递归。

5. 次数 $(2,4)$ 分析与“入射修正”：
   本文详细分析了第一个稳定对空间不是光滑相对 Hilbert 方案的案例（$d=2, n=4$）。

• 几何： 空间 $M$ 被证明是入射分量 $Y$（光滑相对 Hilbert 方案）与带状分量 $R$（Ferrand 带）的方案论并集。
• 临界结构： $M$ 沿交点处的完备局部丛被识别为 $\mathbb{A}^6 \times \text{Crit}(c(x_1x_2 + x_3x_4))$。
• 层论： 本文构造了一个“二阶附着三角”（degree-two attachment triangle），将 $Y$ 上的常数层直接像、$M$ 上的 PT 消解循环层以及非还原处（双线）的交集复形联系起来。
• 猜想 8.15/8.18： 本文猜想 PT 直接像在非还原处（双线）没有具有严格支撑的成分，而 Hilbert 侧的交集复形包含一个 Lefschetz 弦（Lefschetz string）。两者的区别是一个单一的原始成分（双线集合的交集复形），它通过一个特定的态射 $\kappa_2$ 被移除。这为 KKV 修正项提供了一个亏格层解释。

意义与主张
本文声称为 PT/GV 对应关系提供了一个严谨的、超越数值不变量的层论框架。其意义在于：

• 澄清非还原循环的角色： 它隔离了精确的层论障碍（非还原严格支撑），该障碍阻止了 Macdonald 公式从还原曲线向整个 Chow 簇的朴素扩展。
• 细化 KKV 递归： 它将 KKV 修正项不仅解释为组合性的减法，而是解释为从 Hilbert 侧的直接像中移除特定的亏格层成分（非还原层状的交集复形）以获得 PT 直接像的过程。
• 方案论的精确性： 通过分析 $(2,4)$ 次数情形，本文展示了奇异入射空间的欧拉示性数不足以确定 PT 不变量；临界点的具体几何结构以及带状分量的附着方式是至关重要的。
• 统一性： 它将 Macdonald 公式、KKV 递归以及 $d$-临界点的消解循环理论统一到一个单一的上同调指数框架内，且该框架取决于非还原支撑条件的有效性。

本文并未声称证明了所有次数下的完整猜想，而是建立了必要的条件，并在“光滑入射范围”及特定的低次数实例中进行了验证，同时针对更高次数和一般的非还原行为提出了精确的猜想。