⚛️ general relativity

A CMC existence result for expanding cosmological spacetimes

This paper establishes the existence of constant mean curvature (CMC) Cauchy surfaces in future timelike geodesically complete, expanding cosmological spacetimes satisfying the strong energy condition by constructing barriers and analyzing the asymptotic limit of mean curvature flow, thereby resolving specific conjectures by the authors and by Dilts and Holst.

Original authors: Gregory J. Galloway, Eric Ling

Published 2026-02-17

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Gregory J. Galloway, Eric Ling

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

Imagine the universe not as a static stage, but as a giant, stretching balloon. In the world of physics, this "balloon" is called spacetime. Scientists want to understand how this balloon evolves over time. To do that, they need to take "snapshots" of the universe at specific moments.

In this paper, authors Gregory Galloway and Eric Ling are trying to prove that we can always find a very special kind of snapshot: one where the universe is expanding at a perfectly uniform rate everywhere. They call this a CMC (Constant Mean Curvature) surface.

Here is the story of their discovery, broken down into simple concepts and analogies.

1. The Problem: Taking a "Perfect" Photo

Imagine you are trying to take a photo of a crowd of people running.

The Hard Way: If you take a photo at a random moment, some people might be sprinting, some jogging, and some standing still. The "average speed" of the crowd varies wildly depending on where you look. This makes it very hard to analyze the physics of the race.
The CMC Way: Now, imagine you wait until everyone is running at exactly the same speed. Suddenly, the math becomes much easier. You can predict where everyone will be next.

In cosmology, finding a "CMC surface" is like finding that perfect moment where the universe is expanding at a uniform rate everywhere. For decades, physicists have wondered: Does such a perfect moment always exist in an expanding universe?

2. The Rules of the Game

The authors set up a specific scenario to test this:

The Universe is "Closed": Imagine the universe is like the surface of a donut (a torus) or a sphere. It's finite but has no edges. You can travel forever without falling off.
It's Expanding: The universe is getting bigger, not shrinking.
The "Strong Energy" Rule: This is a law of physics that basically says gravity is attractive. Matter pulls things together; it doesn't push them apart on its own.
No Crashes: The universe has been expanding forever into the future without running into a "singularity" (a point where physics breaks down, like the Big Crunch).

3. The Big Question (The Conjecture)

For a long time, there was a guess (a conjecture) that if you have a universe with these rules, a "perfect snapshot" (CMC surface) must exist.

However, proving this was like trying to find a needle in a haystack made of elastic. Previous attempts required very strict, unrealistic rules about how curved space could be. The authors wanted to prove it using only the basic rules of gravity and expansion.

4. The Solution: The "Flow" and the "Fence"

The authors proved that yes, the perfect snapshot exists, but they needed a clever trick. They used two main tools:

Tool A: The Mean Curvature Flow (The River)

Imagine a river flowing downstream. If you drop a leaf in the river, it follows the current.

In math, they created a "flow" that moves a surface through time.
They started with a surface that was expanding a bit too fast in some places and a bit too slow in others.
They let this surface "flow" forward. As it flowed, the uneven parts smoothed out, just like a crumpled piece of paper smoothing out as you iron it.
They proved that if the universe follows the rules above, this flow never crashes or gets stuck. It keeps flowing until it settles into that perfect, uniform expansion rate.

Tool B: The Barriers (The Fence)

To make sure the flow didn't go off the rails, they built "fences."

They found a "floor" (a surface expanding very fast) and a "ceiling" (a surface expanding very slowly).
They proved that the "river" (the flow) is trapped between these two fences. It can't escape.
Because it's trapped and keeps smoothing out, it must eventually settle into a stable, uniform state.

5. The Result

The paper confirms that in any expanding universe that follows the standard laws of gravity and doesn't crash into a singularity, there is always a moment where the expansion is perfectly uniform.

Why does this matter?

For Mathematicians: It solves a decades-old puzzle. It confirms that the "perfect snapshot" isn't just a lucky accident; it's a fundamental feature of our universe's geometry.
For Physicists: It gives them a reliable coordinate system (a "CMC gauge") to solve the complex equations of Einstein. It's like finally finding the perfect grid to map the universe, making it much easier to predict how black holes, galaxies, and the universe itself will evolve.

6. A Side Note: The "Future Edge"

The paper also touches on the "edge" of the universe in the future.

They showed that in some weird, specific types of universes, the "future edge" isn't a single point (like the tip of a cone) but rather a whole shape (like a ring).
This helps them understand the ultimate fate of the universe and confirms that even in these complex scenarios, the geometry remains orderly.

Summary

Galloway and Ling showed that if you have an expanding universe that follows the rules of gravity and doesn't crash, nature will always find a way to smooth things out. There is always a moment where the universe expands at the exact same speed everywhere, providing a perfect foundation for understanding the cosmos. They did this by building mathematical "fences" and letting the universe "flow" until it found its balance.

1. Problem Statement

The paper addresses a fundamental problem in mathematical relativity: the existence of Constant Mean Curvature (CMC) Cauchy surfaces in cosmological spacetimes.

Context: Solving the Einstein equations often requires initial data satisfying the constraint equations. The "CMC gauge" (where the mean curvature $H$ of the initial hypersurface is constant) significantly simplifies both the constraint equations and the evolution equations.
The Conjecture: The authors investigate Conjecture 2 (from their previous work and Dilts & Holst), which posits that any globally hyperbolic spacetime $(M, g)$ with compact Cauchy surfaces, satisfying the Strong Energy Condition (SEC) ( $Ric(X, X) \geq 0$ for all timelike $X$ ), and being future timelike geodesically complete, must contain a CMC Cauchy surface.
The Gap: Previous results required stronger curvature conditions (e.g., non-positive timelike sectional curvature). The challenge is to prove existence using only the SEC and geodesic completeness, without assuming specific curvature bounds on the initial data.

2. Methodology

The authors employ a geometric analysis approach combining Mean Curvature Flow (MCF) with barrier methods in the support sense.

Mean Curvature Flow with Prescribed Curvature: They utilize the evolution equation:
$\frac{d}{ds}F(x, s) = (H - c)\nu$
where $H$ is the mean curvature, $c$ is a constant, and $\nu$ is the future-directed unit normal. They rely on existence results by Ecker and Huisken [12], adapted to their setting.
Barriers in the Support Sense: Instead of requiring smooth barriers, they use the concept of "support sense" barriers. A surface $S$ has mean curvature $H \leq c$ in the support sense if, for every point $p \in S$ , there exists a smooth hypersurface $W$ passing through $p$ that lies locally to the future of $S$ and has mean curvature $\leq c + \epsilon$ .
Construction of Barriers:
1. Lower Barrier: They assume the existence of a smooth spacelike Cauchy surface $V$ with $H \geq 0$ . By perturbing $V$ slightly into the past, they construct a surface with strictly positive mean curvature ( $H \geq a > 0$ ).
2. Upper Barrier: They construct a surface $S_\tau$ at a Lorentzian distance $\tau$ from an initial surface. Using the Raychaudhuri equation and the SEC, they prove that for sufficiently large $\tau$ , $S_\tau$ has mean curvature $H \leq b$ (where $b < c < a$ ) in the support sense.
Convergence: By sandwiching the flow between these two barriers, they prove the flow exists for all time and converges to a smooth CMC Cauchy surface.

3. Key Contributions and Results

Main Theorem (Theorem 3)

The authors prove that Conjecture 2 holds under an additional, physically reasonable assumption:

Let $(M, g)$ be a spacetime with compact Cauchy surfaces. If $(M, g)$ is future timelike geodesically complete, satisfies the SEC, and contains a smooth spacelike Cauchy surface $V$ with mean curvature $H \geq 0$ , then $(M, g)$ contains a CMC Cauchy surface.

Significance: This settles the conjecture for "expanding" cosmological spacetimes (those with an initial surface that is not contracting). The assumption $H \geq 0$ is natural for cosmological models describing expansion.
Refinement: The proof shows that if the initial surface has $H > 0$ , one can find CMC surfaces with any constant $c$ in a specific range, effectively foliating a region of the spacetime.

Extension to Positive Cosmological Constant (Theorem 7)

The authors extend their results to spacetimes with a positive cosmological constant $\Lambda > 0$ .

They modify the SEC to: $Ric(X, X) \geq -n\lambda$ (where $\lambda \propto \Lambda$ ).
They derive a modified barrier estimate where the upper bound on mean curvature involves $\coth(\sqrt{\lambda}\tau)$ .
Result: If there exists a surface with $H \geq n\sqrt{\lambda}$ , a CMC Cauchy surface exists.

Discussion on the Future Causal Boundary (Section 5)

The paper investigates the relationship between CMC existence and the Bartnik Splitting Conjecture (which states that a complete spacetime satisfying SEC splits isometrically if it contains a timelike line).

Counter-example to a Stronger Conjecture: The authors construct a specific multiply warped product spacetime that satisfies the SEC and is future complete but has a future causal boundary ( $C^+$ ) consisting of more than one element. This disproves the idea that SEC + completeness implies a trivial causal boundary (a single TIP).
Connection to Splitting: They show that if the future causal boundary is spacelike (meaning no TIP is properly contained in another), and the spacetime is also past complete, then a maximal Cauchy surface ( $H=0$ ) exists, which implies the spacetime splits (resolving the Bartnik conjecture in that specific case).

4. Significance and Impact

Resolution of Open Problems: The paper provides a definitive answer to the CMC existence problem for a broad class of expanding cosmological spacetimes, validating the conjectures of the authors and Dilts/Holst under the "expanding" hypothesis.
Methodological Advancement: The successful adaptation of Ecker-Huisken's MCF techniques to "barriers in the support sense" allows for the handling of non-smooth geometric objects, which is crucial in general relativity where smoothness cannot always be guaranteed.
Cosmological Relevance: The results apply to models of the universe that are expanding and future-complete, providing a rigorous mathematical foundation for using CMC foliations in numerical relativity and theoretical cosmology.
Clarification of Causal Structure: By distinguishing between the existence of CMC surfaces and the structure of the causal boundary, the paper clarifies the limits of the Bartnik splitting conjecture and highlights the role of the causal boundary's geometry in global spacetime structure.

In summary, Galloway and Ling establish that expanding, future-complete cosmological spacetimes satisfying the Strong Energy Condition admit a CMC foliation, utilizing a robust barrier method combined with mean curvature flow, while also delineating the precise conditions under which such spacetimes split isometrically.