Revised Demailly's Affineness Criterion and Algebraization of Entire Grauert Tubes

Resumen Técnico: Criterio de Afinidad Revisado de Demailly y Algebraización de Tubos de Grauert Completos

Enunciado del Problema
El artículo aborda la conjetura de Burns de 1982, que pregunta si un tubo de Grauert completo $T^\infty M$ (el fibrado tangente de una variedad riemanniana real-analítica $(M, g)$ equipado con una estructura de Stein específica) es una variedad algebraica afín. Mientras que las variedades de Stein son los análogos analíticos de las variedades afines, las primeras se definen mediante funciones holomorfas arbitrarias y son generalmente más flexibles que las segundas. La conjetura postula un vínculo profundo entre la condición analítica de la ecuación de Monge–Ampère Compleja Homogénea (HCMA) y la propiedad algebraica de la afinidad.

Los intentos anteriores de resolver esto, notablemente por Aguilar y Burns, se basaron en el criterio de afinidad de Demailly de 1985. Este criterio requiere la existencia de una función de agotamiento estrictamente plurisubarmónica $\phi$ y una función $\psi$ que satisfaga límites específicos de crecimiento y curvatura de Ricci. El obstáculo identificado en la literatura es que el candidato natural para $\psi$, derivado de la continuación analítica de la forma de volumen de $M$, a menudo posee polos a lo largo de un conjunto singular $S$. En consecuencia, la función requerida $\psi$ toma el valor $-\infty$ en $S$, lo que hace inaplicable el criterio original.

Metodología
El autor emplea un enfoque de dos frentes: primero, establecer una versión generalizada del criterio de Demailly que acomode singularidades, y segundo, aplicar este criterio a la geometría específica de los tubos de Grauert completos.

1. Criterio de Afinidad Revisado: El artículo introduce una versión modificada del criterio de Demailly (Teorema 1.2) para una variedad de Stein $X$ con volumen finito de Monge–Ampère. En lugar de requerir una función global $\psi$ que satisfaga el límite de Ricci en todas partes, el nuevo criterio permite un conjunto singular $S = \{x \mid e^{-2\psi} \notin L^1_{loc}(x)\}$.

   • La metodología utiliza estimaciones $L^2$ ponderadas (tipo Bombieri–Hörmander–Skoda) para construir funciones holomorfas $b_p$ que se anulan en $S$ pero son no nulas en puntos específicos $p \in X \setminus S$.
   • Al restringir la variedad a los conjuntos abiertos $X \setminus b_p^{-1}(0)$, el conjunto de singularidades es "cortado", permitiendo la aplicación de los argumentos originales de Demailly para probar que estos subconjuntos abiertos son biholomorfos a variedades afines.
   • El artículo analiza además la estructura global de $X \setminus S$ bajo suposiciones cohomológicas, mostrando que puede incrustarse como un subconjunto abierto de Zariski de una variedad afín normal.

2. Aplicación a Tubos de Grauert: El autor construye los datos geométricos necesarios para un tubo de Grauert completo $TM$:

   • Función de Agotamiento Estrictamente Plurisubarmónica: Se define una función $\phi = \log(1 + \cosh(\sqrt{2E}))$, donde $E$ es la energía cinética.
   • Métrica Complejizada: Se construye un tensor $(2,0)$ meromorfo no degenerado $g_C$ extendiendo la métrica base $g$ meromórficamente a lo largo de las hojas del foliado de Monge–Ampère (geodésicas complejizadas).
   • Función de Límite de Ricci: Se define la función $\psi = -\log \|\det(g_C)\|_\beta$, donde $\beta = dd^c e^\phi$. El autor prueba que $\psi$ satisface la condición de crecimiento requerida $\psi \leq A\phi + B$ y el límite de curvatura de Ricci $Ric(\beta) + \frac{1}{2}dd^c\psi \geq 0$ en el sentido de corrientes.
   • Identificación de Singularidades: El conjunto $S$ donde falla el criterio se identifica exactamente como el conjunto de polos de $\det(g_C)$, denominado "singularidad del tubo".

Resultados Clave

• Teorema 1.2 (Criterio de Afinidad Revisado): Establece que si una variedad de Stein $X$ tiene volumen finito de Monge–Ampère y admite una función $\psi$ que satisface el límite de Ricci fuera de un conjunto $S$, entonces $X \setminus S$ está cubierto por subconjuntos abiertos de Zariski de variedades afines. Si $S = \emptyset$ y la cohomología es de dimensión finita, $X$ es afín.
• Teorema 1.3 (Algebraización de Tubos de Grauert Completos): Para cualquier tubo de Grauert completo $TM$, la métrica $g$ se extiende a un tensor meromorfo $g_C$. Sea $S$ el conjunto de polos de $\det(g_C)$. Para cualquier punto $p \in TM \setminus S$, existe una función holomorfa $b_p$ tal que $TM \setminus b_p^{-1}(0)$ es biholomorfa a una variedad afín suave. Además, $TM \setminus S$ es una variedad de Stein cubierta por tales conjuntos abiertos afines.
• Contraejemplos a la Afinidad Global: El artículo proporciona ejemplos explícitos (superficies de revolución $M_d$ para $d \neq 0$) donde la singularidad del tubo $S$ no es vacía. En estos casos, la matriz de transición $\Phi'$ de campos vectoriales paralelos se degenera, causando que $\det(g_C)$ tenga polos. Esto demuestra que la conjetura de Burns no se cumple en su forma más fuerte (que $TM$ en sí misma sea afín) sin condiciones adicionales sobre $S$.

Significado y Afirmaciones
El artículo afirma proporcionar una "respuesta parcial" a la conjetura de Burns. Establece que un tubo de Grauert completo es afín fuera de un subconjunto de codimensión uno (la singularidad del tubo $S$). El significado radica en:

1. Generalización del Criterio de Demailly: El criterio revisado (Teorema 1.2) se presenta como una herramienta de interés independiente, relajando los requisitos de regularidad sobre el potencial de Ricci $\psi$ para permitir singularidades, ampliando así la clase de variedades a las que pueden aplicarse técnicas de algebraización.
2. Clarificación del Obstáculo: El trabajo identifica la singularidad del tubo $S$ (el conjunto de polos del determinante de la métrica complejizada) como el obstáculo preciso para la afinidad completa del tubo de Grauert. Conecta el fracaso del enfoque de Aguilar–Burns directamente con la existencia de estos polos.
3. Conexión con la Buena Complejificación: Los resultados sugieren que si se puede demostrar que la singularidad del tubo $S$ está vacía (o si la cohomología de $TM \setminus S$ satisface condiciones específicas de finitud), la conjetura de Burns implicaría la Conjetura de Buena Complejificación para variedades que admiten tubos de Grauert completos.

El autor se mantiene modesto respecto a la resolución completa de la conjetura de Burns, señalando que una prueba completa requiere una comprensión más profunda de la topología y la estructura del conjunto de singularidades $S$, para lo cual no existe actualmente ningún método de control general. El artículo concluye planteando preguntas sobre la cohomología de $TM \setminus S$ y la posibilidad de deformar la métrica para eliminar $S$.