Off-shell double copy theories in BV

Resumo Técnico: Teorias de Double Copy Off-shell em BV

Enunciado do Problema
A construção de double copy, que gera amplitudes de espalhamento de gravidade a partir de blocos de construção de teoria de gauge via dualidade cor-cinemática, é bem estabelecida on-shell. No entanto, estender essa dualidade para o regime off-shell a fim de construir ações locais para teorias de gravidade permanece um desafio. Embora a dualidade cor-cinemática off-shell seja conhecida por surgir de álgebras de Lie cinemáticas em teorias específicas (como Chern-Simons, 4d BF e 2d Yang-Mills), um arcabouço sistemático para construir ações de double copy off-shell dentro do formalismo de Batalin-Vilkovisky (BV) carecia de formalização. Além disso, a interpretação geométrica dessas ações de double copy resultantes, particularmente sua relação com teorias de gravidade como a gravidade de Kodaira-Spencer, requer formalização.

Metodologia
Os autores utilizam o formalismo BV para construir ações de double copy para teorias de gauge que exibem dualidade cor-cinemática off-shell. A metodologia central baseia-se na identificação de uma álgebra de Lie cinemática gerada por um operador de segunda ordem, $D^\dagger$, atuando sobre uma álgebra de Lie diferencial graduada (dgLa) de campos.

1. Construção da Álgebra Cinemática: Os autores identificam uma álgebra de Lie cinemática $K = \text{Im}(D^\dagger)$ onde o colchete é definido pelo operador de segunda ordem $D^\dagger$. Este operador satisfaz $(D^\dagger)^2 = 0$ e a propriedade de segunda ordem (regra de Leibniz generalizada), garantindo que a identidade de Jacobi seja mantida para o colchete induzido.
2. Formulação da Ação BV: Eles constroem uma ação BV da forma:
   $$S = \frac{1}{2}\langle A, DA \rangle + \frac{1}{6}\langle A, \{A, A\} \rangle$$
   onde $A$ é um supercampo, $D$ é um operador diferencial, e $\{A, A\} = D^\dagger(A^2) - D^\dagger(A)A - (-1)^{|A|}AD^\dagger(A)$ é o colchete restrito à imagem de $D^\dagger$. O pareamento $\langle \cdot, \cdot \rangle$ é uma forma simplética invariante compatível com os operadores.
3. Double Copy via Dobramento de Dimensão: Para construir o double copy, os autores dobram as coordenadas do espaço-tempo (ou variáveis ímpares), introduzindo um segundo conjunto de operadores $(\bar{D}, \bar{D}^\dagger)$. A ação de double copy é formulada em um espaço com dois conjuntos de coordenadas ímpares, satisfazendo uma estrutura de identidade do tipo Kähler generalizada onde $[D, \bar{D}^\dagger] = \square$ (o Laplaciano).
4. Fixação de Gauge e Localidade: A construção envolve condições de fixação de gauge (ex: $A \in \text{Im}(D^\dagger)$). Os autores demonstram que, embora o formalismo geral frequentemente resulte em ações não locais (devido ao inverso do Laplaciano $\square^{-1}$), escolhas específicas da álgebra cinemática (notadamente em teorias 4d BF e 2d YM) permitem soluções algébricas para as restrições de fixação de gauge, resultando em ações locais.

Principais Contribuições e Resultados

• Formulação BV do Double Copy de CS: Os autores fornecem uma formulação BV completa para o double copy da teoria de Chern-Simons (CS). Eles mostram que a ação de gauge fixado anteriormente proposta (da Ref. [9]) é a versão de gauge fixado desta construção BV. Os campos físicos deste double copy são identificados com deformações de uma métrica plana, satisfazendo equações equivalentes à equação de Maurer-Cartan para a deformação de uma métrica plana com uma forma de volume fixa.
• CS Formal e Teoria BF 4d: A construção é generalizada para a teoria de CS formal e aplicada à teoria BF 4d. Uma descoberta significativa é que a teoria BF 4d admite uma família de um parâmetro de álgebras cinemáticas (parametrizada por $\lambda$).
  • Para $\lambda = 0$, o double copy produz uma ação não local semelhante ao double copy de CS.
  • Para $\lambda \neq 0$, a condição de fixação de gauge pode ser resolvida algebricamente, produzindo uma ação de double copy local. Esta ação local assemelha-se a uma teoria BF deformada com uma álgebra cinemática de dimensão infinita atuando sobre o próprio espaço-tempo.
• Double Copy de Yang-Mills 2d: Os autores constroem o double copy para a teoria de Yang-Mills 2d, resultando em uma ação local que se assemelha a uma teoria BF deformada. O setor físico envolve campos interpretados como formas de um e formas de zero, com uma estrutura de colchete de Lie específica derivada do operador de fixação de gauge.
• Gravidade de Kodaira-Spencer e Kähler: O artigo demonstra que a gravidade de Kodaira-Spencer (KS) e a gravidade de Kähler se encaixam naturalmente neste arcabouço de double-copy BV.
  • Gravidade KS: A ação BV para a gravidade KS (descrevendo deformações de estruturas complexas) é mostrada como um caso específico da construção geral de double-copy. Os autores estendem isso para estruturas complexas generalizadas e para dimensões superiores (ex: 8D), exigindo coordenadas ímpares adicionais para manter o correto bi-grau da medida de integração.
  • Gravidade Kähler: Uma teoria de gravidade Kähler 6D é construída usando combinações lineares de operadores ($\partial, \bar{\partial}, \partial^\dagger, \bar{\partial}^\dagger$) que satisfazem as relações algébricas exigidas.
• Simetrias Dual BRST: Uma característica estrutural destas ações de double-copy de gauge fixado é a emergência de duas simetrias BRST anticonmutativas. Isso surge porque a ação de gauge fixado pode ser vista como o resultado de aplicar diferentes condições de fixação de gauge a duas teorias BV distintas (uma definida por $D^\dagger$ e a outra por $\bar{D}^\dagger$). Os autores sugerem que esta estrutura dual BRST pode ser uma propriedade definidora de teorias de double-copy off-shell.

Significância e Alegações
O artigo afirma formalizar a construção de teorias de double-copy off-shell dentro do arcabouço BV, fornecendo uma descrição algébrica unificada que abrange as teorias de Chern-Simons, BF e Yang-Mills. Ao ligar estas construções à gravidade de Kodaira-Spencer e às deformações de estruturas complexas generalizadas, o trabalho oferece uma potencial interpretação geométrica para o double copy além dos padrões de amplitudes de espalhamento.

Os autores observam modestamente que, embora o arcabouço produza com sucesso ações para teorias específicas (particularmente aquelas envolvendo BF 4d ou YM 2d que resultam em ações locais), o caso geral frequentemente resulta em ações não locais. Eles destacam uma questão aberta em relação à relação entre as diferentes álgebras cinemáticas encontradas na teoria BF 4d (os casos $\lambda = 0$ vs. $\lambda \neq 0$), conjecturando que elas podem estar relacionadas por uma redefinição de campo não local. Além disso, reconhecem que construir double copies sem dualidade cor-cinemática off-shell (ou seja, sem um $D^\dagger$ de segunda ordem) permanece um desafio aberto, pois o formalismo atual depende fortemente da existência de tal operador para definir o colchete de Lie cinemático.