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

Dieser Artikel zeigt, dass die Differentiale der Hochschild-Kostant-Rosenberg-Spektralsequenz in Charakteristik $p>0$ bis Seite $p$ verschwinden, und liefert für Varietäten, die sich auf $W_2(k)$ heben lassen, eine explizite Formel für das Differential auf Seite $p$, die den Bockstein und eine $p$-te Potenzoperation der Atiyah-Klasse verwendet.

Das Wesentliche

Hier ist eine einfache Erklärung der komplexen Mathematik aus Josh Mundingers Papier, verpackt in eine Geschichte mit Alltagsanalogien.

Die große Reise: Vom einfachen Bild zum verzwickten Puzzle

Stellen Sie sich vor, Sie haben ein riesiges, komplexes Bauwerk (ein mathematisches Objekt, das wir „Varietät" nennen). Mathematiker wollen dieses Bauwerk verstehen, indem sie es in kleine, handliche Bausteine zerlegen.

Es gibt eine berühmte Regel, die Hochschild-Kostant-Rosenberg (HKR)-Theorem genannt wird. Diese Regel sagt im Grunde: „Wenn du dein Bauwerk in einer perfekten, glatten Welt (Charakteristik 0, wie bei den reellen Zahlen) betrachtest, dann passt es perfekt zusammen. Die Bausteine (differential forms) ergeben exakt das ganze Bild."

Das Problem: Wir leben nicht immer in dieser perfekten Welt. Manchmal arbeiten wir in einer Welt, die „mod p" ist (wie ein Uhrwerk, das nur bis 12 zählt und dann wieder bei 1 beginnt). In dieser Welt funktioniert die perfekte Regel nicht mehr. Die Bausteine passen nicht mehr so einfach zusammen.

Das Ziel des Papiers: Die undichten Stellen finden

Josh Mundingers Papier fragt sich: „Wo genau fängt es an zu lecken?"

Wenn die perfekte Regel versagt, gibt es einen Prozess, der wie ein mehrstufiges Sieb funktioniert (ein sogenannter Spektraler Sequenz). Man schüttelt das Puzzle durch verschiedene Siebe (Seiten 2, 3, 4...).

• Die Frage: An welchem Sieb (Seite $r$) fallen die ersten Bausteine durch, die eigentlich nicht durchfallen sollten?
• Die Entdeckung: Mundinger zeigt, dass in der Welt „mod p" (wenn $p$ eine Primzahl ist, wie 2, 3, 5...) die ersten $p-1$ Siebe absolut dicht sind. Nichts fällt durch! Erst ab der Seite $p$ (also beim $p$-ten Sieb) passiert etwas.

Die Werkzeuge: Der „Bockstein" und die „Verschiebung"

Wenn das erste Loch auf Seite $p$ auftritt, fragt Mundinger: Was verursacht dieses Loch? Er findet zwei magische Werkzeuge, die dafür verantwortlich sind:

1. Der Bockstein (Der „Reparatur-Check"):
   Stellen Sie sich vor, Sie versuchen, Ihr Bauwerk auf einem etwas robusteren Fundament zu bauen (eine „Liftung" zu $W_2(k)$). Der Bockstein ist wie ein Spezialist, der prüft: „Haben wir beim Hochziehen des Fundaments einen Riss verursacht?" Wenn ja, zeigt dieser Riss genau an, wo das mathematische Puzzle nicht mehr passt.

2. Die Verschiebung (Das „p-te Potenz-Wunder"):
   In dieser speziellen Welt gibt es eine Operation, die man „Verschiebung" (Verschiebung) nennt. Stellen Sie sich vor, Sie haben einen Zauberstab, der Dinge nicht nur verdoppelt, sondern sie in die $p$-te Potenz hebt. Mundinger zeigt, dass dieser Zauberstab direkt mit dem Riss im Fundament (dem Bockstein) zusammenarbeitet.

Die Formel:
Die Mathematik sagt im Papier: „Der Fehler (die Differential) auf Seite $p$ ist genau das Ergebnis, wenn man den Reparatur-Check (Bockstein) mit dem $p$-ten Potenz-Zauberstab (Verschiebung) kombiniert."

Die tiefe Verbindung: Lie-Gruppen und die „p-te Potenz"

Das Papier geht noch einen Schritt weiter und verbindet diese Idee mit etwas, das man aus der Physik oder klassischen Algebra kennt: Lie-Algebren.
Stellen Sie sich eine Lie-Algebra wie einen Satz von Regeln vor, wie man sich in einem Raum bewegt. In der normalen Welt gelten bestimmte Regeln. In der Welt „mod p" gibt es eine extra Regel: „Wenn du dich $p$-mal bewegst, kommst du an einen neuen Ort, der durch eine spezielle Potenz-Regel bestimmt wird."

Mundinger beweist, dass die komplizierten Bausteine in seinem Puzzle (die Atiyah-Klasse) genau diese Regeln befolgen. Die „Verschiebung" ist im Grunde die mathematische Version dieser $p$-ten Potenz-Regel für sehr abstrakte geometrische Objekte.

Warum ist das wichtig?

Bisher wussten wir nur, dass das Puzzle in manchen Fällen nicht perfekt zusammenpasst (dank eines Beispiels von Antieau, Bhatt und Mathew).
Mundingers Papier liefert nun:

1. Die Garantie: Bis Seite $p-1$ ist alles sicher.
2. Die Diagnose: Genau ab Seite $p$ wissen wir, wie man den Fehler berechnet.
3. Die Erklärung: Wir verstehen warum es passiert (wegen der $p$-ten Potenz und des Fundament-Risses).

Zusammenfassung in einem Satz

Dieses Papier ist wie ein detaillierter Bauplan, der erklärt, warum ein mathematisches Puzzle in einer speziellen Welt (Charakteristik $p$) erst ab dem $p$-ten Schritt auseinanderfällt und wie man genau berechnet, wie stark es auseinanderfällt, indem man zwei spezielle Werkzeuge (einen Riss-Prüfer und einen Potenz-Zauberstab) kombiniert.

Es ist eine Reise vom abstrakten „Warum funktioniert das nicht?" hin zu einem konkreten „Hier ist die Formel für den Fehler".

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des Papers „On the Differentials of the Hochschild-Kostant-Rosenberg Spectral Sequence" von Joshua Mundinger auf Deutsch.

1. Problemstellung

Das Paper untersucht das Versagen der Hochschild-Kostant-Rosenberg (HKR)-Zerlegung für algebraische Varietäten über Körpern der Charakteristik $p > 0$.

• Hintergrund: Der HKR-Satz besagt, dass für eine glatte Algebra $R$ über einem Körper $k$ die Hochschild-Homologie $HH_i(R/k)$ isomorph zu den Differentialformen $\Omega^i_{R/k}$ ist. Für eine glatte Varietät $X/k$ existiert eine Spektralsequenz (die HKR-Spektralsequenz):
  $$E_2^{s,t} = H^s(X, \Omega^{-t}_{X/k}) \implies HH_{-s-t}(X/k)$$
• Charakteristik 0 vs. $p$: Wenn $\dim X < \text{char}(k)$ (bzw. im Fall von Charakteristik 0), degeneriert diese Spektralsequenz kanonisch, was zu einer direkten Summenzerlegung der Hochschild-Homologie führt.
• Das Problem: In positiver Charakteristik $p$ degeneriert die Spektralsequenz nicht notwendigerweise. Ein Gegenbeispiel wurde 2019 von Antieau, Bhatt und Mathew (ABM) für eine glatte projektive Varietät der Dimension $2p$über$\overline{\mathbb{F}}_p$gefunden, bei der die Differentialabbildung auf der Seite$p$($d_p$) nicht null ist.
• Ziel: Das Paper zielt darauf ab, explizite Formeln für die Differentiale $d_r$ dieser Spektralsequenz zu finden, insbesondere um zu verstehen, wann und warum sie nicht verschwinden.

2. Methodik

Mundinger verwendet eine Kombination aus derivierter algebraischer Geometrie, der Theorie filtrierter Kreise und Tannakischer Rekonstruktion.

• Der gefilterte Kreis ($S^1_{\text{fil}}$): Anstatt direkt mit der Hochschild-Homologie zu arbeiten, nutzt der Autor die Konstruktion von Moulinos, Robalo und Toën. Die HKR-Filtration wird universell als eine Filtration auf einem „gefilterten Kreis" $S^1_{\text{fil}}$ realisiert. Dieser ist definiert als der Klassifizierungsstapel $B\hat{G}^\vee_\lambda$ der Cartier-Dualität einer formalen Gruppe über $k[\lambda]$ mit der Gruppenoperation $v, w \mapsto v + w + \lambda vw$.
• Deformationstheorie: Die Differentiale der Spektralsequenz werden als Deformationsklassen interpretiert. Die Zerlegung der HKR-Filtration bis zur Ordnung $p-2$ existiert immer (durch eine abgeschnittene Exponentialabbildung). Das erste nicht-triviale Differential $d_p$ entspricht der Deformationsklasse der gefilterten Gruppe $\hat{G}_\lambda$ an der Stelle $\lambda^{p-1}$.
• Tannakische Rekonstruktion und $\Theta$-Kategorien: Um die Struktur der Abbildungsstapel $Maps(S^1_{\text{fil}}, X)$ zu analysieren, führt der Autor Konzepte der Tannakischen Rekonstruktion für derivierte Stapel ein. Dabei werden $\Theta$-Kategorien (eine Verfeinerung symmetrisch monoidaler Kategorien, eingeführt von Nuiten und Toën) verwendet, um die Differenz zwischen $E_\infty$-Ringen und animierten Ringen zu handhaben. Dies erlaubt die Identifikation von $T[-1]X$ (dem verschobenen Tangentialbündel) mit $Maps(BG^\vee_a, X)$ für Tannakische Stapel.
• Atiyah-Klasse und Verschiebung: Die zentrale technische Innovation ist die Verbindung des Differentials zur Atiyah-Klasse und einer $p$-ten Potenz-Operation (Verschiebung $V$) im Kontext der Lie-Kobialgebra der Atiyah-Klasse.

3. Hauptergebnisse

Das Paper liefert zwei fundamentale Sätze (Theorem A und Theorem B):

Theorem A: Das Differential auf Seite $p$

Sei $k$ ein perfekter Körper der Charakteristik $p > 0$ und $X/k$ eine glatte Varietät.

1. Verschwinden vor Seite $p$: Die Differentiale $d_r$ sind für alle $r < p$ identisch null.
2. Formel für $d_p$: Wenn $X$ eine Hebung $\tilde{X}$ nach $W_2(k)$ (den Ring der Witt-Vektoren der Länge 2) zulässt, wird das Differential $d_p$ durch den Kommutator einer natürlichen Abbildung $V$ mit dem Bockstein-Operator $Bock_{\tilde{X}}$ induziert:
   $$d_p \sim [V, Bock_{\tilde{X}}] : \Omega^1_{X/k} \to \Omega^p_{X/k}[p]$$
   Hier ist $V$ eine Abbildung $\Omega^1_{X/k}[1] \to \Omega^p_{X/k}[p]$, die als „Verschiebung" interpretiert wird. Der Bockstein-Operator ist mit der Torsion in der Kohomologie der Hebung verbunden. Dies verfeinert frühere Beobachtungen von Antieau und Vezzosi, die zeigten, dass die Spektralsequenz degeneriert, wenn die Hebung nach $W(k)$ mit $p$-torsionsfreier Kohomologie existiert.

Theorem B: Die Natur der Abbildung $V$

Die Abbildung $V$ ist nicht willkürlich, sondern hat eine tiefe algebraische Struktur:

• $V$ ist eine $p$-te Potenz-Operation für die Atiyah-Klasse.
• Für jedes quasi-kohärente Garbe $E \in QCoh(X)$ gilt im abgeleiteten Sinne:
  $$(1 \otimes V) \circ at_E \sim at_E^p : E \to E \otimes \Omega^p_{X/k}[p]$$
  wobei $at_E$ die Atiyah-Klasse ist.
• Dies stellt eine derivierte Analogie zur Struktur einer eingeschränkten Lie-Algebra (restricted Lie algebra) dar. Im Fall von Klassifizierungsstapel $BG$ einer Gruppen-Schema $G$ recovert $V$ die klassische $p$-te Potenz-Operation auf der Lie-Algebra von $G$.

4. Signifikanz und Implikationen

• Verständnis der Nicht-Degeneration: Das Paper liefert den ersten expliziten Mechanismus, der erklärt, warum und wie die HKR-Spektralsequenz in positiver Charakteristik nicht degeneriert. Es zeigt, dass das Nicht-Verschwinden von $d_p$ direkt mit der Existenz von Torsion in der Kohomologie einer Hebung nach $W_2(k)$ korreliert ist.
• Verbindung zu anderen Gebieten:
  • Es stellt eine Brücke zwischen der Hochschild-Homologie, der Atiyah-Klasse und der Theorie der eingeschränkten Lie-Algebren her.
  • Es gibt eine Verbindung zu Petrovs Ergebnissen zur Hodge-de-Rham-Spektralsequenz, obwohl die Methoden unterschiedlich sind.
• Neue Werkzeuge: Die Einführung und Anwendung von $\Theta$-Kategorien und der Tannakischen Rekonstruktion für derivierte Stapel bietet neue Werkzeuge für die Untersuchung von Abbildungsstapeln und Differentialen in der derivierten algebraischen Geometrie.
• Beispielrechnung: Das Paper zeigt, wie man die Berechnungen von Antieau-Bhatt-Mathew für den Stapel $B\mu_p$ (Klassifizierungsstapel der $p$-ten Einheitswurzeln) reproduzieren kann, indem man $V$ und den Bockstein-Operator verwendet, um zu zeigen, dass $d_p(d) = c^p$ (bis auf eine Einheit), was die Nicht-Degeneration beweist.

5. Ausblick (Future Work)

Der Autor diskutiert offene Fragen, darunter:

• Ob die Ergebnisse auf andere Spektralsequenzen im „kommutativen Quadrat" (Hodge-de-Rham, Tate, etc.) erweitert werden können.
• Die Struktur von $V$ als Teil einer „partition Lie algebroid"-Struktur.
• Die Frage, ob Differentiale nur auf Seiten $p^k$ auftreten können (Conjecture 5.2.2).
• Die Untersuchung von „filterten $E$-Kreisen" für formale Gruppen anderer Höhen.

Zusammenfassend liefert dieses Paper eine präzise, formelhafte Beschreibung der ersten nicht-trivialen Differenziale in der HKR-Spektralsequenz und verankert diese tief in der Struktur der Atiyah-Klasse und der deformierten Geometrie von Stapeln.