Wilson loops in ABJM theory reloaded

1. Problématique et Contexte

Le papier s'attaque au problème du calcul exact des boucles de Wilson supersymétriques dans la théorie de Chern-Simons-matière ABJM (Aharony-Bergman-Jafferis-Maldacena) en dimension trois. Cette théorie, caractérisée par un groupe de jauge $U(N) \times U(N)$, des niveaux de Chern-Simons $k$ et $-k$, et un nombre de rangs $N$, possède une symétrie superconforme $N=6$ (renforcée à $N=8$ pour $k=1,2$).

Le défi principal réside dans le fait que les observables supersymétriques, telles que les boucles de Wilson $1/6$ et $1/2$ BPS, peuvent être réduites via la localisation supersymétrique à des intégrales de matrices finies. Cependant, résoudre ces intégrales pour des valeurs arbitraires de $N$ et $k$ est extrêmement difficile.

Le problème spécifique abordé :
Des travaux antérieurs (notamment [27] et [28]) ont révélé une discrepance inexpliquée entre :

1. Les résultats numériques de haute précision pour les boucles de Wilson $1/6$ BPS avec un nombre d'enroulement $n \ge 2$.
2. L'expression semi-classique dérivée de l'approche du gaz de Fermi, qui suppose une expansion en puissances de $1/k$ (couplage faible).
   Alors que l'approximation semi-classique fonctionne parfaitement pour la fonction de partition $Z(N,k)$, elle échoue pour les boucles de Wilson à $n \ge 2$. L'origine de cet échec restait obscure.

2. Méthodologie

Les auteurs développent une nouvelle technique exacte qui ne repose pas sur l'approximation semi-classique, mais sur une représentation operatorielle dans le formalisme du gaz de Fermi.

• Formalisme du Gaz de Fermi : La théorie ABJM est réinterprétée comme un gaz quantique unidimensionnel d'fermions en interaction, où le niveau de Chern-Simons $k$ joue le rôle d'une constante de Planck effective ($\hbar = 2\pi k$).
• Opérateurs et Résolvantes : Les boucles de Wilson sont exprimées en termes de la résolvante d'un opérateur intégral spécifique, noté $\rho$, dont le déterminant de Fredholm donne la fonction de partition.
• Approche Tracy-Widom : L'innovation majeure est l'application de la méthode développée par Tracy et Widom (initialement pour les noyaux intégrables et les polymères auto-évitants). Les auteurs introduisent une fonction auxiliaire $\psi(x|z)$ (liée à la résolvante de l'opérateur $\rho$) qui satisfait un système d'équations fonctionnelles exactes :
  • Équation de Baxter : Une relation de récurrence finie-différentielle liant $\psi(x+i\pi k)$ et $\psi(x-i\pi k)$.
  • Relation de Wronskien : Une contrainte algébrique reliant les solutions de l'équation de Baxter.
  • Relations de décalage (Shift relations) : Des relations permettant d'exprimer $\psi(x+2\pi i)$ comme une combinaison linéaire de $\psi(x)$ et $\psi(-x)$.
  • Relation de parité : Une connexion entre $\psi(-x|z)$ et $\psi(x|-z)$ impliquant l'énergie libre $F(z)$.

Ces relations permettent de déterminer les valeurs spéciales de la fonction $\psi$ sur l'axe imaginaire, qui sont ensuite utilisées pour reconstruire les fonctions génératrices des boucles de Wilson.

3. Contributions Clés et Résultats

Le papier aboutit à plusieurs résultats majeurs :

1. Formules Exactes pour les Fonctions Génératrices :
   Les auteurs dérivent des expressions exactes pour les fonctions génératrices $W_n(z, k)$ des boucles de Wilson $1/6$ BPS (et par extension $1/2$ BPS) en termes de l'énergie libre $F(z)$ (liée au déterminant de Fredholm) et d'une phase $\Phi(z)$.
   La forme générale est donnée par :
   $$W_n(z, k) = \frac{i^{n-1}}{\sin(2\pi n/k)} \left[ A_n(z) + i z \partial_z \Phi(z) B_n(z) + i z \partial_z F(z) C_n(z) \right]$$
   où $A_n, B_n, C_n$ sont des fonctions réelles déterminées par les relations de quantification.

2. Résolution de la Discrepance Numérique/Semi-classique :
   En analysant le comportement asymptotique à grand $\mu$ (grand $N$), les auteurs démontrent que la constante $C_n(k)$ dans le développement perturbatif est :
   $$C_n(k) = -\sum_{j=1}^n \cot\left(\frac{2\pi j}{k}\right)$$
   Ce résultat correspond exactement aux données numériques de [28] et diffère de la prédiction semi-classique précédente ($C_n^{WKB}$) pour $n \ge 2$.
   Explication de l'échec semi-classique : L'approximation semi-classique échoue car elle nécessite une continuation analytique de la solution WKB hors de la bande d'analyticité de la fonction $\psi(x|z)$, ce qui introduit une ambiguïté non résolue dans les approches antérieures. La méthode exacte contourne ce problème sans approximation.

3. Formules Fermées pour Cas Spécifiques :
   Pour des valeurs spécifiques de $k$ et $n$, les auteurs obtiennent des expressions fermées élégantes. Par exemple, pour $k=4$ et $n=1$ (boucle $1/2$ BPS) :
   $$W_{n=1}^{1/2}(z) = \frac{1}{2} \sqrt{z - 4 + 4 e^{-2F(z)}}$$
   Pour $n=1, 2$ et $k>4$, une relation de récurrence simple relie les fonctions génératrices entre elles.

4. Conditions de Quantification :
   Le papier établit un système d'équations de quantification reliant la phase $\Phi(z)$ à l'énergie libre $F(z)$, valables pour tout $k$ (pair ou impair). Ces équations permettent de déterminer la phase sans résoudre explicitement l'équation de Baxter.

4. Signification et Impact

• Validation Non-Perturbative : Ce travail fournit la première dérivation analytique rigoureuse des boucles de Wilson ABJM pour des paramètres arbitraires, validant les conjectures numériques et confirmant la structure des corrections non-perturbatives (instantons).
• Compréhension de la Dualité : Les résultats renforcent la compréhension de la dualité AdS/CFT dans le régime de la théorie M (grand $N$, $k$ fixe), où les corrections non-perturbatives correspondent à des instantons de membranes (M2-branes).
• Outil Théorique : La méthode développée, basée sur les relations fonctionnelles de Tracy-Widom appliquées aux opérateurs de gaz de Fermi, ouvre la voie au calcul d'autres observables complexes (comme les boucles de Wilson de latitude ou les théories avec masses réelles) sans recourir à des approximations de couplage faible ou à des conjectures de dualité avec la théorie des cordes topologiques.
• Résolution d'un Problème Ouvert : L'article résout définitivement le mystère de la divergence entre les prédictions semi-classiques et les données numériques pour les boucles de Wilson à haut enroulement, en identifiant l'obstruction analytique comme la cause racine.

En résumé, ce papier représente une avancée significative dans la compréhension non-perturbative des théories de jauge supersymétriques en trois dimensions, en fournissant un cadre mathématique exact pour le calcul d'observables critiques.