Background

Abstract

Throughout this book, $k = \bar k$ shall always denote an algebraically closed field. We will occasionally also require that it have characteristic zero, but we will always make it clear when we are making this assumption. All varieties and subschemes will be assumed to be projective. We shall denote by S the homogeneous polynomial ring k[X₀,… X _n ,] and we let ℙⁿ = ℙ ^k _n = Proj S. Since S is a graded ring, it is the direct sum of its homogeneous components: S = ⊗_d≥0 S _d ,where S _d is the vector space of homogeneous polynomials of degree d. We denote by m the maximal ideal, m=(X₀,…,X_n,)⊂S.