Axions on de Sitter space

Resumen Técnico: Axiones en el Espacio de de Sitter

Planteamiento del Problema
El artículo investiga la teoría cuántica de campos (QFT) de un campo escalar compacto, mínimamente acoplado y sin masa (un axión) en un espacio de de Sitter global de $D$ dimensiones ($dS_D$). Si bien la versión no compacta de esta teoría ha sido ampliamente estudiada, el caso compacto —donde el campo toma valores en un círculo $S^1$ en lugar de la recta real $\mathbb{R}$— ha recibido poca atención a pesar de su relevancia en cosmología (por ejemplo, modelos inflacionarios, partículas de tipo axión) y su emergencia en compactificaciones de cuerdas. El problema central es construir el espacio de Hilbert completo de esta teoría, determinar sus propiedades de simetría bajo el grupo de de Sitter $SO(D, 1)$ y comprender cómo la compacidad del campo altera la estructura del vacío y el contenido de partículas en comparación con el caso no compacto.

Metodología
Los autores emplean un enfoque dual, analizando la teoría tanto desde perspectivas lorentziana como euclidiana:

1. Cuantización Canónica (Lorentziana):

   • El campo se descompone en un sector de modo cero (espacialmente constante) y un sector de osciladores (modos espacialmente variables).
   • Los modos de oscilador se identifican con los modos estándar de Bunch–Davies, que forman una Representación Irreducible Unitaria (UIR) de $SO(D, 1)$.
   • El sector del modo cero se trata como una partícula cuántica en un círculo, $L^2(S^1)$, debido a la periodicidad $\phi \sim \phi + 2\pi$.
   • Los autores construyen explícitamente las cargas conservadas asociadas a las isometrías de $SO(D, 1)$ (rotaciones y boosts/transf. de rapidez) y analizan su acción sobre el espacio de Hilbert completo.
   • Se computan las funciones de correlación de Wightman de la intensidad del campo en varios estados de "cero partículas" para probar las condiciones de Hadamard y la invariancia de simetría.

2. Formulación de la Integral de Camino (Euclidiana):

   • La teoría se realiza una rotación de Wick hacia la esfera euclidiana $S^D$.
   • Los autores expresan la función de partición en términos de caracteres de Harish-Chandra de $SO(D, 1)$.
   • Demuestran que la integral de camino estándar de la esfera solo captura el sector neutro (espacio de Fock de osciladores). Para acceder a los sectores cargados, introducen inserciones de operadores de vértice en los polos de la esfera.
   • Al sumar sobre estos sectores cargados, derivan una integral de camino "decorada" que se factoriza en la función de partición de la esfera estándar y una función de partición de mecánica cuántica para un rotor.

3. Verificación de Dualidad:

   • En $D=3$, los autores utilizan la dualidad entre un escalar compacto y el electromagnetismo (un campo de gauge de 1-forma) para mapear sus resultados al espacio de Hilbert de un fotón en $dS_3$.

Contribuciones Clave y Resultados

• Estructura del Espacio de Hilbert:
  El espacio de Hilbert completo no es un espacio de Fock estándar sobre un único vacío. En su lugar, es un producto tensorial:
  $$\mathcal{H} = L^2(S^1) \otimes \mathcal{F}_{\text{osc}}$$
  donde $\mathcal{F}_{\text{osc}}$ es el espacio de Fock de los osciladores y $L^2(S^1)$ describe la mecánica cuántica del modo cero. Los estados en $L^2(S^1)$ están etiquetados por un momento entero $n \in \mathbb{Z}$, correspondiente a la carga de desplazamiento $U(1)$ conservada.

• Estructura del Vacío y Normalizabilidad:
  A diferencia del caso del escalar no compacto (donde el único vacío invariante de de Sitter es no normalizable), el escalar compacto posee una familia de estados de "cero partículas" normalizables $|\Omega_n\rangle = |n\rangle_{\text{QM}} \otimes |0\rangle_{\text{osc}}$.

  • Solo el estado neutro $|\Omega_0\rangle$ (donde $n=0$) es invariante bajo el grupo completo $SO(D, 1)$.
  • Los estados cargados $|\Omega_n\rangle$ ($n \neq 0$) son invariantes únicamente bajo rotaciones espaciales $SO(D)$, pero no bajo los boosts de de Sitter.

• Número de Partículas Dependiente del Observador:
  Un hallazgo significativo es que la noción de "número de partículas" depende del observador en los sectores cargados. Mientras que un observador geodésico en el estado $|\Omega_n\rangle$ mide cero cuantos de oscilador, un segundo observador geodésico relacionado por un boost de de Sitter detectará un número no nulo de partículas. Esto ocurre porque los generadores de boost mezclan la carga del modo cero con el sector de osciladores, efectivamente "creando partículas" al actuar sobre los estados de cero partículas cargados. Este efecto está ausente en el sector neutro y en las teorías de escalares masivos.

• Funciones de Correlación:
  Las funciones de correlación de dos puntos de la intensidad del campo computadas en los sectores cargados $|\Omega_n\rangle$ satisfacen la condición de Hadamard (asegurando la consistencia física). Sin embargo, no son invariantes de de Sitter a tiempos finitos para $n \neq 0$. La invariancia de de Sitter solo se recupera asintóticamente en tiempos tempranos y tardíos ($t \to \pm \infty$), donde la contribución del modo cero decae exponencialmente.

• Integral de Camino Euclidiana y Comportamiento Térmico:
  Los autores muestran que la función de partición de la esfera euclidiana estándar $Z_{S^D}$ corresponde al sector neutro. Para capturar el espacio de Hilbert completo, se debe sumar sobre las inserciones de operadores de vértice. Esta suma produce una función de partición decorada:
  $$\tilde{Z}_{S^D} = Z_{\text{QM}} Z_{S^D}$$
  Aquí, $Z_{\text{QM}}$ es la función de partición de un rotor cuántico a una temperatura efectiva dependiente de la dimensión. Esto proporciona un avatar euclidiano de la estructura del espacio de Hilbert de Lorentz.

• Dualidad en $dS_3$:
  En tres dimensiones, el escalar compacto es dual a un fotón. El sector de osciladores mapea a la UIR del fotón, mientras que el sector de modo cero del escalar mapea a los sectores de monopolos magnéticos en la teoría de Maxwell. La existencia de estos sectores de monopolos está topológicamente permitida porque la sección espacial de $dS_3$ global es una 2-esfera ($S^2$), la cual soporta flujo magnético no trivial.

Significancia y Reivindicaciones
El artículo afirma proporcionar el primer recuento exhaustivo de la teoría cuántica de un escalar compacto sin masa en el espacio de de Sitter global. Su principal significancia radica en:

1. Corrección del Espacio de Hilbert: Demostrar que la construcción estándar de espacio de Fock es insuficiente para escalares compactos en $dS$ y que el espacio de Hilbert completo incluye una torre discreta de estados de cero partículas cargados.
2. Ruptura de Simetría del Número de Partículas: Revelar que los boosts de de Sitter no preservan el número de partículas en los sectores cargados, un fenómeno sin análogo en las teorías de QFT masivas estándar o en el caso del escalar no compacto.
3. Puente Euclidiano-Lorentziano: Resolver la tensión aparente entre la topología de la esfera euclidiana (que carece de ciclos) y los sectores cargados de Lorentz mediante la demostración de que las inserciones de operadores de vértice en la integral de camino euclidiana recuperan el espacio de Hilbert de Lorentz completo.
4. Realización Topológica: Vincular explícitamente el modo cero del escalar con los monopolos magnéticos en la teoría dual del fotón en $dS_3$, fundamentando los resultados abstractos del escalar en un contexto concreto de teoría de gauge.

Los autores mantienen un tono modesto, señalando que, si bien han establecido la teoría libre, el comportamiento de estos sectores cargados en teorías con interacciones (por ejemplo, con un potencial) y en presencia de gravedad dinámica sigue siendo un área abierta para investigaciones futuras.