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

# 1+1+2 Semitetrad Covariant Formalism

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 [1306.2473, 2605.30255].

## 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 \(u^a\). The \(1+1+2\) refinement then introduces a preferred unit spacelike vector \(e^a\), orthogonal to \(u^a\), with
\[
e^a e_a=1,\qquad u^a e_a=0.
\]
The corresponding sheet projector is
\[
N_{ab}=h_{ab}-e_a e_b=g_{ab}+u_a u_b-e_a e_b,\qquad N^a{}_a=2.
\]
By construction,
\[
e^a N_{ab}=0,\qquad u^a N_{ab}=0.
\]
The 2-surface defined by \(N_{ab}\) is the **sheet** [1306.2473, 1810.06293].

This organization is the defining content of the semitetrad viewpoint. The \(1+3\) stage isolates temporal and spatial parts relative to the observer congruence, while the \(1+1+2\) stage resolves the spatial sector into a line along \(e^a\) plus the transverse sheet. The spacetime volume form \(\eta_{abcd}\), the 3-volume form orthogonal to \(u^a\), and the sheet area 2-form are similarly induced. In one standard notation,
\[
\bar\eta_{abc}=\eta_{dabc}u^d,\qquad \tilde\eta_{ab}=\bar\eta_{abc}e^c=\eta_{dcab}u^d e^c,
\]
while in another,
\[
\varepsilon_{ab}=\varepsilon_{abc}e^c=\eta_{dabc}e^c u^d.
\]
These antisymmetric tensors supply the intrinsic Levi-Civita structure on the 3-space and on the sheet [2605.30255, 1306.2473].

A basis-free \(1+3\) treatment clarifies why the later semitetrad split is natural rather than ad hoc. In that setting, the fundamental projector is
\[
\gamma_{ab}=g_{ab}+u_a u_b,
\]
and every tensor is decomposed into parts parallel and orthogonal to \(u^a\). The \(1+1+2\) formalism then performs a further irreducible decomposition of the already spatial objects by choosing \(e^a\) or \(n^a\) in the rest space. In this sense, \(1+1+2\) is not a separate geometry but a sharpened decomposition of the \(1+3\) geometry [1810.06293].

## 2. Derivative operators and irreducible kinematics

The formalism uses three natural derivative operators. The derivative along the observer congruence is
\[
\dot{X}_{a\cdots b}{}^{c\cdots d}=u^f\nabla_f X_{a\cdots b}{}^{c\cdots d},
\]
or, in the basis-free \(1+3\) presentation, \(\dot T=\mathcal L_u T\) for spatial covariant tensors. The projected spatial derivative orthogonal to \(u^a\) is
\[
D_f X_{a\cdots b}{}^{c\cdots d}=h_f{}^j h_a{}^p\cdots h_b{}^q h_r{}^c\cdots h_s{}^d \nabla_j X_{p\cdots q}{}^{r\cdots s}.
\]
Inside the rest space, the derivative along the preferred spatial direction is
\[
\hat{X}_{a\cdots b}{}^{c\cdots d}=e^f D_f X_{a\cdots b}{}^{c\cdots d},
\]
and the derivative intrinsic to the sheet is
\[
\delta_f X_{a\cdots b}{}^{c\cdots d}=N_f{}^j N_a{}^p\cdots N_b{}^q N_r{}^c\cdots N_s{}^d D_j X_{p\cdots q}{}^{r\cdots s}.
\]
For a scalar \(\psi\), one may write
\[
\nabla_a\psi=-\dot\psi\,u_a+\hat\psi\,e_a+\delta_a\psi.
\]
This compactly encodes the temporal, preferred-direction, and sheet parts of every spacetime derivative [2605.30255, 1306.2473].

The covariant derivatives of \(u^a\) and \(e^a\) define the \(1+1+2\) kinematic variables. In \(1+3\) form,
\[
\nabla_a u_b=-u_a\dot u_b+\frac13\Theta h_{ab}+\sigma_{ab}+\omega_{ab},
\]
with acceleration, expansion, shear, and vorticity as the irreducible parts. The \(1+1+2\) refinement resolves these into scalars, sheet vectors, and sheet PSTF tensors. For example,
\[
\dot u^a=\mathcal A e^a+\mathcal A^a,
\]
\[
\omega^a=\Omega e^a+\Omega^a,
\]
\[
\sigma_{ab}=\Sigma\left(e_a e_b-\frac12 N_{ab}\right)+2\Sigma_{(a}e_{b)}+\Sigma_{ab},
\]
and the derivative of the preferred spatial direction within the rest space is
\[
D_a e_b=e_a a_b+\frac12\phi N_{ab}+\xi \varepsilon_{ab}+\zeta_{ab}.
\]
Here \(\phi\) is the sheet expansion, \(\xi\) the sheet twist, and \(\zeta_{ab}\) the sheet shear [1306.2473].

A more explicit covariant form of the split gives
\[
\nabla_a u_b = -u_a(\mathcal A e_b+\mathcal A_b) +\left(\frac13\theta+\Sigma\right)e_a e_b +\frac12\left(\frac23\theta-\Sigma\right)q_{ab} +\Omega \tilde\eta_{ab} +\Sigma_{ab} +2\left(e_{(a}\Sigma_{b)}+e_{[a}\tilde\eta_{b]c}\Omega^c\right),
\]
and
\[
\nabla_a e_b = -u_a(\mathcal A u_b+\alpha_b) +\left(\frac13\theta+\Sigma\right)e_a u_b +\frac12\phi q_{ab} +\xi\tilde\eta_{ab} +\zeta_{ab} +e_a a_b +\left(\Sigma_a-\tilde\eta_{ac}\Omega^c\right)u_b.
\]
These formulas show that the null, radial, and sheet optics later encountered in Newman–Penrose or Sachs-based approaches are already encoded in the \(1+1+2\) kinematics [2605.30255].

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

Any spatial 3-vector \(\psi_a\) splits irreducibly into a scalar part along \(e^a\) and a sheet 2-vector:
\[
\psi_a=\bar\psi\, e_a+\bar\psi_a,\qquad \bar\psi=\psi_a e^a,\qquad \bar\psi_a=q_a{}^b\psi_b.
\]
Any projected symmetric trace-free 3-tensor \(\Psi_{ab}\) splits into a scalar, a 2-vector, and a PSTF 2-tensor:
\[
\Psi_{ab} = \bar{\Psi} \left(e_a e_b-\frac12 q_{ab}\right) +2\bar{\Psi}_{(a}e_{b)} +\bar{\Psi}_{ab}.
\]
This is the basic irreducible content of \(1+1+2\): covariant fields become scalars, sheet 2-vectors, and PSTF sheet 2-tensors [2605.30255].

Matter and curvature decompose in the same way. In one common notation,
\[
T_{ab}=\mu u_a u_b + p h_{ab} + 2q_{(a}u_{b)} + \pi_{ab},
\]
with
\[
q^a = Q e^a + Q^a,
\]
\[
\pi_{ab} = \Pi\left(e_a e_b-\frac12 N_{ab}\right) +2\Pi_{(a}e_{b)} +\Pi_{ab}.
\]
The Weyl tensor is encoded by its electric and magnetic parts,
\[
E_{ab}=C_{acbd}u^c u^d,\qquad H_{ab}=\frac12 \bar\eta_a{}^{ef} C_{efbd}u^d,
\]
which split into
\[
E_{ab}\to (\mathcal E,\mathcal E_a,\mathcal E_{ab}),\qquad H_{ab}\to (\mathcal H,\mathcal H_a,\mathcal H_{ab}).
\]
These variables are the gravito-electric and gravito-magnetic sectors in covariant form [1306.2473, 2605.30255].

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 \(1+1+2\) variables are
\[
\{\mathcal{A},\Theta,\phi,\xi,\Sigma,\Omega,\mathcal{E},\mathcal{H}, \mu,p,\Pi,Q\}.
\]
The subclass **LRS-II**, which contains spherically symmetric spacetimes, is rotation-free:
\[
\Omega=0,\qquad \xi=0,\qquad \mathcal H=0.
\]
The surviving covariant scalars are then
\[
\{\mathcal{A},\Theta,\phi,\Sigma,\mathcal{E},\mu,p,\Pi,Q\}.
\]
For static spherical symmetry, all dot derivatives vanish, \(\Theta=0\), this implies \(\Sigma=0\), and the constraints give \(Q=0\). The geometry is then described by radial propagation equations for a small set of scalars, including
\[
\hat\phi = \mathcal{A}\phi-\mu-p-\Pi-\frac12\phi^2,
\]
\[
\hat{\mathcal{A}} = -\mathcal{A}(\mathcal{A}+\phi)+\frac12(\mu+3p),
\]
\[
K = -p-\Pi+\frac14\phi(\mathcal{A}+\phi),
\]
\[
\mathcal{E} = \frac13(\mu+3p)+\frac12\Pi-\mathcal{A}\phi.
\]
This scalarization is the main source of the formalism’s computational efficiency in symmetric settings [1306.2473].

In static spherically symmetric scalar-tensor gravity, the field equations are rewritten as effective Einstein equations,
\[
G_{ab}=\frac{1}{F(\psi)}\left[T^{(m)}_{ab}+T^{(\psi)}_{ab}\right]=T^{(\mathrm{eff})}_{ab},
\]
so the \(1+1+2\) machinery can be used almost unchanged. The scalar field contributes effective \(\mu,p,\Pi\), and the whole problem reduces to a closed set of radial equations for the covariant scalars
\[
\mathcal{A},\ \phi,\ K,\ \psi,\ \hat\psi,\ \hat{\hat\psi}.
\]
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 [1306.2473].

## 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 \(u^a\) and a null wave vector \(k^a\) satisfying
\[
k^a k_a=0,\qquad \nabla_m k_n=\nabla_n k_m,\qquad \dot{k}_n=0,
\]
with
\[
\dot X\equiv k^a\nabla_a X.
\]
The observed photon frequency is
\[
\omega=-u^a k_a,
\]
and the spatial propagation direction seen by the observer is
\[
d_n=\frac{1}{\omega}P_n{}^a k_a,
\]
where
\[
P_{mn}=u_m u_n+g_{mn}.
\]
The wave vector decomposes as
\[
k^a=\omega(u^a+d^a).
\]
This is exactly the type of decomposition used in semitetrad methods: \(u^a\) is the preferred timelike direction, \(d^a\) the preferred spacelike direction in the observer’s rest space, and the remaining directions form the 2-sheet [2001.02782].

The screen projector is
\[
S_{mn}=-d_m d_n + P_{mn}=g_{mn}+u_m u_n-d_m d_n.
\]
With the identification
\[
n^a \leftrightarrow d^a,\qquad N_{ab}\leftrightarrow S_{ab},
\]
the screen is the natural \(1+1+2\) sheet. The central optical object is the screen-projected gradient of the wave vector,
\[
D_{mn}=S_m{}^b S_n{}^a \nabla_b k_a.
\]
Because \(\nabla_m k_n=\nabla_n k_m\), it is symmetric and decomposes into trace and trace-free parts:
\[
D_{mn}=\Sigma_{mn}+\frac12 S_{mn}\Theta,\qquad \Sigma^a{}_a=0.
\]
Here \(\Theta\) is the optical expansion rate and \(\Sigma_{mn}\) the optical shear rate. In \(1+1+2\) language, \(\Theta\) is a sheet scalar and \(\Sigma_{ab}\) is a PSTF 2-tensor on the sheet [2001.02782].

The Sachs optical equations become
\[
S_m{}^b S_n{}^a \dot{\Sigma}_{ba} = -\Sigma_{mn}\Theta -S_m{}^d k^c S_n{}^b k^a C_{dcba},
\]
\[
\dot{\Theta} = -\Sigma^{ba}\Sigma_{ba} -\frac12 \Theta^2 -k^b k^a R_{ba}.
\]
These equations display the standard curvature split: Ricci curvature produces isotropic convergence or focusing through the term \(-k^a k^bR_{ab}\), while Weyl curvature produces tidal distortion and generates shear through the projected Weyl source. The formalism then introduces the screen-valued Jacobi field \(J_{mn}\), satisfying
\[
S_m{}^b S_n{}^a \dot{J}_{ba}=D_m{}^a J_{an},
\]
and the second-order Jacobi propagation equation
\[
S_m{}^b S_n{}^a \ddot{J}_{ba} = - S_m{}^d k^c S^{eb} k^a R_{dcba} J_{en}.
\]
The determinant of the Jacobi field defines the beam area, and the area distance \(\Delta\) is given covariantly by
\[
\Delta^2 = \frac12\bigl(J^b{}_b J^a{}_a - J^{ab}J_{ba}\bigr).
\]
The relation
\[
\Theta = 2\frac{\dot\Delta}{\Delta}
\]
shows that the optical expansion is the logarithmic derivative of the cross-sectional area [2001.02782].

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
\[
J_{mn}\big|_0=0,\qquad \Delta\big|_0=0,\qquad \Xi_{mn}\big|_0=0,
\]
with
\[
\Xi_{mn}=\Delta^2\Sigma_{mn},
\]
and
\[
\dot\Delta\big|_0=-\omega_0.
\]
It also reformulates propagation in terms of the observable redshift
\[
Z=\frac{\omega}{\omega_0}-1,
\]
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+1+2\) 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 [2001.02782].

## 5. Correspondence with Newman–Penrose quantities

A recent development establishes a complete correspondence between the Newman–Penrose and \(1+1+2\) 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+1+2\) decomposition. The adapted null directions are chosen as
\[
\ell^a=\frac{1}{\sqrt2}(u^a+e^a),\qquad n^a=\frac{1}{\sqrt2}(u^a-e^a),
\]
with
\[
\ell_a n^a=-1.
\]
The remaining complex basis vectors \(m^a,\bar m^a\) span the 2-sheet and satisfy
\[
m_a m^a=\bar m_a\bar m^a=0,\qquad m_a\bar m^a=1.
\]
Then
\[
q_{ab}=2m_{(a}\bar m_{b)},\qquad g_{ab}=-2\ell_{(a}n_{b)}+2m_{(a}\bar m_{b)},
\]
and
\[
\tilde\eta_{ab}=2i\,\bar m_{[a}m_{b]}.
\]
This frame choice gives a direct dictionary between two widely used approaches to general relativity [2605.30255].

The null expansions become
\[
\theta_{(\ell)}=q^{ab}\nabla_a\ell_b =\frac{1}{\sqrt2}\left(\frac23\theta-\Sigma+\phi\right) =-2\Re(\tilde\rho),
\]
\[
\theta_{(n)}=q^{ab}\nabla_a n_b =\frac{1}{\sqrt2}\left(\frac23\theta-\Sigma-\phi\right) =-2\Re(\tilde\mu)
\]
as written in the paper, although the paper later summarizes the sign relation for \(\tilde\mu\) differently; the robust content is that \(\tilde\rho\) and \(\tilde\mu\) encode the outgoing and ingoing null expansions, while their imaginary parts encode twist-like information. The spin coefficients acquire direct kinematic meaning. For example,
\[
\tilde\sigma=-\frac{1}{\sqrt2}(\Sigma_{ab}+\zeta_{ab})m^a m^b,\qquad
\tilde\lambda=-\frac{1}{\sqrt2}(\Sigma_{ab}-\zeta_{ab})\bar m^a\bar m^b,
\]
so the complex null shears are built directly from the shear of the timelike congruence and the shear of the preferred spatial direction [2605.30255].

The Ricci and Weyl Newman–Penrose scalars become equally transparent. The Ricci null fluxes are
\[
\Phi_{00}=\frac14(\varrho+p+\Pi-2Q),\qquad
\Phi_{22}=\frac14(\varrho+p+\Pi+2Q),
\]
with
\[
\Phi_{22}-\Phi_{00}=Q.
\]
The Weyl sector is
\[
\Psi_0=(\mathcal E_{ab}+i\mathcal H_{ab})m^a m^b,\qquad
\Psi_1=-\frac{1}{\sqrt2}(\mathcal E_a+i\mathcal H_a)m^a,
\]
\[
\Psi_2=\frac12(\mathcal E-i\mathcal H),\qquad
\Psi_3=\frac{1}{\sqrt2}(\mathcal E_a+i\mathcal H_a)\bar m^a,
\]
\[
\Psi_4=(\mathcal E_{ab}+i\mathcal H_{ab})\bar m^a\bar m^b.
\]
This shows explicitly that \(\Psi_2\) is the scalar Coulombic free field, \(\Psi_1\) and \(\Psi_3\) are the vectorial gravito-electric and gravito-magnetic pieces, and \(\Psi_0\) and \(\Psi_4\) are the transverse tensor radiative pieces [2605.30255].

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
\[
\theta_{(\ell)}=0,
\]
and a future outer trapping horizon additionally satisfies
\[
\theta_{(n)}<0,\qquad \mathcal L_n\theta_{(\ell)}<0.
\]
The paper derives the Newman–Penrose inequality
\[
\Phi_{22}+2\Psi_2+\frac23\Lambda\le0,
\]
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 \(\Psi_2=\mathcal E/2\), this states the horizon condition directly in terms of outgoing null matter flux, Coulomb curvature, and \(\Lambda\) [2605.30255].

## 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 \(\phi\) controls trapping. The summary given is
\[
\phi<0 \quad\Rightarrow\quad \text{trapped surfaces},
\]
\[
\phi>0 \quad\Rightarrow\quad \text{anti-trapped surfaces},
\]
\[
\phi=0 \quad\Rightarrow\quad \text{“non-expanding” or perfect horizon}.
\]
A Killing horizon is described through the vanishing norm of a Killing vector; for a timelike Killing vector \(\xi^a\), one has
\[
\log \Psi = -\int_{\mathcal Q}\mathcal A\,dp,
\]
so a Killing horizon occurs when
\[
\int_{\mathcal Q}\mathcal A\,dp\to\infty.
\]
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 [1306.2473].

For matching problems, the \(1+1+2\) variables themselves become the natural covariant junction data. In a unified treatment of LRS spacetimes, the hypersurface normal is written as
\[
n_a=T u_a+S e_a,
\]
with
\[
\begin{cases}
T=1,\ S=0 & \text{spacelike hypersurfaces},\\[4pt]
T=0,\ S=1 & \text{timelike hypersurfaces},\\[4pt]
T=\dfrac{1}{\sqrt2},\ S=\pm\dfrac{1}{\sqrt2} & \text{null hypersurfaces}.
\end{cases}
\]
The induced metric is expressed in the same covariant language, and for null boundaries one uses
\[
l_a=\frac{1}{\sqrt2}(u_a+e_a),\qquad k_a=\frac{1}{\sqrt2}(u_a-e_a),
\]
with
\[
g_{ab}=N_{ab}-l_a k_b-k_a l_b,\qquad q_{ab}=N_{ab}.
\]
This parametric setup allows spacelike, timelike, and null hypersurfaces to be treated within one \(1+1+2\) framework [2303.12457].

The distribution formalism then represents any tensor quantity \(X\) as a bulk-plus-shell decomposition,
\[
X^{a\cdots}{}_{b\cdots} = \left(X^{a\cdots}{}_{b\cdots}\right)^+\Theta(\ell) + \left(X^{a\cdots}{}_{b\cdots}\right)^-\Theta(-\ell) + \bar X^{a\cdots}{}_{b\cdots}\,\delta(\ell),
\]
with jump
\[
[X^{a\cdots}{}_{b\cdots}]_{\pm}=\left(X^{a\cdots}{}_{b\cdots}\right)^+ - \left(X^{a\cdots}{}_{b\cdots}\right)^-.
\]
Type I conditions are continuity of the normal and induced metric,
\[
[n_a]_\pm=0,\qquad [q_{ab}]_\pm=0.
\]
Type II conditions arise from demanding distributional regularity of the \(1+1+2\) equations. The shell stress-energy takes the covariant scalar form
\[
S_{ab} = \bar\mu\,u_a u_b + (\bar p+\bar\Pi)e_a e_b + 2\bar Q\,u_{(a}e_{b)} + \left(\bar p-\frac12\bar\Pi\right)N_{ab},
\]
so the shell is encoded by the quartet
\[
(\bar\mu,\bar p,\bar\Pi,\bar Q).
\]
A central result is the continuity of the Gaussian curvature of the sheet,
\[
[K]_\pm=0.
\]
For smooth matching, continuity of extrinsic curvature reduces to continuity of a small set of LRS scalars:
\[
[\Theta]_\pm=[\Sigma]_\pm=0 \quad \text{for timelike hypersurfaces},
\]
\[
[\phi]_\pm=[\mathcal A]_\pm=0 \quad \text{for spacelike hypersurfaces},
\]
and, in LRS-II for null hypersurfaces,
\[
[\phi]_\pm=0,\qquad [\Sigma]_\pm=[\Theta]_\pm,\qquad [\Theta]_\pm=\pm[\mathcal A]_\pm.
\]
These conditions reproduce the usual Darmois–Israel smooth matching relations, but in terms of physically transparent covariant scalars [2303.12457].

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
\[
[\phi]_\pm=[\mathcal A]_\pm=0,
\]
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
\[
\tilde u^a = u^a\cosh\beta + e^a\sinh\beta,\qquad
\tilde e^a = e^a\cosh\beta + u^a\sinh\beta.
\]
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 [2303.12457].

Taken together, these developments define the present scope of the \(1+1+2\) 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 [1306.2473, 2001.02782, 2605.30255, 2303.12457].

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