# A simple proof of the Weyl algebra's rigidity.

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.

Thanks!

-

(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.

-
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