Soy un estudiante de posgrado principiante, y estoy tratando de aprender aspectos básicos del flujo de Ricci a través del teorema de uniformización para superficies compactas. Estoy leyendo el libro introductorio de Chow y Knopf, así como el artículo original de Hamilton sobre el tema. Tengo una pregunta sobre el siguiente teorema:
Teorema : Si $(M^2, g_0)$ es una superficie compacta con métrica $g_0$ entonces una familia de métricas de 1 parámetro $g(t)$ con $g(0) = g_0$ bajo la ecuación de Ricci-Flow normalizada: $$ \frac{\partial g}{\partial t} = - (R_g - r) g $$ existe para todo el tiempo y converge en cada $C^k$ -a una métrica de curvatura escalar constante. Aquí $R$ es la curvatura escalar y $r = \int_M R_g d\mu_{g}/\int_{M}d \mu_{g} $ es la curvatura escalar media. $r$ es constante por el Teorema de Gauss-Bonnet.
La prueba se divide en tres casos, cada uno de ellos de dificultad creciente: $r < 0$ , $r = 0$ y $r>0$ . Tengo una pregunta sólo sobre el $r = 0$ caso. La idea para ambos $r = 0$ y $r<0$ es aplicar el principio de máximo a las cantidades relacionadas con los solitones gradiente-ricci.
En el libro de Knopf y Chow, demuestran que las métricas son equivalentes para todo el tiempo cuando $r \leq 0$ (Proposición 5.15). Entonces dicen que basta con que $R$ y todas sus derivadas van a cero como $t \to \infty$ . Sin embargo, demuestran que $|R| \leq C/(1+t)$ , donde $C>0$ . Esta función no está en $L^1([0, \infty))$ y la hipótesis: $$ \int_0^\infty \left|\frac{\partial g}{\partial t}\right|_{g(t)} dt < \infty $$ no se aplica (véase el lema 6.49 en Chow y Knopf). Esta hipótesis se utiliza para demostrar que las métricas convergen uniformemente.
Por otro lado el trabajo de Hamilton, muestra que los límites integrales de $R$ y sus dos primeras derivadas decaen exponencialmente con el tiempo. Luego utiliza una desigualdad de Sobolev para obtener que $|R_{\max}|$ también decae exponencialmente. Entonces la hipótesis anterior es satisfecha por la ecuación de Flujo Normalizado-Ricci.
Pregunta: ¿Hay un hecho básico que Chow y Knopf están explotando que implica que $g$ converge en $C_0$ ? Son excelentes a la hora de incluir detalles relevantes y tienen una buena visión de este tema, así que estoy ansioso por saber cómo están pensando en esto.