Topological 5d $\mathcal{N} = 2$ Gauge Theories: Mirror Symmetry and Langlands Duality of $A_\infty$-categories of Floer Homologies

Cet article établit une dualité de miroir et de Langlands entre les catégories $A_\infty$ d'homologies de Floer issues de théories de jauge topologiques 5d, fournissant ainsi des preuves physiques et des généralisations de conjectures mathématiques récentes.

L'essentiel

Imaginez que l'univers est un immense tissu de réalité, et que les physiciens et les mathématiciens essaient de comprendre comment ce tissu est cousu. Ils utilisent des outils très complexes appelés « théories de jauge » pour décrire les forces fondamentales.

Ce papier, écrit par Arif Er et Meng-Chwan Tan, raconte une histoire fascinante de miroirs et de doubles dans ce monde mathématique. Voici l'explication simplifiée, sans jargon technique :

1. Les deux frères jumeaux qui ne se ressemblent pas

Imaginons deux frères jumeaux, disons Luc et Marc.

• Luc (la théorie de Haydys-Witten) vit dans un monde où il regarde les choses comme des « instantanés » (des points fixes dans le temps). Il utilise une règle de mesure qu'on appelle le groupe de jauge G.
• Marc (la théorie de Geyer-Mülch) vit dans un monde où il regarde les choses comme des « lignes plates » (des chemins qui ne tournent pas). Il utilise une règle de mesure différente, appelée le groupe de jauge LG.

Le grand secret révéré par les auteurs, c'est que Luc et Marc sont en fait la même personne, mais vus à travers des lunettes différentes ! C'est ce qu'on appelle la dualité de Langlands. Si vous prenez le monde de Luc et vous le « retournez » comme un gant, vous obtenez exactement le monde de Marc.

2. Le voyage à travers les dimensions (du 5D au 2D)

Pour comprendre cette connexion, les auteurs font voyager ces frères à travers différentes dimensions, comme un caméléon qui change de couleur selon son environnement :

• Le voyage en 5 dimensions (Le monde complet) : C'est là que tout commence. Les deux frères sont là, et on découvre qu'ils sont des miroirs l'un de l'autre.

• Le voyage en 3 dimensions (La réduction) : Quand on réduit le monde, on obtient des objets mathématiques appelés « Homologies de Floer ».

  • Pour Luc, cela ressemble à une carte au trésor complexe (une catégorie A∞ de type Fukaya-Seidel).
  • Pour Marc, cela ressemble à une collection de points singuliers (une catégorie A∞ de type Orlov).
  • La découverte ? La carte au trésor de Luc est en fait la même chose que la collection de points de Marc, juste vue sous un angle différent !

• Le voyage en 2 dimensions (Le monde plat) : Si on réduit encore plus, on obtient des structures encore plus abstraites (des catégories à 2 niveaux).

  • Luc devient un tissu de membranes (comme des bulles de savon).
  • Marc devient un réseau de branes (comme des nœuds dans une toile d'araignée).
  • Encore une fois, les deux structures sont identiques !

3. L'analogie du miroir et du puzzle

Pour rendre cela plus concret, imaginez un immense puzzle 3D :

• Luc assemble les pièces en regardant le puzzle de face. Il voit des formes qui ressemblent à des « instantanés » (des photos).
• Marc assemble le même puzzle, mais il le regarde par-dessus l'épaule, de côté. Il voit des formes qui ressemblent à des « lignes plates ».

Ce papier prouve que les deux puzzles sont exactement les mêmes. Les pièces que Luc utilise pour construire son image sont les mêmes que celles que Marc utilise, mais elles sont assemblées différemment.

4. Pourquoi c'est important ? (La preuve physique)

Avant ce travail, des mathématiciens (comme Bousseau, Doan et Rezchikov) avaient fait des paris (des conjectures) disant : « Je parie que si vous prenez ce type de structure mathématique (Luc) et que vous la transformez en ce type d'autre structure (Marc), vous obtiendrez la même chose. »

Mais ils n'avaient pas de preuve. Ils avaient juste une intuition très forte.

Le génie de ce papier est qu'ils ont utilisé la physique (les théories de jauge) pour prouver ces paris. Ils ont dit : « Regardez, si on utilise les lois de l'univers physique pour construire ces mathématiques, on voit clairement que les deux côtés sont identiques. »

C'est comme si quelqu'un avait dit : « Je parie que le dos d'une pièce de monnaie est la même chose que le devant. » Et les auteurs ont pris un microscope physique pour montrer que, oui, c'est exactement la même pièce de métal, juste tournée.

En résumé

Ce papier est une carte au trésor qui relie deux mondes mathématiques qui semblaient très différents :

1. Le monde des instantanés (Luc/Haydys-Witten).
2. Le monde des lignes plates (Marc/Geyer-Mülch).

Il montre que ces deux mondes sont en fait miroirs l'un de l'autre (Symétrie Miroir) et doubles l'un de l'autre (Dualité de Langlands). Et le plus beau, c'est qu'ils ont utilisé la physique pour prouver que des conjectures mathématiques complexes étaient vraies, transformant des suppositions en faits scientifiques.

C'est une victoire magnifique où la physique et les mathématiques se donnent la main pour révéler l'unité cachée de l'univers.

Résumé technique

1. Problématique et Motivation

L'article s'inscrit dans le cadre de la physique mathématique, visant à établir des liens profonds entre la théorie de jauge topologique en dimensions supérieures, la théorie de Floer, la symétrie miroir et la dualité de Langlands.

• Contexte : Les auteurs s'appuient sur leurs travaux antérieurs ([3, 5, 7, 8]) où ils ont défini physiquement de nouvelles homologies de Floer via des théories de jauge topologiques avec seize supercharges (notamment la théorie de Vafa-Witten et la théorie de Haydys-Witten (HW) en 5D). La théorie HW (un twist de Haydys-Witten) a permis de réaliser des catégories $A_\infty$ de type Fukaya-Seidel et des correspondances de type Atiyah-Floer.
• Question centrale : Existe-t-il une version « B-twistée » (B-twisted) des théories de jauge topologiques en 8D et 5D, analogue aux théories « A-twistées » (HW et AOS) déjà étudiées ? Une telle théorie devrait avoir des équations BPS de type « plat » (flat-type, $F=0$) plutôt que de type instanton ($F^+=0$), correspondant aux modèles sigma B-twistés et aux applications constantes.
• Objectif : Utiliser la théorie de jauge topologique 5D $N=2$ de Geyer-Mülsch (GM), dont les équations BPS sont des connexions plates $G_C$, pour définir de nouvelles homologies de Floer et démontrer une dualité de Langlands et une symétrie miroir entre les catégories $A_\infty$ dérivées des théories HW et GM.

2. Méthodologie

Les auteurs emploient une série de techniques de réduction et de dualité pour relier les théories de jauge 5D à des modèles de Landau-Ginzburg (LG) et des modèles sigma en dimensions inférieures :

1. Réduction Dimensionnelle et Topologique :
   • Réduction de Kaluza-Klein (KK) sur des cercles ($S^1$) pour passer de 5D à 4D, 3D et 2D.
   • Réduction topologique (méthode BJSV de Bershadsky-Johansen-Sadov-Vafa) le long de surfaces de Riemann pour obtenir des modèles sigma 3D et 2D.
2. Formulation en Mécanique Quantique Supersymétrique (SQM) :
   • Réécriture des théories de jauge sur $M \times \mathbb{R}$ comme des SQM en 1D dans l'espace des champs irréductibles. Les configurations critiques correspondent aux solutions stationnaires des équations de BPS.
   • Identification des fonctionnelles de Morse holomorphes ($V_4, V_3, V_2$) dont les points critiques génèrent les chaînes des complexes de Floer.
3. Théorie des Cordes et des Membranes :
   • Interprétation des partitions fonctions normalisées comme des sommes d'amplitudes de diffusion d'arbres (tree-level) de cordes (en 2D) et de membranes (en 3D) dans des espaces de modules infinis.
   • Construction de catégories $A_\infty$ où les objets, morphismes et 2-morphismes sont identifiés aux configurations de cordes/membranes et aux groupes Ext entre fibres singulières de superpotentiels.
4. Dualités :
   • Utilisation de la dualité S de Kapustin-Witten (KW) en 4D $N=4$ pour établir la dualité de Langlands entre les théories HW et GM.
   • Application de la Symétrie Miroir Homologique (HMS) renforcée pour les espaces de modules de Hitchin.

3. Contributions Clés et Résultats

A. Définition de Nouvelles Homologies de Floer Holomorphes

Les auteurs définissent trois nouvelles classes d'homologies de Floer basées sur la théorie GM (Geyer-Mülsch) :

1. Homologie de Floer plate $G_C$-holomorphe ($HHF^{flat}$) pour les 4-variétés : Générée par des configurations $G_C$-BF (B-F) stationnaires sur $M_4$.
2. Homologie de Floer plate $G_H$-holomorphe pour les 3-variétés : Obtenue par réduction KK sur $S^1$, générée par des configurations $G_H$-BF (où $G_H$ est le groupe quaternionifié).
3. Homologie de Floer plate $G_O$-holomorphe pour les 2-variétés : Obtenue par une seconde réduction KK, générée par des configurations $G_O$-BF (où $G_O$ est le groupe octonionifié).

B. Réalisation Physique de Catégories $A_\infty$

L'article construit des catégories $A_\infty$ supérieures qui « catégorifient » ces homologies :

• Pour les 3-variétés ($M_3 \times \mathbb{R}^2$) :
  • La théorie GM est réécrite comme un modèle LG 2D B-twisté.
  • Cela donne naissance à une catégorie $A_\infty$-1 de type Orlov dont les objets sont des configurations $G_H$-BF déformées par $\theta$.
  • Via une décomposition de Heegaard, cette catégorie est équivalente à une catégorie $A_\infty$-2 de type Rozansky-Witten (RW) de branes lagrangiennes complexes dans l'espace de modules de Hitchin $M_H(C, J)$.
  • Cela fournit une preuve physique pure de la conjecture mathématique de Doan-Rezchikov (DR) reliant une catégorie KRS 2 à une catégorie Orlov 1.
• Pour les 2-variétés ($M_2 \times \mathbb{R}^3$) :
  • La théorie GM est réécrite comme un modèle LG 3D B-twisté.
  • Cela donne naissance à une catégorie $A_\infty$-2 de type RW qui 2-catégorifie l'homologie de Floer plate $G_O$.
  • Une correspondance est établie avec une catégorie $A_\infty$-1 de type Orlov de cordes $B_\theta^2$.

C. Dualité de Langlands et Symétrie Miroir

Le résultat central est l'établissement d'une dualité entre les théories HW (twist A, groupe $G$) et GM (twist B, groupe $G$) :

• Dualité de Langlands : La théorie HW 5D $N=2$ avec groupe de jauge $G$ est duale à la théorie GM 5D $N=2$ avec groupe de jauge $L G$ (le dual de Langlands de $G$).
• Mécanisme : Cette dualité est dérivée de la dualité S de la théorie KW 4D $N=4$ (HW correspond à $t=-1$, GM à $t=-i$).
• Conséquence sur les catégories :
  • La catégorie $A_\infty$-1 de type Fukaya-Seidel (issue de HW) est duale de Langlands à la catégorie $A_\infty$-1 de type Orlov (issue de GM).
  • La catégorie $A_\infty$-2 de type Fueter (issue de HW) est duale de Langlands à la catégorie $A_\infty$-2 de type RW (issue de GM).
  • Ces relations sont interprétées comme des symétries miroir généralisées pour les modèles LG, étendant la conjecture de Bousseau-Doan-Rezchikov (B-DR) dans un cadre de théorie de jauge.

4. Signification et Impact

• Preuve Physique de Conjectures Mathématiques : L'article fournit des preuves purement physiques (via la théorie des champs topologiques et la théorie des cordes) de conjectures mathématiques récentes, notamment celles de Bousseau, Doan et Rezchikov concernant les correspondances entre catégories de branes et homologies de Floer.
• Unification des Dualités : Il unifie la symétrie miroir (HMS) et la dualité de Langlands dans un cadre cohérent reliant les théories de jauge 5D, les modèles sigma 3D/2D et les catégories $A_\infty$ supérieures.
• Généralisation de la Théorie de Floer : L'introduction d'homologies de Floer basées sur des connexions plates holomorphes (et leurs catégories associées) élargit considérablement le paysage des invariants topologiques disponibles pour les variétés de dimensions 2, 3 et 4.
• Nouveaux Outils pour la Géométrie : La construction d'un « web » de relations de dualité (Figure 2 et Figure 14 du papier) offre une nouvelle perspective pour explorer les relations entre les invariants de variétés, les espaces de modules de Hitchin et la théorie des représentations.

En résumé, ce travail démontre que la théorie de jauge topologique 5D $N=2$ de Geyer-Mülsch est l'analogue « B-twisté » et duale de Langlands de la théorie de Haydys-Witten, permettant de construire une structure catégorielle riche qui réalise physiquement des conjectures profondes en géométrie symplectique et algébrique.