Topological Recursion in the Seiberg-Witten partition function via AGT correspondence

Dans le vaste paysage de la physique moderne, il existe un défi persistant : comprendre comment les forces fondamentales de la nature se comportent lorsqu'elles sont poussées à leurs limites. Bien que les scientifiques aient réussi à décrire comment les particules interagissent à haute énergie à l'aide d'équations standards, ces équations s'effondrent souvent lorsque les interactions deviennent incroyablement fortes. C'est le domaine de la physique non perturbative, un domaine où les outils habituels d'approximation échouent et où le comportement de l'univers devient profondément complexe et difficile à prédire. Depuis des décennies, les chercheurs cherchent un moyen de cartographier ce terrain difficile, particulièrement pour les théories impliquant des champs de Yang-Mills, qui décrivent la force nucléaire forte maintenant les noyaux atomiques. La clé pour déverrouiller ces mystères réside souvent dans la recherche de symétries ou de dualités cachées — des connexions entre deux descriptions apparemment différentes de la même réalité physique. Une telle connexion, connue sous le nom de correspondance AGT, suggère un lien surprenant entre les théories de la physique des particules en quatre dimensions et les théories de la théorie conforme des champs en deux dimensions, une branche des mathématiques utilisée pour décrire des formes et des motifs qui restent inchangés par changement d'échelle.

Cette thèse, rédigée par Bastam Tajik à l'Université de la Sapienza de Rome, se propose de tester la force et la validité de cette correspondance AGT. L'objectif central est de démontrer qu'un ensemble spécifique de relations récursives, découvertes à l'origine par le mathématicien Alexander Zamolodchikov dans le contexte des théories de champs conformes en deux dimensions, donne naissance aux relations récursives régissant la fonction de partition de Seiberg-Witten dans les théories de jauge supersymétriques en quatre dimensions, et vice versa. La fonction de partition de Seiberg-Witten est un objet mathématique complexe qui encode les propriétés non perturbatives de ces théories de jauge, agissant essentiellement comme une clé maîtresse pour comprendre leur comportement. En établissant que les motifs récursifs trouvés dans le monde bidimensionnel génèrent exactement les mêmes résultats que ceux calculés dans le monde quadridimensionnel, ce travail vise à fournir une preuve solide que ces deux domaines distincts de la physique sont effectivement les deux faces d'une même pièce.

Pour y parvenir, l'auteur navigue à travers une forêt dense de concepts mathématiques avancés, en commençant par la géométrie des espaces où vivent ces théories. La recherche repose largement sur la construction ADHM, une méthode pour décrire les instantons — des solutions spéciales et stables des équations du mouvement qui représentent des événements de effet tunnel entre différents états de vide. Ces instantons ne sont pas seulement des points abstraits ; ils forment une structure géométrique connue sous le nom d'espace de modules, qui peut être visualisé comme un paysage avec des collines, des vallées et des points singuliers où la géométrie devient aiguë ou indéfinie. La thèse explore comment ce paysage est construit à l'aide de quotients hyper-Kählériens, une technique géométrique sophistiquée qui découpe et façonne des espaces de dimension supérieure pour révéler la structure sous-jacente des solutions d'instanton. L'auteur détaille soigneusement comment ces espaces se comportent, y compris lorsqu'ils sont placés sur un espace-temps non commutatif, un cadre théorique où les coordonnées de l'espace et du temps ne commutent pas, de la même manière que l'ordre des opérations compte dans certains systèmes algébriques.

Une partie importante du travail consiste à surmonter les difficultés de calcul associées au calcul de la fonction de partition. Les méthodes traditionnelles pour intégrer sur ces espaces de modules complexes sont souvent entachées de singularités et de divergences qui rendent tout calcul précis presque impossible. La thèse étudie l'utilisation des techniques de localisation, une stratégie mathématique puissante qui simplifie ces intégrales en montrant que toute la contribution au résultat provient de quelques points spécifiques et isolés plutôt que de l'ensemble de l'espace. L'auteur démontre comment l'introduction d'un paramètre non commutatif « résout » efficacement les singularités de l'espace de modules, lissant les bords tranchants et permettant un calcul propre et bien défini. Cette résolution est cruciale car elle permet d'appliquer les relations récursives sans les ruptures mathématiques qui se produisent habituellement à ces points critiques.

L'objectif central de la thèse est de dériver la fonction de partition de Nekrasov, qui décrit les contributions d'instanton à la théorie de Seiberg-Witten, directement à partir des relations récursives du bloc conforme en deux dimensions. En faisant correspondre méticuleusement les termes générés par la récursion de Zamolodchikov avec les termes dérivés du calcul d'instanton, le travail entend confirmer que les deux approches produisent des résultats identiques. Cette équivalence n'est pas une simple coïncidence ; elle vise à valider la correspondance AGT en tant que dualité robuste. Le travail cherche à montrer que la physique complexe et de haute dimension des théories de jauge en quatre dimensions peut être pleinement capturée par les structures récursives plus simples des théories de champs conformes en deux dimensions. La thèse explore en outre les implications de cette dualité pour le prépotentiel, une fonction qui détermine le comportement à basse énergie de la théorie, montrant que la résolution non commutative de l'espace de modules conduit à un résultat cohérent et fini qui s'aligne parfaitement avec les attentes de la théorie duale.

Enfin, cette recherche vise à fournir un pont concret entre deux domaines vastes et apparemment déconnectés de la physique théorique. Elle propose que les motifs récursifs régissant le comportement des champs en deux dimensions sont suffisants pour reconstruire la dynamique complexe et non perturbative des théories de jauge en quatre dimensions. En naviguant à travers les complexités géométriques des espaces de modules d'instanton et en utilisant la puissance de la localisation et de la géométrie non commutative, la thèse offre une vérification claire et rigoureuse d'un lien théorique profond. Ce travail témoigne de la puissance de la dualité mathématique, montrant qu'en regardant un problème sous le bon angle, les calculs les plus difficiles de la théorie quantique des champs peuvent être réduits à des étapes récursives élégantes.