Teorema de Hochschild–Kostant–Rosenberg

Un isomorfismo que identifica la homología de Hochschild de una álgebra conmutativa lisa con sus formas diferenciales algebraicas: para una k-álgebra conmutativa lisa A (bajo las hipótesis habituales, p. ej. característica cero o lisez apropiada) se identifican HH_n(A) con los módulos de diferenciales de Kähler Ω^n_A, de manera compatible con la graduación natural y la aplicación HKR.

Un teorema que identifica la homología de Hochschild HH_*(A) de una álgebra conmutativa lisa A (o de una variedad algebraica lisa) con el álgebra de formas diferenciales Ω^*_A mediante la aplicación de Hochschild–Kostant–Rosenberg (HKR), vinculando así el álgebra homológica con la geometría diferencial en el caso conmutativo y liso.