Spectral and Logarithmic Atiyah Classes for Higgs Bundles

Résumé Technique : Classes d'Atiyah Spectrales et Logarithmiques pour les Faisceaux de Higgs

Énoncé du Problème
L'article traite de la relation entre la classe d'Atiyah d'un faisceau de Higgs $(E, \theta)$ et la classe d'Atiyah du fibré en droites spectral sous-jacent $L$ défini sur la courbe spectrale $Y$. Dans le contexte de la correspondance de Beauville–Narasimhan–Ramanan (BNR), un faisceau de Higgs régulier semi-simple sur une courbe projective complexe lisse $X$ est identifié à un fibré en droites $L$ sur une courbe spectrale $Y$ via un morphisme fini $\pi: Y \to X$, tel que $E \cong \pi_* L$.

Une difficulté fondamentale surgit lors de la comparaison des classes d'Atiyah de ces objets : elles résident dans des groupes de cohomologie différents avec des faisceaux de coefficients distincts. Spécifiquement, la classe d'Atiyah du faisceau de Higgs réside dans $H^1(X, \Omega^1_X \otimes \text{End}(E))$, tandis que la classe d'Atiyah du fibré en droites spectral réside dans $H^1(Y, \Omega^1_Y)$. Les auteurs cherchent à établir un pont précis entre ces classes, en déterminant comment l'obstruction à une connexion holomorphe sur $E$ est induite par les données spectrales de $L$, particulièrement à travers le lieu discriminant où la couverture spectrale est ramifiée.

Méthodologie
Les auteurs emploient une combinaison de la théorie des faisceaux de jets, des propriétés des morphismes finis et de la géométrie différentielle logarithmique.

1. Comparaison de Jets via l'Image Directe Finie : La machinerie technique centrale implique l'analyse des séquences de jets premiers de $E$ sur $X$ et de $L$ sur $Y$. En construisant un morphisme canonique $\Psi_{\pi, L}: J^1_X(E) \to \pi_* J^1_Y(L)$, les auteurs relient les séquences de jets du fibré sous-jacent et du fibré en droites spectral. Ils utilisent l'exactitude du foncteur d'image directe $\pi_*$ pour les morphismes finis entre courbes lisses et la séquence exacte standard des différentielles de Kähler pour identifier la divergence entre ces séquences de jets.
2. Action Spectrale et Centralisateurs : L'étude restreint l'analyse au lieu étale $X^\circ = X \setminus \Delta$ (où $\Delta$ est le diviseur discriminant). Ici, la couverture spectrale est non ramifiée, permettant l'identification du centralisateur du champ de Higgs avec l'image directe du faisceau de structure de la courbe spectrale.
3. Raffinement Logarithmique : Pour étendre les résultats à travers le discriminant, les auteurs supposent que $\Delta$ est réduit. Ils construisent un « faisceau de centralisateur régularisé » $Z_\theta$ en saturant l'image de l'algèbre spectrale $\pi_* \mathcal{O}_Y$ à l'intérieur de $\text{End}(E)$. Ils introduisent ensuite des différentielles logarithmiques $\Omega^1_X(\log \Delta)$ pour gérer les singularités aux points de branchement, construisant un morphisme canonique qui envoie les différentielles sur $Y vers les différentielles logarithmiques sur $X tensoriées avec l'algèbre spectrale.

Contributions Clés et Résultats

• Le Théorème de Comparaison de Jets (Proposition 2.1) : Les auteurs construisent un morphisme canonique $\Psi_{\pi, L}$ s'inscrivant dans une suite exacte courte :
  $$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$$
  Cette séquence démontre que la divergence entre les premiers jets de $E$ et les jets poussés de $L$ est mesurée exactement par le faisceau de ramification $\pi_*(\Omega^1_{Y/X} \otimes L)$.

• La Classe d'Atiyah Spectrale (Corollaire 2.2) : Les auteurs définissent une « classe d'Atiyah spectrale » $\beta_{\text{spec}}(L, \pi) \in \text{Ext}^1_X(E, \pi_*(\Omega^1_Y \otimes L))$ représentée par la séquence de jets poussée de $L$. Ils prouvent que la classe d'Atiyah ordinaire $\text{At}(E)$ est envoyée vers cette classe spectrale via le morphisme de coefficients naturel $\iota: \Omega^1_X \otimes E \to \pi_*(\Omega^1_Y \otimes L)$.

• Abélianisation sur le Lieu Étale (Théorème 3.3) : Sur le lieu étale $X^\circ$, les auteurs montrent que la classe d'Atiyah de $E$ est complètement induite par la classe d'Atiyah scalaire du fibré en droites spectral $L^\circ$. Spécifiquement, la restriction $j^*\text{At}(E)$ est l'image de la classe spectrale scalaire $\beta^\circ_{\text{spec}}(L, \pi)$ sous l'application d'action spectrale $id \otimes m^\circ$. Cela confirme qu'en dehors du discriminant, la classe d'Atiyah non abélienne est entièrement gouvernée par les données spectrales abéliennes.

• Raffinement Logarithmique (Théorème 4.6) : En supposant que le diviseur discriminant $\Delta$ est réduit, les auteurs construisent une « classe d'Atiyah logarithmique » :
  $$\text{At}^{\log}_\theta(E) \in H^1(X, \Omega^1_X(\log \Delta) \otimes Z_\theta)$$
  où $Z_\theta$ est le faisceau de centralisateur régularisé. Ils prouvent une relation de compatibilité globale :
  $$(k \otimes \text{id})^* \text{At}(E) = (id \otimes q)^* \text{At}^{\log}_\theta(E)$$
  où $k$ et $q$ sont des inclusions naturelles. Ce résultat établit que la classe d'Atiyah ordinaire, lorsqu'elle est vue avec des pôles logarithmiques le long du discriminant, est représentée par une classe prenant des valeurs dans le centralisateur régularisé.

Signification
L'article fournit un cadre cohomologique rigoureux pour comprendre les faisceaux de Higgs à travers leurs données spectrales. Il clarifie que bien que la classe d'Atiyah d'un faisceau de Higgs soit généralement non abélienne, elle est « abélianisée » par la correspondance spectrale sur le lieu étale. La principale signification réside dans l'extension de cette description abélienne à travers le diviseur de branchement. En introduisant la classe d'Atiyah spectrale logarithmique avec des valeurs dans le centralisateur régularisé, les auteurs démontrent que l'échec de la description spectrale au niveau des jets ordinaires est contrôlé et peut être reformulé en utilisant la géométrie logarithmique. Cela offre un mécanisme précis pour suivre l'obstruction aux connexions holomorphes dans les faisceaux de Higgs via la géométrie de la courbe spectrale, même en présence de ramification.