1+1+2 Semitetrad Covariant Formalism

• 1+1+2 semitetrad covariant formalism is a spacetime decomposition that refines the 1+3 split by further separating the spatial sector into a radial direction and a 2D sheet.
• It organizes physical variables into scalars, 2-vectors, and projected symmetric trace‐free 2-tensors, facilitating clear analysis of symmetry, null propagation, and gravitational optics.
• The formalism underpins applications in locally rotationally symmetric spacetimes, horizon analysis, and matching conditions in scalar-tensor and other gravity theories.

Searching arXiv for recent and foundational papers on the 1+1+2 semitetrad covariant formalism and closely related formulations. The $1+1+2$ semitetrad covariant formalism is a refinement of the standard $1+3$ covariant decomposition of spacetime. One first chooses a preferred timelike congruence $u^a$, interpretable as the 4-velocity of a family of observers, and then introduces a further preferred spatial unit vector $e^a$ inside the 3-space orthogonal to $u^a$. This splits spacetime into a timelike direction, a distinguished spatial direction, and a residual 2-dimensional sheet orthogonal to both. In this representation, covariant fields are reorganized into scalars, sheet 2-vectors, and projected symmetric trace-free (PSTF) 2-tensors. The formalism is especially effective when spacetime has a preferred spatial direction, as in spherical symmetry, locally rotationally symmetric spacetimes, black-hole exteriors, or perturbations around such backgrounds, and it keeps the Einstein equations in a first-order covariant form adapted to a timelike congruence and a preferred spatial direction (Carloni et al., 2013, Sherif et al., 28 May 2026).

1. Geometric split and the semitetrad structure

The formalism begins with a smooth unit timelike vector field $u^a$ satisfying

$u^a u_a=-1.$

Relative to $u^a$, the $1+3$ spatial projector is

$h_{ab}=g_{ab}+u_a u_b.$

This defines the observer rest space orthogonal to $1+3$0. The $1+3$1 refinement then introduces a preferred unit spacelike vector $1+3$2, orthogonal to $1+3$3, with

$1+3$4

The corresponding sheet projector is

$1+3$5

By construction,

$1+3$6

The 2-surface defined by $1+3$7 is the sheet (Carloni et al., 2013, Park, 2018).

This organization is the defining content of the semitetrad viewpoint. The $1+3$8 stage isolates temporal and spatial parts relative to the observer congruence, while the $1+3$9 stage resolves the spatial sector into a line along $u^a$0 plus the transverse sheet. The spacetime volume form $u^a$1, the 3-volume form orthogonal to $u^a$2, and the sheet area 2-form are similarly induced. In one standard notation,

$u^a$3

while in another,

$u^a$4

These antisymmetric tensors supply the intrinsic Levi-Civita structure on the 3-space and on the sheet (Sherif et al., 28 May 2026, Carloni et al., 2013).

A basis-free $u^a$5 treatment clarifies why the later semitetrad split is natural rather than ad hoc. In that setting, the fundamental projector is

$u^a$6

and every tensor is decomposed into parts parallel and orthogonal to $u^a$7. The $u^a$8 formalism then performs a further irreducible decomposition of the already spatial objects by choosing $u^a$9 or $e^a$0 in the rest space. In this sense, $e^a$1 is not a separate geometry but a sharpened decomposition of the $e^a$2 geometry (Park, 2018).

2. Derivative operators and irreducible kinematics

The formalism uses three natural derivative operators. The derivative along the observer congruence is

$e^a$3

or, in the basis-free $e^a$4 presentation, $e^a$5 for spatial covariant tensors. The projected spatial derivative orthogonal to $e^a$6 is

$e^a$7

Inside the rest space, the derivative along the preferred spatial direction is

$e^a$8

and the derivative intrinsic to the sheet is

$e^a$9

For a scalar $u^a$0, one may write

$u^a$1

This compactly encodes the temporal, preferred-direction, and sheet parts of every spacetime derivative (Sherif et al., 28 May 2026, Carloni et al., 2013).

The covariant derivatives of $u^a$2 and $u^a$3 define the $u^a$4 kinematic variables. In $u^a$5 form,

$u^a$6

with acceleration, expansion, shear, and vorticity as the irreducible parts. The $u^a$7 refinement resolves these into scalars, sheet vectors, and sheet PSTF tensors. For example,

$u^a$8

$u^a$9

$u^a$0

and the derivative of the preferred spatial direction within the rest space is

$u^a$1

Here $u^a$2 is the sheet expansion, $u^a$3 the sheet twist, and $u^a$4 the sheet shear (Carloni et al., 2013).

A more explicit covariant form of the split gives

$u^a$5

and

$u^a$6

These formulas show that the null, radial, and sheet optics later encountered in Newman–Penrose or Sachs-based approaches are already encoded in the $u^a$7 kinematics (Sherif et al., 28 May 2026).

3. Covariant field content, matter variables, and symmetry reduction

Any spatial 3-vector $u^a$8 splits irreducibly into a scalar part along $u^a$9 and a sheet 2-vector: $u^a u_a=-1.$0 Any projected symmetric trace-free 3-tensor $u^a u_a=-1.$1 splits into a scalar, a 2-vector, and a PSTF 2-tensor: $u^a u_a=-1.$2 This is the basic irreducible content of $u^a u_a=-1.$3: covariant fields become scalars, sheet 2-vectors, and PSTF sheet 2-tensors (Sherif et al., 28 May 2026).

Matter and curvature decompose in the same way. In one common notation,

$u^a u_a=-1.$4

with

$u^a u_a=-1.$5

$u^a u_a=-1.$6

The Weyl tensor is encoded by its electric and magnetic parts,

$u^a u_a=-1.$7

which split into

$u^a u_a=-1.$8

These variables are the gravito-electric and gravito-magnetic sectors in covariant form (Carloni et al., 2013, Sherif et al., 28 May 2026).

The decisive simplification occurs in locally rotationally symmetric spacetimes. In these geometries there can be no preferred direction inside the 2-sheet, so all sheet vectors and sheet tensors vanish. For LRS spacetimes the nonzero $u^a u_a=-1.$9 variables are

$u^a$0

The subclass LRS-II, which contains spherically symmetric spacetimes, is rotation-free: $u^a$1 The surviving covariant scalars are then

$u^a$2

For static spherical symmetry, all dot derivatives vanish, $u^a$3, this implies $u^a$4, and the constraints give $u^a$5. The geometry is then described by radial propagation equations for a small set of scalars, including

$u^a$6

$u^a$7

$u^a$8

$u^a$9

This scalarization is the main source of the formalism’s computational efficiency in symmetric settings (Carloni et al., 2013).

In static spherically symmetric scalar-tensor gravity, the field equations are rewritten as effective Einstein equations,

$1+3$0

so the $1+3$1 machinery can be used almost unchanged. The scalar field contributes effective $1+3$2, and the whole problem reduces to a closed set of radial equations for the covariant scalars

$1+3$3

A central result in this context is that generic nonminimally coupled scalar-tensor gravity does not admit the Schwarzschild solution unless the scalar field is trivial, and the usual Birkhoff theorem is therefore replaced by a modified statement formulated in terms of the unique static spherical solution of the given scalar-tensor theory (Carloni et al., 2013).

4. Null geometry, screen space, and the optics sector

A major extension of the semitetrad viewpoint is its application to null propagation. In a covariant treatment of light-beam propagation, one starts from a timelike observer field $1+3$4 and a null wave vector $1+3$5 satisfying

$1+3$6

with

$1+3$7

The observed photon frequency is

$1+3$8

and the spatial propagation direction seen by the observer is

$1+3$9

where

$h_{ab}=g_{ab}+u_a u_b.$0

The wave vector decomposes as

$h_{ab}=g_{ab}+u_a u_b.$1

This is exactly the type of decomposition used in semitetrad methods: $h_{ab}=g_{ab}+u_a u_b.$2 is the preferred timelike direction, $h_{ab}=g_{ab}+u_a u_b.$3 the preferred spacelike direction in the observer’s rest space, and the remaining directions form the 2-sheet (Głód, 2020).

The screen projector is

$h_{ab}=g_{ab}+u_a u_b.$4

With the identification

$h_{ab}=g_{ab}+u_a u_b.$5

the screen is the natural $h_{ab}=g_{ab}+u_a u_b.$6 sheet. The central optical object is the screen-projected gradient of the wave vector,

$h_{ab}=g_{ab}+u_a u_b.$7

Because $h_{ab}=g_{ab}+u_a u_b.$8, it is symmetric and decomposes into trace and trace-free parts: $h_{ab}=g_{ab}+u_a u_b.$9 Here $1+3$00 is the optical expansion rate and $1+3$01 the optical shear rate. In $1+3$02 language, $1+3$03 is a sheet scalar and $1+3$04 is a PSTF 2-tensor on the sheet (Głód, 2020).

The Sachs optical equations become

$1+3$05

$1+3$06

These equations display the standard curvature split: Ricci curvature produces isotropic convergence or focusing through the term $1+3$07, while Weyl curvature produces tidal distortion and generates shear through the projected Weyl source. The formalism then introduces the screen-valued Jacobi field $1+3$08, satisfying

$1+3$09

and the second-order Jacobi propagation equation

$1+3$10

The determinant of the Jacobi field defines the beam area, and the area distance $1+3$11 is given covariantly by

$1+3$12

The relation

$1+3$13

shows that the optical expansion is the logarithmic derivative of the cross-sectional area (Głód, 2020).

The formalism is practically important because it avoids integrating the singular Sachs expansion directly from the observer. At the beam vertex one has regular initial data

$1+3$14

with

$1+3$15

and

$1+3$16

It also reformulates propagation in terms of the observable redshift

$1+3$17

rather than affine parameter, yielding redshift-dependent evolution equations for null geodesics, distance, shear, and Jacobi fields. The treatment is explicitly described as a streamlined optics-focused realization of the split rather than a full development of the standard $1+3$18 semitetrad differential machinery. This distinction is important: the optical screen is the 2-sheet, but the paper does not systematically introduce the full hat/delta derivative calculus for arbitrary spacetime tensors (Głód, 2020).

5. Correspondence with Newman–Penrose quantities

A recent development establishes a complete correspondence between the Newman–Penrose and $1+3$19 semitetrad covariant formalisms by expressing all Newman–Penrose spin coefficients, Ricci scalars, and Weyl scalars in terms of the scalar, vector, and tensor variables of the $1+3$20 decomposition. The adapted null directions are chosen as

$1+3$21

with

$1+3$22

The remaining complex basis vectors $1+3$23 span the 2-sheet and satisfy

$1+3$24

Then

$1+3$25

and

$1+3$26

This frame choice gives a direct dictionary between two widely used approaches to general relativity (Sherif et al., 28 May 2026).

The null expansions become

$1+3$27

$1+3$28

as written in the paper, although the paper later summarizes the sign relation for $1+3$29 differently; the robust content is that $1+3$30 and $1+3$31 encode the outgoing and ingoing null expansions, while their imaginary parts encode twist-like information. The spin coefficients acquire direct kinematic meaning. For example,

$1+3$32

so the complex null shears are built directly from the shear of the timelike congruence and the shear of the preferred spatial direction (Sherif et al., 28 May 2026).

The Ricci and Weyl Newman–Penrose scalars become equally transparent. The Ricci null fluxes are

$1+3$33

with

$1+3$34

The Weyl sector is

$1+3$35

$1+3$36

$1+3$37

This shows explicitly that $1+3$38 is the scalar Coulombic free field, $1+3$39 and $1+3$40 are the vectorial gravito-electric and gravito-magnetic pieces, and $1+3$41 and $1+3$42 are the transverse tensor radiative pieces (Sherif et al., 28 May 2026).

The same correspondence supports horizon analysis in LRS class II spacetimes, where all sheet vectors and PSTF 2-tensors vanish and only scalars survive. In that setting a marginally outer trapped surface is defined by

$1+3$43

and a future outer trapping horizon additionally satisfies

$1+3$44

The paper derives the Newman–Penrose inequality

$1+3$45

identified there as both necessary and sufficient to ensure nonpositivity of a horizon-control quantity under the strong energy condition and spherical-topology assumptions for the marginally outer trapped surface. In LRS II, where $1+3$46, this states the horizon condition directly in terms of outgoing null matter flux, Coulomb curvature, and $1+3$47 (Sherif et al., 28 May 2026).

6. Horizons, junction conditions, and interpretive scope

The formalism is also a natural language for quasi-local horizons. In LRS-II the expansions of null congruences reduce to expressions implying that the sign of the sheet expansion $1+3$48 controls trapping. The summary given is

$1+3$49

$1+3$50

$1+3$51

A Killing horizon is described through the vanishing norm of a Killing vector; for a timelike Killing vector $1+3$52, one has

$1+3$53

so a Killing horizon occurs when

$1+3$54

In scalar-tensor gravity the formalism shows that perfect horizons, Killing horizons, and curvature singularities need not coincide as they do in the simplest vacuum general-relativistic examples (Carloni et al., 2013).

For matching problems, the $1+3$55 variables themselves become the natural covariant junction data. In a unified treatment of LRS spacetimes, the hypersurface normal is written as

$1+3$56

with

$1+3$57

The induced metric is expressed in the same covariant language, and for null boundaries one uses

$1+3$58

with

$1+3$59

This parametric setup allows spacelike, timelike, and null hypersurfaces to be treated within one $1+3$60 framework (Rosa et al., 2023).

The distribution formalism then represents any tensor quantity $1+3$61 as a bulk-plus-shell decomposition,

$1+3$62

with jump

$1+3$63

Type I conditions are continuity of the normal and induced metric,

$1+3$64

Type II conditions arise from demanding distributional regularity of the $1+3$65 equations. The shell stress-energy takes the covariant scalar form

$1+3$66

so the shell is encoded by the quartet

$1+3$67

A central result is the continuity of the Gaussian curvature of the sheet,

$1+3$68

For smooth matching, continuity of extrinsic curvature reduces to continuity of a small set of LRS scalars: $1+3$69

$1+3$70

and, in LRS-II for null hypersurfaces,

$1+3$71

These conditions reproduce the usual Darmois–Israel smooth matching relations, but in terms of physically transparent covariant scalars (Rosa et al., 2023).

Worked applications include the Martinez thin shell, the Schwarzschild constant-density fluid star, and Oppenheimer–Snyder collapse. In the constant-density star, if the matching radius equals the stellar radius, then

$1+3$72

so the matching is smooth; otherwise a thin shell is present. In Oppenheimer–Snyder collapse, the analysis shows that a collapsing FLRW interior cannot be matched to a static Schwarzschild exterior with a comoving exterior congruence, but can be matched with a tilted observer defined by the boost

$1+3$73

This supports a broader interpretive point emphasized in the junction analysis: matching is not merely the joining of two metrics, but the matching of two observer congruences across a hypersurface (Rosa et al., 2023).

Taken together, these developments define the present scope of the $1+3$74 semitetrad covariant formalism. It is a geometrically adapted decomposition of spacetime that scalarizes symmetric sectors, makes null optics and Newman–Penrose quantities geometrically transparent, supports horizon analysis, and recasts matching theory in terms of observer-based covariant variables. It is therefore best understood not only as a calculational device, but as a unifying framework for first-order covariant dynamics whenever a preferred spatial direction is physically or geometrically distinguished (Carloni et al., 2013, Głód, 2020, Sherif et al., 28 May 2026, Rosa et al., 2023).