A no-go theorem in bumblebee vector-tensor cosmology

Resumo Técnico: Um Teorema de Não-Existência (No-Go Theorem) na Cosmologia Vetor-Tensor Bumblebee

Enunciado do Problema
Os modelos Bumblebee, uma classe de teorias vetor-tensor onde um campo vetorial $B_\mu$ adquire um valor de expectativa do vácuo (vev) não nulo que quebra espontaneamente as simetrias do espaço-tempo, são amplamente estudados como extensões da Relatividade Geral e como subconjuntos da Extensão do Modelo Padrão (SME). Embora esses modelos tenham sido aplicados a soluções de buracos negros e vários cenários cosmológicos, sua consistência em relação ao número de graus de liberdade (d.o.f.) propagantes e à estabilidade das perturbações cosmológicas permanece incerta. Especificamente, desconhece-se se uma ação bumblebee geral, construída a partir de todos os operadores marginais invariantes por difeomorfismo, pode simultaneamente sustentar um fundo homogêneo e isotrópico, propagar o número correto de graus de liberdade (um escalar, dois vetores, dois tensores para um vetor massivo) e manter perturbações cosmológicas saudáveis sem acoplamento forte.

Metodologia
Os autores realizam a construção sistemática da ação bumblebee mais geral, enumerando todos os operadores marginais invariantes por difeomorfismo (dimensão $d=4$) construídos a partir do campo vetorial $B_\mu$, da métrica $g_{\mu\nu}$, da derivada covariante $\nabla_\mu$, do tensor de Levi-Civita e do tensor de Riemann. Após eliminar termos redundantes via integração por partes e identidades de Bianchi, a ação geral inclui o termo de Einstein-Hilbert, um termo cinético para $B_\mu$, um potencial geral $V(B^2)$ e seis constantes de acoplamento adimensionais independentes ($\gamma, \eta, \xi, \sigma, \varsigma, \upsilon$) associadas a acoplamentos de curvatura não mínimos e interações de derivada.

A análise procede em três estágios:

1. Evolução do Background (Fundo): Os autores derivam as equações de movimento para um background de Friedmann-Lemaître-Robertson-Walker (FLRW) espacialmente plano. Eles analisam como a componente temporal do campo bumblebee, $\bar{B}_0(t)$, evolui e identificam quais acoplamentos introduzem derivadas temporais de ordem superior ($\ddot{\bar{B}}_0$ e $\dddot{\bar{B}}_0$).
2. Análise de Perturbação Linear: A ação é expandida em segunda ordem em perturbações em torno do background FLRW. As perturbações são decompostas em modos escalares, vetoriais e tensoriais. Os autores constroem o Lagrangiano quadrático para o setor escalar, que envolve as perturbações escalares da métrica ($\alpha, \beta$) e as perturbações escalares bumblebee ($\delta B_0, \delta B_s$).
3. Contagem de Graus de Liberdade: Ao analisar o posto da matriz cinética no setor escalar, os autores determinam o número de graus de liberdade escalares propagantes. Eles investigam as condições necessárias para eliminar modos escalares extras (indesejados), que de outra forma levariam a instabilidades de Ostrogradsky ou a um conteúdo de campo incorreto.

Contribuições Principais e Resultados

• Construção Sistemática da Ação: O artigo fornece a primeira enumeração completa de operadores marginais para a gravidade bumblebee, identificando que a literatura anterior frequentemente estudou subconjuntos desta ação geral. A ação geral inclui operadores até terceira ordem de derivadas nas equações de movimento (especificamente o termo $\upsilon \nabla_\mu B^\mu R$).
• Identificação de Modos Extras: A análise de perturbação linear revela que, para acoplamentos marginais genéricos, o setor escalar propaga três graus de liberdade escalares (além dos dois modos vetoriais e dois modais tensoriais). Isso excede o único modo escalar esperado para um campo vetorial massivo.
  • O acoplamento $\upsilon$ (associado a um operador de $D=3$) é responsável pelo posto mais alto da matriz cinética, levando a três modos escalares propagantes.
  • Os acoplamentos $\xi, \sigma, \varsigma$ (associados a operadores de $D=2$) geralmente levam a dois modos escalares propagantes.
• Condições de Degenerescência: Para recuperar o número correto de graus de liberdade (um modo escalar), condições de degenerescência específicas devem ser impostas entre os acoplamentos:
  1. $\upsilon = 0$ (para remover a dinâmica de terceira ordem).
  2. $\xi + 2\sigma = 0$ e $\varsigma = 0$ (para reduzir o posto da matriz cinética de 2 para 1).
     Essas condições efetivamente reduzem o modelo bumblebee geral a um subconjunto específico da teoria de Proca Generalizada.
• O Teorema de Não-Existência (No-Go Theorem): O resultado central é que impor as condições de degenerescência necessárias para remover os graus de liberdade extras leva a um setor escalar patológico.
  • Quando as condições $\upsilon = 0$ e $\xi + 2\sigma = 0$ (com $\varsigma=0$) são impostas, o coeficiente cinético ($K$) do modo escalar restante desaparece identicamente no nível linear de perturbações ($K=0$).
  • Este termo cinético evanescente implica que o modo escalar está infinitamente fortemente acoplado no nível linear. A descrição perturbativa colapsa imediatamente.
  • Além disso, essas condições fixam completamente o potencial de background $V(B^2)$ em termos das equações de fundo, removendo a liberdade de escolher um potencial arbitrário.

Significância e Alegações
O artigo estabelece um teorema de não-existência afirmando que as quatro condições abaixo não podem ser simultaneamente satisfeitas na estrutura geral da ação marginal construída para o modelo bumblebee:

1. A ação marginal mais geral (incluindo todos os operadores invariantes por difeomorfismo).
2. Um background homogêneo e isotrópico (FLRW).
3. Ausência de graus de liberdade extras propagantes em torno do background FLRW (ou seja, recuperando o conteúdo padrão de d.o.f. de um vetor massivo).
4. Perturbações cosmológicas saudáveis (livres de fantasmas, instabilidades de gradiente e acoplamento forte).

Os autores argumentam que, embora as teorias de Proca Generalizada possam evitar este problema via o mecanismo "scordatura" (introduzindo um pequeno desvio da degenerescência suportado por uma escala de alta energia), o modelo bumblebee construído estritamente a partir de operadores marginais carece de uma escala de alta energia independente para separar a escala de acoplamento forte do regime de validade. Consequentemente, qualquer tentativa de remover os graus de liberdade extras força a teoria para um locus degenerado onde o escalar restante é mal definido. O artigo conclui que, dentro deste framework específico de EFT, é impossível construir um modelo cosmológico saudável que satisfaça todos os requisitos de consistência padrão.