In Mariusz Wodzicki's paper "Cyclic homology of differential operators," the following result is mentioned: for $D\_M$ the algebra of differential operators on a smooth manifold $M$ we have that $HH\_n(D\_M) \cong H\_{DR}^{2m-n}(M)$ where $m=\dim M$. I'm having trouble finding a reference for the Hochschild Cohomology of $D\_M$. Does anyone know of a paper with the result?



Hochschild Cohomology of Differential Operators in characteristic 0
Hi,


This is an instance of a more general fact concerning deformation quantization of symplectic varieties. The general theorem is:


`Let $X$ be an symplectic manifold, and let $A\_\hbar$ be any quantization of the Poisson algebra $(C^\infty(X), \{, \})$. Then we have $HH^\*(A\_\hbar)\cong H\_{DR}^\*(X)$.


See the paper:


Hochschild cohomology and Characteristic Classes by Weinstein and Xu


for an early proof. As Jeremy noted, one proof of this goes through spectral sequences. Morally the point, as I understand it, is that there is a canonical quantization of a symplectic vector space, which is the Weyl algebra, and which has trivial Hochschild cohomology. Since every symplectic variety is locally symplectomorphic to a symplectic vector space, you can compute the Hochschild cohomology of $HH^\*(A\_\hbar)$ on some covering of $X$ via a Cech complex consisting of constant sheaves at each basic open set (constant sheaves because you choose the covering fine enough so that the symplectic form can be put in canonical form, and then you use the result about the Hochschild cohomology of the Weyl algebra). This is also how you compute DeRham comology, so the answers coincide.


The reason this relates to differential operators is that for a smooth manifold $M$, its cotangent space $T^\*M$ is a symplectic manifold, and we can regard $D\_M$ as a quantization of $C^\infty(T^\*M)$. as above. So we find that $HH^\*(D\_M)\cong H\_{DR}^\*(T^\*M)\cong H\_{DR}^\*(M)$, since $T^\*M$ contracts onto $M$.


