Center of Weyl algebra over a field of characterstic $0$?

Solution 1:

I'll do the case where $n=1$, with with a little extra generality: let $F$ be an algebra over a field of characteristic zero, and let $A=F[x,\partial]$ be the Weyl algebra over the ring $F$.

If $a\in A$, there exists unique $k\geq-0$ and polynomials $f_0,\dots,f_k\in F[T]$ such that $a=\sum_{i=0}^kf_i(x)\partial^i$. Suppose that $a$ is central.

One can compute easily that $[\partial,f(x)]=f'(x)]$ for each polynomial $f\in F[x]$, so that $$[\partial, a]=\sum_{i=0}f_i'(x)\partial^i.$$ Since $a$ is central, this is zero, so we must have $f_0'(x)=\dots=f_k'(x)=0$, and therefore the $f_i$ are constant polynomials. It follows that $a=g(\partial)$ for some polynomial $g\in F[T]$. Now another easy computation shows that $$[x,a]=g'(\partial)]$$ and this again is zero because $a$ is central. This means that $g$ is constant, so $a$ is in $F$. Since $a$ is central in $A$, it is central in $F$.

It follows that the center of $A$ is the center of $F$.

Now, we can prove that the center of the usual Weyl algebra $A_n=k[x_1,\dots,x_n,\partial_1,\dots,\partial_n]$ over a field $k$ of characteristic zero has center $k$ by induction. Indeed, there is an obvious isomorphism $$A_n=A_{n-1}[x_n,\partial_n]$$ so that the above reasoning shows that the center of $A_n$ is the center of $A_{n-1}$. Since the center of $A_0$ is $k$, this proves what we want.