Rationality of cohomological descendent series for Quot schemes on surfaces with $p_g=0$

Cet article démontre que les séries génératrices de descendants cohomologiques pour les schémas de quotients sur les surfaces lisses projectives à $p_g=0$ sont rationnelles dans le cas restant où $\beta\neq 0$ et $N>1$, en utilisant une récurrence de type Pandharipande-Thomas via un changement de mur et des opérateurs de correction explicites.

L'essentiel

Imaginez que vous êtes un architecte qui tente de construire des modèles mathématiques complexes. Votre matériau de base est une surface lisse (comme une feuille de papier parfaitement plane, mais en mathématiques, c'est un objet abstrait appelé "surface projective").

Sur cette surface, vous voulez étudier toutes les façons possibles de découper des formes spécifiques à l'intérieur d'un grand tas de matériaux (représenté par le symbole $O_S^{\oplus N}$). Ces formes sont appelées des "quotients". Le problème, c'est qu'il y a une infinité de façons de faire ces découpages, et chaque découpage a une taille et une forme différentes.

Les mathématiciens veulent créer une "recette" (une série génératrice) qui résume toutes ces possibilités d'un seul coup d'œil. La question est : Cette recette est-elle simple et prévisible (rationnelle), ou est-elle un chaos inextricable ?

Jusqu'à présent, on savait que la recette était simple dans certains cas (quand la surface est très "riche" ou quand on ne prend qu'une seule forme). Mais il restait un cas difficile : une surface "pauvre" (où $p_g = 0$), avec plusieurs formes à découper ($N > 1$) et une taille non nulle. C'est là que intervient l'auteur, Reginald Anderson, dans ce papier.

Voici comment il résout le problème, expliqué avec des analogies simples :

1. Le Grand Jeu de la "Périodicité" (Le tapis roulant)

Imaginez que vos formes mathématiques sont sur un tapis roulant infini. Anderson découvre une astuce : si vous déplacez toute votre configuration d'un cran sur ce tapis (en utilisant un outil mathématique appelé "tenser par un fibré en droites"), la forme globale ne change pas, elle se décale juste d'un cran.

• L'analogie : C'est comme si vous aviez un motif sur un tapis. Si vous glissez le tapis d'un mètre, le motif reste le même, juste à un autre endroit.
• Le résultat : Parce que ce motif se répète de manière prévisible, on peut prouver que la "recette" globale est rationnelle (c'est-à-dire qu'elle suit une logique simple, comme une fraction).

2. La Stratégie du "Filtre" (Décomposer le problème)

Le problème principal est trop gros pour être résolu d'un seul coup. Anderson décide de le casser en deux étapes, comme un filtre à café :

• Étape 1 (Le filtre grossier) : On sépare les formes "pures" (celles qui sont bien définies, comme des lignes) de celles qui ont des "impuretés" (des petits points en trop).
• Étape 2 (Le filtre fin) : On regarde ce qui reste après avoir retiré les impuretés.

Il montre que le passage de l'état "paires" (le filtre grossier) à l'état "quotients complets" (le filtre fin) ne nécessite que deux petits ajustements mathématiques, qu'il appelle des "opérateurs de correction".

3. Le Premier Ajustement : Les "Courbes Locales"

Le premier ajustement concerne les impuretés qui ressemblent à des courbes.

• L'analogie : Imaginez que vous essayez de compter les grains de sable sur une plage, mais certains grains sont collés ensemble en petits tas. Anderson dit : "Ne comptons pas tout d'un coup. Regardons d'abord les tas lisses, puis les tas qui sont abîmés (singuliers)."
• Il prouve que même les tas abîmés (les singularités) suivent des règles locales très simples. En les décomposant en morceaux lisses et en petits points, il montre que la recette reste simple. C'est comme dire que même si un gâteau est brûlé à un coin, la recette du gâteau reste valable si on sait comment ajuster le temps de cuisson pour ce coin précis.

4. Le Deuxième Ajustement : L'Effondrement Magique

Le deuxième ajustement est le plus surprenant. Il concerne les points très petits et très complexes.

• L'analogie : Imaginez que vous essayez de mesurer la différence entre deux types de boules de neige. Anderson découvre que, grâce à une propriété cachée de la "K-théorie" (une sorte de balance mathématique), les différences complexes s'annulent exactement.
• Le résultat : Au lieu d'avoir une formule compliquée pour chaque type de point, tout se réduit à une seule formule universelle, celle d'un point parfait sur une surface lisse. C'est comme si, après avoir pesé des milliers de roches différentes, vous réalisiez qu'elles pèsent toutes exactement la même chose une fois nettoyées.

Conclusion : La Réponse est "Oui" !

En combinant ces pièces du puzzle :

1. La répétition périodique (le tapis roulant).
2. La décomposition en parties gérables (les filtres).
3. La preuve que les parties complexes sont en fait simples (les ajustements locaux).
4. L'annulation magique des différences (l'effondrement).

Anderson prouve que la "recette" pour ces surfaces complexes est bien rationnelle. En termes simples : il y a une logique sous-jacente, une formule mathématique propre et élégante qui régit toutes ces formes, même dans le cas le plus difficile qui restait à résoudre.

C'est une victoire de l'ordre sur le chaos, montrant que même dans les structures mathématiques les plus tordues, il existe une harmonie cachée.

Résumé technique

1. Problématique et Contexte

Objet d'étude :
Le papier s'intéresse aux séries génératrices de descendants cohomologiques pour les schémas de Quot sur une surface projective lisse $S$ définie sur $\mathbb{C}$. Plus précisément, on considère les schémas de Quot $\text{Quot}_S(\mathcal{O}_S^{\oplus N}, \beta, n)$, qui paramètrent les quotients de rang nul de la somme directe de $N$ faisceaux structuraux $\mathcal{O}_S$, avec une classe de Chern première fixée $\beta \in H^2(S, \mathbb{Z})$ et un caractère d'Euler $\chi = n$.

Le problème de rationalité :
Pour un paquet de descendants fini $\tau$, on définit la série génératrice :
$$Z_{\text{Quot}}^{S,N,\beta,\tau}(q) = \sum_{n \in \mathbb{Z}} q^n \int_{[\text{Quot}_S(\beta, n)]^{\text{vir}}} \prod \text{ch}_{k_i}(\alpha_i[n]) \cdot c(T^{\text{vir}})$$
où les intégrales sont prises sur la classe virtuelle fondamentale. La question centrale, posée par Johnson, Oprea et Pandharipande, est de savoir si ces séries sont des développements de Laurent de fonctions rationnelles en $q$.

État de l'art et lacune :
Des résultats antérieurs ont établi la rationalité dans les cas suivants :

• $\beta = 0$ (cas trivial).
• $N = 1$.
• $p_g(S) > 0$ (genre géométrique non nul), tant en cohomologie qu'en K-théorie virtuelle.

Le cas restant, et celui traité dans cet article, est celui où $p_g(S) = 0$, $\beta \neq 0$ et $N > 1$. C'est un cas difficile car l'absence de formes différentielles holomorphes globales ($p_g=0$) complique les structures de déformation et les techniques de localisation usuelles.

2. Méthodologie et Stratégie de Preuve

La preuve du théorème principal repose sur une décomposition conceptuelle en cinq étapes, combinant la théorie des murs (wall-crossing), la géométrie des courbes et la K-théorie locale.

Étape 1 : Récursion de type "Wall-Crossing" (Changement de paroi)

L'auteur construit une récursion basée sur un changement de paroi à un paramètre pour une famille de paires fixes.

• Cadre catégorique : Utilisation du formalisme de Joyce pour les changements de paroi dans les catégories abéliennes.
• Chambre de paires : On définit une "chambre de paires" $P_{S,N}^{\text{pair}}(\beta, n)$ correspondant à des morphismes $\mathcal{O}_S^{\oplus N} \to F$ où $F$ est un faisceau pur de dimension 1.
• Récursion : En variant le paramètre de stabilité, on relie la chambre des paires à des chambres de faisceaux purs via une récursion finie (Théorème 3.1). Cette récursion décompose la classe virtuelle de la chambre de paires en une somme de produits de classes de faisceaux purs et de paires de classes inférieures.

Étape 2 : Rationalité de la chambre de paires

Pour prouver que la série de la chambre de paires est rationnelle :

• Invariance par torsion : On utilise le fait que le tensement par un fibré en droites ample $\mathcal{O}_S(H)$ préserve la semi-stabilité de Gieseker et décale le caractère d'Euler de manière périodique (Proposition 2.2).
• Polynômialité : Cela permet de montrer que les coefficients de la série, le long des progressions arithmétiques, sont des polynômes en $n$ (Proposition 4.2).
• Conclusion : Une série dont les coefficients sont polynomiaux par classes de résidus est une fonction rationnelle (Théorème 4.3).

Étape 3 : Factorisation via le Quot "Pur"

Le lien entre le schéma de Quot complet (qui inclut des torsions de dimension 0) et la chambre de paires (faisceaux purs) est établi via deux opérateurs de correction de dimension zéro :

1. Première correction : Passage de la paire à un faisceau pur. Cela correspond à un schéma de Quot relatif sur les courbes de support (Théorème 5.3).
2. Deuxième correction : Passage du faisceau pur au quotient complet (ajout de la torsion). Cela correspond à un schéma de Quot ponctuel relatif (Théorème 5.4).

Étape 4 : Réduction à la théorie des courbes (Première correction)

La première correction est analysée en réduisant le problème à la géométrie des courbes de support :

• Stratification : On stratifie l'espace de base selon la géométrie du support (lisse ou singulier).
• Courbes lisses : Pour les supports lisses, la rationalité est prouvée par localisation torique et réduction aux fibrés vectoriels scindés (Théorème 8.4).
• Courbes singulières : Pour les supports singuliers, on utilise une factorisation exponentielle (Corollaire 7.3) qui sépare la partie lisse (normalisation) des facteurs locaux aux singularités.
• Facteurs locaux : La rationalité des facteurs locaux singuliers est déduite du théorème de rationalité de Huang-Jiang pour les fonctions zêta de Quot sur les courbes réduites, combiné à une décomposition par "padding" (Proposition 9.2 et Théorème 9.4).

Étape 5 : Effondrement de la deuxième correction

La deuxième correction (ajout de la torsion) est traitée par des arguments de K-théorie locale :

• Résolution libre : Sur un germe de surface lisse, tout module pur de dimension 1 admet une résolution libre de longueur 1 de la forme $0 \to \mathcal{O}^{\oplus a} \to \mathcal{O}^{\oplus a} \to G \to 0$ (Lemme 10.1).
• Annulation K-théorique : Cette structure implique que la classe virtuelle de la correction dépendante de $G$ s'annule dans la K-théorie locale.
• Universalité : La deuxième correction se réduit donc à un facteur universel indépendant du type local du faisceau pur, ne dépendant que de la théorie de Quot ponctuelle sur une surface lisse (Théorème 10.2).

3. Résultats Principaux

Théorème 1.1 (Théorème Principal) :
Soit $S$ une surface projective lisse avec $p_g(S) = 0$. Pour toute classe effective $\beta \neq 0$ et tout entier $N > 1$, la série génératrice cohomologique des descendants $Z_{\text{Quot}}^{S,N,\beta,\tau}(q)$ est la partie principale de Laurent d'une fonction rationnelle en $q$.

Ce résultat complète la classification de la rationalité pour tous les cas de surfaces projectives lisses, fermant ainsi la question ouverte pour le cas $p_g=0, N>1$.

4. Contributions Clés et Innovations Techniques

1. Récursion de changement de paroi fixe : Adaptation du formalisme de Pandharipande-Thomas (développé pour les variétés de dimension 3) au contexte des surfaces avec un faisceau source fixe, permettant de contrôler la structure combinatoire des murs.
2. Réduction géométrique : La décomposition systématique du problème global en problèmes locaux (courbes lisses, courbes singulières, points lisses) via des opérateurs de correction explicites.
3. Traitement des singularités : L'utilisation des résultats de Huang-Jiang sur les courbes singulières pour prouver la rationalité des facteurs locaux, étendant ainsi la portée des théorèmes de rationalité de Quot.
4. Effondrement K-théorique : La découverte que la correction de torsion (deuxième correction) s'effondre en un facteur universel grâce à la propriété de résolution libre des modules purs sur les surfaces lisses, éliminant la dépendance complexe vis-à-vis de la géométrie locale du faisceau.

5. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

• Complétude : Il résout le dernier cas ouvert majeur concernant la rationalité des séries de Quot sur les surfaces, un problème central en géométrie énumérative et en théorie de Gromov-Witten.
• Outils unificateurs : Il démontre la puissance de combiner la théorie des murs de Joyce, la géométrie des courbes singulières et la K-théorie locale pour résoudre des problèmes de comptage sur les surfaces.
• Applications potentielles : La rationalité de ces séries est cruciale pour les conjectures de dualité (comme la dualité de Donaldson-Thomas et Pandharipande-Thomas) et pour la compréhension des invariants de Gromov-Witten des surfaces. La méthode développée pourrait être adaptée à d'autres problèmes de comptage sur des variétés de dimension supérieure ou avec des conditions de stabilité différentes.

En résumé, Anderson fournit une preuve rigoureuse et complète de la rationalité dans un cas technique complexe, en orchestrant une série d'outils géométriques et algébriques sophistiqués pour décomposer le problème global en composantes localement rationnelles.