Théorème de Hochschild–Kostant–Rosenberg

Un isomorphisme qui identifie l'homologie de Hochschild d'une algèbre commutative lisse avec ses formes différentielles algébriques : pour une k-algèbre commutative lisse A (sous les hypothèses usuelles, par exemple caractéristique zéro ou lissité convenable) on identifie HH_n(A) aux modules de différentielles de Kähler Ω^n_A, de façon compatible avec la graduation naturelle et l'application

Un théorème identifiant l’homologie de Hochschild HH_*(A) d’une algèbre commutative lisse A (ou d’une variété algébrique lisse) avec l’algèbre des formes différentielles Ω^*_A via l’application de Hochschild–Kostant–Rosenberg (HKR), reliant ainsi l’algèbre homologique à la géométrie différentielle en situation commutative et lisse.