pith. sign in

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

Equivalence of intrinsic and extrinsic area bounds for minimal surfaces

Enric Florit-Simon This is my paper

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
0 comments X

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.

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)
  1. [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.
  2. [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.
  3. [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)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

194 extracted references · 194 canonical work pages

  1. [1]

    and Savin, O

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

    work page 2015

  2. [2]

    and Ambrosio, L

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

    work page 2001

  3. [3]

    and Lin, F

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

    work page 2011

  4. [4]

    , TITLE =

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

    work page 2023

  5. [5]

    and Salsa, S

    Caffarelli, L. and Salsa, S. , TITLE =

    work page

  6. [6]

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

    work page 2016

  7. [7]

    and Monneau, R

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

    work page 2004

  8. [8]

    Kamburov and K

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

    work page 2024

  9. [9]

    2011 , NUMBER =

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

    work page 2011

  10. [10]

    and Nirenberg, L

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

    work page 1977

  11. [11]

    and Zhang, K

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

    work page 2023

  12. [12]

    and Zumbrun, K

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

    work page 1998

  13. [13]

    and Pollack, A

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

    work page 1974

  14. [14]

    and Ros-Oton, X

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

    work page 2022

  15. [15]

    Wang, L. , year=. Regularity

    work page

  16. [16]

    and Trudinger, N

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

    work page 1983

  17. [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 =

    work page 2004

  18. [18]

    and Ros-Oton, X

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

    work page 2019

  19. [19]

    and Valdinoci, E

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

    work page 2009

  20. [20]

    , TITLE =

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

    work page 2010

  21. [21]

    Wang and J

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

    work page

  22. [22]

    and Wei, J

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

    work page

  23. [23]

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

    work page 1977

  24. [24]

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

    work page 1998

  25. [25]

    Alt and L

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

    work page 1981

  26. [26]

    Alt and L

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

    work page 1982

  27. [27]

    Alt and L

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

    work page 1982

  28. [28]

    Alt and L

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

    work page 1983

  29. [29]

    Caffarelli , TITLE =

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

    work page 1987

  30. [30]

    Caffarelli , TITLE =

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

    work page 1988

  31. [31]

    , TITLE =

    P\'erez, J. , TITLE =

    work page

  32. [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 =

    work page 2020

  33. [33]

    Caffarelli , TITLE =

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

    work page 1989

  34. [34]

    J. D. Buckmaster and G. S. Ludford , TITLE =

    work page

  35. [35]

    and Mennucci, A

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

    work page 2003

  36. [36]

    Caffarelli and J

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

    work page 1995

  37. [37]

    2009 , PAGES =

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

    work page 2009

  38. [38]

    2011 , PAGES =

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

    work page 2011

  39. [39]

    Engelstein and L

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

    work page 2020

  40. [40]

    Engelstein and X

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

    work page 2023

  41. [41]

    2308.13209 , archivePrefix=

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

    work page arXiv

  42. [42]

    Figalli and A

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

    work page

  43. [43]

    Kriventsov and G

    D. Kriventsov and G. Weiss , JOURNAL =. Rectifiability, finite

    work page

  44. [44]

    Basulto and N

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

    work page 2024

  45. [45]

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

    work page 2016

  46. [46]

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

    work page 2014

  47. [47]

    Pacific J

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

    work page 2011

  48. [48]

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

    work page 1976

  49. [49]

    Discrete Contin

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

    work page 2019

  50. [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=

    work page 2021

  51. [51]

    , journal=

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

    work page 2017

  52. [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 =

    work page 2021

  53. [53]

    and Wickramasekera, N

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

    work page 2012

  54. [54]

    Kamburov , JOURNAL =

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

    work page 2013

  55. [55]

    Savin , TITLE =

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

    work page 2009

  56. [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 =

    work page 2017

  57. [57]

    Ghoussoub and C

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

    work page 1998

  58. [58]

    Ambrosio and X

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

    work page 2000

  59. [59]

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

    work page

  60. [60]

    , TITLE =

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

    work page 2017

  61. [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 =

    work page

  62. [62]

    del Pino and M

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

    work page 2008

  63. [63]

    del Pino and M

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

    work page 2011

  64. [64]

    del Pino and M

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

    work page

  65. [65]

    Pino and M

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

    work page 2013

  66. [66]

    De Giorgi , TITLE =

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

    work page

  67. [67]

    Liu and K

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

    work page 2017

  68. [68]

    Chodosh and C

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

    work page 2024

  69. [69]

    Chodosh and C

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

    work page

  70. [70]

    Mazet,Stable minimal hypersurfaces inℝ6

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

    work page arXiv

  71. [71]

    Du and C

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

    work page 2022

  72. [72]

    Caffarelli and A

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

    work page 1995

  73. [73]

    Caffarelli and A

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

    work page 2006

  74. [74]

    Wang , eprint=

    K. Wang , eprint=. The structure of finite

    work page

  75. [75]

    Figalli and J

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

    work page 2020

  76. [76]

    Chodosh and C

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

    work page

  77. [77]

    Chodosh , TITLE =

    O. Chodosh , TITLE =. 2019 , NOTE =

    work page 2019

  78. [78]

    Valdinoci , TITLE =

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

    work page 2004

  79. [79]

    Petrosyan and E

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

    work page 2005

  80. [80]

    Valdinoci , TITLE =

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

    work page 2006

Showing first 80 references.