Reshetnyak Majorisation and discrete upper curvature bounds for Lorentzian length spaces

This paper establishes a Lorentzian analogue of Reshetnyak's Majorisation Theorem for spaces with upper curvature bounds, demonstrating that any two timelike curves with the same endpoints can be mapped from a convex region in model Minkowski space via a 1-anti-Lipschitz map, thereby providing a discrete-friendly four-point characterization of such curvature bounds.

The Gist

Imagine you are trying to understand the shape of a very strange, warped universe. In our everyday world, we use rulers and protractors to measure distances and angles. But in the universe described by Einstein's theory of General Relativity (which deals with gravity and time), things get weird. Distances aren't just about space; they are about time and causality (what can affect what).

This paper, written by Tobias Beran and Felix Rott, introduces a new way to measure the "curvature" (how bent or warped) of these time-space universes, specifically looking for places where the universe is "flatter" or "less curved" than a specific model.

Here is the breakdown of their discovery using simple analogies:

1. The Problem: Measuring a Bent Universe

In normal geometry (like drawing on a flat piece of paper), if you draw a triangle, the angles add up to 180 degrees. If you draw a triangle on a ball (like Earth), the angles add up to more than 180 degrees. If you draw one on a saddle shape, they add up to less.

In the world of time and space (Lorentzian geometry), the rules are different. Instead of just measuring space, we measure time separation (how much time passes between two events). The authors want to know: "Is this patch of spacetime curved more or less than a standard, perfectly smooth model?"

2. The Big Idea: The "Majorisation" Trick

The paper presents a new version of a famous mathematical trick called the Reshetnyak Majorisation Theorem.

The Analogy: The Stretchy Rubber Sheet vs. The Rigid Mold
Imagine you have two rubber bands (let's call them Curve A and Curve B) that start at the same point and end at the same point. In our warped universe, these rubber bands might twist and turn wildly because the space itself is bent.

The authors prove that you can always take these two twisted rubber bands and "flatten" them out onto a perfectly smooth, idealized model sheet (called $L^2(K)$).

• On this model sheet, the two rubber bands form a neat, convex shape (like a perfect lens or an eye).
• Crucially, you can draw a map from this neat, flat shape back into your warped universe.
• This map is special: it acts like a "stretcher." It ensures that the distance (time) between any two points on the neat, flat shape is at least as big as the distance between the corresponding points in your messy, warped universe.

Why is this cool?
It's like saying: "No matter how twisted your universe gets, you can always find a 'simpler, flatter' version of it that is 'bigger' or 'more spacious' than the original." If you can fit your messy universe inside this simpler, flatter mold without squishing the time-distances, then your universe isn't too curved.

3. The "Four-Point" Test: A Discrete Ruler

The paper's second major contribution is a way to check this curvature without needing smooth, continuous lines. This is vital for discrete settings (like computer simulations or theories where space is made of tiny, separate pixels).

The Analogy: The Four-Peak Mountain Hike
Imagine you are hiking and you find four specific points in a row: Point 1, Point 2, Point 3, and Point 4.

• In a perfectly flat universe, the time it takes to go from Point 1 to Point 4 directly is related in a specific way to the time it takes to go via the middle points.
• The authors created a "Four-Point Condition." It's a rule that says: "If you take these four points and build a comparison shape in our ideal model, the distance between the middle two points in the real world must be larger than in the model."

If this rule holds true for every group of four points you pick, then the whole universe has an "upper curvature bound." It's a way to check the curvature of a universe made of Lego bricks (discrete points) rather than smooth clay.

4. Why Does This Matter?

The authors mention two main reasons this is useful:

1. Causal Set Theory: This is a theory of quantum gravity that suggests the universe is actually made of discrete "atoms" of spacetime, not a smooth continuum. Because this theory is discrete, you can't use smooth calculus. The "Four-Point Condition" in this paper is perfectly designed to measure curvature in these pixelated universes.
2. Mathematical Tools: The "Majorisation" trick (the rubber band flattening) is a powerful tool that mathematicians can use to prove other things about how these universes behave, such as how long a path can be or how to extend maps from one space to another.

Summary

In simple terms, Beran and Rott have built a mathematical ruler for warped time-spaces.

• They showed that any two paths in a curved universe can be "unbent" and compared to a perfect, flat model.
• They created a simple four-point test that works even if the universe is made of tiny, separate chunks (discrete).
• This helps scientists understand the geometry of the universe at its smallest scales, particularly in theories trying to combine gravity with quantum mechanics.

Technical Summary

Technical Summary: Reshetnyak Majorisation and Discrete Upper Curvature Bounds for Lorentzian Length Spaces

Problem Statement
The paper addresses the development of synthetic Lorentzian geometry, a field motivated by low-regularity phenomena in general relativity and the desire to apply metric geometry techniques to spacetime. While significant progress has been made in defining lower curvature bounds and triangle comparisons in Lorentzian pre-length spaces, a robust formulation for upper curvature bounds suitable for discrete settings (such as causal set theory) has remained elusive. Existing formulations often rely on properties like the existence of time-separation midpoints or intrinsic time separation functions that are difficult to verify in discrete structures. The authors aim to bridge this gap by establishing a Lorentzian analogue of Reshetnyak's Majorisation Theorem—a fundamental result in metric geometry for spaces with upper curvature bounds—and utilizing it to derive a four-point condition that is inherently discrete-friendly.

Methodology
The authors work within the framework of Lorentzian pre-length spaces, specifically focusing on strongly causal spaces with curvature bounded above by a constant $K \in \mathbb{R}$. The methodology proceeds through the following logical steps:

1. Model Space Analysis: The authors utilize the 2-dimensional Lorentzian model space of constant curvature, denoted $L^2(K)$. They establish elementary geometric properties within this model, including the behavior of "hyperbolic sectors" and the monotonicity of the Law of Cosines with respect to angles and side lengths.
2. Construction of Majorising Maps: The core technical machinery involves constructing maps from convex regions in the model space $L^2(K)$ into the target space $X$.
   • They first prove a lemma regarding "straightened Alexandrov situations," demonstrating that a concave timelike quadrilateral in $L^2(K)$ can be mapped from a convex triangle via a "strongly long" (1-anti-Lipschitz and causality-preserving) map.
   • Using an inductive argument on the number of breakpoints in polygonal paths, they extend this to show that any timelike loop formed by piecewise geodesics can be majorised by a convex loop in the model space.
3. Limit Process: To handle general rectifiable curves (not just piecewise geodesics), the authors employ a limiting argument. They construct a sequence of polygonal approximations, define a sequence of maps that are "almost long" (with an error term vanishing as the partition becomes finer), and prove the compactness of the geodesic surface spanned by the curve. This allows them to pass to the limit and establish the existence of a long map for general curves.
4. Derivation of Four-Point Conditions: Leveraging the Majorisation Theorem, the authors derive a new characterization of upper curvature bounds using four-point configurations. They analyze 12 possible configurations of four timelike-related points and identify two specific arrangements (involving triangles realized on the same side or opposite sides of a shared segment) that yield inequalities characterizing upper curvature bounds.

Key Contributions and Results

• The Lorentzian Reshetnyak Majorisation Theorem (Theorem 1.1): The paper proves that given two future-directed timelike rectifiable curves $\alpha$ and $\beta$ with the same endpoints in a Lorentzian pre-length space $X$ with curvature bounded above by $K$, there exists a causal loop $\tilde{C}$ in the model space $L^2(K)$ bounding a convex region, and a "long" map (1-anti-Lipschitz) from this region into $X$. This map preserves the time-separation ($\tau$-length) of the boundary curves.
• Four-Point Characterization (Definition 4.1 & 4.2): The authors introduce a formulation of upper curvature bounds based on four-point configurations.
  • Condition (ii): For points $x_1 \ll x_4$ and $x_2, x_3$ in their chronological interval, comparison triangles formed on opposite sides of the segment $[x_1, x_4]$ must satisfy $\tau(x_2, x_3) \geq \tau(\hat{x}_2, \hat{x}_3)$.
  • Condition (iii): For a chain $x_1 \ll x_2 \ll x_3 \ll x_4$, comparison triangles formed on the same side of $[x_2, x_3]$ must satisfy $\tau(x_1, x_4) \leq \tau(\hat{x}_1, \hat{x}_4)$.
  • The paper proves that these conditions are necessary and sufficient (under the assumption of geodesic existence) to define upper curvature bounds, equivalent to the standard triangle comparison definitions.
• Equivalence of Definitions: The authors establish a chain of implications showing that the standard triangle comparison definition, the Majorisation Theorem, and the new four-point condition are equivalent characterizations of upper curvature bounds in the Lorentzian setting.
• Strict Versions: The paper also defines "strict" versions of these conditions that include causality preservation implications (e.g., $\hat{x}_2 \leq \hat{x}_3 \implies x_2 \leq x_3$), which are crucial for handling null relations in nonsmooth settings.

Significance and Claims
The paper claims that the Majorisation Theorem serves as a foundational brick for the structure of synthetic Lorentzian geometry, analogous to its role in Riemannian CAT($k$) theory. Its primary significance lies in providing a formulation of upper curvature bounds that is "truly suitable for a discrete setting."

Specifically, the authors highlight:

1. Discrete Applicability: Unlike previous formulations that may require intrinsic time separation or midpoints, the four-point condition relies only on the existence of comparison triangles and time-separation values, making it directly applicable to discrete structures like causal sets.
2. Causal Set Theory: The authors suggest that these discrete curvature bounds could be impactful for causal set theory, a discrete approach to quantum gravity. They posit that if a spacetime has curvature bounds, this property should be reflected in the probability distribution of curvature bounds in Poisson-sprinkled causal sets.
3. Further Applications: The paper notes that the Majorisation Theorem facilitates other results, including:
   • A lower bound on the length of causal curves.
   • A potential Lorentzian version of the Kirszbraun Theorem for anti-Lipschitz maps (extending steep functions).
   • An upper bound on the length of curves depending on total curvature (analogous to results in CAT($k$) spaces).

The authors maintain a modest tone regarding the immediate resolution of the "Hauptvermutung" of causal set theory, noting that while partial proofs exist using Lorentzian length spaces, the full implications of these new discrete bounds require further investigation. They emphasize that the work provides the necessary theoretical tools (the Majorisation Theorem and the four-point condition) to pursue these discrete applications.