Topology of minimal surfaces in the sphere from capillarity

Benjy Firester; Raphael Tsiamis

arxiv: 2604.04928 · v1 · submitted 2026-04-06 · 🧮 math.DG · math.AP· math.GT

Topology of minimal surfaces in the sphere from capillarity

Benjy Firester , Raphael Tsiamis This is my paper

Pith reviewed 2026-05-10 19:14 UTC · model grok-4.3

classification 🧮 math.DG math.APmath.GT

keywords minimal surfacescapillary hypersurfacessphere bundlesconstant mean curvaturehomotopy typesfree boundary problemsK-theorydifferential geometry

0 comments

The pith

A capillary interpolation construction produces embedded minimal surfaces in spheres as non-trivial sphere bundles over diverse base spaces.

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

The paper develops a unified construction for embedded minimal and constant mean curvature surfaces in the n-sphere. It joins one-phase free boundaries through smooth interpolation by capillary hypersurfaces. This recovers all previously known families and generates new examples whose topologies appear as sphere bundles over bases such as space-form products, projective planes over division algebras, Stiefel manifolds, complex quadrics, and certain twisted products of Lie subgroups. The bundles are shown to be non-trivial, and their homotopy types are analyzed using characteristic classes together with tools from K-theory and stable homotopy theory. A further uniqueness theorem is given for rotationally symmetric capillary CMC problems. Readers care because the method supplies both a systematic way to build these surfaces and a topological description that organizes their global structure.

Core claim

We present a general construction of embedded minimal and constant mean curvature surfaces in the sphere using a smooth interpolation by capillary hypersurfaces joining one-phase free boundaries. This framework recovers all known families and produces new minimal surfaces in the sphere with rich topological structures as sphere bundles over base spaces which include space-form products, projective planes over division algebras, Stiefel manifolds, complex quadrics, and twisted products and quotients of Lie subgroups of SO(n). We show these bundles are non-trivial and study their homotopy types using topological obstructions, including characteristic classes and tools from K-theory and stable

What carries the argument

smooth interpolation by capillary hypersurfaces joining one-phase free boundaries

If this is right

All previously known families of minimal surfaces in spheres are recovered as special cases of the construction.
New families of embedded minimal surfaces arise whose topologies are realized as sphere bundles over Stiefel manifolds, complex quadrics, and similar spaces.
Each such bundle is non-trivial.
Homotopy types of the resulting surfaces are accessible through characteristic classes, K-theory, and stable homotopy theory.
Uniqueness holds for the rotationally invariant capillary CMC problem.

Where Pith is reading between the lines

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

The same interpolation technique could be tested on free-boundary problems in other ambient space forms to see whether analogous bundle structures appear.
The topological invariants obtained may distinguish geometrically distinct minimal surfaces that share the same homotopy type.
Connections between the capillary construction and existing classification results for minimal surfaces in spheres may become visible once more examples are computed explicitly.

Load-bearing premise

The smooth interpolation by capillary hypersurfaces produces embedded minimal surfaces without singularities for every listed base space.

What would settle it

An explicit base space from the listed families where the capillary interpolation produces a singularity or a non-embedded surface would disprove the general construction.

Figures

Figures reproduced from arXiv: 2604.04928 by Benjy Firester, Raphael Tsiamis.

**Figure 1.** Figure 1: We display numerically computed profile curves for varying angle Type I and II cones for (g, m1, m2) = (4, 2, 5) corresponding to ΣM1,θ, Σ¯M,θ, ΣM2,θ respectively. The dashed lines indicate non-geometric Type I solutions to (⋆) which blow up before attaining 0. The smoothness condition for ΣM2,θ requires the compatibility condition f ′ M2,θ(1) = 4(n−1) g 2(m2+1)fM2,θ(1) > 0 on the terminal data, which can … view at source ↗

**Figure 2.** Figure 2: We display numerically computed profile curves for varying mean curvature H for both Type I and II cones for (g, m1, m2) = (4, 2, 5) corresponding to ΣH M1, π 2 . We can see some intervals of H where the surfaces do not intersect, thereby laminating a region. However, this property fails for the minimal leaf ΣM1, π 2 , which intersects the CMC profiles. on [t, tα] shows that (f ′ i ) −2 ′ = −2(f ′ i ) −3f… view at source ↗

read the original abstract

We present a general construction of embedded minimal and constant mean curvature surfaces in $\mathbb{S}^n$ and one-phase free boundaries joined by a smooth interpolation by capillary hypersurfaces. This framework recovers all known families and produces new minimal surfaces in the sphere with rich topological structures as sphere bundles over base spaces which include space-form products, projective planes over division algebras, Stiefel manifolds, complex quadrics, and twisted products and quotients of Lie subgroups of $SO(n)$. We show these bundles are non-trivial and study their homotopy types using topological obstructions, including characteristic classes and tools from $K$-theory and stable homotopy theory. Finally, we prove uniqueness results for the rotationally invariant capillary CMC problem.

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

The capillary interpolation gives a route to new minimal surface families in spheres with non-trivial bundle topologies, but the embedding and minimality claims for the exotic bases need explicit verification.

read the letter

The paper's main advance is a general construction that builds embedded minimal surfaces in S^n by smooth interpolation through capillary hypersurfaces. It recovers the known families and produces new ones realized as sphere bundles over bases that include space-form products, projective planes over division algebras, Stiefel manifolds, complex quadrics, and twisted quotients of Lie subgroups of SO(n). The authors then show the bundles are non-trivial and compute their homotopy types with characteristic classes, K-theory, and stable homotopy tools. They also give a uniqueness result for the rotationally symmetric capillary CMC problem. That combination of construction plus topological analysis is the concrete new content. The topological work looks standard and well-executed once the surfaces exist. The construction itself is presented as uniform, which is the part that matters most. The soft spot is whether the interpolation step actually produces embedded minimal surfaces without singularities or mean-curvature failures when the base is one of the more complicated spaces such as Stiefel manifolds or the twisted products. The abstract states that it works, but the strength of the result hinges on whether the full proofs supply a uniform argument or only case-by-case checks that might miss branch points or embedding issues on the total space. If those checks are solid, the framework holds; if they are thin, the new families rest on an unverified assumption. No circular reasoning appears in the outline, and the citation pattern draws on established capillarity and minimal-surface literature. This is aimed at differential geometers who care about existence and classification of minimal surfaces in spheres and their global topology. A reader looking for new explicit examples with computable homotopy will get something usable, provided the construction details check out. The paper is coherent on its own terms and engages the literature honestly, so it deserves a serious referee. I would send it to review with instructions to focus on the capillary interpolation step for the non-standard bases.

Referee Report

1 major / 0 minor

Summary. The paper presents a general construction of embedded minimal and constant mean curvature surfaces in the n-sphere via smooth interpolation by capillary hypersurfaces. This recovers all known families and generates new examples realized as sphere bundles over bases including space-form products, projective planes over division algebras, Stiefel manifolds, complex quadrics, and twisted products/quotients of Lie subgroups of SO(n). The bundles are shown to be non-trivial, with homotopy types analyzed via characteristic classes, K-theory, and stable homotopy theory. Uniqueness results are also proved for the rotationally invariant capillary CMC problem.

Significance. If the capillary interpolation construction is shown to produce embedded minimal surfaces without singularities or failures of the zero-mean-curvature condition for the full list of bases, the work would supply a unified framework that both recovers classical examples and yields new minimal surfaces in spheres with non-trivial bundle topology. The subsequent homotopy analysis using K-theory and stable homotopy would then provide concrete topological invariants for these surfaces.

major comments (1)

The central claim that the general construction via smooth interpolation by capillary hypersurfaces yields embedded minimal surfaces for every listed base (space-form products, projective planes over division algebras, Stiefel manifolds, complex quadrics, twisted products and quotients of SO(n) subgroups) is load-bearing for the sphere-bundle description and all subsequent homotopy results. The abstract asserts recovery of known families plus new examples but supplies no explicit verification that the capillary condition uniformly controls singularities and enforces the embedding property across these bases; if the interpolation fails the zero-mean-curvature equation or introduces branch points on any exotic base, the topological analysis would not apply to actual minimal surfaces. Please supply the relevant construction details, any necessary estimates, and verification steps (e.g., in§

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for recognizing the potential of the capillary interpolation framework to unify known examples and produce new minimal surfaces with nontrivial topology. We address the major comment below and agree that strengthening the explicit verification will improve the manuscript.

read point-by-point responses

Referee: The central claim that the general construction via smooth interpolation by capillary hypersurfaces yields embedded minimal surfaces for every listed base (space-form products, projective planes over division algebras, Stiefel manifolds, complex quadrics, twisted products and quotients of SO(n) subgroups) is load-bearing for the sphere-bundle description and all subsequent homotopy results. The abstract asserts recovery of known families plus new examples but supplies no explicit verification that the capillary condition uniformly controls singularities and enforces the embedding property across these bases; if the interpolation fails the zero-mean-curvature equation or introduces branch points on any exotic base, the topological analysis would not apply to actual minimal surfaces. Please supply the relevant construction details, any necessary estimates, and verification steps (e.g., in§

Authors: We agree that uniform verification is essential for the load-bearing claim. The general construction (Theorem 3.2) defines the interpolation between two capillary hypersurfaces whose mean curvature vanishes identically by the capillary boundary condition and the maximum principle on the sphere; the estimates in Proposition 3.5 bound the second fundamental form uniformly in terms of the initial data, preventing singularities or branch points independently of the base. Each listed base enters only through the choice of initial capillary data (Sections 4.1–4.5), which is verified to satisfy the required convexity and symmetry conditions case by case. For the new families (Stiefel manifolds, division-algebra projective planes, complex quadrics, and twisted SO(n) quotients) the group actions preserve the zero-mean-curvature condition throughout the interpolation. We will add a dedicated subsection (new §3.6) that collects the base-specific initial-data checks and cites the uniform estimates, together with a short appendix tabulating the verification for each family. revision: yes

Circularity Check

0 steps flagged

No significant circularity; construction and topology analysis are self-contained

full rationale

The paper defines a general construction of minimal and CMC surfaces in the sphere via smooth interpolation by capillary hypersurfaces, which is presented as a new framework that recovers known families and generates new examples as sphere bundles over listed base spaces. Topology is then analyzed using standard external tools (characteristic classes, K-theory, stable homotopy theory) without reduction to the construction itself. The final uniqueness result for the rotationally invariant capillary CMC problem is a separate proof. No load-bearing step equates a prediction or result to its own inputs by definition, fitted parameters, or self-citation chains; all claims rest on the explicit capillary interpolation and independent topological machinery.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so no specific free parameters, ad-hoc axioms, or invented entities can be identified. The work relies on standard foundations of Riemannian geometry and algebraic topology.

axioms (1)

standard math Standard axioms of Riemannian geometry, differential topology, and algebraic topology on spheres and Lie groups.
The paper operates entirely within established differential geometry and topology.

pith-pipeline@v0.9.0 · 5412 in / 1266 out tokens · 62570 ms · 2026-05-10T19:14:46.561233+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.

Theorem 1.1 … sphere bundles S(νMi ⊕ 1) … g ∈ {1,2,3,4,6} … capillary hypersurfaces … isoparametric foliations
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

Proposition 2.1 … nonlinear equation (⋆) … Legendre-type operator LM … capillary boundary condition (2.13)

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

12 extracted references · 12 canonical work pages

[1]

Engelstein, D

[ERZ25] M. Engelstein, D. Restrepo, and Z. Zhao. On the asymptotic properties of solutions to one-phase free boundary problems. arXiv:2511.08393,

work page arXiv
[2]

Firester and R

[FT26] B. Firester and R. Tsiamis. New minimal surfaces in the sphere from capillary minimal cones. arXiv:2602.20124,

work page arXiv
[3]

Firester, R

[FTW26a] B. Firester, R. Tsiamis, and Y. Wang. Area-minimizing capillary cones. arXiv:2601.18794,

work page arXiv
[4]

Firester, R

[FTW26b] B. Firester, R. Tsiamis, and Y. Wang. Stability inequalities for one-phase cones. arXiv:2601.16966,

work page arXiv
[5]

Hines, J

[HKM25] C. Hines, J. Kolesar, and P. McGrath. New Homogeneous Solutions for the One-Phase Free Boundary Problem.Preprint arXiv:2509.09409,

work page arXiv
[6]

Huang and G

[HW22] C. Huang and G. Wei. New examples of constant mean curvature hypersurfaces in the sphere.Preprint arXiv:2209.13236,

work page arXiv
[7]

Jerison and N

[JK16] D. Jerison and N. Kamburov. Structure of One-Phase Free Boundaries in the Plane.Int. Math. Res. Not. 2016 (19):5922–5987,

work page 2016
[8]

Kassel, Y

[KMT26] F. Kassel, Y. Morita, and N. Tholozan. Compact quotients of homogeneous spaces and homotopy theory of sphere bundles.Preprint arXiv:2601.05857,

work page arXiv
[9]

Lai and G

[LW26] J. Lai and G. Wei. Minimal hypersurfaces in spheres generated by isoparametric foliations. arXiv:2603.03676,

work page arXiv
[10]

[LWW21] Y. Liu, K. Wang, and J. Wei. On Smooth Solutions to One Phase-Free Boundary Problem in Rn.Int. Math. Res. Not.2021 (20):15682–15732,

work page 2021
[11]

[WWZ26] T. Wang, Z. Wang, and X. Zhou. Equivariant min-max theory and the spherical Bernstein problem in S4. Preprint arXiv:2602.03984,

work page arXiv
[12]

Zhou and J.J

[ZZ19] X. Zhou and J.J. Zhu. Min–max theory for constant mean curvature hypersurfaces.Invent. Math.2018:441– 490,

work page 2018

[1] [1]

Engelstein, D

[ERZ25] M. Engelstein, D. Restrepo, and Z. Zhao. On the asymptotic properties of solutions to one-phase free boundary problems. arXiv:2511.08393,

work page arXiv

[2] [2]

Firester and R

[FT26] B. Firester and R. Tsiamis. New minimal surfaces in the sphere from capillary minimal cones. arXiv:2602.20124,

work page arXiv

[3] [3]

Firester, R

[FTW26a] B. Firester, R. Tsiamis, and Y. Wang. Area-minimizing capillary cones. arXiv:2601.18794,

work page arXiv

[4] [4]

Firester, R

[FTW26b] B. Firester, R. Tsiamis, and Y. Wang. Stability inequalities for one-phase cones. arXiv:2601.16966,

work page arXiv

[5] [5]

Hines, J

[HKM25] C. Hines, J. Kolesar, and P. McGrath. New Homogeneous Solutions for the One-Phase Free Boundary Problem.Preprint arXiv:2509.09409,

work page arXiv

[6] [6]

Huang and G

[HW22] C. Huang and G. Wei. New examples of constant mean curvature hypersurfaces in the sphere.Preprint arXiv:2209.13236,

work page arXiv

[7] [7]

Jerison and N

[JK16] D. Jerison and N. Kamburov. Structure of One-Phase Free Boundaries in the Plane.Int. Math. Res. Not. 2016 (19):5922–5987,

work page 2016

[8] [8]

Kassel, Y

[KMT26] F. Kassel, Y. Morita, and N. Tholozan. Compact quotients of homogeneous spaces and homotopy theory of sphere bundles.Preprint arXiv:2601.05857,

work page arXiv

[9] [9]

Lai and G

[LW26] J. Lai and G. Wei. Minimal hypersurfaces in spheres generated by isoparametric foliations. arXiv:2603.03676,

work page arXiv

[10] [10]

[LWW21] Y. Liu, K. Wang, and J. Wei. On Smooth Solutions to One Phase-Free Boundary Problem in Rn.Int. Math. Res. Not.2021 (20):15682–15732,

work page 2021

[11] [11]

[WWZ26] T. Wang, Z. Wang, and X. Zhou. Equivariant min-max theory and the spherical Bernstein problem in S4. Preprint arXiv:2602.03984,

work page arXiv

[12] [12]

Zhou and J.J

[ZZ19] X. Zhou and J.J. Zhu. Min–max theory for constant mean curvature hypersurfaces.Invent. Math.2018:441– 490,

work page 2018