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

Résumé technique : Résolution analytique locale de la conjecture de l'indice de Morse de Medvedev pour le caténoïde hyperbolique critique dans $\mathbb{H}^3$

Énoncé du problème
L'article traite de la conjecture de l'indice de Morse de Medvedev [8] concernant les caténoïdes hyperboliques critiques $\Sigma_a$ (faisant partie de la famille de Mori) dans l'espace hyperbolique tridimensionnel $\mathbb{H}^3$. Ces surfaces sont des surfaces minimales à bord libre (FBMS) contenues dans une boule géodésique $B^3(r(a))$. La conjecture affirme que l'indice de Morse de $\Sigma_a$ est exactement 4 pour tout $a > 1/2$. L'auteur étudie la « forme forte » de cette conjecture, qui postule non seulement que l'indice est 4, mais aussi que la nullité est exactement 2. La condition de nullité exige l'absence de champs de Jacobi de Robin dans les modes de Fourier $|k|=0$ et $|k| \ge 2$, en plus du noyau bidimensionnel connu généré par les modes $|k|=1$.

Méthodologie
L'article emploie une approche analytique rigoureuse combinant la théorie spectrale, la théorie de Sturm-Liouville et l'analyse géométrique. La méthodologie procède par plusieurs réductions clés :

1. Décomposition modale : La forme quadratique associée à la variation seconde de l'aire est décomposée en modes de Fourier dans la variable angulaire $\theta$. Le problème est réduit à l'analyse des valeurs propres de l'opérateur de Jacobi radial $L_\Sigma$ dans chaque secteur de mode ($k \in \mathbb{Z}$), divisé davantage en secteurs de parité paire et impaire par rapport à la coordonnée axiale $s$.
2. Identités de Picone et comparaison de Sturm : L'auteur utilise deux identités de Picone distinctes. La première, avec la base $f_*$ (le champ de Jacobi connu de $|k|=1$), sert à prouver la positivité du secteur radial impair pour tout $|k| \ge 2$. La seconde, avec la base $B(s)$ (le profil du caténoïde), est utilisée pour établir des inégalités spectrales pour le secteur radial pair du mode $|k|=2$.
3. Identité de Green avec défaut de Robin : Pour traiter les conditions de noyau (nullité), l'article construit des champs de Jacobi spécifiques qui ne satisfont pas la condition aux limites de Robin mais possèdent des « défauts de Robin » explicitement calculables. En appariant ces champs avec un champ de Jacobi de Robin hypothétique via l'identité de Green, l'auteur dérive des conditions sous lesquelles le champ hypothétique doit s'annuler.
4. Comptage par tir de Sturm : La condition d'absence de valeurs propres nulles dans le mode 0 est réduite à la positivité d'un champ de Jacobi paramétrique $\phi_a$ sur la branche principale. Cela est analysé à l'aide d'un argument de tir de Sturm combiné à une identité de Wronskien constant reliant $\phi_a$ au champ de boost axial $u_*$.
5. Réduction scalaire : La positivité de $\phi_a$ est davantage réduite à une inégalité différentielle scalaire unidimensionnelle impliquant la monotonie du rapport $H(a) = \sinh r(a) / K(a)$, où $r(a)$ est le rayon de la frontière et $K(a) = \sqrt{a^2 - 1/4}$.
6. Analyse asymptotique : L'article effectue un développement asymptotique détaillé de $H(a)$ lorsque $a \to (1/2)^+$ pour déterminer le signe de sa dérivée dans le régime local.

Contributions et résultats clés

• Preuve de la borne inférieure : Une preuve alternative et élémentaire est fournie pour la borne inférieure $\text{ind}(\Sigma_a) \ge 4$, utilisant les quatre coordonnées ambiantes de Lorentz comme fonctions tests. Cela confirme le résultat original de la borne inférieure de Medvedev.
• Clôture des secteurs radiaux impairs : Il est prouvé sans condition que pour tout $|k| \ge 2$, le secteur radial impair ne contient aucune valeur propre négative ou nulle ($\mu_n^{\text{impair}}(k) > 0$).
• Clôture partielle des secteurs radiaux pairs :
  • Pour $a \in (1/2, 1]$, la condition $\mu_0^{\text{pair}}(2) > 0$ (Condition E) est prouvée sans condition en utilisant une identité de Picone avec la base $B(s)$.
  • Pour $a \in (1, A^*]$ (où $A^* > 1$), cette condition est établie via des estimations de Hardy et des arguments de continuité.
  • La clôture pour $a > A^*$ reste un problème ouvert.
• Clôture des conditions de non-noyau dans le mode 0 :
  • La partie paire de la condition de non-noyau ($\mu_n^{\text{pair}}(0) \neq 0$) est prouvée sous l'hypothèse $r'(a) \neq 0$, ce qui est montré découler de la positivité de $\phi_a$.
  • La partie impaire ($\mu_n^{\text{impair}}(0) \neq 0$) est prouvée sous l'inégalité géométrique stricte $\sinh r(a) > 2K(a)$ (Condition G).
  • La condition (G) est prouvée analytiquement pour $a \in (1/2, 1]$ via la concavité d'une fonction transcendante.
• Réduction à une inégalité scalaire : La conjecture forte est réduite à la monotonie stricte de $H(a)$ (spécifiquement $H'(a) > 0$) dans le régime local.
• Résolution analytique locale : Le résultat quantitatif principal est la preuve qu'il existe $\delta_0 > 0$ tel que pour tout $a \in (1/2, 1/2 + \delta_0)$, la conjecture forte de Medvedev est vérifiée : $\text{ind}(\Sigma_a) = 4$ et $\text{null}(\Sigma_a) = 2$. Cela est réalisé en dérivant une expression explicite sous forme fermée pour le coefficient asymptotique dominant $C_0$ de $H(a)$ lorsque $a \to (1/2)^+$ et en prouvant que $C_0 > 0$.

Portée et affirmations
L'article prétend fournir la première résolution analytique locale de la conjecture forte de Medvedev. Sa portée réside dans :

1. Stratégie de réduction : La réduction réussie d'un problème spectral complexe sur une surface minimale à une inégalité différentielle scalaire et au calcul d'un coefficient asymptotique spécifique.
2. Coefficients explicites : La fourniture d'une expression sous forme fermée pour le coefficient asymptotique $C_0$ et la preuve rigoureuse de sa positivité en utilisant les propriétés de l'équation transcendante $\sigma = \coth \sigma$.
3. Statut global partiel : Bien que la conjecture soit entièrement résolue dans le régime local près du paramètre dégénéré $a=1/2$, l'article décrit explicitement les défis analytiques restants pour la plage globale $a \in (1/2, \infty)$, spécifiquement la clôture de la Condition (E) pour les grandes valeurs de $a$ et la vérification de l'inégalité scalaire dans le régime intermédiaire.

L'auteur adopte une position modeste concernant la résolution globale, notant que les techniques actuelles (estimations de Hardy avec la base $B$) saturent pour les grandes valeurs de $a$, et que le régime intermédiaire nécessite un travail analytique supplémentaire (par exemple, des développements d'ordre supérieur ou des arguments de concavité transcendante) pour combler l'écart. L'article ne prétend pas avoir résolu la conjecture pour tout $a > 1/2$, mais établit plutôt une fondation analytique rigoureuse pour le régime local et trace une voie claire pour une complétion future.