Symplectic leaves of meromorphic Hitchin systems

Resumen Técnico: Hojas Simplécticas de Sistemas de Hitchin Meromorfos

Planteamiento del Problema
El artículo aborda la estructura geométrica del espacio de módulos de haces de Higgs meromorfos estables, denotado como $\text{Higgss}(C, D)$, donde $C$ es una curva proyectiva suave y $D$ es un divisor efectivo reducido. Aunque este espacio posee una estructura de Poisson holomorfa (establecida por Bottacin y Markman), carece de una estructura simpléctica holomorfa global. Un problema fundamental en la geometría de Poisson es la identificación y comprensión de sus hojas simplécticas.

En el contexto de los haces de Higgs meromorfos, el residuo del campo de Higgs en los puntos marcados $D$ proporciona el modelo local. Los autores investigan los loci $\text{Higgs}_{\mathcal{O},s}(C, D)$ definidos al fijar el residuo del campo de Higgs para que resida en un producto específico de órbitas adjuntas $\mathcal{O} = \prod \mathcal{O}_i$. Las cuestiones centrales son:

1. ¿Son estos loci $\text{Higgs}_{\mathcal{O},s}(C, D)$ efectivamente hojas simplécticas de la variedad de Poisson ambiente?
2. ¿Puede el mapa de Hitchin, cuando se restringe a estas hojas, compactificarse parcialmente para formar un sistema completamente integrable algebraicamente (ACIS), particularmente cuando las órbitas no son de rango máximo (lo que conduce a curvas espectrales singulares) o cuando las hojas no son cerradas?

Metodología
Los autores emplean una combinación de teoría de deformaciones, geometría algebraica y la correspondencia espectral para resolver estas cuestiones.

1. Análisis Infinitesimal: Los autores utilizan la teoría de deformaciones de haces de Higgs meromorfos con condiciones de residuo fijas. Construyen el complejo tangente $C^\bullet_{\mathcal{O},E}$ y su dual de Serre para identificar explícitamente el espacio tangente de $\text{Higgs}_{\mathcal{O},s}(C, D)$ con la distribución característica de la estructura de Poisson de Bottacin–Markman. Esto confirma que el locus es tangente a la estructura de Poisson.
2. Resolución Parabólica: Para abordar las singularidades que surgen de los cierres de las órbitas y la falta de properidad en el mapa de Hitchin restringido, los autores introducen haces de Higgs $\vec{\xi}$-parabólicos. Estos son triples $(E, E^\bullet_D, \Phi)$ donde el campo de Higgs $\Phi$ tiene residuos en $\mathcal{O}$, pero el haz $E$ está equipado con una estructura de bandera $E^\bullet_D$ en los puntos marcados compatible con los autovalores de la residencia $\vec{\xi}$.
3. Correspondencia Espectral: Basándose en trabajos previos ([LL24], [LL25]), los autores utilizan una correspondencia espectral para los haces de Higgs $\vec{\xi}$-parabólicos. Esto relaciona el espacio de módulos con un espacio de módulos de haces unidimensionales puros sobre una superficie específica $Z_{\vec{\xi}}$ (construida mediante iteraciones de soplados de una superficie reglada). Esta correspondencia permite describir las fibras del mapa de Hitchin como jacobianos compactificados de curvas espectrales.
4. Morfismo Olvidadizo: Una herramienta técnica clave es la construcción de un mapa olvidadizo $F: \text{Higgs}^{\vec{\xi}\text{-par}}_{\vec{\alpha}}(C, D, \vec{m}, \vec{\alpha}) \to \text{Higgs}_{\mathcal{O},ss}(C, D)$, que descarta las banderas parabólicas. Los autores analizan las condiciones de estabilidad (usando pesos parabólicos $\vec{\alpha}$ suficientemente pequeños) para asegurar que este mapa sea bien definido, proyectivo y un isomorfismo sobre el locus estable.

Contribuciones Clave y Resultados

• Identificación de Hojas Simplécticas:
  El artículo demuestra que, para un producto de clases de conjugación $\mathcal{O}$ que satisfacen la condición de traza, el locus $\text{Higgs}_{\mathcal{O},s}(C, D)$ es una hoja simpléctica irreducible de $\text{Higgss}(C, D)$. Su cierre en el espacio de módulos es $\text{Higgs}_{\mathcal{O},s}(C, D)$ (Teorema 1.3, Teorema 3.12, Teorema 3.13). Esto resuelve el problema de la conexidad y confirma la naturaleza simpléctica de estos estratos.

• Compactificación Parcial a ACIS:
  Los autores demuestran que el espacio de módulos de haces de Higgs $\vec{\xi}$-parabólicos, $\text{Higgs}^{\vec{\xi}\text{-par}}(C, D, \vec{m}, \vec{\alpha})$, proporciona una compactificación parcial del mapa de Hitchin restringido.

  • El mapa de Hitchin restringido $h^{(\vec{m})}_{\vec{\xi}}: \text{Higgs}^{\vec{\xi}\text{-par}} \to \mathcal{B}^{(\vec{m})}_{\vec{\xi}}$ se muestra como una fibración lagrangiana, plana y propia, cuyas fibras genéricas son variedades abelianas (Teorema 1.7, Teorema 5.4).
  • Esto establece que el sistema restringido es un sistema completamente integrable algebraicamente, incluso cuando las curvas espectrales subyacentes son singulares o la hoja original no es cerrada.

• Resolución Simpléctica:
  Se demuestra que el mapa olvidadizo $F$ es una resolución simpléctica de la normalización del cierre $\text{Higgs}_{\mathcal{O},ss}(C, D)$ (Teorema 1.9, Teorema 5.11). Específicamente, la normalización del cierre del lazo meromorfo posee singularidades simplécticas, y el espacio de módulos suave de los haces de Higgs $\vec{\xi}$-parabólicos resuelve estas singularidades preservando la estructura simpléctica.

• Conexidad de los Espacios de Módulos de Betti:
  A través de la correspondencia no abeliana de Hodge tamizada de Simpson, los resultados de conexidad para el lado de Dolbeault (haces de Higgs parabólicos) se transfieren al lado de Betti.

  • El artículo demuestra que el espacio de módulos estable de sistemas locales filtrados con diagramas de residuo prescritos es conexo (Teorema 1.10, Teorema 6.6).
  • Una aplicación significativa son las variedades de carácter $\chi(C^\circ, \mathcal{C})$ con clases de monodromía local prescritas $\mathcal{C}$. Bajo el supuesto de que los autovalores de las matrices de monodromía comparten un argumento común (una condición que asegura la compatibilidad con las residencias graduadas escalares), se muestra que el locus irreducible $\chi(C^\circ, \mathcal{C})^{\text{irr}}$ es conexo siempre que sea no vacío (Teorema 1.11, Teorema 6.7). Esto extiende los resultados previos de conexidad a clases de monodromía no genéricas.

Significancia
El artículo afirma su importancia al proporcionar una imagen geométrica completa de las hojas simplécticas de los sistemas de Hitchin meromorfos, que anteriormente se entendían principalmente en el caso de rango máximo (hoja cerrada). Al introducir los haces de Higgs $\vec{\xi}$-parabólicos, los autores:

1. Resuelven las singularidades de los cierres de las órbitas en el espacio de módulos de haces de Higgs meromorfos.
2. Extienden la teoría de los sistemas completamente integrables algebraicamente a los sistemas de hojas simplécticas de rango arbitrario, abordando el "proyecto Lax" para los casos de rango no máximo.
3. Establecen nuevos resultados de conexidad para las variedades de carácter con monodromía local no genérica, cerrando la brecha entre los lados de Dolbeault y Betti de la teoría de Hodge no abeliana para estratos singulares.

El trabajo se apoya en las contribuciones independientes de Bottacin y Markman respecto a la estructura de Poisson y se basa en los resultados previos de los autores sobre la correspondencia espectral para haces de Higgs parabólicos. No propone nuevas aplicaciones experimentales, sino que profundiza en la comprensión teórica de los espacios de módulos de haces de Higgs y su relación con la teoría de representaciones.