An improvement of regularity result for pseudo Calabi flow

Aquí presento un resumen técnico detallado del artículo "An Improvement of Regularity Result for Pseudo Calabi Flow" (Una mejora del resultado de regularidad para el flujo de Calabi pseudo), escrito por Jingrui Cheng y Junhao Tian.

1. Planteamiento del Problema

El objetivo central de la geometría diferencial compleja es encontrar métricas canónicas, específicamente métricas de curvatura escalar constante (cscK, por constant scalar curvature Kähler). El Flujo de Calabi (ecuación 1.2 en el texto) es una herramienta dinámica propuesta por Calabi para encontrar estas métricas resolviendo una ecuación parabólica de cuarto orden totalmente no lineal.

Sin embargo, el análisis del Flujo de Calabi es extremadamente difícil debido a su naturaleza de cuarto orden. Para abordar esto, Chen y Zheng propusieron el Flujo de Calabi Pseudo (PCF, ecuación 1.3), que es formalmente una ecuación de segundo orden:
$$\partial_t \phi = \Delta_\phi^{-1} (R - R(\omega_\phi))$$
donde $\Delta_\phi$ es el operador laplaciano respecto a la métrica $\omega_\phi = \omega_0 + i\partial\bar{\partial}\phi$.

El problema específico:
Aunque el PCF es más manejable analíticamente que el flujo original, la existencia a largo plazo y la regularidad para datos iniciales generales siguen siendo desafíos. Los resultados previos (Chen-Zheng) garantizaban existencia a largo plazo solo si los datos iniciales eran "suaves" y estaban cerca de una métrica cscK en topología $C^{2,\alpha}$.
Los autores se preguntan: ¿Qué sucede si los datos iniciales son menos regulares? Específicamente, si la forma de volumen inicial $\omega_0^n$ es solo una perturbación pequeña en norma $C^0$ (continuidad uniforme) de la forma de volumen de una métrica cscK, ¿el flujo se vuelve suave inmediatamente y existe para todo tiempo?

2. Metodología

Los autores emplean una combinación de estimaciones a priori, teoría de ecuaciones en derivadas parciales (EDP) parabólicas y técnicas de geometría de Kähler. La metodología se estructura en los siguientes pilares:

A. Estimaciones de Orden Cero ($C^0$)

El primer paso es controlar la magnitud de las funciones involucradas.

• Relación entre $P$ y el volumen: Definen $F = \log(\omega_\phi^n / \omega_0^n)$ y $P$ como la solución de $\Delta_\phi P = R - \text{tr}_{\omega_\phi}\text{Ric}(\omega_0)$ con media cero.
• Teorema 3.2 y 3.3: Demuestran que si la forma de volumen está acotada ($C^0$), entonces la función $P$ también está acotada en $C^0$. A su vez, esto implica un crecimiento controlado (exponencial lineal) para $F$ y $\phi$ a través de desigualdades tipo Gronwall y el principio del máximo parabólico (ABP).

B. Mejora de la Regularidad (Estimaciones de Orden Superior)

Este es el núcleo técnico del artículo. El objetivo es pasar de datos iniciales en $C^0$ a soluciones suaves ($C^\infty$) para $t > 0$.

• Estrategia de "Cercanía a una función continua": Introducen la condición de que $P$ esté "$\delta^*$-cerca" de una función continua con un módulo de continuidad dado.
• Estimaciones $W^{1,p}$: Utilizan el Teorema 4.2 (de Chen-He) que reduce la estimación $C^{2,\alpha}$ del potencial $\phi$ a una estimación $W^{1,p}$ de la forma de volumen.
• Lemas de Estimación (4.1 - 4.19): Desarrollan una serie compleja de lemas para estimar derivadas de $P$ y $F$ en términos de $\text{tr}_{\omega_\phi}\omega_0$ y $|\nabla_\phi F|$.
  • Utilizan técnicas de integración por partes y desigualdades de completación de cuadrados (completing the square) para manejar términos de segundo orden.
  • Aprovechan que si $P$ es "cercano" a una función continua (lo cual se deduce de la acotación $C^0$ del volumen en ciertos contextos), se pueden obtener cotas $L^p$ para las derivadas.
• Resultado Clave (Proposición 1.1): Si la forma de volumen inicial es $C^0$-cercana a una métrica suave, el flujo existe en un intervalo corto $[0, T_0]$ y se vuelve $C^\infty$ inmediatamente para $t > 0$.

C. Existencia a Largo Plazo

Una vez establecida la regularidad inmediata, los autores utilizan la estabilidad de las métricas cscK.

• Si el dato inicial es una pequeña perturbación de una métrica cscK (en norma $C^0$ de la forma de volumen), el flujo entra rápidamente en la "cuenca de atracción" de la métrica cscK en topología suave.
• Esto permite invocar los resultados de existencia global de Chen-Zheng para datos suaves, extendiendo la solución a $t \in [0, +\infty)$.

3. Contribuciones Clave y Resultados Principales

El artículo presenta tres resultados teóricos fundamentales:

1. Proposición 1.1 (Mejora de Regularidad)

Demuestra que si la forma de volumen inicial $\omega_{\phi_0}^n$ es $C^0$-cercana a $\omega_0^n$ (es decir, $|\log(\omega_{\phi_0}^n/\omega_0^n)| \leq \epsilon_0$), entonces:

• El flujo existe en un intervalo $[0, T_0]$.
• Para cualquier $t > 0$, la solución es infinitamente diferenciable ($C^\infty$).
• Esto elimina la necesidad de que los datos iniciales sean suaves ($C^{2,\alpha}$) para obtener regularidad instantánea.

2. Teorema 1.2 (Existencia Global para Perturbaciones de Volumen)

Si $(M, \omega_0)$ es una variedad cscK, existe un $\epsilon_0 > 0$ tal que para cualquier métrica inicial $\omega$ en la misma clase de cohomología con $1-\epsilon_0 \leq \omega^n/\omega_0^n \leq 1+\epsilon_0$:

• El flujo de Calabi pseudo existe globalmente ($t \in [0, +\infty)$).
• La solución converge exponencialmente a una métrica cscK (posiblemente diferente de $\omega_0$) cuando $t \to \infty$.
• Significado: La condición de cercanía se debilita de topología $C^{2,\alpha}$ a topología $C^0$ en la forma de volumen.

3. Teorema 1.3 (Caso de Variedades Kähler-Einstein)

Si $M$ admite una métrica Kähler-Einstein (KE) y el grupo de automorfismos holomorfos es trivial ($Aut_0(M, J) = 0$):

• No se requiere que la forma de volumen sea cercana a la de la métrica KE.
• Basta con que la clase de cohomología esté cerca de la clase canónica $c_1(M)$ y que la forma de volumen esté acotada ($1/\Gamma \leq \omega^n/\omega_0^n \leq \Gamma$).
• Bajo estas condiciones, el flujo existe globalmente y converge a una métrica cscK.
• Mecanismo: En este caso, el flujo de Calabi pseudo coincide con el flujo de Ricci-Kähler normalizado (Proposición 6.1), cuya convergencia es bien conocida.

4. Significado e Impacto

• Relajación de Hipótesis: El trabajo es significativo porque debilita drásticamente las condiciones de regularidad requeridas para los datos iniciales en el estudio del flujo de Calabi. Pasar de $C^{2,\alpha}$ a $C^0$ en la forma de volumen es un salto cualitativo importante, acercándose a condiciones de "datos débiles".
• Puente entre EDP y Geometría: Proporciona un marco robusto para tratar problemas de geometría Kähler donde la regularidad inicial es baja, demostrando que la estructura parabólica del flujo "suaviza" instantáneamente las irregularidades.
• Aplicabilidad: Los resultados son aplicables a la búsqueda de métricas cscK en variedades donde solo se conoce la existencia de formas de volumen aproximadas, lo cual es común en problemas de estabilidad y en la teoría de variedades de Fano.
• Conexión con Flujos de Ricci: La demostración de que, en el caso de variedades Kähler-Einstein, el PCF se reduce al flujo de Ricci normalizado (Teorema 6.1) unifica dos áreas de investigación y permite utilizar la potente maquinaria de convergencia del flujo de Ricci para probar resultados sobre el flujo de Calabi.

En resumen, Cheng y Tian demuestran que la "suavidad" de la forma de volumen es suficiente para garantizar la regularidad instantánea y la convergencia global del flujo de Calabi pseudo, resolviendo parcialmente la conjetura de existencia global incondicional de Chen-Zheng bajo condiciones de perturbación controlada.