A mathematical definition of Coulomb branches of supersymmetric gauge theories and geometric Satake correspondences for Kac-Moody Lie algebras

Cet article introductif présente une définition mathématique des variétés de Coulomb pour les théories de jauge supersymétriques 3d N=4 et utilise ce cadre pour établir des correspondances de Satake géométriques pour les algèbres de Lie de Kac-Moody.

L'essentiel

Ce papier de Kei Nakajima plonge en profondeur dans les mathématiques d'un concept appelé la « branche de Coulomb » d'une théorie de jauge supersymétrique. Pour comprendre ce que cela signifie sans se perdre dans des équations complexes, utilisons quelques analogies du quotidien.

La vue d'ensemble : deux faces d'une même pièce

Imaginez que vous avez une machine complexe (une théorie physique) qui peut être observée de deux manières différentes.

1. La branche de Higgs : Considérez cela comme l'observation de la « forme » ou de la « structure » de la machine. C'est comme regarder une sculpture et voir comment l'argile est modelée.
2. La branche de Coulomb : C'est le point central de ce papier. Considérez cela comme l'observation de l'« électricité » ou du « flux » de la machine. C'est comme regarder les courants parcourant les fils de cette même sculpture.

Pendant longtemps, les mathématiciens savaient très bien décrire la « forme » (branche de Higgs). Mais décrire le « flux » (branche de Coulomb) était comme essayer de décrire une rivière qui coule à travers un paysage infini et mouvant. C'était désordonné et difficile à cerner mathématiquement.

La réalisation principale : la construction d'une carte

L'auteur, avec ses collègues, a enfin construit une carte mathématique rigoureuse de cette « branche de Coulomb ».

• Le problème : Le paysage de la branche de Coulomb est infini et étrange. On ne peut pas simplement y marcher ; il faut l'observer sous un angle très élevé et abstrait.
• La solution : Ils ont utilisé une technique appelée « convolution » (imaginez prendre deux cartes, les superposer et voir où les chemins se croisent pour créer une nouvelle carte, plus grande). En procédant ainsi avec des « groupes d'homologie » (qui sont comme le comptage des trous et des boucles dans une forme), ils ont construit un nouvel objet algébrique.
• Le résultat : Cet objet nouveau est une Branche de Coulomb. C'est un type spécifique de forme géométrique (une variété algébrique) qui capture parfaitement la physique du flux.

La touche « Quantique »

Le papier introduit également une version « quantifiée » de cette branche.

• Analogie : Imaginez que la branche de Coulomb est un lac lisse et calme (la version classique). La version « quantifiée » est comme le lac lorsqu'il est gelé et couvert de glace, ou peut-être lorsqu'il vibre à un niveau quantique.
• Son rôle : Cette version quantique est « non commutative ». En mathématiques normales, $A \times B$ est identique à $B \times A$. Dans ce monde quantique, l'ordre compte ($A \times B \neq B \times A$). Cela reflète les règles étranges de la mécanique quantique. Les auteurs montrent comment construire cette version quantique et comment elle se rapporte à la version classique, lisse.

Le lien « Miroir » : Satake géométrique

L'un des aspects les plus beaux du papier est une connexion à quelque chose appelé la correspondance de Satake géométrique.

• L'analogie : Imaginez que vous avez un nœud complexe (un objet mathématique appelé groupe de Lie). Il existe une version « miroir » de ce nœud (le dual de Langlands).
• La magie : Le papier montre que le « flux » (branche de Coulomb) d'un côté du miroir est mathématiquement identique à la « forme » (théorie des représentations) de l'autre côté.
• Pourquoi cela compte : Cela permet aux mathématiciens de traduire des problèmes d'un domaine difficile (géométrie de dimension infinie) vers un autre domaine où ils pourraient être plus faciles à résoudre (théorie des représentations).

Le lien « Quiver »

Le papier se concentre fortement sur un type spécifique de théorie appelé « théorie de jauge Quiver ».

• Analogie : Un « Quiver » n'est qu'un diagramme de points reliés par des flèches (comme un plan de métro).
• La découverte : Lorsque vous appliquez les règles de la branche de Coulomb à ces plans de métro, vous obtenez un résultat étonnamment simple et élégant.
  • Si la carte est une ligne simple, la branche de Coulomb ressemble à un type spécifique de forme géométrique (liée aux « singularités simples »).
  • Si la carte est une boucle (comme un cercle), la branche de Coulomb se rapporte à une structure algébrique célèbre appelée algèbre de Lie affine.

La grande conjecture : le « Satake géométrique » pour les groupes infinis

Le papier propose une généralisation massive.

• Ancienne idée : Nous savions comment faire correspondre la « forme » des groupes finis au « flux » de leurs miroirs.
• Nouvelle conjecture : L'auteur suggère que cela fonctionne même pour les groupes infinités (spécifiquement les algèbres de Kac-Moody).
• L'affirmation : Si vous prenez la branche de Coulomb d'une théorie de jauge Quiver, la « topologie » (les trous et les boucles) de cette branche forme la structure mathématique exacte nécessaire pour représenter ces groupes infinis.
• Statut : Le papier prouve cela pour certains cas simples (comme le type A) et conjecture fortement que cela fonctionne pour tous les cas.

Résumé en langage courant

Ce papier est comme celui d'un architecte maître qui a enfin dessiné les plans d'une ville mystérieuse et infinie (la branche de Coulomb).

1. Ils ont défini exactement à quoi ressemble cette ville en utilisant une nouvelle méthode de construction (convolution de l'homologie).
2. Ils ont montré comment construire une version « quantique » de la ville où les règles d'ordre sont différentes.
3. Ils ont découvert que cette ville est l'« image miroir » d'une structure mathématique célèbre (Satake géométrique).
4. Ils ont prouvé que pour des types spécifiques de cartes (Quivers), cette ville organise parfaitement les données nécessaires pour comprendre les groupes de symétrie infinis (algèbres de Kac-Moody).

Le papier ne parle pas de construire des ponts ou des dispositifs médicaux réels. Au lieu de cela, il construit un pont entre deux mondes très abstraits des mathématiques et de la physique, montrant qu'ils sont en réalité deux faces d'une même pièce.

Résumé technique

Titre : Branches de Coulomb et Correspondance de Satake Géométrique pour les Algèbres de Lie de Kac-Moody
Auteur : Hiroshi Nakajima

1. Problème et Motivation

L'article traite de la nécessité d'une définition mathématique rigoureuse des « branches de Coulomb » issues des théories de jauge supersymétriques $\mathcal{N}=4$ en trois dimensions. Bien que ces objets aient été étudiés de manière extensive en physique théorique, ils manquaient d'une formulation algébro-géométrique précise. L'auteur, avec Braverman et Finkelberg, a précédemment introduit une nouvelle classe de variétés algébriques appelées branches de Coulomb et leurs déformations non commutatives (quantifications). La motivation principale de ce travail est de fournir une définition mathématiquement stricte de ces branches et d'explorer leur relation avec la théorie des représentations des algèbres de Lie de Kac-Moody.

Plus spécifiquement, l'article vise à :

• Définir les branches de Coulomb et leurs quantifications en utilisant l'homologie équivariante et les algèbres de convolution.
• Établir une « Correspondance de Satake Géométrique » pour les algèbres de Lie de Kac-Moody, étendant la correspondance classique (qui relie la géométrie de la grassmannienne affine aux représentations des algèbres de Lie simples de dimension finie) au cadre de dimension infinie.
• Étudier la relation entre les branches de Coulomb et les branches de Higgs (variétés de carquois) via la dualité symplectique.

2. Méthodologie

La méthodologie centrale repose sur l'homologie équivariante et les produits de convolution dans le cadre des espaces de dimension infinie.

• La Variété à Trois Corps ($R$) : Pour un groupe réductif complexe $G$ et une représentation de dimension finie $N$, l'auteur définit un espace $R$ (la « variété à trois corps ») comme une sous-variété fermée d'un fibré vectoriel au-dessus de la grassmannienne affine $Gr_G$. $R$ est constituée de paires $(g(z), s(z))$ où $g(z) \in G(\mathcal{K})$ et $s(z) \in N(\mathcal{O})$ telles que $g(z)s(z) \in N(\mathcal{O})$. Ici, $\mathcal{K} = \mathbb{C}((z))$ et $\mathcal{O} = \mathbb{C}[[z]]$.
• Algèbre de Convolution : La branche de Coulomb est définie comme le spectre de l'anneau d'homologie équivariante $H^*_{G(\mathcal{O})}(R)$. Un produit de convolution est défini sur cet anneau d'homologie, analogue à la convolution dans la correspondance de Satake géométrique pour les groupes de dimension finie.
• Quantification : En introduisant une action de $\mathbb{C}^\times$ (rotation de boucle) et en considérant l'homologie équivariante par rapport à $G(\mathcal{O}) \rtimes \mathbb{C}^\times$, l'auteur construit une déformation non commutative de la branche de Coulomb, notée $A_\hbar$. Cela sert de quantification.
• Localisation : L'article utilise le théorème de localisation pour l'homologie équivariante afin d'analyser la structure de ces anneaux, les reliant aux ensembles de points fixes sous des actions de tore.

3. Contributions et Résultats Clés

A. Définition Mathématique des Branches de Coulomb

L'article fournit la définition de la branche de Coulomb $M_C$ comme la variété affine $\text{Spec}(H^*_{G(\mathcal{O})}(R))$.

• Il est démontré que $H^*_{G(\mathcal{O})}(R)$ est un domaine d'intégrité commutatif, de type fini, rendant $M_C$ une variété affine normale irréductible.
• La quantification $A_\hbar$ est montrée comme étant une déformation non commutative de $M_C$, portant une structure de Poisson.

B. Exemples et Calculs Explicites

L'auteur fournit des calculs explicites pour des cas spécifiques afin d'illustrer la théorie :

• Cas du Tore : Lorsque $G$ est un tore et $N=0$, la branche de Coulomb est identifiée à $t \times T^\vee$ (où $t$ est l'algèbre de Lie du tore et $T^\vee$ le tore dual). La quantification correspond à l'anneau des opérateurs de différence $\hbar$.
• Singularités Simples : Pour $G=\mathbb{C}^\times$ et $N=\mathbb{C}$, la branche de Coulomb est identifiée à la singularité simple $A_1$ ($xy=w$). Pour $N=\mathbb{C}^{\oplus \ell}$, elle donne la singularité $A_{\ell-1}$.
• Variétés Hyperkählériennes Toriques : Lorsque $G$ est un tore agissant sur un espace vectoriel, la branche de Coulomb est identifiée à la réduction hamiltonienne d'un fibré cotangent par le tore dual, retrouvant ainsi les variétés hyperkählériennes toriques.

C. Théories de Jauge de Carquois et Algèbres de Kac-Moody

L'article se concentre fortement sur les théories de jauge de carquois, où $G$ est un produit de groupes linéaires généraux associés aux sommets d'un carquois $Q$.

• Type Fini : Pour les carquois de type fini (ADE), la branche de Coulomb est isomorphe à une tranche transversale généralisée $W^\lambda_\mu$ dans la grassmannienne affine du groupe de Lie simple correspondant $G$.
• Type Affine : Pour les carquois de type affine A, la branche de Coulomb est liée à la grassmannienne affine de l'algèbre de Lie affine.
• Quantification et Yangiens : La branche de Coulomb quantifiée pour ces cas est identifiée à un quotient d'un Yangien décalé.

D. Correspondance de Satake Géométrique pour les Algèbres de Kac-Moody

La conjecture centrale de l'article est l'extension de la Correspondance de Satake Géométrique aux algèbres de Lie de Kac-Moody.

• Conjecture : L'homologie supérieure de l'« ensemble attracteur » $A_\chi(\lambda, \mu)$ (défini via des limites sous un sous-groupe à un paramètre $\chi$) à l'intérieur de la branche de Coulomb porte la structure d'une représentation intégrable de poids最高 duale de Langlands de l'algèbre de Lie de Kac-Moody $g^\vee$.
• Produits Tensoriels : L'article propose également une construction géométrique pour les produits tensoriels de représentations en utilisant des déformations de la branche de Coulomb associées aux symétries de saveur.
• Statut de la Preuve : L'auteur note que cette conjecture a été démontrée pour :
  • Le type fini (réduisant à la Correspondance de Satake Géométrique classique).
  • Le type affine A (démontré par Nakajima et d'autres).
  • Le cas général reste une conjecture.

E. Dualité Symplectique

L'article discute de la relation entre les branches de Coulomb et les branches de Higgs (variétés de carquois).

• Il met en évidence que la branche de Coulomb d'une théorie $(G, N)$ est souvent duale symplectiquement à la branche de Higgs d'une théorie duale.
• Plus spécifiquement, pour les actions de tore, la branche de Coulomb d'une théorie est la réduction hamiltonienne du fibré cotangent de l'espace de représentation de la théorie duale, qui est la branche de Higgs duale.

4. Importance et Revendications

L'article revendique de fournir la première définition mathématique rigoureuse des branches de Coulomb, les faisant passer de l'intuition physique à la géométrie algébrique.

• Unification : Il unifie l'étude des grassmanniennes affines, des variétés de carquois et de la théorie des représentations des algèbres de Kac-Moody sous un cadre unique.
• Extension de Satake : Il propose une généralisation naturelle de la Correspondance de Satake Géométrique au cadre de dimension infinie des algèbres de Kac-Moody, suggérant que la géométrie des branches de Coulomb encode la théorie des représentations de ces algèbres.
• Quantification : Il établit un lien concret entre la quantification de ces objets géométriques et des algèbres bien connues en physique mathématique, telles que les yangiens et les algèbres de Hecke affines doubles (DAHA).

L'auteur souligne que, bien que les définitions soient rigoureuses, la preuve complète de la Correspondance de Satake Géométrique pour les algèbres de Kac-Moody générales reste un problème ouvert, avec des preuves disponibles uniquement pour les types finis et certains types affines spécifiques. L'article sert de texte fondateur et de feuille de route pour des recherches ultérieures à cette intersection de la géométrie et de la théorie des représentations.