arxiv: 2605.11244 · v1 · submitted 2026-05-11 · 🧮 math.DG · math.AP· math.SP

Recognition: 2 theorem links

· Lean Theorem

Robin nullity in mode |k|=1 and asymptotic radius of the critical hyperbolic catenoid

Alexander Pigazzini

Pith reviewed 2026-05-13 02:17 UTC · model grok-4.3

classification 🧮 math.DG math.APmath.SP

keywords Robin nullityJacobi operatorhyperbolic catenoidfree boundary minimal surfaceMorse indexasymptotic radiushyperbolic space

0 comments

The pith

Critical hyperbolic catenoids have Robin nullity exactly two in angular Fourier mode |k|=1, with the enclosing radius admitting explicit logarithmic and square-root asymptotics.

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

The paper examines the stability of a one-parameter family of rotationally symmetric free-boundary minimal annuli inside geodesic balls in hyperbolic three-space. It proves that the Jacobi operator has a two-dimensional kernel in the lowest nonzero angular mode, generated by the infinitesimal rotations that preserve the axis and the boundary sphere. It also derives the leading asymptotic expansion of the ball radius both for large values of the shape parameter and near the value at which the annulus degenerates to a point.

Core claim

The Robin nullity of the Jacobi operator in mode |k|=1 equals two, with kernel spanned by the Killing-Jacobi fields associated to the rotations L_12 and L_13; the boundary radius satisfies r(a) = (3/2) log a + d_∞ + o(1) as a → ∞, where d_∞ = log[√2 Γ(1/4)^2 / π^{3/2}], and r(a) = c_* √(a - 1/2) (1 + o(1)) as a → (1/2)^+, where c_* = σ_* cosh σ_* for the positive fixed point σ_* of σ = coth σ.

What carries the argument

The Jacobi operator L_Σa = Δ_g + (|II|^2 - 2) with Robin boundary conditions, decomposed into angular Fourier modes and analyzed via Sturm-Liouville theory, together with the implicit free-boundary condition that fixes the radius r(a).

If this is right

The Robin Morse index in mode |k|=1 also equals two.
The total Morse index of Σ_a is at least four.
The kernel element in mode |k|=1 has the explicit radial profile f_*(s) = sinh r(s) · r'(s).
The constant d_∞ arises from a Beta-function evaluation of the integral ∫_0^∞ cosh(2t)^{-3/2} dt.

Where Pith is reading between the lines

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

The mode-by-mode Fourier strategy used here may be applied to compute the contribution of higher angular modes to the full index.
The Laplace-method analysis of the free-boundary condition supplies a template that could be reused for radius expansions in other one-parameter families of minimal surfaces.

Load-bearing premise

The one-parameter family of critical hyperbolic catenoids exists for every a > 1/2 and meets the sphere bounding the geodesic ball in a free-boundary manner.

What would settle it

Direct computation or numerical approximation of the dimension of the kernel of the Robin problem for the Jacobi operator restricted to angular mode |k|=1, or independent evaluation of the Beta-function integral that defines the constant d_∞.

read the original abstract

For each parameter $a>1/2$, the critical hyperbolic catenoid $\Sigma_a$ is a rotationally symmetric, free boundary minimal annulus in a geodesic ball $B^3(r(a))\subset\mathbb{H}^3$, in the family of Mori, do Carmo--Dajczer, and Medvedev. We establish three analytic results about $\Sigma_a$. (I) Robin nullity and index in mode $|k|=1$. The Robin nullity of the Jacobi operator $L_{\Sigma_a}=\Delta_g+(|II|^2-2)$ in angular Fourier mode $|k|=1$ equals $2$, with kernel spanned by the Killing--Jacobi fields associated to the rotations $L_{12},L_{13}\in\mathfrak{so}(3,1)$ that fix the geodesic axis of $\Sigma_a$ and send $\partial B^3(r(a))$ to itself. The radial profile admits the closed form $f_*(s)=\partial_s\Phi_a^0(s,0)=\frac{d}{ds}[A(s)\cosh\varphi(s)]=\sinh r(s)\cdot r'(s)$, where $r(s)$ is the geodesic distance from $p_0=(1,0,0,0)$. By Sturm--Liouville theory, the Robin Morse index of $\Sigma_a$ in mode $|k|=1$ also equals $2$, refining the lower bound $\mathrm{ind}(\Sigma_a)\geq 4$ of Medvedev. (II) Asymptotic radius. The boundary radius satisfies $r(a)=\tfrac{3}{2}\log a+d_\infty+o(1)$ as $a\to\infty$, with $d_\infty=\log[\sqrt{2}\,\Gamma(1/4)^2/\pi^{3/2}]=\log[2\sqrt{2\pi}/\Gamma(3/4)^2]$. The closed form for $d_\infty$ follows from a Beta-function evaluation of $I_\infty=\int_0^{\infty}\cosh(2t)^{-3/2}\,dt$. (III) Degenerate limit. As $a\to(1/2)^+$, $r(a)=c_*\sqrt{a-1/2}\,(1+o(1))$ with $c_*=\sigma_*\cosh\sigma_*$, where $\sigma_*$ is the unique positive fixed point of $\sigma=\coth\sigma$. The proof of (I) follows the mode-by-mode strategy of Devyver for the Euclidean critical catenoid, with $\mathfrak{so}(3,1)$ replacing $\mathfrak{so}(3)$, supplemented by the closed-form identification $f_*=\partial_s\Phi^0$ specific to the hyperbolic ambient. The proof of (II) is a Laplace-type asymptotic analysis of the implicit free boundary condition.

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 delivers explicit nullity 2 for the |k|=1 mode and a closed-form d_infty for the radius asymptotics on the hyperbolic catenoid family.

read the letter

The core contribution is the precise count that the Robin nullity in angular mode |k|=1 is exactly 2, with the kernel coming from the two Killing fields L_12 and L_13 that preserve the axis and the boundary sphere. They also extract an explicit constant d_infty = log[sqrt(2) Gamma(1/4)^2 / pi^{3/2}] from the Beta-function evaluation of the integral I_infty, plus the square-root degeneration rate near a = 1/2. These formulas are new and parameter-free, extending Devyver's Euclidean analysis by swapping in so(3,1) fields and using the radial profile f_* = sinh r(s) r'(s) to reduce the Jacobi operator to a Sturm-Liouville problem on the line. The Laplace-method asymptotics for r(a) ~ (3/2) log a + d_infty look internally consistent with the free-boundary condition. The work is narrow but honest: it refines Medvedev's index lower bound without claiming broader generality. The main soft spot is that the entire argument sits on the prior existence of the rotationally symmetric family Sigma_a for a > 1/2 from Mori, do Carmo-Dajczer, and Medvedev; this paper does not re-prove the construction or verify the free-boundary condition independently. The abstract sketches the Sturm-Liouville and asymptotic steps, but without seeing the full error estimates in the o(1) terms one cannot yet judge their sharpness. No circularity appears in the new pieces. This is for specialists in geometric analysis who care about index computations or explicit asymptotics for free-boundary surfaces in H^3. A reader already working on the hyperbolic catenoid or similar families will find the formulas useful and checkable. It deserves a serious referee because the claims are concrete, the methods are standard, and the new constants are falsifiable. I would send it to peer review.

Referee Report

0 major / 3 minor

Summary. The paper studies the one-parameter family of rotationally symmetric free-boundary minimal annuli Σ_a (a > 1/2) in geodesic balls of H^3, known as critical hyperbolic catenoids. It proves that the Robin nullity of the Jacobi operator L_Σa = Δ_g + (|II|^2 - 2) in angular Fourier mode |k|=1 equals 2, with kernel spanned by the Killing-Jacobi fields from the rotations L_12 and L_13 that preserve the axis and the boundary sphere; the corresponding Robin Morse index in this mode is also 2. It further derives the large-a asymptotic r(a) = (3/2) log a + d_∞ + o(1) with explicit d_∞ obtained from a Beta-function evaluation of the integral I_∞ = ∫ cosh(2t)^{-3/2} dt, and the degenerate-limit asymptotic r(a) ∼ c_* √(a - 1/2) as a → (1/2)^+.

Significance. If the claims hold, the work supplies precise, parameter-free information on the stability operator and geometry of this family, including an explicit closed-form kernel element f_* = sinh r(s) · r'(s) and a Beta-function expression for d_∞. These strengthen the lower index bound of Medvedev and extend the mode-by-mode analysis of Devyver from the Euclidean catenoid to the hyperbolic setting, providing concrete tools for further study of free-boundary minimal surfaces in H^3.

minor comments (3)

The abstract states that proofs proceed via Sturm-Liouville theory and Laplace asymptotics, but the manuscript should include a short self-contained recap of the radial ODE reduction and the verification that f_* satisfies the Robin boundary condition at s = ±s(a), even if the details follow Devyver.
In the asymptotic analysis of r(a) as a → ∞, the Laplace-method evaluation of I_∞ yields the constant d_∞, but the text should state the order of the remainder explicitly (e.g., O(1/a)) rather than only o(1) to make the expansion fully rigorous.
The citation to the construction of Σ_a by Mori, do Carmo-Dajczer, and Medvedev is appropriate, yet a one-sentence reminder of the free-boundary condition satisfied by the profile r(s) would improve readability for readers unfamiliar with the prior works.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, including the recognition of its contributions to the Robin nullity in mode |k|=1, the closed-form kernel element, the explicit asymptotic radius with Beta-function evaluation, and the degenerate-limit behavior. The recommendation for minor revision is appreciated.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper derives Robin nullity=2 in mode |k|=1 from the explicit radial profile f_*=sinh r(s)·r'(s) (identified as ∂_s Φ_a^0) together with standard Killing-Jacobi fields from so(3,1) and Sturm-Liouville analysis; this is independent of any fitted parameter. The asymptotic r(a)=(3/2)log a + d_∞ + o(1) follows from Laplace-method evaluation of the Beta-function integral I_∞=∫ cosh(2t)^{-3/2} dt, a parameter-free computation yielding the closed-form d_∞. The degenerate limit uses the fixed-point σ=coth σ. All steps rely on existence of Σ_a from independent prior authors (Mori et al.) and standard differential-geometric techniques without self-referential reduction, fitted inputs renamed as predictions, or load-bearing self-citations.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Results rest on the prior existence of the Σ_a family and on standard tools of geometric analysis; the asymptotic constant is computed from a parameter-free integral.

axioms (2)

domain assumption The family of critical hyperbolic catenoids Σ_a exists for a > 1/2 and meets the geodesic sphere orthogonally
Invoked throughout as the object of study; cited to Mori, do Carmo-Dajczer, Medvedev
standard math Sturm-Liouville oscillation theory determines the Morse index from the number of zeros of the radial eigenfunction
Used to conclude that nullity 2 implies index 2 in mode |k|=1

pith-pipeline@v0.9.0 · 5849 in / 1622 out tokens · 78960 ms · 2026-05-13T02:17:16.237963+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
Robin nullity of the Jacobi operator L_Σa = Δ_g + (|II|^2 - 2) in angular Fourier mode |k|=1 equals 2, with kernel spanned by the Killing-Jacobi fields associated to L_12, L_13
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
r(a) = (3/2)log a + d_∞ + o(1) with d_∞ = log[√2 Γ(1/4)^2 / π^{3/2}]

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages

[1]

Cerezo,Free boundary minimal annuli in geodesic balls ofH 3, Preprint, arXiv:2502.20303, 2025

A. Cerezo,Free boundary minimal annuli in geodesic balls ofH 3, Preprint, arXiv:2502.20303, 2025

work page arXiv 2025
[2]

Devyver,Index of the critical catenoid, Geom

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

work page 2019
[3]

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

work page 1983
[4]

Lima and A

V. Lima and A. Menezes,Eigenvalue problems and free boundary minimal surfaces in spherical caps, Preprint, arXiv:2307.13556, 2023

work page arXiv 2023
[5]

Medvedev,On free boundary minimal submanifolds in geodesic balls inH n andS n +, Preprint, arXiv:2311.02409v3, 2025

V. Medvedev,On free boundary minimal submanifolds in geodesic balls inH n andS n +, Preprint, arXiv:2311.02409v3, 2025

work page arXiv 2025
[6]

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

work page 1981
[7]

Tashiro,Complete Riemannian manifolds and some vector fields, Trans

Y. Tashiro,Complete Riemannian manifolds and some vector fields, Trans. Amer. Math. Soc.117(1965), 251–275

work page 1965