Robin nullity and asymptotic geometry of the critical hyperbolic catenoid

1. Problem Statement and Context

The paper investigates the spectral geometry of critical hyperbolic catenoids ($\Sigma_a$), a one-parameter family ($a > 1$) of rotationally symmetric free boundary minimal surfaces (FBMS) embedded in a geodesic ball $B^3(r(a))$ within hyperbolic 3-space ($\mathbb{H}^3$).

• The Object: $\Sigma_a$ is a minimal annulus that meets the boundary $\partial B^3(r(a))$ orthogonally. The parameter $a$ controls the "neck width" of the catenoid.
• The Operator: The study focuses on the Jacobi operator $L_{\Sigma_a} = \Delta_g + (|II|^2 - 2)$ subject to Robin boundary conditions ($\partial_\eta u = (\coth r) u$).
• The Gap: Previous work by Medvedev established that the Morse index of $\Sigma_a$ is at least 4 and conjectured it is exactly 4. However, the precise behavior of the Robin nullity (the dimension of the kernel of $L_{\Sigma_a}$) and the geometric dependence of the boundary radius $r(a)$ on the parameter $a$ remained unclear.
• The Core Question: Does the family $\{\Sigma_a\}$ exhibit a "second level" of criticality where the spectral properties change qualitatively, and how does the geometry of the family behave asymptotically?

2. Methodology

The author employs a rigorous analytic and symbolic approach, avoiding numerical approximations in favor of closed-form identities involving hyperbolic and exponential functions. The methodology is structured around three pillars:

1. Mode-by-Mode Fourier Decomposition:

   • The problem is decomposed into angular modes $k$ (where eigenfunctions take the form $F(u)e^{ik\theta}$).
   • The author adapts the technique used by Devyver for the Euclidean critical catenoid to the hyperbolic setting, utilizing the Lie algebra $\mathfrak{so}(3,1)$ of Killing fields.
   • Key Insight: The Killing fields generate Jacobi fields in angular modes $|k|=1$. The author proves these are the only kernel elements for generic $a$ in these modes, using Wronskian identities to rule out even solutions.

2. Asymptotic Analysis:

   • Near Degeneration ($a \to 1^+$): The paper performs a matched asymptotic expansion as the neck of the catenoid shrinks. This involves scaling variables and solving transcendental equations to characterize the limit radius $r_0$.
   • Large Parameter ($a \to \infty$): A Laplace-type expansion is used to derive the asymptotic behavior of the radius $r(a)$, involving the Beta function and Gamma functions.

3. Variational Principle and Parameter-Criticality:

   • The author introduces the concept of parameter-criticality: a point $a^\sharp$ where the boundary radius $r(a)$ is stationary ($r'(a^\sharp) = 0$).
   • Using a variation principle, it is shown that at such points, the parametric variation field $j_a = \langle \partial_a \Phi_a, \nu \rangle_L$ becomes a valid Robin Jacobi field, thereby increasing the nullity.

3. Key Contributions and Results

A. Geometric Characterization of the Family

The paper establishes two fundamental theorems regarding the geometry of the family $\{\Sigma_a\}$:

• Non-Monotonicity of the Radius (Theorem 1.5): The function $a \mapsto r(a)$ is not monotone. It decreases initially near $a=1$ ($r'(1^+) < 0$) but grows logarithmically as $a \to \infty$ ($r(a) \sim \frac{3}{2}\log a$).
• Existence of a Critical Parameter: Consequently, there exists a unique (conjectured) parameter $a^\sharp \in (1, \infty)$ where $r'(a^\sharp) = 0$. This is a phenomenon specific to the hyperbolic setting, as the Euclidean critical catenoid is unique up to scaling.
• Asymptotic Formulas:
  • Limit at $a \to 1^+$: The limit radius $r_0$ is the unique solution to $\tanh(r_0)\tanh(2r_0/\sqrt{3}) = \sqrt{3}/2$.
  • Limit at $a \to \infty$: $r(a) = \frac{3}{2}\log a + d_\infty + o(1)$, where $d_\infty$ is an explicit constant involving Gamma functions.

B. Spectral Results: Robin Nullity Jump

The central spectral result concerns the dimension of the kernel of the Jacobi operator (Robin nullity):

• Generic Case ($a \neq a^\sharp$): The Robin nullity in angular modes $|k|=1$ is exactly 2. These are generated by the Killing fields corresponding to rotations about the $x_1$ and $x_2$ axes. No other kernel elements exist in these modes.
• Critical Case ($a = a^\sharp$): At the parameter-critical point where $r'(a^\sharp)=0$, the nullity jumps to at least 3.
  • Mechanism: The variation field $j_{a^\sharp}$ (which lies in angular mode $k=0$) satisfies the Robin boundary condition precisely because $r'(a^\sharp)=0$.
  • Non-Vanishing: The author proves explicitly that $j_{a^\sharp}(0) = \frac{1}{2\sqrt{a^2-1}} > 0$ at the neck, ensuring this new kernel element is non-trivial.
  • Orthogonality: Since the existing kernel is in modes $|k|=1$ and the new element is in mode $k=0$, they are orthogonal, guaranteeing an increase in dimension.

C. Analytic Techniques

• Closed-Form Solutions: The paper derives explicit closed-form expressions for the radius $r(a)$ in terms of the parameter $a$ and the neck coordinate $s^*$, utilizing identities for hyperbolic functions.
• Wronskian Arguments: A novel application of Wronskian identities is used to prove the non-existence of even Robin eigenfunctions in mode $|k|=1$ without needing explicit solutions to the ODE.

4. Significance and Implications

1. New Phenomenon in Hyperbolic Geometry: The discovery of parameter-criticality ($r'(a)=0$) reveals a structural complexity in hyperbolic FBMS that does not exist in the Euclidean case. It links the spectral properties (nullity) directly to the geometric variation of the domain boundary.
2. Bifurcation Theory: The jump in nullity at $a^\sharp$ provides the necessary linearization condition for bifurcation. This supports recent constructions (e.g., by Cerezo) of non-rotational free boundary minimal surfaces bifurcating from rotational catenoids. The enlarged kernel at $a^\sharp$ suggests the moduli space of FBMS annuli branches at this specific parameter.
3. Morse Index Conjecture: While the paper proves the nullity is $\ge 3$ at $a^\sharp$, it leaves open the exact Morse index. The results constrain the index, supporting Medvedev's conjecture that the index is 4 (implying the nullity is likely exactly 3 at the critical point and 2 elsewhere, with the 4th negative eigenvalue coming from a different mode).
4. Methodological Advancement: The paper successfully extends the mode-by-mode spectral analysis techniques from Euclidean space to the hyperbolic setting, handling the complexities of the $\mathfrak{so}(3,1)$ symmetry group and the specific Robin boundary conditions arising from geodesic balls.

5. Open Questions

The author explicitly lists several open problems:

• Uniqueness of $a^\sharp$: Proving that $r'(a)=0$ has exactly one solution.
• Exact Nullity: Determining if the nullity at $a^\sharp$ is exactly 3 or higher (checking modes $|k| \ge 2$ and $k=0$ for $a \neq a^\sharp$).
• Bifurcation Correspondence: Rigorously linking the parameter $a^\sharp$ to the specific bifurcation parameters found in Cerezo's construction.
• Morse Index: Proving the upper bound $\text{ind}(\Sigma_a) \le 4$.

In summary, Pigazzini's paper provides a comprehensive analytic framework for understanding the critical hyperbolic catenoid, revealing a deep connection between the geometric variation of the boundary radius and the spectral stability of the minimal surface, with significant implications for the bifurcation theory of free boundary minimal surfaces in hyperbolic space.