New spectral Bishop-Gromov and Bonnet-Myers theorems and applications to isoperimetry

Resumen Técnico: Nuevos Teoremas de Bishop–Gromov y Bonnet–Myers Espectrales y Aplicaciones a la Isoperimetría

Planteamiento del Problema
El artículo aborda la generalización de los teoremas de comparación clásicos en geometría riemanniana —específicamente el teorema de comparación de volumen de Bishop–Gromov y el teorema de diámetro de Bonnet–Myers— hacia un entorno espectral. Los teoremas clásicos dependen de cotas inferiores puntuales de la curvatura de Ricci ($\text{Ric} \geq (n-1)\lambda$). Este trabajo investiga si es posible que cotas similares de volumen y diámetro se mantengan cuando la condición de curvatura es reemplazada por una condición espectral que involucra al operador $-\gamma\Delta + \text{Ric}$, donde $\gamma \geq 0$.

El problema central es determinar el rango exacto del parámetro $\gamma$ para el cual estas condiciones espectrales implican:

1. La finitud del grupo fundamental $\pi_1(M)$.
2. Cotas superiores en el diámetro de la cubierta universal $\tilde{M}$.
3. Cotas superiores en el volumen de $M$ (o $\tilde{M}$).
4. Control isoperimétrico agudo en el infinito para variedades completas con curvatura de Ricci no negativa y cotas de bi-Ricci espectral.

Metodología
Los autores emplean una combinación de teoría de la medida geométrica, análisis espectral y métodos variacionales. Las principales innovaciones técnicas incluyen:

1. Perfiles Isoperimétricos con Pesos Desiguales:
   A diferencia de las generalizaciones espectrales previas (por ejemplo, en dimensión 3) que utilizaban perfiles con pesos iguales, los autores introducen un perfil con pesos desiguales para los términos de área y volumen. Para una función positiva $u$ que satisface la condición espectral, definen:
   $$I(v) := \inf \left\{ \int_{\partial^* E} u^\gamma : E \subset \subset M, \int_E u^{\frac{2\gamma}{n-1}} = v \right\}$$
   Este pesado específico permite la derivación de una desigualdad diferencial aguda para el perfil isoperimétrico:
   $$I''I \leq -\frac{(I')^2}{n-1} - (n-1)\lambda$$
   Esta desigualdad se cumple en el sentido de la viscosidad y coincide con la desigualdad aguda conocida para el caso de curvatura constante, lo que permite una cota de volumen aguda mediante la comparación de ODE.

2. $\mu$-Burbujas de Warping Desigual:
   Para establecer cotas de diámetro, los autores utilizan la técnica de las $\mu$-burbujas (originalmente debida a Gromov). Definen un funcional con un potencial de warping desigual:
   $$E(\Omega) = \int_{\partial^* \Omega} u^\gamma - \int_{\Omega} h u^{\frac{2\gamma}{n-1}}$$
   Al elegir cuidadosamente la función de warping $h$ para que satisfaga una desigualdad diferencial específica que involucra a $\nabla h$, $u$ y $\gamma$, derivan una contradicción si el diámetro es demasiado grande. Este enfoque extiende la cota de diámetro a todo el rango de $\gamma$ donde la condición espectral es significativa.

3. Estabilidad y Regularidad:
   Las demostraciones implican el análisis de la segunda variación del funcional de energía. Un obstáculo técnico significativo es la potencial formación de singularidades en las hipersuperficies minimizantes para dimensiones $n \geq 8$. Los autores adaptan argumentos de la literatura (específicamente [7, 11]) para mostrar que las desigualdades de estabilidad se mantienen para variaciones soportadas fuera del conjunto singular, extendiendo así sus resultados a todas las dimensiones $n \geq 3$.

Contribuciones Clave y Resultados

1. Teoremas Espectrales de Bishop–Gromov y Bonnet–Myers (Teorema 1 y Corolario 1)
El artículo establece una generalización aguda de los teoremas clásicos. Sea $(M, g)$ una variedad riemanniana cerrada de dimensión $n \geq 3$. Si existe una función suave positiva $u$ tal que:
$$\gamma \Delta u \leq u \text{Ric} - (n-1)\lambda u$$
con $0 \leq \gamma \leq \frac{n-1}{n-2}$ y $\lambda > 0$, entonces:

• Cota de Diámetro: El diámetro de la cubierta universal $\tilde{M}$ está acotado por:
  $$\text{diam}(\tilde{M}) \leq \frac{\pi}{\sqrt{\lambda}} \left( \frac{\max(u)}{\min(u)} \right)^{\frac{n-3}{n-1}\gamma}$$
  Consecuentemente, $\pi_1(M)$ es finito.
• Cota de Volumen: El volumen de la cubierta universal satisface:
  $$\text{vol}(\tilde{M}) \leq \lambda^{-n/2} \text{vol}(S^n)$$
• Rigidez: Si se alcanza la igualdad en la cota de volumen, entonces $u$ es constante y $\tilde{M}$ es isométrico a la esfera redonda de radio $\lambda^{-1/2}$.

Los autores demuestran que el rango $\gamma \leq \frac{n-1}{n-2}$ es agudo; para $\gamma > \frac{n-1}{n-2}$, existen contraejemplos (por ejemplo, en $S^1 \times S^{n-1}$) donde la condición espectral se cumple pero las cotas de volumen y diámetro fallan.

2. Solución al Problema de Bernstein Estable (Teorema 2)
Como aplicación directa, los autores resuelven el problema de Bernstein estable en $\mathbb{R}^6$. Demuestran que cualquier hipersuperficie mínima inmersa, completa, conexa y de dos caras $M^n \hookrightarrow \mathbb{R}^{n+1}$ para $2 \leq n \leq 5$ es un hiperplano euclídeo. Este resultado se basa en la condición espectral derivada del operador de estabilidad y el rango agudo de $\gamma$ establecido en el Teorema 1. El caso $n=6$ permanece abierto.

3. Isoperimetría en el Infinito (Teorema 3)
Para variedades no compactas completas con $3 \leq n \leq 5$, $\text{Ric} \geq 0$, y una condición de bi-Ricci espectral $\lambda_1(-\gamma\Delta + \text{biRic}) \geq n-2$ fuera de un conjunto compacto, el artículo demuestra:

• Crecimiento de Volumen Lineal: La variedad tiene crecimiento de volumen lineal.
• Perfil Isoperimétrico Agudo: El perfil isoperimétrico $I_M(v)$ satisface $I_M(v) \leq \text{vol}(S^{n-1})$ para todo $v > 0$.
• Rigidez: La igualdad para algún $v$ implica que la variedad es isométrica a un cilindro $S^{n-1} \times [0, \infty)$ fuera de un conjunto acotado.

Significación y Reivindicaciones
Los autores afirman que la principal novedad reside en la introducción del perfil isoperimétrico con pesos desiguales y las $\mu$-burbujas de warping desigual. Estas herramientas permiten recuperar constantes agudas y extender los resultados a todo el rango de $\gamma$ donde la condición espectral es válida, superando las limitaciones de métodos anteriores que requerían restricciones más estrictas sobre $\gamma$ (por ejemplo, $\gamma < \frac{4}{n-1}$) o producían cotas de volumen no agudas.

El artículo enfatiza que el rango $\gamma \leq \frac{n-1}{n-2}$ es óptimo para la finitud de $\pi_1(M)$ y las cotas de volumen, un hecho demostrado mediante contraejemplos explícitos para $\gamma$ supercrítico. Además, el trabajo unifica y extiende resultados previos sobre el problema de Bernstein estable y las estructuras isoperimétricas en variedades con curvatura de Ricci no negativa, proporcionando un marco espectral unificado para estos problemas geométricos. Los resultados se presentan como aplicables a todas las dimensiones $n \geq 3$, con un tratamiento específico para el caso singular $n \geq 8$.