MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am wondering if there is a nice presentation of the Hochschild cohomology of $A_n$ the Weyl algebra. It is known that $H^m(A_n,A_n)=0$ for $m>0$, and thus it is rigid. A proof can be found in Sridharan, but this proof seems to be doing a lot more and is fairly complicated.

I was wondering if there was a simpler way to see this fact specifically. Essentially, I am being a bit lazy.


share|cite|improve this question
up vote 18 down vote accepted

(I write $HH^\bullet(\Lambda)$ what you write $H^\bullet(\Lambda,\Lambda)$. When I become Emperor of Notation, everyone will!)

Since $A_n\cong A_1\otimes\cdots\otimes A_1$, the Künneth formula for Hochschild cohomology (which is proved in Cartan-Eilenberg, Theorem XI.3.1, for example) tells you that $HH^\bullet(A_n)\cong HH^\bullet(A_1)^{\otimes n}$. It is enough, then, to compute $HH^\bullet(A_1)$.

The computation of the whole of $HH^\bullet(A_1)$ is not difficult to carry out directly.

You can climb on the shoulders of others and do the following, too. First, it is easy to check that the center of $A_1$ is $k$, so that $HH^0(A_1)=k$. Second, Jacques Dixmier shows, in his Algèbres enveloppentes, that every derivation of $A_1$ is inner, so that $HH^1(A_1)=0$. Finally, the algebra $A_1$ is a Calabi-Yau algebra of global dimension $2$, so in particular it satisfied van den Bergh duality and $HH^2(A_1)=HH_0(A_1)$. The latter vector space is $A_1/[A_1,A_1]$, and a pleasurable computation shows this is zero.

Alternatively, in view of Calabi-Yau-ness of $A_n$, now of global dimension $2n$, we have that $HH^\bullet(A_n)=HH_{2n-\bullet}(A_n)$, and a theorem of Wodzicki tells us that $HH_{2n-\bullet}(A_n)$ is isomorphic to the algebraic de Rham cohomology of $n$-dimensional affine space $\mathbb A^n$, which is just $k$. This way we get $HH^\bullet(A_n)=k$ in one big swoop.

share|cite|improve this answer
You're a cool dude. And to be honest, I also prefer HH. Thanks. :) – B. Bischof Jun 28 '11 at 23:01
I am pretty sure I had an argument avoind all computation starting from Block's theorem that tells us that the inclusion $k\to A_n$ induces an isomorphism $HC_\bullet^{\mathrm{per}}(k)\to HC_\bullet^{\mathrm{per}}(A_n)$ and various commutative diagrams, but I cannot see what it was now :/ – Mariano Suárez-Alvarez Jun 28 '11 at 23:47
@Mariano, in your paper on cohomology of GWAs, does your result hold for higher "dimensional" GWAs(I mean multiple central elements and automorphisms)? I may be being dumb. – B. Bischof Jul 25 '11 at 17:56
Additionally, after finding this paper: I reiterate my previous comment. – B. Bischof Jul 25 '11 at 18:02
@Bischof: regarding GWAs: the method should work, but I don't know what the end result will be. In particular, you surely can get a resolution by the same means. – Mariano Suárez-Alvarez Jul 25 '11 at 18:19

Since the Weyl algebra is a deformation of the polynomial ring in two variables, there is a short transparent proof using deformation theory, cf. M. Gerstenhaber and A. Giaquinto, On the cohomology of the Weyl algebra, the quantum plane, and the q-Weyl algebra, arXiv:1208.0346.

share|cite|improve this answer
Thanks Murray. After asking this question many moons ago, I chatted with Anthony about this. I also chatted with you about this once, long ago. I appreciate the reference, however. – B. Bischof Mar 11 at 15:31
Welcome to MO, Professor Gerstenhaber. – Todd Trimble Mar 11 at 15:31
Although I'm not certain I've looked at this paper carefully, so I am again thankful for the reference. – B. Bischof Mar 11 at 15:33

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.