Spectral and Logarithmic Atiyah Classes for Higgs Bundles

Sintesi Tecnica: Classi di Atiyah Spettrali e Logaritmiche per i Bundles di Higgs

Enunciato del Problema
Il saggio affronta la relazione tra la classe di Atiyah di un bundle di Higgs $(E, \theta)$ e la classe di Atiyah del sottostante bundle lineare spettrale $L$ definito sulla curva spettrale $Y$. Nel contesto della corrispondenza di Beauville–Narasimhan–Ramanan (BNR), un bundle di Higgs regolarmente semisimplicità su una curva proiettiva complessa liscia $X$ è identificato con un bundle lineare $L$ su una curva spettrale $Y$ tramite una morfismo finito $\pi: Y \to X$, tale che $E \cong \pi_* L$.

Una difficoltà fondamentale sorge nel confrontare le classi di Atiyah di questi oggetti: esse risiedono in gruppi di coomologia differenti con fogli di coefficienti distinti. Nello specifico, la classe di Atia di un bundle di Higgs risiede in $H^1(X, \Omega^1_X \otimes \text{End}(E))$, mentre la classe di Atiyah del bundle lineare spettrale risiede in $H^1(Y, \Omega^1_Y)$. Gli autori cercano di stabilire un ponte preciso tra queste classi, determinando come l'ostruzione a una connessione olomorfa su $E$ sia indotta dai dati spettrali di $L$, particolarmente attraverso il locus del discriminante dove la copertura spettrale ramifica.

Metodologia
Gli autori impiegano una combinazione di teoria dei jet bundle, proprietà dei morfismi finiti e geometria differenziale logaritmica.

1. Confronto dei Jet tramite Pushforward Finito: Il nucleo della macchina tecnica consiste nell'analizzare le sequenze di primo jet di $E$ su $X$ e di $L$ su $Y$. Costruendo un morfismo canonico $\Psi_{\pi, L}: J^1_X(E) \to \pi_* J^1_Y(L)$, gli autori relazionano le sequenze di jet del bundle sottostante e del bundle lineare spettrale. Essi utilizzano l'esattezza del funtore pushforward $\pi_*$ per morfismi finiti tra curve lisce e la sequenza esatta standard delle differenziali di Kähler per identificare la discrepanza tra queste sequenze di jet.
2. Azione Spettrale e Centralizzatori: Lo studio restringe l'analisi al locus etale $X^\circ = X \setminus \Delta$ (dove $\Delta$ è il divisore del discriminante). Qui la copertura spettrale è non ramificata, permettendo l'identificazione del centralizzatore del campo di Higgs con il pushforward della struttura del foglio della curva spettrale.
3. Raffinamento Logaritmico: Per estendere i risultati attraverso il discriminante, gli autori assumono che $\Delta$ sia ridotto. Essi costruiscono un "foglio del centralizzatore regolarizzato" $Z_\theta$ saturando l'immagine dell'algebra spettrale $\pi_* \mathcal{O}_Y$ all'interno di $\text{End}(E)$. Introducono quindi le differenziali logaritmiche $\Omega^1_X(\log \Delta)$ per gestire le singolarità nei punti di ramificazione, costruendo un morfismo canonico che mappa le differenziali su $Y$ in differenziali logaritmiche su $X$ tensorializzate con l'algebra spettrale.

Contributi Chiave e Risultati

• Il Teorema di Confronto dei Jet (Proposizione 2.1): Gli autori costruiscono un morfismo canonico $\Psi_{\pi, L}$ che si inserisce in una sequenza esatta breve:
  $$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$$
  Questa sequenza dimostra che la discrepanza tra i primi jet di $E$ e i jet pushforward di $L$ è misurata esattamente dal foglio della ramificazione $\pi_*(\Omega^1_{Y/X} \otimes L)$.

• La Classe di Atiyah Spettrale (Corollario 2.2): Gli autori definiscono una "classe di Atiyah spettrale" $\beta_{\text{spec}}(L, \pi) \in \text{Ext}^1_X(E, \pi_*(\Omega^1_Y \otimes L))$ rappresentata dalla sequenza di jet pushforward di $L$. Essi provano che l'ordinaria classe di Atiyah $\text{At}(E)$ mappa in questa classe spettrale tramite il naturale morfismo di coefficienti $\iota: \Omega^1_X \otimes E \to \pi_*(\Omega^1_Y \otimes L)$.

• Abelianizzazione sul Locus Etale (Teorema 3.3): Sul locus etale $X^\circ$, gli autori mostrano che la classe di Atiyah di $E$ è completamente indotta dalla classe di Atiyah scalare del bundle lineare spettrale $L^\circ$. Nello specifico, la restrizione $j^*\text{At}(E)$ è l'immagine della classe spettrale scalare $\beta^\circ_{\text{spec}}(L, \pi)$ sotto la mappa di azione spettrale $id \otimes m^\circ$. Ciò conferma che, lontano dal discriminante, la classe di Atiyah non abeliana è governata interamente dai dati spettrali abeliani.

• Raffinamento Logaritmico (Teorema 4.6): Assumendo che il divisore del discriminante $\Delta$ sia ridotto, gli autori costruiscono una "classe di Atiyah spettrale logaritmica":
  $$\text{At}^{\log}_\theta(E) \in H^1(X, \Omega^1_X(\log \Delta) \otimes Z_\theta)$$
  dove $Z_\theta$ è il foglio del centralizzatore regolarizzato. Essi provano una relazione di compatibilità globale:
  $$(k \otimes \text{id})^* \text{At}(E) = (id \otimes q)^* \text{At}^{\log}_\theta(E)$$
  dove $k$ e $q$ sono inclusioni naturali. Questo risultato stabilisce che l'ordinaria classe di Atiyah, quando vista con poli logaritmici lungo il discriminante, è rappresentata da una classe che prende valori nel centralizzatore regolarizzato.

Significato
Il saggio fornisce un quadro coerente di coomologia per comprendere i bundles di Higgs attraverso i loro dati spettrali. Chiarisce che, sebbene la classe di Atiyah di un bundle di Higgs sia generalmente non abeliana, essa viene "abelianizzata" dalla corrispondenza spettrale sul locus etale. Il significato primario risiede nell'estensione di questa descrizione abeliana attraverso il divisore di ramificazione. Introducendo la classe di Atiyah spettrale logaritmica con valori nel centralizzatore regolarizzato, gli autori dimostrano che il fallimento della descrizione spettrale al livello dei jet ordinari è controllato e può essere riformulato utilizzando la geometria logaritmica. Ciò offre un meccanismo preciso per tracciare l'ostruzione alle connessioni olomorfe nei bundles di Higgs tramite la geometria della curva spettrale, anche in presenza di ramificazione.