The Pandharipande-Thomas rationality conjecture for superpositive curve classes on projective complex 3-manifolds

1. Problématique et Contexte

L'article s'attaque à la conjecture de rationalité de Pandharipande-Thomas (PT) concernant les invariants de comptage de courbes sur les variétés complexes projectives de dimension 3 (3-folds). Plus précisément, les auteurs étudient les séries génératrices des invariants PT avec insertions descendantes (descendent insertions) pour des classes de courbes superpositives.

• Définitions clés :
  • Une classe de courbe effective $\beta$ est dite positive si $c_1(X) \cdot \beta > 0$.
  • Elle est dite superpositive si tous ses facteurs (décompositions en sommes de classes effectives) sont positifs.
  • Si $X$ est une variété de Fano, toutes les classes de courbes sont superpositives.
• La Conjecture 1.3 (Pandharipande-Thomas) : Elle postule que les séries génératrices des invariants PT sont des développements de Laurent de fonctions rationnelles, dont les pôles se situent uniquement en $q=0$ et aux racines de l'unité. De plus, elle prédit une symétrie spécifique sous l'inversion $q \to q^{-1}$.
• État de l'art : La conjecture était déjà prouvée pour les variétés de Calabi-Yau (Bridgeland, Toda) et pour certaines classes de variétés toriques ou complètes intersections, mais restait ouverte pour les classes superpositives générales sur des 3-folds projectifs arbitraires, notamment en présence d'insertions descendantes.

2. Méthodologie

Les auteurs utilisent une théorie puissante développée par le second auteur (Joyce) dans ses travaux précédents ([27], [28]), basée sur la structure d'algèbres de vertex graduées et d'algèbres de Lie sur l'homologie des espaces de modules.

La stratégie de preuve repose sur les étapes suivantes :

1. Cadre Catégoriel et Espaces de Modules :

   • Ils travaillent dans la catégorie dérivée $D^b_{coh}(X)$ et considèrent les espaces de modules $\mathcal{M}$ des objets et $\mathcal{M}^{pl}$ (le « projective linear » moduli stack) obtenus par rigidification (quotient par l'action de $\mathbb{G}_m$).
   • L'homologie $H_*(\mathcal{M})$ possède une structure d'algèbre de vertex, tandis que $H_*(\mathcal{M}^{pl})$ possède une structure d'algèbre de Lie.

2. Formules de "Wall-Crossing" (Traversée des murs) :

   • Ils établissent une relation fondamentale (Théorème 2.16) entre les classes virtuelles des paires stables de Pandharipande-Thomas $[P_n^{alg}(X, \beta)]_{virt}$ et les invariants de Donaldson-Thomas (DT) de dimension 1, notés $[M^{ss}_{(\beta,n)}(\mu_\omega)]_{inv}$.
   • Cette relation s'exprime via des formules de wall-crossing dans une catégorie abélienne auxiliaire $\mathcal{A}$, reliant les invariants PT aux invariants DT via des crochets de Lie dans l'algèbre de Lie $H_*(\mathcal{M}^{pl})$.

3. Lifting et Calculs Combinatoires :

   • Une difficulté majeure est que les invariants PT vivent dans l'homologie de $\mathcal{M}$, tandis que les formules de wall-crossing opèrent naturellement sur $\mathcal{M}^{pl}$. Les auteurs utilisent des techniques de « lifting » (Théorème 2.9) pour remonter les calculs de l'algèbre de Lie vers l'algèbre de vertex, en utilisant des opérateurs spécifiques ($D$, $R_\eta$) et des classes de Chern.

4. Analyse Asymptotique et Quasi-Polynômes :

   • Le cœur de la preuve réside dans l'analyse de la dépendance en $n$ (le nombre de points de la paire) des invariants.
   • En exploitant l'action du fibré en droites ample $L$ (via $F \mapsto L \otimes F$), ils montrent que les invariants DT de dimension 1 satisfont une relation de récurrence linéaire (Proposition 3.1). Cela implique qu'ils sont des fonctions quasi-polynomiales en $n$.
   • En utilisant la structure de l'algèbre de Lie et les formules de wall-crossing, ils déduisent que les classes virtuelles PT sont également des fonctions quasi-polynomiales par morceaux (piecewise quasi-polynomial) en $n$ (Proposition 3.6).

5. Rationalité des Séries Génératrices :

   • Une fois établi que les coefficients de la série génératrice sont des quasi-polynômes, la rationalité de la série entière découle de résultats standards de la théorie d'Ehrhart (sommes de quasi-polynômes sur des réseaux). Les pôles de la fonction rationnelle résultante sont nécessairement des racines de l'unité.

3. Résultats Principaux

Les auteurs prouvent les résultats suivants :

• Théorème 1.4 : La conjecture de rationalité de Pandharipande-Thomas (parties a, b, d, e de la Conjecture 1.3) est vraie pour toute classe de courbe effective superpositive $\beta$ sur une variété projective complexe lisse de dimension 3.

  • Cela inclut le cas des variétés de Fano.
  • Cela s'applique aux invariants avec insertions descendantes.
  • Les pôles des fonctions rationnelles sont situés uniquement en $q=0$ et aux racines de l'unité.

• Théorème 1.8 : C'est le résultat technique central. Il affirme que la série génératrice formelle des classes virtuelles PT (dans l'homologie de l'espace de modules $\mathcal{M}_0$) est le développement de Laurent d'une fonction rationnelle.

  • La preuve est faite pour l'homologie non équivariante et pour l'homologie équivariante tronquée (pour un groupe $G$ agissant sur $X$).

• Limites des Résultats :

  • Les auteurs ne prouvent pas les parties (c) et (f) de la conjecture (la symétrie $q \to q^{-1}$).
  • Raison : Cela est dû à des limitations techniques de la théorie de wall-crossing utilisée (basée sur les « framing functors »), qui ne s'appliquent pas facilement à la configuration de stabilité de Bridgeland-Toda nécessaire pour obtenir cette symétrie. Ils notent que Karpov et Moreira ont prouvé ces parties symétriques indépendamment en utilisant une approche K-théorique différente.

4. Contributions Clés

1. Généralisation aux classes superpositives : Extension de la rationalité au-delà des cas Calabi-Yau et toriques, couvrant une large classe de variétés projectives (Fano et au-delà).
2. Utilisation de l'homologie des espaces de modules : Démonstration que les invariants PT, qui sont a priori des nombres (ou classes d'homologie), peuvent être encodés dans une structure algébrique riche (algèbre de Lie/vertex) permettant des calculs de wall-crossing complexes.
3. Lien entre PT et DT de dimension 1 : Établissement d'une identité explicite reliant les invariants PT aux invariants DT de dimension 1 pour les classes superpositives, généralisant les résultats connus pour les variétés de Calabi-Yau.
4. Preuve par quasi-polynômes : Mise en œuvre d'une méthode robuste pour démontrer la rationalité via l'analyse de la dépendance polynomiale des invariants par rapport au paramètre $n$.

5. Signification et Impact

Ce travail constitue une avancée majeure dans la géométrie énumérative des variétés de dimension 3.

• Unification : Il unifie la compréhension des invariants PT pour les variétés de Fano et les variétés de Calabi-Yau sous un même cadre théorique basé sur les algèbres de vertex et les formules de wall-crossing.
• Outils pour le calcul : La formule de wall-crossing (Théorème 2.16) fournit un algorithme pratique pour calculer les invariants PT à partir des invariants DT de dimension 1, qui sont souvent plus simples à calculer ou à déduire de la géométrie de la variété.
• Perspectives : Bien que la symétrie $q \to q^{-1}$ reste ouverte dans ce cadre spécifique, la preuve de la rationalité et de la structure des pôles ouvre la voie à de nouvelles conjectures et à des calculs explicites pour des classes de courbes complexes sur des variétés projectives générales. Le travail suggère également que les limitations techniques actuelles pourraient être surmontées par de futures versions de la théorie (sans « framing functors »), comme le montrent les travaux parallèles de Karpov et Moreira.

En résumé, Anderson et Joyce démontrent que la structure rationnelle des invariants de Pandharipande-Thomas est une propriété fondamentale des classes de courbes superpositives, validée par une analyse profonde de la géométrie des espaces de modules et de la théorie des algèbres de vertex.