pith. sign in

arxiv: 2605.15031 · v2 · pith:PULIL7UInew · submitted 2026-05-14 · 🧮 math.DG · math.AP

Minimal submanifolds confined in space

Tobias Holck Colding , William P. Minicozzi II This is my paper

Pith reviewed 2026-05-22 09:51 UTC · model grok-4.3

classification 🧮 math.DG math.AP
keywords minimal submanifoldsproper immersionsheight growthvolume growthBernstein theoremstable hypersurfacesEuclidean spaceminimal hypersurfaces
0
0 comments X

The pith

Any proper minimal immersion with sublinear height growth has Euclidean volume growth.

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

The paper shows that a proper minimal immersion in Euclidean space must have the same volume growth as flat space whenever its height function grows slower than linearly. This growth restriction confines the geometry of the submanifold even in high dimensions, where many minimal hypersurfaces can fit inside slabs. The result yields an optimal Bernstein theorem that classifies stable hypersurfaces satisfying the same height condition as hyperplanes in every dimension.

Core claim

We show that any proper minimal immersion whose height grows sublinearly must have Euclidean volume growth. A consequence is an optimal Bernstein theorem in any dimension for stable hypersurfaces with sublinearly growing height that generalizes results of Moser, Bombieri-De Giorgi-Miranda, Trudinger, Caffarelli-Nirenberg-Spruck and Ecker-Huisken.

What carries the argument

The combination of properness of the immersion with sublinear growth of the height function, which forces Euclidean volume growth and thereby yields rigidity for stable cases.

If this is right

  • Stable hypersurfaces with sublinear height growth are hyperplanes in every dimension.
  • The volume of such a submanifold inside a ball of radius r grows exactly like the volume of Euclidean space of the same dimension.
  • The result extends classical Bernstein theorems from low dimensions to arbitrary dimensions under the same growth hypothesis.
  • Minimal submanifolds confined by this height condition satisfy strong structural restrictions even when the half-space theorem fails.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same growth control might be used to study the asymptotic structure of minimal submanifolds at infinity.
  • Analogous statements could hold for other curvature conditions or for minimal submanifolds in manifolds with bounded geometry.

Load-bearing premise

The immersion must be proper and the height function must grow sublinearly.

What would settle it

Construct a proper minimal immersion whose height grows sublinearly yet whose volume growth is not Euclidean.

read the original abstract

Already in $\bf{R}^4$, there are many known examples of minimal hypersurfaces, yet few structural results. We show that minimal submanifolds, of any dimension, that are confined in space are very restricted. It is well-known that the half-space theorem fails already for hypersurfaces in $\bf{R}^4$, where there are many examples contained in a slab. In $\bf{R}^3$ the height of the catenoid grows at a logarithmic rate, whereas in higher dimension the height of the catenoid remains bounded. We will see that even in high dimensions, minimal submanifolds that are confined in space must satisfy strong structural restrictions. We show that any proper minimal immersion whose height grows sublinearly must have Euclidean volume growth. A consequence is an optimal Bernstein theorem in any dimension for stable hypersurfaces with sublinearly growing height that generalizes results of Moser, Bombieri-De Giorgi-Miranda, Trudinger, Caffarelli-Nirenberg-Spruck and Ecker-Huisken.

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 any proper minimal immersion into Euclidean space whose height function grows sublinearly must have Euclidean volume growth. As a consequence, it obtains an optimal Bernstein theorem for stable minimal hypersurfaces with sublinear height growth in any dimension, generalizing classical results of Moser, Bombieri-De Giorgi-Miranda, Trudinger, Caffarelli-Nirenberg-Spruck, and Ecker-Huisken.

Significance. If the result holds, the theorem supplies a useful structural restriction on minimal submanifolds that are confined in space, extending Bernstein-type conclusions to higher dimensions where the half-space theorem already fails and where examples are plentiful but global theorems remain scarce. The sublinear-growth hypothesis is shown to be essentially sharp by the cited catenoid and slab examples.

minor comments (3)
  1. [Introduction] Introduction, paragraph on catenoids: the statement that 'in higher dimension the height of the catenoid remains bounded' would benefit from an explicit dimension threshold or reference to the known growth rate.
  2. [Main theorem / proof section] The proof of the volume-growth statement (presumably §3 or the main theorem) should include a short reminder of the precise monotonicity formula or integral estimate invoked, even if it is standard, to make the passage from sublinear height to Euclidean volume growth fully self-contained.
  3. [Abstract / Introduction] Abstract and introduction: add a brief citation for the known slab examples in R^4 that show the half-space theorem fails.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and for recommending minor revision. The referee's summary accurately captures the main theorem on minimal submanifolds with sublinear height growth and its consequences for optimal Bernstein theorems in all dimensions.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The central claim derives Euclidean volume growth for proper minimal immersions with sublinear height growth directly from the minimal submanifold equation, properness, and the growth hypothesis via standard monotonicity formulas and integral estimates. This is independent of fitted parameters, self-definitional reductions, or load-bearing self-citations. The Bernstein consequence for stable hypersurfaces follows by combining the volume growth with known stability inequalities, generalizing cited prior results without internal circularity. The derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard background from minimal surface theory; no free parameters, new axioms, or invented entities are indicated in the abstract.

axioms (1)
  • domain assumption Minimal submanifolds have vanishing mean curvature.
    Standard definition invoked throughout minimal surface theory.

pith-pipeline@v0.9.0 · 5707 in / 1100 out tokens · 37720 ms · 2026-05-22T09:51:38.314599+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

53 extracted references · 53 canonical work pages · 1 internal anchor

  1. [1]

    W.K Allard, On the first variation of a varifold. Ann. of Math. (2) 95 (1972), 417--491

    work page 1972

  2. [2]

    Bellettini, Extensions of Schoen-Simon-Yau and Schoen-Simon theorems via iteration \'a la De Giorgi , Invent

    C. Bellettini, Extensions of Schoen-Simon-Yau and Schoen-Simon theorems via iteration \'a la De Giorgi , Invent. Math. 240 (2025), no. 1, 1--34

    work page 2025

  3. [3]

    Bernstein and C

    J. Bernstein and C. Breiner, Conformal structure of minimal surfaces with finite topology , Comment. Math. Helv. 86 (2011), no. 2, 353--381

    work page 2011

  4. [4]

    Bernstein and C

    J. Bernstein and C. Breiner, Helicoid-like minimal disks and uniqueness , J. Reine Angew. Math. 655 (2011), 129--146

    work page 2011

  5. [5]

    Blair, A generalization of the catenoid , Canad

    D. Blair, A generalization of the catenoid , Canad. J. Math. 27 (1975), 231--236

    work page 1975

  6. [6]

    Bombieri, E

    E. Bombieri, E. De Giorgi and E. Giusti, Minimal cones and the Bernstein problem. Invent. Math. 7 (1969), 243---268

    work page 1969

  7. [7]

    Bombieri, E

    E. Bombieri, E. De Giorgi and M. Miranda, Una maggioriazione a priori relativa alle ipersurfici minimali non parametriche, Arch. Ration. Mech. Anal. 32 (1969), 255--267

    work page 1969

  8. [8]

    Bombieri and E

    E. Bombieri and E. Giusti, Harnack's inequality for elliptic differential equations on minimal surfaces , Invent. Math. 15 (1972), 24--46

    work page 1972

  9. [9]

    Cabr\'e and G

    X. Cabr\'e and G. Poggesi, Stable solutions to some elliptic problems: minimal cones, the Allen-Cahn equation, and blow-up solutions , Geometry of PDEs and related problems, 145, Lecture Notes in Math., 2220, Fond. CIME/CIME Found. Subser., Springer, Cham, 2018

    work page 2018

  10. [10]

    Caffarelli, L

    L. Caffarelli, L. Nirenberg, and J. Spruck, On a form of Bernstein's theorem , Analyse math\'ematique et applications, 55--66, Gauthier-Villars, Montrouge, 1988

    work page 1988

  11. [11]

    Cheng and S.T

    S.Y. Cheng and S.T. Yau, Differential equations on Riemannian manifolds and their geometric applications. Comm. Pure Appl. Math. 28 (1975), no. 3, 333-354

    work page 1975

  12. [12]

    Choe, On the existence of higher-dimensional Enneper's surface , Comment

    J. Choe, On the existence of higher-dimensional Enneper's surface , Comment. Math. Helv. 71 (1996), no. 4, 556--569

    work page 1996

  13. [13]

    Choe and J

    J. Choe and J. Hoppe, Higher dimensional minimal submanifolds generalizing the catenoid and helicoid , Tohoku Math. J. (2) 65 (2013), no. 1, 43--55

    work page 2013

  14. [14]

    Colding and W.P

    T.H. Colding and W.P. Minicozzi II, A course in minimal surfaces, Graduate Studies in Mathematics, vol. 121 (American Mathematical Society, Providence, RI, 2011)

    work page 2011

  15. [15]

    Colding and W.P

    T.H. Colding and W.P. Minicozzi II, The space of embedded minimal surfaces of fixed genus in a 3-manifold. I. Estimates off the axis for disks , Ann. of Math. (2) 160 (2004), no. 1, 27--68

    work page 2004

  16. [16]

    Colding and W.P

    T.H. Colding and W.P. Minicozzi II, The space of embedded minimal surfaces of fixed genus in a 3-manifold. II. Multi-valued graphs in disks , Ann. of Math. (2) 160 (2004), no. 1, 69--92

    work page 2004

  17. [17]

    Colding and W.P

    T.H. Colding and W.P. Minicozzi II, The space of embedded minimal surfaces of fixed genus in a 3-manifold. III. Planar domains , Ann. of Math. (2) 160 (2004), no. 2, 523--572

    work page 2004

  18. [18]

    Colding and W.P

    T.H. Colding and W.P. Minicozzi II, The space of embedded minimal surfaces of fixed genus in a 3-manifold. IV. Locally simply connected , Ann. of Math. (2) 160 (2004), no. 2, 573--615

    work page 2004

  19. [19]

    Colding and W.P

    T.H. Colding and W.P. Minicozzi II, The space of embedded minimal surfaces of fixed genus in a 3-manifold V; fixed genus , Ann. of Math. (2) 181 (2015), no. 1, 1--153

    work page 2015

  20. [20]

    Colding and W.P

    T.H. Colding and W.P. Minicozzi II, Distance between minimal surfaces and flows , preprint

    work page

  21. [21]

    Colding and W.P

    T.H. Colding and W.P. Minicozzi II, Liouville theorem for immersed minimal surfaces in any codimension , preprint

    work page

  22. [22]

    Collin, R

    P. Collin, R. Kusner, W. Meeks, and H. Rosenberg, The topology, geometry and conformal structure of properly embedded minimal surfaces , J. Differential Geom. 67 (2004), no. 2, 377--393

    work page 2004

  23. [23]

    Colombo, E.S

    G. Colombo, E.S. Gama, L. Mari, and M. Rigoli, Nonnegative Ricci curvature and minimal graphs with linear growth. Anal. PDE 17 (2024), no. 7, 2275--2310

    work page 2024

  24. [24]

    Colombo, M

    G. Colombo, M. Magliaro, L. Mari, and M. Rigoli, Bernstein and half-space properties for minimal graphs under Ricci lower bounds. Int. Math. Res. Not. IMRN 2022, no. 23, 18256-18290

    work page 2022

  25. [25]

    De Giorgi, Sulla differenziabilit\`a e l'analiticit\`a delle estremali degli integrali multipli regolari , Mem

    E. De Giorgi, Sulla differenziabilit\`a e l'analiticit\`a delle estremali degli integrali multipli regolari , Mem. Accad. Sci. Torino. Cl. Sci. Fis. Mat. Nat. (3) 3 (1957), 25--43

    work page 1957

  26. [26]

    De Lellis, Allard's interior regularity theorem: an invitation to stationary varifolds , Nonlinear analysis in geometry and applied mathematics

    C. De Lellis, Allard's interior regularity theorem: an invitation to stationary varifolds , Nonlinear analysis in geometry and applied mathematics. Part 2, 2349, Harv. Univ. Cent. Math. Sci. Appl. Ser. Math., 2, Int. Press, Somerville, MA, 2018

    work page 2018

  27. [27]

    Stationary and stable varifolds with singularities

    C. De Lellis, J. Hirsch, and L. Spolaor, Stationary and stable varifolds with singularities , preprint, arXiv/2509.21508

    work page internal anchor Pith review Pith/arXiv arXiv

  28. [28]

    Ding, Poincar\'e inequality on minimal graphs over manifolds and applications

    Q. Ding, Poincar\'e inequality on minimal graphs over manifolds and applications. Camb. J. Math. 13 (2025), no. 2, 225-299

    work page 2025

  29. [29]

    Ding, Liouville theorem for minimal graphs over manifolds of nonnegative Ricci curvature

    Q. Ding, Liouville theorem for minimal graphs over manifolds of nonnegative Ricci curvature. Anal. PDE 18 (2025), no. 10, 2537-2550

    work page 2025

  30. [30]

    Ecker and G

    K. Ecker and G. Huisken, A Bernstein result for minimal graphs of controlled growth , J. Differential Geom. 31 (1990), 397--400

    work page 1990

  31. [31]

    Fakhi and F

    S. Fakhi and F. Pacard, Existence result for minimal hypersurfaces with a prescribed finite number of planar ends , Manuscripta Math. 103 (2000), no. 4, 465--512

    work page 2000

  32. [32]

    Hoffman and H

    D. Hoffman and H. Karcher, Complete embedded minimal surfaces of finite total curvature. Geometry, V, 5-93, Encyclopaedia Math. Sci., 90, Springer, Berlin, 1997

    work page 1997

  33. [33]

    Hoffman and W.H

    D. Hoffman and W.H. Meeks III, The strong halfspace theorem for minimal surfaces. Invent. Math. 101 (1990), no. 2, 373--377

    work page 1990

  34. [34]

    Jorge and W.H

    L.P. Jorge and W.H. Meeks III, The topology of complete minimal surfaces of finite total Gaussian curvature , Topology 22 (1983), no. 2, 203--221

    work page 1983

  35. [35]

    Jorge and F

    L.P. Jorge and F. Xavier, A complete minimal surface in ^3 between two parallel planes , Ann. of Math. (2) 112 (1980), no. 1, 203--206

    work page 1980

  36. [36]

    Kaabachi and F

    S. Kaabachi and F. Pacard, Riemann minimal surfaces in higher dimensions. J. Inst. Math. Jussieu 6 (2007), no. 4, 613--637

    work page 2007

  37. [37]

    Kapouleas, Complete embedded minimal surfaces of finite total curvature , J

    N. Kapouleas, Complete embedded minimal surfaces of finite total curvature , J. Differential Geom. 47 (1997), no. 1, 95--169

    work page 1997

  38. [38]

    Littman, G

    W. Littman, G. Stampacchia, and H. Weinberger, Regular points for elliptic equations with discontinuous coefficients , Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) 17 (1963), 43--77

    work page 1963

  39. [39]

    Meeks III, and J

    W.H. Meeks III, and J. P\'erez, The classical theory of minimal surfaces , Bull. Amer. Math. Soc. (N.S.) 48 (2011), no. 3, 325--407

    work page 2011

  40. [40]

    Meeks III, J

    W.H. Meeks III, J. P\'erez and A. Ros, Properly embedded minimal planar domains , Ann. of Math. (2) 181 (2015), no. 2, 473--546

    work page 2015

  41. [41]

    Micallef, Stable minimal surfaces in Euclidean space

    M.J. Micallef, Stable minimal surfaces in Euclidean space. J. Differential Geom. 19 (1984), no. 1, 57--84

    work page 1984

  42. [42]

    Moser, A new proof of De Giorgi's theorem concerning the regularity problem for elliptic differential equations , Comm

    J. Moser, A new proof of De Giorgi's theorem concerning the regularity problem for elliptic differential equations , Comm. Pure Appl. Math. 13 (1960), 457--468

    work page 1960

  43. [43]

    Moser, On Harnack's theorem for elliptic differential equations , Comm

    J. Moser, On Harnack's theorem for elliptic differential equations , Comm. Pure Appl. Math. 14 (1961), 577--591

    work page 1961

  44. [44]

    Osserman, Global properties of minimal surfaces in E^3 and E^n , Ann

    R. Osserman, Global properties of minimal surfaces in E^3 and E^n , Ann. of Math. (2) 80 (1964), 340--364

    work page 1964

  45. [45]

    P\'erez, A new golden age of minimal surfaces , Notices Amer

    J. P\'erez, A new golden age of minimal surfaces , Notices Amer. Math. Soc. 64 (2017), no. 4, 347--358

    work page 2017

  46. [46]

    P\'erez, Minimal surfaces of finite genus: Classification, dynamics and laminations , ICM Proceedings 2026, to appear

    J. P\'erez, Minimal surfaces of finite genus: Classification, dynamics and laminations , ICM Proceedings 2026, to appear

    work page 2026

  47. [47]

    Schoen, Uniqueness, symmetry, and embeddedness of minimal surfaces , J

    R. Schoen, Uniqueness, symmetry, and embeddedness of minimal surfaces , J. Differential Geom. 18 (1983), no. 4, 791--809

    work page 1983

  48. [48]

    Schoen and L

    R. Schoen and L. Simon, Regularity of stable minimal hypersurfaces , Commun. Pure Appl. Math. 34, 741--797 (1981)

    work page 1981

  49. [49]

    Simon, Lectures on geometric measure theory, Proceedings of the Centre for Mathematical Analysis, Australian National University, vol

    L. Simon, Lectures on geometric measure theory, Proceedings of the Centre for Mathematical Analysis, Australian National University, vol. 3, pp. 1--118, 1983

    work page 1983

  50. [50]

    Tam and D

    L.F. Tam and D. Zhou,

    work page

  51. [51]

    Trudinger, A new proof of the interior gradient bound for the minimal surface equation in n dimensions , Proc

    N. Trudinger, A new proof of the interior gradient bound for the minimal surface equation in n dimensions , Proc. Nat. Acad. Sci. U.S.A. 69 (1972), 821--823

    work page 1972

  52. [52]

    Wickramasekera, A general regularity theory for stable codimension 1 integral varifolds , Ann

    N. Wickramasekera, A general regularity theory for stable codimension 1 integral varifolds , Ann. of Math. (2) 179 (2014), no. 3, 843--1007

    work page 2014

  53. [53]

    Wirtinger, Eine determinantenidentit\"at und ihre anwendung auf analytische gebilde und Hermitesche massbestimmung, Monatsh

    W. Wirtinger, Eine determinantenidentit\"at und ihre anwendung auf analytische gebilde und Hermitesche massbestimmung, Monatsh. Math. Physik 44 (1936) 343-365

    work page 1936