Spectral and Logarithmic Atiyah Classes for Higgs Bundles

Technische Samenvatting: Spectrale en Logaritmische Atiyah-klassen voor Higgs-bundels

Probleemstelling
Het artikel behandelt de relatie tussen de Atiyah-klasse van een Higgs-bundel $(E, \theta)$ en de Atiyah-klasse van de onderliggende spectrale lijnbundel $L$ op de spectrale curve $Y$. In de context van de Beauville–Narasimhan–Ramanan (BNR) correspondentie wordt een reguliere semisimpele Higgs-bundel op een glad complexe projectieve curve $X$ geïdentificeerd met een lijnbundel $L$ op een spectrale curve $Y$ via een eindige morfisme $\pi: Y \to X$, zodanig dat $E \cong \pi_* L$.

Een fundamentele moeilijkheid doet zich voor bij het vergelijken van de Atiyah-klassen van deze objecten: zij verblijven in verschillende cohomologiegroepen met verschillende coëfficiënt-sheaves. De auteurs zoeken naar een precieze brug tussen deze klassen, waarbij zij bepalen hoe de obstructie voor een holomorfe verbinding op $E$ wordt geïnduceerd door de spectrale data van $L$, in het bijzonder over de discriminant-locus waar de spectrale cover ramificeert.

Methodologie
De auteurs maken gebruik van een combinatie van jet-bundeltheorie, eigenschappen van eindige morfismen en logaritmische differentiaalmeetkunde.

1. Jet-vergelijking via Eindige Pushforward: De kern van de technische machinerie betreft het analyseren van de eerste jet-sequenties van $E$ op $X$ en $L$ op $Y$. Door een canonieke morfisme $\Psi_{\pi, L}: J^1_X(E) \to \pi_* J^1_Y(L)$ te construeren, relateren de auteurs de jet-sequenties van de onderliggende bundel en de spectrale lijnbundel. Zij maken gebruik van de exactheid van de pushforward-functor $\pi_*$ voor eindige morfismen tussen gladde curven en de standaard exacte sequentie van Kähler-differentiaalvormen om de discrepantie tussen deze jet-sequenties te identificeren.
2. Spectrale Actie en Centralisatoren: De studie beperkt zich tot de étale locus $X^\circ = X \setminus \Delta$ (waar $\Delta$ de discriminant-divisor is). Hier is de spectrale cover onramificeerd, wat de identificatie van de centralisator van het Higgs-veld met de pushforward van de structuur-sheaf van de spectrale curve mogelijk maakt.
3. Logaritmische Verfijning: Om de resultaten over de discriminant heen uit te breiden, nemen de auteurs aan dat $\Delta$ gereduceerd is. Zij construeren een "geregulariseerde centralisator-sheaf" $Z_\theta$ door de afbeelding van de spectrale algebra $\pi_* \mathcal{O}_Y$ binnen $\text{End}(E)$ te verzadigen. Vervolgens introduceren zij logaritmische differentiaalvormen $\Omega^1_X(\log \Delta)$ om de singulariteiten bij de vertakkingspunten te behandelen, waarbij zij een canoniek morfisme construeren dat differentiaalvormen op $Y$ afbeeldt op logaritmische differentiaalvormen op $X$ getensoreerd met de spectrale algebra.

Belangrijkste Bijdragen en Resultaten

• De Jet-vergelijkingsstelling (Propositie 2.1): De auteurs construeren een canoniek morfisme $\Psi_{\pi, L}$ die past in een korte exacte sequentie:
  $$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$$
  Deze sequentie toont aan dat de discrepantie tussen de eerste jets van $E$ en de gepushed jets van $L$ exact wordt gemeten door de ramificatie-sheaf $\pi_*(\Omega^1_{Y/X} \otimes L)$.

• De Spectrale Atiyah-klasse (Corollary 2.2): De auteurs definiëren een "spectrale Atiyah-klasse" $\beta_{\text{spec}}(L, \pi) \in \text{Ext}^1_X(E, \pi_*(\Omega^1_Y \otimes L))$ die wordt gerepresenteerd door de gepushed jet-sequentie van $L$. Zij bewijzen dat de gewone Atiyah-klasse $\text{At}(E)$ naar deze spectrale klasse afbeeldt via de natuurlijke coëfficiënt-morfisme $\iota: \Omega^1_X \otimes E \to \pi_*(\Omega^1_Y \otimes L)$.

• Abelianisering op de Étale Locus (Theorem 3.3): Op de étale locus $X^\circ$ tonen de auteurs aan dat de Atiyah-klasse van $E$ volledig wordt geïnduceerd door de scalaire Atiyah-klasse van de spectrale lijnbundel $L^\circ$. Specifiek is de restrictie $j^*\text{At}(E)$ de afbeelding van de scalaire spectrale klasse $\beta^\circ_{\text{spec}}(L, \pi)$ onder de spectrale actie-afbeelding $id \otimes m^\circ$. Dit bevestigt dat, weg van de discriminant, de niet-abelse Atiyah-klasse volledig wordt beheerst door de abelse spectrale data.

• Logaritmische Verfijning (Theorem 4.6): Onder de aanname dat de discriminant-divisor $\Delta$ gereduceerd is, construeren de auteurs een "logaritmische spectrale Atiyah-klasse":
  $$\text{At}^{\log}_\theta(E) \in H^1(X, \Omega^1_X(\log \Delta) \otimes Z_\theta)$$
  waarbij $Z_\theta$ de geregulariseerde centralisator-sheaf is. Zij bewijzen een globale compatibiliteitsrelatie:
  $$(k \otimes \text{id})^* \text{At}(E) = (id \otimes q)^* \text{At}^{\log}_\theta(E)$$
  waarbij $k$ en $q$ natuurlijke inclusies zijn. Dit resultaat vestigt dat de gewone Atiyah-klasse, wanneer deze bekeken wordt met logaritmische polen langs de discriminant, gerepresenteerd wordt door een klasse die waarden aanneemt in de geregulariseerde centralisator.

Betekenis
Het artikel biedt een rigoureus cohomologisch kader voor het begrijpen van Higgs-bundels via hun spectrale data. Het verheldert dat hoewel de Atiyah-klasse van een Higgs-bundel over het algemeen niet-abels is, deze door de spectrale correspondentie op de étale locus "geabelianiseerd" wordt. De primaire betekenis ligt in de uitbreiding van deze geabelianiseerde beschrijving over de branch-divisor heen. Door de logaritmische spectrale Atiyah-klasse met waarden in de geregulariseerde centralisator te introduceren, tonen de auteurs aan dat het falen van de spectrale beschrijving op het niveau van de gewone jets gecontroleerd is en kan worden geherformuleerd met behulp van logaritmische meetkunde. Dit biedt een precieze methode om de obstructie voor holomorfe verbindingen in Higgs-bundels te volgen via de geometrie van de spectrale curve, zelfs in aanwezigheid van ramificatie.