On the Plebanski Formulation with Energy Momentum

技术摘要：论带有能量-动量的 Plebanski 形式化理论

问题陈述
Plebanski 引力形式化理论为广义相对论（GR）提供了一种“极简主义”的描述，使用手征 2-形式 ($\Sigma^i$) 和一个 $SO(3, \mathbb{C})$ 联络，其中真空场方程强制执行爱因斯坦条件。然而，将物质耦合到该形式化理论中存在显著的概念和技术障碍。在标准的度量形式化中，能量-动量张量 $T_{\mu\nu}$ 是一个对称 2-张量，其守恒性由收缩后的毕安基恒等式（Bianchi identity）保证。相比之下，Plebanski 变量自然地存在于自对偶/反自对偶分解中。由于 $T_{\mu\nu}$ 是对称的，它无法直接映射到曲率的手征分量。虽然 $T_{\mu\nu}$ 的迹仅仅是平移了宇宙学常数（一个自对偶贡献），但无迹部分 $\hat{T}_{\mu\nu}$ 则作为无迹里奇张量的源，需要曲率场方程的反自对偶贡献。以往尝试耦合物质的方法通常需要额外的拉格朗日乘子，或者缺乏一种透明、系统的方案来将任意基于度量的 $T_{\mu\nu}$ 转化为所需的反自对偶 2-形式源 $T^i$。

方法论
作者通过利用表示论和曲率张量的代数结构，显式地构建了反自对偶源项 $T^i$。其方法论如下：

1. 能量-动量的分解： 将能量-动量张量拆分为其迹 $T$ 和无迹部分 $\hat{T}_{\mu\nu}$。迹的处理方式视为宇宙学常数的偏移。
2. Kulkarni-Nomizu (KN) 积： 作者利用 KN 积——一种将对称 2-张量映射到满足第一毕安基恒等式的曲率张量空间 $\mathcal{K}$ 的双线性运算。具体而言，他们通过积 $\hat{T} \circledast g$ 将无迹能量-动量张量 $\hat{T}$ 提升到该空间中。
3. 表示论投影： 曲率张量空间 $\mathcal{K}$ 在复化洛伦兹代数 $so_{\mathbb{C}}(1,3) \cong sl(2, \mathbb{C}) \oplus sl(2, \mathbb{C})$ 下分解为不可约表示：$(2,0) \oplus (0,2) \oplus (1,1) \oplus (0,0)$。无迹对称张量 $\hat{T}$ 对应于 $(1,1)$ 表示。KN 积 $\hat{T} \circledast g$ 起到了将自对偶 2-形式映射到反自对偶 2-形式的同态作用。
4. 提取 $T^i$： 作者通过将 KN 积投影到反自对偶扇区（使用自对偶投影算符 $P^+$ 和手征基底指标）来定义 Plebanski 物质源 $T^i$。所提出的公式为：
   $$T^i = 4i \left[ P^+ (\hat{T} \circledast g) \right]^{0i}_{\mu\nu} dx^\mu \wedge dx^\nu$$
5. 验证守恒性： 作者通过将手征毕安基恒等式 ($d_A F^i = 0$) 应用于修正后的场方程，验证了这种构造在能量-动量守恒 ($\nabla_\mu T^{\mu\nu} = 0$) 方面的一致性。
6. 应用： 该形式化被应用于球对称电真空情形，以导出 Reissner-Nordström-de Sitter 解。

主要贡献与结果

• $T^i$ 的显式构建： 本文提供了一种系统性的代数方案，用于将基于度量的无迹能量-动量张量 $\hat{T}_{\mu\nu}$ 转换为 Plebanski 场方程所需的反自对偶 2-形式 $T^i$。这是通过 KN 积及随后的投影实现的。
• 与 Krasnov 定义的等价性： 作者证明了其基于 KN 积的构造在数学上等价于 Krasnov 此前引入的定义 $T^i_{\mu\nu} = \Sigma^i_{\rho[\mu} \hat{T}_{\nu]\rho}$。这一等价性验证了新方法的有效性，同时提供了一种更易于在标准张量代数软件（如 SageManifolds）中实现的表述方式。
• 导出守恒定律： 一个核心结果是，作者证明了当手征毕安基恒等式 $d_A F^i = 0$ 应用于耦合物质的场方程时，会自然地推导出标准的守恒律 $\nabla_\mu T^{\mu\nu} = 0$。这作为一种内部一致性检查，确认了所提出的物质耦合不会违反基本的守恒原则。
• 与单模引力（Unimodular Gravity）的区别： 分析阐明了在 Plebanski 框架下标准 GR 与单模引力的结构差异。在 GR 中，场方程包含迹和无迹数据，允许毕安基恒等式强制执行守恒；而在单模引力中，只有无迹（混合）扇区可以通过场方程获取，因此守恒必须被假设而非推导，这突显了两种理论内容的差异。
• 恢复已知解： 该形式化成功恢复了球对称电磁应力-能量张量的 Reissner-Nordström-de Sitter 解。反自对偶部分场方程给出了度量函数的正确微分方程，而自对偶部分则恢复了标量曲率迹。

意义
本文声称其主要意义在于弥合了基于度量的对称张量语言与基于 Plebanski 引力的手征 2-形式语言之间的鸿沟。通过利用 Kulkarni-Nomizu 积，作者提供了一个“简洁且可计算的方案”来处理物质源。这使得将任意度量物质源转化为 Plebanski 方程所需的反自对偶源项成为可能。这项工作表明，在手征形式化中耦合物质不仅是一个技术障碍，而且可以通过曲率张量代数空间的表示论来理解。此外，从手征毕安基恒等式直接推导能量-动量守恒，强化了 Plebanski 形式化在耦合物质时的内部一致性，并将其与那些守恒律并非由几何自动强制执行的无迹或单模变体区分开来。