arxiv: 2605.13562 · v1 · submitted 2026-05-13 · 🧮 math.DG · math.AP· math.SP

Recognition: unknown

Analytic local resolution of Medvedev's Morse index conjecture for the critical hyperbolic catenoid in mathbb{H}³

Alexander Pigazzini

Authors on Pith no claims yet

Pith reviewed 2026-05-14 18:55 UTC · model grok-4.3

classification 🧮 math.DG math.APmath.SP

keywords Morse indexnullityhyperbolic catenoidminimal surfacefree boundaryJacobi fieldSturm comparisonPicone identity

0 comments

The pith

The critical hyperbolic catenoid has Morse index 4 and nullity 2 for a slightly larger than 1/2.

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

The paper establishes that the strong form of Medvedev's conjecture holds locally for the critical hyperbolic catenoid Σ_a in the geodesic ball of hyperbolic three-space. For parameters a in (1/2, 1/2 + δ0) with some δ0 > 0, the index equals 4 and the nullity equals 2. The argument derives an explicit Taylor expansion for the ratio H(a) with positive leading coefficient C0 and reduces the index and nullity statements to positivity of a Jacobi field via three steps that combine Sturm shooting counts, constant Wronskians, and Sturm separation. A reader cares because the index governs the stability and possible branching of these free-boundary minimal surfaces.

Core claim

The central claim is that there exists δ0 > 0 such that ind(Σ_a) = 4 and nul(Σ_a) = 2 for all a in (1/2, 1/2 + δ0). This follows from the expansion H(a) = σ* cosh σ* + C0 (a - 1/2) + O((a - 1/2)^2) with C0 > 0, together with the three reductions: the conjecture is equivalent to μ0^even(2) > 0 and μ2(0) > 0 with nondegeneracy in mode 0; μ2(0) > 0 reduces by Sturm shooting to φ_a > 0 on the principal branch; and φ_a > 0 reduces under sinh r(a) > 2K(a) to H'(a) > 0 via constant Wronskian and Sturm separation.

What carries the argument

The ratio H(a) = sinh r(a)/K(a) whose positive derivative controls the sign of the parametric Jacobi field φ_a via a constant Wronskian and Sturm separation, once the auxiliary inequality sinh r(a) > 2K(a) is in force.

If this is right

ind(Σ_a) = 4 and nul(Σ_a) = 2 holds throughout a right neighborhood of a = 1/2.
The kernel vanishes in modes |k| = 0 and |k| ≥ 2 near a = 1/2, leaving only the known contribution from |k| = 1.
A Picone identity closes the odd radial sector unconditionally for all |k| ≥ 2.
A second Picone identity establishes the even-mode positivity condition (E) unconditionally on the whole interval (1/2, 1].

Where Pith is reading between the lines

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

If the concavity argument used to secure sinh r(a) > 2K(a) extends to the full interval (1/2, 1], the same reductions would yield the conjecture globally.
The explicit expansion technique for the ratio H(a) could be applied to compute indices for other one-parameter families of minimal surfaces in space forms.
Direct numerical integration of the Jacobi equation for moderate values of a would test whether the index remains constant beyond the local interval.

Load-bearing premise

The reduction of positivity of the Jacobi field φ_a to the sign of H'(a) requires the inequality sinh r(a) > 2K(a) to hold near a = 1/2, which is closed by an asserted strict concavity of a transcendental function.

What would settle it

Numerical evaluation of H'(a) at a value such as a = 0.501 using the defining equations for r(a) and K(a) to check whether the derivative is positive as required by the expansion.

read the original abstract

Let $\Sigma_a\subset B^3(r(a))\subset\mathbb{H}^3$ ($a>1/2$) be the critical hyperbolic catenoid of the Mori family, a free boundary minimal surface in the geodesic ball. The Medvedev conjecture [8] states ind$(\Sigma_a)=4$ for all $a>1/2$. We study its strong form: ind$(\Sigma_a)=4$ and nul$(\Sigma_a)=2$. The nullity condition nul$(\Sigma_a)=2$ combines the mode-$|k|=1$ result $\text{nul}_R(\Sigma_a)|_{|k|=1}=2$ of [10, Cor. 4.4] with vanishing kernel in modes $|k|=0,|k|\ge2$; the latter, not in [10], is established here for $a\in(1/2,1/2+\delta_0)$. The main result is the analytic local resolution of the strong Medvedev conjecture: $\exists\delta_0>0$ s.t. ind$(\Sigma_a)=4$, nul$(\Sigma_a)=2$ for all $a\in(1/2,1/2+\delta_0)$. This follows from the expansion $H(a):=\sinh r(a)/K(a)=\sigma_*\cosh\sigma_*+C_0(a-\frac12)+O((a-\frac12)^2)$ as $a\to(1/2)^+$, with $C_0=\frac{\sigma_*\cosh\sigma_*(\sinh^2\sigma_*-1)(3\sinh^2\sigma_*-2)}{12\sinh^2\sigma_*}$, where $\sigma_*>0$ the unique positive root of $\sigma=\coth\sigma$, and $C_0>0$ by $\sigma_*>\log(1+\sqrt2)$. The proof proceeds via three reductions: $(i)$ the Medvedev conjecture is equivalent to $\mu_0^{\mathrm{even}}(2)>0$ $(E)$ and $\mu_2(0)>0$ with non-degeneracy in mode $0$ $(F)$; $(ii)$ $\mu_2(0)>0$ reduces, via a Sturm shooting-count argument, to $\phi_a>0$ of the parametric Jacobi field on the principal branch; $(iii)$ $\phi_a>0$ reduces, under $\sinh r(a)>2K(a)$ $(G)$, to $H'(a)>0$ via a constant Wronskian and Sturm separation. Auxiliary results: a Picone identity (base $f_*$) closing unconditionally the odd radial sector for $|k|\ge2$; a second Picone identity (base $B$) proving $(E)$ unconditionally on $(1/2,1]$ and, via Hardy estimates, on $(1/2,A_*]$ ($A_*>1$); analytic closure of $(G)$ on $(1/2,1]$ via strict concavity of a transcendental function; an alternative proof of ind$(\Sigma_a)\ge4$ via Lorentz ambient coordinates.

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 proves the strong form of Medvedev's conjecture locally near a=1/2 by giving an explicit expansion for H(a) and reducing the index claim to ODE sign conditions via Sturm and Picone arguments.

read the letter

The paper gives a local analytic proof that ind(Σ_a)=4 and nul(Σ_a)=2 for the critical hyperbolic catenoid when a is slightly bigger than 1/2. This comes from an expansion of H(a) and reductions to positivity of a Jacobi field. What is new is the closed-form expression for the linear coefficient C0 in that expansion, shown positive via the root sigma* of sigma = coth sigma being larger than log(1 + sqrt(2)). The reductions to mu2(0)>0 via Sturm separation under condition (G), and the Picone identities that close the |k|>=2 modes and the even mode 0 case, are not in the prior references. The work handles the nullity in higher modes and gives an alternative lower bound on the index using ambient Lorentz coordinates. The calculations are direct and rely on explicit series and standard comparison theorems, so they look solid on their own terms. The soft spot is the analytic verification that condition (G) holds on (1/2,1] by strict concavity. If the transcendental function's second derivative stays negative all the way to the endpoints, fine, but any slip in that argument would break the link from H'(a)>0 to the field being positive. Since the abstract only sketches it, the full paper needs to spell out the concavity check completely. This is aimed at people studying index problems for catenoids and free boundary minimal surfaces in hyperbolic space. A reader who wants templates for reducing Jacobi operator questions to ODE sign conditions would find it useful. It deserves peer review because the local resolution is concrete and the tools are standard but applied freshly. I would send it out for refereeing.

Referee Report

1 major / 1 minor

Summary. The manuscript claims an analytic local resolution of the strong form of Medvedev's Morse index conjecture for the critical hyperbolic catenoid Σ_a ⊂ B³(r(a)) ⊂ H³ (a > 1/2). It proves there exists δ₀ > 0 such that ind(Σ_a) = 4 and nul(Σ_a) = 2 for all a ∈ (1/2, 1/2 + δ₀). The argument proceeds from the explicit expansion H(a) := sinh r(a)/K(a) = σ* cosh σ* + C₀ (a - 1/2) + O((a - 1/2)²) with C₀ > 0 (explicitly C₀ = [σ* cosh σ* (sinh² σ* - 1)(3 sinh² σ* - 2)] / (12 sinh² σ*) and σ* the positive root of σ = coth σ), together with three reductions: (i) equivalence of the conjecture to μ₀^even(2) > 0 (E) and μ₂(0) > 0 with non-degeneracy in mode 0 (F); (ii) reduction of μ₂(0) > 0 to φ_a > 0 via Sturm shooting; (iii) reduction of φ_a > 0 to H'(a) > 0 under condition (G) sinh r(a) > 2K(a) via constant Wronskian and Sturm separation. Auxiliary results include Picone identities closing the |k| ≥ 2 odd sector and proving (E) unconditionally on (1/2,1], plus an alternative index lower bound via Lorentz coordinates.

Significance. If the claims hold, the work supplies the first local analytic confirmation of the strong Medvedev conjecture near the critical value a = 1/2. The explicit, closed-form expansion of H(a) with verified positive leading coefficient C₀ (using σ* > log(1 + √2)), the unconditional Picone identities for the radial sectors, and the alternative Lorentz-coordinate proof of ind(Σ_a) ≥ 4 are concrete strengths that advance the Morse-index theory for free-boundary minimal surfaces in hyperbolic space and provide a reusable template for local analyses near bifurcation points.

major comments (1)

[Abstract, reduction (iii) and auxiliary result on analytic closure of (G)] Abstract, reduction (iii) and auxiliary result on analytic closure of (G): the reduction of φ_a > 0 to H'(a) > 0 relies on the auxiliary inequality sinh r(a) > 2K(a) (condition (G)). The manuscript asserts that (G) holds on (1/2,1] by strict concavity of a transcendental function, yet supplies no explicit second-derivative formula, sign verification, or boundary analysis as a → (1/2)^+. Because this step is load-bearing for securing μ₂(0) > 0 (and hence the local index-nullity statement) via Sturm separation, the concavity argument must be expanded with full computations to rule out gaps in every right neighborhood of a = 1/2.

minor comments (1)

[Abstract] The abstract labels the three reductions (E), (F), (G) but defines them only descriptively; a single parenthetical sentence for each would improve immediate readability without lengthening the summary.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. We address the major comment below and will revise the manuscript to incorporate the requested expansions.

read point-by-point responses

Referee: [Abstract, reduction (iii) and auxiliary result on analytic closure of (G)] Abstract, reduction (iii) and auxiliary result on analytic closure of (G): the reduction of φ_a > 0 to H'(a) > 0 relies on the auxiliary inequality sinh r(a) > 2K(a) (condition (G)). The manuscript asserts that (G) holds on (1/2,1] by strict concavity of a transcendental function, yet supplies no explicit second-derivative formula, sign verification, or boundary analysis as a → (1/2)^+. Because this step is load-bearing for securing μ₂(0) > 0 (and hence the local index-nullity statement) via Sturm separation, the concavity argument must be expanded with full computations to rule out gaps in every right neighborhood of a = 1/2.

Authors: We agree that the analytic closure of condition (G) on (1/2,1] was asserted via strict concavity without supplying the explicit computational details. In the revised manuscript we will add the full second-derivative formula for the transcendental function in question, verify that it is strictly negative on the interval, and include a boundary analysis as a → (1/2)^+ to confirm that the inequality sinh r(a) > 2K(a) holds throughout (1/2,1]. These additions will make reduction (iii) fully rigorous and close the potential gaps near the critical value. revision: yes

Circularity Check

0 steps flagged

No circularity detected; derivation uses explicit independent expansion and standard ODE tools

full rationale

The paper's chain begins with an explicit series expansion of H(a) near a=1/2 whose coefficient C0 is given by a closed-form expression in σ* and verified positive via the inequality σ*>log(1+√2); this expansion is independent of the target index value. Reductions (E) and (F) are established unconditionally via Picone identities and Hardy estimates internal to the paper. Reduction (ii) applies a standard Sturm shooting argument to convert μ2(0)>0 into φ_a>0, and (iii) converts φ_a>0 into H'(a)>0 under the auxiliary (G) whose analytic closure on (1/2,1] is obtained by proving strict concavity of a transcendental function within the manuscript. The cited result from [10] supplies only the |k|=1 nullity mode and is not load-bearing for the local positivity claim near a=1/2. No step equates the final statement to a fitted parameter, self-definition, or self-citation chain by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof invokes standard results from ODE theory and differential geometry without introducing new free parameters or entities. The key assumptions are domain-specific (hyperbolic metric, free-boundary conditions) but not ad-hoc inventions.

axioms (2)

standard math Sturm separation and comparison theorems for second-order linear ODEs apply to the Jacobi operator modes.
Used in reduction (ii) and (iii) to convert positivity of φ_a to H'(a)>0.
standard math Picone identity holds for the radial Jacobi fields with the given base functions f* and B.
Auxiliary results closing the odd radial sector and proving (E) unconditionally on (1/2,1].

pith-pipeline@v0.9.0 · 5899 in / 1569 out tokens · 57837 ms · 2026-05-14T18:55:46.818283+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

11 extracted references · 3 canonical work pages · 1 internal anchor

[1]

Coddington and N

E.A. Coddington and N. Levinson,Theory of Ordinary Differential Equations, McGraw-Hill, New York, 1955

1955
[2]

T. H. Colding, W. P. Minicozzi,A course in minimal surfaces, Graduate Studies in Mathematics, 121, AMS, 2011

2011
[3]

Devyver,Index of the critical catenoid, Geom

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

2019
[4]

Eastham,The Spectral Theory of Periodic Differential Equations, Scottish Acad

M.S.P. Eastham,The Spectral Theory of Periodic Differential Equations, Scottish Acad. Press, 1973

1973
[5]

Fraser, R

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

2015
[6]

Hartman,Ordinary Differential Equations, Wiley, New York, 1964

P. Hartman,Ordinary Differential Equations, Wiley, New York, 1964

1964
[7]

Krantz, H.R

S.G. Krantz, H.R. Parks,A Primer of Real Analytic Functions, 2nd ed., Birkhäuser Advanced Texts: Basler Lehrbücher, Birkhäuser Boston, Inc., Boston, MA, 2002. ANALYTIC LOCAL RESOLUTION OF MEDVEDEV’S MORSE INDEX CONJECTURE INH 3 43

2002
[8]

Medvedev,On the Morse index of free boundary minimal surfaces in the hyperbolic space, arXiv:2311.02409v3, 2023

V. Medvedev,On the Morse index of free boundary minimal surfaces in the hyperbolic space, arXiv:2311.02409v3, 2023

work page arXiv 2023
[9]

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

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

1981
[10]

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

A. Pigazzini,Robin Nullity in Mode|k|= 1and Asymptotic Radius of the Critical Hyperbolic Catenoid, arXiv:2605.11244, 2026

work page internal anchor Pith review Pith/arXiv arXiv 2026
[11]

Tran,Index characterization for free boundary minimal surfaces, arXiv:1609.01651, 2016

H. Tran,Index characterization for free boundary minimal surfaces, arXiv:1609.01651, 2016

work page arXiv 2016