Projective variety

From formulasearchengine
Jump to navigation Jump to search
An elliptic curve is a smooth projective curve of genus one.

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. If the condition of generating a prime ideal is removed, such a set is called a projective algebraic set. Equivalently, an algebraic variety is projective if it can be embedded as a Zariski closed subvariety of Pn. A Zariski open subvariety of a projective variety is called a quasi-projective variety.

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. The ring comes with the Hilbert polynomial P, an important invariant (depending on embedding) of X. The degree of P is the topological dimension r of X and its leading coefficient times r! is the degree of the variety X. The arithmetic genus of X is (−1)r (P(0) − 1) when X is smooth. For example, the homogeneous coordinate ring of Pn is and its Hilbert polynomial is ; its arithmetic genus is zero.

Another important invariant of a projective variety X is the Picard group of X, the set of isomorphism classes of line bundles on X. It is isomorphic to . It is an intrinsic notion (independent of embedding). For example, the Picard group of Pn is isomorphic to Z via the degree map. The kernel of is called the Jacobian variety of X. The Jacobian of a (smooth) curve plays an important role in the study of the curve.

The classification program, classical and modern, naturally leads to the construction of moduli of projective varieties.[1] A Hilbert scheme, which is a projective scheme, is used to parametrize closed subschemes of Pn with the prescribed Hilbert polynomial. For example, a Grassmannian is a Hilbert scheme with the specific Hilbert polynomial. The geometric invariant theory offers another approach. The classical approaches include the Teichmüller space and Chow varieties.

For complex projective varieties, there is a marriage of algebraic and complex-analytic approaches. Chow's theorem says that a subset of the projective space is the zero-locus of a family of holomorphic functions if and only if it is the zero-locus of homogeneous polynomials. (A corollary of this is that a "compact" complex space admits at most one variety structure.) The GAGA says that the theory of holomorphic vector bundles (more generally coherent analytic sheaves) on X coincide with that of algebraic vector bundles.


(lexicographical order).
It follows from this that the fibered product of projective varieties is also projective.
for some lattice L.[4] Thus, is an elliptic curve. The uniformization theorem implies that every complex elliptic curve arises in this way. The case is more complicated; it is a matter of polarization. (cf. Lefschetz's embedding theorem.) By the p-adic uniformization, the case has a p-adic analog.

Variety and scheme structure

Variety structure

Let k be an algebraically closed field. Given a homogeneous prime ideal P of , let X be a subset of Pn(k) consisting of all roots of polynomials in P.[6] Here we show X admits a structure of variety by showing locally it is an affine variety.[7] Let

i.e., R is the homogeneous coordinate ring of X. The localization of R with respect to nonzero homogeneous elements is graded; let k(X) denote its zeroth piece. It is the function field of X. Explicitly, k(X) consists of zero and f/g, with f, g homogeneous of the same degree, inside the field of fractions of R. For each x in X, let be the subring consisting of zero and f/g with g(x) ≠ 0; it is a local ring.

Now define the sheaf on X by: for each Zariski open subset U,

The stalk of at x in X is then .[8] We have thus constructed the locally ringed space . We shall show it is locally an affine variety. For that, it is enough to show:

are affine varieties. For simplicity, we consider only the case i = 0. Let P′ be the kernel of

and let X′ be the zero-locus of P′ in kn. X′ is an affine variety. We then verify

is an isomorphism of ringed spaces. More specifically, we check:

(i) φ is a homeomorphism (by looking at closed subsets.)
(ii) (by noticing .)

Projective schemes

The discussion in the preceding section applies in particular to the projective space Pn(k); i.e., it is a union of (n + 1) copies of the affine n-space kn in such a way ringed space structures are compatible. This motivates the following definition:[9] for any ring A we let be the scheme that is the union of

in such a way the variables match up as expected. The set of closed points of is then the projective space Pn(k) in the usual sense.

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 by a homogeneous ideal, then the canonical surjection induces the closed immersion

In fact, one has the following: every closed subscheme of corresponds bijectively to a homogeneous ideal I of that is saturated; i.e., .[10] This fact may be considered as a refined version of projective Nullstellensatz.

We can give a coordinate-free analog of the above. Namely, given a finite-dimensional vector space V over k, we let

where is the symmetric algebra of .[11] It is the projectivization of V; i.e., it parametrizes lines in V. There is a canonical surjective map , which is defined using the chart described above.[12] One important use of the construction is this (for more of this see below). A divisor D on a projective variety X corresponds to a line bundle L. One then set


it is called the complete linear system of D.

For any noetherian scheme S, we let

If is the twisting sheaf of Serre on , we let denote the pullback of to ; that is, for the canonical map

A scheme XS is called projective over S if it factors as a closed immersion

followed by the projection to S.

In general, a line bundle (or invertible sheaf) on a scheme X over S is said to be very ample relative to S if there is an immersion

for some n so that pullbacks to (An immersion is an open immersion followed by a closed immersion.) Then a S-scheme X is projective if and only if it is proper and there exists a very ample sheaf on X relative to S. Indeed, if X is proper, then an immersion corresponding to the very ample line bundle is necessarily closed. Conversely, if X is projective, then the pullback of under the closed immersion of X into a projective space is very ample. That "projective" implies "proper" is more difficult: the main theorem of elimination theory.

A complete variety (i.e., proper over k) is close to being a projective variety: Chow's lemma states that if X is a complete variety, there is a projective variety Z and a birational morphism ZX. (Moreover, through normalization, one can assume this projective variety is normal.) Some properties of a projective variety follow from completeness. For example, if X is a projective variety over k, then .[13]

In general, a line bundle is called ample if some power of it is very ample. Thus, a variety is projective if and only if it is complete and it admis an ample line bundle. An issue of an embedding of a variety into a projective space is discussed in greater details in the following section.

Line bundle and divisors

Template:Expand section {{#invoke:main|main}}

We begin with a preliminary on a morphism into a projective space.[14] Let X be a scheme over a ring A. Suppose there is a morphism


Then, along this map, pulls-back to a line bundle L on X. L is then generated by the global sections . Conversely, suppose L is generated by global sections . They define a morphism as follows: let and be the complements of in X and in (i.e., are the standard open affine chart described above.) Let be given by . It is then immediate that L is isomorphic to and . Furthermore, is a closed immersion if and only if are affine and are surjective.[15]

Let be the sheaf on X associated with the total ring of fractions of . A global section of (* means multiplicative group) is called a Cartier divisor on X. The notion actually adds nothing new: there is the canonical bijection

from the set of all Cartier divisors on X to the set of all line bundles on X.

Coherent sheaves

{{#invoke:main|main}} Let X be a projective scheme over a field (possibly finite) k with very ample line bundle . Let be a coherent sheaf on it. Let be the closed immersion. Then the cohomology of X can be computed from that of the projective space:

where in the right-hand side is viewed as a sheaf on the projective space by extension by zero.[16] One can then deduce the following results due to Serre: let

for all and p > 0.

Indeed, we can assume X is the projective space by the early discussion. Then this can be seen by a direct computation for n any integer, and the general case reduces to this case without much difficulty.[17]

An analogous statement is true for X over a noetherian ring by the same argument. As a corollay to (a) bis, if f is a projective morphism from a noetherian scheme to a noetherian ring, then the higher direct image is coherent. This is a special case of a more general case: f proper. But the general case follows from the projective case with the aid of Chow's lemma.

It is a feature of sheaf cohomology on a noetherian topological space that Hi vanishes for i strictly greater than the dimension of the space. Thus, in view of the above discussion, the quantity

is a well-defined integer. It is called the Euler characteristic of . Then all vanish for sufficiently large n. One can then show for some polynomial P over rational numbers.[18] Applying this procedure to the structure sheaf , one recovers the Hilbert polynomial of X. In particular, if X is irreducible and has dimension r, the arithmetic genus of X is given by

which is manifestly intrinsic; i.e., independent of the embedding.

Smooth projective varieties

Let X be a smooth projective variety where all of its irreducible components have dimension n. Then one has the following version of the Serre duality: for any locally free sheaf on X,

where the superscript prime refers to the dual space, ωX is the canonical sheaf and is the dual sheaf of .

Now, assume X is a curve (but still projective and nonsingular). Then 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 . By definition, the geometric genus of X is the dimension of H0(X, ωX). It thus follows from the Serre duality that the arithmetic genus and the geometric genus coincide. They will simply be called the genus of X.

The 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 . Then the Riemann–Roch theorem states: if g is a genus of X,

for any divisor D on X. By the Serre duality, this is the same as:


which can be readily proved.[19]

For complex smooth projecive varieties, one of fundamental results is the Kodaira vanishing theorem, which states the following:[20]

Let X be a projective nonsingular variety of dimension n over C and an ample line bundle. Then
  1. for i > 0,
  2. for i < n.

The Kodaira vanishing in general fails for a smooth projective variety in positive characteristic.

Hilbert schemes


(In this section, schemes mean locally noetherian schemes.)

Suppose we want to parametrize all closed subvarieties of a projective scheme X. The idea is to construct a scheme H so that each "point" (in the functorial sense) of H corresponds to a closed subscheme of X. (To make the construction to work, one needs to allow for a non-variety.) Such a scheme is called a Hilbert scheme. It is a deep theorem of Grothendieck that a Hilbert scheme exists at all. Let S be a scheme. One version of the theorem states that,[21] given a projective scheme X over S and a polynomial P, there exists a projective scheme over S such that, for any S-scheme T,

to give a T-point of ; i.e., a morphism is the same as to give a closed subscheme of flat over T with Hilbert polynomial P.

The closed subscheme of that corresponds to the identity map is called the universal family.


Complex projective varieties

{{#invoke:see also|seealso}}

In this section, all algebraic varieties are complex algebraic varieties.

One of the fundamental results here is Chow's theorem, which 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:

  • Meromorphic functions on the complex projective space are rational.
  • If an algebraic map between algebraic varieties is an analytic isomorphism, then it is an (algebraic) isomorphism. (This part is a basic fact in complex analysis.) In particular, Chow's theorem implies that a holomorphic map between projective varieties is algebraic. (consider the graph of such a map.)
  • Every holomorphic vector bundle on a projective variety is induced by a unique algebraic vector bundle.[23]
  • Every holomorphic line bundle on a projective variety is a line bundle of a divisor.[24]

Chow's theorem is an instance of GAGA. Its main theorem due to Serre 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 maps
are isomorphisms for all i and all coherent sheaves on X.[25]

In particular, the theorem gives a proof of Chow's theorem.

See also


  1. Template:Harvnb
  2. Template:Harvnb; this is because the homogeneous coordinate ring of Pn is a unique factorization domain and in a UFD every prime ideal of height 1 is principal.
  3. Template:Harvnb
  4. Template:Harvnb
  5. Template:Harvnb
  6. The definition makes sense since if and only if for any nonzero λ in k.
  7. The construction follows Mumford's red book.
  8. This follows from: for the complement Xf of homogeneous f = 0, is the zeroth piece of the localization Rf. The proof uses the projective Nullstellensatz; cf. Template:Harv
  9. Template:Harvnb
  10. Template:Harvnb
  11. This definition differs from Template:Harvnb but is consistent with the other parts of Wikipedia.
  12. cf. the proof of Template:Harvnb
  13. Template:Harvnb
  14. Template:Harvnb
  15. Template:Harvnb
  16. This is not difficult:Template:Harv consider a flasque resolution of and its zero-extension to the whole projective space.
  17. Template:Harvnb
  18. Template:Harvnb
  19. Template:Harvnb
  20. Template:Harvnb
  21. Template:Harvnb
  22. Template:Harvnb
  23. Template:Harvnb
  24. Template:Harvnb
  25. Template:Harvnb


  • {{#invoke:citation/CS1|citation

|CitationClass=book }}

  • P. Griffiths and J. Adams, Topics in algebraic and analytic geometry, Princeton University Press, Princeton, N.J., 1974.
  • Template:Hartshorne AG
  • {{#invoke:citation/CS1|citation

|CitationClass=book }}

  • {{#invoke:citation/CS1|citation

|CitationClass=citation }}

  • {{#invoke:citation/CS1|citation

|CitationClass=book }}

  • {{#invoke:citation/CS1|citation

|CitationClass=book }}

  • {{#invoke:citation/CS1|citation

|CitationClass=book }}

  • {{#invoke:citation/CS1|citation

|CitationClass=book }}

External links