---
title: Covariant 1+1+2 Formalism
url: https://www.emergentmind.com/topics/covariant-1-1-2-formalism
type: topic
---

# Covariant 1+1+2 Formalism

Searching arXiv for the cited and foundational 1+1+2 papers.
arXiv search query: 2303.12457
The covariant \(1+1+2\) formalism is a semitetrad decomposition of spacetime in which the usual \(1+3\) split defined by a unit timelike congruence \(u^{a}\) is refined by introducing a preferred unit spacelike direction \(e^{a}\), typically adapted to a radial or locally rotationally symmetric structure. This yields a covariant separation into time, one distinguished spatial direction, and a 2-dimensional sheet orthogonal to both vectors. In that language, tensorial variables are decomposed into scalars, 2-vectors, and 2-tensors, and the Einstein equations, Bianchi identities, optical equations, and matching conditions can be rewritten in terms of geometrically transparent quantities. The framework is used for LRS spacetimes, spherically symmetric and scalar-tensor systems, null-geodesic optics, junction conditions, and the correspondence with Newman–Penrose quantities [1306.2473], [2001.02782], [2303.12457], [2605.30255].

## 1. Geometric decomposition and derivative operators

The formalism begins with two unit vector fields,
\[
u^{a}u_{a}=-1,\qquad e^{a}e_{a}=+1,\qquad u^{a}e_{a}=0,
\]
where \(u^{a}\) defines the local time direction and \(e^{a}\) selects a preferred spatial direction. The projector onto the 3-space orthogonal to \(u^{a}\) is
\[
h_{ab}=g_{ab}+u_{a}u_{b},
\]
and the projector onto the 2-sheet orthogonal to both \(u^{a}\) and \(e^{a}\) is
\[
N_{ab}=h_{ab}-e_{a}e_{b}=g_{ab}+u_{a}u_{b}-e_{a}e_{b}.
\]
In equivalent notation one also writes \(q_{ab}=h_{ab}-e_{a}e_{b}\), with \(N_{ab}=q_{ab}\) [1306.2473], [2605.30255].

This decomposition is irreducible. Any spatial vector \(X^{a}\) splits into a component along \(e^{a}\) and a sheet component,
\[
X^{a}=X_{\parallel}e^{a}+X^{a}_{\perp},
\qquad
X_{\parallel}=X^{a}e_{a},
\qquad
X^{a}_{\perp}=q^{a}{}_{b}X^{b},
\]
and symmetric trace-free spatial tensors admit an analogous scalar-vector-tensor splitting. In the notation of the formalism, spacetime itself may be written as
\[
g_{ab}=-u_{a}u_{b}+e_{a}e_{b}+N_{ab}.
\]

Three derivative operators are natural in this setting:
\[
\dot X=u^{a}\nabla_{a}X,\qquad
\hat X=e^{a}\nabla_{a}X,\qquad
\delta_{a}X=N_{a}{}^{b}\nabla_{b}X.
\]
These are, respectively, the derivative along the timelike congruence, the derivative along the preferred spatial direction, and the derivative intrinsic to the 2-sheet. Because they are defined through covariantly specified vectors and projectors, the resulting variables and equations are manifestly gauge-invariant in the sense stated for the formalism [1306.2473].

A persistent misconception is that \(1+1+2\) is merely a coordinate adaptation. The formalism is instead covariant: the decomposition is formulated directly in terms of \(u^{a}\), \(e^{a}\), and the associated projectors, not by fixing coordinates. This is precisely why the same machinery can be used in static spherical systems, null-geodesic optics, distributional matching, and null-tetrad correspondences [1306.2473], [2001.02782], [2303.12457], [2605.30255].

## 2. Irreducible kinematics, matter variables, and Weyl curvature

The covariant derivative of \(u^{a}\) carries the usual \(1+3\) kinematics,
\[
\nabla_{b}u_{a}
=
-u_{b}A_{a}
+\tfrac13\Theta h_{ab}
+\sigma_{ab}
+\omega_{ab},
\]
with acceleration \(A_{a}\), expansion \(\Theta\), shear \(\sigma_{ab}\), and vorticity \(\omega_{ab}\). The \(1+1+2\) refinement extracts scalar pieces aligned with \(e^{a}\), notably
\[
\mathcal{A}\equiv e^{a}\dot u_{a},\qquad
\Sigma\equiv \sigma_{ab}e^{a}e^{b},\qquad
\Omega\equiv \tfrac12\varepsilon^{abc}u_{a}\omega_{bc}.
\]
The derivative of \(e^{a}\) on the sheet yields the sheet kinematics,
\[
D_{a}e_{b}
=
\tfrac12\phi\,N_{ab}
+\zeta_{ab}
+\xi\,\varepsilon_{ab},
\]
where
\[
\phi\equiv\delta_{a}e^{a},\qquad
\xi\equiv\tfrac12\varepsilon^{ab}\delta_{a}e_{b}.
\]
Here \(\phi\) is the sheet expansion and \(\xi\) the sheet twist [1306.2473], [2303.12457].

The matter sector is decomposed from
\[
T_{ab}
=
\rho\,u_{a}u_{b}
+
p\,h_{ab}
+
2q_{(a}u_{b)}
+
\pi_{ab},
\]
with the radial heat-flux scalar \(Q\) or \(\mathcal{Q}\) and the anisotropic stress scalar \(\Pi\) defined by projection along \(e^{a}\). In the LRS setting used in the junction-condition analysis, the principal matter scalars are \(\mu\), \(p\), \(\Pi\), and \(\mathcal{Q}\) [2303.12457].

The Weyl tensor is split into electric and magnetic parts,
\[
E_{ab}=C_{acbd}u^{c}u^{d},
\qquad
H_{ab}=\tfrac12\varepsilon_{acd}C^{cd}{}_{be}u^{e},
\]
and these further decompose into scalar, vector, and tensor pieces. In LRS-II spacetimes, only the scalars \(\mathcal{E}\) and \(\mathcal{H}\) survive, while in static spherically symmetric cases \(\mathcal{H}=0\) and only \(\mathcal{E}\) remains [1306.2473].

The reduction to LRS-II is one of the main operational advantages of the formalism. In a strictly spherically symmetric background, all 2-vectors and 2-tensors vanish identically, leaving the scalar set
\[
\{\Theta,\Sigma,\mathcal{A},\phi,\mathcal{E},\mu,p,Q,\Pi\}.
\]
By the Stewart–Walker lemma, any first-order perturbation of a quantity that vanishes in the background is automatically gauge-invariant [1306.2473]. This makes the formalism especially effective both for background dynamics and for perturbative analyses.

## 3. Propagation, evolution, constraints, and commutators

The field equations are obtained by projecting the Ricci identities for \(u^{a}\) and \(e^{a}\), together with the twice-contracted Bianchi identities and the Gauss–Codazzi equations on the 2-sheet. In LRS spacetimes these become a closed first-order system in the covariant variables [1306.2473], [2303.12457].

A representative propagation equation is the hat-evolution of the sheet expansion,
\[
\hat\phi
=
-\tfrac12\,\phi^{2}
+
\bigl(\tfrac13\,\Theta+\Sigma\bigr)
\bigl(\tfrac23\,\Theta-\Sigma\bigr)
-\tfrac23\,(\mu+\Lambda)
-\tfrac12\,\Pi
\]
in the LRS-II set given for junction conditions, with the corresponding form in the scalar-tensor presentation differing by the explicit \(-\mathcal{E}\) term depending on the displayed equation set [2303.12457], [1306.2473]. A representative mixed relation is
\[
\hat{\mathcal{A}}-\dot\phi
=
-\bigl(\mathcal{A}+\tfrac12\phi\bigr)
\bigl(\tfrac23\Theta+\Sigma\bigr)
+2\,\xi\,\Omega+\mathcal{Q},
\]
and a key algebraic curvature relation is
\[
K
=
\tfrac13\,\mu
-\mathcal{E}
-\tfrac12\,\Pi
+\tfrac14\,\phi^{2}
-\tfrac14\bigl(\tfrac23\Theta-\Sigma\bigr)^{2}
+\xi^{2},
\]
where \(K\) is the Gauss curvature of the 2-sheet [2303.12457].

The formalism also has nontrivial commutation relations. For any scalar \(X\),
\[
\hat{\dot X}-\dot{\hat X}
=
-\mathcal{A}\,\dot X
+
\Bigl(\tfrac13\Theta+\Sigma\Bigr)\hat X,
\]
while the sheet derivatives satisfy
\[
\delta_{[a}\delta_{b]}X=0
\]
in the form stated for the scalar-tensor treatment [1306.2473]. These relations are not peripheral; they govern integrability, perturbation theory, and the consistency of radial-time evolution schemes.

In static vacuum spherical symmetry, the system simplifies to
\[
\Theta=0,\qquad \Sigma=0,\qquad Q=0,\qquad \Pi=0,
\]
with the remaining equations
\[
\hat{\phi}=-\tfrac12\phi^{2}-\mathcal{E},\qquad
0=-A\phi-\mathcal{E},\qquad
{}^{2}\!R=2\mathcal{E}-\tfrac14\phi^{2}.
\]
In the scalar-tensor account, this yields the Schwarzschild exterior, or its generalizations when an effective fluid is present, reproducing and extending Birkhoff’s theorem in a manifestly covariant and gauge-free manner [1306.2473].

## 4. Distributional formulation and junction conditions

A major recent development is the derivation of junction conditions for general LRS spacetimes directly in \(1+1+2\) language. Let a smooth hypersurface \(\Sigma\) divide the manifold into “\(+\)” and “\(-\)” regions, and let \(\ell\) be a signed distance or affine function with \(\ell=0\) on \(\Sigma\). Any scalar \(X\) then admits the distributional split
\[
X
=
X_{+}\,\Theta(\ell)
+
X_{-}\,\Theta(-\ell)
+
\bar X\,\delta(\ell),
\]
with jump
\[
[\![X]\!]\equiv X_{+}|_{\Sigma}-X_{-}|_{\Sigma}.
\]
This furnishes a covariant distributional formalism adapted to timelike, spacelike, or null hypersurfaces [2303.12457].

Regularity of the \(1+1+2\) equations across the separating hypersurface requires continuity of the induced first-fundamental form,
\[
[\![q_{ab}]\!]=0,
\]
which implies
\[
[\![u_{a}]\!]\propto n_{a},
\qquad
[\![e_{a}]\!]\propto n_{a}.
\]
It also excludes \(\delta'\)-terms in the field equations. In the formulation summarized for LRS matching, the only \(1+1+2\) scalars that may carry a \(\delta\)-part are the matter scalars \(\{\mu,p,\Pi,\mathcal{Q}\}\), the Weyl scalars \(\{\mathcal{E},\mathcal{H}\}\), and the trace of the extrinsic curvature \(K\) [2303.12457].

These contributions combine into a shell stress-energy tensor
\[
S_{ab}
=
\bar\mu\,u_{a}u_{b}
+
2\,\bar{\mathcal{Q}}\,u_{(a}e_{b)}
+
\bar p\,N_{ab}
+
\bar\Pi\,(2e_{a}e_{b}-N_{ab}),
\]
which obeys
\[
D^{b}S_{ab}
+
[\![T_{cd}]\!]\,n^{d}q^{c}{}_{a}
=
0.
\]

The final conditions are organized into Type I and Type II classes. Type I are the Darmois–Israel conditions
\[
[\![q_{ab}]\!]=0,\qquad [\![n_{a}]\!]=0.
\]
Type II impose regularity of the \(1+1+2\) equations and require continuity of all kinematical and Weyl scalars except those absorbed into the shell. For a spacelike \(\Sigma\), the shell variables are determined by
\[
\bar\mu=-[\![\phi]\!],\qquad
\bar p=[\![\mathcal{A}]\!]+\tfrac12[\![\phi]\!],\qquad
\bar{\mathcal{Q}}=\tfrac12[\![\Theta-\Sigma]\!],\qquad
\bar\Pi=-\tfrac12[\![\Theta+\Sigma]\!].
\]
Similar formulae hold for timelike or null \(\Sigma\), with \(\Sigma\)-\(\Theta\) interchanged, and with extra conservation equations along the shell in the null case [2303.12457].

The formalism reproduces standard matches while keeping the analysis frame-adapted and covariant. Explicit examples include the Martinez thin-shell, the Schwarzschild constant-density fluid star, and Oppenheimer–Snyder collapse [2303.12457].

## 5. Null geodesics, optical fields, and area distance

The same \(1+1+2\) split can be applied to geometric optics. For a null geodesic tangent \(k^{a}\), an observer with 4-velocity \(u^{a}\) measures the photon frequency
\[
\omega=-u^{a}k_{a}>0,
\]
and defines the propagation direction
\[
e^{a}=\frac{h^{a}{}_{b}k^{b}}{\omega},
\qquad
k^{a}=\omega(u^{a}+e^{a}).
\]
The screen orthogonal to both \(u^{a}\) and \(e^{a}\) is again projected by
\[
N_{ab}=g_{ab}+u_{a}u_{b}-e_{a}e_{b},
\]
now interpreted as the physical 2-surface on which an observer sees the beam cross-section [2001.02782].

The optical deformation tensor is
\[
B_{ab}=N_{a}{}^{c}N_{b}{}^{d}\nabla_{c}k_{d},
\]
and, because \(\nabla_{[c}k_{d]}=0\), it is symmetric in the standard geometric-optics setting. It decomposes as
\[
B_{ab}=\tfrac12\,\theta\,N_{ab}+\sigma_{ab},
\]
where \(\theta\) is the optical expansion and \(\sigma_{ab}\) the screen shear. The twist vanishes, \(\omega_{ab}=B_{[ab]}=0\) [2001.02782].

The corresponding propagation equations are the Sachs equations in fully covariant \(1+1+2\) form. Along the ray, with \('\equiv k^{a}\nabla_{a}\),
\[
\theta'
=
-\tfrac12\theta^{2}
-\sigma_{ab}\sigma^{ab}
-2\Phi_{00},
\qquad
\Phi_{00}\equiv\tfrac12 R_{ab}k^{a}k^{b},
\]
and
\[
\sigma'_{ab}
=
-\theta\,\sigma_{ab}
-
N_{a}{}^{c}N_{b}{}^{d}C_{cedf}k^{e}k^{f}.
\]
The Weyl term is equivalently expressed through the Newman–Penrose scalar
\[
\Psi_{0}=C_{abcd}k^{a}e^{b}k^{c}e^{d}.
\]
In the geometric interpretation given for the optics formulation, \(\Phi_{00}\) is the Ricci-focusing term and \(\Psi_{0}\) generates shear [2001.02782].

The Jacobi map \(D^{A}{}_{B}\) relates neighboring rays on the screen, and its determinant determines the area distance:
\[
\det D^{A}{}_{B}
=
\frac{A_{\rm phys}}{d\Omega},
\qquad
D_{A}\equiv \sqrt{\det D}.
\]
At the observer,
\[
D^{A}{}_{B}(0)=0,\qquad (D^{A}{}_{B})'(0)=\delta^{A}{}_{B},
\]
or equivalently
\[
D_{A}(0)=0,\qquad D_{A}'(0)=1.
\]
For cosmological applications, the affine parameter is replaced by redshift using
\[
1+z=\frac{\omega(\lambda)}{\omega(0)},
\qquad
\frac{dz}{d\lambda}=-(1+z)^{2}H_{\parallel}(z),
\]
with \(H_{\parallel}\equiv e^{a}e^{b}\nabla_{b}u_{a}\), yielding ODEs directly in \(z\) [2001.02782].

## 6. Scalar-tensor gravity, Newman–Penrose correspondence, and horizon criteria

In scalar-tensor gravity, the \(1+1+2\) formalism is used to clarify spherically symmetric solutions of non-minimally coupled theories, with particular attention to the extension of Birkhoff’s theorem and the nature of quasi-local horizons [1306.2473]. The significance of that application is methodological as much as dynamical: it shows that the formalism is not tied to vacuum GR, but can be carried over to effective Einstein systems with additional fields while preserving the same kinematical interpretation.

A further extension is the complete Newman–Penrose/\(1+1+2\) correspondence established by Sherif and Dunsby [2605.30255]. In that dictionary, the null tetrad is written as
\[
\ell^{a}=\tfrac1{\sqrt2}(u^{a}+e^{a}),
\qquad
n^{a}=\tfrac1{\sqrt2}(u^{a}-e^{a}),
\]
with \(m^{a},\bar m^{a}\) spanning the sheet. The outgoing and ingoing null expansions are
\[
\theta_{(\ell)}=\tfrac1{\sqrt2}\Bigl(\tfrac23\Theta-\Sigma+\phi\Bigr),
\qquad
\theta_{(n)}=\tfrac1{\sqrt2}\Bigl(\tfrac23\Theta-\Sigma-\phi\Bigr),
\]
and the Weyl scalar
\[
\Psi_{2}=\tfrac12(\mathcal{E}-i\mathcal{H}).
\]
The Ricci scalars map similarly, for example
\[
\Phi_{00}=\tfrac14(\rho+p+\Pi-2Q),
\qquad
\Phi_{22}=\tfrac14(\rho+p+\Pi+2Q).
\]

This correspondence gives a direct geometrical interpretation of Newman–Penrose quantities in terms of covariantly defined \(1+1+2\) variables. For example, \(\Re(\rho)=-\tfrac12\theta_{(\ell)}\) identifies the real part of the NP spin coefficient \(\rho\) with minus one-half of the outgoing null expansion, while \(\sigma\) measures the shear of the outgoing null congruence [2605.30255].

In LRS-II spacetimes, the correspondence yields horizon diagnostics in mixed NP/\(1+1+2\) language. The Gaussian curvature satisfies
\[
\mathcal{K}
=
\tfrac13(\rho+\Lambda)
-
\Bigl(\mathcal{E}+\tfrac12\Pi\Bigr)
-
\tfrac12\,\theta_{(\ell)}\theta_{(n)},
\]
and on a marginally outer trapped tube the quantity
\[
\mathcal{F}\equiv \Phi_{22}+2\Psi_{2}+\mathcal{K}+\tfrac23\Lambda
\]
controls whether the tube is spacelike, null, or timelike. Under the null-energy condition \(\Phi_{00}\ge 0\) and the strong-energy condition \(\rho+3p\ge 0\), the necessary and sufficient future outer trapping horizon condition is
\[
\Phi_{22}+2\Psi_{2}+\tfrac23\Lambda\le 0.
\]
This result illustrates a broader point: the \(1+1+2\) formalism is not simply an alternative notation for symmetry-reduced Einstein equations. It is a covariant interface connecting kinematics, curvature, matter fluxes, optical observables, matching theory, and null-tetrad methods within a single geometric framework [2605.30255].

Source: https://www.emergentmind.com/topics/covariant-1-1-2-formalism