Symplectically aspherical Kähler manifolds, scalar curvature, and the fundamental group

Resumen Técnico: Variedades Kähler Simpétricamente Asféricas, Curvatura Escalar y el Grupo Fundamental

Planteamiento del Problema
Este artículo investiga la clase de variedades suaves cerradas equipadas con formas Kähler que se contraen en formas exactas en sus cubiertas universales. Los autores denominan a estas variedades Kähler simpétricamente asféricas (SAK). Esta clase se sitúa estrictamente entre las variedades Kähler hiperbólicas (donde la contracción es $d$-limitada) y las variedades grandes de Kollár (donde la cubierta universal no contiene subvariedades complejas compactas de dimensión positiva). El estudio tiene como objetivo comprender las restricciones topológicas y geométricas impuestas por esta condición de "asfericidad" sobre la forma Kähler, abordando específicamente:

1. La realizabilidad de grupos discretos finitamente presentables como grupos fundamentales de variedades SAK, particularmente aquellas con grupos de segundo homotopía no triviales ($\pi_2 \neq 0$).
2. La existencia de métricas riemannianas y Kähler con curvatura escalar positiva en tales variedades.
3. La estructura del cono Kähler, específicamente la unicidad o abundancia de formas asféricas dentro de este.

Metodología
Los autores emplean una síntesis de geometría algebraica compleja, topología simpléctica y geometría riemanniana.

• Construcción: Utilizan construcciones de cubiertas ramificadas cíclicas sobre variedades proyectivas suaves asféricas para generar variedades SAK no asféricas en todas las dimensiones complejas $\ge 2$. También analizan productos simétricos de curvas genéricas ($SP_n(M_g)$) y cubiertas ramificadas de superficies abelianas.
• Restricciones Topológicas: El análisis se basa en el mapa de Hurewicz, las clases de homología esférica real ($\Pi(M)$) y la interacción entre el cono Kähler y el cono de formas simplécticas tímidas/comparables.
• Obstrucciones de Curvatura: El artículo aplica la conjetura de Novikov (específicamente para la cohomología de bajo grado), el teorema del índice de Rosenberg para variedades spin (cubiertas de Riemann) y la teoría de Seiberg–Witten (en dimensión 4), así como el teorema del cono de Mori combinado con la teoría de fibrados de línea pseudo-efectivos para obstruir la curvatura escalar positiva.
• Cálculos Cohomológicos: Para los productos simétricos, los autores utilizan la estructura del grupo de Neron–Severi y las relaciones de Macdonald en el anillo de cohomología para caracterizar el cono Kähler.

Contribuciones Clave y Resultados

1. Existencia y Flexibilidad Topológica
El artículo establece que las variedades SAK existen en abundancia, incluso fuera del entorno asférico ($\pi_2 \neq 0$).

• Construcción: El Teorema 3.1 proporciona una receta general para construir variedades SAK no asféricas en cada dimensión compleja $n \ge 2$ mediante cubiertas ramificadas $k$-cíclicas de variedades asféricas.
• Clasificación: La Proposición 3.2 demuestra que las superficies SAK no asféricas son de tipo general. Sin embargo, esto no se generaliza a dimensiones superiores (Observación 3.3).
• Grupos Fundamentales: El artículo aborda el "problema de la realizabilidad". El Teorema 4.4 demuestra que todo grupo abeliano libre de rango par $\ge 4$ puede realizarse como el grupo fundamental de una superficie proyectiva suave SAK de tipo general con clases de homología esférica real no triviales. Los ejemplos incluyen los cuadrados simétricos de curvas genéricas y cubiertas ramificadas específicas de superficies abelianas.
• Restricciones: Los autores enumeran condiciones necesarias para que un grupo sea un grupo SAK (por ejemplo, infinito, de un extremo, productos de Massey que se anulan, número de Betti uno par para subgrupos de índice finito).

2. Obstrucciones de la Curvatura Escalar
Motivados por la Conjetura de Gromov–Lawson, los autores proponen y apoyan una extensión al entorno simpléctico.

• Conjetura 5.2: Una variedad simplétricamente asférica cerrada no puede soportar una métrica riemanniana de curvatura escalar positiva.
• Evidencia de Apoyo:
  • Caso Spin: El Teorema 5.3 demuestra la conjetura para variedades que admiten una cubierta spin finita, utilizando la conjetura de Novikov y el teorema del índice de Rosenberg.
  • Caso Abeliano/2-Tame: El Corolario 5.4 extiende esto a variedades con grupos fundamentales abelianos y cubiertas universales spin.
  • Bajas Dimensiones: El Teorema 5.5 confirma la conjetura para variedades SAK cerradas en dimensiones 2 y 4 sin supuestos topológicos adicionales, utilizando Gauss–Bonnet y la teoría de Seiberg–Witten.
  • Métricas Kähler: El Teorema 5.6 demuestra que las variedades proyectivas suaves que admiten un morfismo biracional sobre una variedad SAK no pueden soportar una métrica Kähler de curvatura escalar positiva. Esto se basa en el hecho de que la cubierta universal de una variedad SAK no contiene subvariedades complejas compactas, lo que implica que el fibrado canónico es nef (vía el teorema del cono de Mori) y pseudo-efectivo.
  • Corolario 5.8: Consecuentemente, las variedades proyectivas suaves grandes de Kollár (incluyendo aquellas con cubiertas universales Stein) no pueden soportar métricas Kähler de curvatura escalar positiva.

3. El Cono Kähler y la Unicidad
El artículo investiga la rigidez de la condición de asfericidad dentro del cono Kähler.

• Asfericidad Total: La Sección 6 estudia las variedades "totalmente Kähler asféricas" (donde toda forma Kähler es asférica). La Proposición 6.1 muestra que, si toda forma Kähler es asférica, el dual del espacio de homología esférica real $\Pi(M)$ debe residir dentro del grupo de cohomología de Dolbeault $(2,0)+(0,2)$.
• Superficies: El Corolario 6.3 implica que, para superficies Kähler, si todas las formas Kähler son asféricas, ninguna clase de homología esférica real puede ser representada por una 2-esfera simpléticamente embebida.
• Unicidad en Productos Simétricos: La Proposición 7.1 establece que, en el producto simétrico $SP_n(M_g)$ de una curva genérica, la forma Kähler asférica es esencialmente única. Específicamente, una forma Kähler es asférica si y solo si su clase de cohomología es un múltiplo escalar no nulo de la forma extraída de la jacobiana. Cualquier otra forma en el cono es no asférica.

Significado
El artículo posiciona a las variedades SAK como una clase intermedia "tame" entre las variedades Kähler hiperbólicas y las variedades grandes de Kollár, adecuada para probar conjeturas como la conjetura de Shafarevich (si las variedades grandes de Kollár tienen cubiertas universales Stein).

• Rigidez Geométrica: Los resultados demuestran que la condición de asfericidad simpléctica impone fuertes restricciones sobre la curvatura escalar, descartando métricas de curvatura escalar positiva en amplias clases de variedades proyectivas.
• Realizabilidad Topológica: La construcción de superficies SAK explícitas con $\pi_2$ no trivial y grupos fundamentales específicos (abeliano libre de rango $\ge 4$) llena un vacío en la comprensión de qué grupos pueden surgir en este entorno geométrico.
• Estructura del Cono: Los hallazgos sobre el cono Kähler resaltan que la asfericidad es una propiedad frágil; formas Kähler estrechamente relacionadas pueden comportarse de manera radicalmente distinta cuando se contraen a la cubierta universal (una exacta, la otra no).

Los autores concluyen planteando preguntas abiertas, como si todas las variedades grandes de Kollár admiten una forma Kähler asférica y si los grupos SAK pueden tener torsión no trivial, señalando que los métodos simplécticos actuales pueden no ser suficientes para responder a esto en el entorno holomorfo.