Gravitational Singularity Hypersurface

• Gravitational singularity hypersurfaces are defined as loci where incomplete null geodesics end and curvature invariants, like the Kretschmann scalar, diverge.
• They are analytically constructed as the zero set of smooth functions in embedded spacetimes, using the Abstract Boundary framework for coordinate independence.
• Applications include modeling thin shells and impulsive gravitational waves, providing insights into black hole interiors and cosmological junctions.

A gravitational singularity hypersurface is a rigorously defined locus in spacetime marking the boundary where incomplete, inextendible null geodesics terminate and where at least one curvature scalar diverges. Unlike earlier singularity notions reliant solely on causal incompleteness, the singularity hypersurface formalism provides a coordinate-independent, analytic, and diffeomorphism-invariant description, essential both for geometric analysis and physical interpretation. Singular hypersurfaces also appear as thin shells or impulsive gravitational waves, where curvature invariants acquire distributional support, including delta-function and delta-squared singularities, yielding genuine geometric and physical singular layers. Gravitational singularity hypersurfaces are foundational to understanding the structure of spacetime, high-curvature regimes, and the interaction between geometry and matter.

1. Coordinate-Independent Definition via Abstract Boundary

Let $(M, g)$ be a smooth $n$-dimensional Lorentzian manifold. The modern, coordinate-independent definition of a singularity is built on the Abstract Boundary construction $\mathcal{B}(M)$ (Scott & Szekeres 1994). Given the set $\Phi$ of all open embeddings $\varphi: M \hookrightarrow N$ into boundaryless manifolds $N$ of the same dimension, points of $\mathcal{B}(M)$ are equivalence classes $[A]$ of subsets $A \subset \partial\varphi(M)$ under the relation of "same end-pointing sequences."

A gravitational singularity hypersurface $\Sigma_{\mathrm{sing}}$ is defined as the union of those $n$0 for which there exists a future-directed, affinely parametrised, inextendible null geodesic $n$1, $n$2, so that the embedding $n$3 as $n$4, and at least one curvature scalar invariant $n$5 (such as the Kretschmann scalar $n$6) diverges: $n$7 This procedure assigns to each incomplete null geodesic a unique abstract boundary point and classifies essential singularities as those with curvature blow-up, providing a topological hypersurface $n$8 that is entirely independent of the embedding $n$9 (Scott et al., 2021).

2. Analytic Construction and Representative Equations

In a chosen embedding $\mathcal{B}(M)$0, with coordinates $\mathcal{B}(M)$1, the image $\mathcal{B}(M)$2 is an open region $\mathcal{B}(M)$3, and $\mathcal{B}(M)$4 hosts "ideal points." The singularity hypersurface is locally modeled as the zero set of a smooth function $\mathcal{B}(M)$5: $\mathcal{B}(M)$6 with $\mathcal{B}(M)$7 on $\mathcal{B}(M)$8. For example, in Schwarzschild spacetime with Kruskal–Szekeres coordinates $\mathcal{B}(M)$9,

$\Phi$0

so $\Phi$1 corresponds to $\Phi$2. The abstract boundary class $\Phi$3 is invariant under changes of embedding, and for each incomplete null geodesic $\Phi$4, the endpoint mapping

$\Phi$5

identifies the intersection with $\Phi$6 (Scott et al., 2021).

3. Diagnosis and Classification of Curvature Divergence

The essential singularity criterion relies on the divergent behavior of curvature invariants, such as $\Phi$7 or $\Phi$8. For each incomplete, inextendible null geodesic $\Phi$9 with endpoint on $\varphi: M \hookrightarrow N$0, pull back the invariants: $\varphi: M \hookrightarrow N$1 and compute: $\varphi: M \hookrightarrow N$2 If this limit is $\varphi: M \hookrightarrow N$3 for at least one invariant, the boundary point is essential singularity. Diffeomorphism invariance of scalar invariants ensures that the divergence is coordinate-independent, so the classification remains physical and robust under smooth perturbations (Scott et al., 2021).

4. Singular Hypersurfaces in Thin Shells and Impulsive Waves

Gravitational singularity hypersurfaces also arise as geometric loci where curvature invariants acquire distributional support (delta or delta-squared). Consider two prominent manifestations:

• Thin shells (co-dimension 1 singular hypersurfaces): When two spacetime regions are joined across a hypersurface $\varphi: M \hookrightarrow N$4 (e.g., FLRW and Schwarzschild regions), Israel's junction conditions enforce continuity of the induced metric and relate the jump in the extrinsic curvature $\varphi: M \hookrightarrow N$5 to the surface stress tensor $\varphi: M \hookrightarrow N$6: $\varphi: M \hookrightarrow N$7 Nonzero $\varphi: M \hookrightarrow N$8 induces a $\varphi: M \hookrightarrow N$9 distribution in the Riemann tensor, so

$N$0

and higher curvature invariants may acquire formally divergent $N$1 contributions unless the shell is empty. Thus, nonvanishing surface stress or pressure signals a genuine singular layer (Sahu, 2024).

• Impulsive gravitational waves: A delta-singularity in the curvature introduced on a null hypersurface ("impulsive jump" in shear) propagates along a characteristic null sheet. The curvature component $N$2 develops a measure-valued (delta) spike, while away from this hypersurface the metric and all curvature components remain smooth. This establishes a well-posed characteristic initial value problem for such distributional spacetimes (Luk et al., 2012).

5. Examples: Schwarzschild Singularity and Spherical Thin Shells

Schwarzschild $N$3 Singularity

In Kruskal–Szekeres coordinates, the singular set $N$4 corresponds to $N$5, a smooth 3-dimensional disc in the boundary of the embedded manifold. Radial null geodesics reach $N$6 in finite affine parameter. The Kretschmann scalar

$N$7

diverges as $N$8. All such points form the essential singular hypersurface $N$9; this construction is fully chart-independent and enables rigorous study of divergent asymptotic behavior, approach-angle dependence, and even distributional curvature properties (Scott et al., 2021).

Spherical Thin Shell Cosmological Junctions

Consider spacetimes constructed by joining a FLRW region (with density $\mathcal{B}(M)$0) to a Schwarzschild (or Schwarzschild–(A)dS) region across a timelike hypersurface $\mathcal{B}(M)$1. The extrinsic curvature's jump yields

$\mathcal{B}(M)$2

and the shell energy density can be explicitly computed: $\mathcal{B}(M)$3 Nonzero $\mathcal{B}(M)$4 or $\mathcal{B}(M)$5 signifies a singular layer with distributional curvature; multiple solution families exist, differentiated by cosmological constant and shell content (Sahu, 2024).

6. Impulsive Gravitational Wave Hypersurfaces

Rigorous mathematical construction of impulsive gravitational waves establishes that a delta-singularity in the Riemann tensor initiated at a null surface propagates strictly along a characteristic null hypersurface. The solution to the Einstein vacuum equations maintains $\mathcal{B}(M)$6 regularity away from this hypersurface, while the curvature $\mathcal{B}(M)$7 becomes a measure concentrated on the null surface. Energy and elliptic estimates show that the singular support does not spread, demonstrating dynamical stability of the impulsive singularity as a hypersurface in spacetime (Luk et al., 2012).

7. Stability, Invariance, and Physical Significance

The classification of essential singular hypersurfaces is stable under small perturbations of the metric, according to Ashley (2002b), and the Scott–Szekeres abstract boundary machinery guarantees topological and diffeomorphism invariance of the hypersurface's class. Penrose’s singularity theorems ensure the existence of incomplete null geodesics under physical conditions (energy, trapped surface, global hyperbolicity), anchoring the generality of these constructions in physically relevant spacetimes (Scott et al., 2021). The analytic and geometric structure enables direct study of singular layers' behavior, including their role in cosmological evolution, black hole interiors, and distributional gravitational phenomena.