Covariant 1+1+2 Formalism

• Covariant 1+1+2 formalism is a spacetime decomposition method that separates dimensions into time, a preferred spatial axis, and a 2D sheet using well-defined projectors and derivative operators.
• It reformulates Einstein’s equations and Bianchi identities into scalar, 2-vector, and 2-tensor components, enabling precise analysis of LRS, spherically symmetric, and scalar-tensor systems.
• The framework is gauge-invariant and versatile, supporting applications from optical field decomposition and junction conditions to Newman–Penrose correspondences in horizon diagnostics.

Searching arXiv for the cited and foundational 1+1+2 papers. arXiv search query: (Rosa et al., 2023) 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 (Carloni et al., 2013, Głód, 2020, Rosa et al., 2023, Sherif et al., 28 May 2026).

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 $1+3$0 is

$1+3$1

In equivalent notation one also writes $1+3$2, with $1+3$3 (Carloni et al., 2013, Sherif et al., 28 May 2026).

This decomposition is irreducible. Any spatial vector $1+3$4 splits into a component along $1+3$5 and a sheet component,

$1+3$6

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

$1+3$7

Three derivative operators are natural in this setting: $1+3$8 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 (Carloni et al., 2013).

A persistent misconception is that $1+3$9 is merely a coordinate adaptation. The formalism is instead covariant: the decomposition is formulated directly in terms of $u^{a}$0, $u^{a}$1, 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 (Carloni et al., 2013, Głód, 2020, Rosa et al., 2023, Sherif et al., 28 May 2026).

2. Irreducible kinematics, matter variables, and Weyl curvature

The covariant derivative of $u^{a}$2 carries the usual $u^{a}$3 kinematics,

$u^{a}$4

with acceleration $u^{a}$5, expansion $u^{a}$6, shear $u^{a}$7, and vorticity $u^{a}$8. The $u^{a}$9 refinement extracts scalar pieces aligned with $e^{a}$0, notably

$e^{a}$1

The derivative of $e^{a}$2 on the sheet yields the sheet kinematics,

$e^{a}$3

where

$e^{a}$4

Here $e^{a}$5 is the sheet expansion and $e^{a}$6 the sheet twist (Carloni et al., 2013, Rosa et al., 2023).

The matter sector is decomposed from

$e^{a}$7

with the radial heat-flux scalar $e^{a}$8 or $e^{a}$9 and the anisotropic stress scalar $$u^{a}u_{a}=-1,\qquad e^{a}e_{a}=+1,\qquad u^{a}e_{a}=0,$$0 defined by projection along $$u^{a}u_{a}=-1,\qquad e^{a}e_{a}=+1,\qquad u^{a}e_{a}=0,$$1. In the LRS setting used in the junction-condition analysis, the principal matter scalars are $$u^{a}u_{a}=-1,\qquad e^{a}e_{a}=+1,\qquad u^{a}e_{a}=0,$$2, $$u^{a}u_{a}=-1,\qquad e^{a}e_{a}=+1,\qquad u^{a}e_{a}=0,$$3, $$u^{a}u_{a}=-1,\qquad e^{a}e_{a}=+1,\qquad u^{a}e_{a}=0,$$4, and $$u^{a}u_{a}=-1,\qquad e^{a}e_{a}=+1,\qquad u^{a}e_{a}=0,$$5 (Rosa et al., 2023).

The Weyl tensor is split into electric and magnetic parts,

$$u^{a}u_{a}=-1,\qquad e^{a}e_{a}=+1,\qquad u^{a}e_{a}=0,$$6

and these further decompose into scalar, vector, and tensor pieces. In LRS-II spacetimes, only the scalars $$u^{a}u_{a}=-1,\qquad e^{a}e_{a}=+1,\qquad u^{a}e_{a}=0,$$7 and $$u^{a}u_{a}=-1,\qquad e^{a}e_{a}=+1,\qquad u^{a}e_{a}=0,$$8 survive, while in static spherically symmetric cases $$u^{a}u_{a}=-1,\qquad e^{a}e_{a}=+1,\qquad u^{a}e_{a}=0,$$9 and only $u^{a}$0 remains (Carloni et al., 2013).

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

$u^{a}$1

By the Stewart–Walker lemma, any first-order perturbation of a quantity that vanishes in the background is automatically gauge-invariant (Carloni et al., 2013). 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}$2 and $u^{a}$3, 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 (Carloni et al., 2013, Rosa et al., 2023).

A representative propagation equation is the hat-evolution of the sheet expansion,

$u^{a}$4

in the LRS-II set given for junction conditions, with the corresponding form in the scalar-tensor presentation differing by the explicit $u^{a}$5 term depending on the displayed equation set (Rosa et al., 2023, Carloni et al., 2013). A representative mixed relation is

$u^{a}$6

and a key algebraic curvature relation is

$u^{a}$7

where $u^{a}$8 is the Gauss curvature of the 2-sheet (Rosa et al., 2023).

The formalism also has nontrivial commutation relations. For any scalar $u^{a}$9,

$e^{a}$0

while the sheet derivatives satisfy

$e^{a}$1

in the form stated for the scalar-tensor treatment (Carloni et al., 2013). 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

$e^{a}$2

with the remaining equations

$e^{a}$3

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 (Carloni et al., 2013).

4. Distributional formulation and junction conditions

A major recent development is the derivation of junction conditions for general LRS spacetimes directly in $e^{a}$4 language. Let a smooth hypersurface $e^{a}$5 divide the manifold into “$e^{a}$6” and “$e^{a}$7” regions, and let $e^{a}$8 be a signed distance or affine function with $e^{a}$9 on $u^{a}$0. Any scalar $u^{a}$1 then admits the distributional split

$u^{a}$2

with jump

$u^{a}$3

This furnishes a covariant distributional formalism adapted to timelike, spacelike, or null hypersurfaces (Rosa et al., 2023).

Regularity of the $u^{a}$4 equations across the separating hypersurface requires continuity of the induced first-fundamental form,

$u^{a}$5

which implies

$u^{a}$6

It also excludes $u^{a}$7-terms in the field equations. In the formulation summarized for LRS matching, the only $u^{a}$8 scalars that may carry a $u^{a}$9-part are the matter scalars $h_{ab}=g_{ab}+u_{a}u_{b},$0, the Weyl scalars $h_{ab}=g_{ab}+u_{a}u_{b},$1, and the trace of the extrinsic curvature $h_{ab}=g_{ab}+u_{a}u_{b},$2 (Rosa et al., 2023).

These contributions combine into a shell stress-energy tensor

$h_{ab}=g_{ab}+u_{a}u_{b},$3

which obeys

$h_{ab}=g_{ab}+u_{a}u_{b},$4

The final conditions are organized into Type I and Type II classes. Type I are the Darmois–Israel conditions

$h_{ab}=g_{ab}+u_{a}u_{b},$5

Type II impose regularity of the $h_{ab}=g_{ab}+u_{a}u_{b},$6 equations and require continuity of all kinematical and Weyl scalars except those absorbed into the shell. For a spacelike $h_{ab}=g_{ab}+u_{a}u_{b},$7, the shell variables are determined by

$h_{ab}=g_{ab}+u_{a}u_{b},$8

Similar formulae hold for timelike or null $h_{ab}=g_{ab}+u_{a}u_{b},$9, with $u^{a}$0-$u^{a}$1 interchanged, and with extra conservation equations along the shell in the null case (Rosa et al., 2023).

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 (Rosa et al., 2023).

5. Null geodesics, optical fields, and area distance

The same $u^{a}$2 split can be applied to geometric optics. For a null geodesic tangent $u^{a}$3, an observer with 4-velocity $u^{a}$4 measures the photon frequency

$u^{a}$5

and defines the propagation direction

$u^{a}$6

The screen orthogonal to both $u^{a}$7 and $u^{a}$8 is again projected by

$u^{a}$9

now interpreted as the physical 2-surface on which an observer sees the beam cross-section (Głód, 2020).

The optical deformation tensor is

$1+3$00

and, because $1+3$01, it is symmetric in the standard geometric-optics setting. It decomposes as

$1+3$02

where $1+3$03 is the optical expansion and $1+3$04 the screen shear. The twist vanishes, $1+3$05 (Głód, 2020).

The corresponding propagation equations are the Sachs equations in fully covariant $1+3$06 form. Along the ray, with $1+3$07,

$1+3$08

and

$1+3$09

The Weyl term is equivalently expressed through the Newman–Penrose scalar

$1+3$10

In the geometric interpretation given for the optics formulation, $1+3$11 is the Ricci-focusing term and $1+3$12 generates shear (Głód, 2020).

The Jacobi map $1+3$13 relates neighboring rays on the screen, and its determinant determines the area distance: $1+3$14 At the observer,

$1+3$15

or equivalently

$1+3$16

For cosmological applications, the affine parameter is replaced by redshift using

$1+3$17

with $1+3$18, yielding ODEs directly in $1+3$19 (Głód, 2020).

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

In scalar-tensor gravity, the $1+3$20 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 (Carloni et al., 2013). 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+3$21 correspondence established by Sherif and Dunsby (Sherif et al., 28 May 2026). In that dictionary, the null tetrad is written as

$1+3$22

with $1+3$23 spanning the sheet. The outgoing and ingoing null expansions are

$1+3$24

and the Weyl scalar

$1+3$25

The Ricci scalars map similarly, for example

$1+3$26

This correspondence gives a direct geometrical interpretation of Newman–Penrose quantities in terms of covariantly defined $1+3$27 variables. For example, $1+3$28 identifies the real part of the NP spin coefficient $1+3$29 with minus one-half of the outgoing null expansion, while $1+3$30 measures the shear of the outgoing null congruence (Sherif et al., 28 May 2026).

In LRS-II spacetimes, the correspondence yields horizon diagnostics in mixed NP/$1+3$31 language. The Gaussian curvature satisfies

$1+3$32

and on a marginally outer trapped tube the quantity

$1+3$33

controls whether the tube is spacelike, null, or timelike. Under the null-energy condition $1+3$34 and the strong-energy condition $1+3$35, the necessary and sufficient future outer trapping horizon condition is

$1+3$36

This result illustrates a broader point: the $1+3$37 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 (Sherif et al., 28 May 2026).