pith. machine review for the scientific record. sign in

arxiv: 2605.08487 · v1 · submitted 2026-05-08 · 🧮 math.DG

Recognition: 2 theorem links

· Lean Theorem

Minimal surfaces with closed curvature lines

Carlos Andr\'es Toro Cardona

Pith reviewed 2026-05-12 01:14 UTC · model grok-4.3

classification 🧮 math.DG
keywords minimal surfacesfinite total curvaturecurvature linesnon-orientable surfacescomplete surfacesfree boundaryends of surfaces
0
0 comments X

The pith

Complete non-orientable minimal surfaces of finite total curvature in R^3 with ends foliated by closed curvature lines cannot have one end.

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

The paper studies complete non-orientable minimal surfaces of finite total curvature in three-dimensional Euclidean space whose ends are foliated by closed lines of curvature. This foliation turns out to be a necessary condition whenever the surface has a free-boundary piece inside some Euclidean ball. The resulting rigidity allows the authors to prove that no such surfaces exist with exactly one end, together with additional obstructions.

Core claim

Complete non-orientable minimal surfaces of finite total curvature in R^3 whose ends are foliated by closed lines of curvature form a rigid class. In particular, no examples with one end exist, because the foliation condition, which is forced by the presence of any free-boundary piece inside a Euclidean ball, imposes strong geometric constraints that rule out the single-end case.

What carries the argument

Foliation of the ends by closed lines of curvature, which forces rigidity on the surface and is required by any free-boundary piece inside a Euclidean ball.

If this is right

  • The closed curvature lines foliation condition is forced whenever the surface contains a free-boundary piece inside a Euclidean ball.
  • The rigidity prevents existence of any one-ended example.
  • Additional obstructions beyond the one-end case limit the possible surfaces in this class.

Where Pith is reading between the lines

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

  • Similar rigidity may constrain the possible numbers of ends or topological types even when more than one end is allowed.
  • The result connects free-boundary minimal surface problems inside balls to global properties of complete surfaces with finite total curvature.
  • Multi-ended examples, if they exist, must satisfy extra compatibility conditions between the foliations at each end.

Load-bearing premise

The closed curvature lines foliation on the ends is necessary for any free-boundary piece inside a Euclidean ball and supplies enough rigidity to prove non-existence for one-ended surfaces.

What would settle it

An explicit example of a one-ended non-orientable minimal surface of finite total curvature whose ends are foliated by closed curvature lines would disprove the non-existence result.

Figures

Figures reproduced from arXiv: 2605.08487 by Carlos Andr\'es Toro Cardona.

Figure 1
Figure 1. Figure 1: Maximal principal foliation FX of Theorem 3.13 Item (b), with n = 2. Definition 3.11. Let X : Σ\{p1, . . . pN } → R 3 be a complete minimal immersion of finite total curvature, such that its Hopf differential has a pole of order at most 2 at each pj . Let ϕ(z), z = u + iv, be the associated complex function to the Hopf differential with respect to isothermic coordinates of Σ centered at the end pj . We def… view at source ↗
Figure 2
Figure 2. Figure 2: Maximal principal foliation FX of Theorem 3.13, Items (a) and (c). The case b = 0 and a < 0 just swaps the maximal and minimal directions V±, so the proof is the same. Finally consider the case b ̸= 0. Consider a curve z(t) = x(t) + iy(t) integrating the maximal principal foliation FX, i.e. V+ =  dx dt , dy dt  . Then dr dt e iθ + ir dθ dt e iθ = dx dt + i dy dt = 2(a − ib) r 2 e 2iθ + 2 √ a 2 + b 2 r 2 … view at source ↗
Figure 3
Figure 3. Figure 3: Jorge-Meeks n + 1-nodoids. Proof. Let ψ : U ⊂ C → Σ be a chart centered at pj , and write n = ordpj (g), m = ordpj dh, g ◦ ψ(z) = z nH(z), ψ∗ dh(z) = z mH˜ (z)dz. By the completeness condition and equation (3), we must have that m < |n|. We have two cases to consider (1) Case 1. n ̸= 0. By Proposition 2.5 dg g has a simple pole at pj which implies ordpjQH = m − 1. We study the possibilities: • 0 < n, 0 < m… view at source ↗
Figure 4
Figure 4. Figure 4: Surface from Theorem 4.20 Since  d dz n1−1 [PITH_FULL_IMAGE:figures/full_fig_p018_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: The surface of Theorem 4.22 and its maximal principal foliation. closed. On one hand dg g has a simple pole with residue 1 at z = 0 and on the other hand the height differential dh = i (1 − p 2 z 2 )(1 − q 2 z 2 )(z 2 − p 2 )(z 2 − q 2 ) z(z 2 − 1)4 , has also a simple pole at z = 0 with residue ip2 q 2 = −λ ∈ R ∗ , which implies that the Hopf differential has a pole of order two at z = 0 with limz→0 z 2ϕ(… view at source ↗
Figure 6
Figure 6. Figure 6: Quadratic differential Q∗ of Example 4.25 with closed curvature lines. Proof. Let Q ∈ Q. Since Q has poles of order two at the punctures and since it is meromorphic, it must be of the form Q = P(z) z 2(z − a) 2(az + 1)2 dz2 , where P is a polynomial with P(0), P(a), P − 1 a  ̸= 0. By the Poincar´e-Hopf theorem applied to the maximal principal foliation associated with this quadratic differential we obtain… view at source ↗
read the original abstract

We investigate complete non-orientable minimal surfaces of finite total curvature in $\mathbb{R}^3$ such that their ends are foliated by closed lines of curvature. This condition on the ends is necessary if they have a piece inside some Euclidean ball that is free boundary. It turns out this is a rigid situation, and we are able to show, among further obstructions, that there are no such surfaces with one end.

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 paper studies complete non-orientable minimal surfaces of finite total curvature in R^3 whose ends are foliated by closed curvature lines. It shows that this foliation condition is necessary whenever the surface has a free-boundary piece inside a Euclidean ball. Via the Weierstrass representation and analysis of the Gauss map under the closed-line condition, the authors establish rigidity and prove, among other obstructions, that no such surfaces exist with exactly one end.

Significance. If the results hold, they provide new rigidity theorems for non-orientable finite-total-curvature minimal surfaces, linking end foliation conditions to free-boundary problems and yielding concrete non-existence statements. The use of Weierstrass data and Gauss-map analysis offers a structured approach that may extend to related classification questions in minimal surface theory.

minor comments (3)
  1. The abstract and introduction would benefit from a brief explicit statement of the Weierstrass representation data (meromorphic functions and the holomorphic quadratic differential) used to encode the closed-curvature-line condition on the ends.
  2. Section 3 (or wherever the Gauss-map analysis appears) should include a short remark clarifying why the non-orientability does not introduce additional branch points or covering issues in the Gauss map that could affect the one-end non-existence argument.
  3. The necessity proof for the foliation condition (free-boundary piece inside a ball) would be clearer if the authors added a one-sentence reference to the relevant boundary regularity result or maximum principle invoked.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for recommending minor revision. Their summary accurately captures the main results and methods of the paper.

read point-by-point responses

  1. Referee: The paper studies complete non-orientable minimal surfaces of finite total curvature in R^3 whose ends are foliated by closed lines of curvature. It shows that this foliation condition is necessary whenever the surface has a free-boundary piece inside a Euclidean ball. Via the Weierstrass representation and analysis of the Gauss map under the closed-line condition, the authors establish rigidity and prove, among other obstructions, that no such surfaces exist with exactly one end.

    Authors: We appreciate the referee's concise and accurate summary of our results. The description correctly reflects the content of the manuscript, including the necessity of the foliation condition in the free-boundary setting, the use of Weierstrass data and Gauss map analysis, and the non-existence theorem for one-ended surfaces. No revisions are required in response to this comment. revision: no

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation establishes rigidity and non-existence for one-ended non-orientable finite-total-curvature minimal surfaces whose ends are foliated by closed curvature lines, using the Weierstrass representation together with analysis of the Gauss map under the closed-line condition. The necessity of the foliation condition for free-boundary pieces inside balls is shown via geometric properties, and the obstructions (including one-end non-existence) follow from standard minimal-surface techniques without reducing to self-definitional equations, fitted inputs renamed as predictions, or load-bearing self-citation chains. No load-bearing step equates a claimed result to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The claim rests on standard axioms of minimal surface theory together with the domain assumption that closed curvature lines on ends are required for free-boundary pieces inside a ball. No free parameters or new entities are introduced in the abstract.

axioms (3)
  • standard math Minimal surfaces have vanishing mean curvature.
    Core definition used throughout differential geometry of surfaces in R^3.
  • domain assumption Finite total curvature implies controlled asymptotic behavior at the ends.
    Standard hypothesis allowing classification and analysis of ends for minimal surfaces.
  • domain assumption Closed curvature lines on ends are necessary for free-boundary pieces inside a Euclidean ball.
    Key additional premise stated in the abstract that enables the rigidity argument.

pith-pipeline@v0.9.0 · 5345 in / 1484 out tokens · 72380 ms · 2026-05-12T01:14:34.735435+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.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages

  1. [1]

    Superf´ ıcies m´ ınimas, completas, n˜ ao orient´ aveis emR3 com curvatura total finita

    A. Barros. “Superf´ ıcies m´ ınimas, completas, n˜ ao orient´ aveis emR3 com curvatura total finita”. In: Instituto de Matem´ atica Pura e Aplicada. Tese de Doutorado (1986)

    work page 1986

  2. [2]

    Surfaces in Conformal Geometry

    R. Bryant. “Surfaces in Conformal Geometry”. In: Proceedings of Symposia in Pure Mathematics 48 (1988), pp. 227–240.doi:10.1090/pspum/048/974338

    work page doi:10.1090/pspum/048/974338 1988

  3. [3]

    Elliptische und hyperelliptische Funktionen und vollst¨ andige Min- imalfl¨ achen vom Enneperschen Typ

    C. Chen and F. Gackstatter. “Elliptische und hyperelliptische Funktionen und vollst¨ andige Min- imalfl¨ achen vom Enneperschen Typ”. In:Mathematische Annalen259 (1982), pp. 359–369.doi: 10.1007/BF01456948

    work page doi:10.1007/bf01456948 1982

  4. [4]

    Example of a complete minimal immersion inR 3 of genus one and three-embedded ends

    C. Costa. “Example of a complete minimal immersion inR 3 of genus one and three-embedded ends”. In:Bol. Soc. Bras. Mat15 (1984), pp. 47–54.doi:10.1007/BF02584707

    work page doi:10.1007/bf02584707 1984

  5. [5]

    Minimal surfaces inR 3

    U. Dierkes et al. “Minimal surfaces inR 3”. In: (2010).doi:10.1007/978-3-642-11698-8

    work page doi:10.1007/978-3-642-11698-8 2010

  6. [6]

    Complete minimal surfaces inR 3 with type Enneper end

    N. do Espirito Santo. “Complete minimal surfaces inR 3 with type Enneper end”. In:Anais da Academia Brasileira de Ciˆ encias65 (Jan. 1993).doi:10.5802/aif.1408

    work page doi:10.5802/aif.1408 1993

  7. [7]

    Sharp eigenvalue bounds and minimal surfaces in the ball

    A. Fraser and R. Schoen. “Sharp eigenvalue bounds and minimal surfaces in the ball”. In: Invent. Math. 203.3 (2016), pp. 823–890.doi:10.1007/s00222-015-0604-x

    work page doi:10.1007/s00222-015-0604-x 2016

  8. [8]

    Introduction to Compact Riemann Surfaces and Dessins d’Enfants

    E. Girondo and G. Gonzales. “Introduction to Compact Riemann Surfaces and Dessins d’Enfants”. In: (2012).doi:10.1017/CBO9781139048910

    work page doi:10.1017/cbo9781139048910 2012

  9. [9]

    Principal lines on surfaces immersed with constant mean curva- ture

    C. Guti´ errez and J. Sotomayor. “Principal lines on surfaces immersed with constant mean curva- ture”. In:Trans. Amer. Math. Soc.293.2 (1986), pp. 751–766.doi:10.2307/2000035

    work page doi:10.2307/2000035 1986

  10. [10]

    Nonorientable minimal surfaces with catenoidal ends

    K. Hamada and S. Kato. “Nonorientable minimal surfaces with catenoidal ends”. In: Annali di Matematica 200 (2021), pp. 1573–1603.doi:10.1007/s10231-020-01048-4

    work page doi:10.1007/s10231-020-01048-4 2021

  11. [11]

    Nonorientable minimal surfaces with various types of ends

    K. Hamada and S. Kato. “Nonorientable minimal surfaces with various types of ends”. In: Modern Approaches to Differential Geometry and its Related Fields (2025)

    work page 2025

  12. [12]

    ¨Uber salche minimalfl¨ ache, welche eine vorgeschriebene ebene curve sur geod¨ atishen line haben

    L. Henneberg. “ ¨Uber salche minimalfl¨ ache, welche eine vorgeschriebene ebene curve sur geod¨ atishen line haben”. In: Doctoral Dissertation, Eidgen¨ ossisches Polythechikum, Zurich (1875)

    work page

  13. [13]

    Complete embedded minimal surfaces of finite total curvature

    D. Hoffman and W. Meeks. “Complete embedded minimal surfaces of finite total curvature”. In: Bulletin (New Series) of the American Mathematical Society12.1 (1985), pp. 134–136.doi:10. 1090/S0273-0979-1985-15318-2

    work page 1985

  14. [14]

    Complete M¨ obius strips minimally immersed inR 3

    T. Ishihara. “Complete M¨ obius strips minimally immersed inR 3”. In: Proc. Amer. Math. Soc 107.3 (1989).doi:10.2307/2048181

    work page doi:10.2307/2048181 1989

  15. [15]

    Complete nonorientable minimal surfaces inR 3

    T. Ishihara. “Complete nonorientable minimal surfaces inR 3”. In: Transactions of the American Mathematical Society 333.2 (1992), pp. 889–901.doi:10.2307/2154069

    work page doi:10.2307/2154069 1992

  16. [16]

    Nonexistence of a projective plane minimally immersed with some embeddedness

    T. Ishihara. “Nonexistence of a projective plane minimally immersed with some embeddedness”. In: J. Math. Tokushima Univ. 26 (1992), pp. 9–17

    work page 1992

  17. [17]

    The topology of complete minimal surfaces of finite total Gaussian cur- vature

    L. Jorge and W. Meeks. “The topology of complete minimal surfaces of finite total Gaussian cur- vature”. In:Topology22.2 (1983), pp. 203–221.doi:10.1016/0040-9383(83)90032-0

    work page doi:10.1016/0040-9383(83)90032-0 1983

  18. [18]

    Free boundary minimal surfaces in the unit three-ball via desingular- ization of the critical catenoid and the equatorial disc

    N. Kapouleas and M. Li. “Free boundary minimal surfaces in the unit three-ball via desingular- ization of the critical catenoid and the equatorial disc”. In: Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal) 2021.776 (2021), pp. 201–254.doi:10.1515/crelle-2020-0050

    work page doi:10.1515/crelle-2020-0050 2021

  19. [19]

    Free boundary minimal surfaces of unbounded genus

    D. Ketover. “Free boundary minimal surfaces of unbounded genus”. In: Preprint arXiv:1612.08691 (2016).doi:10.48550/arXiv.1612.08691. REFERENCES 24

    work page doi:10.48550/arxiv.1612.08691 2016

  20. [20]

    Conformal geometry and complete minimal surfaces

    R. Kusner. “Conformal geometry and complete minimal surfaces”. In:Bulletin (New Series) of the American Mathematical Society17.2 (1987), pp. 291–295.doi:10.1090/S0273- 0979-1987- 15564-9

    work page doi:10.1090/s0273- 1987

  21. [21]

    The Spinor Representation of Minimal Surfaces

    R. Kusner and N. Schmitt. “The Spinor Representation of Minimal Surfaces”. In: Preprint (1995). doi:10.48550/arXiv.dg-ga/9512003

    work page doi:10.48550/arxiv.dg-ga/9512003 1995

  22. [22]

    A new approach to the Fraser-Li conjecture with the Weierstrass representation formula

    J. Lee and E. Yeon. “A new approach to the Fraser-Li conjecture with the Weierstrass representation formula”. In: Proc. Amer. Math. Soc. 149 (2021), pp. 5331–5345.doi:10.1090/proc/15630

    work page doi:10.1090/proc/15630 2021

  23. [23]

    Complete minimal surfaces inR 3

    F. L´ opez and F. Mart´ ın. “Complete minimal surfaces inR 3”. In:Publicacions Matem` atiques43 (1999), pp. 341–449.doi:10.5565/PUBLMAT\_43299\_01

    work page doi:10.5565/publmat 1999

  24. [24]

    A complete minimal Klein bottle inR 3

    Francisco J. L´ opez. “A complete minimal Klein bottle inR 3”. In:Duke Mathematical Journal71.1 (1993), pp. 23–30.doi:10.1215/S0012-7094-93-07102-5

    work page doi:10.1215/s0012-7094-93-07102-5 1993

  25. [25]

    Complete nonorientable minimal surfaces and symme- tries

    Francisco J. L´ opez and Francisco Mart´ ın. “Complete nonorientable minimal surfaces and symme- tries”. In:Duke Mathematical Journal79.3 (1995), pp. 667–686.doi:10.1215/S0012-7094-95- 07917-4

    work page doi:10.1215/s0012-7094-95- 1995

  26. [26]

    Minimal Surfaces of Least Total Curvature and Moduli Spaces of Plane Polygonal Arcs

    M.Weber and M. Wolf. “Minimal Surfaces of Least Total Curvature and Moduli Spaces of Plane Polygonal Arcs”. In:GAFA, Geom. funct. anal.8 (1998), pp. 1129–1170.doi:10.1007/s000390050125

    work page doi:10.1007/s000390050125 1998

  27. [27]

    Superficies Minimales No Orientables enR 3

    F. Martin. “Superficies Minimales No Orientables enR 3”. In: Tesis Doctoral (1996)

    work page 1996

  28. [28]

    The classification of complete minimal surfaces inR 3 with total curvature greater than −8π

    W. Meeks. “The classification of complete minimal surfaces inR 3 with total curvature greater than −8π”. In: Duke Math. J. 48.3 (1981), pp. 523–535.doi:10.1215/S0012-7094-81-04829-8

    work page doi:10.1215/s0012-7094-81-04829-8 1981

  29. [29]

    Stationary partitioning of convex bodies

    J. Nitsche. “Stationary partitioning of convex bodies”. In: Arch. Rational Mech. Anal. 89 (1985), pp. 1–19.doi:10.1007/BF00281743

    work page doi:10.1007/bf00281743 1985

  30. [30]

    Some new examples of nonorientable minimal surfaces

    M. Oliveira. “Some new examples of nonorientable minimal surfaces”. In: Proc. Amer. Math. Soc. 98 (1986), pp. 629–635.doi:10.2307/2045740

    work page doi:10.2307/2045740 1986

  31. [31]

    Global Properties of Minimal Surfaces inE 3 andE n

    R. Osserman. “Global Properties of Minimal Surfaces inE 3 andE n”. In: 80.2 (1964), pp. 340–364. doi:https://doi.org/10.2307/1970396

    work page doi:10.2307/1970396 1964

  32. [32]

    A survey of minimal surfaces

    R. Osserman. “A survey of minimal surfaces”. In: (1986)

    work page 1986

  33. [33]

    and Parshall, B

    K. Sato. “Construction of higher genus minimal surfaces with one end and finite total curvature”. In:Tohoku Math. J.2.48 (1996), pp. 229–246.doi:10.2748/tmj/1178225378

    work page doi:10.2748/tmj/1178225378 1996

  34. [34]

    Geometric analysis gallery

    M. Schulz. “Geometric analysis gallery.” In: ().url:https://mbschulz.github.io/

    work page

  35. [35]

    Higher-genus Chen–Gackstatter surfaces and the Weierstrass representation for surfaces of infinite genus

    E. Thayer. “Higher-genus Chen–Gackstatter surfaces and the Weierstrass representation for surfaces of infinite genus”. In:Experiment. Math.4 (1995), pp. 19–39.url:http://projecteuclid.org/ euclid.em/1062621140

    work page arXiv 1995

  36. [36]

    Non-existence of free boundary minimal M¨ obius bands in the unit three-ball

    C. Toro. “Non-existence of free boundary minimal M¨ obius bands in the unit three-ball”. In:Proceed- ings of the American Mathematical Society153.5 (2025), pp. 2185–2198.doi:10.1090/proc/17163

    work page doi:10.1090/proc/17163 2025

  37. [37]

    Free boundary minimal surfaces inB 3

    C. Toro. “Free boundary minimal surfaces inB 3”. In:Instituto de Matem´ atica Pura e Aplicada. Doctoral Thesis (2026)

    work page 2026

  38. [38]

    Surfaces minimales non orientables de genre quelconque

    E. Toubiana. “Surfaces minimales non orientables de genre quelconque”. In: Bull. Soc. math. France 121.183-195 (1993).url:http://www.numdam.org/item?id=BSMF_1993__121_2_183_0

    work page 1993

  39. [39]

    On complete minimal immersionχ:RP 2 − {a, b} →R 3 with total curvature−10π

    S. Zhang. “On complete minimal immersionχ:RP 2 − {a, b} →R 3 with total curvature−10π”. In: Lecture Notes in Math. 1369 (1989), pp. 339–350.doi:10.1007/BFb0087547. Instituto de Matem´atica Pura e Aplicada-Instituto de Matem ´atica e Estat´ıstica, Universidade Federal do Rio Grande do Sul, Brazil Email address:carlos.toroc@impa.br

    work page doi:10.1007/bfb0087547 1989