A no-go theorem in bumblebee vector-tensor cosmology

Sintesi Tecnica: Un Teorema di No-Go nella Cosmologia Vettore-Tensore Bumblebee

Enunciato del Problema
I modelli Bumblebee, una classe di teorie vettore-tensoriali in cui un campo vettoriale $B_\mu$ acquisisce un valore di aspettazione del vuoto (vev) non nullo rompendo spontaneamente le simmetrie dello spaziotempo, sono ampiamente studiati come estensioni della Relatività Generale e come sottoinsiemi della Standard-Model Extension (SME). Sebbene questi modelli siano stati applicati a soluzioni di buchi neri e vari scenari cosmologici, la loro coerenza riguardo al numero di gradi di libertà (d.o.f.) propaganti e alla stabilità delle perturbazioni cosmologiche rimane incerta. Nello specifico, non è noto se un'azione bumblebee generale, costruita partendo da tutti i possibili operatori marginali invarianti per diffeomorfismo, possa simultaneamente supportare un background omogeneo e isotropo, propagare il corretto numero di gradi di libertà (un scalare, due vettori, due tensori per un vettore massivo) e mantenere perturbazioni cosmologiche sane senza accoppiamenti forti.

Metodologia
Gli autori eseguono una costruzione sistematica dell'azione bumblebee più generale enumerando tutti gli operatori marginali invarianti per diffeomorfismo (dimensione $d=4$) costruiti a partire dal campo vettoriale $B_\mu$, il metrica $g_{\mu\nu}$, la derivata covariante $\nabla_\mu$, il tensore di Levi-Civita e il tensore di Riemann. Dopo aver eliminato i termini ridondanti tramite integrazione per parti e identità di Bianchi, l'azione generale include il termine di Einstein-Hilbert, un termine cinetico per $B_\mu$, un potenziale generale $V(B^2)$ e sei costanti di accoppiamento adimensionali indipendenti ($\gamma, \eta, \xi, \sigma, \varsigma, \upsilon$) associate a accoppiamenti non minimi con la curvatura e interazioni derivate.

L'analisi procede in tre fasi:

1. Evoluzione del Background: Gli autori derivano le equazioni del moto per un background di Friedmann-Lemaître-Robertson-Walker (FLRW) spazialmente piatto. Analizzano come evolve la componente temporale del campo bumblebee, $\bar{B}_0(t)$, e identificano quali accoppiamenti introducono derivate temporali di ordine superiore ($\ddot{\bar{B}}_0$ e $\dddot{\bar{B}}_0$).
2. Analisi delle Perturbazioni Lineari: L'azione viene espansa al secondo ordine nelle perturbazioni attorno al background FLRW. Le perturbazioni sono decomposte in modi scalari, vettoriali e tensoriali. Gli autori costruiscono il Lagrangiano quadratico per il settore scalare, che coinvolge le perturbazioni scalari metriche ($\alpha, \beta$) e le perturbazioni scalari bumblebee ($\delta B_0, \delta B_s$).
3. Conteggio dei Gradi di Libertà: Analizzando il rango della matrice cinetica nel settore scalare, gli autori determinano il numero di gradi di libertà propaganti. Investigano le condizioni necessarie per eliminare i modi scalari extra (non desiderati), che altrimenti porterebbero a instabilità di Ostrogradsky o a un contenuto di campo errato.

Contributi Chiave e Risultati

• Costruzione Sistematica dell'Azione: Il lavoro fornisce la prima enumerazione completa degli operatori marginali per la gravità bumblebee, identificando che la letteratura precedente ha spesso studiato sottoinsiemi di questa azione generale. L'azione generale include operatori fino al terzo ordine di derivate nelle equazioni del moto (specificamente il termine $\upsilon \nabla_\mu B^\mu R$).
• Identificazione di Modi Extra: L'analisi delle perturbazioni lineari rivela che, per accoppiamenti marginali generici, il settore scalare propaga tre gradi di libertà scalari (in aggiunta ai due modi vettoriali e due tensoriali). Questo eccede l'unico modo scalare atteso per un campo vettoriale massivo.
  • Il coefficiente $\upsilon$ (associato a un operatore $D=3$) è responsabile del rango più elevato della matrice cinetica, portando a tre modi scalari propaganti.
  • I coefficienti $\xi, \sigma, \varsigma$ (associati a operatori $D=2$) portano generalmente a due modi scalari propaganti.
• Condizioni di Degenerazione: Per recuperare il corretto numero di gradi di libertà (un modo scalare), devono essere imposte specifiche relazioni di degenerazione tra i coefficienti:
  1. $\upsilon = 0$ (per rimuovere la dinamica di terzo ordine).
  2. $\xi + 2\sigma = 0$ e $\varsigma = 0$ (per ridurre il rango della matrice cinetica da 2 a 1).
     Queste condizioni riducono efficacementamente il modello bumblebee generale a un sottoinsieme specifico della teoria di Proca Generalizzata.
• Il Teorema di No-Go: Il risultato centrale è che imporre le condizioni di degenerazione necessarie per rimuovere i gradi di libertà extra porta a un settore scalare patologico.
  • Quando vengono imposte le condizioni $\upsilon = 0$ e $\xi + 2\sigma = 0$ (con $\varsigma=0$), il coefficiente cinetico ($K$) del modo scalare rimanente svanisce identicamente al livello lineare delle perturbazioni ($K=0$).
  • Questo termine cinetico evanescente implica che il modo scalare è infinitamente fortemente accoppiato al livello lineare. La descrizione perturbativa decade immediatamente.
  • Inoltre, queste condizioni fissano completamente il potenziale di background $V(B^2)$ in termini delle equazioni di background, rimuovendo la libertà di scegliere un potenziale arbitrario.

Significato e Rivendicazioni
Il lavoro stabilisce un teorema di no-go affermando che le seguenti quattro condizioni non possono essere soddisfatte simultaneamente nel framework generale bumblebee costruito da operatori marginali:

1. L'azione marginale più generale (inclusi tutti gli operatori invarianti per diffeomorfismo).
2. Un background omogeneo e isotropo (FLRW).
3. Assenza di gradi di libertà propaganti extra attorno al background FLRW (ovvero, il recupero dei classici d.o.f. del vettore massivo).
4. Perturbazioni cosmologiche sane (libere da ghost, instabilità di gradiente e accoppiamento forte).

Gli autori sostengono che, mentre le teorie di Proca Generalizzata possono eludere questo problema tramite il meccanismo "scordatura" (introducendo un piccolo disaccordo dalla degenerazione supportato da una scala ad alta energia), il modello bumblebee costruito strettamente da operatori marginali manca di una scala indipendente ad alta energia per separare la scala di accoppiamento forte dalla regione di validità. Di conseguenza, qualsiasi tentativo di rimuovere i gradi di libertà extra forza la teoria verso un locus degenerato dove lo scalare rimanente è mal definito. Il lavoro conclude che, all'interno di questo specifico framework EFT, è impossibile costruire un modello cosmologico sano che soddisfi tutti i requisiti di coerenza standard.