04.08.2013 Views

Betti numbers of modules over Noetherian rings with ... - IPM

Betti numbers of modules over Noetherian rings with ... - IPM

Betti numbers of modules over Noetherian rings with ... - IPM

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Chapter 1: Preliminaries 6<br />

i < 0, then QM(t) is an ordinary polynomial <strong>with</strong> integer coefficients in the variable<br />

t. If more<strong>over</strong> d = 0, then HM(t) = QM(t), i.e., the Hilbert series is a polynomial.<br />

If M has a finite graded free resolution<br />

· · · −→ <br />

R(−j) βs<br />

<br />

j −→ · · · −→ R(−j) β1<br />

<br />

j −→<br />

then<br />

j∈Z<br />

j∈Z<br />

j∈Z<br />

R(−j) β0 j −→ M −→ 0,<br />

HM(t) = HR(t) <br />

(−1) i β R i j(M)t j . (1.2)<br />

i,j<br />

More<strong>over</strong>, if x1, · · · , xr is a regular sequence <strong>over</strong> M <strong>of</strong> homogeneous elements <strong>of</strong><br />

degree 1, then the Hilbert function <strong>of</strong> the n − r-dimensional quotient module ¯ M =<br />

M/(x1, · · · , xr)M is<br />

and in particular, Q ¯ M(t) = QM(t).<br />

HM(t) ¯ = QM(t)<br />

, (1.3)<br />

(1 − t) n−r<br />

These properties suggest effective methods for computing the Hilbert series <strong>of</strong> a<br />

finitely generated graded module <strong>over</strong> the polynomial ring R = K[X1, · · · , Xn], where<br />

K is a field.<br />

The Hilbert series <strong>of</strong> R, which has dimension n, can be obtained by considering<br />

the maximal regular sequence X1, · · · , Xn <strong>of</strong> R, and the Hilbert function <strong>of</strong> the<br />

0-dimensional quotient ring ¯ R = R/(X1, · · · , Xr), which is the same as K. Now<br />

H(K, 0) = 1, and H(K, i) = 0 for all i = 0. Hence HK(t) = 1. It follows that QR(t) is<br />

the constant polynomial 1, so that<br />

HR(t) =<br />

1<br />

.<br />

(1 − t) n

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!