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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Chapter 1: Preliminaries 2<br />

ideal. If R is local, then we let m denote the maximal ideal and we let K denote<br />

the residue class field R/m. If R is homogeneous, then m will denote the irrelevant<br />

maximal ideal m = R1 ⊕ R2 ⊕ · · · .<br />

When R is a homogeneous K-algebra, automatically I is a homogeneous ideal <strong>of</strong> R.<br />

Furthermore M stands for a finitely generated R-module unless otherwise specified.<br />

1.1 <strong>Betti</strong> <strong>numbers</strong> and graded <strong>Betti</strong> <strong>numbers</strong><br />

The <strong>Betti</strong> <strong>numbers</strong> <strong>of</strong> a finitely generated module M <strong>over</strong> a commutative Noethe-<br />

rian local unit ring R are the minimal <strong>numbers</strong> bi for which there exists a long exact<br />

sequence<br />

bn fn<br />

0 → R −→ R bn−1 b1 → . . . → R f1 b0<br />

f0<br />

−→ R −→ M → 0,<br />

which is called a minimal free resolution <strong>of</strong> M. The <strong>Betti</strong> <strong>numbers</strong> are uniquely<br />

determined by requiring that bi be the minimal number <strong>of</strong> generators <strong>of</strong> Kerfi−1 for<br />

all i ≥ 0.<br />

Graded <strong>modules</strong> arise naturally in homology. For example for every integer i,<br />

there exists an ith singular homology group <strong>of</strong> a space Hi(X), and usually the “total<br />

homology” <strong>of</strong> the space is considered to be the direct sum ⊕iHi(X). This makes the<br />

“total” homology <strong>of</strong> X a Z- module graded <strong>over</strong> the natural <strong>numbers</strong> N. There are<br />

several reasons to support studying Graded <strong>Betti</strong> <strong>numbers</strong> in detail. A minimal free<br />

resolution <strong>of</strong> a finitely generated graded module M <strong>over</strong> a commutative <strong>Noetherian</strong><br />

N-graded ring R in which all maps are homogeneous module homomorphisms, i.e.,<br />

the homomorphisms that map every homogeneous element to a homogeneous element

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

Saved successfully!

Ooh no, something went wrong!