Limits of the Superconformal Index and the Moduli Space of 3d $\mathcal{N}=3$ Theories

1. Problématique et Contexte

L'étude des espaces de modules (moduli spaces) des théories de jauge supersymétriques en trois dimensions (3d) est fondamentale pour comprendre leurs propriétés intrinsèques.

• Cas N=4 : Pour les théories 3d $\mathcal{N}=4$, l'espace des modules se décompose généralement en deux branches principales (Higgs et Coulomb), distinguées par la symétrie R $SU(2)_H \times SU(2)_C$. Une méthode standard consiste à prendre des limites spécifiques du superconformal index pour extraire les séries de Hilbert de ces branches.
• Cas N=3 : La situation est plus complexe pour les théories $\mathcal{N}=3$.
  • La symétrie R est réduite à une seule $SU(2)_R$, rendant impossible la distinction directe des branches via la décomposition de la symétrie R comme dans le cas $\mathcal{N}=4$.
  • L'espace des modules n'est pas simplement une union de deux cônes, mais souvent l'intersection de plusieurs cônes hyperkähleriens.
  • Ces branches sont paramétrées par des opérateurs monopôles habillés (dressed monopole operators), dont les relations sont intrinsèquement non-perturbatives.
  • Bien que des configurations de branes (Type IIB avec des cinq-branes $(p,q)$) permettent de visualiser ces branches, une approche purement théorique des champs (field-theoretic) pour calculer systématiquement les séries de Hilbert de chaque branche manquait.

L'objectif de cet article est de combler ce vide en proposant une prescription générale pour calculer les séries de Hilbert des branches des théories $\mathcal{N}=3$ à partir de l'index superconforme.

2. Méthodologie : La Prescription

Les auteurs proposent une méthode basée sur l'introduction de fugacités auxiliaires (axiales) pour isoler les opérateurs spécifiques à une branche donnée.

Le principe de base :

1. Introduction d'une fugacité axiale $a$ : Bien que la théorie complète ne possède pas nécessairement une symétrie globale $U(1)_A$ (souvent brisée par les termes de superpotentiel ou les niveaux de Chern-Simons), les auteurs assignent des charges axiales spécifiques aux champs (hypermultiplets) en fonction de la branche étudiée.
2. Redéfinition des paramètres : On introduit une relation entre la fugacité de R-symétrie $x$ et la fugacité axiale $a$ via un paramètre de limite $z$ et un paramètre de comptage $t$ :
   $$x = zt, \quad a = z^{-1/2}t^{1/2}$$
   (ou équivalent $z = a^{-1}x^{1/2}$).
3. Limite $z \to 0$ : On calcule la limite de l'index superconforme lorsque $z \to 0$.
   • Cette limite agit comme un projecteur. Les opérateurs qui ne correspondent pas à la branche d'intérêt acquièrent un poids positif en $z$ et sont supprimés.
   • Les opérateurs paramétrant la branche désirée (généralement des monopôles habillés ou des opérateurs mésoniques) sont ceux pour lesquels la puissance de $z$ est nulle (ou minimale), permettant d'extraire la série de Hilbert $H(t)$.

Critères d'identification des branches :

• Branches mésoniques (D5-branch) : Correspondent au mouvement des D3-branes sur des D5-branes. La prescription consiste à traiter la théorie comme si elle avait une supersymétrie $\mathcal{N}=4$ (en ignorant les niveaux de Chern-Simons pour l'assignation des charges) et à prendre la limite de la branche de Higgs.
• Branches monopôles ((1,k)-branches) : Correspondent au mouvement des D3-branes le long de cinq-branes $(1,k)$.
  • On identifie les séquences minimales de nœuds de jauge dont la somme des niveaux de Chern-Simons est nulle.
  • À chaque séquence correspond un opérateur monopôle habillé qui peut acquérir une valeur moyenne (VEV).
  • On assigne des charges axiales $a$ et $a^{-1}$ aux champs bifondamentaux connectant ces nœuds de manière à ce que seuls les opérateurs de cette séquence survivent à la limite $z \to 0$.

3. Contributions Clés et Résultats

L'article applique cette prescription à une large gamme de théories, validant les résultats contre la littérature existante (notamment les quivers magnétiques proposés dans des travaux récents) et fournissant de nouvelles prédictions.

A. Quivers Unitaires (Unitary Quivers)

• Quivers linéaires et circulaires : Analyse détaillée de théories avec des groupes de jauge $U(N)$ et des niveaux de Chern-Simons non nuls.
  • Exemple : Théorie $U(N)_k \times U(N)_{-k} \times U(N)_k$. Les auteurs calculent les séries de Hilbert pour les branches NS5, $(1,k)$ et D5, montrant qu'elles correspondent aux cônes orbifolds $\mathbb{C}^2/\mathbb{Z}_n$ ou aux branches de Coulomb de théories $\mathcal{N}=4$ magnétiques.
• Cas non-abéliens ($N>1$) : Démonstration que la méthode fonctionne pour des groupes de rang supérieur, en gérant correctement les symétries de Weyl et les contributions des flux magnétiques.
• Quivers en étoile et non-linéaires : Extension de la méthode à des topologies de quivers plus complexes (ex: quivers non-linéaires abéliens) où les configurations de branes standards ne s'appliquent pas directement.

B. Quivers Orthosymplectiques

• Généralisation aux groupes $SO(N)$ et $USp(2N)$ : L'article traite des théories avec des groupes de jauge orthosymplectiques, en tenant compte des subtilités liées aux symétries globales (conjugaison de charge, symétrie magnétique $\mathbb{Z}_2$).
• Résolution d'ambiguïtés : Une contribution majeure est la clarification des « quivers magnétiques » pour ces théories. Les auteurs montrent que la série de Hilbert obtenue dépend de la forme globale du groupe de jauge (ex: $SO(2)$ vs $O(2)$).
  • Ils démontrent que certaines propositions antérieures de quivers magnétiques correspondaient en réalité à des théories où la symétrie de conjugaison de charge était jaugee, et non à la théorie originale.

C. Branche Géométrique (Geometric Branch)

• Quivers affines de Dynkin : Étude des branches géométriques des quivers affines (types $A_N$, $D_N$).
• Théorie des M2-branes : Pour les théories réalisées par une M2-brane sondant des singularités $\mathbb{C}^2/\Gamma$, la branche géométrique correspond à l'espace transverse.
• Résultat général : Les auteurs proposent une formule générale reliant la série de Hilbert de la branche géométrique d'un quiver non-abélien à celle du cas abélien, impliquant des produits symétriques et des corrections spécifiques. Ils vérifient cela sur des exemples comme le quiver affine $D_4$.

4. Signification et Impact

• Outil Unifié : Cette prescription fournit un cadre systématique et purement théorique des champs pour explorer la géométrie des espaces de modules des théories $\mathcal{N}=3$, sans dépendre exclusivement de la correspondance avec les configurations de branes.
• Validation des Quivers Magnétiques : Les résultats confirment et affinent les conjectures récentes sur les quivers magnétiques (magnetic quivers) pour les théories $\mathcal{N}=3$, en particulier pour les cas orthosymplectiques où la distinction entre différentes formes globales de groupes de jauge est cruciale.
• Nouvelles Prédictions : L'article fournit les séries de Hilbert pour des branches de théories qui n'avaient pas été calculées auparavant, notamment pour des configurations de quivers complexes et des niveaux de Chern-Simons génériques.
• Compréhension des Opérateurs Habillés : La méthode met en lumière la structure des opérateurs monopôles habillés et leurs relations algébriques, offrant un aperçu profond de la dynamique non-perturbative de ces théories.

En résumé, cet article établit un pont robuste entre l'index superconforme, la géométrie algébrique (séries de Hilbert) et la physique des branes pour les théories $\mathcal{N}=3$ en 3D, résolvant des ambiguïtés existantes et ouvrant la voie à l'étude de théories plus complexes.