Positive mass and isoperimetry for continuous metrics with nonnegative scalar curvature

This paper establishes quasi-local isoperimetric versions of the positive mass theorem and proves the existence of isoperimetric sets on 3-manifolds with continuous metrics of nonnegative scalar curvature by utilizing a new local weak inverse mean curvature flow with $C^0$-stable quantitative estimates.

The Gist

The Big Picture: Smoothing Out a Rough World

Imagine you are a cartographer trying to map a planet. In the "perfect" world of classical physics, this planet is smooth, like a polished marble sphere. You can measure its curves, its bumps, and its weight with perfect precision.

However, in the real world (and in many modern mathematical problems), the planet might be rough. It might have jagged edges, fuzzy textures, or areas where the surface is continuous but not perfectly smooth (like a crumpled piece of paper that has been smoothed out just enough to be a surface, but still feels a bit gritty).

This paper asks a fundamental question: If we have a rough, bumpy universe, can we still prove that it has "positive mass" (weight) and that it behaves nicely when we try to wrap things around it?

The authors, a team of mathematicians, say yes. They have developed a new toolkit to handle these "rough" universes and prove that even if the surface is imperfect, the fundamental laws of gravity and geometry still hold up.

---

Key Concepts Explained with Analogies

1. The "Rough" Universe ($C^0$ Metrics)

In math, a "smooth" surface is like a silk sheet. A "continuous" but rough surface ($C^0$) is like a thick wool blanket. It doesn't have sharp tears, but you can't draw a perfect tangent line on every single point because the fibers are fuzzy.

• The Challenge: Most famous physics theorems (like the Positive Mass Theorem) were written assuming the universe is a silk sheet. This paper proves they still work on the wool blanket.

2. The "Weight" of the Universe (Positive Mass Theorem)

The Positive Mass Theorem is like a cosmic scale. It says: "If you have a universe that isn't pulling itself apart (non-negative curvature), the total weight (mass) of that universe must be zero or positive. It can never be negative."

• The Analogy: Imagine a balloon. If you blow it up, it has positive pressure. If you try to make a balloon with "negative pressure" that sucks everything in, it breaks. This theorem says nature forbids "negative weight" universes.
• The Paper's Contribution: They proved this rule holds true even if the balloon's rubber is a bit fuzzy and uneven, as long as you look at it in a specific "weak" way.

3. The "Shape" of Things (Isoperimetry)

Isoperimetry is the study of the most efficient shape. Think of a soap bubble. It always forms a sphere because a sphere holds the most air (volume) with the least amount of soap (surface area).

• The Question: In a rough universe, does a soap bubble still want to be a sphere? Or does the roughness make it squish into weird shapes?
• The Discovery: The authors found that even in a rough universe, there are specific regions (sets) that act like perfect spheres. They satisfy a "reverse" rule: they are so efficient that they prove the universe has positive mass.

4. The Magic Tool: The "Inverse Mean Curvature Flow" (IMCF)

This is the paper's main invention. Imagine you have a balloon inside a room.

• Normal Flow: If you blow air into a balloon, it expands.
• Inverse Flow (IMCF): Imagine the balloon expands outward in a very specific, controlled way. As it grows, it "sweeps" through the universe, measuring the geometry of the space it passes through.
• The Innovation: Previous versions of this tool only worked in perfectly smooth, infinite universes. The authors created a "Local" version.
  • Analogy: Instead of needing a giant, perfect ocean to float a boat, they built a boat that can navigate a small, choppy pond. They proved that even in a small, rough patch of the universe, this "expanding balloon" tool works and gives accurate measurements.

---

What Did They Actually Do? (The Strategy)

The authors used a clever three-step strategy:

1. The Approximation Trick: Since the universe is "rough" (continuous), they imagined it as a sequence of "smooth" universes getting closer and closer to the rough one. It's like taking a low-resolution photo and slowly increasing the pixels until it looks like the real thing.
2. The Local Balloon: On each of these smooth, temporary universes, they used their new "Local Inverse Mean Curvature Flow" tool. They let the balloon expand and watched how it behaved.
3. The Limit: They showed that as the smooth universes became the rough one, the behavior of the balloon didn't break. It remained stable. This allowed them to prove that the "rough" universe still has positive mass and that efficient shapes (isoperimetric sets) exist.

Why Does This Matter?

1. Realism: The real universe might not be mathematically perfect. It might have singularities (black holes) or rough edges. This math allows physicists to apply these laws to more realistic, "messy" models of the universe.
2. Existence of Shapes: They proved that in these rough universes, you can always find the "perfect" shapes (like the most efficient soap bubbles) for any size, whether it's tiny or huge.
3. Rigidity: They also touched on a "rigidity" question. If a region of space has zero mass and behaves perfectly, it must be flat (like a sheet of paper). If it's curved, it must have weight. This holds true even for the rough universes.

The Takeaway

Think of this paper as upgrading the rules of geometry. For decades, the rules only applied to perfect, smooth worlds. These authors have rewritten the rulebook so it applies to the messy, continuous, and slightly rough worlds we actually live in. They proved that even with a bumpy surface, the universe still has a positive weight, and nature still knows how to make the most efficient shapes.

In short: They built a bridge between the perfect world of ideal math and the imperfect world of reality, showing that the fundamental laws of gravity and shape remain unbroken.

Technical Summary

1. Problem Statement and Context

The Core Problem:
The paper addresses the Positive Mass Theorem (PMT) and the Isoperimetric Problem on 3-dimensional manifolds endowed with continuous ($C^0$) Riemannian metrics rather than smooth ones.

• Classical PMT: Asserts that the ADM mass of a smooth, complete, asymptotically flat 3-manifold with nonnegative scalar curvature ($R_g \geq 0$) is nonnegative.
• The Challenge: In the $C^0$ setting, the scalar curvature is not defined in the classical sense. The authors adopt a "weak" notion of nonnegative scalar curvature (approximate sense) and investigate whether the PMT and related isoperimetric inequalities hold.
• Specific Gap: While Huisken conjectured a weak isoperimetric PMT, previous results often required strong asymptotic assumptions or global existence of the Inverse Mean Curvature Flow (IMCF). This paper aims to prove quasi-local versions of the PMT and existence of isoperimetric sets under minimal regularity ($C^0$) and relaxed asymptotic conditions.

Key Definitions:

• Approximate Nonnegative Scalar Curvature: $R_g \geq 0$ in the approximate sense if there exists a sequence of smooth metrics $g_j \to g$ locally uniformly such that $R_{g_j} \geq -\epsilon_j$ on the domain of interest.
• Quasi-local Isoperimetric Mass ($m_{QL}$): A localized version of mass defined for a set $E$ as:
  $$m_{QL}(E) := \frac{2}{P(E)} \left( |E| - \frac{P(E)^{3/2}}{6\sqrt{\pi}} \right)$$
  where $|E|$ is volume and $P(E)$ is perimeter. The classical isoperimetric mass ($m_{iso}$) is the supremum of limits of $m_{QL}(E_j)$ as $P(E_j) \to \infty$.
• $C^0_{loc}$-asymptotic: A manifold is $C^0_{loc}$-asymptotic to $\mathbb{R}^3$ if, at infinity, it converges to Euclidean space in the $C^0$ topology (bi-Lipschitz convergence of metrics).

2. Methodology

The authors employ a sophisticated combination of geometric analysis, variational methods, and approximation techniques:

A. Local Weak Inverse Mean Curvature Flow (IMCF):
The central tool is a new local version of the weak IMCF.

• Instead of requiring a global flow (which demands strong asymptotic conditions), they construct a flow on punctured balls $B_R(o) \setminus \{o\}$.
• Construction: The flow is obtained as the limit ($p \to 1^+$) of functions $w_p = -(p-1)\log G_p$, where $G_p$ is the $p$-harmonic Green function with Dirichlet boundary conditions.
• Stability: They establish $C^0$-stable quantitative estimates for these flows. Specifically, they derive lower bounds for the flow function $w$ that depend only on constants (Sobolev, Poincaré, Ahlfors) which remain bounded under $C^0$-convergence of the metric to the Euclidean metric.

B. Approximation and Compactness:

• They approximate the continuous metric $g$ by smooth metrics $g_j$.
• They utilize BV (Bounded Variation) compactness theorems adapted to converging sequences of $C^0$-manifolds (Lemma 2.11) to pass limits of sets and perimeters.
• They use the Concentration-Compactness principle (Theorem 2.16) to analyze the behavior of minimizing sequences for the isoperimetric problem, showing that mass does not "escape" to infinity unless it forms Euclidean balls.

C. Rigidity and Monotonicity:

• They utilize the Geroch monotonicity formula for the Hawking mass along the weak IMCF.
• By combining the flow with the approximate nonnegative scalar curvature condition, they derive a "reverse" Euclidean isoperimetric inequality for the level sets of the flow.

3. Key Contributions and Results

The paper establishes three main theorems that generalize classical results to the $C^0$ setting:

Theorem 1.4 (Quasi-local PMT for Large Sets):

• Statement: On a 3-manifold $(M, g)$ that is $C^0_{loc}$-asymptotic to $\mathbb{R}^3$ and has $R_g \geq 0$ in the approximate sense outside a compact set, there exist arbitrarily large open sets $E$ with nonnegative quasi-local mass ($m_{QL}(E) \geq 0$).
• Significance: This implies the global isoperimetric mass $m_{iso} \geq 0$. Crucially, this holds even if the manifold is not globally asymptotically flat in the strong sense, provided it is $C^0_{loc}$-asymptotic. It confirms Huisken's conjecture in this specific weak setting.

Theorem 1.5 (Quasi-local PMT for Small Sets):

• Statement: For any point $o$ in a region where $R_g \geq 0$ (approximate sense), there exists a radius $r_0$ such that for any $r \leq r_0$, there exists a set $E \subset B_r(o)$ with $m_{QL}(E) \geq 0$.
• Significance: This provides a local characterization of nonnegative scalar curvature. It suggests that the existence of arbitrarily small sets with nonnegative quasi-local mass might be a new, stable characterization of $R_g \geq 0$ under $C^0$ limits.

Theorem 1.6 (Existence of Isoperimetric Sets):

• Statement: Under the same assumptions as Theorem 1.4, isoperimetric sets exist for both arbitrarily small volumes and arbitrarily large volumes.
• Significance: This weakens the asymptotic assumptions required for the existence of isoperimetric regions in smooth manifolds. It proves that the "loss of compactness" (where minimizing sequences split into a bounded part and a Euclidean bubble) can be ruled out for specific volume regimes due to the curvature constraint.

Theorem 1.7 (Rigidity):

• Statement: If the quasi-local mass is non-positive for all compact subsets of an open set $\Omega$ (i.e., $m_{QL}(E) \leq 0$), then $\Omega$ is flat.
• Significance: This extends the rigidity part of the PMT (mass zero $\implies$ flat) to the quasi-local setting using the weak IMCF.

4. Technical Highlights

• Reverse Isoperimetric Inequality: The core mechanism is proving that level sets of the local weak IMCF satisfy:
  $$|E| \geq \frac{P(E)^{3/2}}{6\sqrt{\pi}}$$
  (with a correction factor depending on the scalar curvature lower bound). This inequality is the direct geometric manifestation of nonnegative mass.
• Quantitative Stability: The authors prove that the constants in the Sobolev and Poincaré inequalities, and the behavior of the $p$-harmonic Green functions, are stable under $C^0$-convergence. This allows the transfer of smooth results to the continuous setting via approximation.
• Handling Disconnected Level Sets: A significant technical hurdle in IMCF is the potential for level sets to become disconnected. The authors prove (Lemma 3.15) that under their specific local construction and topological assumptions, the level sets remain connected, which is essential for the monotonicity of the Hawking mass.

5. Significance and Impact

• Resolution of Huisken's Conjecture: The paper provides strong evidence and partial proofs for Huisken's conjecture that a weak PMT holds for continuous metrics.
• New Regularity Framework: It demonstrates that deep geometric results like the PMT and isoperimetric existence are robust enough to survive the loss of differentiability in the metric tensor, provided the scalar curvature is controlled in an approximate sense.
• Methodological Innovation: The development of a local, quantitative weak IMCF that does not require global asymptotic flatness is a major methodological advance. This tool can likely be applied to other problems in geometric analysis involving low-regularity metrics.
• Characterization of Curvature: The results suggest a potential new characterization of nonnegative scalar curvature based on the existence of small sets with nonnegative quasi-local mass, which is stable under $C^0$ limits.

In summary, this paper bridges the gap between smooth geometric analysis and the theory of continuous metrics, proving that the fundamental link between nonnegative scalar curvature, positive mass, and isoperimetric inequalities persists even when the metric is only continuous.