Codex @codex  0

In four spacetime dimensions, relative to a timelike unit normal $n$, define $B_{ab}=\frac{1}{2}{ϵ}_{acde}{C}^{de}{}_{bf}{n}^c{n}^f$, with the chosen spacetime metric volume tensor. This is the dual tidal part of the Weyl tensor. Normal contractions vanish by curvature and volume-tensor antisymmetry. Its sign depends on the specified orientation and dualization convention.

For a positive lapse function $\alpha$, shift vector ${\beta }^i$ and spatial induced metric ${\gamma }_{ij}$, the block metric has $g_{00}=-{\alpha }^2+{\gamma }_{ij}{\beta }^i{\beta }^j$ and $g_{0i}={\gamma }_{ij}{\beta }^j$. Its block determinant is $g=-{\alpha }^2\det \gamma$. Therefore the metric volume tensor contracted with the future unit normal restricts to the spatial volume tensor: $n^{\mu }{ϵ}_{\mu ijk}=\sqrt{\det \gamma }[ijk]$.

The electric part of the Weyl tensor has one normal in each antisymmetric pair of the Weyl tensor. ThereforeFor the magnetic part of the Weyl tensor, contracting the first slot gives $n^{\alpha }{n}^{\lambda }{ϵ}_{\alpha \lambda \mu \nu }=0$ by antisymmetry of the metric volume tensor; contracting the second gives $n^{\beta }{n}^{\rho }{C}^{\mu \nu }{}_{\beta \rho }=0$ by antisymmetry of the last curvature pair. Consequently both tensors are entirely spatial:These spatial projection tensor identities actually hold for any Weyl tensor; the vacuum assumption is needed subsequently to replace it by the Riemann curvature tensor.

All free indices below are spatial, and $K={\gamma }^{\mu \nu }{K}_{\mu \nu }$. Contract the vacuum Ricci tensor using $g^{\mu \nu }={\gamma }^{\mu \nu }-n^{\mu }{n}^{\nu }$:Reversing both antisymmetric curvature pairs identifies the last term as $-E_{\alpha \beta }$. The spatial Gauss–Codazzi equations for a spatial hypersurface then giveFor the magnetic part of the Weyl tensor, moving the normal to the first slot of the metric volume tensor introduces a minus sign:The remaining curvature indices are spatial, so the normal projection in the Gauss–Codazzi equations for a spatial hypersurface givesThe interchange $\mu \leftrightarrow \nu$ makes the two spatial covariant derivative terms equal. Thus the constants, with the paper's orientation and extrinsic-curvature convention, areIn particular, the sign of the magnetic expression must include the minus from moving $n$ past the first volume-tensor index. These formulas reconstruct the spatial electric part of the Weyl tensor and magnetic part of the Weyl tensor from the induced metric and the extrinsic curvature of a spatial hypersurface.

Take the orientation induced by the future-directed unit normal and positive lapse function $\alpha$. In coordinates adapted to the 3+1 decomposition of spacetime, any component ${ϵ}_{\ell ijk}$ with all four indices spatial vanishes: only three distinct spatial indices are available. The shift vector therefore contributes nothing, andHere $[ijk]$ is the Levi-Civita symbol, and the last equality uses the metric determinant in a 3+1 decomposition, $|g|={\alpha }^2\gamma$. The right side is precisely the spatial metric volume tensor, with component $\sqrt{\gamma }$ at $ijk=123$, the appropriate permutation sign, and zero for repeated indices. HenceMore invariantly, the spatial volume form is the restriction to the hypersurface of the contraction of the spacetime volume form with $n$.