---
title: 'Critical Catenoid: Geometry & Spectrum'
url: https://www.emergentmind.com/topics/critical-catenoid
type: topic
---

# Critical Catenoid: Geometry & Spectrum

Searching arXiv for recent and foundational papers on the critical catenoid.
arXiv search query: "critical catenoid free boundary minimal surface Morse index"
The critical catenoid is the rotationally symmetric free-boundary minimal annulus in the Euclidean unit ball \(B^3\subset \mathbb{R}^3\) obtained by truncating and scaling the standard catenoid so that it meets the boundary sphere \(S^2=\partial B^3\) orthogonally. In the modern literature it functions simultaneously as a model example in free-boundary minimal surface theory, a rigidity target in uniqueness theorems, and a benchmark for spectral and numerical methods. Its classical Euclidean form has Morse index \(4\), and recent spectral treatments record nullity \(2\) [1609.02315, 1609.01485, 2606.21725].

## 1. Geometric definition and explicit parametrization

A free-boundary minimal surface \(\Sigma\subset B^3\) is a compact surface with \(\partial\Sigma\subset S^2\) such that \(\Sigma\) has zero mean curvature in the interior and meets \(S^2\) orthogonally along \(\partial\Sigma\) [1609.02315, 1603.04114]. For the critical catenoid, one starts from the standard catenoid in \(\mathbb{R}^3\) and imposes the free-boundary condition.

One convenient parametrization is
\[
X_a(t,\theta)
=\bigl(a\cosh(\tfrac ta)\cos\theta,\;a\cosh(\tfrac ta)\sin\theta,\;t\bigr),
\qquad t\in\mathbb{R},\ \theta\in[0,2\pi),
\]
with a unique parameter choice for which the truncated surface
\[
\Sigma=\{X_a(t,\theta): |t|\le aT,\ \theta\in[0,2\pi)\}
\]
meets the unit sphere orthogonally. Here \(T>0\) is the unique solution of
\[
T\tanh T=1,
\]
and then
\[
a=T\cosh T
\]
[1609.02315]. An equivalent scaled parametrization writes
\[
F(r,\theta)=\frac{1}{\rho_0\cosh\rho_0}\,(\cosh r\cos\theta,\;\cosh r\sin\theta,\;r),
\qquad r\in[-\rho_0,\rho_0],\ \theta\in[0,2\pi),
\]
where \(\rho_0>0\) is the unique solution of
\[
\rho_0\tanh\rho_0=1
\]
[1603.04114]. The equivalent forms
\[
\rho_0=\coth \rho_0
\qquad\text{and}\qquad
\rho_0\sinh \rho_0=\cosh \rho_0
\]
also appear in the literature [1609.01485, 1608.05689].

Topologically, the critical catenoid is an annulus with two boundary circles, and geometrically it is invariant under rotations about its axis and reflection across the equatorial plane [1709.08556]. The term “critical” refers to the fact that only one scale and truncation of the classical catenoid produces a compact piece lying in the unit ball and meeting \(S^2\) orthogonally [1709.08556].

## 2. Variational formulation and Jacobi spectrum

For a free-boundary minimal surface in the unit ball, the second variation of area is governed by the quadratic form
\[
Q(u,u)=\int_\Sigma\Bigl(|\nabla u|^2-|A|^2u^2\Bigr)\,dA-\int_{\partial\Sigma}u^2\,ds,
\]
with Jacobi operator
\[
L=\Delta+|A|^2
\]
and Robin boundary condition
\[
\partial_\nu f=f
\quad\text{on }\partial\Sigma
\]
[1609.02315, 1609.01485]. This is the free-boundary stability problem.

For the critical catenoid, conformal coordinates simplify the analysis. In the coordinates \(s=t/a\), the induced metric is
\[
g=a^2\cosh^2(s)\,(ds^2+d\theta^2),
\]
and after a conformal change one obtains a spherical annulus model on which the Jacobi operator becomes
\[
J=\Delta_{S^2}-2
\]
[1609.02315]. Separation of variables then reduces the spectral problem to one-dimensional ODEs indexed by Fourier mode.

A Jacobi-Steklov formulation makes this reduction especially explicit. With
\[
u(t,\theta)=f(t)\,g(\theta),
\qquad
g(\theta)\in\{\cos n\theta,\sin n\theta\},
\]
one obtains the ODE
\[
f''(t)+\Bigl(\frac{2}{\cosh^2 t}-n^2\Bigr)f(t)=0
\quad\text{on }[-T,T],
\]
with Robin conditions
\[
T f'(T)=\delta f(T),\qquad -T f'(-T)=\delta f(-T),
\]
where \(\delta\) is the Jacobi-Steklov eigenvalue [2606.21725].

This spectral structure admits several equivalent interpretations. In one description, the constant function together with three translation Jacobi fields span a four-dimensional negative subspace for the second variation [1609.02315]. In another, the index and nullity are assembled from the one-dimensional Robin problems and the fixed-boundary Dirichlet spectrum [2606.21725]. These formulations are complementary rather than contradictory: they encode the same instability through different decompositions.

## 3. Morse index, nullity, and mode-by-mode analysis

The Euclidean critical catenoid has Morse index \(4\) [1609.02315, 1609.01485]. One proof proceeds by identifying four explicit negative directions—one constant mode and three translation Jacobi fields—and then showing that all orthogonal higher modes are nonnegative [1609.02315]. Another proof separates variables and analyzes the resulting ODEs by Sturm-Liouville and Riccati-type arguments [1609.01485].

In the mode decomposition of [1609.01485], the \(m=0\) sector contributes two negative eigenvalues, one even and one odd, while the \(|m|=1\) sector contributes one negative eigenvalue of multiplicity two; no negative eigenvalues occur for \(|m|\ge 2\) [1609.01485]. This yields
\[
2+2=4
\]
negative directions in total.

A Jacobi-Steklov computation gives a finer accounting. The only eigenvalues strictly below the threshold \(\delta=1\) are
\[
\delta=\frac{1}{\sinh^2 T}\approx 0.4392
\quad\text{in the \(n=0\) odd mode,}
\]
with multiplicity \(1\), and
\[
\delta=-1
\quad\text{in the \(n=1\) even mode,}
\]
with multiplicity \(2\). The next eigenvalue is \(\delta=1\) with multiplicity \(2\), and the Dirichlet problem has one zero eigenvalue and no negative eigenvalues. Consequently,
\[
\mathrm{Ind}(\Sigma)=4,
\qquad
\mathrm{Nullity}(\Sigma)=2
\]
[2606.21725].

This spectral picture is also consistent with a general lower bound: every non-flat free-boundary minimal surface in \(B^3\) has index at least \(4\), while the flat equatorial disk is the exceptional index-\(1\) case [1609.02315]. The critical catenoid therefore realizes the smallest Morse index among non-flat examples in the Euclidean three-ball, as recorded in that framework [1609.02315].

## 4. Characterizations and rigidity results in the unit ball

The critical catenoid is the conclusion of several distinct rigidity theorems. These results use different hypotheses—index, Steklov spectrum, symmetry, support-function structure, or curvature pinching—but each singles out the same annulus.

| Hypothesis | Conclusion | Source |
|---|---|---|
| Embedded free-boundary minimal surface in \(B^3\) with index \(4\) | It is the critical catenoid | [1609.07810] |
| Embedded free-boundary minimal annulus invariant under the three coordinate-plane reflections | It is the critical catenoid | [1603.04114] |
| Embedded minimal free-boundary annulus whose boundary is invariant under the three coordinate-plane reflections | It is the critical catenoid | [2004.03320] |
| Embedded free-boundary minimal annulus with two congruent boundary components and one reflection symmetry | It is congruent to the critical catenoid | [2112.11877] |
| Embedded free-boundary minimal annulus whose support function has infinitely many critical points | It is the critical catenoid | [2310.06705] |
| Pinching \( |A|^2(x\cdot N)^2\le 2 \), with equality somewhere | It is congruent to the critical catenoid | [1608.05689, 1808.04341] |

A central spectral characterization comes from the Steklov problem. For a free-boundary minimal annulus in \(B^3\), the coordinate functions restrict to Steklov eigenfunctions with eigenvalue \(1\), and Fraser–Schoen’s theorem identifies the critical catenoid as the unique free-boundary minimal annulus whose coordinate functions realize the first Steklov eigenvalue [1603.04114]. McGrath’s reflection-symmetry theorem then shows that coordinate-plane invariance forces \(\sigma_1=1\), hence forces the critical catenoid [1603.04114].

A PDE-based characterization due to Espinar–Marín starts from the support function
\[
h(p)=p\cdot N(p),
\]
pushes it through the Gauss map, and obtains a function \(\xi\) on a spherical domain \(\Omega\subset \mathbb{S}^2\) satisfying
\[
\Delta_{\mathbb{S}^2}\xi+2\xi=0\ \text{in }\Omega,\qquad
\xi=0\ \text{on }\partial\Omega,\qquad
|\nabla \xi|=\text{constant on each boundary component}.
\]
Under the additional assumption that \(\xi\) has infinitely many maximum points, the solution is rotationally symmetric, and the corresponding embedded free-boundary minimal annulus is the critical catenoid [2310.06705].

A different rigidity mechanism is curvature pinching. Ambrozio–Nunes proved that if a compact free-boundary minimal surface in \(B^3\) satisfies
\[
|A|^2(x)\,(x\cdot N(x))^2\le 2
\]
everywhere, then either the quantity vanishes identically and the surface is the flat equatorial disk, or equality occurs at some point and the surface is congruent to the critical catenoid [1608.05689]. Barbosa–Viana extended the same dichotomy to arbitrary codimension, showing that equality still forces the surface to lie in a three-dimensional linear subspace and be the critical catenoid [1808.04341].

Taken together, these theorems provide several independent rigidity routes to the same object. In the cited literature, the critical catenoid is therefore characterized not by a single universal criterion, but by a network of spectral, geometric, and variational signatures.

## 5. Higher-dimensional and hyperbolic analogues

The term “critical catenoid” also appears in higher-dimensional free-boundary theory. For every \(n\), the \(n\)-dimensional critical catenoid \(M_n\) is defined as the unique nontrivial-topology, rotationally symmetric, free-boundary minimal hypersurface embedded in the closed unit ball \(B^{n+1}\subset \mathbb{R}^{n+1}\) [1709.00977]. Its Morse index \(\mathrm{MI}(n)\) obeys the asymptotic formula
\[
\lim_{n\to+\infty}\frac{\log(\mathrm{MI}(n))}{\sqrt{n}\log(\sqrt{n})}=1
\]
[1709.00977]. The same work computes exact values for \(n=2,\dots,100\), beginning with
\[
\mathrm{MI}(2)=4,\ \mathrm{MI}(3)=5,\ \mathrm{MI}(4)=6,\ \mathrm{MI}(5)=8
\]
[1709.00977]. In this sense, the classical surface in \(B^3\) is the \(n=2\) member of a broader unstable family.

A distinct analogue arises in hyperbolic space. In \(\mathbb{H}^3\), the Mori family provides rotationally symmetric minimal immersions \(\Phi_a\), and for each \(a>1/2\) one obtains a critical hyperbolic catenoid
\[
\Sigma_a\subset B^3(r(a))\subset \mathbb{H}^3
\]
that is free-boundary minimal in a geodesic ball [2605.13562]. The Medvedev conjecture states
\[
\mathrm{ind}(\Sigma_a)=4\quad\text{for all }a>1/2,
\]
and its strong form asserts
\[
\mathrm{ind}(\Sigma_a)=4,\qquad \mathrm{nul}(\Sigma_a)=2
\]
[2605.13562].

The 2026 local resolution proves that there exists \(\delta_0>0\) such that for every
\[
a\in(1/2,\,1/2+\delta_0)
\]
one has
\[
\mathrm{ind}(\Sigma_a)=4,\qquad \mathrm{nul}(\Sigma_a)=2
\]
[2605.13562]. The proof reduces the problem to one-dimensional spectral inequalities and to the monotonicity of
\[
H(a)=\frac{\sinh r(a)}{K(a)},
\qquad
K(a)=\sqrt{a^2-\tfrac14},
\]
using a real-analytic expansion of \(H(a)\) near \(a=1/2\) with positive linear coefficient \(C_0\) [2605.13562]. This places the hyperbolic theory in direct conceptual continuity with the Euclidean index problem, but the two settings remain analytically distinct.

## 6. Role as a model surface in construction and computation

The critical catenoid is not only a rigidity target; it is also a building block for new free-boundary minimal surfaces. Kapouleas–Li construct a family of high-genus examples in the Euclidean unit three-ball by desingularizing the intersection of a coaxial pair consisting of a critical catenoid and an equatorial disk [1709.08556]. The resulting surfaces have three boundary components and are described as the free-boundary analogue of the Costa–Hoffman–Meeks surfaces and of Kapouleas’s constructions obtained by desingularizing coaxial catenoids and planes [1709.08556]. This places the critical catenoid at the base of a gluing theory for more complicated topologies.

It also serves as a stringent numerical benchmark. A physics-informed neural network study uses the Jacobi-Steklov reduction to one-dimensional Robin problems, enforces parity mode by mode, and treats the eigenvalue as a trainable parameter [2606.21725]. In that setting, the three eigenvalues below the stability threshold are recovered to within \(10^{-6}\) to \(10^{-4}\) of their exact values, with PDE residuals of order \(10^{-4}\), and the assembled spectrum reproduces
\[
\mathrm{index}=4,\qquad \mathrm{nullity}=2
\]
[2606.21725].

The same work studies an operator homotopy joining a flat reference operator to the catenoid Jacobi operator. Numerically, the index is \(5\) at the flat strip endpoint, rises to \(7\) for small positive homotopy parameter, returns to \(5\) for an intermediate range, and equals \(4\) at the catenoid endpoint [2606.21725]. Because the critical catenoid is rigid in that analysis, the homotopy deforms operators rather than surfaces [2606.21725]. This suggests a broader methodological role: the critical catenoid is especially useful when one wants a problem whose geometry, exact spectrum, and instability count are all known in closed form, but whose analytic structure remains rich enough to test new techniques.

Source: https://www.emergentmind.com/topics/critical-catenoid