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)toCH∗(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 Ainfty 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