Spectral and Logarithmic Atiyah Classes for Higgs Bundles

Resumen Técnico: Clases de Atiyah Espectrales y Logarítmicas para Fibrados de Higgs

Planteamiento del Problema
El artículo aborda la relación entre la clase de Atiyah de un fibrado de Higgs $(E, \theta)$ y la clase de Atiyah del fibrado de línea espectral subyacente $L$ definido sobre la curva espectral $Y$. En el contexto de la correspondencia de Beauville–Narasimhan–Ramanan (BNR), un fibrado de Higgs regular semisimple sobre una curva proyectiva compleja suave $X$ se identifica con un fibrado de línea $L$ sobre una curva espectral $Y$ mediante una morfismo finito $\pi: Y \to X$, tal que $E \cong \pi_* L$.

Surge una dificultad fundamental al comparar las clases de Atiyah de estos objetos: estas residen en diferentes grupos de cohomología con haces de coeficientes distintos. La clase de Atiyah del fibrado de Higgs reside en $H^1(X, \Omega^1_X \otimes \text{End}(E))$, mientras que la clase de Atía del fibrado de línea espectral reside en $H^1(Y, \Omega^1_Y)$. Los autores buscan establecer un puente preciso entre estas clases, determinando cómo la obstrucción a una conexión holomorfa en $E$ es inducida por los datos espectrales de $L$, particularmente a través del locus del discriminante donde la cobertura espectral ramifica.

Metodología
Los autores emplean una combinación de la teoría de haces de jets, propiedades de morfismos finitos y geometría diferencial logarítmica.

1. Comparación de Jets vía Pushforward Finito: La maquinaria técnica central implica el análisis de las sucesiones de primer jet de $E$ en $X$ y de $L$ en $Y$. Mediante la construcción de una morfismo canónico $\Psi_{\pi, L}: J^1_X(E) \to \pi_* J^1_Y(L)$, los autores relacionan las sucesiones de jets del fibrado subyacente y del fibrado de línea espectral. Utilizan la exactitud del functor de pushforward $\pi_*$ para morfismos finitos entre curvas suaves y la sucesión estándar de diferenciales de Kähler para identificar la discrepancia entre estas sucesiones de jets.
2. Acción Espectral y Centralizadores: El estudio restringe al locus étale $X^\circ = X \setminus \Delta$ (donde $\Delta$ es el divisor del discriminante). Aquí, la cobertura espectral no está ramificada, lo que permite la identificación del centralizador del campo de Higgs con el pushforward del haz de la estructura de la curva espectral.
3. Refinamiento Logarítmico: Para extender los resultados a través del discriminante, los autores asumen que $\Delta$ es reducido. Construyen un "haz centralizador regularizado" $Z_\theta$ mediante la saturación de la imagen del álgebra espectral $\pi_* \mathcal{O}_Y$ dentro de $\text{End}(E)$. Luego introducen diferenciales logarítmicas $\Omega^1_X(\log \Delta)$ para manejar las singularidades en los puntos de ramificación, construyendo un morfismo canónico que mapea diferenciales en $Y$ a diferenciales logarítmicas en $X$ tensordadas con el álgebra espectral.

Contribuciones Clave y Resultados

• El Teorema de Comparación de Jets (Proposición 2.1): Los autores construyen un morfismo canónico $\Psi_{\pi, L}$ que encaja en una sucesión exacta corta:
  $$0 \to J^1_X(E) \xrightarrow{\Psi_{\pi, L}} \pi_* J^1_Y(L) \to \pi_*(\Omega^1_{Y/X} \otimes L) \to 0$$
  Esta sucesión demuestra que la discrepancia entre los primeros jets de $E$ y los jets de $L$ bajo pushforward es medida exactamente por el haz de ramificación $\pi_*(\Omega^1_{Y/X} \otimes L)$.

• La Clase de Atiyah Espectral (Corolario 2.2): Los autores definen una "clase de Atiyah espectral" $\beta_{\text{spec}}(L, \pi) \in \text{Ext}^1_X(E, \pi_*(\Omega^1_Y \otimes L))$ representada por la sucesión de jets de $L$ bajo pushforward. Prueban que la clase de Atiyah ordinaria $\text{At}(E)$ se mapea a esta clase espectral vía el morfismo de coeficientes natural $\iota: \Omega^1_X \otimes E \to \pi_*(\Omega^1_Y \otimes L)$.

• Abelianización en el Locus Étale (Teorema 3.3): En el locus étale $X^\circ$, los autores muestran que la clase de Atiyah de $E$ está completamente inducida por la clase de Atiyah escalar del fibrado de línea espectral $L^\circ$. Específicamente, la restricción $j^*\text{At}(E)$ es la imagen de la clase espectral escalar $\beta^\circ_{\text{spec}}(L, \pi)$ bajo el mapa de acción espectral $id \otimes m^\circ$. Esto confirma que, lejos del discriminante, la clase de Atiyah no abeliana está gobernada enteramente por los datos espectrales abelianos.

• Refinamiento Logarítmico (Teorema 4.6): Asumiendo que el divisor del discriminante $\Delta$ es reducido, los autores construyen una "clase de Atiyah espectral logarítmica":
  $$\text{At}^{\log}_\theta(E) \in H^1(X, \Omega^1_X(\log \Delta) \otimes Z_\theta)$$
  donde $Z_\theta$ es el haz centralizador regularizado. Prueban una relación de compatibilidad global:
  $$(k \otimes \text{id})^* \text{At}(E) = (id \otimes q)^* \text{At}^{\log}_\theta(E)$$
  donde $k$ y $q$ son inclusiones naturales. Este resultado establece que la clase de Atiyah ordinaria, cuando se visualiza con polos logarítmicos a lo largo del discriminante, está representada por una clase que toma valores en el centralizador regularizado.

Significancia
El artículo proporciona un marco cohomológico riguroso para comprender los fibrados de Higgs a través de sus datos espectrales. Clarifica que, si bien la clase de Atiyah de un fibrado de Higgs es generalmente no abeliana, esta se "abelianiza" mediante la correspondencia espectral en el locus étale. La principal significancia radica en la extensión de esta descripción abeliana a través del divisor de ramificación. Al introducir la clase de Atía espectral logarítmica con valores en el centralizador regularizado, los autores demuestran que el fallo de la descripción espectral al nivel de los jets ordinarios está controlado y puede reformularse utilizando la geometría logarítmica. Esto ofrece un mecanismo preciso para rastrear la obstrucción a las conexiones holomorfas en fibrados de Higgs mediante la geometría de la curva espectral, incluso en presencia de ramificación.