On the Plebanski Formulation with Energy Momentum

Resumen Técnico: Sobre la formulación de Plebanski con energía-momento

Planteamiento del problema
La formulación de Plebanski de la Relatividad General (RG) ofrece una descripción "minimalista" de la gravedad utilizando 2-formas quirales ($\Sigma^i$) y una conexión $SO(3, \mathbb{C})$, donde las ecuaciones de campo en el vacío imponen la condición de Einstein. Sin embargo, acoplar materia a este formalismo presenta un obstáculo conceptual y técnico significativo. En la formulación métrica estándar, el tensor de energía-momento $T_{\mu\nu}$ es un tensor de segundo orden simétrico, y su conservación está garantizada por la identidad de Bianchi contraída. En contraste, las variables de Plebanski residen naturalmente en la descomposición autodual/antiautodual de las 2-formas. Dado que $T_{\mu\nu}$ es simétrico, no se mapea directamente a los componentes quirales de la curvatura. Mientras que la traza de $T_{\mu\nu}$ simplemente desplaza la constante cosmológica (una contribución autodual), la componente libre de traza $\hat{T}_{\mu\nu}$ actúa como una fuente para el tensor de Ricci libre de traza, lo que requiere una contribución antiautodual a las ecuaciones de campo de la curvatura. Los intentos previos de acoplar materia a menudo requirieron multiplicadores de Lagrange adicionales o carecieron de una prescripción transparente y sistemática para traducir un $T_{\mu\nu}$ arbitrario basado en la métrica en la fuente de 2-formas antiautodual $T^i$ requerida.

Metodología
Los autores abordan este vacío construyendo explícitamente el término de la fuente antiautodual $T^i$ utilizando la teoría de representaciones y la estructura algebraica de los tensores de curvatura. La metodología procede de la siguiente manera:

1. Descomposición del energía-momento: El tensor de energía-momento se divide en su traza $T$ y su parte libre de traza $\hat{T}_{\mu\nu}$. La traza se gestiona como un desplazamiento en la constante cosmológica.
2. Producto de Kulkarni-Nomizu (KN): Los autores utilizan el producto KN, una operación bilineal que mapea tensores simétricos de segundo orden al espacio algebraico de los tensores de curvatura $\mathcal{K}$ (tensores que satisfacen la primera identidad de Bianchi). Específicamente, elevan el tensor de energía-momento libre de traza $\hat{T}$ a este espacio mediante el producto $\hat{T} \circledast g$.
3. Proyección de la teoría de representaciones: El espacio de los tensores de curvatura $\mathcal{K}$ se descompone bajo la álgebra de Lorentz compleja $so_{\mathbb{C}}(1,3) \cong sl(2, \mathbb{C}) \oplus sl(2, \mathbb{C})$ en representaciones irreducibles: $(2,0) \oplus (0,2) \oplus (1,1) \oplus (0,0)$. El tensor simétrico libre de traza $\hat{T}$ corresponde a la representación $(1,1)$. El producto KN $\hat{T} \circledast g$ actúa como un homomorfismo que mapea 2-formas autoduales a 2-formas antiautoduales.
4. Extracción de $T^i$: Los autores definen la fuente de materia de Plebanski $T^i$ proyectando el producto KN sobre el sector antiautodual usando el operador de proyección autodual $P^+$ y los índices de la base quiral. La fórmula propuesta es:
   $$T^i = 4i \left[ P^+ (\hat{T} \circledast g) \right]^{0i}_{\mu\nu} dx^\mu \wedge dx^\nu$$
5. Verificación de la conservación: Los autores verifican que esta construcción es consistente con la conservación del energía-momento ($\nabla_\mu T^{\mu\nu} = 0$) aplicando la identidad de Bianchi quiral ($d_A F^i = 0$) a las ecuaciones de campo modificadas.
6. Aplicación: El formalismo se aplica a un caso de electro-vacío con simetría esférica para derivar la solución de Reissner-Nordström-de Sitter.

Contribuciones clave y resultados

• Construcción explícita de $T^i$: El artículo proporciona una prescripción algebraica y sistemática para convertir un tensor de energía-momento basado en la métrica y libre de traza $\hat{T}_{\mu\nu}$ en la 2-forma antiautodual $T^i$ requerida por las ecuaciones de Plebanski. Esto se logra mediante el producto KN y la subsiguiente proyección.
• Equivalencia con la definición de Krasnov: Los autores demuestran que su construcción basada en KN es matemáticamente equivalente a la definición introducida previamente por Krasnov, $T^i_{\mu\nu} = \Sigma^i_{\rho[\mu} \hat{T}_{\nu]\rho}$. Esta equivalencia valida el nuevo enfoque ofreciendo, al mismo tiempo, una formulación más apta para la implementación en software estándar de álgebra tensorial (por ejemplo, SageManifolds).
• Derivación de las leyes de conservación: Un resultado central es la prueba de que la identidad de Bianchi quiral $d_A F^i = 0$, cuando se aplica a las ecuaciones de campo acopladas a la materia, implica naturalmente la ley de conservación estándar $\nabla_\mu T^{\mu\nu} = 0$. Esto sirve como un control de consistencia interna, confirmando que el acoplamiento de materia propuesto no viola los principios fundamentales de conservación.
• Distinción de la gravedad unimodular: El análisis clarifica la diferencia estructural entre la RG estándar y la gravedad unimodular dentro del marco de Plebanski. En la RG, las ecuaciones de campo contienen tanto datos de traza como libres de traza, permitiendo que la identidad de Bianchi imponga la conservación. En la gravedad unimodular, solo los sectores (mixtos) libres de traza son accesibles a través de las ecuaciones de campo; por lo tanto, la conservación debe asumirse en lugar de derivarse, resaltando una divergencia en el contenido de las teorías.
• Recuperación de soluciones conocidas: El formalismo recupera con éxito la solución de Reissner-Nordström-de Sitter para un tensor de energía-momento electromagnético con simetría esférica. La parte autodual de las ecuaciones de campo produce las ecuaciones diferenciales correctas para las funciones métricas, mientras que la parte autodual recupera la traza de la curvatura escalar.

Significancia
El artículo afirma que su principal significancia radica en cerrar la brecha entre el lenguaje de tensores simétricos de la formulación métrica y el lenguaje de 2-formas quirales de la gravedad de Plebanski. Al utilizar el producto de Kulkarni-Nomizu, los autores proporcionan una "prescripción concisa y computable" para las fuentes de materia. Esto permite la traducción sistemática de fuentes de materia métricas arbitrarias en los términos de la fuente antiautodual requeridos por las ecuaciones de Plebanski. El trabajo establece que el acoplamiento de materia en la formulación quiral no es meramente un obstáculo técnico, sino que puede entenderse a través de la teoría de representaciones del espacio algebraico de los tensores de curvatura. Además, la derivación de la conservación del energía-momento directamente de la identidad de Bianchi quiral refuerza la consistencia interna de la formulación de Plebanski cuando se acopla a la materia, distinguiéndola de las variantes libres de traza o unimodulares donde dicha conservación no se impone automáticamente por la geometría.