On the symplectic forms of Groechenig's Higgs moduli over an elliptic curve

Resumen Técnico: Sobre las Formas Simplécticas de los Moduli de Higgs de Groechenig sobre una Curva Elíptica

Planteamiento del Problema
Este artículo aborda la relación geométrica entre dos espacios de moduli distintos que surgen en el contexto de una curva elíptica $E$ y un grupo cíclico finito $\Gamma \subset \text{Aut}(E, o)$ con orden $|\Gamma| \in \{1, 2, 3, 4, 6\}$.

1. El lado del Esquema de Hilbert: El espacio $S[m]_\Gamma$, definido como el esquema de Hilbert de $m$ puntos en la superficie $S_\Gamma = \Gamma\text{-Hilb}(T^*E)$. Para $|\Gamma|=1$, $S_\Gamma = T^*E$. Para $|\Gamma|>1$, $S_\Gamma$ es la resolución crepante única de la superficie cociente $X_\Gamma = T^*E/\Gamma$, la cual posee puntos dobles racionales.
2. El lado de Higgs Parabólico: El espacio de moduli $M_{\Gamma,m}$ de haces de Higgs parabólicos fuertes y estables sobre una curva base $C_\Gamma$ (ya sea $E$ o $\mathbb{P}^1$ dependiendo de $\Gamma$), con datos parabólicos específicos determinados por los tipos de Dynkin afines $\tilde{A}_0, \tilde{D}_4, \tilde{E}_6, \tilde{E}_7, \tilde{E}_8$.

Trabajos previos de Gorsky, Nekrasov y Rubtsov (para $|\Gamma|=1$) y Groechenig (para $|\Gamma|>1$) establecieron que estos espacios son isomorfos como variedades algebraicas mediante transformaciones de Fourier–Mukai relativas. Sin embargo, la cuestión de si estos isomorfismos preservan las estructuras simplécticas holomorfas naturales en ambos lados permaneció abierta. El objetivo del artículo es demostrar que el isomorfismo $\Phi_{\Gamma,m}: S[m]_\Gamma \to M_{\Gamma,m}$ es un simplectomorfismo holomorfo.

Metodología
La demostración procede mediante el cálculo explícito de las formas simplécticas en un lóbulo abierto denso y la extensión del resultado globalmente. La metodología consta de tres componentes principales:

1. Teoría de Deformaciones y Formas Simplécticas:
   El artículo utiliza el complejo de deformación de los haces de Higgs parabólicos (siguiendo a Biswas y Ramanan) para construir la forma simpléctica holomorfa $\Omega_{M_{\Gamma,m}}$ en el espacio de moduli $M_{\Gamma,m}$. Esto implica identificar el espacio tangente con la primera hipercohomología de un complejo de dos términos que involucra endomorfismos parabólicos y campos de Higgs fuertemente parabólicos. La forma simpléctica se deriva de un emparejamiento de traza en este complejo.

2. Análisis Local en el Lóbulo Reducido:
   El autor restringe la atención al lóbulo abierto denso $U_m \subset S[m]_\Gamma$ que consiste en subesquemas reducidos (puntos distintos).

   • Caso $|\Gamma|=1$: El isomorfismo se analiza utilizando la transformación de Fourier–Mukai relativa. El artículo demuestra que, en el lóbulo reducido, el espacio de moduli de Higgs parabólicos corresponde a una suma directa de haces de líneas con datos espectrales distintos. Al comparar los complejos de deformación de los haces de Higgs parabólicos y ordinarios (semiestables), el autor muestra que la forma simpléctica en el lado de Higgs coincide con la forma simpléctica natural en el esquema de Hilbert de puntos sobre $T^*E$.
   • Caso $|\Gamma|>1$: El autor emplea la "correspondencia orbifold–parabólica". Relacionan los haces de Higgs parabólicos en la curva base $C_\Gamma$ con haces de Higgs equivariantes (orbifold) en $E$. Utilizando la secuencia espectral de Cartan–Leray, establecen un isomorfismo entre la hipercohomología del complejo de deformación parabólico en $C_\Gamma$ y la parte $\Gamma$-invariante de la hipercohomología del complejo orbifold en $E$. Esto permite que el emparejamiento simpléctico en el lado parabólico se compute mediante el emparejamiento en la curva elíptica, escalado por $1/|\Gamma|$.

3. Extensión Global y Compatibilidad de Hitchin:
   Dado que ambas formas simplécticas son regulares (holomorfas) y los espacios son suaves e irreducibles, la igualdad en el conjunto abierto denso $U_m$ implica la igualdad global. Adicionalmente, el artículo verifica que el isomorfismo es compatible con los mapas de Hitchin (mapas de datos espectrales) en ambos lados, asegurando que los sistemas integrables se alineen.

Contribuciones Clave y Resultados

• Teorema Principal (Teorema 1.1): El artículo demuestra que para los cinco casos ($|\Gamma| \in \{1, 2, 3, 4, 6\}$), el isomorfismo $\Phi_{\Gamma,m}$ construido por Groechenig es un simplectomorfismo holomorfo. Específicamente, $\Phi_{\Gamma,m}^* \Omega_{M_{\Gamma,m}} = \omega_{S[m]_\Gamma}$, donde $\omega_{S[m]_\Gamma}$ es la forma simpléctica inducida por la estructura del haz cotangente en $S[m]_\Gamma$.
• Datos Parabólicos Explícitos: El artículo proporciona una clasificación detallada de las banderas parabólicas, los pesos y las condiciones de estabilidad requeridas para definir los espacios de moduli $M_{\Gamma,m}$ para cada tipo de Dynkin afín. Esto incluye la construcción específica de la línea "marcada" en el caso $\tilde{A}_0$ y las banderas de múltiples pasos para los casos $\tilde{D}_4, \tilde{E}_6, \tilde{E}_7, \tilde{E}_8$.
• Correspondencia Orbifold–Parabólica: El artículo establece rigurosamente la compatibilidad de las formas simplécticas bajo la correspondencia entre haces parabólicos en la curva base y haces equivariantes en la cobertura, aclarando el factor de escala $1/|\Gamma|$ en el emparejamiento de la dualidad de Serre.
• Sistemas Integrables: Como consecuencia, el artículo construye un sistema integrable algebraico (un sistema de Hitchin) en el esquema de Hilbert de puntos $S[m]_\Gamma$, confirmando que los mapas de datos espectrales en el lado del esquema de Hilbert corresponden a los mapas de polinomio característico en el lado de Higgs.

Significado
El artículo completa el cuadro geomético iniciado por Gorsky, Nekrasov, Rubtsov y Groechenig. Aunque el isomorfismo entre estos espacios de moduli ya era conocido, la preservación de la estructura simpléctica es una propiedad crucial para aplicaciones en física matemática, particularmente en el contexto del programa de Langlands geométrico y el estudio de variedades hiperkählermas. Al demostrar el simplectomorfismo, el artículo confirma que el esquema de Hilbert de puntos en la resolución crepante de $T^*E/\Gamma$ posee la misma geometría simpléctica que el espacio de moduli de haces de Higgs parabólicos. Esto unifica el estudio de estos espacios a través de los casos de grupos cíclicos triviales y no triviales, proporcionando un marco consistente para los cinco tipos de Dynkin afines asociados con curvas elípticas.