Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question

1 Answer 1

up vote 13 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|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

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.