The HKR theorem for cohomology in characteristic zero says that if $R$ is a regular, commutative $k$ algebra ($char(k) = 0$) then a certain map $bigwedge^* Der(R) to CH^*(R,R)$ (where $wedge^* Der(R)$ has zero differential) is a quasi-isomorphism of dg vector spaces, that is, it induces an isomorphism of graded vector spaces on cohomology.
Can the HKR morphism be extended to an $A_infty$ morphism? Is there a refinement in this spirit to make up for the fact that it is not, on the nose, a morphism of dg-algebras?
No comments:
Post a Comment