pith. sign in

arxiv: 2605.04399 · v1 · submitted 2026-05-06 · 🧮 math.DG

Holomorphicity of stable minimal surfaces of low genus

Nathaniel Sagman , Thomas-Ren\'e Thalmaier This is my paper

Pith reviewed 2026-05-08 17:09 UTC · model grok-4.3

classification 🧮 math.DG
keywords minimal surfacesstabilityholomorphicitygenus zerobranched immersionsWeierstrass-Enneper datadestabilizing variations
0
0 comments X

The pith

A branched minimal immersion from the plane into Euclidean space is stable if and only if it lies in an even-dimensional subspace and is holomorphic with respect to some compatible complex structure.

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

The paper proves an if-and-only-if characterization for stability of minimal immersions from the complex plane to R^n: stability holds exactly when the surface sits inside an even-dimensional affine subspace and becomes holomorphic for an orthogonal complex structure on that subspace. The same equivalence extends to a broader class of genus-zero surfaces that may carry infinite total curvature. The argument supplies explicit destabilizing variations for any surface that fails the holomorphic condition, read directly from its Weierstrass-Enneper data. As a consequence, covering stable minimal surfaces of genus zero and one must be holomorphic, recovering a prior result of Fraser and Schoen as a special case.

Core claim

A (branched) minimal immersion from C to R^n is stable if and only if it lives in an even-dimensional affine subspace and is holomorphic for some orthogonal complex structure on the subspace. The same characterization holds for a class of genus-0 surfaces that can have infinite total curvature. The proof constructs explicit variations that destabilize any surface violating the holomorphic condition, with the destabilization radius readable from the Weierstrass-Enneper representation.

What carries the argument

The variation-construction method that produces explicit destabilizing variations directly from Weierstrass-Enneper data.

Load-bearing premise

The variation-construction technique developed for genus-zero surfaces continues to apply even when total curvature is infinite.

What would settle it

An explicit example of a stable branched minimal immersion from the plane to R^n that does not lie in any even-dimensional affine subspace or fails to be holomorphic for every possible orthogonal complex structure on such a subspace.

read the original abstract

We prove that a (branched) minimal immersion from $\mathbb{C}$ to $\mathbb{R}^n$ is stable if and only if it lives in an even dimensional affine subspace and is holomorphic for some orthogonal complex structure on the subspace. More generally, we prove that the same result holds for a class of genus $0$ surfaces that can have infinite total curvature. This contributes to an inquiry initiated by Micallef, who previously proved the equivalence in genus $0$ assuming completeness and finite total curvature. As a corollary, we prove a holomorphicity result for covering stable minimal surfaces of genus $0$ and $1$, recovering a theorem of Fraser and Schoen as a particular case. Our approach is new, based on a method of constructing variations developed by the first named author and Markovi\'c. For unstable surfaces, we get explicit destabilizations and destabilization radii that can be read from the Weierstrass-Enneper data.

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 / 2 minor

Summary. The manuscript proves that a (branched) minimal immersion from C to R^n is stable if and only if it lies in an even-dimensional affine subspace and is holomorphic with respect to some orthogonal complex structure on that subspace. The result is extended to a broader class of genus-0 surfaces that may have infinite total curvature, using an explicit variation construction developed by the first author and Marković. Explicit destabilizing variations and radii are obtained from the Weierstrass-Enneper data. As a corollary, the authors derive holomorphicity statements for covering stable minimal surfaces of genus 0 and 1, recovering the Fraser-Schoen theorem in a special case.

Significance. If the central claims hold, the work supplies a complete if-and-only-if characterization of stable minimal surfaces in low genus, extending Micallef's earlier result (which required completeness and finite total curvature) to a larger class. The explicit construction of destabilizing variations is a concrete strength that could be useful in other stability problems. The corollary recovers a known theorem as a special case while broadening the context. The new variation method, if rigorously justified in the infinite-curvature regime, represents a technical advance in the field.

major comments (2)
  1. [§3 (variation construction) and proof of Theorem 1.2] The extension of the Marković variation construction to the infinite-total-curvature genus-0 case is load-bearing for the general statement (abstract and §1). The manuscript must supply explicit integrability and decay estimates showing that the constructed variations remain admissible, that the second-variation integrals converge absolutely, and that they are strictly negative whenever the surface fails to be holomorphic in an even-dimensional subspace. Without these estimates the 'only if' direction for the general class is not yet verified.
  2. [§2.2 and §4] In the treatment of branched points (abstract and §2), the stability operator and the second-variation formula must be shown to remain well-defined and to produce admissible test functions even when the branch points are present. The current outline does not indicate how the integrals are regularized or how the branched locus is handled in the infinite-curvature setting.
minor comments (2)
  1. [Introduction] The precise definition of the admissible class of genus-0 surfaces (including the allowed singularities or growth conditions on the Weierstrass data) should be stated as a numbered definition early in the paper rather than only in the abstract.
  2. [§1 and §3] Notation for the orthogonal complex structure and the affine subspace should be introduced uniformly; currently the same symbols appear to be reused in slightly different contexts between the C case and the general genus-0 case.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major point below and will incorporate clarifications and additional details in the revised version.

read point-by-point responses

  1. Referee: [§3 (variation construction) and proof of Theorem 1.2] The extension of the Marković variation construction to the infinite-total-curvature genus-0 case is load-bearing for the general statement (abstract and §1). The manuscript must supply explicit integrability and decay estimates showing that the constructed variations remain admissible, that the second-variation integrals converge absolutely, and that they are strictly negative whenever the surface fails to be holomorphic in an even-dimensional subspace. Without these estimates the 'only if' direction for the general class is not yet verified.

    Authors: We agree that explicit estimates would make the argument more transparent. In the revision we will add a new subsection to §3 that derives the required integrability and decay bounds directly from the Weierstrass–Enneper data of the immersion. These bounds show that the test variations are admissible, that the second-variation integrals converge absolutely, and that the quadratic form is strictly negative precisely when the surface is not holomorphic with respect to an orthogonal complex structure on an even-dimensional subspace. The estimates rely on the holomorphic character of the data and the explicit form of the Marković-type variations, thereby completing the 'only if' direction for the infinite-curvature genus-0 class. revision: yes

  2. Referee: [§2.2 and §4] In the treatment of branched points (abstract and §2), the stability operator and the second-variation formula must be shown to remain well-defined and to produce admissible test functions even when the branch points are present. The current outline does not indicate how the integrals are regularized or how the branched locus is handled in the infinite-curvature setting.

    Authors: Branch points are isolated and of finite multiplicity. The stability operator and second-variation integrand are smooth on the complement of this discrete set, which has full measure. Near each branch point the local Weierstrass data imply that any singularities in the integrand are of integrable order (comparable to 1/r in suitable coordinates), so the integrals converge absolutely without regularization. In the revision we will insert a short paragraph in §2.2 (and a corresponding remark in §4) that records this local analysis and confirms that the constructed test functions remain admissible even when total curvature is infinite. revision: yes

Circularity Check

0 steps flagged

Direct proof via explicit variation construction; no reduction to inputs or self-citation chains

full rationale

The derivation establishes the stability-holomorphicity equivalence by constructing explicit destabilizing variations from the Weierstrass-Enneper data for non-holomorphic surfaces, extending a prior technique to the infinite-curvature genus-0 case. This is a constructive proof technique rather than a fitted parameter, self-definition, or imported uniqueness theorem. The cited method of the first author and Marković supplies an independent construction tool whose application to the new regime constitutes the paper's contribution; no equation or claim reduces by construction to its own inputs, and the self-citation is not load-bearing in the circular sense defined by the criteria. The result remains self-contained against external benchmarks such as Micallef's finite-curvature theorem.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on classical definitions from minimal-surface theory together with a novel construction of variations; no free parameters or new postulated entities appear in the abstract.

axioms (3)
  • standard math A minimal immersion has vanishing mean curvature vector.
    Standard definition invoked throughout the theory of minimal surfaces.
  • standard math Stability is equivalent to non-negativity of the second variation of area for all admissible variations.
    Core definition of stability used to formulate the iff statement.
  • standard math Minimal surfaces admit a Weierstrass-Enneper representation in terms of holomorphic data.
    Representation used to construct explicit destabilizations.

pith-pipeline@v0.9.0 · 5463 in / 1372 out tokens · 49505 ms · 2026-05-08T17:09:43.398104+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

17 extracted references · 17 canonical work pages

  1. [1]

    L´ opez, and Franc Forstneriˇ c.Minimal Surfaces from a Complex Analytic Viewpoint

    Antonio Alarc´ on, Francisco J. L´ opez, and Franc Forstneriˇ c.Minimal Surfaces from a Complex Analytic Viewpoint. Springer Monographs in Mathematics. Springer, 2021

    work page 2021

  2. [2]

    Arezzo and M

    C. Arezzo and M. J. Micallef. Minimal surfaces in flat tori.Geometric and Functional Analysis, 10(4):679–701, 2000

    work page 2000

  3. [3]

    Stable minimal surfaces of finite total cur- vature.Communications in Analysis and Geometry, 10(1):11–22, 2002

    Claudio Arezzo, Mario J Micallef, and Gian Pietro Pirola. Stable minimal surfaces of finite total cur- vature.Communications in Analysis and Geometry, 10(1):11–22, 2002

    work page 2002

  4. [4]

    J. L. Barbosa and M. do Carmo. On the size of a stable minimal surface inR 3.Amer. J. Math., 98(2):515–528, 1976

    work page 1976

  5. [5]

    Stability of minimal surfaces and eigenvalues of the Laplacian.Mathematische Zeitschrift, 173:13–28, 1980

    Joao Lucas Barbosa and Manfredo do Carmo. Stability of minimal surfaces and eigenvalues of the Laplacian.Mathematische Zeitschrift, 173:13–28, 1980

    work page 1980

  6. [6]

    Holomorphicity of parabolic stable minimal surfaces of high codimension, 2025

    Da Rong Cheng, Spiro Karigiannis, and Jesse Madnick. Holomorphicity of parabolic stable minimal surfaces of high codimension, 2025. arXiv:2509.22155

    work page arXiv 2025

  7. [7]

    Complete minimal surfaces in Euclideann-space.Journal d’Analyse Math´ ematique, 19:15–34, 1967

    Shiing-Shen Chern and Robert Osserman. Complete minimal surfaces in Euclideann-space.Journal d’Analyse Math´ ematique, 19:15–34, 1967

    work page 1967

  8. [8]

    do Carmo and Chia-kuei Peng

    Manfredo P. do Carmo and Chia-kuei Peng. Stable complete minimal surfaces inR 3 are planes.Bulletin of the American Mathematical Society, 1(6):903–906, 1979

    work page 1979

  9. [9]

    Fischer-Colbrie and Richard M

    D. Fischer-Colbrie and Richard M. Schoen. The structure of complete stable minimal surfaces in 3- manifolds of non-negative scalar curvature.Communications on Pure and Applied Mathematics, 33:199– 211, 1980

    work page 1980

  10. [10]

    Stability and largeness properties of minimal surfaces in higher codimension.Journal of the European Mathematical Society, 2023

    Ailana Fraser and Richard Schoen. Stability and largeness properties of minimal surfaces in higher codimension.Journal of the European Mathematical Society, 2023. arXiv:2303.07423

    work page arXiv 2023

  11. [11]

    Blaine Lawson, Jr.Lectures on minimal submanifolds

    H. Blaine Lawson, Jr.Lectures on minimal submanifolds. Vol. I, volume 9 ofMathematics Lecture Series. Publish or Perish, Inc., Wilmington, Del., second edition, 1980

    work page 1980

  12. [12]

    Non-uniqueness of minimal surfaces in a product of closed Riemann surfaces.Geom

    Vladimir Markovi´ c. Non-uniqueness of minimal surfaces in a product of closed Riemann surfaces.Geom. Funct. Anal., 32(1):31–52, 2022

    work page 2022

  13. [13]

    Minimal surfaces and the new main inequality.Annales Fennici Mathematici, 49(1):99–117, 2024

    Vladimir Markovi´ c and Nathaniel Sagman. Minimal surfaces and the new main inequality.Annales Fennici Mathematici, 49(1):99–117, 2024

    work page 2024

  14. [14]

    Unstable minimal surfaces inR n and in products of hyperbolic surfaces.Commentarii Mathematici Helvetici, 100:93–121, 2025

    Vladimir Markovi´ c, Nathaniel Sagman, and Peter Smillie. Unstable minimal surfaces inR n and in products of hyperbolic surfaces.Commentarii Mathematici Helvetici, 100:93–121, 2025

    work page 2025

  15. [15]

    A note on branched stable two-dimensional minimal surfaces.Proc

    Mario J Micallef. A note on branched stable two-dimensional minimal surfaces.Proc. Centre Math. Anal. Austral. Nat. Univ, 10:157–165, 1984

    work page 1984

  16. [16]

    Stable minimal surfaces in Euclidean space.Journal of Differential Geometry, 19(1):57–84, 1984

    Mario J Micallef. Stable minimal surfaces in Euclidean space.Journal of Differential Geometry, 19(1):57–84, 1984

    work page 1984

  17. [17]

    Gesammelte math

    Karl Herman Amandus Schwarz. Gesammelte math. Abhandlungen.Erster Band, J. Springer, Berlin, pages 224–269, 151–167, 1890. Nathaniel Sagman, University of North Carolina at Chapel Hill, NC, United States Email address:nsagman@unc.edu Thomas-Ren´e Thalmaier, Institut Polytechnique de Paris, Palaiseau, France Email address:thr.thalm@gmail.com

    work page