Refined Vafa-Witten invariants for toric surfaces from supersymmetric localization in 5D gauge theory

Énoncé du Problème
L'article traite du calcul des invariants de Vafa–Witten (VW) raffinés pour les surfaces toroïques, en se concentrant spécifiquement sur le cas de rang 2. Ces invariants sont des quantités topologiques associées à l'espace de modules des faisceaux semi-stables sans torsion sur une variété de dimension quatre $S$. Bien que les théories 4D $\mathcal{N}=2$ et $\mathcal{N}=4$ aient fourni des cadres pour ces invariants, les auteurs étudient leur réalisation au sein d'une théorie de Yang–Mills supersymétrique (SYM) 5D $\mathcal{N}=1^*$ compactifiée sur $S \times S^1_\beta$. Le défi central réside dans le fait que la théorie SYM 5D est fortement couplée dans l'UV et difficile à définir directement ; cependant, elle peut être construite via la réduction de la SCFT (théorie conforme de champ scalaire) 6D $(0,2)$ ou de la théorie M sur des singularités de Calabi–Yau toroïques. Le problème spécifique est de calculer la fonction de partition de la théorie SYM 5D $\mathcal{N}=1^*$ $U(N)$ (où l'astérisque désigne un hypermultiplet adjoint massif supplémentaire) sur une surface de Kähler toroïque $S$ et de vérifier si elle reproduit le genre $\chi_{y^2}$ de l'espace de modules des faisceaux, ce qui correspond aux invariants VW raffinés. Une difficulté particulière surgit pour les classes de Chern premières ($c_1$) paires, où existent des faisceaux strictement semi-stables, compliquant la relation entre les résultats de localisation et les invariants attendus.

Méthodologie
Les auteurs emploient des techniques de localisation supersymétrique généralisées de la 4D vers la 5D. La méthodologie procède selon les étapes suivantes :

1. Twist Topologique : La théorie subit un twist topologique partiel le long de la surface $S$ (spécifiquement le twist de Vafa–Witten), rendant la théorie topologique le long de $S$ tout en conservant une dépendance vis-à-vis du rayon du cercle $\beta$. Ce twist réduit la fonction de partition à l'indice de Witten de la mécanique quantique supersymétrique sur l'espace de modules des instantons.
2. Localisation Toroïques : En supposant que $S$ est une surface toroïque avec un nombre d'Euler $\chi$, l'intégrale de chemin se localise sur une intégrale sur le tore de Cartan du groupe de gauge. L'intégrande est construit comme un produit de fonctions de partition de Nekrasov pour la théorie $\mathcal{N}=1^*$ 5D sur chacun des $\chi$ patchs $\mathbb{C}^2$ affines de la surface toroïque.
3. Structure Analytique et Relations de Récurrence : Les auteurs analysent les pôles de l'intégrande. Ils généralisent les relations de récurrence de Zamolodchikov aux blocs conformes $q$-Virasoro sur un tore à une ponction, qui correspondent à la théorie de gauge $U(2)$ $\mathcal{N}=1^*$ 5D. Cela leur permet de caractériser la structure analytique de la fonction de partition, en identifiant un ensemble infini de pôles étiquetés par les flux toroïques $(p_\ell)$.
4. Prescription d'Intégration : L'intégrale est évaluée en sommant les résidus en ces pôles. Les auteurs utilisent une « dualité abstruse » pour grouper les flux dans des orbites de Weyl. Ils soutiennent que seuls les flux satisfaisant des inégalités spécifiques (correspondant à la semi-stabilité de pente) contribuent au résultat final. Pour $c_1$ impaire, les pôles sont simples ; pour $c_1$ paire, des pôles d'ordre supérieur apparaissent, correspondant à des faisceaux strictement semi-stables.
5. Comparaison avec les Résultats Mathématiques : Les fonctions de partition résultantes sont comparées aux résultats mathématiques connus pour le genre $\chi_{y^2}$ des espaces de modules de faisceaux sur $\mathbb{P}^2$ et les surfaces de Hirzebruch $\mathbb{F}_n$, dérivés par le comptage sur des corps finis et la localisation toroïques en géométrie algébrique.

Contributions Clés et Résultats

• Formule de Localisation pour la 5D $\mathcal{N}=1^*$ : L'article dérive la fonction de partition explicite de la théorie SYM 5D $\mathcal{N}=1^*$ $U(N)$ sur $S \times S^1_\beta$ sous la forme d'une intégrale de contour sur l'algèbre de Cartan, impliquant des produits de fonctions de Nekrasov sur les patchs affines avec des paramètres équivariants dépendants du patch.
• Cas de Rang 1 (Abélien) : Pour $U(1)$, les auteurs reproduisent avec succès la formule de Götsche pour les polynômes de Poincaré du schéma de Hilbert de points sur n'importe quelle surface toroïque $S$. Cela confirme que la fonction de partition 5D calcule la série génératrice des invariants VW raffinés dans la limite abélienne.
• Cas de Rang 2 ($U(2)$) sur $\mathbb{P}^2$ et $\mathbb{F}_n$ :
  • $c_1$ impaire : Pour les surfaces avec une classe de Chern première impaire, les auteurs trouvent que la somme sur les pôles contribuant reproduit le genre $\chi_{y^2}$ de l'espace de modules des faisceaux cohérents stables. Crucialement, la dépendance vis-à-vis des paramètres équivariants $(\epsilon_1, \epsilon_2)$ s'annule, donnant des résultats qui correspondent aux invariants VW raffinés trouvés dans la littérature (par exemple, les résultats de Yoshioka).
  • $c_1$ paire : Pour les classes de Chern premières paires, la situation est plus complexe en raison de la présence de faisceaux strictement semi-stables. La fonction de partition dépend des paramètres équivariants même après la somme sur les pôles. Les auteurs trouvent que pour correspondre aux invariants VW rationnels dans la limite non raffinée, ils doivent ajouter manuellement un terme constant spécifique ($-1/(4\eta^{2\chi})$) et pondérer les contributions strictement semi-stables par $1/2$.
• Correspondance Pôle-Module : Les auteurs établissent une correspondance biunivoque entre les flux contribuant à l'intégrale de localisation et les points fixes du tore dans l'espace de modules des faisceaux sans torsion semi-stables (classification de Klyachko). Les pôles simples correspondent à des points fixes isolés, tandis que les pôles d'ordre supérieur correspondent à des loci fixes de dimension positive.

Signification et Revendications
L'article prétend fournir une dérivation physique des invariants de Vafa–Witten raffinés pour les surfaces toroïques en utilisant la localisation supersymétrique 5D.

• Succès pour $c_1$ impaire : Les auteurs affirment que pour $c_1$ impaire, leur méthode « reproduit parfaitement la série génératrice attendue des invariants de Vafa–Witten raffinés », car la dépendance équivariante disparaît, ce qui est cohérent avec la lissé et la projectivité des espaces de modules correspondants.
• Problème pour $c_1$ paire : Les auteurs font preuve de modestie concernant le cas $c_1$ paire. Ils reconnaissent que la relation entre leurs résultats de localisation et les invariants VW raffinés (motiviques) est « moins transparente ». Ils notent que la dépendance vis-à-vis des paramètres équivariants ne disparaît pas naturellement sans prescriptions ad hoc (telles que l'ajout du terme constant) et spéculent qu'une extension équivariante appropriée de la contribution dégénérée pourrait résoudre cela, tout en admettant ne pas avoir encore trouvé de prescription qui élimine avec succès la dépendance équivariante pour tous les ordres.
• Directions Futures : L'article suggère que ces techniques ouvrent la voie au calcul de corrélateurs topologiques pour n'importe quelle surface toroïque lisse compacte, s'étendant à des groupes de gauge de rang plus élevé (en utilisant les résidus de Jeffrey–Kirwan), et potentiellement à la dérivation de formules de blow-up pour les invariants VW raffinés à partir de la théorie 5D. Cependant, il ne prétend pas avoir résolu définitivement les problèmes de modularité ou de raffinement pour le cas $c_1$ paire.

En résumé, ce travail étend avec succès la localisation 5D à la théorie $\mathcal{N}=1^*$ avec un hypermultiplet adjoint, validant la connexion avec les invariants VW raffinés pour les classes de Chern impaires, tout en mettant en évidence les subtilités non résolues dans le secteur des classes de Chern paires liées à la semi-stabilité et aux raffinements équivariants.