Quantising Chiral Bosons On Riemann Surfaces

Résumé Technique : Quantification des Bosons Chiraux sur les Surfaces de Riemann

Énoncé du Problème
La quantification des bosons chiraux (champs auto-duaux) en deux dimensions présente des défis importants, particulièrement en ce qui concerne la formulation d'une action cohérente sur des surfaces de Riemann arbitraires et l'obtention de l'invariance modulaire. Bien que l'action de Sen [1, 2] fournisse un cadre pour les champs de jauge chiraux dans les dimensions $4k+2$ en utilisant une métrique physique $g$ et une métrique auxiliaire plate $\eta$, cette formulation est limitée aux variétés admettant une métrique plate. De plus, la fonction de partition pour un boson chiral unique n'est généralement pas invariante par les transformations modulaires, et les approches standards nécessitent souvent d'imposer des contraintes d'auto-dualité à la main plutôt que de les dériver de l'action. Les auteurs visent à généraliser l'action de Sen à une formulation bi-métrique où le champ auxiliaire se couple à une seconde métrique arbitraire $\bar{g}$, permettant ainsi la quantification de scalaires chiraux sur toute variété bidimensionnelle, spécifiquement les surfaces de Riemann, et à étudier les propriétés modulaires et les anomalies qui en résultent.

Méthodologie
L'article utilise la généralisation bi-métrique de l'action de Sen [3], adaptée pour les scalaires chiraux en deux dimensions ($k=0$). La méthodologie procède via les étapes suivantes :

1. Formulation de l'Action : Les auteurs utilisent une action impliquant un scalaire physique $P$ couplé à une métrique physique $g$ et un scalaire « ombre » (shadow) $C$ couplé à une seconde métrique $\bar{g}$. Les métriques sont paramétrées par des variables complexes $\tau, \tilde{\tau}$ pour $g$ et $\rho, \tilde{\rho}$ pour $\bar{g}$. Le tenseur $M$, qui encode la dépendance aux métriques, est explicitement évalué pour s'assurer que l'action est bien définie.
2. Continuation Analytique : Pour définir l'intégrale de chemin, les auteurs effectuent une continuation analytique des métriques réelles lorentziennes et euclidiennes vers des métriques complexes. Ils identifient des régions dans l'espace des paramètres de $\tau, \tilde{\tau}, \rho, \tilde{\rho}$ où l'intégrale fonctionnelle est convergente (nécessitant spécifiquement $\text{Im}(\rho) < 0$ et $\text{Im}(\tau) > 0$ pour certaines conditions). Les résultats sont ensuite prolongés par continuation analytique vers l'espace complet des paramètres.
3. Intégrale de Chemin et Quantification Canonique : La fonction de partition est calculée via deux méthodes :
   • Intégrale de Chemin : Le champ auxiliaire est intégré, réduisant le système à un scalaire non-chiral couplé à une métrique complexe $h = e^{2\sigma'}(dx + \rho dy)(dx + \tau dy)$. L'intégrale de chemin est évaluée sur un tore en séparant les modes zéro (enroulement et impulsion) et les modes oscillateurs non-nuls. La régularisation par la fonction zêta est utilisée pour traiter les produits divergents.
   • Quantification Canonique : Le système est quantifié sur un cercle spatial, traitant $y$ comme le temps. L'espace de Hilbert est montré comme se factorisant en secteurs de mouvement gauche ($\tau$) et de mouvement droit ($\rho$), permettant de calculer la fonction de partition comme une trace sur les Hamiltoniens découplés.
4. Analyse Modulaire : Les propriétés de transformation de la fonction de partition sous les transformations modulaires des moduli $\tau$ et $\rho$ sont examinées. Les auteurs distinguent les transformations modulaires diagonales (où $\tau$ et $\rho$ se transforment de manière identique) et les transformations indépendantes.
5. Extension au Genre Supérieur : L'intégrale de chemin est généralisée à des surfaces de Riemann arbitraires en analysant le Laplacien associé à la métrique complexe et en évaluant les contributions des modes zéro (périodes sur les 1-cycles) et des modes non-nuls.

Contributions Clés et Résultats

• Action Effective et Métrique Complexe : Les auteurs démontrent que l'action bi-métrique pour les bosons chiraux se réduit à une action effective pour un scalaire non-chiral couplé à une métrique complexe $h$. Cela permet d'utiliser les techniques standards pour les scalaires non-chiraux afin d'étudier les systèmes chiraux.
• Structure de la Fonction de Partition :
  • Pour un boson chiral général sur un cercle ou un tore, la fonction de partition $Z(\tau, \rho)$ dépend des deux moduli. Dans le cas général, il s'agit d'une somme de termes qui ne se factorisent pas.
  • Pour un tore rationnel (où le carré du rayon de compactification est rationnel), la fonction de partition devient une somme finie de produits de fonctions holomorphes : $Z(\tau, \rho) = \sum C_{a\bar{b}} \chi_a(\tau) \chi_{\bar{b}}(\rho)$.
  • Crucialement, pour $8k$ bosons chiraux associés à un réseau auto-dual pair (tel que le réseau de racines de $E_8$ ou le réseau de poids de $Spin(32)/\mathbb{Z}_2$), la fonction de partition se factorise complètement en un produit unique : $Z(\tau, \rho) = F(\tau) \tilde{F}(\rho)$.
• Invariance Modulaire et Anomalies :
  • La fonction de partition est montrée comme étant invariante sous le sous-groupe diagonal du groupe modulaire $SL(2, \mathbb{Z})_\tau \times SL(2, \mathbb{Z})_\rho$, correspondant aux transformations de coordonnées.
  • Les auteurs identifient des anomalies gravitationnelles associées à la fois à la métrique physique $g$ et à la métrique ombre $\bar{g}$.
  • Ils proposent un mécanisme pour obtenir une pleine invariance modulaire et une annulation des anomalies en introduisant un secteur « ombre ». Spécifiquement, pour la corde hétérotique (16 bosons chiraux), le secteur physique annule l'anomalie de $g$, tandis qu'un second ensemble de champs couplés à $\bar{g}$ annule l'anomalie de $\bar{g}$. Cela résulte en une fonction de partition totale qui est invariante sous les transformations modulaires indépendantes de $\tau$ et $\rho$.
• Application à la Corde Hétérotique : Le formalisme est appliqué à la corde hétérotique. En couplant les champs de la corde hétérotique physique à $g$ et une corde hétérotique ombre à $\bar{g}$, les auteurs construisent une action de surface de classe qui est modulaire invariante et exempte d'anomalies gravitationnelles dans les deux secteurs. Cela reflète les structures trouvées dans les théories de champs de cordes hétérotiques de Sen et d'autres impliquant des secteurs ombres.
• Genre Supérieur : L'intégrale de chemin est étendue avec succès à des surfaces de Riemann générales, la fonction de partition étant exprimée en termes du déterminant du Laplacien sur la métrique complexe et des fonctions thêta impliquant les matrices de période de la surface.

Signification
L'article affirme que la formulation bi-métrique fournit un cadre robuste pour quantifier les bosons chiraux sur des surfaces de Riemann arbitraires sans imposer de contraintes d'auto-dualité à la main. En effectuant une continuation analytique vers des métriques complexes, les auteurs dérivent une fonction de partition bien définie qui incorpore naturellement le secteur ombre. La principale signification réside dans la construction d'une théorie cohérente et modulairement invariante pour les réseaux auto-duaux pairs, directement applicable à la corde hétérotique. Le travail suggère que le secteur « ombre », souvent considéré comme non-physique, joue un rôle nécessaire pour annuler les anomalies gravitationnelles et assurer l'invariance modulaire lorsqu'une théorie est formulée sur une variété générale en deux dimensions avec deux métriques. Les résultats confirment que pour des choix de réseaux spécifiques (auto-duaux pairs), la fonction de partition se factorise élégamment, facilitant la construction de théories de cordes exemptes d'anomalies.