On algebras which resemble the local Weyl algebra (Q1802975): Difference between revisions

Let \(K\) be an algebraically closed field of characteristic zero and let \(\widehat{\mathcal O}_n(K)=K[[x_1,\dots,x_n]]\) be the formal power series ring over \(K\) in \(n\) variables. According to Björk, we denote by \(\widehat{D}_n(K)\) the subring of \(\text{End}_K(\widehat{\mathcal O}_n(K))\) generated over \(K\) by the left multiplications by elements of \(\widehat{\mathcal O}_n(K)\) and partial differentials \(\partial_i=\partial/\partial x_i\), \(\widehat{D}_n(K)=\widehat{\mathcal O}_n(K)\langle\partial_1,\dots,\partial_n\rangle\) where \(\partial_ix_j-x_j\partial_i=\delta_{ij}\) (Kronecker's delta) and \(\partial_i\partial_j=\partial_j\partial_i\). The ring \(\widehat{D}_n(K)\), called the local Weyl algebra, has the \(\Sigma\)- filtration \(\{\Sigma_v\}_{v\geq 0}\) such that \(\Sigma_0=\widehat{\mathcal O}_n(K)\) and \(\Sigma_v=\{\sum_\alpha f_\alpha\partial^\alpha:f_\alpha\in{\mathcal O}_n(K)\) and \(\partial^\alpha=\partial_1^{\alpha_1}\cdots\partial_n^{\alpha_n}\) with \(|\alpha|=\alpha_1+\cdots+\alpha_n\leq v\}\) and that the associated graded ring \(\text{gr}_\Gamma(\widehat{D}_n(K))\) is a polynomial ring over \(\widehat{\mathcal O}_n(K)\) in \(n\) variables. Moreover, \(\widehat{D}_n(K)\) has weak global dimension \(n\), i.e., \(\text{w.gl.dim}(\widehat{D}_n(K))=n\). These are ring-theoretic, algebraic properties which the local Weyl algebra \(\widehat{D}_n(K)\) has. In the present article, we consider whether or not these properties are sufficient to characterize the ring \(\widehat{D}_n(K)\). For this purpose, we introduce the notion of pre- \(W\)-algebra and \(W\)-algebra and show that a \(W\)-algebra, which satisfies the above-listed properties of \(\widehat{D}_n(K)\) and one additional condition, i.e., \(L=\Sigma_1/\Sigma_0\) is essentially abelian, is realized as a subalgebra of some \(\widehat{D}_n(K)\).