Oka-1 manifolds: New examples and properties

1. Problema y Contexto

El artículo aborda el estudio de las variedades Oka-1 y los aplicaciones Oka-1, una clase de variedades complejas y aplicaciones holomorfas introducida recientemente por Alarcón y Forstnerič.

• Definición Central: Una variedad compleja $X$ es Oka-1 si las aplicaciones holomorfas desde cualquier superficie de Riemann abierta hacia $X$ satisfacen condiciones de aproximación de Runge e interpolación de Weierstrass. Esto generaliza la propiedad Oka clásica, que se aplica a superficies de Riemann arbitrarias (no necesariamente abiertas) y requiere propiedades más fuertes.
• El Problema: Aunque se conocen ejemplos de variedades Oka (como $\mathbb{C}^n$ para $n>1$) y variedades Oka-1 (como superficies Kummer), la estructura de esta clase es menos comprendida que la de las variedades Oka. Específicamente, se requiere:
  1. Identificar nuevas clases de variedades Oka-1.
  2. Establecer si la propiedad Oka-1 (y su versión algebraica, aOka-1) es un invariante birracional.
  3. Comprender la relación entre la propiedad Oka, la propiedad Oka-1 y una propiedad intermedia llamada LSAP (Local Spray Approximation Property).
  4. Determinar qué variedades proyectivas racionales o elípticas satisfacen estas condiciones.

2. Metodología

Los autores emplean una combinación de técnicas de análisis complejo, geometría algebraica y topología:

• Aproximación y Interpolación: Utilizan teoremas de aproximación de Runge y condiciones de interpolación de jets para construir aplicaciones holomorfas desde superficies de Riemann hacia variedades objetivo.
• Propiedad de Densidad (Density Property): En el contexto de variedades de Stein, utilizan la propiedad de densidad (donde los campos vectoriales holomorfos pueden aproximarse por sumas y conmutadores de campos completos) para demostrar que ciertos subconjuntos son Oka-1.
• Descomposición de Factores Débiles (Weak Factorization): Para estudiar la invariancia birracional, utilizan el teorema de descomposición de factores débiles de Abramovich et al., que permite descomponer cualquier mapa birracional entre variedades complejas compactas en una secuencia finita de blow-ups (explosiones) y blow-downs (contracciones) con centros suaves.
• Propiedades de Sprays (Chorros): Analizan la propiedad de aproximación local de sprays (LSAP), que implica la existencia de familias de aplicaciones holomorfas (sprays) dominantes que pueden aproximarse en discos más grandes.
• Geometría Algebraica: Para la versión algebraica (aOka-1), utilizan sprays algebraicos dominantes y propiedades de variedades elípticas algebraicas, extendiendo resultados de Gromov y Kaliman-Zaidenberg.

3. Contribuciones y Resultados Clave

El artículo presenta varios teoremas fundamentales y nuevas clases de ejemplos:

A. Nuevos Ejemplos de Variedades Oka-1 (Sección 2)

• Teorema 1.4: Se demuestra que si $X$ es una variedad de Stein con la propiedad de densidad y $\rho: X \to \mathbb{R}$ es una función de agotamiento de Morse $C^2$ cuya forma de Levi tiene al menos dos autovalores positivos en cada punto, entonces todo conjunto de nivel superior $X_c = \{x \in X : \rho(x) > c\}$ es una variedad Oka-1.
• Esto generaliza resultados previos de Kusakabe sobre el complemento de conjuntos holomórficamente convexos.

B. Invariancia Birracional y Versión Algebraica (Sección 3)

• Teorema 3.1: Se prueba que la propiedad Oka-1 es invariante bajo blow-ups (explosiones) a lo largo de subvariedades. Es decir, una variedad $X$ es Oka-1 si y solo si su blow-up $B$ lo es.
• Corolario 3.2: Como consecuencia, la propiedad Oka-1 es un invariante birracional para variedades complejas compactas.
• Definición 1.5 (aOka-1): Se introduce la versión algebraica de la propiedad Oka-1, donde las aproximaciones se realizan mediante morfismos algebraicos desde superficies de Riemann afines algebraicas.
• Teorema 3.3 y Corolario 3.4: La propiedad aOka-1 también es un invariante birracional para variedades algebraicas compactas.
• Corolario 3.5: Toda variedad racional proyectiva es aOka-1. En particular, el espacio proyectivo $\mathbb{P}^n$ es aOka-1.

C. Variedades Elípticas Algebraicas y Conectividad Racional (Sección 4)

• Teorema 4.1: Toda variedad algebraicamente elíptica simplemente conexa es aOka-1.
  • Nota: Las variedades proyectivas elípticas algebraicamente son uniracionales y, por tanto, simplemente conexas.
• Teorema 1.6 (Resultado Principal): Una variedad proyectiva que es birracionalmente equivalente a una variedad proyectiva algebraicamente elíptica es aOka-1.
• Corolario 1.8 (Teorema de Aproximación de Runge Generalizado): Se establece un teorema de aproximación de Runge para aplicaciones desde superficies de Riemann compactas hacia variedades proyectivas birracionalmente equivalentes a elípticas algebraicas. Esto extiende el teorema clásico de Royden (para $\mathbb{P}^1$) a una clase mucho más amplia de variedades objetivo.
• Proposición 1.7: Toda variedad proyectiva aOka-1 es conectada racionalmente (cualquier par de puntos puede unirse por una curva racional).

D. Propiedad LSAP y Propiedades Functoriales (Sección 5)

• Se estudia la Propiedad de Aproximación Local de Sprays (LSAP). Se sabe que Oka $\implies$ LSAP $\implies$ Oka-1.
• Proposición 5.5: Se demuestran nuevas propiedades functoriales para la clase LSAP:
  1. Si una variedad es fuertemente dominable por variedades LSAP, entonces ella misma es LSAP.
  2. Si $h: X \to Y$ es una aplicación Oka sobreyectiva y $Y$ es LSAP, entonces $X$ es LSAP.
  3. LSAP es una propiedad local de Hausdorff.
• Teorema 1.11: Sea $\mathcal{C}$ la clase más pequeña de variedades complejas que contiene a todas las variedades Oka y es cerrada bajo dominación fuerte. Entonces, toda variedad en $\mathcal{C}$ disfruta de la propiedad LSAP y, por tanto, es Oka-1.

4. Significado e Impacto

Este trabajo es significativo por varias razones:

1. Expansión de la Clase Oka-1: Proporciona una gran cantidad de nuevos ejemplos de variedades Oka-1, incluyendo subconjuntos de variedades de Stein con propiedad de densidad y variedades proyectivas racionales.
2. Invariancia Birracional: Resuelve la cuestión de la invariancia birracional para la propiedad Oka-1 (y su versión algebraica), lo cual contrasta con el caso de la propiedad Oka clásica, donde la invariancia birracional es un problema abierto y se sabe que falla en ciertos casos (como blow-ups de conjuntos discretos no "tame" en $\mathbb{C}^n$).
3. Conexión entre Geometría Algebraica y Compleja: Establece un puente sólido entre las propiedades de aproximación holomorfa y la geometría algebraica (conectividad racional, variedades elípticas), demostrando que la estructura algebraica (ser aOka-1) impone fuertes restricciones geométricas (ser racionalmente conectada).
4. Jerarquía de Propiedades: Clarifica la jerarquía entre las propiedades Oka, LSAP y Oka-1, mostrando que el cierre de la clase Oka bajo dominación fuerte preserva la propiedad Oka-1, aunque no necesariamente la propiedad Oka completa.
5. Aplicaciones de Aproximación: El Corolario 1.8 ofrece un potente teorema de aproximación de Runge para una amplia gama de variedades proyectivas, generalizando resultados clásicos sobre la esfera de Riemann.

En resumen, el artículo consolida la teoría de las variedades Oka-1, proporcionando herramientas robustas para generar nuevos ejemplos y estableciendo conexiones profundas entre la topología, la geometría algebraica y el análisis complejo.