On the differentials of the Hochschild-Kostant-Rosenberg spectral sequence

Cet article démontre que les différentielles de la suite spectrale de Hochschild-Kostant-Rosenberg s'annulent avant la page $p$ en caractéristique positive, et fournit une formule explicite pour la différentielle de la page $p$ en présence d'un relèvement à $W_2(k)$, reliant cette différentielle au Bockstein et à une opération de puissance $p$ sur la classe d'Atiyah.

L'essentiel

Imaginez que vous essayez de décrire la forme d'un objet complexe, disons une sculpture abstraite, en utilisant uniquement des pièces de Lego. En mathématiques, il existe une règle célèbre (le théorème de Hochschild-Kostant-Rosenberg) qui dit : "Si votre sculpture est lisse et simple, vous pouvez la reconstruire parfaitement en empilant des couches de Lego de différentes couleurs (les formes différentielles)."

C'est comme si l'objet était un gâteau parfait : vous pouvez le décomposer en couches distinctes (gâteau, crème, fruits) et tout s'additionne parfaitement.

Mais voici le problème :
Cette règle fonctionne parfaitement dans un monde "idéal" (comme en caractéristique zéro, ou avec des nombres très flexibles). Mais dans un monde plus "rigide" ou "cassant" (quand on travaille avec des nombres modulo un nombre premier $p$, comme en arithmétique), les choses se gâtent. Parfois, les couches de Lego ne s'empilent pas aussi proprement. Il y a des "fuites" ou des "collages" imprévus entre les couches.

C'est là qu'intervient ce papier de Joshua Mundinger. Il s'attaque à la question : "Quand et comment ces couches de Lego se mélangent-elles de manière inattendue ?"

Voici les idées clés, expliquées avec des analogies simples :

1. Le Spectre de la "Fuite" (La Séquence Spectrale)

Imaginez que vous essayez de reconstruire votre gâteau couche par couche. Vous avez une machine qui vous dit : "Regarde, la couche 1 est là, la couche 2 est là..." C'est ce qu'on appelle une séquence spectrale.

• Normalement, tout reste séparé.
• Mais dans certains cas (quand le nombre $p$ est petit par rapport à la taille du gâteau), il y a des fuites. Une partie de la couche 1 saute vers la couche 2, ou la couche 3 saute vers la couche 1.
• Le papier dit : "Attendez ! Si vous êtes dans le monde rigide ($p > 0$), rien ne bouge avant la page $p$." C'est comme dire : "Jusqu'à ce que vous ayez compté jusqu'à $p$, votre gâteau reste intact. C'est seulement à l'étape $p$ que la magie (ou le chaos) commence."

2. Le "Bockstein" : Le Mécanicien de la Fuite

L'auteur explique pourquoi cette fuite se produit à l'étape $p$. Il utilise un outil appelé le Bockstein.

• L'analogie : Imaginez que votre gâteau est construit sur un sol qui tremble légèrement (c'est la "lift" ou le relèvement de la variété). Le Bockstein est comme un sismographe qui détecte ces tremblements.
• Si le sol tremble d'une manière spécifique (liée à la torsion), le gâteau commence à glisser. Le Bockstein mesure ce glissement.
• Le papier donne une formule précise : la "fuite" (la différentielle) est causée par l'interaction entre ce tremblement du sol (Bockstein) et une opération spéciale appelée Verschiebung (qui signifie "déplacement" en allemand).

3. La "Verschiebung" : Le Pouvoir de la Puissance $p$

Qu'est-ce que cette Verschiebung ?

• L'analogie : Imaginez que vous avez un bouton magique sur votre machine à Lego. Si vous le pressez une fois, rien ne change. Mais si vous le pressez $p$ fois d'affilée (puissance $p$), tout le système se transforme.
• Dans le monde des mathématiques rigides, faire une opération $p$ fois n'est pas la même chose que de la faire $p$ fois en mode "normal". Cela crée une nouvelle structure.
• L'auteur montre que cette opération "puissance $p$" est liée à une autre notion mathématique appelée la classe d'Atiyah.
• L'image : La classe d'Atiyah est comme l'ADN de votre objet géométrique. Elle dit comment l'objet se courbe et se tord. Le papier révèle que la "fuite" à l'étape $p$ est simplement le résultat de plier cet ADN $p$ fois de suite.

4. Le Cercle Filtré : Le Laboratoire Secret

Comment l'auteur a-t-il trouvé tout cela ? Il a utilisé un outil très astucieux appelé le "Cercle Filtré" ($S^1_{fil}$).

• L'analogie : Imaginez que pour étudier un objet complexe, au lieu de le regarder directement, vous le placez dans un laboratoire spécial où le temps est "filtré".
• Dans ce laboratoire, le cercle (qui représente les boucles de votre objet) n'est pas juste un cercle simple. C'est un cercle qui a une "mémoire" ou une "structure cachée" (comme un oignon avec des couches).
• En étudiant comment ce cercle spécial se déforme, l'auteur a pu voir exactement quand et comment les couches de Lego de son gâteau (la variété) commencent à se mélanger. C'est comme regarder une vidéo au ralenti pour voir exactement à quel moment le gâteau commence à s'effondrer.

5. Pourquoi est-ce important ?

Avant ce papier, on savait que le gâteau pouvait s'effondrer, mais on ne savait pas exactement quand ni comment.

• La découverte : On sait maintenant que si votre objet est assez petit (dimension inférieure à $p$), il ne s'effondre jamais ! C'est une garantie de stabilité.
• La formule : Si l'objet est plus grand, on a maintenant une recette exacte pour prédire l'effondrement. On sait que c'est lié à la façon dont l'objet est "tremblé" par le sol (le Bockstein) et à la façon dont on applique la puissance $p$ (la Verschiebung).

En résumé

Ce papier est comme un manuel de mécanique pour les mathématiciens qui travaillent avec des objets géométriques dans un monde "cassant" (caractéristique $p$).

• Il dit : "Jusqu'à l'étape $p$, tout est calme."
• Il explique : "À l'étape $p$, c'est le tremblement du sol (Bockstein) combiné à une rotation magique (Verschiebung) qui fait tout basculer."
• Il utilise un laboratoire de cercles filtrés pour observer ce phénomène en détail.

C'est une avancée majeure pour comprendre pourquoi certaines structures mathématiques restent solides et pourquoi d'autres se désintègrent dans des contextes spécifiques, un peu comme comprendre pourquoi un château de cartes tient bon dans un salon calme mais s'effondre dès qu'on approche un ventilateur puissant.

Résumé technique

Voici un résumé technique détaillé de l'article « On the Differentials of the Hochschild-Kostant-Rosenberg Spectral Sequence » de Joshua Mundinger.

1. Problématique

L'article s'attaque à la décomposition de l'homologie de Hochschild des variétés algébriques en caractéristique positive. Le théorème de Hochschild-Kostant-Rosenberg (HKR) établit un isomorphisme naturel entre l'homologie de Hochschild $HH(R/k)$ d'une algèbre lisse $R$ et les formes différentielles $\Omega^i_{R/k}$. Pour une variété lisse $X$ sur un corps $k$, cela induit une suite spectrale (la suite spectrale HKR) :
$$E_2^{s,t} = H^s(X, \Omega^{-t}_{X/k}) \implies HH^{-s-t}(X/k)$$
En caractéristique zéro ou lorsque $\dim X < \text{car}(k)$, cette suite spectrale dégénère, fournissant une décomposition directe. Cependant, en caractéristique $p > 0$, cette dégénérescence n'est pas garantie. Antieau, Bhatt et Mathew (2019) ont démontré l'existence de variétés où la suite spectrale ne dégénère pas, rendant impossible une décomposition HKR functorielle.

Le problème central de cet article est de caractériser et de formuler explicitement les différentielles de cette suite spectrale, en particulier la première différentielle non nulle $d_p$, et de comprendre les conditions sous lesquelles elle est non nulle.

2. Méthodologie

L'auteur utilise une approche géométrique dérivée et une analyse fine des structures formelles :

• Le cercle filtré ($S^1_{fil}$) : L'outil central est le « cercle filtré » introduit par Moulinos, Robalo et Toën. C'est un empilement (stack) filtré défini comme le classifiant du dual de Cartier d'un groupe formel $\hat{G}_\lambda$ sur $k[\lambda]$ avec la loi de groupe $v, w \mapsto v + w + \lambda vw$. L'homologie de Hochschild filtrée est identifiée aux fonctions globales sur l'espace des lacets filtrés $L_{fil}X = \text{Maps}(S^1_{fil}, X)$.
• Théorie de la déformation : L'analyse se concentre sur la déformation du cercle filtré de sa fibre spéciale $B\hat{G}_a^\vee$ vers la fibre générique. La classe de déformation à l'ordre $p-1$ (le long de l'extension $0 \to (\lambda^{p-1})/(\lambda^p) \to k[\lambda]/(\lambda^p) \to k[\lambda]/(\lambda^{p-1}) \to 0$) contrôle la différentielle$d_p$.
• Reconstruction Tannakienne dérivée : Pour traiter les empilements dérivés de manière générale, l'auteur utilise la théorie des $\Theta$-catégories (introduite par Nuiten et Toën). Cela permet de reconstruire les morphismes d'empilements à partir des foncteurs symétriques monoïdaux sur les faisceaux quasi-cohérents, généralisant la correspondance entre groupes et algèbres de Lie.
• Classes d'Atiyah et Opérations de puissance : L'article relie les différentielles aux classes d'Atiyah et définit une opération de puissance $p$-ième ($V$) sur la coalgèbre de Lie décalée $\Omega^1[1]$.

3. Contributions Clés et Résultats Principaux

A. Nullité des différentielles avant la page $p$ (Théorème A.i)

L'auteur démontre que pour une variété lisse $X$ sur un corps parfait $k$ de caractéristique $p > 0$, les différentielles $d_r$ de la suite spectrale HKR sont nulles pour tout $r < p$.

• Preuve : Cela découle de l'existence d'un « éclatement » (splitting) de la filtration HKR à l'ordre $p-2$, obtenu via l'exponentielle tronquée.

B. Formule explicite pour la différentielle $d_p$ (Théorème A.ii)

Si $X$ admet un relèvement $\tilde{X}$ sur l'anneau des vecteurs de Witt de longueur 2, $W_2(k)$, la différentielle $d_p$ est donnée par le commutateur :
$$d_p \sim [V, \text{Bock}_{\tilde{X}}]$$
où :

• $\text{Bock}_{\tilde{X}}$ est l'opérateur de Bockstein associé au relèvement $\tilde{X}$.
• $V : \Omega^1_{X/k}[1] \to \Omega^p_{X/k}[p]$ est une application naturelle définie via l'action d'un champ vectoriel dérivé sur l'espace des lacets.
• Ce commutateur induit une dérivation sur l'algèbre des formes différentielles.

C. Interprétation de l'opérateur $V$ via la classe d'Atiyah (Théorème B)

L'auteur établit que l'opérateur $V$ est une opération de puissance $p$-ième pour la classe d'Atiyah. Pour tout faisceau quasi-coherent $E \in \text{QCoh}(X)$, on a l'homotopie :
$$(1 \otimes V) \circ \text{at}_E \sim \text{at}_E^p$$
Cela généralise la structure d'algèbre de Lie restreinte (restricted Lie algebra) des algèbres de Lie classiques en caractéristique $p$ au contexte dérivé des empilements.

D. Applications et Exemples

• Espace classifiant $BG$ : Pour un schéma en groupes $G$, l'opérateur $V$ récupère l'opération $p$-ième classique sur l'algèbre de Lie de $G$.
• Contre-exemple d'Antieau-Bhatt-Mathew : Le cadre théorique permet de retrouver et d'expliquer pourquoi la suite spectrale pour $X = B\mu_p$ (le classifiant des racines $p$-ièmes de l'unité) ne dégénère pas : la différentielle $d_p$ agit non trivialement sur la classe de cohomologie correspondante.
• Espace projectif : Calcul explicite de $V$ sur les classes de Chern de $\mathbb{P}^n$.

4. Signification et Impact

• Compréhension de l'échec de la décomposition HKR : L'article fournit une formule précise expliquant pourquoi et quand la décomposition HKR échoue en caractéristique positive. Il montre que l'obstruction est liée à la torsion dans la cohomologie de Hodge d'un relèvement et à l'interaction entre l'opérateur de Bockstein et l'opération de puissance $p$.
• Unification des concepts : Il relie des domaines apparemment distincts : la théorie de l'homologie de Hochschild, la géométrie des groupes formels (cercle filtré), la théorie de la déformation, et la théorie des algèbres de Lie restreintes via la classe d'Atiyah.
• Outils pour la géométrie dérivée : L'introduction et l'utilisation des $\Theta$-catégories pour la reconstruction Tannakienne offrent un cadre robuste pour étudier les empilements dérivés au-delà des schémas classiques.
• Perspectives futures : L'article ouvre la voie à l'étude des différentielles pour $r > p$ (conjecture sur les puissances de $p$) et suggère des généralisations aux suites spectrales de de Rham vers le cyclique et aux cercles filtrés associés à d'autres groupes formels (hauteur $h$).

En résumé, Joshua Mundinger fournit une description complète et calculable des premières obstructions à la dégénérescence de la suite spectrale HKR en caractéristique positive, en les identifiant à des opérations naturelles issues de la géométrie dérivée et de la théorie des groupes formels.