Hochschild Cohomology of Differential Operators in characteristic 0 - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T16:09:41Z http://mathoverflow.net/feeds/question/97097 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/97097/hochschild-cohomology-of-differential-operators-in-characteristic-0 Hochschild Cohomology of Differential Operators in characteristic 0 KReiser 2012-05-16T08:33:56Z 2012-05-17T23:47:10Z <p>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?</p> http://mathoverflow.net/questions/97097/hochschild-cohomology-of-differential-operators-in-characteristic-0/97177#97177 Answer by Jeremy Pecharich for Hochschild Cohomology of Differential Operators in characteristic 0 Jeremy Pecharich 2012-05-17T01:40:40Z 2012-05-17T01:40:40Z <p>There are many references for this fact, which is essentially a spectral sequence argument along with the Poincare Lemma. The full proof is in section 5 of "THE HOMOLOGY OF ALGEBRAS OF PSEUDO-DIFFERENTIAL SYMBOLS AND THE NON-COMMUTATIVE RESIDUE" by Brylinski and Getzler.</p> http://mathoverflow.net/questions/97097/hochschild-cohomology-of-differential-operators-in-characteristic-0/97255#97255 Answer by David Ben-Zvi for Hochschild Cohomology of Differential Operators in characteristic 0 David Ben-Zvi 2012-05-17T19:34:48Z 2012-05-17T19:34:48Z <p>I'm afraid I don't know the literature well enough to give a proper reference (my default would have been the paper Jeremy suggested) but I wanted to point out that at least in the algebraic setting such a result follows from results describing functors on D-modules as integral transforms (in the spirit of Goncharov's papers on D-modules and Integral Transforms, work of Kashiwara, Schapira, d'Agnolo, Polesello, and others --- a general theorem of this kind and more references can be found in <a href="http://arxiv.org/abs/0904.1247" rel="nofollow">this paper</a>. Namely once you know that functors on D-modules are identified with D-modules on the product, it follows that Hochschild cohomology - ie self-ext of the identity functor - can be calculated by self-Ext of the diagonal, which for smooth schemes is exactly the de Rham cohomology of the scheme itself.</p> <p>[One interesting consequence however of the theorems on integral transforms is that in the equivariant setting -- ie on stacks -- the Hochschild cohomology is bigger: you get the de Rham cohomology not of your original space but of its inertia groupoid (aka derived loop space) - ie you see "twisted sectors", cohomology of the stabilizer groups of the points in X..]</p> http://mathoverflow.net/questions/97097/hochschild-cohomology-of-differential-operators-in-characteristic-0/97267#97267 Answer by David Jordan for Hochschild Cohomology of Differential Operators in characteristic 0 David Jordan 2012-05-17T23:47:10Z 2012-05-17T23:47:10Z <p>Hi,</p> <p>This is an instance of a more general fact concerning deformation quantization of symplectic varieties. The general theorem is:</p> <p><code>Let $X$ be an symplectic manifold, and let $A_\hbar$ be any quantization of the Poisson algebra $(C^\infty(X), \{, \})$</code>. Then we have $HH^*(A_\hbar)\cong H_{DR}^*(X)$.</p> <p>See the paper:</p> <p>Hochschild cohomology and Characteristic Classes by Weinstein and Xu</p> <p>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.</p> <p>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 <code>$HH^*(D_M)\cong H_{DR}^*(T^*M)\cong H_{DR}^*(M)$</code>, since $T^*M$ contracts onto $M$.</p>