Kähler-Ricci Flow preserves negative anti-bisectional curvature

Resumen Técnico: El Flujo de Kähler-Ricci Preserva la Curvatura Anti-Biseccional Negativa

Planteamiento del Problema
Este artículo investiga el comportamiento de la "curvatura anti-biseccional" bajo el flujo de Kähler-Ricci. La curvatura anti-biseccional, definida como $R(V, W, V, W)$ para vectores $(1,0)$ polarizados $V$ y $W$, surge de una correspondencia entre la teoría de la regularidad del transporte óptimo y la geometría de las variedades de Kähler en dominios de tubos. El tensor de Ma-Trudinger-Wang (MTW) para funciones de costo de la forma $c(x, y) = \Psi(x-y)$ corresponde a la curvatura anti-biseccional de una métrica de Kähler asociada.

Si bien se sabe que el flujo de Ricci preserva diversas condiciones de positividad en la curvatura (por ejemplo, la curvatura biseccional no negativa), generalmente no se sabe si preserva las condiciones de negatividad, con la notable excepción de la curvatura gaussiana negativa para superficies de Riemann. Los autores abordan la cuestión de si la curvatura anti-biseccional no positiva se preserva bajo el flujo, una propiedad que tendría implicaciones significativas para la regularidad de los mapas de transporte óptimo y la geometría de las métricas de Kähler-Einstein.

Metodología
Los autores estudian el flujo de Kähler-Ricci en dominios de tubos $T\Omega = \Omega + i\mathbb{R}^n$, donde $\Omega \subset \mathbb{R}^n$ es un dominio convexo. Estos dominios corresponden a los fibrados tangentes de variedades hessianas equipadas con métricas de Kähler-Sasaki. El flujo se analiza mediante la evolución del tensor de curvatura.

1. Truco de Uhlenbeck: Para simplificar las ecuaciones complejas de reacción-difusión que gobiernan la evolución de la curvatura, los autores emplean el truco de Uhlenbeck. Introducen un fibrado vectorial abstracto isomorfo al fibrado tangente complejo y una isometría dependiente del tiempo para transformar el tensor de curvatura a una forma donde la ecuación de evolución se simplifica a un sistema de reacción-difusión con un término de reacción cuadrático $Q(\tilde{R})$.
2. Principio del Máximo: Dado que las variedades consideradas son a menudo no compactas (dominios de tubos), el principio del máximo estándar para variedades compactas es insuficiente. Los autores utilizan una versión del principio del máximo para variedades completas con curvatura acotada, establecida originalmente por Shi. Esto requiere la verificación de una "condición de vector nulo" para el término de reacción $Q$.
3. Verificación del Vector Nulo: La contribución técnica central consiste en demostrar que si la curvatura anti-biseccional es no positiva (o no negativa para el caso ortogonal en dimensión dos), y se anula en un par específico de vectores, el término de reacción $Q$ es "hacia adentro" (es decir, no positivo o no negativo, respectivamente) en ese punto. Esta verificación se basa en manipulaciones algebraicas de las simetrías del tensor de curvatura y en lemas específicos sobre matrices semidefinidas positivas (adaptados del trabajo de Cao y Hamilton).
4. Restricciones Dimensionales: El análisis distingue entre dimensiones generales y dimensión compleja dos. Para la preservación de la curvatura anti-biseccional ortogonal no negativa, la prueba se basa en cancelaciones algebraicas específicas que solo se cumplen cuando la dimensión compleja $n=2$.

Contribuciones Clave y Resultados

• Teorema 1 (Preservación de la Curvatura Anti-Biseccional No Positiva): Los autores demuestran que si una variedad de Kähler completa con curvatura acotada tiene curvatura anti-biseccional no positiva, esta condición se preserva bajo el flujo de Kähler-Ricci durante todo el tiempo que el flujo exista. Este es un resultado significativo, ya que identifica un caso raro de una condición de negatividad preservada en el flujo de Ricci de dimensiones superiores.
• Teorema 2 (Preservación de la Curvatura Anti-Biseccional Ortogonal No Negativa en Dimensión 2): En dimensión compleja dos, los autores muestran que la curvatura anti-biseccional ortogonal no negativa (la condición MTW(0) restringida a vectores ortogonales) también se preserva bajo el flujo. Observan que este resultado no se generaliza a dimensiones $n \geq 3$ debido al signo del término de reacción cuadrática.
• Consecuencias Geométricas (Corolarios 1–4):
  • Métricas de Kähler-Einstein: Combinando el Teorema 1 con los resultados de convergencia de Tong para métricas con curvatura de sección holomorfa negativamente comprimida (negatively pinched), los autores muestran que la métrica de Kähler-Einstein resultante retiene la curvatura anti-biseccional no positiva.
  • Curvatura de Costo Negativa: Para dominios suaves, acotados y fuertemente convexos, se muestra que la métrica de Kähler-Einstein tiene "curvatura de costo negativa" (una condición más fuerte que implica curvatura anti-biseccional no positiva y curvatura de sección holomorfa polarizada negativamente comprimida).
  • Control de la Curvatura: Los autores derivan estimaciones cuantitativas que muestran que, para un tiempo $t > 0$, la curvatura de sección holomorfa polarizada está acotada inferiormente por un término que depende de la traza de la curvatura anti-biseccional ortogonal ($O$) y la cota inicial de la curvatura escalar, independientemente de la compresión inicial de la curvatura de sección holomorfa.
• Aplicaciones al Transporte Óptimo:
  • Regularidad Débil de KR: La preservación de la curvatura anti-biseccional ortogonal no negativa en dimensión 2 permite la definición de funciones de costo "débilmente regulares de KR". Estas son funciones de costo $c(x,y) = \Psi(x-y)$ donde el potencial $\Psi$ evoluciona bajo un flujo parabólico para mantener la condición MTW(0).
  • Estimaciones de Regularidad: Utilizando este flujo, los autores establecen estimaciones de Hölder interiores para mapas de transporte óptimo asociados con potenciales convexos en $W^{2,p}$ en dos dimensiones, generalizando la teoría de regularidad existente a funciones de costo menos suaves.

Significancia y Reivindicaciones
El artículo afirma que la preservación de la curvatura anti-biseccional no positiva es "algo inesperada", ya que la mayoría de las condiciones de curvatura invariantes conocidas bajo el flujo de Ricci son condiciones de positividad. Los autores enfatizan que este resultado proporciona una nueva herramienta para estudiar la relación entre la curvatura de sección holomorfa y la curvatura de Ricci en la geometría compleja.

En el contexto del transporte óptimo, el trabajo cierra la brecha entre la evolución geométrica de las métricas y la regularidad de los mapas de transporte. Al demostrar que el flujo preserva la condición MTW(0) (en dimensión 2), el artículo ofrece un método canónico para deformar funciones de costo para asegurar la regularidad, permitiendo potencialmente extender la teoría de la regularidad a funciones de costo más rugosas (como el costo original de Monge $|x-y|$) mediante aproximación.

Los autores también proporcionan ejemplos concretos de métricas que satisfacen estas condiciones, incluyendo la métrica de Calabi en el dominio de tubo sobre la bola unidad y métricas en conos, demostrando que el supuesto de curvatura anti-biseccional negativa no es vacuo. Finalmente, el artículo señala que, aunque los resultados son robustos para métricas completas, la extensión a métricas incompletas (comunes en el transporte óptimo) sigue siendo una cuestión abierta que requiere condiciones de contorno adecuadas.