Off-shell double copy theories in BV

Resumen Técnico: Teorías de Doble Copia Off-shell en BV

Planteamiento del Problema
La construcción de la doble copia, que genera amplitudes de dispersión de gravedad a partir de bloques de construcción de la teoría de gauge mediante la dualidad color-cinemática, está bien establecida on-shell. Sin embargo, extender esta dualidad off-shell para construir acciones locales para teorías de gravedad sigue siendo un desafío. Si bien la dualidad color-cinemática off-shell es conocida para surgir de álgebras de Lie cinemáticas en teorías específicas (como Chern-Simons, 4d BF y 2d Yang-Mills), ha faltado un marco sistemático para construir acciones de doble copia off-shell dentro del formalismo de Batalin-Vilkovisky (BV). Además, la interpretación geométrica de las acciones de doble copia resultantes, particularmente su relación con teorías de gravedad como la gravedad de Kodaira-Spencer, requiere una formalización.

Metodología
Los autores utilizan el formalismo BV para construir acciones de doble copia para teorías de gauge que exhiben dualidad color-cinemática off-shell. La metodología central se basa en la identificación de un álgebra de Lie cinemática generada por un operador de segundo orden, $D^\dagger$, que actúa sobre un álgebra de Lie diferencial graduada (dgLa) de campos.

1. Construcción del Álgebra Cinemática: Los autores identifican un álgebra de Lie cinemática $K = \text{Im}(D^\dagger)$ donde el corchete está definido por el operador de segundo orden $D^\dagger$. Este operador satisface $(D^\dagger)^2 = 0$ y la propiedad de segundo orden (regla de Leibniz generalizada), asegurando que se cumpla la identidad de Jacobi para el corchete inducido.
2. Formulación de la Acción BV: Construyen una acción BV de la forma:
   $$S = \frac{1}{2}\langle A, DA \rangle + \frac{1}{6}\langle A, \{A, A\} \rangle$$
   donde $A$ es un supercampo, $D$ es un operador diferencial, y $\{A, A\} = D^\dagger(A^2) - D^\dagger(A)A - (-1)^{|A|}AD^\dagger(A)$ es el corchete restringido a la imagen de $D^\dagger$. El emparejamiento $\langle \cdot, \cdot \rangle$ es una forma simpléctica invariante compatible con los operadores.
3. Doble Copia vía Duplicación de Dimensiones: Para construir la doble copia, los autores duplican las coordenadas espaciotemporales (o variables impares), introduciendo un segundo conjunto de operadores $(\bar{D}, \bar{D}^\dagger)$. La acción de la doble copia se formula en un espacio con dos conjuntos de coordenadas impares, satisfaciendo una estructura de identidad de tipo Kähler generalizada donde $[D, \bar{D}^\dagger] = \square$ (el Laplaciano).
4. Fijación de Gauge y Localidad: La construcción involucra condiciones de fijación de gauge (p. ej., $A \in \text{Im}(D^\dagger)$). Los autores demuestran que, si bien el formalismo general a menudo produce acciones no locales (debido al inverso del Laplaciano $\square^{-1}$), elecciones específicas del álgebra cinemático (notablemente en las teorías 4d BF y 2d YM) permiten soluciones algebraicas para las restricciones de fijación de gauge, resultando en acciones locales.

Contribuciones Clave y Resultados

• Formulación BV de la Doble Copia de CS: Los autores proporcionan una formulación BV completa para la doble copia de la teoría de Chern-Simons (CS). Muestran que la acción previamente propuesta con gauge fijado (de la Ref. [9]) es la versión de gauge fijado de esta construcción BV. Los campos físicos de esta doble copia se identifican con deformaciones de una métrica plana, satisfaciendo ecuaciones equivalentes a la ecuación de Maurer-Cartan para la deformación de una métrica plana con una forma de volumen fija.
• Teoría CS Formal y 4d BF: La construcción se generaliza a la teoría CS formal y se aplica a la teoría 4d BF. Un hallazgo significativo es que la teoría 4d BF admite una familia de un parámetro de álgebras cinemáticas (parametrizada por $\lambda$).
  • Para $\lambda = 0$, la doble copia produce una acción no local similar a la de la doble copia de CS.
  • Para $\lambda \neq 0$, la condición de fijación de gauge puede resolverse algebraicamente, produciendo una acción de doble copia local. Esta acción local se asemeja a una teoría BF deformada con un álgebra cinemático de dimensión infinita actuando sobre el propio espacio-tiempo.
• Doble Copia de Yang-Mills 2d: Los autores construyen la doble copia para la teoría de Yang-Mills 2d, resultando en una acción local que se asemeja a una teoría BF deformada. El sector físico involucra campos interpretados como 1-formas y 0-formas, con una estructura de corchete de Lie específica derivada del operador de fijación de gauge.
• Gravedad de Kodaira-Spencer y Kähler: El artículo demuestra que la gravedad de Kodaira-Spencer (KS) y la gravedad de Kähler encajan naturalmente en este marco de doble copia BV.
  • Gravedad KS: Se muestra que la acción BV para la gravedad KS (que describe deformaciones de estructuras complejas) es un caso específico de la construcción general de doble copia. Los autores extienden esto a estructuras complejas generalizadas y a dimensiones superiores (p. ej., 8D), requiriendo coordenadas impares adicionales para mantener el grado-bi correcto de la medida de integración.
  • Gravedad Kähler: Se construye una teoría de gravedad Kähler en 6D utilizando combinaciones lineales de operadores ($\partial, \bar{\partial}, \partial^\dagger, \bar{\partial}^\dagger$) que satisfacen las relaciones algebraicas requeridas.
• Simetrías BRST Duales: Una característica estructural de estas acciones de doble copia con gauge fijado es la emergencia de dos simetrías BRST anticonmutativas. Esto surge porque la acción con gauge fijado puede verse como el resultado de aplicar diferentes condiciones de fijación de gauge a dos teorías BV distintas (una definida por $D^\dagger$ y la otra por $\bar{D}^\dagger$). Los autores sugieren que esta estructura BRST dual puede ser una propiedad definitoria de las teorías de doble copia off-shell.

Significado y Pretensiones
El artículo pretende formalizar la construcción de teorías de doble copia off-shell dentro del marco BV, proporcionando una descripción algebraica unificada que abarca las teorías de Chern-Simons, BF y Yang-Mills. Al vincular estas construcciones con la gravedad de Kodaira-Spencer y las deformaciones de estructuras complejas generalizadas, el trabajo ofrece una interpretación geométrica potencial para la doble copia más allá de las amplitudes de dispersión estándar.

Los autores señalan modestamente que, aunque el marco produce con éxito acciones para teorías específicas (particularmente aquellas que involucran 4d BF o 2d YM que dan lugar a acciones locales), el caso general a menudo resulta en acciones no locales. Destacan una pregunta abierta respecto a la relación entre los diferentes álgebras cinemáticas encontrados en la teoría 4d BF (los casos $\lambda=0$ vs. $\lambda \neq 0$), conjeturando que pueden estar relacionados por una redefinición de campo no local. Además, reconocen que construir dobles copias sin dualidad color-cinemática off-shell (es decir, sin un $D^\dagger$ de segundo orden) sigue siendo un desafío abierto, ya que el formalismo actual depende fuertemente de la existencia de tal operador para definir el corchete de Lie cinemático.