On the Plebanski Formulation with Energy Momentum

Resumo Técnico: Sobre a Formulação de Plebanski com Energia-Momento

Definição do Problema
A formulação de Plebanski da Relatividade Geral (RG) oferece uma descrição "minimalista" da gravidade utilizando 2-formas quirais ($\Sigma^i$) e uma conexão $SO(3, \mathbb{C})$, onde as equações de campo no vácuo impõem a condição de Einstein. No entanto, acoplar matéria a este formalismo apresenta um obstáculo conceitual e técnico significativo. Na formulação métrica padrão, o tensor energia-momento $T_{\mu\nu}$ é um tensor 2-simétrico, e sua conservação é garantida pela identidade de Bianchi contraída. Em contraste, as variáveis de Plebanski residem naturalmente na decomposição auto-dual/anti-auto-dual. Como $T_{\mu\nu}$ é simétrico, ele não se mapeia diretamente para os componentes quirais da curvatura. Enquanto o traço de $T_{\mu\nu}$ simplesmente desloca a constante cosmológica (uma contribuição auto-dual), o componente livre de traço $\hat{T}_{\mu\nu}$ atua como uma fonte para o tensor de Ricci livre de traço, necessitando de uma contribuição anti-auto-dual para as equações de campo da curvatura. Tentativas anteriores de acoplar matéria frequentemente exigiam multiplicadores de Lagrange adicionais ou careciam de uma prescrição transparente e sistemática para traduzir um $T_{\mu\nu}$ arbitrário baseado em métrica nos componentes de 2-forma anti-auto-duais $T^i$ necessários.

Metodologia
Os autores abordam esta lacuna construindo o termo de fonte anti-auto-dual $T^i$ explicitamente usando a teoria das representações e a estrutura algébrica dos tensores de curvatura. A metodologia procede da seguinte forma:

1. Decomposição do Energia-Momento: O tensor energia-momento é dividido em seu traço $T$ e sua parte livre de traço $\hat{T}_{\mu\nu}$. O traço é tratado como um deslocamento na constante cosmológica.
2. Produto de Kulkarni-Nomizu (KN): Os autores utilizam o produto KN, uma operação bilinear que mapeia tensores 2-simétricos para o espaço algébrico de tensores de curvatura $\mathcal{K}$ (tensores que satisfazem a primeira identidade de Bianchi). Especificamente, eles elevam o tensor energia-momento livre de traço $\hat{T}$ para este espaço via o produto $\hat{T} \circledast g$.
3. Projeção por Teoria de Representação: O espaço de tensores de curvatura $\mathcal{K}$ decompõe-se sob a álgebra de Lorentz complexificada $so_{\mathbb{C}}(1,3) \cong sl(2, \mathbb{C}) \oplus sl(2, \mathbb{C})$ em representações irredutíveis: $(2,0) \oplus (0,2) \oplus (1,1) \oplus (0,0)$. O tensor 2-simétrico livre de traço $\hat{T}$ corresponde à representação $(1,1)$. O produto KN $\hat{T} \circledast g$ atua como um homomorfismo mapeando 2-formas auto-duais para 2-formas anti-auto-duais.
4. Extração de $T^i$: Os autores definem a fonte de matéria de Plebanski $T^i$ projetando o produto KN sobre o setor anti-auto-dual usando o operador de projeção auto-dual $P^+$ e os índices da base quiral. A fórmula proposta é:
   $$T^i = 4i \left[ P^+ (\hat{T} \circledast g) \right]^{0i}_{\mu\nu} dx^\mu \wedge dx^\nu$$
5. Verificação de Conservação: Os autores verificam que esta construção é consistente com a conservação do energia-momento ($\nabla_\mu T^{\mu\nu} = 0$) aplicando a identidade de Bianchi quiral ($d_A F^i = 0$) às equações de campo modificadas.
6. Aplicação: O formalismo é aplicado ao caso de eletro-vácuo com simetria esférica para derivar a solução de Reissner-Nordström-de Sitter.

Principais Contribuições e Resultados

• Construção Explícita de $T^i$: O artigo fornece uma prescrição algébrica e sistemática para converter um tensor energia-momento livre de traço $\hat{T}_{\mu\nu}$ baseado em métrica no 2-forma anti-auto-dual $T^i$ requerido pelas equações de campo de Plebanski. Isso é alcançado via o produto KN e subsequente projeção.
• Equivalência com a Definição de Krasnov: Os autores demonstram que sua construção baseada em KN é matematicamente equivalente à definição anteriormente introduzida por Krasnov, $T^i_{\mu\nu} = \Sigma^i_{\rho[\mu} \hat{T}_{\nu]\rho}$. Esta equivalência valida a nova abordagem enquanto oferece uma formulação mais adequada para implementação em softwares de álgebra tensorial padrão (ex: SageManifolds).
• Derivação de Leis de Conservação: Um resultado central é a prova de que a identidade de Bianchi quiral $d_A F^i = 0$, quando aplicada às equações de campo acopladas à matéria, implica naturalmente a lei de conservação padrão $\nabla_\mu T^{\mu\nu} = 0$. Isso serve como um teste de consistência interna, confirmando que o acoplamento de matéria proposto não viola princípios fundamentais de conservação.
• Distinção da Gravidade Unimodular: A análise esclarece a diferença estrutural entre a RG padrão e a gravidade unimodular dentro do arcabouço de Plebanski. Na RG, as equações de campo contêm tanto dados de traço quanto livres de traço, permitindo que a identidade de Bianchi imponha a conservação. Na gravidade unimodular, apenas os setores mistos (livres de traço) são acessíveis via equações de campo; assim, a conservação deve ser assumida em vez de derivada, destacando uma divergência no conteúdo das teorias.
• Recuperação de Soluções Conhecidas: O formalismo recupera com sucesso a solução de Reissner-Nordström-de Sitter para um tensor energia-momento eletromagnético com simetria esférica. A parte anti-auto-dual das equações de campo produz as equações diferenciais corretas para as funções métricas, enquanto a parte auto-dual recupera o traço da curvatura escalar.

Significância
O artigo afirma que sua principal significância reside em preencher a lacuna entre a linguagem de tensores simétricos do formalismo métrico e a linguagem de 2-formas quirais da gravidade de Plebanski. Ao utilizar o produto de Kulkarni-Nomizu, os autores fornecem uma "prescrição concisa e computável" para fontes de matéria. Isso permite a tradução sistemática de fontes de matéria arbitrárias baseadas em métrica para os termos de fonte anti-auto-duais exigidos pelas equações de Plebanski. O trabalho estabelece que o acoplamento de matéria no formalismo quiral não é meramente um obstáculo técnico, mas pode ser compreendido através da teoria de representação do espaço algébrico de tensores de curvatura. Além disso, a derivação da conservação do energia-momento diretamente da identidade de Bianchi quiral reforça a consistência interna da formulação de Plebanski quando acoplada à matéria, distinguindo-a de variantes livres de traço ou unimodulares onde tal conservação não é automaticamente imposta pela geometria.