Gopakumar-Vafa Invariants and Macdonald Formula

Résumé Technique : Invariant de Gopakumar–Vafa et Formule de Macdonald

Énoncé du Problème
L'article traite de la relation entre les invariants de paires stables de Pandharipande–Thomas (PT) et les invariants de Gopakumar–Vafa (GV) pour les variétés de Calabi–Yau à trois dimensions, en se concentrant spécifiquement sur les surfaces locales (espaces totaux des fibrés canoniques sur des surfaces de del Pezzo). Bien que la correspondance numérique PT/GV soit établie pour les classes de courbes irréductibles, le raffinement cohomologique et le comportement sur l'ensemble de la variété de Chow (incluant les cycles non réduits et réductibles) demeurent complexes. Plus précisément, l'article étudie :

1. La validité d'une formule exponentielle cohomologique reliant la série de l'image directe PT à une construction dérivée de l'exponentielle de Chow.
2. Les conditions sous lesquelles cette formule s'étend du locus des courbes réduites à l'ensemble de la variété de Chow, notamment concernant l'absence de « supports stricts non réduits » dans les faisceaux de cycles évanescents PT.
3. Les divergences géométriques et de faisceaux précises entre le faisceau de cycles évanescents PT, le complexe d'intersection du schéma de Hilbert relatif et le faisceau constant décalé de l'espace d'incidence, particulièrement dans les degrés où l'espace des paires stables cesse d'être un schéma de Hilbert relatif lisse (par exemple, degré $d=2, n=4$).

Méthodologie
L'auteur emploie une approche constructive dérivée, utilisant des faisceaux pervers, des cycles évanescents et la théorie des loci $d$-critiques. Les composantes méthodologiques clés incluent :

• Exponentielle de Chow Constructive Dérivée : L'article définit une algèbre symétrique dérivée complétée sur le monoïde de Chow, notée $\text{Exp}_{\text{Chow}}$, qui incorpore des décalages cohomologiques, des signes de Koszul et des systèmes locaux de permutations.
• Décomposition de Support : L'analyse repose sur le théorème de décomposition de support pour les schémas de Hilbert relatifs (Migliorini–Shende–Viviani) et son adaptation à la variété de Chow. L'auteur distingue les termes à « support complet » (termes de Macdonald) et les termes « réductibles » issus des normalisations partielles de courbes nodales.
• Condition de Support Non Réduit (NR) : Une condition technique centrale, $(NR)_{\chi, \beta}$, est formulée. Elle affirme qu'aucun constituant simple de la semi-simplification de l'image directe PT n'a un support strictement contenu dans le locus non réduit de la variété de Chow.
• Analyse Local-to-Global : Pour la famille du plan complet, qui n'est pas globalement $H$-lisse, l'auteur applique des calculs locaux versaux aux strates de partitions génériques et utilise la transversalité du lissage des nœuds pour ramener ces résultats à la famille linéaire.
• Géométrie du Locus Critique : Dans le cas spécifique du degré $(2,4)$, l'article effectue une analyse schématique détaillée de l'espace des paires stables, identifiant celui-ci comme l'union d'une composante d'incidence de section nulle et d'une composante de type « ruban de Ferrand ». Il utilise la description du cône d'obstruction dual de Toda et la réduction dimensionnelle de Kinjo pour analyser la structure critique.

Contributions Clés et Résultats

1. Conjecture de l'Exponentielle PT/GV Cohomologique :
   L'article formule la conjecture centrale (Conjecture 4.2) selon laquelle la série d'image directe PT normalisée $Z_{PT}(q, Q)$ est isomorphe à l'exponentielle de Chow des complexes de Macdonald $A_\beta(q)$ :
   $$Z_{PT}(q, Q) \cong \text{Exp}_{\text{Chow}} \left( \sum_{\beta} A_\beta(q) Q^\beta \right)$$
   L'auteur prouve que si cette identité est vérifiée sur le locus de Chow réduit, elle s'étend à la variété de Chow complète si et seulement si la condition de support non réduit $(NR)_{\chi, \beta}$ est satisfaite pour tous les coefficients.

2. Réduction aux Loci Réduits et Extensions Minimales :
   L'article établit que les coefficients de l'exponentielle de Chow sont semi-simples et sont récupérés à partir du locus de Chow réduit via l'extension minimale perverse. Par conséquent, l'identité globale est équivalente à l'annulation des termes de « support strict non réduit » dans l'image directe PT. Cela fournit une interprétation de faisceaux précise de la récursion KKV numérique.

3. Comparaison entre Paires Stables et Schéma de Hilbert Relatif :
   Pour le $\mathbb{P}^2$ local et $0 \le n \le d+1$, l'article prouve que l'espace des paires stables est isomorphe au schéma de Hilbert relatif lisse, et que le faisceau de cycles évanescents PT est isomorphe au complexe d'intersection de ce schéma de Hilbert. Cela confirme la condition $(Hilb)_{d,n}$ et la condition de support non réduit $(NR)_{d,n}$ dans cette plage.

• Théorème 1.2 : Identifie le premier sommet réductible pour $d \ge 3$ et $n=d-1$ comme étant le complexe d'intersection de la clôture du locus d'une courbe de degré $(d-1)$ plus une droite.

4. Calculs sur les Surfaces de del Pezzo :
   L'article calcule les coefficients de Macdonald à support complet pour le $\mathbb{P}^1 \times \mathbb{P}^1$ local (classe $(2,3)$) et les coefficients agrégés pour les surfaces de del Pezzo $S_r$ ($5 \le r \le 8$) en degré anticanonique. Ces calculs vérifient la récursion KKV dans ces cas spécifiques.

5. Analyse du Degré $(2,4)$ et « Correction d'Incidence » :
   L'article fournit une analyse détaillée du premier cas ($d=2, n=4$) où l'espace des paires stables n'est pas un schéma de Hilbert relatif lisse.

• Géométrie : L'espace $M$ est montré être l'union schématique de la composante d'incidence $Y$ (schéma de Hilbert relatif lisse) et d'une composante de ruban $R$ (rubans de Ferrand).
• Structure Critique : Le germe complété de $M$ le long de l'intersection est identifié comme $\mathbb{A}^6 \times \text{Crit}(c(x_1x_2 + x_3x_4))$.
• Théorie des Faisceaux : L'article construit un « triangle d'attachement de degré deux » reliant les images directes du faisceau constant sur $Y$, le faisceau de cycles évanescents PT sur $M$, et le complexe d'intersection du locus non réduit (doubles droites).
• Conjectures 8.15/8.18 : L'article conjecture que l'image directe PT n'a pas de constituants avec un support strict sur le locus non réduit (doubles droites), tandis que le complexe d'intersection du côté de Hilbert contient une chaîne de Lefschetz. La différence est un constituant primitif unique (le complexe d'intersection du locus des doubles droites) qui est supprimé par un morphisme $\kappa_2$ spécifique ; cela fournit une explication par les faisceaux pervers pour le terme de correction KKV.

Signification et Revendications
L'article prétend fournir un cadre rigoureux de faisceaux pour la correspondance PT/GV qui dépasse les invariants numériques. Sa signification réside dans :

• Clarification du Rôle des Cycles Non Réduits : Il isole l'obstacle précis de faisceaux (supports stricts non réduits) qui empêche l'extension naïve de la formule de Macdonald des courbes réduites à l'ensemble de la variété de Chow.
• Raffinement de la Récursion KKV : Il interprète les termes de correction KKV non pas simplement comme des soustractions combinatoires, mais comme la suppression de constituants pervers spécifiques (complexes d'intersection des strates non réduites) de l'image directe du côté de Hilbert pour obtenir l'image directe PT.
• Précision Schématique : En analysant le cas de degré $(2,4)$, l'article démontre que la caractéristique d'Euler de l'espace d'incidence singulier est insuffisante pour déterminer les invariants PT ; la géométrie spécifique du locus critique et l'attachement de la composante de ruban sont essentiels.
• Unification : Il unifie la formule de Macdonald, la récursion KKV et la théorie des cycles évanescents des loci $d$-critiques dans un cadre unique d'exponentielle cohomologique, sous réserve de la validité de la condition de support non réduit.

L'article ne prétend pas prouver la pleine conjecture pour tous les degrés, mais établit les conditions nécessaires et les vérifie dans la « plage d'incidence lisse » ainsi que dans des exemples de bas degrés spécifiques, tout en formulant des conjectures précises pour les degrés supérieurs et le comportement non réduit général.