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

Dit artikel toont aan dat de differentiaal van de Hochschild-Kostant-Rosenberg-spectrale rij in karakteristiek $p$ vóór pagina $p$ nul is, en levert bij een lift naar $W_2(k)$ een formule voor de differentiaal op pagina $p$ die de Bockstein en een $p$-de macht-operatie voor de Atiyah-klasse combineert.

De kern

Dit is een fascinerend, maar zeer technisch wiskundig artikel. Laten we het verhaal erachter vertalen naar een begrijpelijk verhaal in het Nederlands, vol met creatieve vergelijkingen.

De Kern: Een Wiskundige Reis door de "Hochschild-Kostant-Rosenberg"

Stel je voor dat wiskundigen een enorme, complexe machine hebben ontdekt: de Hochschild-homologie. Deze machine helpt hen om de vorm en structuur van wiskundige objecten (variëteiten) te begrijpen.

Aan de ene kant hebben we deze machine. Aan de andere kant hebben we een heel mooi, simpel boekje: differentiaalvormen (een manier om hellingen en krommingen te beschrijven, net als in de natuurkunde).

De grote vraag is: Is de complexe machine precies hetzelfde als het simpele boekje?

In de "normale" wereld (waar de wiskunde geen last heeft van vreemde getallen, zoals in de karakteristiek 0), is het antwoord: Ja! De machine kan volledig worden opgesplitst in de simpele onderdelen uit het boekje. Dit heet de HKR-decompositie.

Maar... er is een probleem. Als we werken in een wereld met een specifieke "karakteristiek" (laten we zeggen, een wereld waar getallen zich gedragen alsof ze in een cyclus van een priemgetal $p$ bewegen, zoals 2, 3, 5, 7...), dan gaat het mis. De machine en het boekje zijn niet meer exact hetzelfde. Er zijn "lekken" in de machine die niet in het boekje staan.

Het doel van dit artikel is om te begrijpen waarom die lekken ontstaan en hoe ze precies werken.

---

De Reis: De Spectrale Sequentie als een Trap

Om de machine te repareren (of te begrijpen waarom hij lekt), gebruiken de auteurs een hulpmiddel dat ze een spectrale sequentie noemen.

De Analogie:
Stel je voor dat je een donkere kamer probeert te verkennen. Je hebt een flitslamp, maar die werkt niet goed. Je moet stap voor stap het licht opvoeren.

• Stap 1 (Pagina 2): Je ziet een vaag silhouet. Dit is wat we al weten (de simpele differentiaalvormen).
• Stap 2, 3, 4...: Je draait aan de flitslamp. Bij elke stap zie je meer details, maar soms ook nieuwe schaduwen die je niet zag. Deze schaduwen zijn de differentiëlen ($d_r$). Ze vertellen je hoe de informatie van de ene stap naar de andere "lekt" of verandert.

De grote vraag in dit artikel is: Wanneer beginnen die schaduwen (de lekken) te verschijnen?

De Grote Ontdekkingen

De auteur, Joshua Mundinger, heeft twee belangrijke dingen ontdekt over deze "lekken" in de wereld van priemgetallen $p$:

1. De "Stille" Eerste Rijen

Voor de eerste paar stappen van je flitslamp (voor stap $r < p$) gebeurt er niets.

• Vergelijking: Het is alsof je door een lange, rechte tunnel loopt. Tot je een bepaalde muur bereikt (de muur van priemgetal $p$), is alles perfect recht. Er zijn geen lekken. De machine werkt hier nog alsof hij in de "normale" wereld zit.
• Conclusie: De eerste $p-1$ stappen van de spectrale sequentie zijn altijd "nul". Er is geen verwarring tot diep in de tunnel.

2. De Muur van Priemgetal $p$

Op stap $p$ (de $p$-de pagina) gebeurt er iets raars. De muur breekt open en er komt een lek.

• De Oorzaak: Dit lek wordt veroorzaakt door twee krachten die met elkaar botsen.
  1. De Bockstein: Stel je voor dat je een lift hebt die je probeert te bouwen in een gebouw dat net iets anders is dan het origineel (een "lift" naar een hogere dimensie). De Bockstein is de spanning in het materiaal die ontstaat omdat de lift niet perfect past. Het meet hoe "vervormd" de lift is.
  2. De Verschiebung (V): Dit is een soort magische knop die je kunt indrukken. In de wiskunde van priemgetallen is er een speciale operatie (vergelijkbaar met "vermenigvuldigen met zichzelf $p$ keer") die een vorm in een andere vorm verandert.
• Het Formule-geheim: Het artikel geeft een formule voor dit lek. Het is eigenlijk de botsing (de commutator) tussen de spanning van de lift (Bockstein) en de magische knop (Verschiebung).
  • Simpele zin: Het lek ontstaat omdat de manier waarop we de lift bouwen (Bockstein) niet goed samenwerkt met de magische vermenigvuldiging (Verschiebung).

De Diepere Betekenis: Lie-algebra's en Groepen

De auteur verbindt dit ook met een heel oud concept: Lie-algebra's (de wiskunde achter symmetrieën en groepen, zoals de beweging van een wiel of een atoom).

• De Vergelijking: In de wereld van priemgetallen hebben deze symmetriegroepen een speciale eigenschap: ze hebben een "vermogen $p$".
• De Ontdekking: De auteur laat zien dat de magische knop ($V$) die we zagen bij het lek, precies hetzelfde is als die speciale "vermogen $p$" operatie in de symmetriegroep.
• Conclusie: De lekken in de machine zijn dus geen toeval. Ze zijn een directe weerspiegeling van de fundamentele regels van symmetrie in deze vreemde wereld van priemgetallen.

Waarom is dit belangrijk?

Vroeger wisten wiskundigen alleen dat de HKR-decompositie niet altijd werkte in deze wereld. Ze wisten niet precies waarom of hoe het misging.

Met dit artikel hebben ze:

1. Gezien dat het lang stil blijft (tot stap $p$).
2. Een exacte formule gevonden voor het moment dat het misgaat.
3. Ontdekt dat dit misgaan te maken heeft met de manier waarop je een "lift" bouwt en hoe symmetrieën werken in deze wereld.

Samenvattend in één zin:
Dit artikel legt uit dat in de wiskundige wereld van priemgetallen, de eerste paar stappen van een complexe berekening perfect zijn, maar op een specifiek moment (stap $p$) een foutje ontstaat dat wordt veroorzaakt door de botsing tussen de vervorming van een constructie en de speciale regels van symmetrie.

Het is alsof je een brug bouwt: de eerste meters zijn perfect, maar op het moment dat je de brug moet versterken met een speciale techniek (de lift), blijkt dat de techniek niet goed past bij de wetten van de natuur (de symmetrie), waardoor er een scheur in de brug ontstaat. De auteur heeft precies uitgelegd waar die scheur zit en hoe hij eruit ziet.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On the Differentials of the Hochschild-Kostant-Rosenberg Spectral Sequence" van Joshua Mundinger, geschreven in het Nederlands.

Titel: Over de differentiaalvergelijkingen van de Hochschild-Kostant-Rosenberg spectrale rij

Auteur: Joshua Mundinger
Trefwoorden: Hochschild-homologie, HKR-spectrale rij, positieve karakteristiek, Atiyah-klass, Tannakiaanse reconstructie, gefilterde cirkel, restricted Lie-algebra's.

---

1. Het Probleem

De Hochschild-Kostant-Rosenberg (HKR) stelling beschrijft de Hochschild-homologie van een gladde algebra $R$ over een veld $k$ als de som van de differentiaalvormen: $HH_i(R/k) \cong \Omega^i_{R/k}$. Voor een gladde algebraïsche variëteit $X/k$ leidt dit tot een spectrale rij (de HKR-spectrale rij):
$$E_2^{s,t} = H^s(X, \Omega^{-t}_{X/k}) \implies HH_{-s-t}(X/k)$$
In karakteristiek 0 (of wanneer $\dim X < \text{char}(k)$) degenereren deze rijen en ontstaat er een directe som-decompositie. Echter, in positieve karakteristiek $p > 0$ is dit niet altijd het geval. In 2019 toonden Antieau, Bhatt en Mathew (ABM) aan dat er variëteiten bestaan waarvoor deze spectrale rij niet degenereren; er zijn niet-triviale differentiaalvergelijkingen die de decompositie voorkomen.

Het centrale probleem van dit artikel is het kwantificeren en formuleren van deze differentiaalvergelijkingen. Specifiek:

1. Op welke pagina's van de spectrale rij zijn de differentiaalvergelijkingen $d_r$ nul?
2. Wat is de expliciete formule voor de eerste niet-nul differentiaal $d_p$ wanneer deze bestaat?
3. Hoe hangt dit samen met de liftbaarheid van de variëteit en de structuur van de Atiyah-klass?

2. Methodologie

Mundinger gebruikt een combinatie van gefilterde algebraïsche meetkunde, deformatietheorie en Tannakiaanse reconstructie voor afgeleide stapels (derived stacks).

• De Gelfilterde Cirkel ($S^1_{\text{fil}}$): De kern van de methode is het werk van Moulinos, Robalo en Toën. Zij realiseren de HKR-filtratie universeel als een filtratie op een "gefilterde cirkel" $S^1_{\text{fil}}$, gedefinieerd als de classifying stack van de Cartier-dual van een formeel groep $\hat{G}_\lambda$ met groeplaw $v, w \mapsto v + w + \lambda vw$.

  • De Hochschild-homologie van een variëteit $X$ wordt geassocieerd met de mapping stack $Maps(S^1_{\text{fil}}, X)$.
  • De differentiaalvergelijkingen in de spectrale rij corresponderen met de deformatie-theoretische obstructies van deze mapping stack.

• Deformatie van de Speciale Vezel: De auteur analyseert de deformatie van $S^1_{\text{fil}}$ van de speciale vezel $B\hat{G}_a^\vee$ (in karakteristiek $p$) naar de generieke vezel.

  • Het blijkt dat de filtratie tot orde $p-2$ gesplitst is (via een afgekapt exponentieel).
  • De eerste niet-triviale obstructie treedt op bij orde $p-1$, wat correspondeert met de differentiaal $d_p$.

• Tannakiaanse Reconstructie en $\Theta$-categorieën: Om de differentiaalvergelijkingen op een algemene manier te beschrijven, introduceert de auteur concepten uit het werk van Nuiten en Toën over $\Theta$-categorieën. Dit stelt hem in staat om mapping stacks van de vorm $Maps(BG_a^\vee, X)$ te identificeren met de verschuiving van de raakbundel $T[-1]X$ voor een specifieke klasse van stapels (Tannakiaanse stapels).

• Bockstein-operatoren en Atiyah-klass: De differentiaal wordt uitgedrukt in termen van de Bockstein-morfisme geassocieerd met een lift van $X$ naar $W_2(k)$ (de Witt-vectoren van lengte 2) en een nieuwe operator $V$ die voortkomt uit de Atiyah-klass.

3. Belangrijkste Resultaten en Bijdragen

Hoofdstelling A: De differentiaal $d_p$

Voor een perfecte veld $k$ met karakteristiek $p > 0$ en een gladde variëteit $X/k$:

1. Voor $r < p$: De differentiaalvergelijkingen $d_r$ zijn identiek nul. Dit betekent dat de HKR-spectrale rij degenereren tot pagina $p$.
2. Voor $r = p$: Als $X$ een lift $\tilde{X}$ naar $W_2(k)$ toelaat, dan wordt de differentiaal $d_p$ geïnduceerd door de commutator:
   $$d_p \sim [V, \text{Bock}_{\tilde{X}}]$$
   Hierbij is:
   • $\text{Bock}_{\tilde{X}}$ de Bockstein-morfisme geassocieerd met de lift naar $W_2(k)$.
   • $V$ een natuurlijke afbeelding $\Omega^1_{X/k}[1] \to \Omega^p_{X/k}[p]$.

Deze formule toont aan dat de niet-degeneratie van de HKR-rij direct gerelateerd is aan torsie in de Hodge-cohomologie van de lift.

Hoofdstelling B: De Operator $V$ en de Atiyah-klass

De auteur identificeert de operator $V$ als een $p$-de macht operatie voor de Atiyah-klass.

• Laat $at_E: E \to E \otimes \Omega^1_{X/k}[1]$ de Atiyah-klass zijn voor een quasi-coherent schuif $E$.
• Dan geldt voor de $p$-de macht van de Atiyah-klass:
  $$(1 \otimes V) \circ at_E \sim at_E^p$$
  Dit betekent dat $V$ de rol speelt van de $p$-de macht in de context van de Lie-coalgebra structuur van $\Omega^1_{X/k}[1]$.

Verband met Restricted Lie-algebra's

De auteur toont aan dat deze resultaten een afgeleide generalisatie zijn van de theorie van restricted Lie-algebra's in karakteristiek $p$.

• Voor de classifying stack $BG$ van een groepsschema $G$, herwint de operator $V$ de klassieke $p$-de macht operatie op het Lie-algebra van $G$.
• Dit verklaart waarom het voorbeeld van Antieau-Bhatt-Mathew (waar $G = \mu_p$) een niet-degenererende spectrale rij heeft: de $p$-de macht operatie is niet-triviaal op de cohomologie.

Tannakiaanse Reconstructie voor Afgeleide Stapels

Een significant technisch bijdrage is de introductie van een notie van Tannakiaanse afgeleide stapels met behulp van $\Theta$-categorieën. Dit stelt de auteur in staat om de equivalentie te bewijzen:
$$T[-1]X \simeq Maps(BG_a^\vee, X)$$
voor Tannakiaanse stapels $X$. Dit verbindt de geometrie van de verschuiving van de raakbundel met de mapping stack van de Cartier-dual van de additieve groep.

4. Significatie en Implicaties

• Verduidelijking van de HKR-decompositie: Het werk legt de exacte voorwaarden bloot waarop de HKR-decompositie faalt in positieve karakteristiek. Het bevestigt dat de obstructie puur ligt in de interactie tussen de liftbaarheid naar $W_2(k)$ en de $p$-de macht structuur van de Atiyah-klass.
• Verbinding met andere Spectrale Rijen: De resultaten bieden een parallel met recente werken van Petrov over de Hodge-de Rham spectrale rij, hoewel de methoden verschillend zijn. Het suggereert een diepere connectie tussen de differentiaalvergelijkingen in de HKR-rij en die in de conjugate Hodge-de Rham rij.
• Algebraïsche Structuur: Door de differentiaal $d_p$ te relateren aan de $p$-de macht van de Atiyah-klass, introduceert de auteur een nieuwe algebraïsche structuur op de verschuiving van de differentiaalvormen, die analoog is aan een restricted Lie-algebra maar in de context van afgeleide algebraïsche meetkunde.
• Toekomstige Richtingen: De auteur stelt conjectures over differentiaalvergelijkingen op pagina's $p^k$ (gerelateerd aan formal groepen van hoogte $k$) en de uitbreiding van deze resultaten naar andere spectrale rijen in het "commutatieve vierkant" (de Rham, HP, HH, Tate).

Conclusie

Joshua Mundinger's paper levert een fundamentele bijdrage aan het begrip van Hochschild-homologie in positieve karakteristiek. Door de HKR-spectrale rij te analyseren via de lens van de gefilterde cirkel en Tannakiaanse reconstructie, levert hij een expliciete formule voor de eerste niet-triviale differentiaal. Dit resultaat verenigt de theorie van restricted Lie-algebra's, de Atiyah-klass en de deformatietheorie van formal groepen, en biedt een krachtig kader voor het bestuderen van de "failures" van de HKR-decompositie.