Quantum field theory and four-manifolds: Perspectives from physics and geometry

Au milieu du XXe siècle, les physiciens ont développé un cadre puissant pour décrire les forces fondamentales de la nature, en traitant celles-ci non pas comme des champs invisibles, mais comme des interactions transportées par des particules. Ce cadre, connu sous le nom de théorie de jauge, a expliqué avec succès comment les particules telles que les électrons et les quarks interagissent. Vers la même époque, les mathématiciens exploraient les formes profondes de l'espace, particulièrement dans les quatre dimensions, qui est le nombre de dimensions que nous expérimentons dans notre univers : trois d'espace et une de temps. Ils ont découvert que ces formes à quatre dimensions, ou variétés, pouvaient être incroyablement complexes et que leur lissité pouvait varier de manières impossibles à prédire en utilisant la géométrie standard. Pendant des décennies, ces deux mondes — la physique des interactions de particules et la mathématique des formes à quatre dimensions — se sont développés en parallèle, chacun avec son propre langage et ses propres outils.

Le pont entre eux a commencé à se former lorsque les physiciens ont réalisé que certaines théories décrivant les particules possédaient une symétrie cachée appelée supersymétrie. Cette symétrie lie les particules qui transportent une force aux particules qui constituent la matière. Lorsque les physiciens ont appliqué un tour spécifique, connu sous le nom de « torsion topologique » (topological twist), à ces théories supersymétriques, quelque chose de remarquable s'est produit. Les équations complexes décrivant les particules se sont considérablement simplifiées. La théorie résultante ne se souciait plus des distances ou des angles spécifiques dans l'espace ; elle ne s'intéressait qu'à la forme globale et à la connectivité de l'espace lui-même. Cela signifiait que les calculs physiques effectués par les physiciens calculaient en réalité des quantités mathématiques qui décrivent la forme de l'univers, des quantités que les mathématiciens peinaient à définir et à calculer depuis des années.

Cette nouvelle compréhension a conduit à une révolution dans la manière dont les scientifiques perçoivent la relation entre la physique et la géométrie. Elle suggérait que les lois de la physique pouvaient être utilisées pour résoudre des problèmes mathématiques difficiles et, inversement, que des structures mathématiques pouvaient révéler de nouvelles propriétés des théories physiques. Cependant, un écart important subsistait. Tandis que les physiciens pouvaient calculer ces quantités à l'aide d'intégrales de chemin — une méthode qui somme toutes les configurations possibles d'un champ — les mathématiciens avaient besoin d'une définition géométrique rigoureuse, étape par étape, pour prouver que ces résultats étaient corrects. Ils avaient besoin de comprendre exactement ce que ces calculs physiques comptaient et comment les définir sans dépendre du langage fluide de la physique.

Un effort de collaboration récent mené par des chercheurs d'Oxford, d'Utrecht, du Trinity College de Dublin et de l'Institut mathématique des sciences et des applications de Pékin a réuni ces deux perspectives dans un ensemble complet de notes de cours. Les auteurs, Niklas Garner, Martijn Kool, Jan Manschot et Yuuji Tanaka, ont synthétisé un vaste corpus de travaux pour expliquer comment les prédictions physiques des théories de jauge supersymétriques correspondent précisément à la géométrie algébrique moderne. Leur travail ne se contente pas de suggérer un lien ; il fournit une feuille de route détaillée montrant comment les structures algébriques abstraites de la physique se manifestent sous forme d'objets géométriques concrets, tels que des espaces de solutions à des équations spécifiques, et comment ces objets peuvent être comptés à l'aide d'outils mathématiques rigoureux.

Le cœur de leur explication se concentre sur un type spécifique de théorie physique impliquant des espaces à quatre dimensions. Dans ces théories, les physiciens recherchent des solutions spéciales à leurs équations, appelées instantons. Il ne s'agit pas de particules se déplaçant dans l'espace, mais de configurations localisées d'un champ représentant un type spécifique de torsion dans la trame de l'espace. L'ensemble de tous les instantons possibles forme une forme géométrique complexe appelée espace de modules. Dans les années 1980, le mathématicien Simon Donaldson a utilisé ces espaces pour créer de nouveaux invariants — des nombres qui décrivent la forme des variétés à quatre dimensions. Plus tard, les physiciens Cumrun Vafa et Edward Witten ont proposé une autre torsion de la même théorie qui a conduit à un nouvel ensemble d'invariants, désormais connus sous le nom d'invariants de Vafa-Witten. Ces nouveaux invariants ont été prédits comme possédant une propriété spéciale appelée modularité, signifiant qu'ils pouvaient être organisés en motifs qui se répètent d'une manière spécifique, de la même façon que les rythmes dans une gamme musicale.

Les chercheurs de cette étude expliquent comment ces prédictions physiques se traduisent dans le langage de la géométrie algébrique. Ils montrent que les espaces de modules d'instantons, qui étaient originellement définis à l'aide d'équations différentielles et du calcul, peuvent être réinterprétés comme des espaces de « faisceaux » (sheaves). En termes simples, un faisceau est une façon d'organiser des données sur un espace géométrique, de la même manière qu'une carte organise des informations sur différentes régions d'un pays. Les mathématiciens avaient déjà développé une façon d'étudier ces espaces de faisceaux, y compris comment traiter le fait qu'ils soient souvent dentelés ou singuliers, plutôt que lisses. En utilisant une technique appelée « cycles virtuels », qui permet aux mathématiciens d'attribuer une taille ou un compte significatif à ces espaces dentelés, les auteurs démontrent que les intégrales de chemin physiques sont exactement équivalentes aux nombres d'intersection mathématiques sur ces espaces de faisceaux.

L'une des découvertes les plus significatives détaillées dans les notes est la confirmation d'une symétrie profonde connue sous le nom de S-dualité. Dans la théorie physique, cette symétrie suggère que le comportement du système à un couplage très fort (où les interactions sont intenses) est identique à son comportement à un couplage très faible (où les interactions sont douces), à condition de remplacer le groupe de jauge par son dual mathématique. Les auteurs montrent que cette symétrie physique se reflète dans le monde mathématique comme une transformation des fonctions génératrices de ces invariants. Ces fonctions génératrices, qui énumèrent les comptes de solutions pour différentes configurations, s'avèrent être des formes modulaires. Cela signifie que les nombres générés par la théorie suivent un motif strict et répétitif que les mathématiciens étudient depuis des siècles. Le travail confirme que les mystérieuses propriétés modulaires prédites par les physiciens ne sont pas accidentelles, mais sont ancrées dans la structure même de la géométrie de ces espaces.

Les auteurs abordent également la question du « franchissement de mur » (wall-crossing), un phénomène où le nombre de solutions aux équations change brusquement lorsqu'on fait varier un paramètre de la théorie. Dans le tableau physique, cela se produit lorsqu'un espace de solutions possibles subit un changement soudain. Les notes de cours expliquent comment les mathématiciens peuvent prédire ces sauts à l'aide d'une formule qui relie les invariants avant et après le changement. Cette formule implique des contributions provenant de différentes parties de l'espace, y compris des régions où les solutions sont réductibles ou dégénérées. En analysant soigneusement ces contributions, les chercheurs montrent que le compte total reste cohérent avec les prédictions physiques, résolvant ainsi des questions de longue date sur la manière dont ces invariants se comportent sur différents types de surfaces à quatre dimensions.

Une partie clé de leur travail implique l'utilisation de techniques de localisation. Il s'agit d'une méthode consistant à simplifier un calcul complexe en se concentrant uniquement sur les points où une action de symétrie laisse le système inchangé. Dans le contexte de ces théories, les chercheurs montrent que les intégrales compliquées sur l'ensemble de l'espace de modules peuvent être réduites à des sommes sur des sous-espaces spécifiques plus simples. Cette réduction permet des calculs explicites qui étaient auparavant impossibles. Par exemple, ils démontrent comment calculer les invariants pour des surfaces spécifiques, telles que le plan projectif complexe ou les surfaces K3, en décomposant le problème en morceaux gérables. Ces calculs non seulement vérifient les prédictions physiques, mais fournissent également de nouvelles formules mathématiques pour compter des objets géométriques qui n'avaient jamais été calculés auparavant.

Les notes explorent également la connexion entre ces théories à quatre dimensions et la physique à cinq dimensions. En considérant la théorie sur un espace qui inclut une dimension circulaire supplémentaire, les chercheurs montrent que les invariants peuvent être interprétés comme le comptage des états d'un système à cinq dimensions. Cette perspective offre une nouvelle façon de comprendre la structure des invariants et les lie à la théorie des représentations de certaines structures algébriques. Les auteurs expliquent comment les fonctions de partition de ces théories à cinq dimensions, qui encodent les comptes d'états, sont liées aux formes modulaires trouvées dans le cas à quatre dimensions. Cette connexion suggère une unité plus profonde entre les différentes dimensions des théories physiques et leurs homologues mathématiques.

Tout au long du texte, les auteurs soulignent le rôle des conditions de stabilité. En physique comme en mathématiques, il faut imposer certains critères pour s'assurer que les espaces de solutions sont bien définis et finis. Dans la théorie physique, ces conditions découlent naturellement de l'exigence que l'énergie du système soit minimisée. Dans la formulation mathématique, elles correspondent aux conditions de stabilité pour les faisceaux, qui garantissent que les faisceaux ne se décomposent pas en composants plus simples et instables. Les chercheurs montrent que ces deux notions de stabilité sont équivalentes, fournissant un fondement rigoureux à la correspondance entre les descriptions physiques et mathématiques. Ils discutent également de la manière dont ces conditions de stabilité changent lorsque les paramètres de la théorie varient, menant aux phénomènes de franchissement de mur mentionnés précédemment.

Le travail présenté dans ces notes sert de guide complet pour quiconque s'intéresse à l'intersection de la théorie quantique des champs et de la géométrie algébrique. Il jette un pont entre les méthodes intuitives, souvent heuristiques, des physiciens et l'approche axiomatique et rigoureuse des mathématiciens. En traduisant le langage des intégrales de chemin et de la supersymétrie dans le langage des faisceaux, des espaces de modules et des cycles virtuels, les auteurs ont rendu possible l'utilisation de toute la puissance de la géométrie algébrique moderne pour résoudre des problèmes de physique théorique. Inversement, ils ont montré comment l'intuition physique peut guider les mathématiciens vers de nouvelles structures et de nouveaux invariants qui auraient pu autrement rester cachés.

Les implications de ce travail s'étendent au-delà des invariants spécifiques discutés. Les méthodes développées ici, particulièrement l'utilisation des cycles virtuels et de la localisation, sont applicables à un large éventail de problèmes de géométrie énumérative. Elles fournissent une boîte à outils pour compter des objets géométriques dans des situations où les méthodes traditionnelles échouent. Les auteurs soulignent également que ces techniques peuvent être utilisées pour étudier des groupes de jauge de rang supérieur et des surfaces plus complexes, ouvrant de nouvelles voies de recherche. La confirmation de la conjecture de la S-dualité pour ces invariants est une étape majeure, fournissant une preuve solide des connexions profondes entre différents domaines des mathématiques et de la physique.

En résumé, ce travail collaboratif offre une explication claire et détaillée de la manière dont les concepts physiques de torsion topologique et de supersymétrie mènent à des résultats mathématiques profonds. Il montre que les invariants des variétés à quatre dimensions, autrefois considérés comme de purs objets mathématiques, sont profondément ancrés dans la structure de la théorie quantique des champs. Les auteurs ont démontré avec succès que les prédictions faites par les physiciens ne sont pas seulement numériquement correctes, mais sont mathématiquement rigoureuses et structurellement saines. En fournissant une vue unifiée de ces théories, ils ont ouvert la voie à de futures découvertes qui continueront probablement de brouiller les lignes entre la physique et les mathématiques, révélant une unité plus profonde dans les lois de la nature et les structures de l'espace.