![]() | ||
In algebraic geometry, a projective variety over an algebraically closed field k is a subset of some projective n-space Pn over k that is the zero-locus of some finite family of homogeneous polynomials of n + 1 variables with coefficients in k, that generate a prime ideal, the defining ideal of the variety. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of Pn.
Contents
- Variety structure
- Projective schemes
- Relation to complete varieties
- Examples and basic invariants
- Homogeneous coordinate ring and Hilbert polynomial
- Degree
- The ring of sections
- Projective curves
- Projective hypersurfaces
- Abelian varieties
- Projections
- Line bundle and divisors
- Cohomology of coherent sheaves
- Smooth projective varieties
- Serre duality
- Riemann Roch theorem
- Hilbert schemes
- Complex projective varieties
- Relation to complex Khler manifolds
- GAGA and Chows theorem
- Complex tori vs complex abelian varieties
- Kodaira vanishing
- Further topics
- Related notions
- References
A projective variety is a projective curve if its dimension is one; it is a projective surface if its dimension is two; it is a projective hypersurface if its dimension is one less than the dimension of the containing projective projective space; in this case it is the set of zeros of a single homogeneous polynomial.
If X is a projective variety defined by a homogeneous prime ideal I, then the quotient ring
is called the homogeneous coordinate ring of X. Basic invariants of X such as the degree and the dimension can be read off the Hilbert polynomial of this graded ring.
Projective varieties arise in many ways. They are complete, which roughly can be expressed by saying that there are no points "missing". The converse is not true in general, but Chow's lemma describes the close relation of these two notions. Showing that a variety is projective is done by studying line bundles or divisors on X.
A salient feature of projective varieties are the finiteness constraints on sheaf cohomology. For smooth projective varieties, Serre duality can be viewed as an analog of Poincaré duality. It also leads to the Riemann-Roch theorem for projective curves, i.e., projective varieties of dimension 1. The theory of projective curves is particularly rich, including a classification by the genus of the curve. The classification program for higher-dimensional projective varieties naturally leads to the construction of moduli of projective varieties. Hilbert schemes parametrize closed subschemes of Pn with prescribed Hilbert polynomial. Hilbert schemes, of which Grassmannians are special cases, are also projective schemes in their own right. Geometric invariant theory offers another approach. The classical approaches include the Teichmüller space and Chow varieties.
A particularly rich theory, reaching back to the classics, is available for complex projective varieties, i.e., when the polynomials defining X have complex coefficients. Broadly, the GAGA principle says that the geometry of projective complex analytic spaces (or manifolds) is equivalent to the geometry of projective complex varieties. For example, the theory of holomorphic vector bundles (more generally coherent analytic sheaves) on X coincide with that of algebraic vector bundles. Chow's theorem says that a subset of projective space is the zero-locus of a family of holomorphic functions if and only if it is the zero-locus of homogeneous polynomials. The combination of analytic and algebraic methods for complex projective varieties lead to areas such as Hodge theory.
Variety structure
Let k be an algebraically closed field. The basis of the definition of projective varieties is projective space Pn, which can be defined in different, but equivalent ways:
A projective variety is, by definition, a closed subvariety of Pn, where closed refers to the Zariski topology. In general, closed subsets of the Zariski topology are defined to be the zero-locus of polynomial functions. Given a polynomial
does not make sense for arbitrary polynomials, but only if f is homogeneous, i.e., the total degree of all the monomials (whose sum is f) is the same. In this case, the vanishing of
is independent of the choice of
Therefore, projective varieties arise from homogeneous prime ideals I of
Moreover, the projective variety X is an algebraic variety, meaning that it is covered by open affine subvarieties and satisfies the separation axiom. Thus, the local study of X (e.g., singularity) reduces to that of an affine variety. The explicit structure is as follows. The projective space Pn is covered by the standard open affine charts
which themselves are affine n-spaces with the coordinate ring
for all f in I. Thus, X is an algebraic variety covered by (n+1) open affine charts
Note that X is the closure of the affine variety
for all f in I.
For example, if V is an affine curve given by, say,
Projective schemes
For various applications, it is necessary to consider more general algebro-geometric objects than projective varieties, namely projective schemes. The first step towards projective schemes is to endow projective space with a scheme structure, in a way refining the above description of projective space as an algebraic variety, i.e., Pn(k) is a scheme which it is a union of (n + 1) copies of the affine n-space kn. More generally, projective space over a ring A is the union of the affine schemes
in such a way the variables match up as expected. The set of closed points of
An equivalent but streamlined construction is given by the Proj construction, which is an analog of the spectrum of a ring, denoted "Spec", which defines an affine scheme. For example, if A is a ring, then
If R is a quotient of
Compared to projective varieties, the condition that the ideal I be a prime ideal was dropped. This leads to a much more flexible notion: on the one hand the topological space
Closed subschemes of
We can give a coordinate-free analog of the above. Namely, given a finite-dimensional vector space V over k, we let
where
it is called the complete linear system of D.
Projective space over a noetherian scheme S is defined as a fiber product
If
A scheme X → S is called projective over S if it factors as a closed immersion
followed by the projection to S.
Relation to complete varieties
By definition, a variety is complete, if it is proper over k. The valuative criterion of properness expresses the intuition that in a proper variety, there are no points "missing".
There is a close relation between complete and projective varieties: on the one hand, projective space and therefore any projective variety is complete. The converse is not true in general. However:
Some properties of a projective variety follow from completeness. For example,
for any projective variety X over k. This fact is an algebraic analogue of Liouville's theorem (any holomorphic function on a connected compact complex manifold is constant). In fact, the similarity between complex analytic geometry and algebraic geometry on complex projective varieties goes much further than this, as is explained below.
Quasi-projective varieties are, by definition, those which are open subvarieties of projective varieties. This class of varieties includes affine varieties. Affine varieties are almost never complete (or projective). In fact, a projective subvariety of an affine variety must have dimension zero. This is because only the constants are globally regular functions on a projective variety.
Examples and basic invariants
By definition, any homogeneous ideal in a polynomial ring yields a projective scheme (required to be prime ideal to give a variety). In this sense, examples of projective varieties abound. The following list mentions various classes of projective varieties which are noteworthy since they have been studied particularly intensely. The important class of complex projective varieties, i.e., the case
The product of two projective spaces is projective. In fact, there is the explicit immersion (called Segre embedding)
As a consequence, the fiber product of projective varieties is again projective. The Plücker embedding exhibits a Grassmannian as a projective variety. Flag varieties such as the quotient of the general linear group
Homogeneous coordinate ring and Hilbert polynomial
As the prime ideal P defining a projective variety X is homogeneous, the homogeneous coordinate ring
is a graded ring, i.e., can be expressed as the direct sum of its graded components:
There exists a polynomial P such that
For example, the homogeneous coordinate ring of Pn is
If the homogeneous coordinate ring R is an integrally closed domain, then the projective variety X is said to be projectively normal. Note, unlike normality, projective-normality depends on R, the embedding of X into a projective space. The normalization of a projective variety is projective; in fact, it's the Proj of the integral closure of some homogeneous coordinate ring of X.
Degree
Let
where d is the dimension of X and Hi's are hyperplanes in "general positions". This definition corresponds to an intuitive idea of a degree. Indeed, if X is a hypersurface, then the degree of X is the degree of the homogeneous polynomial defining X. The "general positions" can be made precise, for example, by intersection theory; one requires that the intersection is proper and that the multiplicities of irreducible components are all one.
The other definition, which is mentioned in the previous section, is that the degree of X is the leading coefficient of the Hilbert polynomial of X times (dim X)!. Geometrically, this definition means that the degree of X is the multiplicity of the vertex of the affine cone over X.
Let
The intersection multiplicity mi can be defined as the coefficient of Zi in the intersection product
In particular, if
where Zi's are the irreducible components of the scheme-theoretic intersection of X and H with multiplicity (length of the local ring) mi.
The ring of sections
Let X be a projective variety and L a line bundle on it. Then the graded ring
is called the ring of sections of L. If L is ample, then Proj of this ring is X. Moreover, if X is normal and L is very ample, then
For applications, it is useful to allow for divisors (or
is called the canonical ring of X. If the canonical ring is finitely generated, then Proj of the ring is called the canonical model of X. The canonical ring or model can then be used to define the Kodaira dimension of X.
Projective curves
Projective schemes of dimension one are called projective curves. Much of the theory of projective curves is about smooth projective curves, since the singularities of curves can be resolved by normalization, which consists in taking locally the integral closure of the ring of regular functions. Smooth projective curves are isomorphic if and only if their function fields are isomorphic. The study of finite extensions of
or equivalently smooth projective curves over
A smooth projective curve of genus one is called an elliptic curve. As a consequence of the Riemann-Roch theorem, such a curve can be embedded as a closed subvariety in P2. In general, any (smooth) projective curve can be embedded in P3. Conversely, any smooth closed curve in P2 of degree three has genus one by the genus formula and is thus an elliptic curve.
A smooth complete curve of genus greater than or equal to two is called a hyperelliptic curve if there is a finite morphism
Projective hypersurfaces
Every irreducible closed subset of Pn of codimension one is a hypersurface; i.e., the zero set of some homogeneous irreducible polynomial.
Abelian varieties
Another important invariant of a projective variety X is the Picard group
Varieties, such as the Jacobian variety, which are complete and have a group structure are known as abelian varieties, in honor of Niels Abel. In marked contrast to affine algebraic groups such as
Projections
Let
Projections can be used to cut down the dimension in which a projective variety is embedded, up to finite morphisms. Start with some projective variety
This result is the projective analog of Noether's normalization lemma. (In fact, it yields a geometric proof of the normalization lemma.)
The same procedure can be used to show the following slightly more precise result: given a projective variety X over a perfect field, there is a finite birational morphism from X to a hypersurface H in
Line bundle and divisors
The number of particular properties of projective varieties makes it desirable to have efficient criteria to show that a given variety is projective. Such criteria can be formulated using the notion of very ample line bundles.
Let X be a scheme over a ring A. Suppose there is a morphism
Then, along this map, the Serre twisting sheaf
which in homogeneous coordinates is given by
A line bundle (or invertible sheaf)
for some n so that
Cohomology of coherent sheaves
Let X be a projective scheme over a field (or, more generally over a Noetherian ring A). Cohomology of coherent sheaves
-
H p ( X , F ) is a finite-dimensional k-vector space for any p. - There exists an integer
n 0 F ; see also Castelnuovo–Mumford regularity) such that
These results are proven reducing to the case
where in the right-hand side
As a corollay to 1. above, if f is a projective morphism from a noetherian scheme to a noetherian ring, then the higher direct image
Sheaf cohomology groups Hi on a noetherian topological space vanish for i strictly greater than the dimension of the space. Thus the quantity, called the Euler characteristic of
is a well-defined integer (for X projective). One can then show
which is manifestly intrinsic; i.e., independent of the embedding.
The arithmetic genus of a hypersurface of degree d is
Smooth projective varieties
Let X be a smooth projective variety where all of its irreducible components have dimension n. In this situation, the canonical sheaf ωX, defined as the sheaf of Kähler differentials of top degree (i.e., algebraic n-forms), is a line bundle.
Serre duality
Serre duality states that for any locally free sheaf
where the superscript prime refers to the dual space and
Riemann-Roch theorem
For a (smooth projective) curve X, H2 and higher vanish for dimensional reason and the space of the global sections of the structure sheaf is one-dimensional. Thus the arithmetic genus of X is the dimension of
Serre duality is also a key ingredient in the proof of the Riemann–Roch theorem. Since X is smooth, there is an isomorphism of groups
from the group of (Weil) divisors modulo principal divisors to the group of isomorphism classes of line bundles. A divisor corresponding to ωX is called the canonical divisor and is denoted by K. Let l(D) be the dimension of
for any divisor D on X. By the Serre duality, this is the same as:
which can be readily proved. A generalization of the Riemann-Roch theorem to higher dimension is the Hirzebruch-Riemann-Roch theorem, as well as the far-reaching Grothendieck-Riemann-Roch theorem.
Hilbert schemes
Hilbert schemes parametrize all closed subvarieties of a projective scheme X in the sense that the points (in the functorial sense) of H correspond to the closed subschemes of X. As such, the Hilbert scheme is an example of a moduli space, i.e., a geometric object whose points parametrize other geometric objects. More precisely, the Hilbert scheme parametrizes closed subvarieties whose Hilbert polynomial equals a prescribed polynomial P. It is a deep theorem of Grothendieck that there is a scheme
The closed subscheme of
For
Complex projective varieties
In this section, all algebraic varieties are complex algebraic varieties. A key feature of the theory of complex projective varieties is the combination of algebraic and analytic methods. The transition between these theories is provided by the following link: since any complex polynomial is also a holomorphic function, any complex variety X yields a complex analytic space, denoted
Relation to complex Kähler manifolds
Complex projective space is a Kähler manifold. This implies that, for any projective algebraic variety X, X(C) is a compact Kähler manifold. The converse is not in general true, but the Kodaira embedding theorem gives a criterion for a Kähler manifold to be projective.
In low dimensions, there are the following results:
GAGA and Chow's theorem
Chow's theorem provides a striking way to go the other way, from analytic to algebraic geometry. It states that every analytic subvariety of a complex projective space is algebraic. The theorem may be interpreted to saying that a holomorphic function satisfying certain growth condition is necessarily algebraic: "projective" provides this growth condition. One can deduce from the theorem the following:
Chow's theorem can be shown via Serre's GAGA principle. Its main theorem states:
Let X be a projective scheme over C. Then the functor associating the coherent sheaves on X to the coherent sheaves on the corresponding complex analytic space Xan is an equivalence of categories. Furthermore, the natural mapsare isomorphisms for all i and all coherent sheaves
Complex tori vs. complex abelian varieties
The complex manifold associated to an abelian variety A over C is a compact complex Lie group. These can be shown to be of the form
and are also referred to as complex tori. Here, g is the dimension of the torus and L is a lattice (also referred to as period lattice).
According to the uniformization theorem already mentioned above, any torus of dimension 1 arises from an abelian variety of dimension 1, i.e., from an elliptic curve. In fact, the Weierstrass's elliptic function
There is a p-adic analog, the p-adic uniformization theorem.
For higher dimensions, the notions of complex abelian varieties and complex tori differ: only polarized complex tori come from abelian varieties.
Kodaira vanishing
The fundamental Kodaira vanishing theorem states that for an ample line bundle
for i > 0, or, equivalently by Serre duality
Further topics
Hodge decomposition, Hodge conjecture, Tate conjecture
Related notions
Closed subvarieties of weighted projective spaces are known as weighted projective varieties.