The Hitchin morphism for K-trivial varieties

Resumen Técnico: El Morfismo de Hitchin para Variedades K-Triviales

1. Planteamiento del Problema

El artículo aborda el estudio del morfismo de Hitchin ($h_X^r$) en el contexto de variedades algebraicas de dimensión superior ($\dim X > 1$).

• Contexto: Para una variedad $X$, el morfismo de Hitchin mapea el espacio de móduli de haces de Higgs de rango $r$ (denotado $M_X^r$) hacia la "base de Hitchin" ($A_X^r$), definida como $\bigoplus_{i=1}^r H^0(X, \text{Sym}^i \Omega_X^1)$.
• El Problema: Mientras que para curvas el morfismo es sobreyectivo, en dimensiones superiores generalmente no lo es. Chen y Ngô propusieron que la imagen de $h_X^r$ debería coincidir con un subesquema cerrado llamado base espectral ($B_X^r$), que es de dimensión menor y no lineal.
• La Conjetura: La Conjetura 1.1 de Chen-Ngô postula que para todo punto $s \in B_X^r$, la fibra $(h_X^r)^{-1}(s)$ es no vacía (es decir, el morfismo restringido a la base espectral es sobreyectivo).
• Objetivo del Artículo: Determinar para qué clases de variedades proyectivas el morfismo de Hitchin restringido al espacio de móduli de Dolbeault ($M_{X, \text{Dol}}^r$, asociado a haces semiestables de Gieseker con polinomio de Hilbert del haz trivial) es sobreyectivo sobre $B_X^r$.

2. Metodología y Herramientas Principales

Los autores emplean una combinación de geometría algebraica, teoría de haces y topología de recubrimientos:

1. Cubrimientos Espectrales Normalizados:

   • Modifican la construcción clásica de los recubrimientos espectrales asociados a datos espectrales irreducibles.
   • En lugar de trabajar con el recubrimiento espectral estándar $X_s$ (que puede no ser Cohen-Macaulay ni plano), consideran la normalización $\nu: X'_s \to \tilde{X}_s$ del componente irreducible dominante.
   • Utilizan la pureza del lugar de ramificación (purity of branch locus) para analizar la estructura de los recubrimientos normalizados.

2. Análisis del Lugar de Ramificación y Discriminante:

   • Estudian el discriminante $D(s)$ de un dato espectral $s$. El lugar de ramificación del recubrimiento espectral está determinado por el lugar de anulación de $D(s)$.
   • Definen subconjuntos $W^i$ en los espacios de secciones globales de diferenciales simétricas, que contienen secciones cuyo lugar de anulación tiene codimensión $\leq i$.
   • La clave técnica es demostrar que si el discriminante $D(s)$ no pertenece a $W^1$ (es decir, su lugar de anulación tiene codimensión $\geq 2$), entonces el recubrimiento espectral normalizado es étale (no ramificado).

3. Conexión con Haces Étale-Trivializables:

   • Demuestran que si el recubrimiento espectral es étale, el haz vectorial subyacente obtenido por empuje directo ($\pi'_s{}_* \mathcal{O}_{X'_s}$) es étale-trivializable.
   • En característica cero, estos haces son poliestables y tienen clases de Chern nulas, lo que implica que pertenecen al espacio de móduli de Dolbeault $M_{X, \text{Dol}}^r$.

4. Definición de Variedades "r-pequeñas" (r-small):

   • Introducen una condición geométrica basada en la estabilidad de pendiente (slope-stability) de las potencias simétricas del haz cotangente $\Omega_X^1$. Una variedad es $r$-pequeña si $\Omega_X^1$ es semiestable de pendiente y las potencias simétricas $\text{Sym}^{k(k-1)}\Omega_X^1$ tienen pendiente $< 1$ para $1 \leq k \leq r$.

3. Contribuciones Clave y Resultados

A. Teorema Principal (Teorema 1.2 y 4.11):
Los autores prueban que para cualquier variedad proyectiva lisa $X$ con divisor canónico numéricamente trivial ($K_X \equiv 0$), el morfismo de Hitchin restringido al espacio de móduli de Dolbeault es sobreyectivo sobre la base espectral:
$$h_{X, \text{Dol}}^r : M_{X, \text{Dol}}^r \twoheadrightarrow B_X^r$$
Esto confirma una versión más fuerte de la conjetura de Chen-Ngô para esta clase de variedades (que incluye variedades Calabi-Yau, superficies K3, variedades abelianas, etc.).

B. Generalización a Variedades r-pequeñas (Teorema 1.3 y 4.10):
Demuestran que la sobreyectividad se mantiene para una clase más amplia de variedades llamadas $r$-pequeñas.

• Condición: $\Omega_X^1$ es semiestable de pendiente y $\mu(\text{Sym}^{k(k-1)}\Omega_X^1) < 1$ para todo $1 \leq k \leq r$.
• Lema Técnico: Bajo estas condiciones, cualquier sección global no nula de $\text{Sym}^{k(k-1)}\Omega_X^1$ tiene un lugar de anulación de codimensión $\geq 2$. Esto garantiza que el discriminante no cae en $W^1$, forzando al recubrimiento espectral a ser étale.

C. Estructura de la Fibra (Proposición 4.8 y 4.12):
No solo prueban la existencia de un haz en la fibra, sino que caracterizan su naturaleza:

• Para cada punto $s \in B_X^r$, la fibra $(h_{X, \text{Dol}}^r)^{-1}(s)$ contiene un haz de Higgs cuyo haz vectorial subyacente es étale-trivializable.
• Esto implica que el haz vectorial es poliestable y tiene todas sus clases de Chern nulas.
• La base espectral $B_X^r$ puede expresarse como una unión finita de imágenes de morfismos de Hitchin restringidos a haces vectoriales fijos étale-trivializables.

D. Invariancia Biracional (Conjetura 1.6):
Reformulan la conjetura de Chen-Ngô en términos de invariancia biracional: la imagen del morfismo de Hitchin es invariante bajo modificaciones birracionales suaves. Utilizan resultados de Song-Sun sobre la invariancia de la base espectral para apoyar esta visión.

4. Significado e Impacto

• Resolución Parcial de la Conjetura: El trabajo proporciona una prueba rigurosa y general de la sobreyectividad del morfismo de Hitchin para una clase importante de variedades de dimensión superior (K-triviales), extendiendo resultados previos limitados a curvas, superficies y ciertos casos específicos.
• Nueva Perspectiva Geométrica: La introducción de la noción de "variedades r-pequeñas" y el uso de la pureza del lugar de ramificación ofrecen un nuevo marco para estudiar la geometría de los espacios de móduli de haces de Higgs en dimensiones superiores.
• Conexión Topológica: Establece un vínculo explícito entre la estructura algebraica de la base espectral y la topología de la variedad (a través de los recubrimientos étale y el grupo fundamental étale), mostrando que los puntos de la base espectral corresponden a representaciones del grupo fundamental.
• Herramientas para Futuras Investigaciones: La modificación de la construcción de recubrimientos espectrales para obtener recubrimientos normales y el análisis de los lugares de anulación de diferenciales simétricas abren nuevas vías para investigar la irreducibilidad de la base espectral y la estructura de los haces de Higgs en variedades generales.

En conclusión, Patel y Weissmann demuestran que para variedades con $K_X$ trivial, la geometría de los haces de Higgs es "bueno" en el sentido de que el morfismo de Hitchin cubre completamente la base espectral, y los objetos que mapean a cada punto son haces vectoriales con propiedades de estabilidad y topología muy fuertes (étale-trivializables).