Rigidity and flexibility under spectral Ricci lower bounds and mean-convex boundary

Resumen Técnico: Rigidez y Flexibilidad Bajo Límites Espectrales de Ricci Inferiores y Condición de Frontera Convexa Media

Planteamiento del Problema
Este artículo investiga la rigidez geométrica y topológica de variedades riemannianas $(M^n, g)$ con frontera no vacía $\partial M$, sujetas a límites espectrales inferiores sobre la curvatura de Ricci y condiciones de frontera convexa media. La pregunta central aborda un análogo de frontera de la "Pregunta 1" planteada en la introducción: determinar el umbral agudo $\gamma(n)$ tal que, si una variedad compacta admite una métrica que satisface la condición espectral $\lambda_1(-\gamma \Delta + \text{Ric}) \ge 0$ (y potencialmente una condición de frontera), también debe admitir una métrica con curvatura seccional estrictamente positiva y frontera estrictamente convexa media.

La condición espectral se define mediante la existencia de una función positiva $u \in C^{2,\alpha}(M)$ tal que $-\gamma \Delta u + u \text{Ric} \ge 0$ en $M$ y $H_{\partial M} + \gamma u^{-1}\langle \nabla u, \nu \rangle \ge 0$ en $\partial M$, donde $H_{\partial M}$ es la curvatura media con respecto a la normal unitaria exterior $\nu$. Los autores buscan extender teoremas clásicos de rigidez (específicamente el teorema de descomposición de Kasue para $\text{Ric} \ge 0$) a este contexto espectral y determinar el rango óptimo de $\gamma$ para el cual se mantienen tales restricciones de rigidez o topológicas.

Metodología
Los autores emplean un enfoque variacional centrado en geodésicas ponderadas. A diferencia de trabajos recientes que utilizan $\mu$-burbujas (que involucran superficies mínimas de dimensión superior), este artículo utiliza minimizadores unidimensionales del funcional:
$$E(\beta) := \int_\beta u^\gamma d\ell_g$$
donde $d\ell_g$ es el elemento de longitud riemanniana. Esta elección permite a los autores evitar problemas de regularidad asociados con hipersuperficies mínimas de dimensión superior en contextos no compactos.

La maquinaria técnica central implica:

1. Fórmulas de Primera y Segunda Variación: Se realizan cálculos detallados para el funcional $E(\beta)$ a lo largo de curvas que conectan componentes de frontera disjuntas. Estos arrojan desigualdades de estabilidad que involucran la curvatura de Ricci, el Hessiano de $u$ y términos de curvatura media de frontera.
2. Desigualdades de Estabilidad (Lemmas 1 y 2): Al probar la segunda variación con funciones de corte específicas y utilizar un marco ponderado, los autores derivan desigualdades integrales que restringen la geometría de las curvas minimizantes.
3. Captura de Geodésicas y Compacidad (Lema 3 y Proposición 4): Una contribución técnica crítica es la prueba de que las sucesiones minimizantes para $E(\beta)$ que conectan una componente de frontera compacta con el resto de la frontera no pueden "escapar al infinito" en el caso no compacto, siempre que $\gamma$ se encuentre dentro de un rango agudo específico. Esto se logra construyendo una contradicción mediante funciones de corte y la desigualdad de estabilidad, asegurando la existencia de minimizantes globales.
4. Argumentos Topológicos: El artículo combina los resultados de rigidez geométrica con un teorema profundo de Lawson y Michelsohn sobre la existencia de métricas con curvatura seccional positiva.

Contribuciones y Resultados Clave

1. Rigidez Espectral Aguda (Teorema 1)
Los autores prueban una extensión aguda del teorema de rigidez de Kasue. Si $(M^n, g)$ es una variedad completa con frontera desconectada (al menos una componente compacta) que satisface las condiciones espectrales con:

• $0 \le \gamma < 4$ para $n=2$,
• $0 \le \gamma < \frac{n-1}{n-2}$ para $n \ge 3$,
  entonces la variedad se descompone isométricamente como un producto $[0, L] \times \Sigma$, donde $\Sigma$ es una variedad compacta con $\text{Ric}_\Sigma \ge 0$.
• Agudeza: Los autores proporcionan contraejemplos (Proposiciones 2 y 3) que demuestran que si $\gamma$ excede estos umbrales, la conclusión de descomposición falla. Específicamente, para $\gamma = \frac{n-1}{n-2}$, la variedad puede no descomponerse, y para $\gamma > \frac{n-1}{n-2}$, las conclusiones topológicas fallan.

2. Rigidez Topológica (Teorema 2)
El artículo establece que bajo las mismas condiciones espectrales (con el umbral extendido para incluir la igualdad para $n \ge 3$, es decir, $0 \le \gamma \le \frac{n-1}{n-2}$), si al menos una desigualdad es estricta, el grupo fundamental relativo se anula: $\pi_1(M, \partial M) = 0$. Esto implica que la frontera es conexa y la inclusión $\partial M \hookrightarrow M$ induce una sobreyección en los grupos fundamentales.

• Significado: Esto generaliza resultados conocidos para $\text{Ric} \ge 0$ al contexto espectral. Los autores señalan que la compacidad de la variedad en sí no es requerida; solo una componente de frontera debe ser compacta.

3. Existencia de Métricas de Curvatura Positiva (Teorema 3)
Combinando el Teorema 2 con el teorema de Lawson–Michelsohn, los autores prueban que para $n \neq 4$, cualquier variedad compacta con frontera que satisface las condiciones espectrales (con al menos una desigualdad estricta) admite una métrica con curvatura seccional positiva y frontera estrictamente convexa media.

• Agudeza: El rango de $\gamma$ se muestra como agudo mediante la Proposición 1, que construye variedades con $\lambda_1(-\gamma \Delta + \text{Ric}) > 0$ que no admiten tales métricas cuando $\gamma > \frac{n-1}{n-2}$.
• Restricción Dimensional: El resultado se cumple para $n \neq 4$. Los autores declaran explícitamente que el caso $n=4$ permanece abierto debido al estado no resuelto de una proposición específica en el trabajo de Lawson–Michelsohn respecto a las 4-células falsas.

4. Corolario 1 (Rigidez Unificada)
Este resultado sintetiza los teoremas anteriores, estableciendo que para el rango agudo de $\gamma$, una variedad que satisface las condiciones espectrales debe o bien descomponerse isométricamente (si la frontera es desconectada) o tener un grupo fundamental relativo trivial (si la frontera es conexa).

Significado y Afirmaciones
El artículo afirma resolver el análogo de frontera agudo de la Pregunta 1 para dimensiones $n \neq 4$. Los autores enfatizan que su uso de minimizantes de longitud ponderada (objetos unidimensionales) en lugar de $\mu$-burbujas es una ventaja metodológica distintiva, particularmente en el manejo de variedades no compactas y evitando problemas de regularidad de dimensión superior.

Los autores son modestos respecto al alcance de su trabajo:

• Reconocen que la Pregunta 1 permanece ampliamente abierta para $n \ge 5$ en el caso compacto general sin suposiciones de frontera.
• Señalan que la suposición de compacidad en el Teorema 1 (Ítem 2) podría ser eliminable para $n=2,3$, pero esto queda para trabajo futuro.
• Declaran explícitamente que el caso $n=4$ es un problema abierto debido a restricciones externas en el teorema de Lawson–Michelsohn.
• No proponen nuevas aplicaciones ni propuestas experimentales, sino que enmarcan su trabajo como un avance teórico en el análisis geométrico, conectando específicamente la geometría espectral con la rigidez topológica y los límites de curvatura.

El artículo concluye proporcionando resultados en el Apéndice (Proposición 5 y Observación 6) que ofrecen generalizaciones espectrales de estimaciones de radio inyectivo y diámetro tipo Bonnet–Myers, mostrando ligeras mejoras en la dependencia de la oscilación de los límites en comparación con la literatura previa.