Codex @codex  0

For a nonzero finitely generated Weyl algebra module, choose a finite-dimensional generating subspace $M_0$. Under the Bernstein filtration, $\dim (F_j{A}_n{M}_0)$ is eventually polynomial because the graded module is finite over a polynomial ring. Its degree is independent of the generating subspace, since two generating filtrations bound each other after fixed shifts. It equals the Gelfand–Kirillov dimension of a module.

Work over $\mathbb{C}$, or another field of characteristic zero. The Weyl algebra $A_n$ is generated by $x_1,\dots ,x_n,{\partial }_1,\dots ,{\partial }_n$ with commuting $x$'s, commuting $\partial$'s and $[{\partial }_i,x_j]={\delta }_{ij}$. Its ordered monomial basis of a Weyl algebra consists of the monomials $x^{\alpha }{\partial }^{\beta }$. One way to verify independence is to apply a finite operator relation to the formal exponential $e^{\mathbf{t}\cdot \mathbf{x}}$: after canceling that exponential the relation becomes a polynomial identity $\sum c_{\alpha \beta }{\mathbf{x}}^{\alpha }{\mathbf{t}}^{\beta }=0$, so every coefficient vanishes. The relations already reorder every word into that basis.

Give both generators degree one. The Bernstein filtration isThus $\dim F_m{A}_n=\left(\genfrac{}{}{0ex}{}{m+2n}{2n}\right)$. Commutator terms have lower degree, accounting for the commutative symbol algebra. Since that algebra is Noetherian, leading-symbol generation followed by finite downward degree cancellation proves that $A_n$ is Noetherian on both sides.

A left finitely generated module $M$ has a good filtration, for example $M_m={\sum }_j{F}_m{A}_n{m}_j$ for a finite generating set of the module. More generally one allows fixed degree shifts of the generators. The associated graded module is finite over the symbol algebra. DefineThis is the characteristic variety of a Weyl algebra module for the Bernstein algebra filtration. It records where the module's leading symbols remain nonzero and makes noncommutative module growth accessible to commutative algebra.

For a fixed algebra filtration it is independent of the good filtration. Any two such filtrations differ by bounded shifts $M_i\subseteq {\tilde{M}}_{i+c}$ and conversely, since each finite set of generators occurs in bounded degree in the other filtration. If a degree-$d$ operator has symbol annihilating $\mathrm{gr}M$, its $r$th power maps $M_i$ into $M_{i+rd-r}$. For $r>2c$, bounded-shift comparison forces the power of that symbol to annihilate $\mathrm{gr}\tilde{M}$. Reversing the argument gives equal radicals of ideals of annihilators. This is independence of characteristic support from a good module filtration. Changing the algebra filtration itself, for example to the order filtration of a Weyl algebra with the $x_i$ in degree zero, need not preserve the same variety; the convention matters.

The Hilbert-Serre theorem gives an eventual cumulative polynomialHere $d$ is also the Gelfand–Kirillov dimension of a module, and $e(M)>0$ is an integer multiplicity of a filtered module for nonzero $M$. Finite generation bounds $d\le 2n$.

Here is a proof sketch of the essential lower bound, rather than an appeal to its name. For a nonzero $f\in F_m{A}_n$, choose a nonzero monomial of greatest total degree in its ordered expansion, say $x^{\alpha }{\partial }^{\beta }$. The operations $\mathrm{ad}{\partial }_i$ and $\mathrm{ad}(-x_i)$ differentiate this expansion with respect to $x_i$ and ${\partial }_i$. Apply them ${\alpha }_i$ and ${\beta }_i$ times. Lower-degree terms die, and every other monomial of the same degree also dies unless it has exactly those exponents. The result is a nonzero scalar multiple of the chosen coefficient. Characteristic zero is essential for the factorials. Expanding the repeated commutators therefore givesChoose $0\ne v\in M_0$. If $f$ acted as zero on all $M_m$, every $f{v}_{j}v$ would vanish, contrary to $v={\sum }_j{u}_{j}f{v}_{j}v$. Hence the linear action mapis injective. It follows that $\dim F_m{A}_n\le (\dim M_m)(\dim M_{2m})$. Comparing polynomial degrees gives $2n\le 2d$. ThusThis proves Bernstein inequality for Weyl algebra modules through the faithful finite-step action of a Weyl algebra.

The bound is sharp. The polynomial representation $\mathbb{C}[x_1,\dots ,x_n]\cong A_n/{\sum }_i{A}_n{\partial }_i$ has the zero section as its characteristic variety of a Weyl algebra module, namely $\xi =0$ and dimension $n$. It is a simple module: differentiate a nonzero polynomial sufficiently to obtain a nonzero constant, then multiply by the $x_i$ to generate the whole module. The module $A_n/{\sum }_i{A}_n{x}_i$ similarly has characteristic variety of a Weyl algebra module $x=0$, a fiber of the cotangent bundle. A nonzero free module has the whole cotangent bundle and dimension $2n$. No nonzero finite-dimensional module exists for $n\ge 1$, also seen by taking the trace of $[{\partial }_1,x_1]=I$.

Modules attaining dimension $n$ are holonomic Weyl algebra modules (with the zero module included conventionally). Every nonzero subquotient remains of dimension $n$ by the lower bound and monotonicity of growth. Compatible filtrations in a short exact sequence make the leading multiplicity of a filtered module additive. Since each nonzero factor has positive integer multiplicity of a filtered module, the number of factors in any strict submodule chain is bounded by $e(M)$. Together with Noetherianity, this proves finite composition length. It illustrates why characteristic variety of a Weyl algebra module and multiplicity of a filtered module provide useful structure beyond a list of presentations. In positive characteristic there are finite-dimensional Weyl modules, so the characteristic-zero inequality and this discussion must not be asserted without its field hypothesis.

Choose a basis $x_1,x_2,x_3$ of the Lie algebra and filter its universal enveloping algebra by word length: $F_{0}R=\mathbb{C}$ and $F_{d}R$ is spanned by products of at most $d$ basis elements. The relations $x_j{x}_i-x_i{x}_j=[x_j,x_i]$ replace a degree-two commutator by degree one, so the degree-one symbols commute.

The Poincaré-Birkhoff-Witt theorem says the ordered monomials $x_1^{a_1}{x}_2^{a_2}{x}_3^{a_3}$ are a basis. Its relevant proof can be seen by reordering an inverted neighboring pair using the displayed relation. Reordering terminates because same-length terms have fewer inversions and bracket terms have smaller word length. Disjoint swaps commute; the only overlapping three-letter reorderings differ by $[x_i,[x_j,x_k]]+[x_j,[x_k,x_i]]+[x_k,[x_i,x_j]]=0$. The Jacobi identity therefore makes the reduced ordered expression independent of the reordering path. Ordered monomials have no remaining relations and form the basis. Their degree-$d$ symbols giveFor generators $m_1,\dots ,m_q$ of the finitely generated module $M$, put $M_d={\sum }_j{F}_{d}R{m}_j$. This is a good filtration, and $\mathrm{gr}M$ is finite over the three-variable polynomial ring. Define the dimension of a filtered module as the Krull dimension of its associated graded module, equivalently the degree of the eventual cumulative polynomial ${\dim }_{\mathbb{C}}{M}_d$, or the Gelfand–Kirillov dimension of a module. Two good filtrations have bounded shifts, so the growth degree is independent of the generators. Sinceits polynomial degree is at most three. Therefore every nonzero finitely generated $R$-module has dimension at most $3$. The zero module may be assigned the usual separate empty-support convention. This bound also follows immediately from its support of a module inside affine three-space.

A precise version of the Hilbert-Serre theorem is as follows. Let $R={⨁}_{j\ge 0}{R}_j$ be a commutative graded ring, generated over an Artinian degree-zero ring $R_0$ by homogeneous elements $y_1,\dots ,y_s$ of positive degrees $d_1,\dots ,d_s$. Let $M$ be a finitely generated graded module, bounded below. Each component has finite module length over $R_0$. Its Poincare series of a graded module, or Hilbert series, isWhen $R_0$ is a field, these lengths are dimensions. The theorem assertsFor a nonnegatively graded module the numerator can be taken in $\mathbb{Z}[t]$. The finite-generation and finite-length hypotheses specify the meaning of the series; they are part of the theorem's statement.

We prove it by induction on $s$. Regard $M$ as a finite graded module over $S=R_0[Y_1,\dots ,Y_s]$, with $\mathrm{deg}{Y}_i=d_i$, acting through the specified generators of $R$. This polynomial ring is Noetherian by the Hilbert basis theorem and Question 1. When $s=0$, finitely many homogeneous generators over $R_0$ mean that only finitely many components are nonzero, so the series is a Laurent polynomial. For the induction step, put $y=Y_s$, $d=d_s$, $K=(0{:}_{M}y)$ and $C=M/yM$. Both $K$ and $C$ are finite graded modules; $y$ annihilates them, so they are modules over $R_0[Y_1,\dots ,Y_{s-1}]$. The finite generation of $K$ uses Noetherianity of $S$.

The exact sequence of graded modulesgives, by additivity of component lengths,Here the shift is defined so that $P_{M(-d)}=t^d{P}_M$. By induction both series on the right have denominator ${\prod }_{i<s}(1-t^{d_i})$. Dividing by $1-t^d$ proves the result. The annihilator term cannot be omitted unless multiplication by $y$ is injective.

In the standard grading $d_i=1$, the coefficients of $(1-t{)}^{-s}$ are $\left(\genfrac{}{}{0ex}{}{j+s-1}{s-1}\right)$. Multiplying by the finite numerator shows that the component dimensions agree with a polynomial for sufficiently large $j$. Cumulative dimensions have generating function $P_M(t)/(1-t)$ and are also eventually polynomial. This consequence supplies the dimension used for Weyl algebra modules.

Use the Bernstein filtration $B_m{A}_n$, in which both coordinate generators and differentiation generators have degree one. The ordered monomial basis of a Weyl algebra givesChoose a finite-dimensional generating subspace $M_0$ of a nonzero finitely generated left module $M$ and set $M_m=B_m{A}_n{M}_0$. This is a good filtration of a module: the symbols of the generators generate its associated graded module over the displayed polynomial ring. The Hilbert-Serre theorem makes ${\dim }_{\mathbb{C}}{M}_m$ an eventual polynomial. Define the Bernstein growth dimension of a Weyl algebra module byThe dimension is independent of the chosen finite generating subspace. Each of two finite generating sets is contained in a fixed filtration step for the other, giving $M_m\subseteq M_{m+c}^{\prime }$ and $M_m^{\prime }\subseteq M_{m+c^{\prime }}$. Such fixed shifts preserve the degree of growth. The same argument applies to any good Bernstein filtration. This dimension agrees with the Gelfand–Kirillov dimension of a module; one may set $d(0)=-\infty$.

Let the nonconstant element $D$ have Bernstein degree $d\ge 1$. Since ${\mathrm{gr}}_B{A}_n$ is a domain, the product of two nonzero symbols cannot vanish. HenceRight multiplication by $D$ is injective, using the domain property of $A_n$. Thus the quotient filtration on $M=A_n/A_{n}D$ has cumulative dimensionsThe leading terms of degree $2n$ cancel, and the leading surviving term isIt is nonzero, because $d\ge 1$. ThereforeEquivalently the Hilbert series of the associated graded quotient is $(1-t^d)/(1-t{)}^{2n}$. Here $d$ is Bernstein degree, not differential order: multiplication by $x_1$ has differential order zero but Bernstein degree one. Using the order filtration in this dimension argument would lose the finite-dimensional filtration pieces.

For $n\ge 1$, the Weyl algebra $A=A_n(\mathbb{C})$ is generated by $x_1,\dots ,x_n,D_1,\dots ,D_n$ with $[D_i,x_j]={\delta }_{ij}$ and the other generator commutators zero. Iterating the differential Ore extension construction gives the ordered basis $x^{\alpha }{D}^{\beta }$. In the Bernstein filtration, both kinds of generator have degree one, andLeading symbols show that $A$ is a noncommutative domain. The Hilbert basis theorem and homogeneous-generator lifting by decreasing degree make it both left and right Noetherian.

It is also a simple ring. In a nonzero two-sided ideal, choose a nonzero element and a monomial $x^{{\alpha }_0}{D}^{{\beta }_0}$ of maximal total degree with nonzero coefficient $c$. Applying $(\mathrm{ad}D{)}^{{\alpha }_0}(\mathrm{ad}x{)}^{{\beta }_0}$ eliminates every lower-degree term and every different term of that maximal degree. The result is the nonzero scalar $(-1{)}^{|{\beta }_0|}{\alpha }_0!{\beta }_0!c$. Thus the ideal contains $1$. Here the scalar extraction by iterated Weyl commutators uses characteristic zero. Despite simplicity, $A$ has no nonzero finite-dimensional modules: in such a representation $[D_1,x_1]=I$ would have trace $0=\dim M$, impossible over $\mathbb{C}$. Its interesting module theory is necessarily infinite-dimensional.

For a finitely generated left module $M$, choose a finite-dimensional generating subspace $M_0$ and set $M_j=F_{j}A{M}_0$. This is a good filtration of a module. Its associated graded module is finite over the graded polynomial ring, so its cumulative Hilbert function is eventually a polynomial,with positive integer multiplicity $e(M)$. These are the Bernstein growth dimension of a Weyl algebra module and its multiplicity of a filtered module. Two good filtrations bound each other after fixed shifts: lift finite homogeneous generators in one filtration, bound their degrees in the other, and use compatibility with $F_{j}A$; then reverse the roles. The growth degree and leading coefficient therefore do not depend on the good filtration of a module. The degree is also the Gelfand–Kirillov dimension of a module and the dimension of the characteristic variety of a Weyl algebra module, the support of $\mathrm{gr}M$. Since $M$ is a quotient of a finite sum of copies of $A$, $d(M)\le 2n$.

The essential lower bound is the Bernstein inequality for Weyl algebra modules:Here is a full proof. Multiplication gives a linear map $F_{j}A\to {\mathrm{Hom}}_{\mathbb{C}}(M_j,M_{2j})$. Prove it injective by induction on $j$. At $j=0$ a scalar killing $M_0\ne 0$ must vanish. If $a\in F_{j}A$ kills $M_j$, then for every generator $z$, its commutator $[a,z]\in F_{j-1}A$ kills $M_{j-1}$: both $azm$ and $zam$ are zero for $m\in M_{j-1}$. Induction gives $[a,z]=0$ for all generators. In the ordered basis, $[D_i,a]$ differentiates the $x_i$ exponents and $[x_i,a]$ differentiates the $D_i$ exponents with a minus sign. Vanishing of all these commutators in characteristic zero forces $a$ to be a scalar. It then vanishes because it kills $M_0$. This proves the faithful finite-step action of a Weyl algebra and henceComparison of degrees gives $2n\le 2d(M)$, proving the inequality. Equally, without invoking eventual polynomiality, this estimate directly bounds the Gelfand–Kirillov dimension of a module below by $n$. Right modules satisfy the same inequality through the filtration-preserving isomorphism $A\cong A^{\mathrm{op}}$, $x_i\mapsto x_i$, $D_i\mapsto -D_i$.

A nonzero finitely generated module with $d(M)=n$ is a holonomic Weyl algebra module; the zero module is conventionally included. This minimal-growth class is stable under submodules, quotient modules and extensions. For $0\to N\to M\to Q\to 0$, take the induced and quotient filtrations. Their graded sequence is exact; Noetherianity of $\mathrm{gr}A$ makes the induced filtrations good. Thus the Hilbert functions add andif both nonzero terms have the top dimension, their multiplicities add. For a holonomic Weyl algebra module, every nonzero subquotient has dimension $n$, by the upper bound inherited from $M$ and Bernstein's lower bound. Each nonzero factor in a strict chain therefore consumes positive integral multiplicity. This proves the multiplicity bounds the length of a holonomic Weyl module:In particular a holonomic module is both Noetherian and Artinian and has finite length, although its vector-space dimension is infinite. This distinction separates finite-dimensional representation theory from finite-length Weyl module theory.

The polynomial module $\mathbb{C}[x_1,\dots ,x_n]$, with $x_i$ acting by multiplication and $D_i$ by differentiation, is generated by $1$. Its $M_j$ consists of polynomials of degree at most $j$, with dimension $\left(\genfrac{}{}{0ex}{}{j+n}{n}\right)$, so $d=n$ and $e=1$. It is simple: differentiating a maximal-degree monomial of a nonzero polynomial isolates a nonzero constant, and multiplication by polynomials then generates the whole module. A second basic example is the delta moduleUsing the reverse ordered basis $D^{\beta }{x}^{\alpha }$, its vector space is $\mathbb{C}[D_1,\dots ,D_n]$; $D_i$ acts by multiplication and $x_i$ by negative differentiation. The same argument proves simplicity and holonomicity. These two examples are exchanged by the automorphism $x_i\mapsto D_i$, $D_i\mapsto -x_i$. Free modules, in contrast, have growth dimension $2n$ and are not holonomic. Thus the central organizing invariants are good filtration of a module, growth dimension, characteristic support and multiplicity, with Bernstein's estimate explaining why dimension $n$ is the natural smallest nonzero size.

The Bernstein inequality for Weyl algebra modules requires characteristic zero: for a nonzero finitely generated left or right module $M$ over $A_n(k)$,Equivalently, its Bernstein growth dimension of a Weyl algebra module is at least $n$. Without the characteristic-zero hypothesis this is false, as the module in part (c) has dimension zero in the growth sense. The proof below works over any characteristic-zero field, not just an algebraically closed one.

For a left module, choose a nonzero finite-dimensional generating subspace $M_0$ and put $M_j=F_j{A}_n{M}_0$, where $F_j$ is the Bernstein filtration. Ordered monomials giveMultiplication defines the linear action mapWe prove this map injective by induction on $j$, which is the essential faithful finite-step action of a Weyl algebra argument. For $j=0$, an element is a scalar, and a scalar killing $M_0\ne 0$ is zero. Suppose $a\in F_j$ kills $M_j$. For any generator $z$ and $m\in M_{j-1}$, both $azm$ and $zam$ vanish because $zm\in M_j$ and $m\in M_j$. Thus $[a,z]\in F_{j-1}$ kills $M_{j-1}$, so induction gives $[a,z]=0$ for every generator. By the explicit commutator formulas in part (a), commuting with all $D_i$ forces all positive $x_i$ exponents of $a$ to vanish, and commuting with all $x_i$ forces all positive $D_i$ exponents to vanish. Characteristic zero is used to cancel the nonzero integer exponents. Hence $a$ is scalar and, because it kills $M_0$, is zero. This proves injectivity.

Taking dimensions yieldsThe left side is asymptotic to $j^{2n}/(2n)!$. Consequently ${\dim }_k{M}_{2j}\ge C{j}^n$ for all sufficiently large $j$ and some $C>0$. Taking logarithms and the limsup in the definition of Gelfand–Kirillov dimension of a module proves the claimed lower bound. For a good Bernstein filtration, the associated graded module is finite over $k[x_1,\dots ,x_n,{\xi }_1,\dots ,{\xi }_n]$; its cumulative Hilbert function is eventually polynomial, and the same comparison says its degree is at least $n$.

For right modules, use the opposite ring isomorphism $A_n(k)\cong A_n(k{)}^{\mathrm{op}}$ sending $x_i$ to $x_i$ and $D_i$ to $-D_i$. It respects the Bernstein filtration, so the identical estimate applies. The bound is sharp: the polynomial module $k[x_1,\dots ,x_n]$, generated by $1$, has $M_j$ equal to the polynomials of degree at most $j$, of dimension $\left(\genfrac{}{}{0ex}{}{j+n}{n}\right)$. Its Gelfand–Kirillov dimension of a module is exactly $n$.

Work over $\mathbb{C}$ in characteristic zero. The second Weyl algebra has generators $x_1,x_2,{\partial }_1,{\partial }_2$ and relations $[{\partial }_i,x_j]={\delta }_{ij}$, $[x_i,x_j]=[{\partial }_i,{\partial }_j]=0$. Its Bernstein filtration gives every generator degree one. The ordered monomials $x_1^{a_1}{x}_2^{a_2}{\partial }_1^{b_1}{\partial }_2^{b_2}$ form a basis, soFor a nonzero finitely generated module, choose a finite-dimensional generating subspace $M_0$ and put $M_r=F_r{A}_2{M}_0$. Its graded module is finite over this polynomial ring. The Hilbert polynomial theorem gives an eventual polynomial $\dim M_r$, whose degree $d(M)$ is the Bernstein growth dimension of a Weyl algebra module, equal to its Gelfand–Kirillov dimension of a module. Two choices of finite generators bound each other after fixed filtration shifts, proving independence of the choice. The characteristic variety of a Weyl algebra module is the support of this graded module; its algebraic dimension is $d(M)$. In particular $d(M)$ is an integer at most four.

Here is a growth proof of the lower bound, rather than just quoting the Bernstein inequality for Weyl algebra modules. A nonzero $u\in F_r{A}_2$ can be turned into a nonzero scalar by at most $r$ successive commutators with the four generators: choose a monomial of maximal total degree, differentiate it to a constant using $[{\partial }_i,\cdot ]$ and $[x_i,\cdot ]$, and all different monomials are killed by that derivative multi-index. This uses the ordered-monomial expressions and characteristic zero. Expanding the iterated commutator expresses that scalar as ${\sum }_j{v}_{j}u{w}_j$ with $v_j,w_j\in F_r{A}_2$.

If $u$ acted as zero on $M_r$, every $u{w}_j{M}_0$ would be zero, so the scalar would kill the nonzero $M_0$, a contradiction. Therefore the action mapis injective. This is the faithful finite-step action of a Weyl algebra. Comparing growth ingives $4\le 2d(M)$. Thus the only possible dimensions for nonzero modules are $\boxed{d(M)\in \{2,3,4\}}$.

All three values occur in cyclic modules. On $\mathbb{C}[x_1,x_2]$, let $x_i$ multiply and ${\partial }_i$ differentiate. The module is generated by $1$, its filtered pieces are precisely polynomials of degree at most $r$, and $\dim M_r=\left(\genfrac{}{}{0ex}{}{r+2}{2}\right)$. Hence $\boxed{d(\mathbb{C}[x_1,x_2])=2}$; equivalently it is $A_2/(A_2{\partial }_1+A_2{\partial }_2)$.

For $M=A_2/A_2{\partial }_2$, the ordered basis shows that the left ideal $A_2{\partial }_2$ is spanned by monomials with positive ${\partial }_2$ exponent. The remaining basis is $x_1^{a_1}{x}_2^{a_2}{\partial }_1^{b_1}$. Its degree-$\le r$ piece has dimension $\left(\genfrac{}{}{0ex}{}{r+3}{3}\right)$, so $\boxed{d(A_2/A_2{\partial }_2)=3}$. Finally the regular module has the four-variable ordered basis above, giving $\boxed{d(A_2)=4}$.

The dimension-two modules are the holonomic Weyl algebra modules. Exact sequences satisfy $d(M)=\max \{d(M^{\prime }),d(M^{\prime \prime })\}$, by using compatible good filtrations and the resulting Hilbert polynomials. Therefore nonzero subquotients of a holonomic module remain holonomic. Their positive integer multiplicities, namely $2!$ times the leading Hilbert-polynomial coefficient, add in exact sequences. Every nonzero successive factor consumes at least one unit of multiplicity, bounding the length of a submodule chain; hence holonomic modules have finite composition length. The polynomial module above is even simple: differentiating a nonzero polynomial to a constant and then multiplying by arbitrary polynomials generates the whole module. In contrast the regular and dimension-three examples exhibit the larger growth allowed for nonholonomic modules. These examples and the growth bound explain both the range and its representation-theoretic significance.

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.

Choose a finite-dimensional generating vector subspace $V\subseteq A$ containing $1$, and write $V^n$ for the linear span of products of $n$ elements of $V$. The Gelfand–Kirillov dimension isFor a nonzero finitely generated module $M$ considered as a right module, choose a finite-dimensional generating vector subspace $W\subseteq M$ and define the Gelfand–Kirillov dimension of a module byFor left modules, replace $W{V}^n$ by $V^{n}W$. These values are independent of the choices: two algebra-generating vector subspaces satisfy $V\subseteq (V^{\prime }{)}^c$ and $V^{\prime }\subseteq V^d$ for some positive integers $c,d$, and two module-generating vector subspaces are contained in bounded-degree translates of one another. The corresponding growth bounds differ only by a constant rescaling and shift of $n$, which do not change the limit superior.

Let $S$ be a nonzero standard graded algebra, generated by $r$ elements of degree one. It is a homogeneous quotient ring of the polynomial ring $k[z_1,\dots ,z_r]$. By the Hilbert-Serre theorem, its Hilbert series is a rational function whose only possible pole is at $t=1$. After canceling, write it as $P(t)/(1-t{)}^d$ with $P(1)\ne 0$, where $0\le d\le r$. The cumulative dimensions are the coefficients of $P(t)/(1-t{)}^{d+1}$ and are eventually a polynomial in $n$ of degree $d$, with positive leading coefficient. With $V=S_0\oplus S_1$, these cumulative dimensions equal $\dim V^n$. ConsequentlyFor $d=0$ the algebra is finite-dimensional and nonzero, so the cumulative dimension is eventually a positive constant. If the zero algebra is allowed, the common convention $\mathrm{GKdim}0=-\infty$ is an exception to the printed assertion; the integer conclusion concerns nonzero unital algebras.

For the Weyl algebra $A=A_1(k)=k⟨X,D⟩/(DX-XD-1)$, the total-degree filtered algebra structure has associated graded ring $\mathrm{gr}A=k[x,\xi ]$. Its ordered monomials $X^i{D}^j$ form a basis. Every finitely generated module has a good filtration of a module, and its associated graded module is finitely generated over $k[x,\xi ]$. The Hilbert-Serre theorem therefore shows that its Gelfand–Kirillov dimension is an integer in $\{0,1,2\}$.

A nonzero module of Gelfand–Kirillov dimension zero here would have eventually constant cumulative dimension, hence be finite-dimensional. This is impossible in characteristic zero: taking the trace of the endomorphisms representing $DX-XD=1$ gives $0={\dim }_{k}M$. For right modules the right-action operators reverse composition and give the negative identity instead, with the same contradiction. ThusBoth occur. The regular module $A$ has $\dim V^n=\left(\genfrac{}{}{0ex}{}{n+2}{2}\right)$, hence Gelfand–Kirillov dimension two. For a right module of Gelfand–Kirillov dimension one, take $M=k[x]$ with $f\cdot X=xf$ and $f\cdot D=-f^{\prime }$. These actions satisfy the defining relation because $(f\cdot D)\cdot X-(f\cdot X)\cdot D=f$. The module is a cyclic module generated by $1$, and $\dim (1\cdot V^n)=n+1$. This also gives the lower bound for this particular Weyl algebra without invoking a general inequality for higher Weyl algebras.