arxiv: 2605.06468 · v1 · submitted 2026-05-07 · 🧮 math.DG · math.AP

Recognition: unknown

Equivalence of intrinsic and extrinsic area bounds for minimal surfaces

Enric Florit-Simon

Pith reviewed 2026-05-08 04:50 UTC · model grok-4.3

classification 🧮 math.DG math.AP

keywords minimal immersionsarea density boundsintrinsic boundsextrinsic boundscurvature estimatesSchoen-Simon-Yaustable minimal hypersurfaces

0 comments

The pith

Intrinsic and extrinsic area density bounds are equivalent for complete minimal immersions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that any complete, connected, smooth minimal immersion of a d-dimensional manifold into Euclidean space of arbitrary codimension has identical intrinsic and extrinsic area density bounds, including matching asymptotic growth rates. A reader would care because this unifies two previously separate controls on how much area the surface can accumulate, making it possible to switch between the two definitions without losing information. The equivalence also combines with a recent result to extend curvature estimates to the previously open case of stable two-sided minimal hypersurfaces in dimension 6. The statements hold uniformly for every dimension and codimension.

Core claim

We show that intrinsic and extrinsic area density bounds are equivalent, with matching asymptotic values, for complete, connected, smooth minimal immersions i:Σ^d→R^N of any dimension and codimension. Combining our results with a recent breakthrough by Bellettini, we extend the Schoen--Simon--Yau curvature estimates for smoothly immersed, two-sided, stable minimal hypersurfaces i:Σ^n→R^{n+1} with bounded intrinsic area density to the missing case n=6.

What carries the argument

The equivalence between the intrinsic area density bound and the extrinsic area density bound, which forces their asymptotic values to coincide.

Load-bearing premise

The immersions must be complete, connected, and smooth minimal immersions, and the curvature extension step assumes Bellettini's recent result holds for the n=6 case.

What would settle it

A single explicit complete connected smooth minimal immersion in some R^N where the intrinsic area density bound differs from the extrinsic bound at any scale would disprove the claimed equivalence.

read the original abstract

We show that intrinsic and extrinsic area density bounds are equivalent, with matching asymptotic values, for complete, connected, smooth minimal immersions $i:\Sigma^d\to\mathbb{R}^N$ of any dimension and codimension. Combining our results with a recent breakthrough by Bellettini, we extend the Schoen--Simon--Yau curvature estimates for smoothly immersed, two-sided, stable minimal hypersurfaces $i:\Sigma^n\to\mathbb{R}^{n+1}$ with bounded intrinsic area density to the missing case $n=6$, which had remained open since.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper proves the equivalence of intrinsic and extrinsic area density bounds for minimal immersions and uses it to close the n=6 gap in Schoen-Simon-Yau curvature estimates.

read the letter

The main point is that intrinsic and extrinsic area density bounds turn out to be equivalent, with the same asymptotic value, for any complete connected smooth minimal immersion into Euclidean space. The paper then combines this with Bellettini's recent result to get the curvature estimates for two-sided stable minimal hypersurfaces up to dimension 6, which had been missing since the original work. That equivalence is the genuinely new piece. It lets you switch between the two notions without losing the constant, which is practically useful when one is easier to control than the other. The argument rests on monotonicity formulas and direct comparisons of intrinsic versus extrinsic balls, and the outline looks straightforward with no obvious circular steps. The assumptions are stated up front and match what the theorems require. The curvature extension is presented as a direct application rather than a new proof, so its strength tracks Bellettini's result. That is not a flaw in this paper, but it does mean the overall claim inherits whatever limitations exist in the n=6 case from the other work. No other soft spots stand out from the structure given. The paper is aimed at people working on minimal hypersurface regularity and geometric analysis. Anyone tracking the Schoen-Simon-Yau program or related density estimates will want to see the details of the equivalence. It is worth sending to referees because it fills a concrete gap with a clean reduction rather than a heavy new machine.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that intrinsic and extrinsic area density bounds are equivalent, with identical asymptotic values, for any complete connected smooth minimal immersion i: Σ^d → R^N. It then combines the equivalence with Bellettini's recent result to extend the Schoen–Simon–Yau curvature estimates from smoothly immersed two-sided stable minimal hypersurfaces with bounded intrinsic area density to the remaining case n=6.

Significance. If the central equivalence holds, the work supplies a missing bridge between intrinsic and extrinsic viewpoints on area densities, directly enabling the completion of curvature estimates in dimension 6. The argument relies on monotonicity formulas and extrinsic-ball comparisons, which are standard tools in the field, and the explicit invocation of Bellettini’s n=6 result is clearly flagged.

minor comments (3)

[Introduction] The introduction should explicitly state the precise definition of intrinsic versus extrinsic area density (e.g., via the monotonicity formula or the limit of area ratios) before the equivalence is claimed, to avoid any ambiguity for readers unfamiliar with the distinction.
[Curvature estimates section] In the curvature-extension paragraph, the dependence on Bellettini’s result for n=6 is noted, but a short sentence clarifying that the equivalence proof itself is independent of that result would strengthen the logical separation of the two contributions.
[Throughout] Notation for the dimension of the domain (d versus n) is used interchangeably in the abstract and main text; a uniform convention would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. No specific major comments were provided in the report, so we have no points requiring point-by-point response or revision at this stage. We are pleased that the equivalence result and its application to the n=6 case via Bellettini's work were viewed favorably.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation establishes equivalence of intrinsic and extrinsic area density bounds via monotonicity formulas, comparison with extrinsic balls, and a curvature extension step that invokes Bellettini's independent external result for the n=6 case. No step reduces by construction to a fitted input, self-definition, or load-bearing self-citation; all load-bearing arguments rely on standard minimal surface theory or the cited breakthrough, which is not by the present author and is treated as given. The proof chain is self-contained and does not rename or smuggle prior results as new predictions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on standard background results in minimal surface theory and differential geometry; no free parameters or invented entities are indicated in the abstract.

axioms (1)

standard math Standard axioms and definitions of Riemannian geometry, minimal immersions, and area density functionals
Invoked throughout the statement of the main theorem and its application to curvature estimates.

pith-pipeline@v0.9.0 · 5377 in / 1124 out tokens · 30958 ms · 2026-05-08T04:50:32.272451+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

194 extracted references · 4 canonical work pages

[1]

and Savin, O

Jerison, D. and Savin, O. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2015 , NUMBER =

2015
[2]

and Ambrosio, L

Alberti, G. and Ambrosio, L. and Cabr\'e, X. , TITLE =. Acta Appl. Math. , VOLUME =. 2001 , NUMBER =

2001
[3]

and Lin, F

Han, Q. and Lin, F. , TITLE =. 2011 , PAGES =

2011
[4]

, TITLE =

Velichkov, B. , TITLE =. 2023 , ISBN =

2023
[5]

and Salsa, S

Caffarelli, L. and Salsa, S. , TITLE =
[6]

Ponce, A. C. , TITLE =. 2016 , PAGES =

2016
[7]

and Monneau, R

Jerison, D. and Monneau, R. , TITLE =. Ann. Mat. Pura Appl. , VOLUME =. 2004 , NUMBER =

2004
[8]

Kamburov and K

N. Kamburov and K. Wang , VOLUME =. Nondegeneracy for stable solutions to the one-phase free boundary problem , JOURNAL =. 2024 , PAGES =

2024
[9]

2011 , NUMBER =

Free boundary regularity for a problem with right hand side , JOURNAL =. 2011 , NUMBER =

2011
[10]

and Nirenberg, L

Kinderlehrer, D. and Nirenberg, L. , TITLE =. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) , FJOURNAL =. 1977 , NUMBER =

1977
[11]

and Zhang, K

Lian, Y. and Zhang, K. , TITLE =. Calc. Var. Partial Differ. Equ. , FJOURNAL =. 2023 , NUMBER =

2023
[12]

and Zumbrun, K

Sternberg, P. and Zumbrun, K. , TITLE =. Arch. Rational Mech. Anal. , VOLUME =. 1998 , NUMBER =

1998
[13]

and Pollack, A

Guillemin, V. and Pollack, A. , TITLE =. 1974 , PAGES =

1974
[14]

and Ros-Oton, X

Fern\'andez-Real, X. and Ros-Oton, X. , TITLE =. 2022 , ISBN =

2022
[15]

Wang, L. , year=. Regularity
[16]

and Trudinger, N

Gilbarg, D. and Trudinger, N. S. , TITLE =. 1983 , PAGES =

1983
[17]

and Jerison, D

Caffarelli, L. and Jerison, D. and Kenig, C. E. , TITLE =. Noncompact problems at the intersection of geometry, analysis, and topology , PUBLISHER =. 2004 , PAGES =

2004
[18]

and Ros-Oton, X

Fern\'andez-Real, X. and Ros-Oton, X. , TITLE =. Discrete Contin. Dyn. Syst. , VOLUME =. 2019 , NUMBER =

2019
[19]

and Valdinoci, E

Farina, A. and Valdinoci, E. , TITLE =. Recent progress on reaction-diffusion systems and viscosity solutions , PUBLISHER =. 2009 , PAGES =

2009
[20]

, TITLE =

Cabr\'e, X. , TITLE =. Comm. Pure Appl. Math. , VOLUME =. 2010 , NUMBER =

2010
[21]

Wang and J

K. Wang and J. Wei , title =. Comm. Pure Appl. Math. , volume =
[22]

and Wei, J

Wang, K. and Wei, J. , TITLE =. Adv. Math. , FJOURNAL =
[23]

Adams, R. A. and Fournier, J. , TITLE =. J. Math. Anal. Appl. , VOLUME =. 1977 , PAGES =

1977
[24]

G. S. Weiss , title =. Communications in Partial Differential Equations , volume =. 1998 , publisher =

1998
[25]

Alt and L

H. Alt and L. Caffarelli , TITLE =. J. Reine Angew. Math. , VOLUME =. 1981 , PAGES =

1981
[26]

Alt and L

H. Alt and L. Caffarelli and A. Friedman , TITLE =. Comm. Pure Appl. Math. , VOLUME =. 1982 , PAGES =

1982
[27]

Alt and L

H. Alt and L. Caffarelli and A. Friedman , TITLE =. J. Reine Angew. Math. , VOLUME =. 1982 , PAGES =

1982
[28]

Alt and L

H. Alt and L. Caffarelli and A. Friedman , TITLE =. Arch. Rational Mech. Anal. , VOLUME =. 1983 , PAGES =

1983
[29]

Caffarelli , TITLE =

L. Caffarelli , TITLE =. Rev. Mat. Iberoam. , VOLUME =. 1987 , PAGES =

1987
[30]

Caffarelli , TITLE =

L. Caffarelli , TITLE =. Ann. Scuola Norm. Sup. Pisa Cl. Sci. , VOLUME =. 1988 , PAGES =

1988
[31]

, TITLE =

P\'erez, J. , TITLE =
[32]

Stable solutions to semilinear elliptic equations are smooth up to dimension 9 , JOURNAL =

Cabr\'. Stable solutions to semilinear elliptic equations are smooth up to dimension 9 , JOURNAL =. 2020 , NUMBER =

2020
[33]

Caffarelli , TITLE =

L. Caffarelli , TITLE =. Comm. Pure Appl. Math. , VOLUME =. 1989 , PAGES =

1989
[34]

J. D. Buckmaster and G. S. Ludford , TITLE =
[35]

and Mennucci, A

Mantegazza, C. and Mennucci, A. C. , TITLE =. Appl. Math. Optim. , FJOURNAL =. 2003 , NUMBER =

2003
[36]

Caffarelli and J

L. Caffarelli and J. L. V\'azquez , TITLE =. Trans. Amer. Math. Soc. , VOLUME =. 1995 , PAGES =

1995
[37]

2009 , PAGES =

A singular energy minimizing free boundary , JOURNAL =. 2009 , PAGES =

2009
[38]

2011 , PAGES =

A gradient bound for free boundary graphs , JOURNAL =. 2011 , PAGES =

2011
[39]

Engelstein and L

M. Engelstein and L. Spolaor and B. Velichkov , TITLE =. Duke Math. J. , VOLUME =. 2020 , PAGES =

2020
[40]

Engelstein and X

M. Engelstein and X. Fern\'andez-Real and H. Yu , TITLE =. J. Reine Angew. Math. , VOLUME =. 2023 , PAGES =

2023
[41]

2308.13209 , archivePrefix=

Generic properties in free boundary problems , author=. 2308.13209 , archivePrefix=

work page arXiv
[42]

Figalli and A

A. Figalli and A. Guerra and S. Kim and H. Shahgholian , TITLE =. J. Eur. Math. Soc. , PAGES =
[43]

Kriventsov and G

D. Kriventsov and G. Weiss , JOURNAL =. Rectifiability, finite
[44]

Basulto and N

J. Basulto and N. Kamburov , JOURNAL =. One-phase free boundary solutions of finite. 2024 , PAGES =

2024
[45]

Structure of one-phase free boundaries in the plane , author=. Int. Math. Res. Not. IMRN , ISSUE =. 2016 , PAGES =

2016
[46]

Classification of the solutions to an overdetermined elliptic problem in the plane , author=. Geom. Funct. Anal. , VOLUME =. 2014 , PAGES =

2014
[47]

Pacific J

On an overdetermined elliptic problem , author=. Pacific J. Math. , VOLUME =. 2011 , PAGES =

2011
[48]

Structure of a linear array of hollow vortices of finite cross-section , author=. J. Fluid. Mech. , VOLUME =. 1976 , PAGES =

1976
[49]

Discrete Contin

Free boundaries subject to topological constraints , author=. Discrete Contin. Dyn. Syst. , VOLUME =. 2019 , PAGES =

2019
[50]

and Liu, Y

Hamel, F. and Liu, Y. and Sicbaldi, P. and Wang, K. and Wei, J. , journal=. Half-space theorems for the. 2021 , pages=

2021
[51]

, journal=

Wang, K. , journal=. A new proof of. 2017 , pages=

2017
[52]

Liu and K

Y. Liu and K. Wang and J. Wei , JOURNAL =. On smooth solutions to one phase-free boundary problem in. 2021 , PAGES =

2021
[53]

and Wickramasekera, N

Tonegawa, Y. and Wickramasekera, N. , TITLE =. J. Reine Angew. Math. , VOLUME =. 2012 , PAGES =

2012
[54]

Kamburov , JOURNAL =

N. Kamburov , JOURNAL =. A free boundary problem inspired by a conjecture of. 2013 , PAGES =

2013
[55]

Savin , TITLE =

O. Savin , TITLE =. Current developments in mathematics, 2009 , PUBLISHER =. 2010 , PAGES =

2009
[56]

Liu and K

Y. Liu and K. Wang and J. Wei , TITLE =. Ann. Inst. H. Poincar\'e Anal. Non Lin\'eaire , VOLUME =. 2017 , PAGES =

2017
[57]

Ghoussoub and C

N. Ghoussoub and C. Gui , TITLE =. Math. Ann. , VOLUME =. 1998 , PAGES =

1998
[58]

Ambrosio and X

L. Ambrosio and X. Cabr\'e , TITLE =. J. Amer. Math. Soc. , VOLUME =. 2000 , PAGES =

2000
[59]

Regularity of flat level sets in phase transitions , author =. Ann. of Math. (2) , volume =
[60]

, TITLE =

Savin, O. , TITLE =. Calc. Var. Partial Differential Equations , VOLUME =. 2017 , NUMBER =

2017
[61]

Moduli space theory for the Allen--Cahn equation in the plane , journal =

Manuel del Pino and Micha. Moduli space theory for the Allen--Cahn equation in the plane , journal =
[62]

del Pino and M

M. del Pino and M. Kowalczyk and J. Wei , title =. Arch. Rational Mech. Anal. , volume =. 2008 , pages =

2008
[63]

del Pino and M

M. del Pino and M. Kowalczyk and J. Wei , TITLE =. Ann. of Math. , VOLUME =. 2011 , PAGES =

2011
[64]

del Pino and M

M. del Pino and M. Kowalczyk and J. Wei , title =. J. Differential Geom. , volume =
[65]

Pino and M

M. Pino and M. Kowalczyk and F. Pacard and J. Wei , title =. J. Funct. Anal. , volume =. 2013 , pages =

2013
[66]

De Giorgi , TITLE =

E. De Giorgi , TITLE =. Proceedings of the International Meeting on Recent Methods in Nonlinear Analysis , YEAR =
[67]

Liu and K

Y. Liu and K. Wang and J. Wei , TITLE =. J. Math. Pures Appl. , VOLUME =. 2017 , PAGES =

2017
[68]

Chodosh and C

O. Chodosh and C. Li , TITLE =. Acta Math. , VOLUME =. 2024 , PAGES =

2024
[69]

Chodosh and C

O. Chodosh and C. Li and P. Minter and D. Stryker , title =. Ann. of Math. (2) , note =
[70]

The Exponent of Convergence of Poincare Series

Mazet, L. , TITLE =. 2405.14676 , archivePrefix=

work page arXiv
[71]

Du and C

Z. Du and C. Gui and K. Wang , TITLE =. Adv. Math. , VOLUME =. 2022 , PAGES =

2022
[72]

Caffarelli and A

L. Caffarelli and A. C\'ordoba , TITLE =. Comm. Pure Appl. Math. , VOLUME =. 1995 , PAGES =

1995
[73]

Caffarelli and A

L. Caffarelli and A. C\'ordoba , TITLE =. J. Reine Angew. Math. , VOLUME =. 2006 , PAGES =

2006
[74]

Wang , eprint=

K. Wang , eprint=. The structure of finite
[75]

Figalli and J

A. Figalli and J. Serra , TITLE =. Invent. Math. , VOLUME =. 2020 , PAGES =

2020
[76]

Chodosh and C

O. Chodosh and C. Mantoulidis , title =. Ann. of Math. (2) , volume =
[77]

Chodosh , TITLE =

O. Chodosh , TITLE =. 2019 , NOTE =

2019
[78]

Valdinoci , TITLE =

E. Valdinoci , TITLE =. J. Reine Angew. Math. , VOLUME =. 2004 , PAGES =

2004
[79]

Petrosyan and E

A. Petrosyan and E. Valdinoci , TITLE =. Interfaces Free Bound. , VOLUME =. 2005 , PAGES =

2005
[80]

Valdinoci , TITLE =

E. Valdinoci , TITLE =. Math. Z. , VOLUME =. 2006 , PAGES =

2006

Showing first 80 references.