Metric Convergence of Sequences of Static Spacetimes with the Null Distance

Basic Information

• Paper ID: 2510.02237
• Title: Metric Convergence of Sequences of Static Spacetimes with the Null Distance
• Author: Brian Allen
• Classification: math.DG (Differential Geometry), gr-qc (General Relativity and Quantum Cosmology)
• Publication Date: October 16, 2025 (arXiv v2)
• Paper Link: https://arxiv.org/abs/2510.02237

Abstract

This paper investigates how to define convergence concepts for metric spaces in sequences of spacetimes. Since Lorentzian manifolds cannot directly be equipped with metric space structures, uniform convergence, Gromov-Hausdorff (GH) convergence, and Sormani-Wenger intrinsic flat (SWIF) convergence cannot be automatically generalized. The paper adopts an approach of defining metric space structures compatible with the Lorentzian structure, making standard convergence concepts applicable. The author studies properties of sequences of static spacetimes equipped with null distance under uniform convergence, GH convergence, and SWIF convergence, as well as Hölder bounds. Using results from the Volume Above Distance Below (VADB) theorem developed jointly with R. Perales and C. Sormani, the paper proves an analogue of the VADB theorem for sequences of static spacetimes equipped with null distance, and provides a conjecture for the VADB theorem in the case of globally hyperbolic spacetime sequences.

Research Background and Motivation

Core Problem

The fundamental problem addressed in this paper is: How can one define reasonable metric convergence concepts for sequences of spacetimes? This is a foundational geometric analysis problem with significant theoretical importance.

Significance of the Problem

1. Theoretical Significance: The study of spacetime convergence is an important topic in modern differential geometry and general relativity, fundamental to understanding the geometric structure of spacetime
2. Applied Value: In numerical relativity and gravitational physics, one needs to study the limiting behavior of spacetime sequences
3. Mathematical Foundation: Provides a mature convergence theory for Lorentzian geometry analogous to that in Riemannian geometry

Limitations of Existing Methods

1. Difficulties in Direct Generalization: Lorentzian manifolds are not metric spaces, so classical metric convergence concepts cannot be directly applied
2. Lack of Unified Framework: Existing methods either redefine convergence concepts or are limited to special cases
3. Insufficient Tools: Lack of effective tools for estimating SWIF distances between spacetimes

Research Motivation

The author employs the Sormani-Vega null distance approach to equip Lorentzian spacetimes with metric space structures, thereby enabling the application of classical convergence theory. This provides a unified framework for studying convergence of spacetime sequences.

Core Contributions

1. Established convergence theory for static spacetimes: Studies uniform convergence, GH convergence, and SWIF convergence of static spacetime sequences under null distance
2. Proved Hölder bound theorem: Provides Hölder estimates for distance functions of static spacetime sequences
3. Developed SWIF distance estimation tools: First provides tools for estimating SWIF distances between globally hyperbolic spacetimes equipped with null distance
4. Proved analogues of VADB theorem: Generalizes the VADB theorem from the Riemannian case to static spacetimes
5. Proposed conjecture for globally hyperbolic case: Provides theoretical framework for convergence of more general spacetime sequences

Detailed Methodology

Core Concept Definitions

Null Distance

For a spacetime $(L, g)$ and time function $\tau: L \to \mathbb{R}$, the null length of a piecewise causal curve $\beta: [a,b] \to L$ is defined as: $L̂_{\tau,g}(\beta) = \sum_{i=1}^k |\tau(\beta(s_i)) - \tau(\beta(s_{i-1}))|$

The null distance is defined as: $d̂_{\tau,g}(p,q) = \inf\{L̂_{\tau,g}(\beta) : \beta \text{ is a piecewise causal curve from } p \text{ to } q\}$

Static Spacetimes

Consider static spacetimes of the form $g = -h^2 dt^2 + \sigma$, where $h: M \to (0,\infty)$, and $\sigma$ is a Riemannian metric on $M$.

Main Theorems

Theorem 1.1 (Hölder Bounds)

Let $M$ be a compact connected oriented manifold, $(M,\sigma_1)$ be a continuous Riemannian manifold, and $(M,\sigma_0)$ be a smooth Riemannian manifold. If $p > n$ and $\int_M \left|\frac{\sigma_1}{h_1}\right|^{p/2}_{\sigma_0} dV_{\sigma_0} \leq C$ then for all $x,y \in L$: $d̂_{t,g_1}(x,y) \leq C' d̂_{t,g_0}(x,y)^{\frac{p-n}{p}}$

Theorem 1.2 (Uniform and GH Convergence)

Under appropriate conditions, including:

• $L^{p/2}$ bound condition ($p > n$)
• Uniform control from below: $\frac{\sigma_j(v,v)}{h_j^2} \geq (1-\frac{1}{j})\frac{\sigma_\infty(v,v)}{h_\infty^2}$
• Volume convergence and area bounds

one obtains uniform convergence and GH convergence of static spacetime sequences.

Theorem 1.5 (SWIF Convergence)

Under weaker conditions (not requiring $L^{p/2}$ bounds), SWIF convergence still holds, indicating that SWIF convergence is a stronger result than GH convergence.

Technical Innovations

1. Isometric Embedding Construction: Constructs special metric spaces $Z$ into which two spacetimes are isometrically embedded
2. Volume Control Techniques: Employs Hausdorff measure estimates to control the mass of integral currents
3. Pointwise Convergence Analysis: Combines pointwise convergence results from the Riemannian case with special properties of null distance

Experimental Setup

Theoretical Verification through Examples

The paper verifies the necessity of theorem conditions through a series of carefully constructed examples:

Examples 3.1-3.2: Necessity of Control Conditions

Demonstrates that without uniform control from below, sequences may converge to metric spaces that are not spacetimes.

Example 3.3: Distinction between Volume Bounds and Volume Convergence

Shows that volume bounds alone without volume convergence can produce "bubble" phenomena.

Example 3.4: Distinction between GH and SWIF Convergence

Constructs a sequence where without $L^{p/2}$ bounds, the GH limit is not a spacetime but the SWIF limit remains a spacetime.

Experimental Results

Main Findings

1. Optimality of Conditions: Counterexamples prove the necessity of each condition in the main theorems
2. Convergence Hierarchy: Establishes a hierarchy: uniform convergence → GH convergence → SWIF convergence
3. Critical Exponent: $p > n$ is the critical condition for obtaining Hölder bounds

Convergence Behavior Analysis

The paper provides detailed analysis of limiting behavior of sequences under different blow-up rates:

• Slow blow-up: convergence to the original spacetime
• Critical blow-up: produces additional metric structure
• Fast blow-up: produces bubble or separation phenomena

Related Work

Historical Development

1. Null Distance Theory: Sormani-Vega (2016) first introduced the null distance concept
2. Spacetime Convergence: Noldus (2004), Minguzzi-Suhr, Müller and others developed alternative approaches
3. VADB Theory: Theoretical foundation established by Allen-Perales-Sormani in the Riemannian case

Position of This Work

This paper is the first systematic study of SWIF convergence of spacetime sequences equipped with null distance, filling an important gap in the field.

Conclusions and Discussion

Main Conclusions

1. Established a complete theoretical framework for convergence of static spacetime sequences
2. Proved that various types of convergence can be obtained under appropriate conditions
3. Provided effective tools for estimating SWIF distances

Limitations

1. Main results are restricted to static spacetimes
2. For general globally hyperbolic spacetimes, only Conjecture 1.8 is available
3. The choice of time function requires further investigation

Future Directions

1. Proof of Conjecture 1.8: Generalize results to general globally hyperbolic spacetimes
2. Standard Choice of Time Function: Study standard choices such as cosmological time functions
3. Numerical Applications: Apply theoretical results to numerical relativity

In-Depth Evaluation

Strengths

1. Theoretical Depth: Successfully generalizes mature theory from Riemannian geometry to the Lorentzian case
2. Technical Innovation: Develops new methods for estimating SWIF distances
3. Completeness: Verifies theoretical completeness through carefully constructed examples
4. Clear Presentation: Rigorous mathematical exposition with clear logical structure

Weaknesses

1. Limited Scope: Main results apply only to static spacetimes
2. Technical Complexity: Proof techniques are quite involved, potentially limiting applications
3. Physical Interpretation: Lacks physical interpretation of convergence phenomena

Impact

1. Theoretical Contribution: Provides important analytical tools for Lorentzian geometry
2. Application Prospects: Potential applications in numerical relativity and gravitational theory
3. Methodological Value: Provides a new paradigm for studying spacetime sequences

Applicable Scenarios

1. Study of convergence of static black hole spacetime sequences
2. Mesh refinement analysis in numerical relativity
3. Mathematical description of gravitational collapse processes

References

The paper cites important literature in the field, including:

• Sormani-Vega (2016): Original definition of null distance
• Allen-Burtscher (2021): Early work on spacetime convergence
• Allen-Perales-Sormani (2024): VADB theorem in the Riemannian case
• Ambrosio-Kirchheim (2000): Theory of integral currents on metric spaces

Overall Assessment: This is a high-quality theoretical mathematics paper that makes important contributions to Lorentzian geometry and spacetime convergence theory. Although the main results are restricted to static spacetimes, they provide a solid foundation for research on more general cases. The paper demonstrates high technical level, rigorous proofs, and represents significant progress in the field.