Axions on de Sitter space

Résumé Technique : Axions sur l'espace de de Sitter

Énoncé du Problème
L'article étudie la théorie quantique des champs (QFT) d'un champ scalaire compact, sans masse et minimalement couplé (un axion) sur un espace de de Sitter global de dimension $D$ ($dS_D$). Bien que la version non compacte de cette théorie soit largement étudiée, le cas compact — où le champ prend ses valeurs sur un cercle $S^1$ plutôt que sur la droite réelle $\mathbb{R}$ — a reçu une attention limitée malgré sa pertinence en cosmologie (par exemple, les modèles inflationnaires, les particules de type axion) et son émergence dans les compactifications de la théorie des cordes. Le problème central est de construire l'espace de Hilbert complet de cette théorie, de déterminer ses propriétés de symétrie sous le groupe de de Sitter $SO(D, 1)$ et de comprendre comment la compacité du champ modifie la structure du vide et le contenu en particules par rapport au cas non compact.

Méthodologie
Les auteurs emploient une approche duale, analysant la théorie à la fois depuis des perspectives lorentzienne et euclidienne :

1. Quantification Canonique (Lorentzienne) :

   • Le champ est décomposé en un secteur de mode zéro (spatialement constant) et un secteur d'oscillateurs (modes variant spatialement).
   • Les modes d'oscillateur sont identifiés aux modes standards de Bunch–Davies, qui forment une représentation irréductible unitaire (UIR) de $SO(D, 1)$.
   • Le secteur du mode zéro est traité comme une particule quantique sur un cercle, $L^2(S^1)$, en raison de la périodicité $\phi \sim \phi + 2\pi$.
   • Les auteurs construisent explicitement les charges conservées associées aux isométries de $SO(D, 1)$ (rotations et boosts) et analysent leur action sur l'espace de Hilbert complet.
   • Les fonctions de corrélation de Wightman de la force du champ sont calculées dans divers états de « zéro particule » pour tester les conditions de Hadamard et l'invariance de symétrie.

2. Formulation par Intégrale de Chemin (Euclidienne) :

   • La théorie est passée par une rotation de Wick vers la sphère euclidienne $D$-dimensionnelle ($S^D$).
   • Les auteurs expriment la fonction de partition en termes de caractères de Harish-Chandra de $SO(D, 1)$.
   • Ils démontrent que l'intégrale de chemin standard sur la sphère ne capture que le secteur neutre (espace de Fock des oscillateurs). Pour accéder aux secteurs chargés, ils introduisent des insertions d'opérateurs de vertex aux pôles de la sphère.
   • En sommant sur ces secteurs chargés, ils dérivent une intégrale de chemin « décorée » qui se factorise en la fonction de partition de la sphère standard et une fonction de partition de mécanique quantique pour un rotor.

3. Vérification de Dualité :

   • En $D=3$, les auteurs utilisent la dualité entre un scalaire compact et l'électromagnétisme (un champ de jauge de forme 1) pour mapper leurs résultats vers l'espace de Hilbert d'un photon sur $dS_3$.

Contributions Clés et Résultats

• Structure de l'Espace de Hilbert :
  L'espace de Hilbert complet n'est pas un espace de Fock standard sur un vide unique ; il s'agit plutôt d'un produit tensoriel :
  $$\mathcal{H} = L^2(S^1) \otimes \mathcal{F}_{\text{osc}}$$
  où $\mathcal{F}_{\text{osc}}$ est l'espace de Fock des oscillateurs et $L^2(S^1)$ décrit la mécanique quantique du mode zéro. Les états dans $L^2(S^1)$ sont étiquetés par un moment entier $n \in \mathbb{Z}$, correspondant à la charge de décalage $U(1)$ conservée.

• Structure du Vide et Normalisabilité :
  Contrairement au cas du scalaire non compact (où l'unique vide invariant de de Sitter est non normalisable), le scalaire compact possède une famille d'états de « zéro particule » normalisables $|\Omega_n\rangle = |n\rangle_{\text{QM}} \otimes |0\rangle_{\text{osc}}$.

  • Seul l'état neutre $|\Omega_0\rangle$ (où $n=0$) est invariant sous le groupe complet $SO(D, 1)$.
  • Les états chargés $|\Omega_n\rangle$ ($n \neq 0$) sont invariants uniquement sous les rotations spatiales $SO(D)$ mais pas sous les boosts de de Sitter.

• Nombre de Particules Dépendant de l'Observateur :
  Une découverte significative est que la notion de « nombre de particules » dépend de l'observateur dans les secteurs chargés. Alors qu'un observateur géodésique dans l'état $|\Omega_n\rangle$ mesure zéro quanta d'oscillateur, un second observateur géodésique lié par un boost de de Sitter détectera un nombre non nul de particules. Cela se produit car les générateurs de boost mélangent la charge du mode zéro avec le secteur des oscillateurs, « créant » effectivement des particules lorsqu'ils agissent sur les états de zéro particule chargés. Cet effet est absent dans le secteur neutre et dans les théories scalaires massives.

• Fonctions de Corrélation :
  Les fonctions de corrélation à deux points de la force du champ calculées dans les secteurs chargés $|\Omega_n\rangle$ satisfont la condition de Hadamard (garantissant la cohérence physique). Cependant, elles ne sont pas invariantes sous de Sitter à des temps finis pour $n \neq 0$. L'invariance de de Sitter n'est récupérée qu'asymptotiquement aux temps très tôt et très tard ($t \to \pm \infty$), là où la contribution du mode zéro décroît exponentiellement.

• Intégrale de Chemin Euclidienne et Comportement Thermique :
  Les auteurs montrent que la fonction de partition de la sphère euclidienne standard $Z_{S^D}$ correspond au secteur neutre. Pour capturer l'espace de Hilbert complet, il faut sommer sur les insertions d'opérateurs de vertex. Cette somme produit une fonction de partition décorée :
  $$\tilde{Z}_{S^D} = Z_{\text{QM}} Z_{S^D}$$
  Ici, $Z_{\text{QM}}$ est la fonction de partition d'un rotor quantique à une température effective dépendant de la dimension. Cela fournit un avatar euclidien de la structure de l'espace de Hilbert lorentien.

• Dualité dans $dS_3$ :
  En trois dimensions, le scalaire compact est dual à un photon. Le secteur des oscillateurs mappe vers l'UIR du photon, tandis que le secteur du mode zéro du scalaire mappe vers les secteurs de monopôles magnétiques dans la théorie de Maxwell. L'existence de ces secteurs de monopôles est topologiquement permise car la tranche spatiale de $dS_3$ globale est une sphère 2 ($S^2$), qui supporte un flux magnétique non trivial.

Signification et Revendications
L'article affirme fournir le premier compte complet de la théorie quantique d'un scalaire compact sans masse sur l'espace de de Sitter global. Sa signification primaire réside dans :

1. Correction de l'Espace de Hilbert : Démontrer que la construction standard de l'espace de Fock est insuffisante pour les scalaires compacts sur $dS$ et que l'espace de Hilbert complet inclut une tour discrète d'états de zéro particule chargés.
2. Brisure de Symétrie du Nombre de Particules : Révéler que les boosts de de Sitter ne préservent pas le nombre de particules dans les secteurs chargés, un phénomène sans analogue dans les théories QFT massives standards ou dans le cas du scalaire non compact.
3. Pont Euclidien-Lorentien : Résoudre la tension apparente entre la topologie de la sphère euclidienne (qui manque de cycles) et les secteurs chargés lorentiens en montant comment les insertions d'opérateurs de vertex dans l'intégrale de chemin euclidienne permettent de récupérer l'espace de Hilbert lorentien complet.
4. Réalisation Topologique : Lier explicitement le mode zéro du scalaire aux monopôles magnétiques dans la théorie duale du photon de $dS_3$, ancrant les résultats abstraits du scalaire dans un contexte de théorie de jauge concret.

Les auteurs maintiennent un ton modeste, notant que bien qu'ils aient établi la théorie libre, le comportement de ces secteurs chargés dans les théories avec interactions (par exemple, avec un potentiel) et en présence d'une gravité dynamique reste un domaine ouvert pour des investigations futures.