A Lower Bound for the First Non-zero Basic Eigenvalue on a Singular Riemannian Foliation

Resumen Técnico: Límite Inferior para el Primer Autovalor Básico No Nulo en Foliaciones Riemannianas Singulares

1. Planteamiento del Problema

El artículo aborda un problema central en geometría Riemanniana: la estimación de los autovalores del operador de Laplace-Beltrami bajo restricciones de curvatura. Específicamente, el autor se centra en el primer autovalor no nulo básico ($\lambda_1^B$) en el contexto de foliaciones Riemannianas singulares $(M, \mathcal{F})$ sobre una variedad Riemanniana compacta $M$.

• Contexto: En variedades cerradas con curvatura de Ricci acotada inferiormente ($Ric \ge (n-1)K$), existen estimaciones clásicas como la de Lichnerowicz ($\lambda_1 \ge nK$) y la estimación óptima de Zhong-Yang para $K=0$ ($\lambda_1 \ge \pi^2/d_M^2$), donde $d_M$ es el diámetro de la variedad.
• El Desafío: En una foliación singular, las funciones "básicas" (constantes en cada hoja) definen un espectro diferente al de la variedad total. El objetivo es generalizar las estimaciones de Zhong-Yang y Shi-Zhang para el espectro básico, reemplizando el diámetro de la variedad $d_M$ por el diámetro del espacio de hojas $d_{M/\mathcal{F}}$, y determinar las condiciones de rigidez cuando se alcanza la igualdad.
• Suposición Clave: Se asume que la foliación posee curvatura media básica (una condición técnica que permite que el Laplaciano ordinario coincida con el Laplaciano básico en la parte principal de la variedad).

2. Metodología

El autor emplea una combinación de análisis geométrico, teoría de foliaciones y técnicas de estimación de gradientes:

1. Definiciones Fundamentales:

   • Se define el espacio de hojas $M/\mathcal{F}$ y su métrica inducida, permitiendo definir el diámetro $d_{M/\mathcal{F}}$.
   • Se utiliza el operador de promediado ($Av$) sobre las hojas. Bajo la condición de curvatura media básica, este operador conmuta con el Laplaciano, lo que permite trasladar resultados del Laplaciano ordinario al básico.

2. Técnicas de Estimación de Gradientes:

   • Generalización de Zhong-Yang: Se adapta la prueba de Zhong-Yang (1984) para $Ric \ge 0$. En lugar de integrar a lo largo de geodésicas arbitrarias entre puntos de la variedad, el autor integra a lo largo de geodésicas que conectan hojas (minimizando la distancia entre hojas).
   • Se utiliza una transformación de la función propia $u$ mediante $\theta = \arcsin(v_\epsilon)$ y se aplica una desigualdad de gradiente que involucra una función auxiliar $\psi(\theta)$ solución de una EDO específica.
   • La integración a lo largo de la geodésica más corta entre dos hojas permite vincular $\lambda_1^B$ directamente con $d_{M/\mathcal{F}}$.

3. Análisis de Rigidez:

   • Para el caso de igualdad ($\lambda_1^B = \pi^2/d_{M/\mathcal{F}}^2$), se analiza la estructura geométrica de la variedad.
   • Se corrige y adapta un resultado previo de G. Xu y X. Xue sobre la rigidez de Zhong-Yang. El autor demuestra que la variedad no es necesariamente un producto directo, sino un toro de aplicación (mapping torus) de una isometría.

4. Generalización de Shi-Zhang:

   • Para el caso de curvatura de Ricci positiva ($Ric \ge (n-1)K > 0$), se sigue el enfoque de Bakry-Qian y Shi-Zhang.
   • Se reduce el problema a un problema de autovalores de Neumann en un intervalo de longitud $d_{M/\mathcal{F}}$ con un potencial derivado de la curvatura de Ricci.
   • Se utiliza una desigualdad algebraica para optimizar el parámetro $s$ en la estimación.

3. Contribuciones y Resultados Principales

El artículo establece tres teoremas principales que generalizan resultados clásicos al contexto de foliaciones singulares:

Teorema 1.1 (Generalización de Zhong-Yang):
Para una variedad compacta $M^n$ con $Ric \ge 0$ y una foliación Riemanniana singular $\mathcal{F}$ con hojas cerradas y curvatura media básica:
$$\lambda_1^B \ge \frac{\pi^2}{d_{M/\mathcal{F}}^2}$$
Esto generaliza la estimación óptima de Zhong-Yang, donde el diámetro de la variedad se sustituye por el diámetro del espacio de hojas.

Teorema 1.2 (Rigidez Generalizada):
Si se alcanza la igualdad $\lambda_1^B = \frac{\pi^2}{d_{M/\mathcal{F}}^2}$, entonces:

• $M$ es isométrico a un toro de aplicación $R \times_\mathbb{Z} N$, donde $N$ es una variedad compacta de dimensión $(n-1)$ con $Ric \ge 0$.
• La acción de $\mathbb{Z}$ está definida por $k \cdot (t, x) = (t + \frac{2k\pi}{\sqrt{\lambda_1^B}}, \phi^k(x))$, donde $\phi: N \to N$ es una isometría.
• La foliación $\mathcal{F}$ es una foliación Riemanniana regular de codimensión 1 de la forma $\{ \{p\} \times N \}$.
• El espacio de hojas $M/\mathcal{F}$ es isométrico a un círculo de radio $1/\sqrt{\lambda_1^B}$.
• Nota: El autor corrige una afirmación previa en la literatura que sugería que $M$ debía ser un producto directo; demuestra que puede ser un toro de aplicación no trivial.

Teorema 1.3 (Generalización de Shi-Zhang):
Para $Ric \ge (n-1)K \ge 0$ y cualquier constante $s \in (0, 1)$:
$$\lambda_1^B \ge 4s(1-s)\frac{\pi^2}{d_{M/\mathcal{F}}^2} + s(n-1)K$$
Este resultado unifica las estimaciones de Zhong-Yang y Lichnerowicz en el contexto básico.

4. Significado e Implicaciones

• Optimalidad en Diámetros Pequeños: El artículo demuestra que para variedades con diámetro pequeño, la estimación puede refinarse más allá de la conjetura de Li (que resultó ser falsa en su forma original para variedades generales). La estimación óptima para $s=1/2$ en diámetros pequeños es:
  $$\lambda_1^B \ge \frac{\pi^2}{d_{M/\mathcal{F}}^2} + \frac{1}{2}(n-1)K + \frac{(n-1)^2 K^2 d_{M/\mathcal{F}}^2}{16\pi^2}$$
• Distinción entre Espectro Básico y Total: Se destaca que aplicar estimaciones directamente al espacio base de una submersión Riemanniana (tratándolo como una variedad independiente) puede dar resultados más débiles o incorrectos en cuanto a la estructura de rigidez. El enfoque de foliaciones singulares captura la geometría global de $M$ y la acción de la foliación de manera más precisa.
• Corrección de Resultados Previos: La discusión sobre la rigidez (Teorema 1.2) es crucial, ya que identifica que la estructura límite es un toro de aplicación y no necesariamente un producto, corrigiendo errores en trabajos recientes de otros autores (Xu y Xue).
• Aplicabilidad: Los resultados se verifican en ejemplos concretos como acciones isométricas en esferas (foliaciones homogéneas) y foliaciones isoparamétricas, demostrando la validez de las desigualdades en casos no triviales.

En conclusión, el trabajo de Bach Tran proporciona un marco robusto para entender cómo la curvatura y la topología del espacio de hojas controlan el espectro de Laplace en foliaciones singulares, extendiendo y refinando los teoremas clásicos de geometría espectral.