Gopakumar-Vafa Invariants and Macdonald Formula

Technical Summary: Gopakumar–Vafa Invariant and Macdonald Formula

Problem Statement
The paper addresses the relationship between Pandharipande–Thomas (PT) stable-pair invariants and Gopakumar–Vafa (GV) invariants for Calabi–Yau threefolds, specifically focusing on local surfaces (total spaces of canonical bundles over del Pezzo surfaces). While the numerical PT/GV correspondence is established for irreducible curve classes, the cohomological refinement and the behavior over the full Chow variety (including nonreduced and reducible cycles) remain complex. Specifically, the paper investigates:

1. The validity of a cohomological exponential formula relating the PT direct-image series to a derived constructible Chow exponential.
2. The conditions under which this formula extends from the locus of reduced curves to the full Chow variety, particularly concerning the absence of "nonreduced strict supports" in the PT vanishing-cycle sheaves.
3. The precise geometric and sheaf-theoretic discrepancies between the PT vanishing-cycle sheaf, the intersection complex of the relative Hilbert scheme, and the shifted constant sheaf of the incidence space, especially in degrees where the stable-pair space ceases to be a smooth relative Hilbert scheme (e.g., degree $d=2, n=4$).

Methodology
The author employs a derived constructible approach, utilizing perverse sheaves, vanishing cycles, and the theory of $d$-critical loci. Key methodological components include:

• Derived Constructible Chow Exponential: The paper defines a completed derived symmetric algebra over the Chow monoid, denoted $\text{Exp}_{\text{Chow}}$, which incorporates cohomological shifts, Koszul signs, and permutation local systems.
• Support Decomposition: The analysis relies on the support decomposition theorem for relative Hilbert schemes (Migliorini–Shende–Viviani) and its adaptation to the Chow variety. The author distinguishes between "full-support" terms (Macdonald terms) and "reducible" terms arising from partial normalizations of nodal curves.
• Nonreduced Support Condition (NR): A central technical condition, $(NR)_{\chi, \beta}$, is formulated. It asserts that no simple constituent of the semisimplified PT direct image has support strictly contained in the nonreduced locus of the Chow variety.
• Local-to-Global Analysis: For the complete plane family, which is not globally $H$-smooth, the author applies versal local calculations at generic partition strata and uses transversality of node-smoothing to pull these results to the linear system.
• Critical Locus Geometry: In the specific case of degree $(2,4)$, the paper performs a detailed scheme-theoretic analysis of the stable-pair space, identifying it as a union of a zero-section incidence component and a "Ferrand ribbon" component. It utilizes Toda's dual obstruction cone description and Kinjo's dimensional reduction to analyze the critical structure.

Key Contributions and Results

1. Cohomological PT/GV Exponential Conjecture:
   The paper formulates the central conjecture (Conjecture 4.2) that the normalized PT direct-image series $Z_{PT}(q, Q)$ is isomorphic to the Chow exponential of the Macdonald complexes $A_\beta(q)$:
   $$Z_{PT}(q, Q) \cong \text{Exp}_{\text{Chow}} \left( \sum_{\beta} A_\beta(q) Q^\beta \right)$$
   The author proves that if this identity holds on the reduced Chow locus, it extends to the full Chow variety if and only if the nonreduced support condition $(NR)_{\chi, \beta}$ holds for all coefficients.

2. Reduction to Reduced Loci and Minimal Extensions:
   The paper establishes that the coefficients of the Chow exponential are semisimple and recovered from the reduced Chow locus via perverse minimal extension. Consequently, the global identity is equivalent to the vanishing of the "nonreduced strict support" terms in the PT direct image. This provides a precise sheaf-theoretic interpretation of the numerical KKV recursion.

3. Stable-Pair vs. Relative Hilbert Scheme Comparison:
   For local $\mathbb{P}^2$ and $0 \le n \le d+1$, the paper proves that the stable-pair moduli space is isomorphic to the smooth relative Hilbert scheme, and the PT vanishing-cycle sheaf is isomorphic to the intersection complex of this Hilbert scheme. This confirms the condition $(Hilb)_{d,n}$ and the nonreduced support condition $(NR)_{d,n}$ in this range.

   • Theorem 1.2: Identifies the first reducible summand for $d \ge 3$ and $n=d-1$ as the intersection complex of the closure of the locus of a degree-$(d-1)$ curve plus a line.

4. Del Pezzo Calculations:
   The paper computes full-support Macdonald coefficients for local $\mathbb{P}^1 \times \mathbb{P}^1$ (class $(2,3)$) and aggregated coefficients for del Pezzo surfaces $S_r$ ($5 \le r \le 8$) in anticanonical degree. These calculations verify the KKV recursion in these specific cases.

5. Degree $(2,4)$ Analysis and the "Incidence Correction":
   The paper provides a detailed analysis of the first case ($d=2, n=4$) where the stable-pair space is not a smooth relative Hilbert scheme.

   • Geometry: The space $M$ is shown to be the scheme-theoretic union of the incidence component $Y$ (smooth relative Hilbert scheme) and a ribbon component $R$ (Ferrand ribbons).
   • Critical Structure: The completed germ of $M$ along the intersection is identified as $\mathbb{A}^6 \times \text{Crit}(c(x_1x_2 + x_3x_4))$.
   • Sheaf Theory: The paper constructs a "degree-two attachment triangle" relating the direct images of the constant sheaf on $Y$, the PT vanishing-cycle sheaf on $M$, and the intersection complex of the nonreduced locus (double lines).
   • Conjecture 8.15/8.18: The paper conjectures that the PT direct image has no constituents with strict support on the nonreduced locus (double lines), whereas the Hilbert-side intersection complex contains a Lefschetz string. The difference is a single primitive constituent (the intersection complex of the double-line locus) which is removed by a specific morphism $\kappa_2$. This provides a perverse-sheaf explanation for the KKV correction term.

Significance and Claims
The paper claims to provide a rigorous sheaf-theoretic framework for the PT/GV correspondence that goes beyond numerical invariants. Its significance lies in:

• Clarifying the Role of Nonreduced Cycles: It isolates the precise sheaf-theoretic obstruction (nonreduced strict supports) that prevents the naive extension of the Macdonald formula from reduced curves to the full Chow variety.
• Refining the KKV Recursion: It interprets the KKV correction terms not merely as combinatorial subtractions but as the removal of specific perverse constituents (intersection complexes of nonreduced strata) from the Hilbert-side direct image to obtain the PT direct image.
• Scheme-Theoretic Precision: By analyzing the degree $(2,4)$ case, the paper demonstrates that the Euler characteristic of the singular incidence space is insufficient to determine the PT invariants; the specific geometry of the critical locus and the attachment of the ribbon component are essential.
• Unification: It unifies the Macdonald formula, the KKV recursion, and the vanishing-cycle theory of $d$-critical loci into a single cohomological exponential framework, contingent on the validity of the nonreduced support condition.

The paper does not claim to prove the full conjecture for all degrees but establishes the necessary conditions and verifies them in the "smooth incidence range" and specific low-degree examples, while formulating precise conjectures for higher degrees and the general nonreduced behavior.