Hochschild–Kostant–Rosenberg-Theorem

Eine Isomorphie, die die Hochschild-Homologie einer glatten kommutativen Algebra mit ihren algebraischen Differentialformen identifiziert: für eine glatte kommutative k-Algebra A (unter den üblichen Voraussetzungen, z. B.

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.