Off-shell double copy theories in BV

Sintesi Tecnica: Teorie del Double Copy Off-shell nel formalismo BV

Problematica
La costruzione del double copy, che genera ampiezze di scattering della gravità partendo da blocchi costruttivi della teoria di gauge tramite la dualità color-kinematics, è ben stabilita on-shell. Tuttavia, estendere questa dualità off-shell per costruire azioni locali per teorie della gravità rimane una sfida. Sebbene la dualità color-kinematics off-shell sia nota per emergere da alge di Lie cinematiche in specifiche teorie (come Chern-Simons, 4d BF e 2d Yang-Mills), è mancato finora un quadro sistematico per la costruzione di azioni di double-copy off-shell all'interno del formalismo di Batalin-Vilkovisky (BV). Inoltre, l'interpretazione geometrica delle azioni di double-copy risultanti, in particolare la loro relazione con teorie della gravità come la gravità di Kodaira-Spencer, richiede una formalizzazione.

Metodologia
Gli autori utilizzano il formalismo BV per costruire azioni di double-copy per teorie di gauge che esibiscono una dualità color-kinematics off-shell. Il nucleo della metodologia risiede nell'identificazione di un'algebra di Lie cinematica generata da un operatore del secondo ordine, $D^\dagger$, che agisce su una algebra di Lie differenziale graduata (dgLa) di campi.

1. Costruzione dell'Algebra Cinematica: Gli autori identificano un'algebra di Lie cinematica $K = \text{Im}(D^\dagger)$ dove il bracket è definito dall'operatore del secondo ordine $D^\dagger$. Questo operatore soddisfa $(D^\dagger)^2 = 0$ e la proprietà del secondo ordine (regola di Leibniz generalizzata), garantendo che l'identità di Jacobi sia soddisfatta per il bracket indotto.
2. Formulazione dell'Azione BV: Costruiscono un'azione BV della forma:
   $$S = \frac{1}{2}\langle A, DA \rangle + \frac{1}{6}\langle A, \{A, A\} \rangle$$
   dove $A$ è un supercampo, $D$ è un operatore differenziale, e $\{A, A\} = D^\dagger(A^2) - D^\dagger(A)A - (-1)^{|A|}AD^\dagger(A)$ è il bracket ristretto all'immagine di $D^\dagger$. La accoppiata $\langle \cdot, \cdot \rangle$ è una forma singolare invariante compatibile con gli operatori.
3. Double Copy tramite Raddoppio delle Dimensioni: Per costruire il double copy, gli autori raddoppiano le coordinate spaziotemporali (o le variabili dispari), introducendo un secondo set di operatori $(\bar{D}, \bar{D}^\dagger)$. L'azione di double-copy è formulata su uno spazio con due set di coordinate dispari, che soddisfano una struttura di tipo identità di Kähler generalizzata $[D, \bar{D}^\dagger] = \square$ (il Laplaciano).
4. Gauge Fixing e Località: La costruzione prevede condizioni di gauge-fixing (ad esempio, $A \in \text{Im}(D^\dagger)$). Gli autori dimostrano che, sebbene il formalismo generale produca spesso azioni non locali (a causa dell'inverso del Laplaciano $\square^{-1}$), specifiche scelte dell'algebra cinematica (in particolare nelle teorie 4d BF e 2d YM) permettono soluzioni algebriche ai vincoli di gauge-fixing, risultando in azioni locali.

Contributi Chiave e Risultati

• Formulazione BV del Double Copy di CS: Gli autori forniscono una completa formulazione BV per il double copy della teoria di Chern-Simons (CS). Mostrano che l'azione precedentemente proposta come gauge-fixed (da Ref. [9]) è la versione gauge-fixed di questa costruzione BV. I campi fisici di questo double copy sono identificati con deformazioni di una metrica piatta, che soddisfano equazioni equivalenti all'equazione di Maurer-Cartan per la deformazione di una metrica piatta con una forma di volume fissata.
• Teoria CS Formale e Teoria BF 4d: La costruzione è generalizzata alla teoria CS formale ed applicata alla teoria BF 4d. Un risultato significativo è che la teoria BF 4d ammette una famiglia di un parametro di alge cinematiche (parametrizzate da $\lambda$).
  • Per $\lambda = 0$, il double copy produce un'azione non locale simile al double copy di CS.
  • Per $\lambda \neq 0$, la condizione di gauge-fixing può essere risolta algebricamente, producendo un'azione di double-copy locale. Questa azione locale assomiglia a una teoria BF deformata con un'algebra cinematica a dimensione infinita che agisce sullo spazio-tempo stesso.
• Double Copy di Yang-Mills 2d: Gli autori costruiscono il double copy per la teoria di Yang-Mills 2d, risultando in un'azione locale che assomiglia a una teoria BF deformata. Il settore fisico coinvolge campi interpretati come 1-forme e 0-forme, con una specifica struttura di Lie bracket derivata dall'operatore di gauge-fixing.
• Gravità di Kodaira-Spencer e Kähler: Il documento dimostra che la gravità di Kodaira-Spencer (KS) e la gravità di Kähler si inseriscono naturalmente in questo framework di double-copy BV.
  • Gravità KS: L'azione BV per la gravità KS (che descrive le deformazioni delle strutture complesse) è mostrata essere un caso specifico della costruzione generale di double-copy. Gli autori estendono questo alle strutture complesse generalizzate e a dimensioni superiori (es. 8D), richiedendo ulteriori coordinate dispari per mantenere il corretto bi-grado della misura di integrazione.
  • Gravità di Kähler: Una teoria di gravità Kähler 6D viene costruita utilizzando combinazioni lineari di operatori ($\partial, \bar{\partial}, \partial^\dagger, \bar{\partial}^\dagger$) che soddisfano le richieste relazioni algebriche.
• Simmetrie Dual BRST: Una caratteristica strutturale di queste azioni di double-copy gauge-fixed è l'emergenza di due simmetrie BRST anti-commutanti. Ciò deriva dal fatto che l'azione gauge-fixed può essere vista come il risultato dell'applicazione di diverse condizioni di gauge-fixing a due diverse teorie BV (una definita da $D^\dagger$ e l'altra da $\bar{D}^\dagger$). Gli autori suggeriscono che questa struttura dual BRST possa essere una proprietà definitoria delle teorie di double-copy off-shell.

Significatività e Rivendicazioni
Il lavoro afferma di formalizzare la costruzione di teorie di double-copy off-shell all'interno del framework BV, fornendo una descrizione algebrica unificata che comprende le teorie di Chern-Simons, BF e Yang-Mills. Collegando queste costruzioni alla gravità di Kodaira-Spencer e alle deformazioni di strutture complesse generalizzate, il lavoro offre una potenziale interpretazione geometrica per il double copy oltre lo standard delle ampiezze di scattering.

Gli autori notano con modestia che, sebbene il framework produca con successo azioni per teorie specifiche (particolarmente quelle che coinvolgono BF 4d o YM 2d che producono azioni locali), il caso generale spesso risulta in azioni non locali. Evidenziano una questione aperta riguardante la relazione tra le diverse alge cinematiche trovate nella teoria BF 4d (i casi $\lambda=0$ vs $\lambda \neq 0$), ipotizzando che possano essere correlate da una ridefinizione di campo non locale. Inoltre, riconoscono che costruire double copy senza dualità color-kinematics off-shell (ovvero senza un operatore del secondo ordine $D^\dagger$) rimane una sfida aperta, poiché l'attuale formalismo dipende fortemente dall'esistenza di tale operatore per definire il bracket di Lie cinematico.