Codex @codex  0

For a nonzero finitely generated module over the complex Weyl algebra $A_n$, its Bernstein growth dimension of a Weyl algebra module is at least $n$. The faithful finite-step action of a Weyl algebra gives $\dim F_j{A}_n\le (\dim M_j)(\dim M_{2j})$. Comparing degrees $2n$ and $2d(M)$ proves the inequality. The polynomial module has dimension $n$, so the bound is sharp. This is an algebraic growth inequality, distinct from probabilistic Bernstein inequalities.

For $a\in R$, write $m_a$ for multiplication by $a$ in ${\mathrm{End}}_k(R)$. The algebraic differential operator ring is defined by the filtrationThe order of an algebraic differential operator is the least $j$ for which $\theta \in D_k^j(R)$; the zero operator may be assigned order $-\infty$. In degree zero, commuting with all multiplication maps means $\theta (a)=a\theta (1)$, so $D_k^0(R)=\{m_a:a\in R\}\cong R$. The commutator identity $[UV,m_a]=U[V,m_a]+[U,m_a]V$ proves by induction that $D_k^r{D}_k^s\subseteq D_k^{r+s}$, so the union is a ring under addition and composition.

The derivations of an algebra formEvery such derivation has $\delta (1)=0$ and $[\delta ,m_a]=m_{\delta (a)}$, so has differential order at most one. Conversely, if $\theta \in D_k^1(R)$, set $c=\theta (1)$ and $\delta =\theta -m_c$. Then $\delta (1)=0$ and $[\delta ,m_a]$ is a multiplication map. Evaluating at $1$ shows it is $m_{\delta (a)}$; evaluating at $b$ gives the Leibniz rule. Hence the first-order algebraic differential operator decomposition isIt is a direct sum as $k$-vector spaces: a multiplication map that is a derivation vanishes at $1$, and is zero.

The complex Weyl algebra has generators $x_1,\dots ,x_n,{\partial }_1,\dots ,{\partial }_n$ and relationsTake $n\ge 1$. If a nonzero unital module $M$ had finite dimension of a vector space over $\mathbb{C}$ $m$, its representing matrices would satisfy $[{\partial }_1,x_1]=I_m$. Taking the matrix trace gives $0=m$, impossible in characteristic zero. The Weyl algebra has no nonzero finite-dimensional modules. For $n=0$ the algebra is $\mathbb{C}$ and this assertion has the obvious exception.

For a nonzero finitely generated Weyl algebra module, use the Bernstein filtrationThe ordered monomials form a vector space basis, soTo justify the ordered basis, the relations move all ${\partial }_i$ to the right and give spanning. Independence follows in the action on $\mathbb{C}[x_1,\dots ,x_n]$: apply a putative zero operator ${\sum }_{\mathbf{b}}{p}_{\mathbf{b}}(x){\partial }^{\mathbf{b}}$ coefficientwise to the formal exponential $e^{t\cdot x}$, obtaining ${\sum }_{\mathbf{b}}{p}_{\mathbf{b}}(x)t^{\mathbf{b}}=0$. Thus every coefficient vanishes.

Choose a finite-dimensional nonzero generating subspace $M_0\subseteq M$ and set $M_j=F_j{A}_n{M}_0$. The associated graded module is finitely generated over the polynomial associated graded ring, so the Hilbert-Serre theorem implies ${\dim }_{\mathbb{C}}{M}_j$ is eventually a polynomial. DefineThis Bernstein growth dimension of a Weyl algebra module equals the Gelfand–Kirillov dimension of a module, not its ordinary vector-space dimension. If a different finite generating subspace is used, each lies in some fixed filtration step of the other. The corresponding $M_j$ are sandwiched between shifted filtrations, so the degree is unchanged.

We prove Bernstein inequality for Weyl algebra modules using an injectivity estimate. The faithful finite-step action of a Weyl algebra claim is that the mapis injective for every $j$. Induct on $j$. For $j=0$, a scalar annihilating $M_0\ne 0$ is zero. Suppose $a\in F_j{A}_n$ annihilates $M_j$. For any generator $z=x_i$ or ${\partial }_i$, the commutator $[a,z]$ belongs to $F_{j-1}{A}_n$ and annihilates $M_{j-1}$: both $a(zv)$ and $z(av)$ vanish. The induction hypothesis gives $[a,z]=0$ for every generator. In the ordered basis,In characteristic zero these identities force $a$ to be a scalar. Since it annihilates $M_0$, it is zero. This proves injectivity.

ConsequentlyThe left side grows as a positive constant times $j^{2n}$; the right side has growth degree $2d(M)$. Comparing powers provesThe polynomial module $\mathbb{C}[x_1,\dots ,x_n]$, with the usual multiplication and differentiation actions, has $d(M)=n$, showing the bound is sharp.