On the Plebanski Formulation with Energy Momentum

Technical Summary: On the Plebanski Formulation with Energy Momentum

Problem Statement
The Plebanski formulation of General Relativity (GR) offers a "minimalist" description of gravity using chiral 2-forms ($\Sigma^i$) and an $SO(3, \mathbb{C})$ connection, where the vacuum field equations enforce the Einstein condition. However, coupling matter to this formalism presents a significant conceptual and technical hurdle. In the standard metric formulation, the energy-momentum tensor $T_{\mu\nu}$ is a symmetric 2-tensor, and its conservation is guaranteed by the contracted Bianchi identity. In contrast, the Plebanski variables naturally reside in the self-dual/anti-self-dual decomposition of 2-forms. Since $T_{\mu\nu}$ is symmetric, it does not map directly to the chiral components of the curvature. While the trace of $T_{\mu\nu}$ simply shifts the cosmological constant (a self-dual contribution), the trace-free component $\hat{T}_{\mu\nu}$ acts as a source for the trace-free Ricci tensor, necessitating an anti-self-dual contribution to the curvature field equations. Previous attempts to couple matter often required additional Lagrange multipliers or lacked a transparent, systematic prescription for translating an arbitrary metric-based $T_{\mu\nu}$ into the required anti-self-dual 2-form source $T^i$.

Methodology
The authors address this gap by constructing the anti-self-dual source term $T^i$ explicitly using representation theory and the algebraic structure of curvature tensors. The methodology proceeds as follows:

1. Decomposition of Energy-Momentum: The energy-momentum tensor is split into its trace $T$ and trace-free part $\hat{T}_{\mu\nu}$. The trace is handled as a shift in the cosmological constant.
2. Kulkarni-Nomizu (KN) Product: The authors utilize the KN product, a bilinear operation that maps symmetric 2-tensors to the algebraic space of curvature tensors $\mathcal{K}$ (tensors satisfying the first Bianchi identity). Specifically, they lift the trace-free energy-momentum tensor $\hat{T}$ into this space via the product $\hat{T} \circledast g$.
3. Representation Theory Projection: The space of curvature tensors $\mathcal{K}$ decomposes under the complexified Lorentz algebra $so_{\mathbb{C}}(1,3) \cong sl(2, \mathbb{C}) \oplus sl(2, \mathbb{C})$ into irreducible representations: $(2,0) \oplus (0,2) \oplus (1,1) \oplus (0,0)$. The trace-free symmetric tensor $\hat{T}$ corresponds to the $(1,1)$ representation. The KN product $\hat{T} \circledast g$ acts as a homomorphism mapping self-dual 2-forms to anti-self-dual 2-forms.
4. Extraction of $T^i$: The authors define the Plebanski matter source $T^i$ by projecting the KN product onto the anti-self-dual sector using the self-dual projection operator $P^+$ and the chiral basis indices. The proposed formula is:
   $$T^i = 4i \left[ P^+ (\hat{T} \circledast g) \right]^{0i}_{\mu\nu} dx^\mu \wedge dx^\nu$$
5. Verification of Conservation: The authors verify that this construction is consistent with the conservation of energy-momentum ($\nabla_\mu T^{\mu\nu} = 0$) by applying the chiral Bianchi identity ($d_A F^i = 0$) to the modified field equations.
6. Application: The formalism is applied to a spherically symmetric electro-vacuum case to derive the Reissner-Nordström-de Sitter solution.

Key Contributions and Results

• Explicit Construction of $T^i$: The paper provides a systematic, algebraic prescription for converting a metric-based trace-free energy-momentum tensor $\hat{T}_{\mu\nu}$ into the anti-self-dual 2-form $T^i$ required by the Plebanski field equations. This is achieved via the KN product and subsequent projection.
• Equivalence to Krasnov's Definition: The authors demonstrate that their KN-based construction is mathematically equivalent to the definition previously introduced by Krasnov, $T^i_{\mu\nu} = \Sigma^i_{\rho[\mu} \hat{T}_{\nu]\rho}$. This equivalence validates the new approach while offering a formulation that is more amenable to implementation in standard tensor algebra software (e.g., SageManifolds).
• Derivation of Conservation Laws: A central result is the proof that the chiral Bianchi identity $d_A F^i = 0$, when applied to the matter-coupled field equations, naturally implies the standard conservation law $\nabla_\mu T^{\mu\nu} = 0$. This serves as an internal consistency check, confirming that the proposed matter coupling does not violate fundamental conservation principles.
• Distinction from Unimodular Gravity: The analysis clarifies the structural difference between standard GR and unimodular gravity within the Plebanski framework. In GR, the field equations contain both trace and trace-free data, allowing the Bianchi identity to enforce conservation. In unimodular gravity, only the trace-free (mixed) sectors are accessible via the field equations; thus, conservation must be assumed rather than derived, highlighting a divergence in the content of the theories.
• Recovery of Known Solutions: The formalism successfully recovers the Reissner-Nordström-de Sitter solution for a spherically symmetric electromagnetic stress-energy tensor. The anti-self-dual part of the field equations yields the correct differential equations for the metric functions, while the self-dual part recovers the scalar curvature trace.

Significance
The paper claims that its primary significance lies in bridging the gap between the symmetric tensor language of the metric formalism and the chiral 2-form language of Plebanski gravity. By utilizing the Kulkarni-Nomizu product, the authors provide a "concise and computable prescription" for matter sources. This allows for the systematic translation of arbitrary metric matter sources into the anti-self-dual source terms required by the Plebanski equations. The work establishes that the coupling of matter in the chiral formulation is not merely a technical hurdle but can be understood through the representation theory of the algebraic space of curvature tensors. Furthermore, the derivation of energy-momentum conservation directly from the chiral Bianchi identity reinforces the internal consistency of the Plebanski formulation when coupled to matter, distinguishing it from trace-free or unimodular variants where such conservation is not automatically enforced by the geometry.