Algebraic geometry of projective spaces

Let k be an algebraically closed field, and V be a finite-dimensional vector space over k. The symmetric algebra of the dual vector space V* is called the polynomial ring on V and denoted by k[V]. It is a naturally graded algebra by the degree of polynomials.

The projective Nullstellensatz states that, for any homogeneous ideal I that does not contain all polynomials of a certain degree (referred to as an irrelevant ideal), the common zero locus of all polynomials in I (or Nullstelle) is non-trivial (i.e. the common zero locus contains more than the single element {0}), and, more precisely, the ideal of polynomials that vanish on that locus coincides with the radical of the ideal I.

This last assertion is best summarized by the formula : for any relevant ideal I,

${\displaystyle {\mathcal {I}}({\mathcal {V}}(I))={\sqrt {I}}.}$

In particular, maximal homogeneous relevant ideals of k[V] are one-to-one with lines through the origin of V.

Let V be a finite-dimensional vector space over a field k. The scheme over k defined by Proj(k[V]) is called projectivization of V. The projective n-space on k is the projectivization of the vector space ${\displaystyle \mathbb {A} _{k}^{n+1}}$.

The definition of the sheaf is done on the base of open sets of principal open sets D(P), where P varies over the set of homogeneous polynomials, by setting the sections

${\displaystyle \Gamma (D(P),{\mathcal {O}}_{\mathbb {P} (V)})}$

to be the ring ${\displaystyle (k[V]_{P})_{0}}$, the zero degree component of the ring obtained by localization at P. Its elements are therefore the rational functions with homogeneous numerator and some power of P as the denominator, with same degree as the numerator.

The situation is most clear at a non-vanishing linear form φ. The restriction of the structure sheaf to the open set D(φ) is then canonically identified [note 1] with the affine scheme spec(k[ker φ]). Since the D(φ) form an open cover of X the projective schemes can be thought of as being obtained by the gluing via projectivization of isomorphic affine schemes.

It can be noted that the ring of global sections of this scheme is a field, which implies that the scheme is not affine. Any two open sets intersect non-trivially: ie the scheme is irreducible. When the field k is algebraically closed, ${\displaystyle \mathbb {P} (V)}$ is in fact an abstract variety, that furthermore is complete. cf. Glossary of scheme theory

The Proj functor in fact gives more than a mere scheme: a sheaf in graded modules over the structure sheaf is defined in the process. The homogeneous components of this graded sheaf are denoted ${\displaystyle {\mathcal {O}}(i)}$, the Serre twisting sheaves. All of these sheaves are in fact line bundles. By the correspondence between Cartier divisors and line bundles, the first twisting sheaf ${\displaystyle {\mathcal {O}}(1)}$ is equivalent to hyperplane divisors.

Since the ring of polynomials is a unique factorization domain, any prime ideal of height 1 is principal, which shows that any Weil divisor is linearly equivalent to some power of a hyperplane divisor. This consideration proves that the Picard group of a projective space is free of rank 1. That is ${\displaystyle \mathrm {Pic} \ \mathbf {P} _{\mathbf {k} }^{n}=\mathbb {Z} }$, and the isomorphism is given by the degree of divisors.

As affine spaces can be embedded in projective spaces, all affine varieties can be embedded in projective spaces too.

Any choice of a finite system of nonsimultaneously vanishing global sections of a globally generated line bundle defines a morphism to a projective space. A line bundle whose base can be embedded in a projective space by such a morphism is called very ample.

The group of symmetries of the projective space ${\displaystyle \mathbb {P} _{\mathbf {k} }^{n}}$ is the group of projectivized linear automorphisms ${\displaystyle \mathrm {PGL} _{n+1}(\mathbf {k} )}$. The choice of a morphism to a projective space ${\displaystyle j:X\to \mathbf {P} ^{n}}$ modulo the action of this group is in fact equivalent to the choice of a globally generating n-dimensional linear system of divisors on a line bundle on X. The choice of a projective embedding of X, modulo projective transformations is likewise equivalent to the choice of a very ample line bundle on X.

A morphism to a projective space ${\displaystyle j:X\to \mathbf {P} ^{n}}$ defines a globally generated line bundle by ${\displaystyle j^{*}{\mathcal {O}}(1)}$ and a linear system

${\displaystyle j^{*}(\Gamma (\mathbf {P} ^{n},{\mathcal {O}}(1)))\subset \Gamma (X,j^{*}{\mathcal {O}}(1)).}$

If the range of the morphism ${\displaystyle j}$ is not contained in a hyperplane divisor, then the pull-back is an injection and the linear system of divisors

${\displaystyle j^{*}(\Gamma (\mathbf {P} ^{n},{\mathcal {O}}(1)))}$ is a linear system of dimension n.

As Fano varieties, the projective spaces are ruled varieties. The intersection theory of curves in the projective plane yields the Bézout theorem.

• Robin Hartshorne (1977). Algebraic Geometry. Springer-Verlag. ISBN 0-387-90244-9.
• Exercise sheet (in French) on projective spaces, on the page of Yves Laszlo.