Pith. sign in

REVIEW 24 references

A degenerate free boundary minimal annulus and non-uniqueness in spherical caps beyond the hemisphere

T0 review · reviewed 2026-08-04 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The radius map R of a rotational annulus family in S^3 is real-analytic and folds: every intermediate cap above a hemisphere contains at least two non-congruent annuli, and at the fold the annulus degenerates with a non-Killing Jacobi–Robin

arxiv 2607.23534 v3 pith:2N3GC3FW submitted 2026-07-26 math.DG

Alexander Pigazzini This is my paper · ORCID
classification math.DG MSC 53A1053C4258J50
keywords freeboundaryminimalsurfacessphericalcapsrotationalannuliJacobi–Robinfieldsnullityradiusmapnon-uniquenessRobindefectidentity
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper studies a one-parameter family of embedded free boundary minimal annuli of revolution, each contained in a geodesic ball of S^3 whose radius R(a) exceeds a hemisphere. It proves that R is real-analytic on the full parameter interval and tends to π/2 at both ends, so it cannot be monotone: R folds, attaining an interior maximum and taking each intermediate value twice. From that fold, every spherical cap of radius strictly between π/2 and the maximum contains at least two, and at most finitely many, mutually non-congruent annuli of the family. At every critical point of R the annulus is degenerate: its Jacobi–Robin kernel contains a nonzero rotationally invariant, reflection-even field not induced by any ball-preserving Killing field, so the nullity is at least three; at all non-critical parameters this sector of the nullity vanishes. The degeneration is detected by the exact identity dim K_0^ev = 1_{R'=0}, derived from a boundary Robin defect identity that holds for variable-radius families in every space form and dimension.

What carries the argument

The Robin defect identity: for a smooth one-parameter family of free boundary minimal hypersurfaces in concentric geodesic balls, the parametric field φ_a obeys ∂ηφ_a − ctκ(r(a))φ_a = r'(a)A_a(η,η) on the boundary, where A_a(η,η) is the second fundamental form in the outward conormal direction and is nowhere zero for the annuli considered here. This single scalar identity converts radius criticality into membership in the Jacobi–Robin kernel. In reflection-symmetric rotational annuli, the even mode-zero Jacobi space is one-dimensional and spanned by the parametric field, so the identity yields the exact indicator formula dim K_0^ev = 1_{R'=0}. For the specific rotational family, positivity a

What would settle it

Numerically compute G_a(s)=y_a(s) ż_a(s) − z_a(s) ẏ_a(s) for, say, a=0.49 to very high precision and look for zeros in (0,π/2]: a second zero, or a non-simple zero, would contradict Lemma 5.2 and with it the folding theorem. Independently, compute R(a) on a fine grid toward a=0 and a→1/2; if R does not tend to π/2, or if R' never vanishes in (0,1/2), the main claim collapses.

Watch

Extended reading notes

Core claim

The central claim is that the radius map of the rotational annulus family is not injective: although every member sits in a cap of radius greater than π/2, R approaches π/2 at both ends of the parameter range and folds at an interior point. Consequently each cap radius strictly between π/2 and the maximum is realized by at least two non-congruent annuli, and at any critical parameter the annulus carries a nonzero rotationally invariant, reflection-even Jacobi–Robin field. This field is not the normal component of any ambient Killing field preserving the ball, giving nullity at least three at those isolated parameters; the hypothesis that all Jacobi fields in this setting are Killing-induced

Load-bearing premise

The proof hinges on the auxiliary function G_a having exactly one simple zero s1(a) in (0,π/2], with G'_a(s1)>0 and the angle β(a,s1(a)) strictly between π/2 and half the period; if that zero structure failed, the radius map would not be provably folding and the spectral conclusions would not follow.

Editorial extensions

If this is right

  • Every spherical cap of radius strictly between π/2 and the maximal attained radius contains at least two, and only finitely many, mutually non-congruent embedded free boundary minimal annuli.
  • At each critical point of the radius map, the annulus is degenerate modulo ball-preserving isometries: nullity is at least three, with a rotationally invariant even Jacobi–Robin field not induced by a ball-preserving Killing field.
  • The critical points of R form a discrete set; away from them the rotationally invariant even Jacobi–Robin nullity vanishes identically, so degenerate annuli are isolated within the family.
  • A degenerate annulus sitting at a maximizer of R lies in the largest cap reached by the family and is a strict local area maximizer within the family.
  • The standing assumption used in the continuity approach to uniqueness—that all Jacobi fields of an embedded free boundary minimal annulus in a spherical cap are Killing-induced—fails for some radius above π/2.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A concrete numerical check is to evaluate the auxiliary function G_a on (0,π/2] near a=0.49: exactly one simple zero with G'_a>0 would corroborate the fold, while a second zero would refute the central lemma.
  • The defect identity suggests a general recipe for any one-parameter family of free boundary minimal hypersurfaces in varying umbilic barriers: parametric degenerations are exactly critical points of the radius map, so computing R'(a) numerically may locate degeneracies without solving for kernels.
  • The paper's own capillary variant of the identity indicates a two-parameter version (radius plus contact angle) should produce a spectral dictionary in which both derivatives of the constraints control the boundary defect—a testable extension for capillary free-boundary problems.
  • For the hyperbolic rotational analogue, the radius is strictly increasing near the closing neck, so no parametric degeneration occurs there; the editorial bet is that the fold phenomenon is specific to spherical caps above the hemisphere, but global monotonicity of the hyperbolic radius remains open.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: Theorem A follows from the explicit de Oliveira parametrization and derived identities; self-citations are confined to the ancillary hyperbolic dichotomy.

full rationale

The central derivation is self-contained. Theorem B (the Robin defect identity) is proved directly by differentiating the free boundary condition along a variable-radius family, using only Lemmas 2.2 and 2.3; the paper itself explicitly notes that the identity is the derivative of the free boundary condition, which is an honesty about provenance, not a circular step. The dictionary Theorem 4.1 and the exact nullity identity Theorem 4.6 follow by direct computation from Theorem B, Lemma 4.5, and the nonvanishing of A_a(eta,eta) verified for the spherical family in (19). Lemma 5.2, the load-bearing uniqueness/simplicity statement for G_a, is proved from the explicit formulas (14)-(17), the elementary period estimates of Lemma 5.1, and the sign evaluation (27) at any zero; it does not assume the conclusion. The analyticity, endpoint limits, non-congruence, and degeneracy results in Theorem 5.13 are then consequences of the established lemmas, not hypotheses. Self-citations [20] and [21] appear in the hyperbolic half of the dichotomy (Corollary 6.1) and in open problems; they are not used to prove the spherical fold or the spherical nullity identity. The paper's main claims are not equivalent to their inputs by construction: the de Oliveira family is externally constructed, the radius map behavior is left open in [19] and is here derived, and the degeneration is detected by the independently proved Theorem 4.6. No fitted input is relabeled as a prediction, no uniqueness theorem by the same authors is used to forbid alternatives, and no ansatz is smuggled in through self-citation. Therefore the appropriate circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The spherical main result is essentially self-contained once de Oliveira's family is taken as input. No parameters are fitted; the only 'scalar unknowns' (s1(a), a*) are determined by equations, not tuned. The axioms listed are the standard geometric/analytic framework plus the external existence result for the family.

assumptions (5)
  • standard math Hessian comparison identity Hessρ = ctκ(ρ)(⟨·,·⟩−dρ⊗dρ) in space forms, making geodesic spheres totally umbilic (eq. (1)).
    Used in Lemmas 2.2–2.3 and Theorem 3.1; standard in constant-curvature geometry.
  • standard math Second variation framework for free boundary minimal hypersurfaces: L=Δ+|A|^2+nκ, B_r u=∂ηu−ctκ(r)u, Jacobi–Robin kernel (eq. (2), Def. 2.1), from [15,17].
    Definition of kernel/nullity and Robin boundary condition; background theory cited.
  • domain assumption de Oliveira's family {Σ_a}, a∈(0,1/2), exists as embedded free boundary minimal annuli and is represented by the parametrization (14)–(17) satisfying (18); taken from [19, Prop. 2.1/3.3/3.4].
    The paper re-proves the analytic/spectral conclusions but imports the existence and minimality of this specific family.
  • domain assumption For minimal annuli in space-form balls, |A| does not vanish and A(η,η) has constant strict sign on both boundary components (Lemma 2.5, after [17, Prop. 4.1/Cor. 4.2]).
    Needed for the equivalence in Theorem 4.1 and the dimension count 4.6; for the spherical family it is directly verified in (19).
  • standard math Standard facts: analytic implicit function theorem, Aronszajn unique continuation, Sturm–Liouville uniqueness for ODEs.
    Used in Lemmas 5.2, 5.6, Corollary 3.8, and Theorem 4.6.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A degenerate free boundary minimal annulus and non-uniqueness in spherical caps beyond the hemisphere." pith.science (2026). https://pith.science/paper/2N3GC3FW

@misc{pith2026260723534,
  author       = {Pith},
  title        = {Pith review of: A degenerate free boundary minimal annulus and non-uniqueness in spherical caps beyond the hemisphere},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2N3GC3FW}},
  note         = {Machine review of arXiv:2607.23534}
}
abstract

Let $\{\Sigma_a\}$, $a\in(0,1/2)$, be de Oliveira's family of embedded free boundary minimal annuli of revolution in geodesic balls $B(R(a))\subset\mathbb{S}^3$, $R(a)>\pi/2$. We prove that $R$ is real-analytic, tends to $\pi/2$ at both ends, and therefore folds: it has an interior maximum $R_*>\pi/2$ and is not injective. Hence each $B(\rho)$ with $\pi/2<\rho<R_*$ contains at least two, and only finitely many, mutually non-congruent annuli of the family. At every critical point of $R$ the annulus is degenerate modulo ball-preserving isometries: its Jacobi--Robin kernel contains a rotationally invariant, reflection-even field not induced by any Killing field of $\mathbb{S}^3$ preserving the ball; its nullity is at least three. These degenerate annuli form a nonempty discrete set; off it, the rotationally invariant even nullity vanishes. Those sitting at a maximizer of $R$, in the largest cap $B(R_*)$, are called degenerate annuli of maximal cap radius; each such annulus is also a strict local area maximizer in the family, since area and $R$ have the same critical points. Thus the hypothesis that all Jacobi fields of an embedded free boundary minimal annulus in a spherical cap are Killing-induced, used in the Naff--Zhu continuity approach to uniqueness, fails for some radius $R>\pi/2$. The exact identity $\dim K_0^{ev}(\Sigma_a)=\mathbf{1}_{\{R'=0\}}(a)$ detects the degeneration; it follows from the symmetry-free relation $\partial_\eta\varphi_a-\operatorname{ct}_\kappa(r(a))\varphi_a=r'(a)A_a(\eta,\eta)$, a Robin defect identity, in all space forms and dimensions.

Review history (3 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 6 linked inside Pith

  1. [1]

    Ambrozio, I

    L. Ambrozio, I. Nunes,A gap theorem for free boundary minimal surfaces in the three-ball, Comm. Anal. Geom.29(2021), no. 2, 283–292

    2021

  2. [2]

    Aronszajn,A unique continuation theorem for solutions of elliptic partial differential equations or inequalities of second order, J

    N. Aronszajn,A unique continuation theorem for solutions of elliptic partial differential equations or inequalities of second order, J. Math. Pures Appl. (9)36(1957), 235–249

    1957

  3. [3]

    Cerezo,Free boundary minimal annuli in geodesic balls ofH3, arXiv:2502.20303

    A. Cerezo,Free boundary minimal annuli in geodesic balls ofH3, arXiv:2502.20303

    arXiv

  4. [4]

    Cerezo, I

    A. Cerezo, I. Fernández, P. Mira,Free boundary CMC annuli in spherical and hyperbolic balls, Calc. Var. Partial Differential Equations64(2025), no. 2, Paper No. 37

    2025

  5. [5]

    do Carmo, M

    M. do Carmo, M. Dajczer,Rotation hypersurfaces in spaces of constant curvature, Trans. Amer. Math. Soc.277(1983), 685–709

    1983

  6. [6]

    Devyver,Index of the critical catenoid, Geom

    B. Devyver,Index of the critical catenoid, Geom. Dedicata199(2019), 355–371

    2019

  7. [7]

    Fernández, L

    I. Fernández, L. Hauswirth, P. Mira,Free boundary minimal annuli immersed in the unit ball, Arch. Ration. Mech. Anal.247(2023), no. 6, Paper No. 108

    2023

  8. [8]

    Fraser, M

    A. Fraser, M. M.-c. Li,Compactness of the space of embedded minimal surfaces with free boundary in three-manifolds with nonnegative Ricci curvature and convex boundary, J. Differential Geom.96(2014), 183–200

    2014

Show all 24 references
  1. [9]

    Fraser, R

    A. Fraser, R. Schoen,Uniqueness theorems for free boundary minimal disks in space forms, Int. Math. Res. Not. IMRN (2015), no. 17, 8268–8274

    2015

  2. [10]

    Fraser, R

    A. Fraser, R. Schoen,Sharp eigenvalue bounds and minimal surfaces in the ball, Invent. Math.203 (2016), 823–890

    2016

  3. [11]

    Kusner, P

    R. Kusner, P. McGrath,On Steklov eigenspaces for free boundary minimal surfaces in the unit ball, Amer. J. Math.145(2023), no. 4, 1275–1306

    2023

  4. [12]

    H. Li, C. Xiong,A gap theorem for free boundary minimal surfaces in geodesic balls of hyperbolic space and hemisphere, J. Geom. Anal.28(2018), 3171–3182

    2018

  5. [13]

    C.Lima,On uniqueness of free boundary minimal annuli in geodesic balls ofS3 + andH 3, arXiv:2503.16763

  6. [14]

    V. Lima, A. Menezes,Eigenvalue problems and free boundary minimal surfaces in spherical caps, arXiv:2307.13556. DEGENERATE FREE BOUNDARY MINIMAL ANNULI BEYOND THE HEMISPHERE 27

    arXiv

  7. [15]

    Medvedev,On free boundary minimal submanifolds in geodesic balls inHn andS n +, Math

    V. Medvedev,On free boundary minimal submanifolds in geodesic balls inHn andS n +, Math. Z.310 (2025), no. 1, Paper No. 10, 32 pp. (arXiv:2311.02409v3)

    2025 arXiv

  8. [16]

    Mori,Minimal surfaces of revolution inH 3 and their global stability, Indiana Univ

    H. Mori,Minimal surfaces of revolution inH 3 and their global stability, Indiana Univ. Math. J.30 (1981), no. 5, 787–794

    1981

  9. [17]

    K. Naff, J. J. Zhu,Free boundary and capillary minimal surfaces in spherical caps I: low genus, arXiv:2512.12877

  10. [18]

    K. Naff, J. J. Zhu,Half-space intersection properties for minimal hypersurfaces, arXiv:2401.09669

    arXiv

  11. [19]

    M. R. de Oliveira,New free boundary minimal annuli of revolution in the 3-sphere, Geom. Dedicata 220, 20 (2026), (arXiv:2404.12304v2)

    2026

  12. [20]

    Pigazzini,Analytic local resolution of Medvedev’s Morse index conjecture for the critical spherical catenoid inH 3, arXiv:2605.13562v7

    A. Pigazzini,Analytic local resolution of Medvedev’s Morse index conjecture for the critical spherical catenoid inH 3, arXiv:2605.13562v7

    arXiv

  13. [21]

    Pigazzini,Robin nullity in mode|k|= 1and asymptotic radius of the critical spherical catenoid, arXiv:2605.11244v2

    A. Pigazzini,Robin nullity in mode|k|= 1and asymptotic radius of the critical spherical catenoid, arXiv:2605.11244v2

    arXiv

  14. [22]

    Smith, D

    G. Smith, D. Zhou,The Morse index of the critical catenoid, Geom. Dedicata201(2019), 13–19

    2019

  15. [23]

    Tran,Index characterization for free boundary minimal surfaces, Comm

    H. Tran,Index characterization for free boundary minimal surfaces, Comm. Anal. Geom.28(2020), no. 1, 189–222

    2020

  16. [24]

    J.J.Zhu,Free boundary and capillary minimal surfaces in spherical caps II: low energy, arXiv:2512.20857

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.