On the nilpotent residue non-abelian Hodge correspondence for higher-dimensional quasiprojective varieties

Resumen Técnico: Sobre la correspondencia de Hodge no abeliana de residuo nilpotente para variedades cuasiproyectivas de dimensión superior

Planteamiento del problema
El artículo aborda la naturaleza topológica de la correspondencia de Hodge no abeliana para variedades cuasiproyectivas de dimensión superior. Específicamente, considera una variedad compleja logarítmicamente suave proyectiva $(\bar{X}, D)$, donde $\bar{X}$ es una variedad proyectiva suave y $D$ es un divisor de corte normal simple. Los autores se centran en dos espacios de módulos:

1. $M^{\text{nilp}}_{\text{Dol}}(\bar{X}, D, r)$: El espacio de módulos de haces de Higgs logarítmicos de rango $r$, poliestables, con residuos nilpotentes y clases de Chern nulas ($c_i(E)=0$).
2. $M^{\text{nilp}}_{\text{DR}}(\bar{X}, D, r)$: El espacio de módulos de conexiones logarítmicas de rango $r$, poliestables, con residuos nilpotentes.
   En el trabajo de [BBT24], se estableció una biyección continua $S^{\text{nilp}}_{(\bar{X}, D)}: M^{\text{nilp}}_{\text{Dol}}(\bar{X}, D, r)(\mathbb{C}) \to M^{\text{nilp}}_{\text{DR}}(\bar{X}, D, r)(\mathbb{C})$. Si bien se demostró que este mapa es un homeomorfismo en la topología euclidiana cuando $\bar{X}$ es una curva, el caso de dimensión superior permanecía abierto respecto a la continuidad del mapa inverso. El problema central es determinar si esta biyección continua es, de hecho, un homeomorfismo para variedades de dimensión superior.

Metodología
El artículo emplea una estrategia de reducción utilizando "curvas de Lefschetz" para transferir las propiedades topológicas del caso de la curva al caso de dimensión superior. La metodología procede a través de los siguientes pasos:

1. Curvas de Lefschetz: Los autores utilizan el concepto de una curva de Lefschetz $\iota: \bar{C} \hookrightarrow \bar{X}$, definida como una curva de intersección completa suave y transversal a $D$, tal que el mapa inducido en los grupos fundamentales $\pi_1(\bar{C} \setminus D) \twoheadrightarrow \pi_1(\bar{X} \setminus D)$ es suryectivo.
2. Mapas de restricción: Tal curva induce mapas de restricción $i^*_{\text{Dol}}$ e $i^*_{\text{DR}}$ entre los espacios de módulos de $\bar{X}$ y $\bar{C}$. Dado que la correspondencia ya es conocida como un homeomorfismo para curvas (por [BBT24]), el mapa $S^{\text{nilp}}_{(\bar{C}, D \cap \bar{C})}$ es un homeomorfismo.
3. Diagramas conmutativos: Los autores construyen un diagrama conmutativo que involucra los mapas de Hitchin ($h$) tanto para la variedad como para la curva, y los mapas de restricción entre las bases de Hitchin.
4. Compacidad e Inyectividad: Para probar el resultado principal, los autores establecen dos propiedades críticas:
   • Compacidad de $i^*_{\text{Dol}}$: Prueban la existencia de una curva de Lefschetz tal que el mapa de restricción en el espacio de módulos de Higgs sea propio. Esto se logra mediante el criterio valuativo de compacidad, apoyándose en la compacidad del mapa de Hitchin $h_{(\bar{X}, D)}$ (citado de [Lan14]) y la inyectividad del mapa de restricción en la base de Hitchin.
   • Inyectividad de la restricción de la base de Hitchin: Demuestran que existe una curva de Lefschetz $\bar{C}$ tal que el mapa de restricción $\text{res}$ desde el espacio de secciones globales de potencias simétricas de diferenciales logarítmicos en $\bar{X}$ hacia las de $\bar{C}$ sea inyectivo. Esto se prueba construyendo un conjunto finito de puntos y direcciones tangentes donde las secciones de las potencias simétricas no se anulan, e invocando posteriormente a [ACV19] para encontrar una curva que pase por estos puntos con tangentes prescritas.

Contribuciones clave y resultados

• Teorema 1: El artículo demuestra la existencia de una curva de Lefschetz $\bar{C} \subset \bar{X}$ tal que el mapa de restricción $i^*_{\text{Dol}}: M^{\text{nilp}}_{\text{Dol}}(\bar{X}, D, r) \to M^{\text{nilp}}_{\text{Dol}}(\bar{C}, D \cap \bar{C}, r)$ es propio.
• Corolario 2: Como consecuencia directa del Teorema 1 y del caso conocido para curvas, el mapa de comparación $S^{\text{nilp}}_{(\bar{X}, D)}$ es un homeomorfismo en la topología euclidiana para variedades logarítmicamente suaves proyectivas de dimensión superior.
• Lema Técnico (Proposición 3): El artículo aclara que el mapa de Hitchin para haces de Higgs logarítmicos con residuos nilpotentes y clases de Chern nulas es propio, señalando que la condición de clases de Chern nulas define un subesquema cerrado dentro del espacio de módulos de haces torsión libre.
• Lema Técnico (Proposición 4): El artículo establece la existencia de una curva de Lefschetz que induce una restricción inyectiva en la base de Hitchin, un paso crucial para asegurar la compacidad de la restricción del espacio de módulos.

Significado y pretensiones
El artículo pretende resolver la cuestión topológica de la correspondencia de Hodge no abeliana en el entorno de dimensión superior para el caso específico de residuos nilpotentes. Al demostrar que la biyección continua establecida en [BBT24] es un homeomorfismo, los autores confirman que los espacios de módulos de haces de Higgs logarítmicos y de conexiones logarítmicas son topológicamente equivalentes en la topología euclidiana, extendiendo los resultados conocidos para curvas a dimensiones arbitrarias.

El trabajo se apoya fuertemente en la interacción entre la geometría de las curvas de Lefschetz y las propiedades algebraicas de la fibración de Hitchin. La significancia radica en la extensión rigurosa del resultado de homeomorfismo, utilizando la compacidad del mapa de Hitchin y la construcción geométrica específica de curvas que preservan los datos cohomológicos y del grupo fundamental necesarios. El artículo no propone nuevas aplicaciones o direcciones futuras, sino que se centra estrictamente en establecer la equivalencia topológica de estos espacios de módulos.