pith. sign in

arxiv: 2606.30098 · v1 · pith:4B74TURCnew · submitted 2026-06-29 · 🧮 math.DG · math.AP

Min-Max Construction of Anisotropic Minimal Surfaces with Genus Bound

Antonio De Rosa , Aria Halavati , Ling Wang This is my paper

Pith reviewed 2026-06-30 05:16 UTC · model grok-4.3

classification 🧮 math.DG math.AP
keywords anisotropic minimal surfacesmin-max theoryisotopy classesgenus lower semicontinuityremovable singularitiesstable minimal surfaces3-manifoldsSimon-Smith construction
0
0 comments X

The pith

Every minimizing sequence of surfaces in a fixed isotopy class converges to a smooth stable anisotropic minimal surface with genus lower semicontinuity.

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

The paper proves an anisotropic version of the Meeks-Simon-Yau theorem for surfaces minimizing an anisotropic energy functional. It shows that any minimizing sequence within a fixed isotopy class in a closed 3-manifold converges to a smooth stable anisotropic minimal surface, and that the genus of the surfaces satisfies lower semicontinuity in the limit. The result strengthens White's earlier existence theorem for anisotropic minimal disks and supplies the foundation for an anisotropic Simon-Smith min-max theory. Under an ellipticity bound or C^3-pinching condition on the integrand, two removable-singularity theorems eliminate the possible isolated singular point in the limit.

Core claim

Every minimizing sequence of surfaces within a fixed isotopy class converges to a smooth stable anisotropic minimal surface, with genus lower semicontinuity. This strengthens White's foundational existence theory for anisotropic minimal disks. The authors then develop an anisotropic Simon-Smith min-max theory whose sequences limit to stable anisotropic minimal surfaces that are smooth except possibly at a single point; the singular point is removed by two independent removable singularity theorems when the integrand satisfies either an ellipticity bound or a C^3-pinching condition. The same removable-singularity results apply to the anisotropic Almgren-Pitts construction and its multiparamet

What carries the argument

Anisotropic min-max construction inside fixed isotopy classes together with removable singularity theorems for stable anisotropic minimal surfaces that are smooth away from finitely many points.

If this is right

  • An anisotropic Simon-Smith min-max theory exists in every closed 3-manifold.
  • Limits of such min-max sequences are stable anisotropic minimal surfaces smooth except possibly at one point.
  • The possible singular point can be removed when the integrand obeys ellipticity or C^3-pinching.
  • The removable singularity theorems also clear singularities in the anisotropic Almgren-Pitts construction and its multiparameter extensions.

Where Pith is reading between the lines

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

  • The isotopy-class control may extend to other anisotropic energies beyond those treated here.
  • Genus lower semicontinuity could be used to obtain existence of anisotropic minimal surfaces of prescribed topology in more manifolds.
  • Similar removable-singularity arguments might apply to anisotropic minimal surfaces in higher codimension.

Load-bearing premise

The energy integrand satisfies either an ellipticity bound or a C^3-pinching condition so that isolated singularities can be removed.

What would settle it

A minimizing sequence inside some isotopy class whose limit is an anisotropic minimal surface containing an irremovable singularity or whose genus fails to be lower semicontinuous.

read the original abstract

We establish an anisotropic analogue of the celebrated theorem of Meeks-Simon-Yau: every minimizing sequence of surfaces within a fixed isotopy class converges to a smooth stable anisotropic minimal surface, with genus lower semicontinuity. This result also strengthens White's foundational existence theory for anisotropic minimal disks. As an application, we develop an anisotropic Simon-Smith min-max theory. In every closed $3$-manifold, we construct anisotropic min-max sequences within fixed isotopy classes whose limits are stable anisotropic minimal surfaces that are smooth except possibly at a single point. If the integrand satisfies either an ellipticity bound or a $C^3$-pinching condition, we remove the singular point by proving two independent removable singularity theorems for anisotropic minimal surfaces that are smooth and stable away from finitely many points. These removable singularity results also allow to remove the singularities arising in the anisotropic Almgren-Pitts min-max construction in $3$-manifolds of De Philippis-De Rosa and in its multiparameter variants.

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

2 major / 1 minor

Summary. The paper establishes an anisotropic analogue of the Meeks-Simon-Yau theorem: every minimizing sequence of surfaces within a fixed isotopy class converges to a smooth stable anisotropic minimal surface, with genus lower semicontinuity. It strengthens White's existence theory for anisotropic minimal disks. As an application, it develops an anisotropic Simon-Smith min-max theory, constructing sequences in closed 3-manifolds whose limits are stable anisotropic minimal surfaces smooth except possibly at a single point. Under an ellipticity bound or C^3-pinching condition on the integrand, two independent removable singularity theorems are proved to remove this point; the same theorems apply to anisotropic Almgren-Pitts min-max constructions.

Significance. If the technical steps hold, the work provides a substantial extension of isotopy-class minimization and min-max theory to the anisotropic setting, yielding new existence results for smooth stable anisotropic minimal surfaces. The two independent removable singularity theorems under distinct hypotheses on the integrand represent a technical strength that could enable further applications.

major comments (2)
  1. [Abstract] Abstract: the central claim of convergence to a smooth surface is load-bearing on the removable singularity theorems, which apply only when the integrand satisfies an ellipticity bound or C^3-pinching condition. The main theorem statements must explicitly list these hypotheses on the integrand rather than stating smoothness unconditionally and deferring the condition to a later sentence.
  2. [Application section] Application to Almgren-Pitts min-max (final paragraph of abstract): the claim that the removable singularity theorems apply to the constructions of De Philippis-De Rosa and multiparameter variants requires verification that the limits produced by those constructions satisfy the 'smooth and stable away from finitely many points' hypothesis used in the new theorems.
minor comments (1)
  1. [Statements of main theorems] Ensure that the precise statement of the ellipticity bound and the C^3-pinching condition is repeated verbatim in every theorem that invokes them, to avoid ambiguity in the hypotheses.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and valuable suggestions. We address each major comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the central claim of convergence to a smooth surface is load-bearing on the removable singularity theorems, which apply only when the integrand satisfies an ellipticity bound or C^3-pinching condition. The main theorem statements must explicitly list these hypotheses on the integrand rather than stating smoothness unconditionally and deferring the condition to a later sentence.

    Authors: We agree that the hypotheses on the integrand must be stated explicitly in the main theorem statements to avoid any ambiguity. We will revise the abstract and the statements of the primary theorems (including the Meeks-Simon-Yau analogue and the Simon-Smith min-max result) to list the ellipticity bound or C^3-pinching condition as a hypothesis whenever smoothness of the limit is asserted. revision: yes

  2. Referee: [Application section] Application to Almgren-Pitts min-max (final paragraph of abstract): the claim that the removable singularity theorems apply to the constructions of De Philippis-De Rosa and multiparameter variants requires verification that the limits produced by those constructions satisfy the 'smooth and stable away from finitely many points' hypothesis used in the new theorems.

    Authors: The manuscript relies on the regularity theory from De Philippis-De Rosa, which establishes that their anisotropic Almgren-Pitts limits are smooth and stable away from finitely many points. We will add an explicit sentence in the application paragraph (and corresponding section) citing the relevant regularity statements from their work to verify that the hypothesis of our removable singularity theorems is satisfied. revision: yes

Circularity Check

0 steps flagged

No circularity: independent proofs of new theorems under explicit assumptions

full rationale

The paper states and proves an anisotropic Meeks-Simon-Yau analogue plus two removable-singularity theorems that apply precisely when the integrand meets an ellipticity bound or C^3-pinching condition. These proofs are presented as original work inside the manuscript; the smoothness conclusion is conditioned on those hypotheses rather than derived by re-labeling a fit or by a self-citation chain. No equation or claim reduces to its own input by construction, and the cited prior results (White, De Philippis-De Rosa) are external.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, ad-hoc axioms, or invented entities are identifiable. Standard background results from geometric measure theory are presumably invoked but cannot be audited.

pith-pipeline@v0.9.1-grok · 5700 in / 1187 out tokens · 41050 ms · 2026-06-30T05:16:57.819682+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

48 extracted references · 4 canonical work pages

  1. [1]

    K.An integrality theorem and a regularity theorem for surfaces whose first variation with respect to a parametric elliptic integrand is controlled

    Allard, W. K.An integrality theorem and a regularity theorem for surfaces whose first variation with respect to a parametric elliptic integrand is controlled. Geometric measure theory and the calculus of variations, Proc. Summer Inst., Arcata/Calif. 1984, Proc. Symp. Pure Math. 44, 1-28 (1986)., 1986. 22

    1984

  2. [2]

    K., and Almgren, F

    Allard, W. K., and Almgren, F. J. j.The structure of stationary one dimensional varifolds with positive density.Invent. Math. 34(1976), 83–97. 3, 12

    1976

  3. [3]

    Almgren, F. J. j.The homotopy groups of the integral cycle groups.Topology 1(1962), 257–299. 2

    1962

  4. [4]

    Almgren, F. J. j.The theory of varifolds: A variational calculus in the large for the k-dimensional area integrand. Mimeographed notes, Princeton, 1965. 2

    1965

  5. [5]

    Almgren, F. J. j.Existence and regularity almost everywhere of solutions to elliptic variational problems among surfaces of varying topological type and singularity structure.Ann. Math. (2) 87 (1968), 321–391. 2

    1968

  6. [6]

    Almgren, F. J. j., and Simon, L.Existence of embedded solutions of Plateau’s problem.Ann. Sc. Norm. Super. Pisa, Cl. Sci., IV. Ser. 6(1979), 447–495. 2, 3, 5, 10, 12, 18, 19, 20, 21, 22, 31, 38

    1979

  7. [7]

    H., and Kleiner, B.On the Multiplicity One Conjecture for Mean Curvature Flows of surfaces

    Bamler, R. H., and Kleiner, B.On the Multiplicity One Conjecture for Mean Curvature Flows of surfaces. Preprint, arXiv:2312.02106 [math.DG] (2023), 2023. 4

    work page arXiv 2023

  8. [8]

    Castillon, P.An inverse spectral problem on surfaces.Comment. Math. Helv. 81, 2 (2006), 271–286. 6, 54

    2006

  9. [9]

    Pi 11(2023), Paper No

    Chodosh, O., and Li, C.Stable anisotropic minimal hypersurfaces inR 4.Forum Math. Pi 11(2023), Paper No. e3, 22. 2, 53

    2023

  10. [10]

    H., and De Lellis, C.The min-max construction of minimal surfaces

    Colding, T. H., and De Lellis, C.The min-max construction of minimal surfaces. InSurveys in differential geometry, Vol. VIII (Boston, MA, 2002), vol. 8 ofSurv. Differ. Geom.Int. Press, Somerville, MA, 2003, pp. 75–107. 2, 6, 28, 42, 43, 44, 45

    2002

  11. [11]

    H., and Minicozzi, W

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

    2004

  12. [12]

    H., and Minicozzi, W

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

    2004

  13. [13]

    De Giorgi, E.Su una teoria generale della misura ( r− 1)-dimensionale in uno spazio ad r dimensioni. Ann. Mat. Pura Appl. (4) 36(1954), 191–213. 2

    1954

  14. [14]

    Reine Angew

    De Lellis, C., and Pellandini, F.Genus bounds for minimal surfaces arising from min-max constructions.J. Reine Angew. Math. 644(2010), 47–99. 2, 41, 42

    2010

  15. [15]

    Pure Appl

    De Philippis, G., and De Rosa, A.The anisotropic min-max theory: existence of anisotropic minimal and CMC surfaces.Comm. Pure Appl. Math. 77, 7 (2024), 3184–3226. 3, 5, 6, 12, 27, 28, 29, 42, 43, 44, 45, 46, 49, 55, 56, 57, 65

    2024

  16. [16]

    Pure Appl

    De Philippis, G., De Rosa, A., and Ghiraldin, F.Rectifiability of varifolds with locally bounded first variation with respect to anisotropic surface energies.Commun. Pure Appl. Math. 71, 6 (2018), 1123–1148. 8, 19

    2018

  17. [17]

    De Philippis, G., De Rosa, A., and Hirsch, J.The area blow up set for bounded mean curvature submanifolds with respect to elliptic surface energy functionals.Discrete Contin. Dyn. Syst. 39, 12 (2019), 7031–7056. 29, 47

    2019

  18. [18]

    Preprint, arXiv:2409.15232 [math.DG] (2024), 2024

    De Philippis, G., De Rosa, A., and Li, Y.Existence and regularity of min-max anisotropic minimal hypersurfaces. Preprint, arXiv:2409.15232 [math.DG] (2024), 2024. 3, 5, 6, 12, 45, 46, 47, 49, 56, 65

    work page arXiv 2024

  19. [19]

    De Rosa, A.On the theory of anisotropic minimal surfaces.Notices Amer. Math. Soc. 71, 7 (2024), 853–859. 2

    2024

  20. [20]

    Pure Appl

    De Rosa, A., and Kolasi ´nski, S.Equivalence of the ellipticity conditions for geometric variational problems.Comm. Pure Appl. Math. 73, 11 (2020), 2473–2515. 2

    2020

  21. [21]

    De Rosa, A., Kolasi ´nski, S., and Santilli, M.Uniqueness of critical points of the anisotropic isoperimetric problem for finite perimeter sets.Arch. Ration. Mech. Anal. 238, 3 (2020), 1157–1198. 2

    2020

  22. [22]

    De Rosa, A., and Pigati, A.Anisotropic min-max via phase transitions.arXiv preprint arXiv:2512.07039(2025). 3

    work page arXiv 2025

  23. [23]

    Communications in Partial Differential Equations 49, 1-2 (2024), 15–37

    De Rosa, A., and Resende, R.Boundary regularity for anisotropic minimal lipschitz graphs. Communications in Partial Differential Equations 49, 1-2 (2024), 15–37. 2

    2024

  24. [24]

    De Rosa, A., and Tione, R.Regularity for graphs with bounded anisotropic mean curvature.Invent. Math. 230, 2 (2022), 463–507. 2

    2022

  25. [25]

    H.Normal and integral currents.Annals of Mathematics 72, 3 (1960), 458–520

    Federer, H., and Fleming, W. H.Normal and integral currents.Annals of Mathematics 72, 3 (1960), 458–520. 2

    1960

  26. [26]

    Pure Appl

    Fischer-Colbrie, D., and Schoen, R.The structure of complete stable minimal surfaces in 3- manifolds of non- negative scalar curvature.Commun. Pure Appl. Math. 33(1980), 199–211. 4, 6, 53, 54 ANISOTROPIC MIN-MAX WITH GENUS BOUNDS 77 [28]Hass, J., and Scott, P.The existence of least area surfaces in 3-manifolds.Trans. Am. Math. Soc. 310, 1 (1988), 87–114. ...

    1980

  27. [27]

    E., and Tonegawa, Y.Convergence of phase interfaces in the van der Waals–Cahn– Hilliard theory.Calc

    Hutchinson, J. E., and Tonegawa, Y.Convergence of phase interfaces in the van der Waals–Cahn– Hilliard theory.Calc. Var. Partial Differential Equations 10(2000), 49–84. 3 [31]Ketover, D.Genus bounds for min-max minimal surfaces.J. Differ. Geom. 112, 3 (2019), 555–590. 2, 6, 11, 49, 50, 51, 66, 67, 68, 69, 75

    2000

  28. [28]

    Kolasi´nski, S., and Santilli, M.Quadratic flatness and regularity for codimension-one varifolds with bounded anisotropic mean curvature.arXiv preprint arXiv:2507.18357(2025). 2

    work page arXiv 2025

  29. [29]

    L.The Jordan-Brouwer separation theorem for smooth hypersurfaces.Am

    Lima, E. L.The Jordan-Brouwer separation theorem for smooth hypersurfaces.Am. Math. Mon. 95, 1 (1988), 39–42. 41

    1988

  30. [30]

    Partial Differential Equations 4, 4 (1991), 1–8

    Lin, F.-H.An eigenvalue problem on negatively curved manifolds.J. Partial Differential Equations 4, 4 (1991), 1–8. 54

    1991

  31. [31]

    C., and Neves, A.Morse index and multiplicity of min-max minimal hypersurfaces

    Marques, F. C., and Neves, A.Morse index and multiplicity of min-max minimal hypersurfaces. Cambridge Journal of Mathematics 4, 4 (2016), 463–511. 3, 5, 12

    2016

  32. [32]

    C., and Neves, A.Morse index of multiplicity one min-max minimal hypersurfaces

    Marques, F. C., and Neves, A.Morse index of multiplicity one min-max minimal hypersurfaces. Advances in Mathematics 378(2021), 107527. 3, 5, 12

    2021

  33. [33]

    Meeks, W. H. I., P ´erez, J., and Ros, A.Limit leaves of an H lamination are stable.J. Differ. Geom. 84, 1 (2010), 179–189. 54

    2010

  34. [34]

    Meeks, W. H. I., P ´erez, J., and Ros, A.Local removable singularity theorems for minimal laminations.J. Differ. Geom. 103, 2 (2016), 319–362. 4, 53, 55

    2016

  35. [35]

    Meeks, W. H. I., Simon, L., and Yau, S.-T.Embedded minimal surfaces, exotic spheres, and manifolds with positive Ricci curvature.Ann. Math. (2) 116(1982), 621–659. 2, 3, 5, 7, 10, 12, 13, 14, 15, 20, 32, 33, 34, 35, 36, 37, 38, 39, 40

    1982

  36. [36]

    Mooney, C., and Yang, Y.The anisotropic bernstein problem.Inventiones Mathematicae 235, 1 (2024), 211–232. 2

    2024

  37. [37]

    Morgan, F.A sharp counterexample on the regularity of Φ-minimizing hypersurfaces.Bull. Amer. Math. Soc. (N.S.) 22, 2 (1990), 295–299. 2

    1990

  38. [38]

    T.Existence and regularity of minimal surfaces on Riemannian manifolds, vol

    Pitts, J. T.Existence and regularity of minimal surfaces on Riemannian manifolds, vol. 27 ofMath. Notes (Princeton). Princeton University Press, Princeton, NJ, 1981. 2, 3, 12

    1981

  39. [39]

    Sarnataro, L., and Stryker, D.Optimal regularity for minimizers of the prescribed mean curvature functional over isotopies.Cambridge Journal of Mathematics 13, 3 (2025), 609–706. 4, 6

    2025

  40. [40]

    Pure Appl

    Schoen, R., and Simon, L.Regularity of stable minimal hypersurfaces.Commun. Pure Appl. Math. 34(1981), 741–757. 2, 3

    1981

  41. [41]

    J.Regularity and singularity estimates on hypersurfaces minimizing parametric elliptic variational integrals.Acta Mathematica 139, none (1977), 217 – 265

    Schoen, R., Simon, L., and Almgren, F. J.Regularity and singularity estimates on hypersurfaces minimizing parametric elliptic variational integrals.Acta Mathematica 139, none (1977), 217 – 265. 2

    1977

  42. [42]

    3 ofProc

    Simon, L.Lectures on geometric measure theory, vol. 3 ofProc. Cent. Math. Anal. Aust. Natl. Univ. Australian National University, Centre for Mathematical Analysis, Canberra, 1983. 7

    1983

  43. [43]

    R.On the existence of embedded minimal 2-spheres in the 3-sphere, endowed with an arbitrary Riemannian metric

    Smith, F. R.On the existence of embedded minimal 2-spheres in the 3-sphere, endowed with an arbitrary Riemannian metric. PhD thesis, University of Melbourne, 1982. Ph.D. thesis, Supervisor: Leon Simon. 2, 42

    1982

  44. [44]

    Solomon, B., and White, B.A strong maximum principle for varifolds that are stationary with respect to even parametric elliptic functionals.Indiana Univ. Math. J. 38, 3 (1989), 683–691. 22, 38

    1989

  45. [45]

    White, B.Curvature estimates and compactness theorems in 3-manifolds for surfaces that are stationary for parametric elliptic functionals.Invent. Math. 88, 2 (1987), 243–256. 3, 65

    1987

  46. [46]

    White, B.Existence of smooth embedded surfaces of prescribed genus that minimize parametric even elliptic functionals on 3-manifolds.J. Differ. Geom. 33, 2 (1991), 413–443. 3, 5, 10, 12, 17, 22, 23

    1991

  47. [47]

    InSeminar on Differential Geometry, vol

    Yau, S.-T.Problem section. InSeminar on Differential Geometry, vol. 102 ofAnnals of Mathematics Studies. Princeton University Press, Princeton, NJ, 1982, pp. 669–706. 3, 5, 12

    1982

  48. [48]

    Zhou, X.On the multiplicity one conjecture in min-max theory.Annals of Mathematics 192, 3 (2020), 767–820. 3, 5, 12 Department of Decision Sciences and BIDSA, Bocconi University, Milano, Italy Email address:antonio.derosa@unibocconi.it Department of Decision Sciences and BIDSA, Bocconi University, Milano, Italy Email address:aria.halavati@unibocconi.it De...

    2020