🔢 mathematics

Equivalence of intrinsic and extrinsic area bounds for minimal surfaces

This paper establishes the equivalence of intrinsic and extrinsic area density bounds for complete minimal immersions in any dimension and codimension, a result that, when combined with recent work by Bellettini, extends the Schoen–Simon–Yau curvature estimates to the previously open case of six-dimensional stable minimal hypersurfaces.

Original authors: Enric Florit-Simon

Published 2026-05-08

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Enric Florit-Simon

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 you are trying to measure the size of a very complex, crumpled piece of paper floating in a high-dimensional space. This paper represents a "minimal surface"—a shape that naturally tries to minimize its area, like a soap film stretched across a wire frame.

Mathematicians have two main ways to measure how much "paper" (area) exists around a specific point on this shape:

The "Internal" Ruler (Intrinsic): You walk along the surface itself, measuring how much area you cover as you move a certain distance along the folds and curves.
The "External" Ruler (Extrinsic): You stand outside the shape and look at a sphere in the surrounding space. You measure how much of the surface is trapped inside that sphere, regardless of how twisted or folded the surface is.

For a long time, mathematicians knew that if you use the External Ruler and find the area is bounded (not growing infinitely), the shape behaves nicely. However, if you only know the Internal Ruler shows a bounded area, it was a mystery whether the shape would behave just as well. It was like knowing a city's population density within city limits but not knowing if the city sprawls infinitely into the countryside.

The Big Discovery: The Two Rulers Agree

The author of this paper, Enric Florit-Simon, proves a surprising fact: For these special minimal surfaces, the Internal and External measurements are actually equivalent.

If you measure the area from the inside and it stays within a certain limit, the area measured from the outside will also stay within a matching limit. They grow at the exact same rate as you look further and further out.

The Analogy:
Imagine a tangled ball of yarn.

Internal: You trace the thread from the center, counting how much yarn you've unwound.
External: You look at the whole ball and measure how much space it occupies in the room.

The paper proves that if the yarn doesn't get infinitely dense as you unwind it (Internal), it also won't get infinitely dense in the room (External). Furthermore, the paper proves that if the area is bounded, the yarn is "properly" contained—it doesn't have loose ends disappearing into infinity in a weird way.

Why Does This Matter? Solving a 50-Year-Old Puzzle

This result is the key to unlocking a famous problem in geometry regarding "stable" minimal surfaces (shapes that are stable and don't collapse).

For decades, mathematicians had a "gap" in their knowledge:

They knew that for dimensions 2 through 5, if a stable surface has bounded area, it must be perfectly flat (like a flat sheet of paper).
They knew that for dimensions 7 and higher, you can have stable surfaces that are not flat (they can be curved cones).
The Missing Piece: Dimension 6.

For dimension 6, the math worked perfectly if the surface was "embedded" (no self-intersections) and had bounded external area. But if the surface was allowed to intersect itself (an "immersion") or if you only knew about the internal area, the proof broke down. Dimension 6 remained a mystery.

The Final Piece of the Puzzle

By proving that Internal and External area bounds are the same, Florit-Simon connects the dots. He combines his new proof with a recent breakthrough by another mathematician (Bellettini) who solved the "embedded" version of the problem.

The Result:
Now, we know that in 6-dimensional space, any stable, minimal surface with bounded area must be flat. The "gap" is closed. There are no weird, curved, stable shapes in 6 dimensions that satisfy these conditions; they are all just flat planes.

The "Chord-Arc" Secret

How did he prove the two rulers agree?
He used a clever trick involving a "monotonicity formula." Think of it like a rule that says: "As you get further from the center, the density of the surface can only stay the same or increase, never decrease."

He showed that if the internal density doesn't jump up too much, the surface cannot twist and turn wildly enough to hide a lot of extra area from the outside view. It forces the surface to stay relatively straight (a "chord-arc" estimate), ensuring the internal and external measurements stay in sync.

Summary

The Problem: We didn't know if measuring a minimal surface from the inside gave the same "boundedness" result as measuring it from the outside.
The Solution: They are equivalent. If one is bounded, the other is too.
The Impact: This finally proves that in 6 dimensions, stable minimal surfaces with bounded area must be flat, resolving a question that had been open since the 1970s.

Technical Summary: Equivalence of Intrinsic and Extrinsic Area Bounds for Minimal Surfaces

Problem Statement
The paper addresses a fundamental gap in the theory of minimal submanifolds regarding the relationship between intrinsic and extrinsic geometric bounds. Specifically, it investigates whether a complete, connected, smoothly immersed minimal submanifold $\Sigma^d \hookrightarrow \mathbb{R}^N$ having a bounded intrinsic area density (volume growth relative to intrinsic geodesic balls) necessarily implies a bounded extrinsic area density (volume growth relative to Euclidean balls in the ambient space).

While the inequality $M^{int}_R \leq M^{ext}_R$ is trivial due to the fact that intrinsic distance is always greater than or equal to Euclidean distance, the converse direction has been a significant obstacle. This lack of equivalence has hindered the development of a general compactness theory for minimal immersions with intrinsic area bounds, contrasting with the well-established theory for extrinsically bounded area (stationary integral varifolds). This gap is particularly acute in the context of the "Stable Bernstein Conjecture" and curvature estimates for stable minimal hypersurfaces, where the case $n=6$ for intrinsic bounds had remained open since the seminal work of Schoen, Simon, and Yau [SSY75].

Methodology
The author, Enric Florit-Simon, employs a combination of monotonicity formulas and asymptotic geometric analysis to establish the equivalence.

Intrinsic Monotonicity Formula: The core technical tool is a monotonicity formula for the intrinsic area density $M^{int}_R(\Sigma)$ . Motivated by computations in [Yau75] and noted in [Cho21], the author derives an identity (Lemma 2.1) showing that for a minimal submanifold, the difference in intrinsic area density between two radii is controlled by an integral involving the difference between the intrinsic distance $r_\Sigma(x)$ and the Euclidean distance $|x|$ , as well as the mean curvature vector. For minimal surfaces ( $H_\Sigma \equiv 0$ ), this implies $M^{int}_R$ is monotone non-decreasing.
Density Pinching and Chord-Arc Estimates: The proof utilizes a "density pinching" argument (Lemma 2.3). It demonstrates that if the intrinsic area density does not grow significantly between scales (i.e., $M^{int}_{8R} - M^{int}_R$ is small), then the intrinsic and extrinsic metrics are asymptotically comparable (a chord-arc estimate: $|x| \leq r_\Sigma(x) \leq (1+\epsilon)|x|$ ) in annular regions.
Asymptotic Equivalence: By combining the monotonicity of the intrinsic density with the chord-arc estimate, the author proves that if the intrinsic density is bounded, the immersion must be proper, and the extrinsic density must share the same asymptotic limit.
Blow-up Analysis: For the application to curvature estimates (Theorem 1.4), the paper employs a standard scaling argument (blow-up). Assuming a curvature bound fails, a sequence of rescaled immersions is constructed. The uniform intrinsic area bounds and the monotonicity formula ensure the existence of a limiting minimal hypersurface.

Key Contributions and Results

Theorem 1.1 (Equivalence of Area Bounds): The primary result establishes that for any complete, connected, smoothly immersed minimal submanifold $\Sigma^d \hookrightarrow \mathbb{R}^N$ , the limits of the intrinsic and extrinsic area densities as $R \to \infty$ exist and are equal:
$\lim_{R\to\infty} M^{int}_R(\Sigma, p) = \lim_{R\to\infty} M^{ext}_R(\Sigma, p) \in [\omega_d, \infty]$
Consequently, $\Sigma$ has bounded intrinsic area density if and only if it has bounded extrinsic area density. In the bounded case, the immersion is also shown to be proper.
Theorem 1.3 (Resolution of the $n=6$ Gap): By combining Theorem 1.1 with the recent breakthrough by Bellettini [Bel25] (which removed the embeddedness requirement for $n=6$ under extrinsic bounds), the paper resolves the dimensional gap for stable minimal hypersurfaces. It proves that a complete, connected, smoothly immersed, two-sided stable minimal hypersurface $\Sigma^6 \hookrightarrow \mathbb{R}^7$ with bounded intrinsic area density must be a flat hyperplane.
Theorem 1.4 (Local Curvature Estimates): The paper establishes local curvature estimates for stable minimal hypersurfaces in dimension $n=6$ with bounded intrinsic area density. Specifically, if $|B^\Sigma_R(p)| \leq \Lambda R^6$ , then the second fundamental form satisfies $|II_\Sigma| \leq C/R$ in a smaller ball. This completes the picture of curvature estimates initiated by Schoen, Simon, and Yau [SSY75].

Significance and Claims
The paper claims to resolve a long-standing obstruction in the classification of stable minimal hypersurfaces.

Closing the Dimensional Gap: Prior to this work, the flatness of entire stable minimal embeddings in $\mathbb{R}^7$ was known for $n \leq 5$ (via [SSY75]) and for $n=6$ only under extrinsic area bounds or embeddedness assumptions. Theorem 1.3 extends the $n=6$ result to the intrinsic setting, matching the known counterexamples for $n \geq 7$ (Simons' cone).
Compactness Theory: The equivalence of intrinsic and extrinsic bounds provides a pathway to apply the powerful compactness theory of stationary integral varifolds (Allard's theorem [All72]) to minimal immersions defined by intrinsic area bounds, a tool previously unavailable for this specific class.
Strategy for Higher Dimensions: The author suggests that Theorem 1.3 validates a strategy for the "Stable Bernstein Conjecture" in higher dimensions: proving that stable minimal hypersurfaces satisfy intrinsic area bounds, thereby reducing their classification to the flat hyperplane case. This approach has already been successful for $n=2, 3, 4, 5$ in recent works [CL24, CLMS, Maz24], and the current paper removes the obstruction for $n=6$ .

The paper does not propose new experimental applications or future directions beyond the mathematical implications of resolving the $n=6$ case and the equivalence of area densities. It frames its contribution as a necessary theoretical bridge connecting intrinsic geometric constraints to extrinsic analytic tools.