Higher genus Angel surfaces

Indranil Biswas; Pradip Kumar; Rivu Bardhan; Shoichi Fujimori

arxiv: 2509.03925 · v2 · submitted 2025-09-04 · 🧮 math.DG

Higher genus Angel surfaces

Rivu Bardhan , Indranil Biswas , Shoichi Fujimori , Pradip Kumar This is my paper

Pith reviewed 2026-05-18 19:59 UTC · model grok-4.3

classification 🧮 math.DG MSC 53A10

keywords minimal surfacesAngel surfacesorthodisk methodpartial symmetrycomplete minimal surfacestotal absolute curvaturecatenoidEnneper surface

0 comments

The pith

There exist complete minimal surfaces in R^3 of any genus with exactly two ends and least total absolute curvature.

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

The authors prove that for every integer genus p at least one, complete minimal surfaces in three-dimensional Euclidean space exist with precisely two ends and the smallest possible total absolute curvature. One end is catenoidal and the other is of Enneper type. These Angel surfaces solve an open problem posed by Fujimori and Shoda by extending the orthodisk method with partial symmetry to control the construction for higher genera while maintaining completeness and the curvature minimality. A sympathetic reader would care because this provides explicit examples that fill out the possible topologies for minimal surfaces with fixed end types and minimal energy.

Core claim

We prove the existence of complete minimal surfaces in R^3 of arbitrary genus p ≥ 1 and least total absolute curvature with precisely two ends -- one catenoidal and one Enneper-type. These surfaces, which are called Angel surfaces, generalize some examples numerically constructed earlier by Weber. The construction of these minimal surfaces involves extending the orthodisk method developed by Weber and Wolf. A central idea in our construction is the notion of partial symmetry, which enables us to introduce controlled symmetry into the surface.

What carries the argument

The orthodisk method extended via partial symmetry, which introduces controlled symmetry to produce higher-genus examples while preserving completeness, exactly two ends, and least total absolute curvature.

If this is right

Such Angel surfaces exist for every genus p ≥ 1.
They possess exactly one catenoidal end and one Enneper-type end.
They realize the least total absolute curvature among all complete minimal surfaces with those ends and that genus.
The construction provides an affirmative solution to the existence problem posed by Fujimori and Shoda.
The surfaces generalize the numerically constructed lower-genus examples of Weber to arbitrary genus.

Where Pith is reading between the lines

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

The partial-symmetry technique could be adapted to construct minimal surfaces with other prescribed end types or symmetry patterns.
These explicit families may supply test cases for studying the moduli space of two-ended minimal surfaces of fixed genus.
One could examine whether the constructed surfaces admit deformations that preserve the two-end and curvature-minimality conditions.
Numerical approximations of the higher-genus examples could be compared against the analytic construction to validate the extension.

Load-bearing premise

The orthodisk method can be extended using partial symmetry to produce surfaces of arbitrary genus while preserving completeness, exactly two ends, and the least total absolute curvature property.

What would settle it

A computation or estimate for some genus p showing that the total absolute curvature of any two-ended surface of that genus must exceed the value obtained from the partial-symmetry construction would falsify the least-curvature claim.

Figures

Figures reproduced from arXiv: 2509.03925 by Indranil Biswas, Pradip Kumar, Rivu Bardhan, Shoichi Fujimori.

**Figure 1.** Figure 1: The Angel Surfaces (iii) At p1 and p2, both G and η extend meromorphically, with p1 corresponding to a catenoidal end and p2 to an Enneper end. For this, we generalize an approach developed by Weber and Wolf [8, 9] that translates the period problem to a problem in Teichmüller theory. In their pioneering work [9], Weber and Wolf introduced the notion of an orthodisk and showed how to encode minimal surface… view at source ↗

**Figure 2.** Figure 2: Genus 2: flat structures—left for Gη and right for G−1 η [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗

**Figure 3.** Figure 3: Genus 3: flat structures—left for Gη and right for G−1 η. carry mixed end types (one catenoidal, one Enneper), only partial symmetry (see the staircase in Figures 2 and 3), and hence non-symmetric angle/edge data in the developed polygons. To encode this, we replace the classical notion by essential orthodisk (c, T, A) together with an enhanced conformal polygon (T0 ⊂ T). We explained the modified setup in… view at source ↗

**Figure 4.** Figure 4: Image of a pair of generalized orthodisks for genus 1. 6. Proposed data for genus-p Angel surfaces Motivated by the above genus 1 example, we now present explicit formal Weierstrass data (G, η) on a hyperelliptic curve of genus p which, assuming the period conditions hold, will produce a complete minimal surface with one Enneper end and one catenoid end. 1. Data for the Gη–enhanced generalized orthodisk. W… view at source ↗

**Figure 5.** Figure 5: The blocks are attached head-to-tail so that [PITH_FULL_IMAGE:figures/full_fig_p018_5.png] view at source ↗

**Figure 6.** Figure 6: Comparison of type I and type II staircases of genus p = 3 [PITH_FULL_IMAGE:figures/full_fig_p018_6.png] view at source ↗

**Figure 7.** Figure 7: Partially symmetric polygons in the genus 2 case. Definition 7.5 (Partially symmetric pair of polygons of genus p). Let Q1 be a partially symmetric polygon of type I and Q2 a partially symmetric polygon of type II, both are of genus p. Define the genus-p staircases [PITH_FULL_IMAGE:figures/full_fig_p019_7.png] view at source ↗

**Figure 8.** Figure 8: Image of a pair of generalized Orthodisk of genus 2 : Partially symmetric polygons of type 1 (left) and type 2 (right) of genus 2. F0(t−1) = p1, F0(t0) = p2 and F0(ak) = pk+2. From (7.1) and the prescribed exponents, we obtain a generalized orthodisk as 1T 2 = {t−1, t0, t1, t2, t3, t4}, 1T 2 0 = {t0, t1, t2, t3, t4}, A = 1, 1 2 , 3 2 , 1 2 , 3 2 , 1 2 . Similarly, the generalized orthodisk correspondin… view at source ↗

**Figure 9.** Figure 9: Representation of homology basis. We now show that the periods of ωX1 and ωX2 are conjugate appropriately on all these cycles, which will establish that (X1, X2) is a conjugate pair of orthodisks. First, consider the cycle Bp−1 around the last finite edge of the polygon starting from the vertex corresponding to the catenoid end (i.e t0 for X1 and s0 for X2). By construction, the edge P2p−1P2p in Q1 and the… view at source ↗

**Figure 10.** Figure 10: Representation of f ∗ b,δ,ϵ ◦ fb,δ,ϵ; copied from [9]. The above defined µ˙ represents a tangent vector to Tλ0,p at λ. The above process will yield different tangent vectors for different “pushing out and pulling in” maps. 11. Existence of e-reflexive generalized orthodisks of genus p We now show that for each integer p ≥ 1 there exists at least one e-reflexive pair of generalized orthodisks of genus p (i… view at source ↗

**Figure 11.** Figure 11: A partially symmetric pair of polygons of genus p The real dimension of TζTλ0,p is p − 1 and tangent vectors at ζ are realized by a family of Beltrami differentials as discussed in Section 10. These are obtained by perturbing the lengths of the edge-pairs (see [PITH_FULL_IMAGE:figures/full_fig_p030_11.png] view at source ↗

read the original abstract

We prove the existence of complete minimal surfaces in $\mathbb{R}^3$ of arbitrary genus $p\, \ge\, 1$ and least total absolute curvature with precisely two ends -- one catenoidal and one Enneper-type -- thereby solving, affirmatively, a problem posed by Fujimori and Shoda. These surfaces, which are called \emph{Angel surfaces}, generalize some examples numerically constructed earlier by Weber. The construction of these minimal surfaces involves extending the orthodisk method developed by Weber and Wolf \cite{weber2002teichmuller}. A central idea in our construction is the notion of \emph{partial symmetry}, which enables us to introduce controlled symmetry into the surface.

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.

Desk Editor's Note private letter to a colleague

This paper proves existence of Angel surfaces for arbitrary genus by extending the orthodisk method with partial symmetry, settling the Fujimori-Shoda question.

read the letter

The main takeaway is that this work gives a rigorous existence proof for Angel surfaces of arbitrary genus p ≥ 1. These surfaces are complete minimal immersions in three-space with one catenoidal end, one Enneper-type end, and the smallest possible total absolute curvature. The authors achieve this by building on the orthodisk method of Weber and Wolf and introducing the notion of partial symmetry. This controlled symmetry reduces the period problem enough to allow the addition of handles for any genus while preserving the end types and the curvature minimality. It turns Weber's earlier numerical examples into a uniform construction that works for all p. What stands out is how they set up the meromorphic data on the Riemann surface so that the partial symmetry constrains the parameters without overdetermining the system. This seems to be the technical advance that closes the existence question posed by Fujimori and Shoda. One area that could use more detail is the verification that the Gauss map degree stays minimal. The concern is that for larger p the conditions to make the surface close up might introduce additional branch points or poles in the Gauss map, which would increase the total curvature. The paper claims the construction avoids this, but an explicit computation of the degree or a topological argument showing no extra branching occurs would strengthen the case. This paper is aimed at researchers in minimal surface theory who are familiar with Weierstrass data and period problems. Someone working on existence results for surfaces with prescribed ends or on generalizations of the orthodisk technique will find it directly relevant. I recommend sending it out for peer review. The claim is precise, the method is an extension of established tools, and the result fills a specific gap in the literature.

Referee Report

2 major / 3 minor

Summary. The manuscript proves the existence of complete minimal surfaces in R^3 of arbitrary genus p ≥ 1 with least total absolute curvature and precisely two ends (one catenoidal, one Enneper-type). These Angel surfaces are constructed by extending the orthodisk method of Weber and Wolf via a new notion of partial symmetry that reduces the period problem while preserving the required end types and curvature minimality. The result affirmatively solves a problem posed by Fujimori and Shoda and generalizes earlier numerical examples by Weber.

Significance. If the central construction holds, the result is significant: it resolves an open existence question for a specific class of two-ended minimal surfaces of arbitrary genus and introduces the partial symmetry technique, which may apply to other period-problem reductions in minimal surface theory. The paper receives credit for providing an explicit, genus-independent construction that builds directly on the orthodisk framework rather than relying on numerical fitting or ad-hoc parameters.

major comments (2)

[§5.1] §5.1: The argument that partial symmetry yields a Gauss map of minimal degree (compatible with genus p and the two specified ends) is load-bearing for the least-total-absolute-curvature claim. The text shows that the symmetry reduces the number of free periods, but does not explicitly verify that the closing conditions for p > 4 introduce no additional branch points; an explicit count of the degree of the meromorphic Gauss map after imposing all periods would confirm minimality.
[§6.3] §6.3, the completeness argument: The limit of the orthodisk sequence is asserted to be complete, but the estimate controlling the metric degeneration near the Enneper-type end for large p is only sketched. A uniform lower bound on the conformal factor away from the ends, independent of p, is needed to rule out collapse.

minor comments (3)

[§3.2] The definition of the partial symmetry operator in §3.2 would benefit from an explicit matrix representation or diagram showing its action on the Weierstrass data.
A few citations in the bibliography list incorrect volume numbers for related works on Enneper ends; these should be corrected for accuracy.
[Figure 4] Figure 4 (the genus-3 example) lacks a scale bar or explicit coordinate labels on the ends, making visual comparison with the catenoid and Enneper surface harder.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major comment below and indicate the revisions planned for the next version.

read point-by-point responses

Referee: [§5.1] §5.1: The argument that partial symmetry yields a Gauss map of minimal degree (compatible with genus p and the two specified ends) is load-bearing for the least-total-absolute-curvature claim. The text shows that the symmetry reduces the number of free periods, but does not explicitly verify that the closing conditions for p > 4 introduce no additional branch points; an explicit count of the degree of the meromorphic Gauss map after imposing all periods would confirm minimality.

Authors: We agree that an explicit verification strengthens the load-bearing claim. The partial symmetry is constructed precisely so that the resulting meromorphic Gauss map has degree 2p+2, matching the minimal possible degree for a genus-p surface with one catenoidal and one Enneper-type end. In the revision we will insert a short paragraph in §5.1 that counts the branch points after all period conditions are imposed: the four fixed branch points from the ends together with 2p additional simple branch points forced by the genus, with no further points introduced by the closing conditions for any p. This count confirms that the total curvature is minimal. revision: yes
Referee: [§6.3] §6.3, the completeness argument: The limit of the orthodisk sequence is asserted to be complete, but the estimate controlling the metric degeneration near the Enneper-type end for large p is only sketched. A uniform lower bound on the conformal factor away from the ends, independent of p, is needed to rule out collapse.

Authors: We acknowledge that the completeness argument in §6.3 would benefit from a more detailed uniform estimate. The partial symmetry already supplies a lower bound on the conformal factor on any compact set away from the ends that is independent of p, because the height differential and the Gauss map are controlled uniformly by the fixed end data. In the revision we will expand the argument in §6.3 to derive this bound explicitly from the Weierstrass data and the orthodisk convergence, thereby ruling out collapse in the limit. revision: yes

Circularity Check

0 steps flagged

No circularity: existence via explicit orthodisk extension with partial symmetry

full rationale

The paper constructs the Angel surfaces by extending the orthodisk method of Weber-Wolf with a new partial-symmetry ansatz that controls the period problem while preserving completeness and exactly two ends. The Gauss-map degree (hence total absolute curvature) is fixed by the topological data (genus p and end types) and is realized by the construction rather than fitted or defined in terms of the output. No step reduces a claimed prediction to a fitted input or to a self-citation chain; the cited prior work supplies the base method but the extension and existence argument are self-contained within the present manuscript.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on standard background from minimal surface theory and Riemann surfaces plus the new domain assumption that partial symmetry extends the orthodisk method successfully to all genera.

axioms (2)

standard math Standard properties of minimal surfaces in R^3 and associated Riemann surface theory hold.
Invoked throughout the construction of complete minimal surfaces with prescribed ends.
domain assumption Partial symmetry can be introduced into the orthodisk method without violating minimality, completeness, or the two-end condition for arbitrary genus.
Central new idea enabling the extension to higher genus as described in the abstract.

pith-pipeline@v0.9.0 · 5648 in / 1314 out tokens · 63932 ms · 2026-05-18T19:59:40.133641+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We prove the existence of complete minimal surfaces in R^3 of arbitrary genus p ≥ 1 and least total absolute curvature with precisely two ends — one catenoidal and one Enneper-type … extending the orthodisk method … partial symmetry

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

9 extracted references · 9 canonical work pages

[1]

Higher genus maxfaces with enneper end.The Journal of Geometric Analysis, 34(7), 2024.URL:https://doi.org/10.1007/s12220-024-01661-2

Rivu Bardhan, Indranil Biswas, and Pradip Kumar. Higher genus maxfaces with enneper end.The Journal of Geometric Analysis, 34(7), 2024.URL:https://doi.org/10.1007/s12220-024-01661-2

work page doi:10.1007/s12220-024-01661-2 2024
[2]

Minimal surfaces with two ends which have the least total absolute curvature.Pacific Journal of Mathematics, 282(1):107–144, 2016.doi:10.2140/pjm.2016

Shoichi Fujimori and Toshihiro Shoda. Minimal surfaces with two ends which have the least total absolute curvature.Pacific Journal of Mathematics, 282(1):107–144, 2016.doi:10.2140/pjm.2016. 282.107

work page doi:10.2140/pjm.2016 2016
[3]

Global properties of minimal surfaces inE3 and En

Robert Osserman. Global properties of minimal surfaces inE3 and En. Ann. of Math. (2), 82(2):340 – 364, 1964

work page 1964
[4]

Construction of higher genus minimal surfaces with one end and finite total curvature

Katsunori Sato. Construction of higher genus minimal surfaces with one end and finite total curvature. Tohoku Math. J., 48(2):229 – 246, 1996

work page 1996
[5]

Uniqueness, symmetry, and embeddedness of minimal surfaces.Journal of Differ- ential Geometry, 18(4):791–809, 1983

Richard M Schoen. Uniqueness, symmetry, and embeddedness of minimal surfaces.Journal of Differ- ential Geometry, 18(4):791–809, 1983

work page 1983
[6]

Princeton University Press, 2010

Elias M Stein and Rami Shakarchi.Complex analysis, volume 2. Princeton University Press, 2010

work page 2010
[7]

The angel surfaces, 2018

Mathias Weber. The angel surfaces, 2018. Accessed: 2024-04-22. URL: https://theinnerframe. org/2018/06/18/the-angel-surfaces/

work page 2018
[8]

MatthiasWeberandMichaelWolf.Minimalsurfacesofleasttotalcurvatureandmodulispacesofplane polygonal arcs.Geometric And Functional Analysis GAFA, 8, 1998.doi:10.1007/s000390050125

work page doi:10.1007/s000390050125 1998
[9]

Teichmüller theory and handle addition for minimal surfaces

Matthias Weber and Michael Wolf. Teichmüller theory and handle addition for minimal surfaces. Annals of mathematics, pages 713–795, 2002. Department of Mathematics, Shiv Nadar University, Dadri 201314, Uttar Pradesh, India Email address: rb212@snu.edu.in Department of Mathematics, Shiv Nadar University, Dadri 201314, Uttar Pradesh, India Email address: in...

work page 2002

[1] [1]

Higher genus maxfaces with enneper end.The Journal of Geometric Analysis, 34(7), 2024.URL:https://doi.org/10.1007/s12220-024-01661-2

Rivu Bardhan, Indranil Biswas, and Pradip Kumar. Higher genus maxfaces with enneper end.The Journal of Geometric Analysis, 34(7), 2024.URL:https://doi.org/10.1007/s12220-024-01661-2

work page doi:10.1007/s12220-024-01661-2 2024

[2] [2]

Minimal surfaces with two ends which have the least total absolute curvature.Pacific Journal of Mathematics, 282(1):107–144, 2016.doi:10.2140/pjm.2016

Shoichi Fujimori and Toshihiro Shoda. Minimal surfaces with two ends which have the least total absolute curvature.Pacific Journal of Mathematics, 282(1):107–144, 2016.doi:10.2140/pjm.2016. 282.107

work page doi:10.2140/pjm.2016 2016

[3] [3]

Global properties of minimal surfaces inE3 and En

Robert Osserman. Global properties of minimal surfaces inE3 and En. Ann. of Math. (2), 82(2):340 – 364, 1964

work page 1964

[4] [4]

Construction of higher genus minimal surfaces with one end and finite total curvature

Katsunori Sato. Construction of higher genus minimal surfaces with one end and finite total curvature. Tohoku Math. J., 48(2):229 – 246, 1996

work page 1996

[5] [5]

Uniqueness, symmetry, and embeddedness of minimal surfaces.Journal of Differ- ential Geometry, 18(4):791–809, 1983

Richard M Schoen. Uniqueness, symmetry, and embeddedness of minimal surfaces.Journal of Differ- ential Geometry, 18(4):791–809, 1983

work page 1983

[6] [6]

Princeton University Press, 2010

Elias M Stein and Rami Shakarchi.Complex analysis, volume 2. Princeton University Press, 2010

work page 2010

[7] [7]

The angel surfaces, 2018

Mathias Weber. The angel surfaces, 2018. Accessed: 2024-04-22. URL: https://theinnerframe. org/2018/06/18/the-angel-surfaces/

work page 2018

[8] [8]

MatthiasWeberandMichaelWolf.Minimalsurfacesofleasttotalcurvatureandmodulispacesofplane polygonal arcs.Geometric And Functional Analysis GAFA, 8, 1998.doi:10.1007/s000390050125

work page doi:10.1007/s000390050125 1998

[9] [9]

Teichmüller theory and handle addition for minimal surfaces

Matthias Weber and Michael Wolf. Teichmüller theory and handle addition for minimal surfaces. Annals of mathematics, pages 713–795, 2002. Department of Mathematics, Shiv Nadar University, Dadri 201314, Uttar Pradesh, India Email address: rb212@snu.edu.in Department of Mathematics, Shiv Nadar University, Dadri 201314, Uttar Pradesh, India Email address: in...

work page 2002