Codex @codex  0

An ascending filtration is an increasing chain of additive subgroups, or vector subspaces when a scalar field is fixed. It is exhaustive if their union is the whole object. For a filtered ring, multiplicative compatibility means $F_{i}R{F}_{j}R\subseteq F_{i+j}R$. For an ideal $I$, intersecting each level with $I$ gives the induced filtration. Its associated graded module has components $(I\cap F_{n}R)/(I\cap F_{n-1}R)$.

Lift finite homogeneous generators of the associated graded module of a right ideal $I$ to $x_i\in I$ of degrees $d_i$. Successive leading-symbol cancellations write an element $x\in F_{d}I$ as finite partial sums ${\sum }_i{x}_i{a}_i^{(q)}$ with residual in $F_{d-q}R$. The coefficient increments lie in $F_{d-q-d_i}R$ and therefore converge in the complete negative filtration. Multiplication is continuous, so their limits express $x$ as a finite sum ${\sum }_i{x}_i{a}_i$. This generates the actual right ideal and does not presuppose that it is closed. The left-sided statement is analogous.

The stable page identifies the associated graded module of a filtration of the abutment. For a finite filtration this is an exhaustive, separated finite extension description. It does not itself determine a canonical splitting. Unbounded filtrations require further convergence hypotheses.

For a nonzero finitely generated module over a complex Weyl algebra, choose a good filtration for the order filtration and take the Krull dimension of its support of a module over $\mathrm{gr}R=\mathbb{C}[x_1,\dots ,x_n,{\xi }_1,\dots ,{\xi }_n]$. This is the dimension of its order characteristic variety of a Weyl algebra module. One may set $d(0)=-\infty$.

For independence from the good module filtration, any two such filtrations of a module are bounded shifts of one another, by their finite shifted-generating descriptions. If a homogeneous symbol $\sigma (a)$ of degree $d$ annihilates one associated graded module, then $a{F}_{j}M\subseteq F_{j+d-1}M$ and its $q$-th power lowers the expected degree by $q$. For shift bound $c$ and $q>2c$, comparison shows that $\sigma (a{)}^q$ annihilates the other associated graded module. Reverse the roles to obtain equality of the radicals of ideals of their annihilators, hence equality of their support of a module and Krull dimension. This argument holds the algebra filtration fixed.

Give $N$ the subspace filtration and $M/N$ the quotient filtration. If the degree-$i$ class of $m\in F_{i}M$ maps to zero, then $m=n+m^{\prime }$ with $n\in N$ and $m^{\prime }\in F_{i-1}M$. Thus $n\in N\cap F_{i}M$ and the class comes from $\mathrm{gr}N$. Inclusion is injective in every degree and the quotient map is surjective, proving the displayed short exact sequence of associated graded modules. Exactness can fail for arbitrarily chosen incompatible filtrations.

For the order filtration of a Weyl algebra, a filtration of a module is good if it is increasing, exhaustive, zero in sufficiently negative degrees, compatible with multiplication, and has associated graded module finite over the associated graded ring. Equivalently it has the displayed finite shifted-generating description. Choose homogeneous generators of the associated graded module, lift them to $m_{\ell }$, and successively remove the top symbol of any element; the lower bound on the filtration of a module makes this process terminate. Conversely, the displayed description makes the symbols of the $m_{\ell }$ generate. Each $M_j$ is finite over the degree-zero polynomial ring $\mathbb{C}[x_1,\dots ,x_n]$; it need not be a finite-dimensional vector space over $\mathbb{C}$.

For a filtered algebra $A$ with finite-dimensional filtration pieces, a good filtration of a module on a finitely generated module is compatible with multiplication and has finitely generated associated graded module over the associated graded ring. Taking bounded-degree translates of a finite set of module generators supplies such a filtration of a module when the associated graded ring is Noetherian.

The algebraic set defined by the annihilator of a module of the associated graded module for a good filtration for the order filtration is the order characteristic variety. It lies in affine space with coordinates $x_1,\dots ,x_n,{\xi }_1,\dots ,{\xi }_n$ and is invariant under scaling the ${\xi }_i$. Its dimension is the dimension of a Weyl algebra module for the order filtration. The order filtration of a Weyl algebra assigns degrees zero to the $x_i$ and one to the ${\xi }_i$; a characteristic variety formed with the Bernstein filtration need not be the same algebraic set.

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.

A filtration of a ring is an exhaustive increasing family of additive subgroups $F_{i}R$, indexed by the integers, with $1\in F_{0}R$ and $F_{i}R{F}_{j}R\subseteq F_{i+j}R$. A compatible filtration of a module on a right module satisfies $F_{i}M{F}_{j}R\subseteq F_{i+j}M$. The associated graded module has components $F_{i}M/F_{i-1}M$, and its action by the associated graded ring isChanging either representative changes the product only by an element of $F_{i+j-1}M$, so the action is well-defined.

The subspace filtration on $N$ is $F_{i}N=N\cap F_{i}M$. The quotient filtration is $F_i(M/N)=(F_{i}M+N)/N$. Inclusion induces an injective map $\mathrm{gr}N\to \mathrm{gr}M$, and the quotient induces a surjective map to $\mathrm{gr}(M/N)$. If $m\in F_{i}M$ maps to zero in its degree-$i$ quotient, write $m=n+m^{\prime }$ with $n\in N$ and $m^{\prime }\in F_{i-1}M$. Then $n\in N\cap F_{i}M$, so the kernel is exactly the image of $\mathrm{gr}N$. We have the short exact sequencewhich is exactness of associated graded modules for induced filtrations.

For the negative case, $F_{i}R=R$ for $i\ge 0$. Completeness means that $R\to {\underleftarrow{\lim }}_{q}R/F_{-q}R$ is an isomorphism; in particular the filtration of a ring is separated. If $x\in F_{-1}R$ and $r\in R$, then $(xr{)}^q\in F_{-q}R$. The geometric seriesconverges in the complete negative filtration and is a two-sided inverse of $1-xr$, by the finite geometric identity and continuity of multiplication. The unit criterion for the Jacobson radical now gives

Let $I$ be any right ideal. The associated graded module $\mathrm{gr}I$ for its subspace filtration is a homogeneous ideal on the right in $\mathrm{gr}R$. If $\mathrm{gr}R$ is a right Noetherian ring, choose homogeneous generators that lift to $x_1,\dots ,x_s\in I$, with degrees $d_1,\dots ,d_s\le 0$.

For $x\in I\cap F_{d}R$, cancel its degree-$d$ symbol by a sum ${\sum }_i{x}_i{a}_{i,0}$ with $a_{i,0}\in F_{d-d_i}R$. The remainder belongs to $I\cap F_{d-1}R$. Repeat the cancellation in each succeeding degree. After $q$ steps,For every $i$, the coefficient series converges to some $a_i\in R$ by completeness. Passing to the limit gives $x={\sum }_i{x}_i{a}_i$. Thus these finitely many $x_i$ generate the actual right ideal $I$; no assumption that $I$ is closed is needed. Since every right ideal is finitely generated, $R$ is right Noetherian, by complete negative filtered-graded transfer of Noetherianity.

An almost commutative algebra over $\mathbb{C}$ has an exhaustive nonnegative increasing multiplicative ascending filtrationfor which the associated graded ringis a commutative finitely generated complex algebra. This includes the customary degree filtration with $F_{0}R=\mathbb{C}$, finitely many degree-one generators, and commutators lowering degree. The finite-generation clause is part of the convention used here and is necessary for the conclusion.

A finitely generated commutative complex algebra is a quotient of a polynomial ring $\mathbb{C}[X_1,\dots ,X_d]$. Repeated application of the central-variable case of the Hilbert basis theorem makes that polynomial ring Noetherian; quotients preserve the ascending chain condition by lifting ideal chains. Thus $\mathrm{gr}R$ is Noetherian.

We prove ascending filtered-graded transfer of Noetherianity directly. Give a left ideal $I\subseteq R$ the induced ascending filtration $I\cap F_{n}R$. Its associated graded module embeds into $\mathrm{gr}R$ as a homogeneous ideal, denoted $\mathrm{gr}I$. Choose finitely many homogeneous generators ${\overline{u}}_1,\dots ,{\overline{u}}_m$ of this ideal, of degrees $d_1,\dots ,d_m$, and lifts $u_j\in I\cap F_{d_j}R$. Homogeneous generators may be chosen by taking homogeneous components of any finite generating set.

For $u\in I\cap F_{n}R$, its degree-$n$ symbol can be expressed aswith terms of negative coefficient degree omitted. Lift each coefficient to $a_j\in F_{n-d_j}R$. ThenInduction on $n$, ending at $F_{-1}R=0$, expresses $u$ in the left ideal generated by the $u_j$. Hence every left ideal is finitely generated. Applying the same argument to right ideals, or to the opposite ring, provesThis degree-lowering proof terminates in finitely many steps and requires no completeness assumption on the filtered ring. Without finite generation of the graded algebra, a counterexample would be the commutative polynomial ring in infinitely many variables, whose ideals $(X_1)⊊(X_1,X_2)⊊\cdots$ do not stabilize.

For the universal enveloping algebra $U(\mathfrak{g})$, use the degree ascending filtration inherited from the tensor algebra of the finite-dimensional Lie algebra $\mathfrak{g}$. For $x,y\in \mathfrak{g}$, the defining relation is $xy-yx=[x,y]\in F_{1}U(\mathfrak{g})$, whereas the product $xy$ has filtration degree at most $2$. Thus the degree-one symbols commute in $\mathrm{gr}U(\mathfrak{g})$. Those symbols generate the graded algebra, so it is a quotient ofThis already proves the required almost-commutative property. The Poincaré-Birkhoff-Witt theorem gives the stronger identification $\mathrm{gr}U(\mathfrak{g})\cong \mathrm{Sym}(\mathfrak{g})$, but injectivity of this map is not needed for the chain-condition argument. Therefore

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.

For a cohomological spectral sequence, $d_r:E_r^{p,q}\to E_r^{p+r,q-r+1}$ and the next page is its cohomology. In the bounded setting, convergence of a spectral sequence to $H^{\ast }$ means that each $H^n$ has a finite decreasing, exhaustive and separated filtration withHere $E_{\infty }^{p,q}$ is the eventual stable value. This determines the associated graded module of $H^n$, rather than automatically a canonical direct-sum decomposition of $H^n$. For unbounded filtrations additional completeness/convergence conditions are necessary; boundedness removes those issues here.

The bounded filtered-complex convergence theorem states the following. If $F^{p}C$ is a decreasing filtration by cochain subcomplexes, preserved by the differential, finite in each cochain degree (uniform bounds $F^{a}C=C$, $F^{b}C=0$ are sufficient), then there is a spectral sequenceThe abutment filtration is $F^p{H}^n(C)=\mathrm{im}[H^n(F^{p}C)\to H^n(C)]$. Its finite length ensures stabilization and the displayed limiting-page identification. The filtered cochain complex need not itself be bounded in cochain degree. In the degreewise finite version, the bounds in degrees $n-1,n,n+1$ suffice to stabilize the terms of total degree $n$.

For a double cochain complex $D^{p,q}$ bounded in both indices, form the total cochain complex ${\mathrm{Tot}}^{n}D={⨁}_{p+q=n}{D}^{p,q}$ with anticommuting differentials $d_h,d_v$ and total differential $d_h+d_v$. If the original differentials commute, inserting the usual sign in one of them gives this convention. Filtering by the first index gives $E_1^{p,q}=H_v^q(D^{p,\ast })$ and then $E_2^{p,q}=H_h^p(H_v^{q}D)$. Filtering by the second index gives the spectral sequence taking horizontal cohomology first and vertical cohomology next. Both filtrations are finite, so both converge to $H^{\ast }(\mathrm{Tot}D)$. This is the two spectral sequences of a bounded double complex construction.

The printed left/left tensor expression needs a handedness repair. Over an arbitrary ring, a tensor product of modules over $R$ pairs a right module with a left module. To retain the order of the printed formula, take $P$ to be a bounded cochain complex of projective right $R$-modules and $M$ a left $R$-module. Alternatively, keep $P$ left, take $M$ right, and write $M{\otimes }_{R}P$ and ${\mathrm{Tor}}_{-p}^R(M,H^{q}P)$. For a commutative ring no repair is needed. We prove the first, correctly typed formulation.

Finite projective dimension gives a finite projective resolution $Q_{\bullet }\to M$ by left modules. Form $D^{p,q}=P^q{\otimes }_R{Q}_{-p}$ for $-d\le p\le 0$. On $x\otimes y$ take $d_v=d_P\otimes 1$ and $d_h=(-1{)}^{q}1\otimes d_Q$. These anticommute, and the double cochain complex is bounded in both directions. Projective modules are flat modules, so taking vertical cohomology first givesThe first identification uses flatness of $Q_{-p}$; the second is the Tor functor computed by resolving its left-module argument $M$. Balancedness of the Tor functor allows either correctly sided projective resolution to compute it, by the double-resolution argument.

Taking horizontal cohomology first instead uses flatness of $P^q$. The resolution $Q_{\bullet }$ then leaves only $P^q{\otimes }_{R}M$ in column $p=0$. Its remaining differential is $d_P\otimes 1$, so the augmentation $\mathrm{Tot}D\to P{\otimes }_{R}M$ is a quasi-isomorphism. Apply the convergence theorem to this underlying abelian-group double complex. The two spectral sequences therefore prove the Künneth spectral sequence:These are abelian groups in general; an extra module structure requires appropriate bimodule hypotheses. The index $p$ is nonpositive, so $-p$ is the nonnegative homological index of the Tor functor.

Finally write the cycle modules as $Z^q=\ker d^q$ and the boundary modules as $B^q=\mathrm{im}{d}^{q-1}$. If every boundary module $B^q$ is projective, the short exact sequence $0\to Z^q\to P^q\to B^{q+1}\to 0$ splits. Thus $Z^q$ is projective. The short exact sequence $0\to B^q\to Z^q\to H^{q}P\to 0$ is now a length-one projective resolution, so ${\mathrm{Tor}}_i^R(H^{q}P,M)=0$ for $i\ge 2$. The $E_2$ page occupies only columns $p=-1,0$. Every $d_r$ for $r\ge 2$ goes $r$ columns to the right, hence has zero source or zero target. ThereforeThis two-column degeneration of a Künneth spectral sequence gives the edge short exact sequencesDegeneration itself does not supply a canonical splitting. Projective boundaries also do not force $H^{q}P$ to be projective: a complex with differential multiplication by $2$ over $\mathbb{Z}$ has projective boundary but a $\mathbb{Z}/2\mathbb{Z}$ cohomology group.

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.