 Witten-Nester identity

In mostly-plus signature orient the commuting Dirac current to the future by $\overline{ϵ}=-{ϵ}^{†}{\gamma }^{\hat{0}}$. For the Nester two-form, put $b^i=n_{\mu }{B}^{\mu i}$. Its covariant divergence has a spinor-gradient term and the Einstein tensor contraction of spin curvature. Projecting onto the hypersurface gives the displayed identity with positive spinor norm. The Witten spinor equation removes the negative square, and the dominant energy condition makes the matter term nonnegative after the Einstein constraints are imposed.