Past exam of the mathematics course of the University of Cambridge / 2003 / iii / Paper 2 / 4 / Solution

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.