| Preface: Algebra and Geometry |
|
ix | |
| What Are Syzygies? |
|
x | |
| The Geometric Content of Syzygies |
|
xi | |
| What Does Solving Linear Equations Mean? |
|
xii | |
| Experiment and Computation |
|
xiii | |
| What's In This Book? |
|
xiv | |
| Prerequisites |
|
xv | |
| How Did This Book Come About? |
|
xv | |
| Other Books |
|
xvi | |
| Thanks |
|
xvi | |
| Notation |
|
xvi | |
|
Free Resolutions and Hilbert Functions |
|
|
1 | (14) |
|
The Generation of Invariants |
|
|
1 | (1) |
|
|
|
2 | (1) |
|
|
|
3 | (2) |
|
The Hilbert Function Becomes Polynomial |
|
|
4 | (1) |
|
|
|
5 | (5) |
|
Describing Resolutions: Betti Diagrams |
|
|
7 | (1) |
|
Properties of the Graded Betti Numbers |
|
|
8 | (1) |
|
The Information in the Hilbert Function |
|
|
9 | (1) |
|
|
|
10 | (5) |
|
First Examples of Free Resolutions |
|
|
15 | (16) |
|
Monomial Ideals and Simplicial Complexes |
|
|
15 | (5) |
|
|
|
15 | (1) |
|
|
|
16 | (2) |
|
Syzygies of Monomial Ideals |
|
|
18 | (2) |
|
Bounds on Betti Numbers and Proof of Hilbert's Syzygy Theorem |
|
|
20 | (2) |
|
Geometry from Syzygies: Seven Points in P3 |
|
|
22 | (5) |
|
The Hilbert Polynomial and Function |
|
|
23 | (1) |
|
...and Other Information in the Resolution |
|
|
24 | (3) |
|
|
|
27 | (4) |
|
|
|
31 | (24) |
|
The Ideal of a Finite Set of Points |
|
|
32 | (7) |
|
|
|
39 | (3) |
|
Existence of Sets of Points with Given Invariants |
|
|
42 | (5) |
|
|
|
47 | (8) |
|
Castelnuovo--Mumford Regularity |
|
|
55 | (18) |
|
Definition and First Applications |
|
|
55 | (3) |
|
Characterizations of Regularity: Cohomology |
|
|
58 | (7) |
|
The Regularity of a Cohen--Macaulay Module |
|
|
65 | (2) |
|
The Regularity of a Coherent Sheaf |
|
|
67 | (1) |
|
|
|
68 | (5) |
|
The Regularity of Projective Curves |
|
|
73 | (16) |
|
A General Regularity Conjecture |
|
|
73 | (2) |
|
Proof of the Gruson--Lazarsfeld--Peskine Theorem |
|
|
75 | (10) |
|
|
|
85 | (4) |
|
Linear Series and 1-Generic Matrices |
|
|
89 | (30) |
|
|
|
90 | (2) |
|
Where'd That Matrix Come From? |
|
|
91 | (1) |
|
|
|
92 | (3) |
|
|
|
95 | (8) |
|
|
|
103 | (10) |
|
|
|
113 | (6) |
|
Linear Complexes and the Linear Syzygy Theorem |
|
|
119 | (26) |
|
|
|
120 | (4) |
|
The Bernstein--Gelfand--Gelfand Correspondence |
|
|
124 | (6) |
|
Exterior Minors and Annihilators |
|
|
130 | (5) |
|
Proof of the Linear Syzygy Theorem |
|
|
135 | (1) |
|
More about the Exterior Algebra and BGG |
|
|
136 | (7) |
|
|
|
143 | (2) |
|
|
|
145 | (32) |
|
The Cohen--Macaulay Property |
|
|
146 | (7) |
|
The Restricted Tautological Bundle |
|
|
148 | (5) |
|
Strands of the Resolution |
|
|
153 | (16) |
|
|
|
155 | (4) |
|
|
|
159 | (10) |
|
|
|
169 | (2) |
|
|
|
171 | (6) |
|
Clifford Index and Canonical Embedding |
|
|
177 | (10) |
|
The Cohen--Macaulay Property and the Clifford Index |
|
|
177 | (3) |
|
|
|
180 | (5) |
|
|
|
185 | (2) |
|
Appendix 1 Introduction to Local Cohomology |
|
|
187 | (14) |
|
|
|
187 | (8) |
|
Local Cohomology and Sheaf Cohomology |
|
|
195 | (3) |
|
Vanishing and Nonvanishing Theorems |
|
|
198 | (1) |
|
|
|
199 | (2) |
|
Appendix 2 A Jog Through Commutative Algebra |
|
|
201 | (26) |
|
Associated Primes and Primary Decomposition |
|
|
202 | (3) |
|
|
|
205 | (3) |
|
Projective Dimension and Regular Local Rings |
|
|
208 | (2) |
|
Normalization: Resolution of Singularities for Curves |
|
|
210 | (3) |
|
The Cohen--Macaulay Property |
|
|
213 | (4) |
|
|
|
217 | (3) |
|
Fitting Ideals and Other Determinantal Ideals |
|
|
220 | (2) |
|
The Eagon--Northcott Complex and Scrolls |
|
|
222 | (5) |
| References |
|
227 | (10) |
| Index |
|
237 | |