| Preface |
|
v | |
|
1 Dimension of a Local Ring |
|
|
1 | (18) |
|
|
|
1 | (1) |
|
|
|
2 | (2) |
|
|
|
4 | (2) |
|
1.4 Modules of finite length |
|
|
6 | (2) |
|
1.5 Hilbert's basis theorem |
|
|
8 | (1) |
|
|
|
9 | (2) |
|
|
|
11 | (2) |
|
|
|
13 | (4) |
|
|
|
17 | (2) |
|
2 Modules over a Local Ring |
|
|
19 | (24) |
|
|
|
19 | (1) |
|
2.2 Associated prime ideals |
|
|
20 | (2) |
|
2.3 Dimension of a module |
|
|
22 | (2) |
|
|
|
24 | (1) |
|
2.5 Cohen-Macaulay modules |
|
|
25 | (2) |
|
2.6 Modules of finite projective dimension |
|
|
27 | (2) |
|
|
|
29 | (2) |
|
|
|
31 | (1) |
|
2.9 Projective dimension and depth |
|
|
32 | (2) |
|
|
|
34 | (2) |
|
2.11 The acyclicity theorem |
|
|
36 | (3) |
|
|
|
39 | (4) |
|
|
|
43 | (14) |
|
3.1 Discrete valuation rings |
|
|
43 | (1) |
|
|
|
44 | (2) |
|
|
|
46 | (1) |
|
|
|
47 | (1) |
|
|
|
48 | (1) |
|
3.6 The first Chern class |
|
|
49 | (2) |
|
|
|
51 | (1) |
|
|
|
51 | (3) |
|
|
|
54 | (3) |
|
|
|
57 | (8) |
|
4.1 Exactness of the completion functor |
|
|
57 | (2) |
|
4.2 Separation of the J-adic topology |
|
|
59 | (1) |
|
4.3 Complete filtered rings |
|
|
60 | (1) |
|
4.4 Completion of local rings |
|
|
61 | (2) |
|
4.5 Structure of complete local rings |
|
|
63 | (2) |
|
|
|
65 | (16) |
|
|
|
65 | (2) |
|
|
|
67 | (1) |
|
5.3 Decomposition of injective modules |
|
|
68 | (2) |
|
|
|
70 | (3) |
|
5.5 Minimal injective resolutions |
|
|
73 | (1) |
|
5.6 Modules of finite injective dimension |
|
|
74 | (3) |
|
|
|
77 | (4) |
|
|
|
81 | (8) |
|
|
|
81 | (3) |
|
6.2 Local cohomology and dimension |
|
|
84 | (1) |
|
6.3 Local cohomology and depth |
|
|
84 | (1) |
|
6.4 Support in the maximal ideal |
|
|
85 | (2) |
|
6.5 Local duality for Gorenstein rings |
|
|
87 | (2) |
|
|
|
89 | (20) |
|
7.1 Complexes of injective modules |
|
|
89 | (4) |
|
7.2 Complexes with finitely generated cohomology |
|
|
93 | (3) |
|
|
|
96 | (2) |
|
7.4 Existence of dualizing complexes |
|
|
98 | (2) |
|
7.5 The codimension function |
|
|
100 | (2) |
|
7.6 Complexes of flat modules |
|
|
102 | (3) |
|
7.7 Generalized evaluation maps |
|
|
105 | (2) |
|
7.8 Uniqueness of dualizing complexes |
|
|
107 | (2) |
|
|
|
109 | (20) |
|
|
|
109 | (4) |
|
8.2 Grothendieck's local duality theorem |
|
|
113 | (4) |
|
8.3 Duality for Cohen--Macaulay modules |
|
|
117 | (2) |
|
|
|
119 | (2) |
|
8.5 Locally factorial domains |
|
|
121 | (1) |
|
|
|
122 | (3) |
|
|
|
125 | (4) |
|
9 Amplitude and Dimension |
|
|
129 | (32) |
|
|
|
130 | (6) |
|
|
|
136 | (1) |
|
9.3 The amplitude formula |
|
|
137 | (2) |
|
9.4 Dimension of a complex |
|
|
139 | (3) |
|
9.5 The tensor product formula |
|
|
142 | (2) |
|
|
|
144 | (4) |
|
9.7 Condition Sr of Serre |
|
|
148 | (4) |
|
9.8 Factorial rings and condition Sr |
|
|
152 | (3) |
|
|
|
155 | (3) |
|
9.10 Specialization of Poincare series |
|
|
158 | (3) |
|
10 Intersection Multiplicities |
|
|
161 | (28) |
|
10.1 Introduction to Serre's conjectures |
|
|
161 | (2) |
|
10.2 Filtration of the Koszul complex |
|
|
163 | (4) |
|
10.3 Euler characteristic of the Koszul complex |
|
|
167 | (3) |
|
10.4 A projection formula |
|
|
170 | (1) |
|
10.5 Power series over a field |
|
|
171 | (4) |
|
10.6 Power series over a discrete valuation ring |
|
|
175 | (3) |
|
10.7 Application of Cohen's structure theorem |
|
|
178 | (3) |
|
10.8 The amplitude inequality |
|
|
181 | (1) |
|
10.9 Translation invariant operators |
|
|
182 | (2) |
|
|
|
184 | (3) |
|
10.11 Serre's conjecture in the graded case |
|
|
187 | (2) |
|
11 Complexes of Free Modules |
|
|
189 | (18) |
|
|
|
189 | (2) |
|
11.2 The rank of a linear map |
|
|
191 | (3) |
|
11.3 The Eisenbud-Buchsbaum criterion |
|
|
194 | (2) |
|
|
|
196 | (3) |
|
11.5 The Euler characteristic |
|
|
199 | (4) |
|
|
|
203 | (2) |
|
11.7 The integral character of McRae's invariant |
|
|
205 | (2) |
| Bibliography |
|
207 | (4) |
| Index |
|
211 | |