Pith. sign in

REVIEW 4 major objections 4 minor 16 references

Free boundary minimal M\"obius band in spherical caps

T0 review · 4 major / 4 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read For every $0<r<\pi/2$, a free boundary minimal Möbius band built from first Steklov eigenfunctions exists in the four-dimensional spherical cap $B^4(r)$, and every such band is rotationally symmetric.

desk verdict A promising half-Klein-bottle construction and a plausible rigidity theorem, but the proof that the construction is actually first-Steklov has a real spectral gap and a few fixable algebraic slips. read the letter →

arxiv 2507.22332 v1 pith:MEQG2LG2 submitted 2025-07-30 math.DG

Mateus Spezia This is my paper
classification math.DG MSC 53A1053C4258J50
keywords freeboundaryminimalsurfacesMöbiusbandsphericalcapsStekloveigenvaluesatfrequency2rotationallysymmetricmetricsMorseindexKleinbottlefirsteigenfunctionimmersions
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

This paper treats free boundary minimal surfaces in spherical caps as spectral objects: minimality and the orthogonal-boundary condition are equivalent to the coordinate functions being eigenfunctions of a Dirichlet-to-Neumann operator with frequency 2, the so-called Steklov eigenfunctions. The paper proves that any free boundary minimal Möbius band in a spherical cap that is immersed by first Steklov eigenfunctions must be intrinsically rotationally symmetric, meaning its metric takes the form $\rho(s)(ds^2+d\theta^2)$ in Möbius quotient coordinates and $\rho$ does not depend on $\theta$. It then constructs such a band in $B^4(r)$ for every $0

What carries the argument

The machinery is the frequency-2 Steklov problem, i.e. the Dirichlet-to-Neumann operator $D_2$ that extends a boundary function $u$ to a function solving $\Delta_g\hat u+2\hat u=0$ and returns the normal derivative of the extension. Free boundary minimal surfaces in a spherical cap are exactly those whose coordinate functions satisfy $\Delta_g\phi_i+2\phi_i=0$ in the interior and the boundary conditions $\partial_\nu\phi_0+(\tan r)\phi_0=0$, $\partial_\nu\phi_i-(\cot r)\phi_i=0$ for $i\ge1$, so $\phi_0$ is a $\sigma_0=-\tan r$ eigenfunction and the remaining coordinates are $\sigma_1=\cot r$ eigenfunctions. The rotational symmetry proof uses three mechanisms: normal variations $V_y$ built from Killing vector fields on the sphere give $n$ negative directions for the area index form; conformal variations on the Möbius band can be decomposed so that the energy index form $Q$ equals the area index form $I$ (Lemma 2); and the angular vector field $\Phi_\theta=d\Phi(\partial_\theta)$ lies in the null space of $Q$ (Lemma 3). Combining these forces equality in the eigenvalue test inequalities and hence $\partial_\theta\rho=0$. With rotational symmetry, separation of variables reduces the coordinate PDEs to a coupled second-order ODE system for $(y,z)$, which possesses two independent first integrals; those first integrals allow the boundary-value problem to be solved by an algebraic curve, yielding a unique $a\in(0,1)$ for each $r$.

What would settle it

For a fixed radius, say $r=\pi/4$, take the explicit metric $\rho(s)(ds^2+d\theta^2)$ with $\rho=y^2+4z^2$ from Lemma 5 on the quotient $[-s_r,s_r]\times S^1/\sim$, and compute the frequency-2 Steklov spectrum numerically. If any eigenfunction with eigenvalue $\le\cot r$ is not in the span of $\{y(s)\cos\theta,y(s)\sin\theta,z(s)\cos 2\theta,z(s)\sin 2\theta\}$ — for instance a $\theta$-independent eigenfunction or a mode with $|k|\ge3$ — then $\sigma_1\neq\cot r$, and the constructed immersion is not by first Steklov eigenfunctions.

Watch

Extended reading notes

Core claim

The central claims are threefold. First, if $\Phi:(\Sigma,g)\to B^n(r)$ is a free boundary minimal immersion of a Möbius band by first Steklov eigenfunctions with $0<r<\pi/2$, then $\Sigma$ is intrinsically rotationally symmetric. Second, for every $0<r<\pi/2$ there is such an immersion $\Phi=(\phi_0,\ldots,\phi_4):(M,g)\to B^4(r)$; after an isometry its coordinates are $\phi_0=x(s)$, $\phi_1=y(s)\cos\theta$, $\phi_2=y(s)\sin\theta$, $\phi_3=z(s)\cos 2\theta$, $\phi_4=z(s)\sin 2\theta$, where $(y,z)$ solve the second-order system (27) with $y(0)=0$, $y'(0)=2a$, $z(0)=a$, $z'(0)=0$, $x=\sqrt{1-y^2-z^2}$, and the boundary conditions $x(\pm s_r)=\cos r$, $x'(\pm s_r)=-\sin r\sqrt{y^2(\pm s_r)+4z^2(\pm s_r)}$; these coordinates are Steklov eigenfunctions with eigenvalues $-\tan r$ and $\cot r$, and the paper proves $\sigma_1=\cot r$. Third, for $r\neq\pi/2$, any compact free boundary minimal immersion $\Sigma^k\to B^n(r)$ has Morse index at least $n$ unless $\Sigma$ is contained in a hyperplane through the origin. The family is built from half of the minimal Klein bottle in $S^4$; at the endpoint $r=\pi/2$ the parameter is $a=\sqrt{3/8}$.

Load-bearing premise

The load-bearing premise is that on a rotationally symmetric Möbius band the second Steklov eigenfunction can only be one of four fixed angular patterns — one node or two nodes around the circle — and that no fifth pattern, constant in the angular direction, appears; both the eigenvalue identity $\sigma_1=\cot r$ and the reduction to four ambient dimensions depend on this spectral restriction.

Editorial extensions

If this is right

  • Any maximizing metric for the functional $\Theta_r$ on the Möbius band, if it exists, is automatically rotationally symmetric; the variational problem collapses from all metrics to a one-parameter ODE family.
  • For every $0<r<\pi/2$ the constructed surfaces are genuine free boundary minimal Möbius bands immersed by first Steklov eigenfunctions, with second Steklov eigenvalue exactly $\cot r$.
  • At the endpoint $r=\pi/2$ the construction is half of the known minimal Klein bottle in $S^4$, linking this family to the classical extremal metric problem on the Klein bottle.
  • The index theorem applies to these examples, so each constructed Möbius band has Morse index at least 4.
  • The nonexistence of such a band in the three-dimensional cap forces the ambient dimension $n=4$ for the explicit family.

Reading between the lines

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

  • The paper does not prove that the constructed bands maximize $\Theta_r$; a direct test would be to compare $\Theta_r$ of these metrics against perturbations within all Möbius-band metrics.
  • A numerical spectral check of the explicit metric would independently verify the hinge of the proof: that no extra eigenfunction appears at $\sigma_1=\cot r$.
  • The symmetry conclusion is proved only for immersions by first Steklov eigenfunctions; a free boundary minimal Möbius band in a cap that is not of this spectral type, if one exists, would show the hypothesis is essential.
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.

Referee Report

4 major / 4 minor

Summary. The paper studies free boundary minimal submanifolds in spherical caps B^n(r). Its main claims are Theorem A (any free boundary minimal Möbius band in a spherical cap immersed by first Steklov eigenfunctions must be intrinsically rotationally symmetric), Theorem B (for every 0<r<π/2 there exists such an immersion into B^4(r)), and Theorem C (a non-totally-geodesic free boundary minimal immersion has Morse index at least n). The proofs combine index-form computations with conformal variations (Section 2), a rotational-symmetry argument via the nullity of the rotation field (Section 3), and an ODE shooting construction based on first integrals from [4] (Section 4).

Significance. If established, the rotational symmetry classification and the new family of free boundary minimal Möbius bands in spherical caps would be a meaningful contribution to the Fraser–Schoen / Lima–Menezes program: they would provide explicit extremal metrics for the Steklov problem with frequency 2 in a topology previously understood mainly in the Euclidean ball. The Morse index estimate Theorem C is clean and appears to be correct. The paper also builds concretely on the first integrals of [4,8], and the ODE construction is explicit and falsifiable. However, the proofs of the spectral identification and of the shooting lemma are incomplete as written, and the manuscript contains algebraic and sign errors that affect the central construction.

major comments (4)
  1. [§4.1, proof of Proposition 2; Proposition 3] The identification σ1 = cot r is not proved. The assertion that, by Courant's nodal domain theorem and separation of variables, the σ1 eigenspace is contained in the span of {φ0(s), φ1(s)cosθ, φ1(s)sinθ, φ2(s)cos2θ, φ2(s)sin2θ} does not follow: separation of variables gives modes ψ_k(s)e^{ikθ} for all k∈Z with parity ψ_k(-s)=(-1)^kψ_k(s), while Courant's theorem bounds the number of nodal domains of the full eigenfunction, not the Fourier support. The subsequent argument eliminates only one particular θ-independent candidate with two zeros, and an even k=1 solution that in fact does not satisfy the quotient parity condition; it does not bound the eigenvalues of the remaining k=0 or k≥3 modes. Consequently the constructed coordinate functions are shown to be Steklov eigenfunctions with eigenvalue cot r, but not that cot r is the first positive Steklov eigenvalue. The same gap invalidates the reduction to n=4 in Proposition 3 and, as stated, Theorem B is not established.
  2. [§4.2, Lemma 5 and Eq. (35)] The reduction of the two-component system (27) to the single equation (35) for x uses the relation a^2y^2 − (3−4a^2)z^2 + a^2(3−4a^2)=0 as if it were satisfied by the solution of (27) with initial data y(0)=0, y'(0)=2a, z(0)=a, z'(0)=0. This is not the case for generic a: a Taylor expansion along this solution gives C(s) = −4a^2(1−a^2)(3−8a^2)s^2 + O(s^4) for C(s)=a^2y^2 − (3−4a^2)z^2 + a^2(3−4a^2), so C is identically zero only when a^2=3/8. Therefore equation (35) is not equivalent to the original system for the shooting parameter a, and the subsequent root-finding in Lemma 5 does not prove the existence of a_r for all r. This is a load-bearing gap in the proof of Theorem B.
  3. [§4.2, Eq. (37) and the following inequality] Equation (37) is misprinted. The correct coefficient, obtained by simplifying the displayed rational equation immediately above it, is 4a^2−3, not 4a^2−5. With the printed equation, for r close to 0 (cos^2 r close to 1) there is no root a∈(0,1), contradicting the claimed a→0; the correction restores the stated asymptotics. In addition, the inequality √(1−a^2) < cos r is reversed: since x(s) is strictly decreasing and x(s_r)=cos r, one must have √(1−a^2)=x(0)>cos r. These errors are local typos, but they occur at the decisive step of Lemma 5 and must be corrected.
  4. [§4.1, Proposition 3 (n=3 exclusion)] The conclusion n=4 in Proposition 3 relies on the statement that there is no free boundary minimal Möbius band in B^3(r). The cited reference [2] concerns the unit three-ball, and the extension to geodesic balls of three-dimensional space forms is attributed to a personal communication and is not proved in the manuscript. Since this is a load-bearing step for the classification claim, it should either be proved here or replaced by a verifiable published reference.
minor comments (4)
  1. [§4.1, Proposition 2, condition (iii)(b); Proposition 3, condition (iii)(b)] The condition x'(±s_r) = −sin r sqrt(y^2(±s_r)+4z^2(±s_r)) cannot hold with the same sign at both endpoints because x is even, so x'(−s_r)=−x'(s_r). If the intended statement is about outward conormal derivatives, it should read −x'(−s_r)=x'(s_r)=−sin r sqrt(...), or the two signs should be written separately.
  2. [§2 and Theorem C] Section 2 begins with the standing assumption 0<r<π/2, but Theorem C and Theorem 1 are stated for r≠π/2, which includes r>π/2. The proof uses c(r)=(1+sin r)/cos r and the non-vanishing of c(r)−cos r; these still work for r>π/2, but the range of r should be stated consistently.
  3. [Throughout] There are numerous typographical and stylistic errors: 'Inspirated', 'frist Steklov eigenfunction', 'a immersion', 'M¨obius strip', inconsistent capitalization of 'steklov', and several missing spaces. A careful proofreading pass is needed.
  4. [§4.1, proof of Proposition 2] The proof states that x(s) is 'straightforwardly' a σ0-Steklov eigenfunction with eigenvalue −tan r. This is true because x>0 and the eigenvalue is simple by Perron–Frobenius, but the reasoning should be spelled out rather than left to the reader.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity found: the Möbius band construction is a direct ODE shooting argument, and the questionable identification of cot r with the first Steklov eigenvalue is a proof gap rather than a definitional or self-citation reduction.

full rationale

I find no circular step in the paper. The construction in Theorem B is self-contained in the relevant sense: the ansatz Phi = (x(s), y(s)cos(theta), y(s)sin(theta), z(s)cos(2theta), z(s)sin(2theta)) is explicitly solved through the ODE system (27), the first integrals H1 and H2 are quoted from the external papers [4] and [8], and the free-boundary condition is imposed directly through the boundary equations (iii) and then solved by the polynomial equation (37). The coordinate functions are shown by direct computation to be Steklov eigenfunctions with eigenvalue cot r; no fitted parameter is relabeled as a prediction, and no conclusion is forced by a chain of self-citations. The one genuinely load-bearing and questionable step is in the proofs of Propositions 2 and 3, where the paper asserts that by Courant's nodal set theorem and separation of variables the sigma_1-eigenspace is contained in the span of {phi_0(s), phi_1(s)cos(theta), phi_1(s)sin(theta), phi_2(s)cos(2theta), phi_2(s)sin(2theta)}. That assertion is not justified by the texts quoted: separation of variables on the Möbius band allows every Fourier mode k in Z with the parity constraint, and Courant's theorem alone does not exclude k=0 or k>=3 modes from contributing to sigma_1. If that spectral-restriction claim fails, the identification sigma_1 = cot r and the reduction to four dimensions do not follow. This is a serious mathematical soundness gap, but it is not circularity: the conclusion is not equivalent to an input by construction, and the paper does not rely on an unverified self-citation to reach it. Under the stated rules, correctness gaps are not circularity, so the circularity score remains 0.

Assumptions & free parameters 1 free parameters · 4 assumptions · 0 invented entities

No new physical entities or geometric objects beyond the constructed Möbius band are introduced; the proof rests on known results from Klein-bottle theory and standard spectral geometry.

free parameters (1)
  • a = determined by equation (37) for each r
    Initial condition for the ODE system (27), chosen by a shooting argument to satisfy the free boundary conditions; it is not an arbitrary input but a parameter tuned to the boundary value problem.
assumptions (4)
  • domain assumption The system (27) admits the two first integrals H1 and H2 given in (31), and all orbits with initial data y(0)=0, z(0)=a satisfy y²+z²≤1.
    Taken from El Soufi-Giacomini-Jazar [4], Section 3; it is used in Section 4.2 to define x(s) and to set up the shooting equation.
  • ad hoc to paper There is no free boundary minimal Möbius band in B³(r) for any 0<r<π/2; this extends Cardona's published result via a personal communication.
    Used in Proposition 3 to conclude the ambient dimension n must be 4; not independently verifiable from the cited publication.
  • domain assumption The σ1 Steklov eigenspace of the rotationally symmetric Möbius band is spanned by the four angular modes of frequency 1 and 2, which is asserted using a nodal-domain argument.
    Used in Propositions 2 and 3 to identify σ1 and to bound n; the proof is incomplete as written.
  • standard math Obata's theorem and the unique continuation principle for elliptic equations hold for free boundary minimal submanifolds.
    Used in Lemmas 1 and 4 to rule out degeneracy of the normal variations V_y.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Free boundary minimal M\"obius band in spherical caps." pith.science (2026). https://pith.science/paper/MEQG2LG2

@misc{pith2026250722332,
  author       = {Pith},
  title        = {Pith review of: Free boundary minimal M\"obius band in spherical caps},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MEQG2LG2}},
  note         = {Machine review of arXiv:2507.22332}
}
abstract

We study compactly free boundary minimal submanifolds in spherical caps $\Br$ and their geometric spectral properties. Following the foundational work of Fraser-Schoen \cite{FS2012}, Lima-Menezes \cite{LM23} established the connection between free boundary minimal surfaces in spherical caps and spectral geometry. In this work, we present three main contributions: (1) We prove that any free boundary minimal M\"obius band in $\Br$ immersed by first Steklov eigenfunctions must be intrinsically rotationally symmetric ; (2) We explicitly construct such a M\"obius band in $\mathbb{B}^4(r)$ for $0<r<\frac{\pi}{2}$; and (3) We generalize Morse index estimates for free boundary minimal submanifolds in spherical caps, showing that non totally geodesic immersions have index at least $n$.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

16 extracted references · 14 canonical work pages

  1. [4]

    A unique extremal metric for the least eigenvalue of the Laplacian on the Klein bottle

    Ahmad El Soufi, Hector Giacomini, and Mustapha Jazar. “A unique extremal metric for the least eigenvalue of the Laplacian on the Klein bottle”. In: Duke Math. J. 135.1 (2006), pp. 181–202

    work page 2006

  2. [2]

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

    Carlos Cardona. “Non-existence of free boundary minimal M¨ obius bands in the unit three-ball”. In: Proceedings of the American Mathe- matical Society (Dec. 2024)

    work page 2024

  3. [1]

    Friedlander’s eigenvalue inequal- ities and the Dirichlet-to-Neumann semigroup

    Wolfgang Arendt and Rafe Mazzeo. “Friedlander’s eigenvalue inequal- ities and the Dirichlet-to-Neumann semigroup”. In: Commun. Pure Appl. Anal. 11.6 (2012), pp. 2201–2212

    work page 2012

  4. [3]

    Some recent developments on the Steklov eigen- value problem

    Bruno Colbois et al. “Some recent developments on the Steklov eigen- value problem”. In: Rev. Mat. Complut. 37.1 (2024), pp. 1–161

    work page 2024

  5. [5]

    Existence and Classification of SSS1- Invariant Free Boundary Minimal Annuli and M¨ obius Bands in BBBn

    Ailana Fraser and Pam Sargent. “Existence and Classification of SSS1- Invariant Free Boundary Minimal Annuli and M¨ obius Bands in BBBn”. In: The Journal of Geometric Analysis 31 (2020)

    work page 2020

  6. [6]

    Sharp eigenvalue bounds and min- imal surfaces in the ball

    Ailana Fraser and Richard Schoen. “Sharp eigenvalue bounds and min- imal surfaces in the ball”. In: Invent. Math. 203.3 (2016), pp. 823–890

    work page 2016

  7. [7]

    The first Steklov eigenvalue, con- formal geometry, and minimal surfaces

    Ailana Fraser and Richard Schoen. “The first Steklov eigenvalue, con- formal geometry, and minimal surfaces”. In: Adv. Math. 226.5 (2011), pp. 4011–4030. issn: 0001-8708,1090-2082

    work page 2011

  8. [8]

    Ex- tremal metric for the first eigenvalue on a Klein bottle

    Dmitry Jakobson, Nikolai Nadirashvili, and Iosif Polterovich. “Ex- tremal metric for the first eigenvalue on a Klein bottle”. In: Canad. J. Math. 58.2 (2006), pp. 381–400

    work page 2006

Show all 16 references
  1. [9]

    Embedded minimal surfaces in S3 and B3 via equivariant eigenvalue optimization

    Mikhail Karpukhin et al. Embedded minimal surfaces in S3 and B3 via equivariant eigenvalue optimization. 2024. arXiv: 2402.13121 [math.DG]

    2024 arXiv

  2. [10]

    Free boundary minimal surfaces in the unit ball: recent advances and open questions

    Martin Man-chun Li. “Free boundary minimal surfaces in the unit ball: recent advances and open questions”. In: Proceedings of the In- ternational Consortium of Chinese Mathematicians 2017 . Int. Press, Boston, MA, 2020, pp. 401–435

    2017

  3. [11]

    Lima and A

    V. Lima and A. Menezes. Eigenvalue problems and free boundary min- imal surfaces in spherical caps . 2023. arXiv: 2307.13556

    2023 arXiv

  4. [12]

    On free boundary minimal submanifolds in ge- odesic balls in H n and Sn +

    Vladimir Medvedev. “On free boundary minimal submanifolds in ge- odesic balls in H n and Sn +”. In: Math. Z. 310.1 (2025), Paper No. 10, 32. 32 REFERENCES

    2025

  5. [13]

    Certain conditions for a Riemannian manifold to be isometric with a sphere

    Morio Obata. “Certain conditions for a Riemannian manifold to be isometric with a sphere”. In: J. Math. Soc. Japan 14 (1962), pp. 333– 340

    1962

  6. [14]

    Maximizing Steklov eigenvalues on surfaces

    Romain Petrides. “Maximizing Steklov eigenvalues on surfaces”. In: Journal of Differential Geometry 113.1 (2019), pp. 95–188

    2019

  7. [15]

    Minimal varieties in Riemannian manifolds

    James Simons. “Minimal varieties in Riemannian manifolds”. In: Ann. of Math. (2) 88 (1968), pp. 62–105

    1968

  8. [16]

    Minimal immersions of Riemannian manifolds

    Tsunero Takahashi. “Minimal immersions of Riemannian manifolds”. In: J. Math. Soc. Japan 18 (1966), pp. 380–385. IMPA - Instituto de Matematica Pura e Aplicada, Rio de Janeiro, RJ, Brasil. Email address: mateus.spezia@impa.br

    1966

Pith tools

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