Hilbert series and Hilbert polynomial

Consider a finitely generated graded commutative algebra S over a field K, which is finitely generated by elements of positive degree. This means that

${\displaystyle S=\bigoplus _{i\geq 0}S_{i}}$

and that ${\displaystyle S_{0}=K}$.

The Hilbert function

${\displaystyle HF_{S}:n\longmapsto \dim _{K}S_{n}}$

maps the integer n to the dimension of the K-vector space S_n. The Hilbert series, which is called Hilbert–Poincaré series in the more general setting of graded vector spaces, is the formal series

${\displaystyle HS_{S}(t)=\sum _{n=0}^{\infty }HF_{S}(n)t^{n}.}$

If S is generated by h homogeneous elements of positive degrees ${\displaystyle d_{1},\ldots ,d_{h}}$, then the sum of the Hilbert series is a rational fraction

${\displaystyle HS_{S}(t)={\frac {Q(t)}{\prod _{i=1}^{h}\left(1-t^{d_{i}}\right)}},}$

where Q is a polynomial with integer coefficients.

If S is generated by elements of degree 1 then the sum of the Hilbert series may be rewritten as

${\displaystyle HS_{S}(t)={\frac {P(t)}{(1-t)^{\delta }}},}$

where P is a polynomial with integer coefficients, and ${\displaystyle \delta }$ is the Krull dimension of S.

In this case the series expansion of this rational fraction is

${\displaystyle HS_{S}(t)=P(t)\left(1+\delta t+\cdots +{\binom {n+\delta -1}{\delta -1}}t^{n}+\cdots \right)}$

where

${\displaystyle {\binom {n+\delta -1}{\delta -1}}={\frac {(n+\delta -1)(n+\delta -2)\cdots (n+1)}{(\delta -1)!}}}$

is the binomial coefficient for ${\displaystyle n>-\delta ,}$ and is 0 otherwise.

If

${\displaystyle P(t)=\sum _{i=0}^{d}a_{i}t^{i},}$

the coefficient of ${\displaystyle t^{n}}$ in ${\displaystyle HS_{S}(t)}$ is thus

${\displaystyle HF_{S}(n)=\sum _{i=0}^{d}a_{i}{\binom {n-i+\delta -1}{\delta -1}}.}$

For ${\displaystyle n\geq i-\delta +1,}$ the term of index i in this sum is a polynomial in n of degree ${\displaystyle \delta -1}$ with leading coefficient ${\displaystyle a_{i}/(\delta -1)!.}$ This shows that there exists a unique polynomial ${\displaystyle HP_{S}(n)}$ with rational coefficients which is equal to ${\displaystyle HF_{S}(n)}$ for n large enough. This polynomial is the Hilbert polynomial, and has the form

${\displaystyle HP_{S}(n)={\frac {P(1)}{(\delta -1)!}}n^{\delta -1}+{\text{ terms of lower degree in }}n.}$

The least n₀ such that ${\displaystyle HP_{S}(n)=HF_{S}(n)}$ for n ≥ n₀ is called the Hilbert regularity. It may be lower than ${\displaystyle \deg P-\delta +1}$.

The Hilbert polynomial is a numerical polynomial, since the dimensions are integers, but the polynomial almost never has integer coefficients (Schenck 2003, pp. 41).

All these definitions may be extended to finitely generated graded modules over S, with the only difference that a factor t^m appears in the Hilbert series, where m is the minimal degree of the generators of the module, which may be negative.

The Hilbert function, the Hilbert series and the Hilbert polynomial of a filtered algebra are those of the associated graded algebra.

The Hilbert polynomial of a projective variety V in Pⁿ is defined as the Hilbert polynomial of the homogeneous coordinate ring of V.

Polynomial rings and their quotients by homogeneous ideals are typical graded algebras. Conversely, if S is a graded algebra generated over the field K by n homogeneous elements g₁, ..., g_n of degree 1, then the map which sends X_i onto g_i defines an homomorphism of graded rings from ${\displaystyle R_{n}=K[X_{1},\ldots ,X_{n}]}$ onto S. Its kernel is a homogeneous ideal I and this defines an isomorphism of graded algebra between ${\displaystyle R_{n}/I}$ and S.

Thus, the graded algebras generated by elements of degree 1 are exactly, up to an isomorphism, the quotients of polynomial rings by homogeneous ideals. Therefore, the remainder of this article will be restricted to the quotients of polynomial rings by ideals.

The Hilbert series allows us to compute the degree of an algebraic variety as the value at 1 of the numerator of the Hilbert series. This provides also a rather simple proof of Bézout's theorem.

For showing the relationship between the degree of a projective algebraic set and the Hilbert series, consider a projective algebraic set V, defined as the set of the zeros of a homogeneous ideal ${\displaystyle I\subset k[x_{0},x_{1},\ldots ,x_{n}]}$, where k is a field, and let ${\displaystyle R=k[x_{0},\ldots ,x_{n}]/I}$ be the ring of the regular functions on the algebraic set.

In this section, one does not need irreducibility of algebraic sets nor primality of ideals. Also, as Hilbert series are not changed by extending the field of coefficients, the field k is supposed, without loss of generality, to be algebraically closed.

The dimension d of V is equal to the Krull dimension minus one of R, and the degree of V is the number of points of intersection, counted with multiplicities, of V with the intersection of ${\displaystyle d}$ hyperplanes in general position. This implies the existence, in R, of a regular sequence ${\displaystyle h_{0},\ldots ,h_{d}}$ of d + 1 homogeneous polynomials of degree one. The definition of a regular sequence implies the existence of exact sequences

${\displaystyle 0\longrightarrow \left(R/\langle h_{0},\ldots ,h_{k-1}\rangle \right)^{[1]}{\stackrel {h_{k}}{\longrightarrow }}R/\langle h_{1},\ldots ,h_{k-1}\rangle \longrightarrow R/\langle h_{1},\ldots ,h_{k}\rangle \longrightarrow 0,}$

for ${\displaystyle k=0,\ldots ,d.}$ This implies that

${\displaystyle HS_{R/\langle h_{0},\ldots ,h_{d-1}\rangle }(t)=(1-t)^{d}\,HS_{R}(t)={\frac {P(t)}{1-t}},}$

where ${\displaystyle P(t)}$ is the numerator of the Hilbert series of R.

The ring ${\displaystyle R_{1}=R/\langle h_{0},\ldots ,h_{d-1}\rangle }$ has Krull dimension one, and is the ring of regular functions of a projective algebraic set ${\displaystyle V_{0}}$ of dimension 0 consisting of a finite number of points, which may be multiple points. As ${\displaystyle h_{d}}$ belongs to a regular sequence, none of these points belong to the hyperplane of equation ${\displaystyle h_{d}=0.}$ The complement of this hyperplane is an affine space that contains ${\displaystyle V_{0}.}$ This makes ${\displaystyle V_{0}}$ an affine algebraic set, which has ${\displaystyle R_{0}=R_{1}/\langle h_{d}-1\rangle }$ as its ring of regular functions. The linear polynomial ${\displaystyle h_{d}-1}$ is not a zero divisor in ${\displaystyle R_{1},}$ and one has thus an exact sequence

${\displaystyle 0\longrightarrow R_{1}{\stackrel {h_{d}-1}{\longrightarrow }}R_{1}\longrightarrow R_{0}\longrightarrow 0,}$

which implies that

${\displaystyle HS_{R_{0}}(t)=(1-t)HS_{R_{1}}(t)=P(t).}$

Here we are using Hilbert series of filtered algebras, and the fact that the Hilbert series of a graded algebra is also its Hilbert series as filtered algebra.

Thus ${\displaystyle R_{0}}$ is an Artinian ring, which is a k-vector space of dimension P(1), and Jordan–Hölder theorem may be used for proving that P(1) is the degree of the algebraic set V. In fact, the multiplicity of a point is the number of occurrences of the corresponding maximal ideal in a composition series.

For proving Bézout's theorem, one may proceed similarly. If ${\displaystyle f}$ is a homogeneous polynomial of degree ${\displaystyle \delta }$, which is not a zero divisor in R, the exact sequence

${\displaystyle 0\longrightarrow R^{[\delta ]}{\stackrel {f}{\longrightarrow }}R\longrightarrow R/\langle f\rangle \longrightarrow 0,}$

shows that

${\displaystyle HS_{R/\langle f\rangle }(t)=\left(1-t^{\delta }\right)HS_{R}(t).}$

Looking on the numerators this proves the following generalization of Bézout's theorem:

Theorem - If f is a homogeneous polynomial of degree ${\displaystyle \delta }$, which is not a zero divisor in R, then the degree of the intersection of V with the hypersurface defined by ${\displaystyle f}$ is the product of the degree of V by ${\displaystyle \delta .}$

In a more geometrical form, this may restated as:

Theorem - If a projective hypersurface of degree d does not contain any irreducible component of an algebraic set of degree δ, then the degree of their intersection is dδ.

The usual Bézout's theorem is easily deduced by starting from a hypersurface, and intersecting it with n − 1 other hypersurfaces, one after the other.

A projective algebraic set is a complete intersection if its defining ideal is generated by a regular sequence. In this case, there is a simple explicit formula for the Hilbert series.

Let ${\displaystyle f_{1},\ldots ,f_{k}}$ be k homogeneous polynomials in ${\displaystyle R=K[x_{1},\ldots ,x_{n}]}$, of respective degrees ${\displaystyle \delta _{1},\ldots ,\delta _{k}.}$ Setting ${\displaystyle R_{i}=R/\langle f_{1},\ldots ,f_{i}\rangle ,}$ one has the following exact sequences

${\displaystyle 0\;\rightarrow \;R_{i-1}^{[\delta _{i}]}\;{\xrightarrow {f_{i}}}\;R_{i-1}\;\rightarrow \;R_{i}\;\rightarrow \;0\,.}$

The additivity of Hilbert series implies thus

${\displaystyle HS_{R_{i}}(t)=(1-t^{\delta _{i}})HS_{R_{i-1}}(t)\,.}$

A simple recursion gives

${\displaystyle HS_{R_{k}}(t)={\frac {(1-t^{\delta _{1}})\cdots (1-t^{\delta _{k}})}{(1-t)^{n}}}={\frac {(1+t+\cdots +t^{\delta _{1}})\cdots (1+t+\cdots +t^{\delta _{k}})}{(1-t)^{n-k}}}\,.}$

This shows that the complete intersection defined by a regular sequence of k polynomials has a codimension of k, and that its degree is the product of the degrees of the polynomials in the sequence.

Every graded module M over a graded regular ring R has a graded free resolution because of the Hilbert syzygy theorem, meaning there exists an exact sequence

${\displaystyle 0\to L_{k}\to \cdots \to L_{1}\to M\to 0,}$

where the ${\displaystyle L_{i}}$ are graded free modules, and the arrows are graded linear maps of degree zero.

The additivity of Hilbert series implies that

${\displaystyle HS_{M}(t)=\sum _{i=1}^{k}(-1)^{i-1}HS_{L_{i}}(t).}$

If ${\displaystyle R=k[x_{1},\ldots ,x_{n}]}$ is a polynomial ring, and if one knows the degrees of the basis elements of the ${\displaystyle L_{i},}$ then the formulas of the preceding sections allow deducing ${\displaystyle HS_{M}(t)}$ from ${\displaystyle HS_{R}(t)=1/(1-t)^{n}.}$ In fact, these formulas imply that, if a graded free module L has a basis of h homogeneous elements of degrees ${\displaystyle \delta _{1},\ldots ,\delta _{h},}$ then its Hilbert series is

${\displaystyle HS_{L}(t)={\frac {t^{\delta _{1}}+\cdots +t^{\delta _{h}}}{(1-t)^{n}}}.}$

These formulas may be viewed as a way for computing Hilbert series. This is rarely the case, as, with the known algorithms, the computation of the Hilbert series and the computation of a free resolution start from the same Gröbner basis, from which the Hilbert series may be directly computed with a computational complexity which is not higher than that the complexity of the computation of the free resolution.

The Hilbert polynomial is easily deducible from the Hilbert series (see above). This section describes how the Hilbert series may be computed in the case of a quotient of a polynomial ring, filtered or graded by the total degree.

Thus let K a field, ${\displaystyle R=K[x_{1},\ldots ,x_{n}]}$ be a polynomial ring and I be an ideal in R. Let H be the homogeneous ideal generated by the homogeneous parts of highest degree of the elements of I. If I is homogeneous, then H=I. Finally let B be a Gröbner basis of I for a monomial ordering refining the total degree partial ordering and G the (homogeneous) ideal generated by the leading monomials of the elements of B.

The computation of the Hilbert series is based on the fact that the filtered algebra R/I and the graded algebras R/H and R/G have the same Hilbert series.

Thus the computation of the Hilbert series is reduced, through the computation of a Gröbner basis, to the same problem for an ideal generated by monomials, which is usually much easier than the computation of the Gröbner basis. The computational complexity of the whole computation depends mainly on the regularity, which is the degree of the numerator of the Hilbert series. In fact the Gröbner basis may be computed by linear algebra over the polynomials of degree bounded by the regularity.

The computation of Hilbert series and Hilbert polynomials are available in most computer algebra systems. For example in both Maple and Magma these functions are named HilbertSeries and HilbertPolynomial.

In algebraic geometry, graded rings generated by elements of degree 1 produce projective schemes by Proj construction while finitely generated graded modules correspond to coherent sheaves. If ${\displaystyle {\mathcal {F}}}$ is a coherent sheaf over a projective scheme X, we define the Hilbert polynomial of ${\displaystyle {\mathcal {F}}}$ as a function ${\displaystyle p_{\mathcal {F}}(m)=\chi (X,{\mathcal {F}}(m))}$, where χ is the Euler characteristic of coherent sheaf, and ${\displaystyle {\mathcal {F}}(m)}$ a Serre twist. The Euler characteristic in this case is a well-defined number by Grothendieck's finiteness theorem.

This function is indeed a polynomial.[1] For large m it agrees with dim ${\displaystyle H^{0}(X,{\mathcal {F}}(m))}$ by Serre's vanishing theorem. If M is a finitely generated graded module and ${\displaystyle {\tilde {M}}}$ the associated coherent sheaf the two definitions of Hilbert polynomial agree.

• Castelnuovo–Mumford regularity
• Hilbert scheme
• Quot scheme