Index estimates for constant mean curvature surfaces in three-manifolds by energy comparison

Resumen Técnico: Estimaciones del Índice para Superficies de Curvatura Media Constante en Variedades de Tres Dimensiones mediante la Comparación de Energía

Planteamiento del Problema
El artículo aborda el problema de establecer cotas superiores para el índice de Morse de superficies cerradas de Curvatura Media Constante (CMC) inmersas en variedades orientables de tres dimensiones. Específicamente, los autores buscan acotar el índice (y la nulidad) del operador de Jacobi asociado al funcional CMC en términos de invariantes topológicos (género y puntos de ramificación) y cantidades geométricas (área y energía de tipo Willmore).

Si bien las cotas lineales para el índice de superficies mínimas en dimensiones $m \ge 3$ están bien establecidas vía la desigualdad de Cwikel-Lieb-Rozenbljum y las inmersiones de Sobolev, el caso $m=2$ (superficies) presenta dificultades analíticas significativas. Las estimaciones estándar de operadores de Schrödinger fallan en dos dimensiones porque el término de potencial (relacionado con la curvatura) no pertenece a $L^1$ de una manera que permita obtener una cota lineal mediante el género y el área por sí solos. El trabajo previo de Ejiri y Micallef logró cerrar esta brecha para superficies mínimas comparando la funcional de área con la energía de Dirichlet, pero extender esto a superficies CMC en variedades ambientales arbitrarias requiere nuevas técnicas.

Metodología
La metodología central se basa en una comparación refinada entre las segundas variaciones del funcional de Área ($A$) y el funcional de Energía de Dirichlet ($E$) a lo largo de mapas conformes.

1. Comparación Generalizada de la Segunda Variación: Los autores generalizan un resultado clave de Ejiri y Micallef [11]. Demuestran que para cualquier inmersión conforme ramificada $u: \Sigma \to N$ (no necesariamente mínima), la segunda variación del funcional de área está relacionada con la segunda variación del funcional de energía por un término no positivo que involucra el "defecto conformal infinitesimal" ($\eta$ o $\mu$).
   $$d^2A(u)[v, v] = d^2E(u)[v, v] - 4 \int_\Sigma |\mu|^2 d\Sigma$$
   Crucialmente, esta identidad se cumple sin restricciones sobre la curvatura media $H$. Esto permite a los autores relacionar el índice del funcional de área CMC con el índice de un funcional de energía correspondiente.

2. Análisis del Funcional de Energía: Los autores definen un funcional de energía $E_h(u) = E(u) + V_h(u)$, donde $V_h$ representa el volumen encerrado con peso $h$. Analizan la segunda variación de este funcional de energía. Utilizando la desigualdad de Michael-Simon-Sobolev y estimaciones de la traza del núcleo de calor (siguiendo a Cheng y Tysk [7]), derivan cotas explícitas sobre el índice del operador de energía.

3. Estimación Espectral: El índice del operador CMC está acotado por el índice del operador de energía más un término topológico $r$ (derivado de la dimensión del espacio de módulos de la superficie). El índice de la energía está acotado por el área de la superficie y las normas $L^\infty$ de la curvatura ambiental y la curvatura media.

Contribuciones Clave y Resultados

• Teorema 1.2 (Cota Superior General): Para una inmersión CMC $h$-ramificada $u: \Sigma_g \to N^3$ (donde $N$ está embebida en $\mathbb{R}^d$), la suma del índice y la nulidad ($i_{Ah} + n_{Ah}$) satisface:
  $$i_{Ah} + n_{Ah} \le C(4J^2 + h^2)\text{Area}(\Sigma) + r$$
  Aquí, $J$ es la norma sup de la mayor parte del autovalor de la segunda forma fundamental de la inmersión $N \hookrightarrow \mathbb{R}^d$, $h$ es la curvatura media, y $r$ es una cantidad puramente topológica que depende del género $g$ y del número de puntos de ramificación $b$. Si la superficie es totalmente umbilica, el término topológico $r$ desaparece.

• Teorema 1.5 (Caso de Curvatura Negativa): En una variedad orientable con curvatura seccional estrictamente negativa ($\kappa_N \le \kappa_0 < 0$), si la curvatura media satisface $h^2 \le 4|\kappa_0|$, el índice está acotado puramente por la cantidad topológica $r$ (o la superficie es totalmente umbilica con restricciones de curvatura específicas). Este resultado destaca que en espacios suficientemente negativamente curvados, el término de energía geométrica no domina la cota del índice bajo estas condiciones de curvatura.

• Discusión de la Optimalidad: Los autores demuestran que la dependencia lineal de la energía de tipo Willmore ($h^2 \text{Area}(\Sigma)$) es óptima. Citan ejemplos de superficies de Delaunay (unduloides/nodoides) y toros de Wente, donde el índice crece afín-linealmente con el número de "lóbulos" (protuberancias), lo cual corresponde al crecimiento de la energía de Willmore. Del mismo modo, la dependencia lineal respecto al género está respaldada por las construcciones de superficies CMC de alto género de Kapouleas y Heller et al.

Significado y Reivindicaciones
El artículo pretende extender las estimaciones de índice seminales de Ejiri y Micallef para superficies mínimas hacia las superficies CMC en variedades de tres dimensiones orientables arbitrarias. Al establecer que la comparación de segundo orden entre área y energía se mantiene para mapas conformes independientemente de la curvatura media, los autores proporcionan un marco robusto para acotar el índice de Morse utilizando datos geométricos (área y curvatura) y datos topológicos (género).

Los autores declaran explícitamente que su estimación es "altamente subóptima" en presencia de curvaturas seccionales estrictamente negativas en relación con la curvatura media (por ejemplo, esferas grandes en el espacio hiperbólico), donde la energía de Willmore crece exponencialmente mientras que el índice permanece constante. Sin embargo, argumentan que en presencia de curvaturas ambientales no negativas, el orden de su estimación (lineal en la energía de Willmore y el género) es óptimo.

El trabajo no propone nuevas aplicaciones experimentales, sino que proporciona una herramienta teórica para comprender la estabilidad y las propiedades espectrales de las superficies CMC, llenando un vacío en la literatura respecto a las cotas de índice para superficies no mínimas en geometrías ambientales generales.