A no-go theorem in bumblebee vector-tensor cosmology

Resumen Técnico: Un Teorema de No-Go en la Cosmología de Vectores-Tensores Bumblebee

Planteamiento del Problema
Los modelos bumblebee, una clase de teorías vector-tensor donde un campo vectorial $B_\mu$ adquiere un valor de vacío esperado (vev) no nulo que rompe espontáneamente las simetrías del espacio-tiempo, son ampliamente estudiados como extensiones de la Relatividad General y como subconjuntos de la Extensión del Modelo Estándar (SME). Aunque estos modelos se han aplicado a soluciones de agujeros negros y diversos escenarios cosmológicos, su consistencia respecto al número de grados de libertad (d.o.f.) propagantes y la estabilidad de las perturbaciones cosmológicas sigue sin estar clara. Específicamente, se desconoce si una acción bumblebee general, construida a partir de todos los operadores marginales invariantes por difeomorfismo, puede soportar simultáneamente un fondo homogéneo e isotrópico, propagar el número correcto de grados de libertad (un escalar, dos vectores, dos tensores para un vector masivo) y mantener perturbaciones cosmológicas saludables sin un acoplamiento fuerte.

Metodología
Los autores realizan una construcción sistemática de la acción bumblebee más general enumerando todos los operadores marginales invariantes por difeomorfismo (dimensión $d=4$) construidos a partir del campo vectorial $B_\mu$, la métrica $g_{\mu\nu}$, la derivada covariante $\nabla_\mu$, el tensor de Levi-Civita y el tensor de Riemann. Tras eliminar términos redundantes mediante integración por partes e identidades de Bianchi, la acción general incluye el término de Einstein-Hilbert, un término cinético para $B_\mu$, un potencial general $V(B^2)$ y seis constantes de acoplamiento adimensionales independientes ($\gamma, \eta, \xi, \sigma, \varsigma, \upsilon$) asociadas con acoplamientos de curvatura no mínimos e interacciones de derivadas.

El análisis procede en tres etapas:

1. Evolución del Fondo: Los autores derivan las ecuaciones de movimiento para un fondo de Friedmann-Lemaître-Robertson-Walker (FLRW) espacialmente plano. Analizan cómo evoluciona la componente temporal del campo bumblebee, $\bar{B}_0(t)$, e identifican qué acoplamientos introducen derivadas temporales de orden superior ($\ddot{\bar{B}}_0$ y $\dddot{\bar{B}}_0$).
2. Análisis de Perturbaciones Lineales: La acción se expande a segundo orden en las perturbaciones alrededor del fondo FLRW. Las perturbaciones se descomponen en modos escalares, vectoriales y tensoriales. Los autores construyen el Lagrangiano cuadrático para el sector escalar, que involucra las perturbaciones escalares de la métrica ($\alpha, \beta$) y las perturbaciones escalares de bumblebee ($\delta B_0, \delta B_s$).
3. Conteo de Grados de Libertad: Mediante el análisis del rango de la matriz cinética en el sector escalar, los autores determinan el número de grados de libertad propagantes. Investigan las condiciones necesarias para eliminar grados de libertad escalares adicionales (no deseados), que de otro modo conducirían a inestabilidades de Ostrogradsky o a un contenido de campo incorrecto.

Contribuciones Clave y Resultados

• Construcción Sistemática de la Acción: El artículo proporciona la primera enumeración completa de los operadores marginales para la gravedad bumblebee, identificando que la literatura previa a menudo ha estudiado subconjuntos de esta acción general. La acción general incluye operadores hasta tercer orden de derivadas en las ecuaciones de movimiento (específicamente el término $\upsilon \nabla_\mu B^\mu R$).
• Identificación de Modos Extra: El análisis de perturbaciones lineales revela que, para acoplamientos marginales genéricos, el sector escalar propaga tres grados de libertad escalares (además de los dos vectores y dos tensores). Esto excede el único modo escalar esperado para un campo vectorial masivo.
  • El acoplamiento $\upsilon$ (asociado a un operador de $D=3$) es responsable del rango más alto de la matriz cinética, lo que conduce a tres modos escalares propagantes.
  • Los acoplamientos $\xi, \sigma, \varsigma$ (asociados a operadores de $D=2$) generalmente conducen a dos modos escalares propagantes.
• Condiciones de Degeneración: Para recuperar el número correcto de grados de libertad (un modo escalar), se deben imponer relaciones de degeneración específicas entre los acoplamientos:
  1. $\upsilon = 0$ (para eliminar la dinámica de derivadas de tercer orden).
  2. $\xi + 2\sigma = 0$ y $\varsigma = 0$ (para reducir el rango de la matriz cinética de 2 a 1).
     Estas condiciones reducen efectivamente el modelo bumblebee general a un subconjunto específico de la teoría de Proca Generalizada.
• El Teorema de No-Go: El resultado central es que imponer las condiciones de degeneración requeridas para eliminar los grados de libertad extra conduce a un sector escalar patológico.
  • Cuando se imponen las condiciones $\upsilon = 0$ y $\xi + 2\sigma = 0$ (con $\varsigma=0$), el coeficiente cinético ($K$) del modo escalar restante se anula identicamente en el nivel lineal de las perturbaciones ($K=0$).
  • Este término cinético evanescente implica que el modo escalar está infinitamente fuertemente acoplado en el orden lineal. La descripción perturbativa se rompe inmediatamente.
  • Además, estas condiciones fijan completamente el potencial de fondo $V(B^2)$ en términos de las ecuaciones de fondo, eliminando la libertad de elegir un potencial arbitrario.

Significado y Reclamaciones
El artículo establece un teorema de no-go que estipula que las siguientes cuatro condiciones no pueden satisfacerse simultáneamente en el marco general de la acción bumblebee construida a partir de operadores marginales:

1. La acción marginal más general (incluyendo todos los operadores invariantes por difeomorfismo).
2. Un fondo homogéneo e isotrópico (FLRW).
3. Sin grados de libertad propagantes extra alrededor del fondo FLRW (es decir, recuperando los d.o.f. vectoriales masivos estándar).
4. Perturbaciones cosmológicas saludables (libres de fantasmas, inestabilidades de gradiente y acoplamiento fuerte).

Los autores argumentan que, si bien las teorías de Proca Generalizada pueden evadir este problema mediante el mecanismo "scordatura" (introduciendo un pequeño desajuste apoyado por una escala de alta energía), el modelo bumblebee construido estrictamente a partir de operadores marginales carece de una escala de alta energía independiente para separar la escala de acoplamiento fuerte del régimen de validez. En consecuencia, cualquier intento de eliminar los grados de libertad extra fuerza a la teoría hacia un locus degenerado donde el escalar restante está mal definido. El artículo concluye que, dentro de este marco específico de la teoría de campo efectiva (EFT), es imposible construir un modelo cosmológico saludable que satisfaga todos los requisitos de consistencia estándar.