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
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