Divisor (algebraic geometry)

In algebraic geometry, divisors are a generalization of codimension one subvarieties of algebraic varieties; two different generalizations are in common use, Cartier divisors and Weil divisors (named for Pierre Cartier and André Weil by David Mumford). Both are ultimately derived from the notion of divisibility in the integers and algebraic number fields.

Cartier divisors and Weil divisors are parallel notions. Weil divisors are codimension one objects, while Cartier divisors are locally described by a single equation. On non-singular varieties, these two are identical, but when the variety has singular points, the two can differ. An example of a surface on which the two concepts differ is a cone, i.e. a singular quadric. At the (unique) singular point, the vertex of the cone, a single line drawn on the cone is a Weil divisor, but is not a Cartier divisor (since it is not locally principal).

The divisor appellation is part of the history of the subject, going back to the DedekindWeber work which in effect showed the relevance of Dedekind domains to the case of algebraic curves.[1] In that case the free abelian group on the points of the curve is closely related to the fractional ideal theory.

An algebraic cycle is a higher-dimensional generalization of a divisor; by definition, a Weil divisor is a cycle of codimension one.

Divisors in a Riemann surface

A Riemann surface is a 1-dimensional complex manifold, so its codimension 1 submanifolds are 0-dimensional. The divisors of a Riemann surface are the elements of the free abelian group over the points of the surface.

Equivalently, a divisor is a finite linear combination of points of the surface with integer coefficients. The degree of a divisor is the sum of its coefficients.

We define the divisor of a meromorphic function f as

(f):=\sum_{z_\nu \in R(f)} s_\nu z_\nu

where R(f) is the set of all zeroes and poles of f, and sν is given by

s_\nu := \left\{ \begin{array}{rl} a  & \ \text{if } z_\nu \text{ is a zero of order }a \\
                           -a & \ \text{if } z_\nu \text{ is a pole of order }a. \end{array} \right.

A divisor that is the divisor of a meromorphic function is called principal. On a compact Riemann surface, a meromorphic function has as many poles as zeroes, and therefore on such surfaces the degree of a principal divisor is 0. Since the divisor of a product is the sum of the divisors, the set of principal divisors is a subgroup of the group of divisors. Two divisors that differ by a principal divisor are called linearly equivalent.

We define the divisor of a meromorphic 1-form similarly. Since the space of meromorphic 1-forms is a 1-dimensional vector space over the field of meromorphic functions, any two meromorphic 1-forms yield linearly equivalent divisors. The equivalence class of these divisors is called the canonical divisor (usually denoted K).

The Riemann–Roch theorem is an important relation between the divisors of a Riemann surface and its topology.

Weil divisor

Definition

Let X be an algebraic variety over a field.[2] A Weil divisor on X is a finite linear combination with integral coefficients of irreducible closed subsets Z of X of codimension one:

\sum_Z n_Z [Z]

where the only finitely many nZ are nonzero. For example, a divisor on an algebraic curve is a formal sum of its closed points. The degree of a divisor is the sum of its coefficients. An effective Weil divisor is one in which all the coefficients of the formal sum are non-negative. One writes DD' if the difference D - D' is effective.

If ZX is an irreducible closed subset of codimension one, then the local ring Oη at the generic point of Z comes with the order-of-vanishing function ordZ; namely, \operatorname{ord}_Z(f) = \operatorname{length}_{\mathcal{O}_{\eta}}({\mathcal{O}_{\eta}}/f{\mathcal{O}_{\eta}}) if f is regular at the generic point of Z.[3] If f is a nonzero rational function on X, one then puts:

(f) = \sum_Z \operatorname{ord}_Z (f) [Z]

This is called the principal (Weil) divisor generated by f. For it to be a divisor, it needs to be a finite sum; this can be seen from the geometric interpretation of the construction. If Z is a closed subscheme (need not be reduced) of X of codimension one, then Z determines an effective (Weil) divisor:

[Z] = \sum_{V_i \subset Z} \operatorname{length}_{\mathcal{O}_Z}({\mathcal{O}_{Z, \eta_i}}) [V_i]

where V_i are the irreducible closed subsets of Z of codimension zero and \eta_i is the generic point of V_i in Z; in other words, [Z] counts irreducible components of Z with the multiplicities (the construction actually works for any closed subscheme Z and in general [Z] is called the fundamental cycle of Z.) In particular, if Z is the zero-locus of a regular function f, then (f) = [Z]. If f = g/h is a fraction of regular functions (and a rational function is locally of such a fraction), then (f) = (g) - (h), so (f) is defined by counting zeros of f with positive multiplicity and poles of f with negative multiplicity.

If D is a Weil divisor on X and if X is normal, then the sheaf O(D) on X is defined by:[4] for any open subset U of X,

\Gamma(U, O(D)) = \{ f \in k(X) | f = 0 \text{ or }(f) + D \ge 0 \text{ on } U \}

where k(X) is the field of rational functions on X. If D is principal, given by, say, a rational function g, then O(D) is isomorphic to the structure sheaf OX of X via f \mapsto fg. Conversely, if O(D) is free, then D is principal. It follows that D is locally principal if and only if O(D) is locally free of rank one; i.e., an invertible sheaf.

If X is locally factorial; i.e., local rings are unique factorization domains, which is the case for example when X is smooth, then D is locally principal and so O(D) is invertible. In general, however, a Weil divisor need not be locally principal (which amounts to being Cartier). The standard example is the following:[5] Let X be the quadric cone z^2 = xy, and D the line y = z = 0, a ruling of the cone; D is not principal near the origin.

In general, when X is normal, the sheaf O(D) is a reflexive sheaf and any reflexive sheaf of the form O(D) is called a divisorial sheaf (for the non-normal case, see the "reflexive sheaf" article.)

Divisor class group

Let Div(X) be the abelian group of Weil divisors on X. Since principal divisors form a subgroup, one can form the quotient group:

\operatorname{Cl}(X) = \operatorname{Div}(X)/\{ (f) | f \in k(X)^* \}

called the divisor class group of X. Two divisors are said to be linearly equivalent if they belong to the same divisor class.

Let Z be a closed subset of X. If Z is irreducible of codimension one, then there is an exact sequence

\mathbb{Z} \overset{1 \mapsto [Z]}\to \operatorname{Cl}(X) \overset{j^*}\to \operatorname{Cl}(X - Z) \to 0

where j^* is the restriction map along the inclusion j: X - Z \hookrightarrow X. If Z has codimension ≥ 2, then \operatorname{Cl}(X) \overset{j^*}\underset{\sim}\to \operatorname{Cl}(X - Z) is an isomorphism. (These facts are special cases of the excision exact sequence for Chow groups.[6] The sequence can be extended further to the left using Bloch's higher Chow groups.)

Example: Take X = Pn to be a projective space and H to be the coordinate hyperplane in it, say, x0 = 0. Then

\mathbb{Z} \to \operatorname{Cl}(\mathbf{P}^n) \overset{j^*}\to \operatorname{Cl}(\mathbf{P}^n - H) \to 0

Here, the last term \operatorname{Cl}(\mathbf{P}^n - H) = \operatorname{Cl}(\mathbf{A}^n) = 0 since the coordinate ring of the affine space \mathbf{A}^n is a polynomial ring, which is a unique factorization domain and has trivial divisor class group. With a bit more work, one indeed gets: \operatorname{Cl}(\mathbf{P}^n) \simeq \mathbb{Z}.

If s is a nonzero section of some line bundle on X, then we let (s) be the divisor defined by the zero-locus of s with multiplicities; it is called the divisor cut out by s. As for rational functions, this construction generalizes to rational sections s by defining (s) to be:

(s) = \sum_{V_i \subset X} \operatorname{ord}_{V_i}(s) [V_i],

where \operatorname{ord}_{V_i}(s) is the order of vanishing of s along Vi, which is defined by identifying s with a rational function by means of local trivialization. (This is well-defined; the transition functions locally have no zero and poles. Equivalently, changing the trivialization does not change the local ring \mathcal{O}_{X, \eta_i} at the generic point.)

Any line bundle admits a nonzero rational section (by local triviality) and, moreover, different choices differ by a nonzero rational function. Thus, there is a well-defined group homomorphism:

\operatorname{Pic}(X) \to \operatorname{Cl}(X)

where Pic(X) is the Picard group of X and tensor product corresponds to addition. It is injective if X is normal. The image consists of classes of locally principal Weil divisors. In particular, X is locally factorial if and only if the map is an isomorphism; the inverse being D \mapsto \mathcal{O}(D) (continuing the previous example one gets: Pic(Pn) = Cl(Pn) = Z.)

Let X be a normal variety over a perfect field. The smooth points (or the regular points) form an open dense subset X_{\text{reg}}. Writing j for the inclusion X_{\text{reg}} \hookrightarrow X, we have the restriction homomorphism:

j^*: \operatorname{Cl}(X) \overset{\sim}\to \operatorname{Cl}(X_{\text{reg}}) = \operatorname{Pic}(X_{\text{reg}}),

which is an isomorphism since X - X_{\text{reg}} has codimension ≥ 2 as X is normal. For example, one can use this isomorphism to define the canonical divisor K_X on X to be the one (up to linear equivalence) corresponding to the sheaf of differential forms of top degree; in symbols, \mathcal{O}(j^*K_X) = \Omega^{\dim X}_{X_{\text{reg}}}.

Cartier divisor

A Cartier divisor in an algebraic variety X (see the paragraph below for the scheme case) can be represented by an open cover by affine subsets {U_i} of X, and a collection of rational functions f_i defined on U_i. The functions must be compatible in this sense: on the intersection of two sets in the cover, the quotient of the corresponding rational functions should be regular and invertible. A Cartier divisor is said to be effective if these f_i can be chosen to be regular functions, and in this case the Cartier divisor defines an associated subvariety of codimension 1 by forming the ideal sheaf generated locally by the f_i.

The notion can also be described with the abstract function field instead of rational functions: in this setup X can be any scheme. For each affine open subset U, define M(U) to be the total quotient ring of OX(U). Because the affine open subsets form a basis for the topology on X, this defines a presheaf on X. (This is not the same as taking the total quotient ring of OX(U) for arbitrary U, since that does not define a presheaf.[7]) The sheaf MX of rational functions on X is the sheaf associated to the presheaf M, and the quotient sheaf MX* / OX* is the sheaf of local Cartier divisors.

A Cartier divisor is a global section of the quotient sheaf MX*/OX*. We have the exact sequence 1 \to \mathcal O^*_X \to M^*_X \to M^*_X / \mathcal O^*_X \to 1, so, applying the global section functor \Gamma (X, \bullet) gives the exact sequence 1 \to \Gamma (X, O^*_X) \to \Gamma (X, M^*_X) \to \Gamma (X, M^*_X / \mathcal O^*_X) \to H^1(X, \mathcal O^*_X).

A Cartier divisor is said to be principal if it is in the range of the morphism \Gamma (X, M^*_X) \to \Gamma (X, M^*_X / \mathcal O^*_X), that is, if it is the class of a global rational function.

Cartier divisors in nonrigid sheaves

Of course the notion of Cartier divisors exists in any sheaf (any ringed space). But if the sheaf is not rigid enough, the notion tends to lose some of its interest. For example in a fine sheaf (e.g. the sheaf of real-valued continuous, or smooth, functions on an open subset of a Euclidean space, or locally homeomorphic, or diffeomorphic, to such a set, such as a topological manifold), any local section is a divisor of 0, so that the total quotient sheaves are zero, so that the sheaf contains no non-trivial Cartier divisor.

From Cartier divisors to Weil divisor

There is a natural homomorphism from the group of Cartier divisors to that of Weil divisors, which is an isomorphism for integral separated Noetherian schemes provided that all local rings are unique factorization domains.

From Cartier divisors to line bundles

The notion of transition map associates naturally to every Cartier divisor D a line bundle (strictly, invertible sheaf) commonly denoted by \mathcal O_X(D) or sometimes also \mathcal L(D).

The line bundle \mathcal L (D) associated to the Cartier divisor D is the sub-bundle of the sheaf MX of rational fractions described above whose stalk at x \in X is given by D_x \in \Gamma (x, M^*_X/\mathcal O^*_X) viewed as a line on the stalk at x of \mathcal O_X in the stalk at x of M_X. The subsheaf thus described is tautologically locally freely monogenous over the structure sheaf \mathcal O_X.

The mapping D \mapsto \mathcal L (D) is a group homomorphism: the sum of divisors corresponds to the tensor product of line bundles, and isomorphism of bundles corresponds precisely to linear equivalence of Cartier divisors. The group of divisors classes modulo linear equivalence therefore injects into the Picard group. The mapping is not surjective for all compact complex manifolds, but surjectivity does hold for all smooth projective varieties. The latter is true because, by the Kodaira embedding theorem, the tensor product of any line bundle with a sufficiently high power of any positive line bundle becomes ample; thus, on any such manifold, any line bundle is the formal difference between two ample line bundles, and any ample line bundle may be viewed as an effective divisor.

Global sections of line bundles and linear systems

Recall that the local equations of a Cartier divisor D in a variety X give rise to transition maps for a line bundle  \mathcal L (D), and linear equivalences induce isomorphism of line bundles.

Loosely speaking, a Cartier divisor D is said to be effective if it is the zero locus of a global section of its associated line bundle \mathcal L(D). In terms of the definition above, this means that its local equations coincide with the equations of the vanishing locus of a global section.

From the divisor linear equivalence/line bundle isomorphism principle, a Cartier divisor is linearly equivalent to an effective divisor if, and only if, its associated line bundle \mathcal L (D) has non-zero global sections. Two collinear non-zero global sections have the same vanishing locus, and hence the projective space \mathbb P \Gamma (X, \mathcal L (D)) over k identifies with the set of effective divisors linearly equivalent to D.

If X is a projective (or proper) variety over a field k, then \Gamma (X, \mathcal L (D)) is a finite-dimensional k-vector space, and the associated projective space over k is called the complete linear system of D. Its linear subspaces are called linear systems of divisors. The Riemann-Roch theorem for algebraic curves is a fundamental identity involving the dimension of complete linear systems in the setup of projective curves.

ℚ-divisors

Let X be a normal variety. A (Weil) \mathbb{Q}-divisor is a finite formal linear combination of irreducible subvarieties of codimension one of X with rational coefficients. (An \mathbb{R}-divisor is defined similarly.) A \mathbb{Q}-divisor is called effective if the coefficients are nonnegative. A \mathbb{Q}-divisor is called \mathbb{Q}-Cartier if some integral multiple of it is a Cartier divisor. If X is smooth, then any \mathbb{Q}-divisor is \mathbb{Q}-Cartier.

If D = \sum a_j Z_j is a \mathbb{Q}-divisor, then its integer part is the divisor

\sum [a_j] Z_j

where [a_j] are the integer parts of a_j. O(D) is then defined as O of the integer part of D.

See also: multiplier ideal. For some examples, see the following MathOverflow Post

Relative Cartier divisors

An effective Cartier divisor in a scheme X over a ring R is a closed subscheme D of X that (1) is flat over R and (2) the ideal sheaf I(D) of D is locally free of rank one (i.e., invertible sheaf). Equivalently, a closed subscheme D of X is an effective Cartier divisor if there is an open affine cover U_i = \operatorname{Spec} A_i of X and nonzerodivisors f_i \in A_i such that the intersection D \cap U_i is given by the equation f_i = 0 (called local equations) and its ideal sheaf I(D)|_{U_i} = A / f_i A is flat over R and such that they are compatible.

Taking I(D)^{-1} \otimes_{\mathcal{O}_X} - of 0 \to I(D) \to \mathcal{O}_X \to \mathcal{O}_D \to 0 gives the exact sequence

0 \to \mathcal{O}_X \to I(D)^{-1} \to I(D)^{-1} \otimes \mathcal{O}_D \to 0.

This allows one to see global sections of \mathcal{O}_X as global sections of I(D)^{-1}. In particular, the constant 1 on X can be thought of as a section of I(D)^{-1} and D is then the zero locus of this section. Conversely, if L is a line bundle on X and s a global section of it that is a nonzerodivisor on \mathcal{O}_X and if L/\mathcal{O}_X is flat over R, then s = 0 defines an effective Cartier divisor whose ideal sheaf is isomorphic to the inverse of L.

From now on suppose X is a smooth curve (still over R). Let D be an effective Cartier divisor in X and assume it is proper over R (which is immediate if X is proper.) Then \Gamma(D, \mathcal{O}_D) is a locally free R-module of finite rank. This rank is called the degree of D and is denoted by \operatorname{deg} D. It is a locally constant function on \operatorname{Spec} R. If D and D' are proper effective Cartier divisors, then D + D' is proper over R and \operatorname{deg}(D + D') = \operatorname{deg}(D) + \operatorname{deg}(D'). Let f: X' \to X be a finite flat morphism. Then \operatorname{deg}(f^* D) = \operatorname{deg}(f) \operatorname{deg}(D).[8] On the other hand, a base change does not change degree: \operatorname{deg}(D \times_R R') = \operatorname{deg}(D).[9]

A closed subscheme D of X is finite, flat and of finite presentation if and only if it is an effective Cartier divisor that is proper over R.[10]

See also

Notes

  1. Section VI.6 of Dieudonné (1985).
  2. More generally, one can take X to be a Noetherian integral scheme over a field.
  3. This is an algebraic fact. If A is a one-dimensional Noetherian local ring, then for any non-zerodivisor f, A/fA is an Artinian A-module (the support has dimension zero) and thus the length
    \operatorname{ord}(f) = \operatorname{length}_A(A/fA)
    is a finite number. For any non-zerodivisor f/g in the total ring of fractions Q(A) of A, one then puts ord(f/g) = ord(f) - ord(g). One can show it is well-defined and that \operatorname{ord}: Q(A) - \{0\} \to \mathbb{Z} is a group homomorphism. Finally, if A is a discrete valuation ring, then this ord is the valuation defined by fixing a generator of the maximal ideal.
  4. Vakil, Math 216: Foundations of algebraic geometry, Definition 14.2.2.
  5. Hartshorne, Ch. II, Example 6.5.2.
  6. That is,
    A_k(Z) \to A_k(X) \to A_k(X - Z) \to 0
    where A_k is the k-th Chow group.
  7. Kleiman, p. 203
  8. Katz–Mazur 1985, Lemma 1.2.8.
  9. Katz–Mazur 1985, Lemma 1.2.9.
  10. Katz–Mazur 1985, Lemma 1.2.3.

References

This article is issued from Wikipedia - version of the Saturday, February 06, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.