Ein Satz, der die Hochschild‑Homologie HH_*(A) einer glatten kommutativen Algebra A (oder einer glatten algebraischen Varietät) mit der Algebra der Differentialformen Ω^*_A identifiziert, mittels der Hochschild–Kostant–Rosenberg‑Abbildung, und damit homologische Algebra mit differentialgeometrischen Daten im glatten kommutativen Fall verbindet.

Prinzip

Die HKR‑Abbildung sendet eine Hochschild‑Kette, die ein Tensortensor von Funktionen ist, auf das entsprechende Außenprodukt ihrer Differentiale; wenn A glatt ist (und unter geeigneten Charakteristik‑Annahmen), ist diese Abbildung ein Quasi‑Isomorphismus, sodass die Hochschild‑Homologie die Differentialformen bzw. Polyvektoren von A berechnet.

Demonstration

Für die Polynomalgebra k[x1,...,xn] über einem Körper der Charakteristik Null identifiziert HKR HH_i mit Ω^i (dem Raum der i‑Formen): eine explizite Abbildung schickt f0 ⊗ f1 ⊗ ... ⊗ fi auf f0 df1 ∧ ... ∧ dfi, die in Homologie ein Isomorphismus ist, da die Algebra glatt und regulär ist.

Fehlanwendung

HKR in singulären Situationen oder für nichtkommutative Algebren ohne Modifikation anzuwenden ist ungültig; die naheliegende Gleichsetzung von Hochschild‑Homologie mit Differentialformen bei Singularitäten oder in kleiner positiver Charakteristik führt zu falschen Schlussfolgerungen und verfehlt notwendige abgeleitete Korrekturen.

Konsequenz

HKR ermöglicht konkrete Berechnungen von Hochschild‑ und zyklischer Homologie für glatte kommutative Algebren, verbindet diese Invarianten mit der de‑Rham‑Kohomologie und charakteristischen Klassen und motiviert abgeleitete und nichtkommutative Verallgemeinerungen, wenn die Glattheitsbedingung gelockert wird.

Umkehrung

Das Versagen der HKR‑Isomorphie signalisiert Singularitäten oder Nichtkommutativität: weichen Hochschild‑Homologie und Differentialformen voneinander ab, erkennt man nichtreguläres Verhalten, und abgeleitete/HKR‑Verfeinerungen versuchen, eine Identifikation im abgeleiteten Sinn wiederherzustellen.

Abgrenzung

Voraussetzung ist die Glattheit (Regulärität) der kommutativen Algebra oder Varietät und üblicherweise Charakteristik Null bzw. Kontrolle über Torsion; in singulären, abgeleiteten oder nichtkommutativen Kontexten bricht die naive Aussage zusammen und man muss abgeleitete HKR‑Formulierungen oder passende Komplexe verwenden.

Semantische Spannung

Ähnlich, aber verschieden von Resultaten, die zyklische Homologie mit de‑Rham‑Kohomologie verbinden oder von Tsygan‑Formalisms in nichtkommutativer Geometrie: HKR ist spezifisch für Hochschild‑Homologie im glatten kommutativen Fall, während zyklische und nichtkommutative Theorien zusätzliche Strukturen und Korrekturen verlangen.

Synthese

Der HKR‑Satz behauptet, dass für eine glatte kommutative Algebra der Hochschild‑Komplex auf den de‑Rham‑Komplex zusammenfällt: die HKR‑Abbildung realisiert Hochschild‑Homologie als Algebra der Differentialformen und macht ein abstraktes homologisches Invariant zu konkreten differentialgeometrischen Daten, wobei sie zugleich die Grenze markiert, an der abgeleitete oder nichtkommutative Korrekturen nötig sind.