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

Alexander Pigazzini

arxiv: 2605.13562 · v4 · pith:VMECTXNZnew · submitted 2026-05-13 · 🧮 math.DG · math.AP· math.SP

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

Alexander Pigazzini This is my paper

Pith reviewed 2026-05-21 08:09 UTC · model grok-4.3

classification 🧮 math.DG math.APmath.SP

keywords Morse indexnullityhyperbolic catenoidfree boundary minimal surfaceJacobi operatorSturm comparisonMedvedev conjecture

0 comments

The pith

The Morse index of the critical hyperbolic catenoid equals 4 with nullity 2 for parameters a close to 1/2 from above.

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

This paper proves a local version of Medvedev's conjecture for the Morse index of critical hyperbolic catenoids. These are free boundary minimal surfaces inside geodesic balls in hyperbolic 3-space, parameterized by a greater than 1/2. The result shows that when a is sufficiently close to the limiting value 1/2 from above, the index is exactly 4 and the nullity is exactly 2. A sympathetic reader would care because this local confirmation near the degenerate case supplies analytic evidence toward the global conjecture and clarifies the second-variation behavior of these surfaces through explicit expansions and comparison methods.

Core claim

The central claim is that there exists δ0 greater than 0 such that the index of Σ_a equals 4 and the nullity equals 2 for every a in the interval from 1/2 to 1/2 plus δ0. This follows from the expansion of the ratio H(a) equal to sinh r(a) over K(a) that begins with the constant term σ* cosh σ* plus a positive linear term C0 times (a minus 1/2), together with three reductions that convert the index and nullity questions into the positivity of the parametric Jacobi field and the positivity of H prime.

What carries the argument

The three reductions (E), (F) and (G) that reduce the index-nullity problem first to positivity conditions in even and higher modes, then via Sturm shooting to positivity of the parametric Jacobi field φ_a on the principal branch, and finally under the auxiliary inequality sinh r(a) greater than 2 K(a) to the sign of H prime via constant Wronskian and Sturm separation.

If this is right

The nullity is exactly 2 near a equals 1/2 because the kernel vanishes in all modes except the two-dimensional |k| equals 1 contribution already known from prior work.
The Morse index equals 4 because exactly two negative eigenvalues appear in the even sector and none in the odd sector for |k| greater than or equal to 2.
Picone identities establish unconditional vanishing of the odd radial kernel for all |k| greater than or equal to 2 and unconditional positivity of the even mode-0 eigenvalue on the interval from 1/2 to 1.

Where Pith is reading between the lines

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

The same expansion and Sturm-reduction strategy may extend to other one-parameter families of rotationally symmetric minimal surfaces whose Jacobi fields admit explicit Wronskian identities.
Combining the local index result with the alternative lower bound ind greater than or equal to 4 obtained via Lorentz coordinates suggests a path toward a global proof without parameter restriction.

Load-bearing premise

The auxiliary inequality sinh r(a) greater than 2 K(a) near a equals 1/2 is required to convert positivity of the Jacobi field into positivity of H prime.

What would settle it

A direct computation showing that the coefficient C0 in the expansion of H(a) is negative, or that the Jacobi field φ_a changes sign for some a arbitrarily close to 1/2 from above, would falsify the local resolution.

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 [9] 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 [11, Cor. 4.4] with vanishing kernel in modes $|k|=0,|k|\ge2$; the latter, not in [11], 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

Pigazzini gives a local analytic proof that the strong Medvedev conjecture holds near a=1/2 for the hyperbolic catenoid.

read the letter

This paper shows that for the critical hyperbolic catenoid in H^3, when the parameter a is just a little bigger than 1/2, the Morse index is exactly 4 and the nullity is exactly 2. That's the local analytic resolution of the strong Medvedev conjecture. What stands out is the explicit expansion of H(a) around a=1/2. They compute the leading coefficient C0 in closed form using the root sigma* of sigma = coth sigma, and prove C0 positive by comparing sigma* to log(1+sqrt(2)) and using relations like sinh^2 sigma* = 1/(sigma*^2 -1). The three reductions are clearly laid out: the index problem reduces to positivity in certain modes, which reduces to the Jacobi field being positive, which reduces to H'(a)>0 under condition (G). They prove (G) holds everywhere on (1/2,1] by strict concavity of a transcendental function. The Picone identities for the odd radial sector and for the even mode are new tools that close those sectors without extra conditions. The soft spots are small. The result is strictly local, so it leaves the behavior for larger a untouched. The remainder term in the expansion is O((a-1/2)^2), and while analyticity guarantees some delta0 exists, the paper does not give a numerical estimate for how small delta0 has to be. The alternative proof of the lower bound ind >=4 via Lorentz coordinates is a nice addition but does not affect the main local argument. This is for researchers in geometric analysis who work on stability questions for minimal surfaces in hyperbolic space or on Morse index conjectures. Anyone following the literature on free boundary minimal surfaces in balls will see the value in the reduction chain and the explicit identities. The calculations appear solid and reproducible from the given formulas, so the paper deserves a serious referee. I would recommend sending it to peer review. The local result is a concrete advance that organizes the stability data near the critical point.

Referee Report

0 major / 3 minor

Summary. The paper establishes an analytic local resolution of the strong form of Medvedev's Morse index conjecture for the critical hyperbolic catenoid Σ_a in the geodesic ball of H^3. Specifically, it proves that there exists δ0 > 0 such that ind(Σ_a) = 4 and nul(Σ_a) = 2 for all a ∈ (1/2, 1/2 + δ0). This follows from the first-order expansion H(a) = sinh r(a)/K(a) = σ_* cosh σ_* + C0 (a - 1/2) + O((a - 1/2)^2) with explicit positive coefficient C0 expressed in terms of the root σ_* of σ = coth σ, combined with three reductions: (E) equivalence to μ0^even(2) > 0, (F) reduction of μ2(0) > 0 to positivity of the parametric Jacobi field φ_a, and (G) conversion of φ_a > 0 to H'(a) > 0 under the inequality sinh r(a) > 2K(a). Auxiliary results include Picone identities closing the relevant sectors and analytic verification of (G) on (1/2, 1] via strict concavity.

Significance. If the central claim holds, the work supplies the first analytic confirmation of the index and nullity for this family near the critical parameter a = 1/2, resolving the strong Medvedev conjecture locally. Credit is due for the parameter-free explicit expansion of C0 (derived from the transcendental root σ_* and verified positive via elementary inequalities), the unconditional Picone identities for reductions (E) and (F), and the analytic closure of condition (G) without numerical fitting. The alternative lower bound ind(Σ_a) ≥ 4 via Lorentz ambient coordinates adds independent value. The result is local but provides a concrete δ0 whose existence is controlled by the sign of C0 and the O((a-1/2)^2) remainder.

minor comments (3)

§ on reduction (iii): the invocation of the constant Wronskian and Sturm separation to link φ_a > 0 to H'(a) > 0 under (G) would benefit from an explicit display of the Wronskian identity in terms of the Jacobi fields.
The statement of the main theorem could clarify whether δ0 is effective (i.e., whether an explicit numerical lower bound can be extracted from the O((a-1/2)^2) estimate and the concavity proof of (G)).
Minor notational point: the definition of K(a) in the expansion of H(a) should be cross-referenced to the earlier definition of the catenoid parameters to avoid ambiguity with the curvature function.

Simulated Author's Rebuttal

4 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the positive assessment. The referee's summary accurately reflects the main results, including the first-order expansion of H(a), the reductions (E), (F), and (G), the Picone identities, and the analytic verification of condition (G). We appreciate the recognition of the parameter-free explicit form of C0 and the independent value of the Lorentz-coordinate lower bound. Below we respond to the aspects highlighted in the report.

read point-by-point responses

Referee: The paper establishes an analytic local resolution of the strong form of Medvedev's Morse index conjecture for the critical hyperbolic catenoid Σ_a in the geodesic ball of H^3. Specifically, it proves that there exists δ0 > 0 such that ind(Σ_a) = 4 and nul(Σ_a) = 2 for all a ∈ (1/2, 1/2 + δ0).

Authors: We confirm that this is the central claim. The local existence of δ0 follows directly from the positivity of C0 (verified via σ_* > log(1 + √2)) together with the O((a - 1/2)^2) remainder and the analytic closure of (G) on (1/2, 1]. No change to the manuscript is required on this point. revision: no
Referee: This follows from the first-order expansion H(a) = sinh r(a)/K(a) = σ_* cosh σ_* + C0 (a - 1/2) + O((a - 1/2)^2) with explicit positive coefficient C0 expressed in terms of the root σ_* of σ = coth σ, combined with three reductions: (E) equivalence to μ0^even(2) > 0, (F) reduction of μ2(0) > 0 to positivity of the parametric Jacobi field φ_a, and (G) conversion of φ_a > 0 to H'(a) > 0 under the inequality sinh r(a) > 2K(a).

Authors: The reductions (E), (F), and (G) are presented exactly as described. The explicit formula for C0 is derived in Section 3 from the transcendental equation for σ_* and is shown positive by elementary inequalities without numerical fitting. The Picone identities close the relevant sectors unconditionally. We agree that these steps are central and correctly summarized. revision: no
Referee: Auxiliary results include Picone identities closing the relevant sectors and analytic verification of (G) on (1/2, 1] via strict concavity.

Authors: The two Picone identities (one based on f_* for the odd radial sector |k| ≥ 2 and one based on B for (E)) are unconditional on the indicated intervals. The verification of (G) proceeds by showing strict concavity of the auxiliary transcendental function on (1/2, 1], which is analytic and does not rely on numerical checks. These auxiliary results stand as stated. revision: no
Referee: The alternative lower bound ind(Σ_a) ≥ 4 via Lorentz ambient coordinates adds independent value. The result is local but provides a concrete δ0 whose existence is controlled by the sign of C0 and the O((a-1/2)^2) remainder.

Authors: The Lorentz-coordinate argument (Section 6) indeed supplies an independent, non-analytic proof of the lower bound ind(Σ_a) ≥ 4 that holds for all a > 1/2. The local δ0 is controlled precisely by the sign of C0 and the remainder term, as noted. We thank the referee for highlighting this independent contribution. revision: no

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The central claim follows from an explicit analytic Taylor expansion of H(a) around a=1/2 whose leading coefficient C0 is given in closed form in terms of the independent transcendental root σ* of σ=cothσ and shown positive by elementary inequalities σ*>log(1+√2) together with algebraic relations on sinhσ*. Reductions (E) and (F) are established directly via Picone identities that close the relevant sectors unconditionally on (1/2,1] or (1/2,A*]. Reduction (iii) converts φ_a>0 to H'(a)>0 under auxiliary condition (G), which is itself proven on the full interval (1/2,1] by strict concavity of a transcendental function. The |k|=1 nullity is cited from prior work but is not required for the local vanishing results in other modes that complete the local nul=2 statement. No step reduces by construction to a fitted parameter, self-definition, or unverified self-citation chain; all load-bearing steps are independent analytic arguments supplied in the manuscript.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof relies on standard facts from Riemannian geometry and Sturm theory together with a few domain-specific properties of the catenoid family that are either proved or assumed only locally.

axioms (2)

standard math Existence and uniqueness of the positive root σ_* of σ = coth σ
Invoked to define the leading term of the expansion of H(a)
domain assumption The auxiliary inequality sinh r(a) > 2K(a) holds in a right neighborhood of 1/2
Used in reduction (iii) to obtain H'(a)>0 from φ_a>0

pith-pipeline@v0.9.0 · 6130 in / 1574 out tokens · 77887 ms · 2026-05-21T08:09:47.232979+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/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

The principal quantitative result ... H(a) = σ* cosh σ* + C0 (a−1/2) + O((a−1/2)^2) ... three analytic reductions (i) Medvedev conjecture equivalent to μ0^even(2)>0 and μ2(0)>0 ... (ii) μ2(0)>0 reduces via Sturm shooting to ϕ_a>0 ... (iii) ϕ_a>0 reduces under sinh r(a)>2K(a) to H'(a)>0
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

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

Picone identity with base f* ... S_rad_k(u,u) = (k^2−1)∫ f*^2/B h^2 + ∫ B f*^2 (h')^2 ... closure of odd radial sector for |k|≥2

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.