🔢 mathematics

The Hawking and Penrose singularity theorems for low regularity Finsler spacetimes

This paper establishes the Hawking and Penrose singularity theorems for Lorentz–Finsler structures with low $C^{(1,2)}$ or $C^{(1,3)}$ regularity by employing a two-stage approximation method that handles non-unique geodesics and distributional Ricci curvature, thereby extending previous $C^1$ Lorentzian results to the weighted Finsler setting.

Original authors: Darius Erös, Ettore Minguzzi, Argam Ohanyan, Shin-ichi Ohta

Published 2026-10-09

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Darius Erös, Ettore Minguzzi, Argam Ohanyan, Shin-ichi Ohta

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The universe, in the way we understand it through Einstein's theory of general relativity, is a fabric of space and time that bends and twists under the weight of matter. This bending dictates how everything moves, from falling apples to orbiting planets. However, when gravity becomes incredibly intense, such as at the center of a black hole or at the very beginning of the cosmos, this smooth fabric is predicted to tear apart, creating a point of infinite density known as a singularity. For decades, mathematicians and physicists have used rigorous rules, called singularity theorems, to prove that these tears are inevitable under certain conditions. These rules rely on the idea that if you start with a universe that is expanding or collapsing in a specific way, and if the matter inside it behaves in a certain energetic manner, the paths of light and time must eventually hit a dead end.

Yet, for a long time, these proofs required the universe to be perfectly smooth, like a polished marble surface. In reality, the universe might be rougher, with sudden jolts or jagged edges in its geometry, much like a crumpled piece of paper rather than a sphere. The standard rules of smoothness break down in these rougher scenarios, leaving a gap in our understanding of whether singularities still form when the fabric of space-time is not perfectly polished. This uncertainty matters because the early universe and the interiors of black holes are likely places where such roughness exists, and we need to know if the laws of physics still hold up when the ground beneath them is uneven.

A team of researchers has now closed this gap by proving that the inevitability of singularities holds true even when the geometry of space-time is rough and irregular. They focused on a broad class of geometric structures that generalize the standard model of gravity, allowing for a direction-dependent nature of space-time that can be mathematically "rough" or only partially smooth. In the language of the field, they worked with structures of low regularity, meaning the mathematical descriptions of these spaces are not infinitely smooth but possess just enough continuity to be studied. Their work demonstrates that even in these jagged, imperfect geometries, if the energy conditions are met and the space is trapped or contracting, the paths of particles and light will still run out of road, leading to a singularity.

To achieve this, the researchers had to overcome a significant hurdle: in these rough geometries, the usual equations that describe how objects move do not have a single, unique solution. In a perfectly smooth world, if you know a particle's starting position and speed, you can predict its exact future path. In the rough world the team studied, that certainty vanishes; a particle might have multiple possible futures. To navigate this uncertainty, the team developed a clever two-step strategy. First, they created a series of smooth, perfect approximations of the rough geometry, essentially smoothing out the jagged edges to create a temporary, idealized version of the universe. They then used a second, more careful method to ensure that these smooth versions respected the same causal rules as the original rough one, making sure that the "future" in the smooth model didn't drift away from the "future" in the real, rough model.

By using these approximations, the team could apply the well-known rules of smooth geometry to the rough problem. They showed that as their smooth models got closer and closer to the rough reality, the behavior of the singularities remained consistent. Specifically, they proved that if a universe is globally hyperbolic—a technical way of saying it has a well-behaved structure where cause and effect are preserved—and if it contains a trapped surface or a contracting region, it must be incomplete. This means that the paths of time and light cannot be extended forever; they must terminate in a singularity. This result applies to both the standard, unweighted case and a more complex weighted case, which accounts for additional measures of density and distortion in the space-time.

The findings are robust and extend previous work that was limited to smoother geometries. The researchers established that the famous Hawking and Penrose theorems, which predict the birth of the universe and the death of stars in black holes, do not depend on the universe being perfectly smooth. Even if the geometry is rough, with only limited smoothness in certain directions, the conclusion remains the same: under the right conditions, the universe will inevitably develop a singularity. This provides a firmer foundation for our understanding of the most extreme environments in the cosmos, confirming that the formation of singularities is a fundamental feature of gravity that persists even when the underlying geometry is far from perfect.

The work also clarifies the behavior of energy conditions in these rough settings. In smooth geometry, energy conditions are straightforward checks on the matter present. In the rough geometry studied here, these conditions had to be reinterpreted in a distributional sense, which is a way of measuring averages over small regions rather than at a single point. The team showed that even with this more flexible definition, the energy conditions still force the geometry to collapse. They demonstrated that the approximations they used preserved these energy conditions, ensuring that the physical intuition behind the theorems remained valid even when the mathematical tools had to be adapted for roughness.

Ultimately, this research bridges a critical divide between the idealized mathematical models of the past and the potentially messy reality of the universe. It confirms that the dramatic predictions of general relativity—such as the Big Bang and black holes—are not artifacts of assuming a perfectly smooth universe. Instead, they are deep, structural features that survive even when the smoothness assumptions are relaxed. The team's methods, particularly their use of homogeneity-preserving convolutions and causality-adapted approximations, offer a new toolkit for studying other complex geometric problems where smoothness cannot be taken for granted. By proving that singularities are unavoidable in these rougher landscapes, the paper reinforces the idea that the universe, in its most extreme moments, is destined to reach a point where our current understanding of space and time breaks down.

Technical Summary: The Hawking and Penrose Singularity Theorems for Low Regularity Finsler Spacetimes

Problem Statement
The study of nonsmooth spacetimes has become central to understanding the nature of singularities in general relativity and the extendibility of spacetimes. While the class of $C^1$ Lorentzian metrics is well-understood regarding singularity and rigidity theorems, there is a lack of comparison-geometric treatment for low regularity Lorentz–Finsler structures. Finsler spacetimes, which incorporate directional dependence of the metric tensor, are relevant as geometric descriptions of gravity beyond general relativity and in the context of modified dispersion relations. However, in the low regularity formulation (specifically $C^{1,2}$ and $C^{1,3}$ ), fundamental properties of smooth Finsler geometry fail: geodesics are not uniquely determined by initial conditions, and curvature quantities can only be defined in a distributional sense. The primary challenge is to establish the Hawking and Penrose singularity theorems for this class of spacetimes, accounting for the additional directional dependence of curvature and the potential non-uniqueness of geodesics.

Methodology
The authors employ a two-stage approximation procedure to bridge the gap between low regularity structures and smooth geometry, allowing the application of standard singularity theorem arguments:

Homogeneity-Preserving Convolution: The authors construct a smooth approximation $L_\varepsilon$ via a convolution in local charts that preserves the positive 2-homogeneity of the Finsler structure. This step ensures analytic convergence ( $L_\varepsilon \to L$ in $C^{k,l}_{loc}$ ) but initially loses control over the causal relations between the approximation and the original structure.
Causality-Adapted Approximation: To restore causal control, the authors construct inner ( $\underline{L}_\varepsilon$ ) and outer ( $\overline{L}_\varepsilon$ ) approximations in the spirit of Chruściel–Grant. These satisfy the nesting condition $\underline{L}_\varepsilon \prec L \prec \overline{L}_\varepsilon$ , ensuring that the future light cones of the approximations are strictly contained within or contain those of the original structure. This step is crucial for proving singularity theorems, which rely on causal properties.

The paper defines distributional energy conditions on the tangent bundle $TM$ . Specifically, the strong energy condition is formulated as $\text{Ric} \geq 0$ in the distributional sense on the set of future timelike vectors. The authors prove that these distributional conditions on the low regularity structure $L$ imply surrogate energy conditions for the smooth approximations $\underline{L}_\varepsilon$ (e.g., $\text{Ric}[\underline{L}_\varepsilon] \geq -\delta$ pointwise for small $\varepsilon$ ). This convergence relies on careful estimates of the Ricci curvature and weighted Ricci curvature, utilizing commutator estimates (Friedrichs-type) to handle the derivatives of the convolution.

Key Contributions and Results
The paper establishes the Hawking and Penrose singularity theorems for Lorentz–Finsler structures of mixed regularity $C^{k,l}$ :

Unweighted Case ( $C^{1,3}$ ): The authors prove Hawking's singularity theorems (both versions involving a $\beta$ -contracting Cauchy hypersurface and a compact contracting hypersurface) and Penrose's theorem (involving a trapped surface) for $C^{1,3}$ Finsler spacetimes satisfying distributional energy conditions. These results recover the $C^1$ Lorentzian singularity theorems established by Graf.
Weighted Case ( $C^{1,2}$ ): A significant contribution is the extension to the weighted case with $C^{1,2}$ regularity. By introducing a $C^1$ reference measure $m$ and utilizing the weighted Ricci curvature $\text{Ric}^N_m$ , the authors prove weighted versions of the Hawking and Penrose theorems. This is notable because the unweighted theorems require $C^{1,3}$ regularity, whereas the weighted theorems succeed with the lower $C^{1,2}$ regularity due to favorable cancellations in the weighted curvature terms.
Geodesic Incompleteness: The theorems conclude that under the specified energy conditions and initial geometric constraints (expansion bounds), the spacetime is geodesically incomplete. In the weighted case, this is formulated as $\kappa$ -incompleteness, which reduces to standard geodesic incompleteness when $N \in [n, \infty)$ and $\kappa=1$ .
Global Hyperbolicity and Maximizers: The paper establishes the existence of smooth, globally hyperbolic approximations and proves that maximizing causal geodesics in the low regularity setting can be obtained as $C^2$ -limits of maximizing geodesics in the smooth approximations. This compactness result is essential for transferring the singularity arguments from the smooth approximations back to the low regularity limit.

Significance and Claims
The authors claim that their results initiate the study of low regularity Lorentz–Finsler structures from a comparison-geometric perspective. Key aspects of their significance include:

Extension of Known Results: The unweighted theorems extend the $C^1$ singularity theorems of Graf to the Finsler setting. The weighted theorems provide genuine extensions even for Lorentzian manifolds, as they apply to $C^1$ metrics equipped with weights, a case not fully covered by previous synthetic approaches.
Handling Non-Uniqueness: Unlike synthetic singularity theorems based on optimal transport which often require non-branching geodesics, the approach here does not exclude the branching of geodesics. This is critical because, in the low regularity Finsler setting, it is unclear if curvature bounds imply non-branching.
Generality: The regularization techniques and convergence results for Ricci curvature are largely signature-independent, suggesting applicability to Riemann–Finsler and general semi-Riemann–Finsler structures of low regularity.
Physical Relevance: The results demonstrate that low regularity Lorentz–Finsler structures, despite their mathematical complexity and lack of smoothness, retain the capacity to make physically meaningful predictions regarding the formation of singularities.

The paper concludes that relaxing smoothness assumptions in the definition of semi-Riemann–Finsler structures allows for greater flexibility in constructing examples and that the established singularity theorems hold robustly under these reduced regularity conditions.

More like this