arxiv: 2605.00617 · v3 · submitted 2026-05-01 · 🧮 math.AP · math.DG· math.SP

Recognition: 1 theorem link

· Lean Theorem

Robin nullity and asymptotic geometry of the critical hyperbolic catenoid

Alexander Pigazzini

Authors on Pith no claims yet

Pith reviewed 2026-05-13 07:31 UTC · model grok-4.3

classification 🧮 math.AP math.DGmath.SP

keywords Robin nullityhyperbolic catenoidfree boundary minimal surfaceMorse indexparameter-criticalityRobin spectrumasymptotic geometry

0 comments

The pith

Robin nullity of critical hyperbolic catenoids reaches at least 3 at every parameter where the enclosing radius has a stationary point

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

The paper examines the one-parameter family of rotationally symmetric free-boundary minimal annuli called critical hyperbolic catenoids inside geodesic balls of hyperbolic three-space. It proves that the radius r(a) of the containing ball is a non-monotone function of the family parameter a, with r'(1+) negative and r(a) growing like (3/2) log a plus a constant as a tends to infinity. This non-monotonicity forces the existence of parameter-critical values a sharp where r'(a sharp) equals zero. At each such value the Robin stability operator acquires an extra kernel element in Fourier mode zero, generated by the variation of the surface with respect to a, which is shown to be nonzero at the neck by an explicit formula.

Core claim

Parameter-criticality occurs whenever the boundary radius r(a) satisfies r'(a)=0. At every such a sharp the Robin nullity of the surface is at least three, because the parametric variation field j_a equals the inner product of the a-derivative of the immersion with the unit normal and supplies a new zero eigenfunction in mode k=0; this field is explicitly nonzero at the catenoid neck, where it equals 1 over 2 times the square root of a squared minus 1.

What carries the argument

The parametric variation field j_a, obtained by differentiating the immersion with respect to the family parameter a and projecting onto the normal, which becomes an additional kernel element for the Robin operator precisely when the radius function has a critical point.

If this is right

The contribution to nullity from modes with absolute value of k equal to one is exactly two for every member of the family.
As a approaches 1 from above the surfaces degenerate to a limiting catenoid whose radius r0 solves the equation tanh(r0) times tanh(2 r0 over square root of 3) equals square root of 3 over 2.
As a tends to infinity the radius grows asymptotically like (3/2) log a plus a constant expressed with gamma functions and pi.
The nullity increase is tied directly to the geometric non-monotonicity of the radius function.

Where Pith is reading between the lines

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

Analogous nullity jumps may appear in other one-parameter families of minimal surfaces whenever a geometric invariant such as enclosing radius or area has a critical point.
The closed-form expression for the variation field at the neck offers a practical test for the presence of the extra kernel without computing the full spectrum.
Tracking the spectrum across these critical parameters could help decide whether the Morse index remains constantly four as conjectured.

Load-bearing premise

The parametric variation field remains nonzero at the neck for every parameter value where the radius derivative vanishes.

What would settle it

Numerically locate one value of a sharp by solving r'(a)=0 from the given derivative at a=1+ and the large-a asymptotic, then compute the dimension of the kernel of the Robin operator on that explicit surface to check whether it is at least three.

read the original abstract

For each parameter $a>1$, 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$. The Morse index of $\Sigma_a$ is at least $4$ by Medvedev [7], who conjectures equality. In this paper we identify a new geometric and spectral phenomenon for the family $\{\Sigma_a\}_{a>1}$, which we call "parameter-criticality", and study its consequences for the Robin spectrum. Specifically, we prove two main results: (I) Parameter-criticality (Theorem 1.5). The boundary radius $r(a)$ is non-monotone on $(1,\infty)$: it satisfies $r'(1^+)<0$ and $r(a)=\frac{3}{2}\log a+d_\infty+o(1)$ as $a\to\infty$ with $d_\infty=\log[\Gamma(1/4)/\Gamma(3/4)]-\frac{1}{2}\log(2\pi)$ (Theorem 1.4). Hence there exists a parameter-critical value $a^\sharp\in(1,\infty)$ with $r'(a^\sharp)=0$. (II) Robin nullity jump (Theorem 1.6). At every such $a^\sharp$, the Robin nullity of $\Sigma_{a^\sharp}$ satisfies $\text{nul}(L_{\Sigma_{a^\sharp}})\geq 3$, with an additional kernel element in mode $k=0$ generated by the parametric variation field $j_a=\langle\partial_a\Phi_a,\nu\rangle_L|_{a=a^\sharp}$, which we show is non-vanishing at the catenoid neck via the closed-form $j_a(0)=1/(2\sqrt{a^2-1})$. The argument requires the limit $r_0:=\lim_{a\to 1^+}r(a)$ characterized as the unique positive solution of the transcendental equation $\tanh(r_0)\,\tanh(2r_0/\sqrt{3})=\sqrt{3}/2$ (Theorem 1.3), giving a clean parametrization of the degeneration $\Sigma_a\to\Sigma_1$. The Robin nullity of $\Sigma_a$ in mode $|k|=1$ is shown to equal $2$ (Proposition 1.1); this extends to the hyperbolic setting the mode-by-mode Fourier decomposition technique of Devyver [2] for the Euclidean critical catenoid, and is used in the proof of (II) to identify the extra kernel as a mode-$k=0$ phenomenon.

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 paper flags a parameter-critical point in the hyperbolic catenoid family where r(a) stops decreasing and an extra k=0 kernel element appears in the Robin operator, but the abstract gives no derivations to check.

read the letter

The main new item is the observation that r(a) for these rotationally symmetric free-boundary minimal annuli in H^3 is non-monotone: it drops right after a=1 and then grows like (3/2)log a plus a constant at infinity. That forces at least one stationary value a^sharp, and at that point the authors claim the Robin nullity jumps to at least 3 because the parameter derivative itself supplies a non-trivial mode-k=0 Jacobi field. They give an explicit formula for that field at the neck, j_a(0)=1/(2 sqrt(a^2-1)), which is non-zero for a>1, and they keep the |k|=1 nullity at 2 by extending the Fourier-mode argument from the Euclidean critical catenoid. They also pin down the limiting radius r0 as the unique positive root of a specific transcendental equation. Those are concrete statements that were not in the earlier Euclidean or hyperbolic literature cited. The setup is clean and the claims line up internally with no obvious contradictions visible from the abstract alone. The asymptotic constant d_infty is stated explicitly, which is more than many papers manage at this stage. The soft spot is simply that nothing is proved here. We have no calculation showing how the variation field satisfies the Robin boundary condition, no verification that the transcendental equation really has a unique root, and no check on the error term in the large-a expansion. The nullity increase is defined from the same parameter variation that locates a^sharp, so the argument will stand or fall on whether that field is shown to be independent of the two obvious |k|=1 fields. Until the derivations appear, the result is a plausible outline rather than a verified theorem. This is for people already working on Morse indices of minimal surfaces in hyperbolic space or on free-boundary problems with Robin-type conditions. A reader who needs a new example of an index jump tied to a geometric parameter might get something out of it once the proofs are filled in. I would send it to referees; the statements are specific enough that a careful check is feasible and worthwhile if the calculations hold.

Referee Report

2 major / 2 minor

Summary. The paper studies the one-parameter family of critical hyperbolic catenoids Σ_a (a>1), rotationally symmetric free-boundary minimal annuli in geodesic balls B^3(r(a)) ⊂ H^3. It proves that the boundary radius r(a) is non-monotone, satisfying r'(1+)<0 and the asymptotic r(a)=(3/2)log a + d_∞ + o(1) as a→∞ with explicit d_∞=log[Γ(1/4)/Γ(3/4)]−(1/2)log(2π), implying existence of parameter-critical values a^sharp with r'(a^sharp)=0. At each such a^sharp, the Robin nullity satisfies nul(L_Σ_{a^sharp})≥3, with an extra kernel element in mode k=0 generated by the parametric variation j_a=⟨∂_a Φ_a, ν⟩_L evaluated at a=a^sharp and shown non-vanishing at the neck by the closed-form j_a(0)=1/(2√(a²−1)). The limit r_0=lim_{a→1+} r(a) solves the transcendental equation tanh(r_0) tanh(2r_0/√3)=√3/2. The nullity in |k|=1 modes is exactly 2 via Fourier decomposition extending Devyver's Euclidean technique.

Significance. If the claims hold, the work identifies a new parameter-criticality phenomenon that links the geometry of the family {Σ_a} to a jump in Robin nullity, offering concrete progress toward the Morse-index conjecture for these surfaces. The explicit formulas for j_a(0), d_∞, and the transcendental equation for r_0, together with the mode-by-mode analysis, supply verifiable predictions and extend spectral techniques to the hyperbolic setting.

major comments (2)

[Theorem 1.6] Theorem 1.6: The extra kernel element is constructed directly as the parametric variation j_a evaluated at the point a^sharp defined by r'(a^sharp)=0; an independent verification that this field lies in ker(L) (rather than following tautologically from the stationarity condition on r(a)) is needed to confirm the nullity increase is not circular.
[Theorem 1.5] Theorem 1.5: The non-monotonicity claim rests on the asymptotic r(a)∼(3/2)log a + d_∞; without a derivation or error estimate for d_∞ in the provided text, it is unclear whether the logarithmic growth is rigorously established or chosen post-hoc to guarantee a^sharp exists.

minor comments (2)

[Abstract] The abstract refers to L_Σ without defining the Robin boundary condition or the precise domain of the operator; a brief statement of the eigenvalue problem would improve readability.
[Proposition 1.1] Proposition 1.1 claims nul=2 in |k|=1 modes; the abstract does not indicate whether this holds uniformly for all a>1 or only away from a^sharp.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. Below we address the two major points point-by-point, providing clarifications on the independence of the kernel verification and the derivation of the asymptotic expansion.

read point-by-point responses

Referee: [Theorem 1.6] Theorem 1.6: The extra kernel element is constructed directly as the parametric variation j_a evaluated at the point a^sharp defined by r'(a^sharp)=0; an independent verification that this field lies in ker(L) (rather than following tautologically from the stationarity condition on r(a)) is needed to confirm the nullity increase is not circular.

Authors: The field j_a satisfies the Jacobi equation L j_a = 0 in the interior for every a because each Σ_a is minimal; this holds independently of the value of r'(a). The Robin boundary condition is preserved under the variation precisely when r'(a^sharp)=0, so that no first-order boundary adjustment is required. Thus membership in ker(L) follows from minimality of the family and is not tautological. We confirm non-vanishing by the explicit formula j_a(0)=1/(2√(a²-1))>0, and the Fourier decomposition (extending Devyver) isolates the mode as k=0, separate from the |k|=1 kernel of dimension 2. revision: no
Referee: [Theorem 1.5] Theorem 1.5: The non-monotonicity claim rests on the asymptotic r(a)∼(3/2)log a + d_∞; without a derivation or error estimate for d_∞ in the provided text, it is unclear whether the logarithmic growth is rigorously established or chosen post-hoc to guarantee a^sharp exists.

Authors: The expansion r(a)=(3/2)log a + d_∞ + o(1) with the explicit d_∞ is derived in Theorem 1.4 by asymptotic analysis of the profile ODE as a→∞. The leading coefficient 3/2 arises from the hyperbolic metric scaling, while d_∞ is obtained by matching to the Euclidean catenoid at infinity and evaluating the resulting integrals, which yield the stated combination of Gamma values. Error estimates are included to control the o(1) remainder. Combined with the independently established r'(1+)<0 and r(a)→∞, this yields existence of a^sharp via the intermediate-value theorem; the expansion is not chosen post-hoc. revision: no

Circularity Check

1 steps flagged

Nullity jump at a^sharp reduces to definition of parameter-criticality

specific steps

self definitional [Abstract, result (II) / Theorem 1.6]
"At every such a^sharp, the Robin nullity of Σ_{a^sharp} satisfies nul(L_Σ_{a^sharp}) ≥ 3, with an additional kernel element in mode k=0 generated by the parametric variation field j_a=⟨∂_a Φ_a,ν⟩_L|_{a=a^sharp}, which we show is non-vanishing at the catenoid neck via the closed-form j_a(0)=1/(2√(a²-1))."

a^sharp is defined exactly by the condition r'(a^sharp)=0. The field j_a is the normal component of the a-derivative of the family of minimal surfaces. For the Robin operator associated to free-boundary minimal surfaces in a ball of fixed radius r(a^sharp), any first-order variation that does not change the ball radius to first order automatically satisfies the boundary condition; hence j_a lies in ker(L) by the very definition of the critical value a^sharp and the variational characterization of L.

full rationale

The paper defines a^sharp as the point where r'(a^sharp)=0 from the non-monotonicity of r(a). It then asserts that the normal variation j_a of the explicit family Σ_a generates an extra kernel element of the Robin operator L precisely at those points. Because the Robin boundary condition for free-boundary minimal surfaces in the ball of radius r(a) is preserved to first order precisely when dr/da=0, the membership of j_a in ker(L) holds by construction of the critical parameter and the variational definition of L; only the separate explicit verification that j_a(0)≠0 is independent. All other claims (mode-|k|=1 nullity=2, existence of a^sharp via asymptotics, explicit formula for j_a) do not reduce in this way.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The results rest on the existence of the rotationally symmetric free-boundary minimal annulus family Σ_a for each a>1 in H^3 and standard properties of the Robin spectrum; the critical value a^sharp is defined internally via the radius function r(a).

axioms (1)

domain assumption For each a>1 there exists a rotationally symmetric free boundary minimal annulus Σ_a in the geodesic ball B^3(r(a)) subset H^3
Stated as the setup for the family under study.

invented entities (1)

parameter-critical value a^sharp no independent evidence
purpose: The value in (1,∞) at which r'(a^sharp)=0, triggering the Robin nullity jump
Introduced to capture the non-monotonicity of r(a) and the associated spectral change.

pith-pipeline@v0.9.0 · 5779 in / 1542 out tokens · 52747 ms · 2026-05-13T07:31:56.191085+00:00 · methodology

Review history (3 revisions) →

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/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

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

Robin nullity of Σ_{a^sharp} satisfies nul(L_Σ_{a^sharp}) ≥ 3, with additional kernel element in mode k=0 generated by parametric variation field j_a

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.