= Nester two-form
{c}
{title2=$B^{\mu\nu}=\bar\epsilon\gamma^{\mu\nu\rho}\nabla_\rho\epsilon-\overline{\nabla_\rho\epsilon}\gamma^{\mu\nu\rho}\epsilon$}
This antisymmetric spinor bilinear converts the <positive energy theorem> into a boundary-charge identity. Its divergence is $2(\nabla_\nu\bar\epsilon)\gamma^{\mu\nu\rho}\nabla_\rho\epsilon+G^{\mu\nu}\bar\epsilon\gamma_\nu\epsilon$ in the mostly-plus conventions specified here. On a spacelike hypersurface the first term is twice the difference between the squared spatial <covariant derivative> and the squared spatial Dirac operator. The <Witten spinor equation> removes the negative square, while the <dominant energy condition> controls the <curvature> term through the Einstein constraints.
Back to article page
