Divisor (algebraic geometry)
For other meanings of the term 'Divisor' see the page Divisor (disambiguation)
2010 Mathematics Subject Classification: Primary: 14-XX [MSN][ZBL]
In algebraic geometry, the term divisor is used as a generalization of the concept of a divisor of an element of a commutative ring. First introduced by E.E. Kummer [Ku] under the name of "ideal divisor" in his studies on cyclotomic fields.
The theory of divisors for an integral commutative ring $A$ with a unit element consists in constructing a homomorphism $\def\phi{\varphi}\phi$ from the multiplicative semi-group $A^*$ of non-zero elements of $A$ into some semi-group $D_0$ with unique factorization, the elements of which are known as (integral) divisors of the ring $A$. The theory of divisors makes it possible to reduce a series of problems connected with prime factorization in $A$, where this factorization may be not unique, to the problem of prime factorization in $D_0$. The image $\phi(a)\in D_0$ of an element $a\in A^*$ is denoted by $(a)$ and is called the principal divisor of the element $a$. One says that $a\in A^*$ is divisible by the divisor $\def\fa{\mathfrak{a}} \fa\in D_0$ if $\fa$ divides $(a)$ in $D_0$.
More exactly, let $D_0$ be a free Abelian semi-group with a unit element, the free generators of which are known as prime divisors, and let a homomorphism $\phi : A^* \to D_0$ be given. The homomorphism $\phi$ defines a theory of divisors of the ring $A$ if it satisfies the following conditions.
1) For $a,b\in A^*$ the element $a$ divides $b$ in $A$ if and only if $(a)$ divides $(b)$ in $D_0$.
2) For any $a\in D_0$,
$$\{ a\in A \;|\; \fa \textrm{ divides } (a)\} \cup \{ 0 \}$$ is an ideal of $A$.
3) If $\fa,\fa'\in D_0$ and if, for any $a\in A^*$, $(a)$ is divisible by $\fa$ if and only if $(a)$ is divisible by $\fa'$, then $\fa=\fa'$.
If a homomorphism $\phi$ exists, it is uniquely determined, up to an isomorphism, by the conditions just listed. The kernel $\ker \phi$ coincides with the group of unit elements of $A$. The elements of $D_0$ are called positive divisors of $A$. Let $K$ be the field of quotients of $A$, and let $D\supset D_0$ be the free Abelian group generated by the set of prime divisors. Then for any $c \in K$, $K^* = K\setminus 0$, it is possible to define a principal divisor $\def\f#1{\mathfrak {#1}}\f c \in D$. If $c = a/b$ where $a,b\in A^*$, then $(c) = (a)/(b)$. The elements of the group $D$ are known as fractional divisors (or, simply, divisors) of $A$ (or of $K$). Any divisor $\f a\in D$ may be written in the form
$$\f a = \f p_1^{n_1}\cdots\f p_r^{n_r},$$ where $\f p_i$ is a prime divisor. In additive notation: $\f a = n_1\f p_1+\cdots+n_r\f p_r$. If $a\in K^*$ and $(a) = \sum n_i\f p_i$, the mapping $a\mapsto \sum n_i$ is a discrete valuation on $K$, and is known as the essential valuation of $K$. The homomorphism $\phi$ is extended to a homomorphism $\psi : K^* \to D$, where $\psi(c) = (c)$, contained in the exact sequence
$$1\to U(A) \to K^* \xrightarrow{\psi} D \to C(A) \to 1.$$ Here $U(A)$ is the group of invertible elements of $A$, while the group $C(A)$ is called the divisor class group of $A$ (or of $K$). Two divisors which belong to the same equivalence class by the subgroup of principal divisors are called equivalent (in algebraic geometry, where a large number of other divisor equivalences are considered, this equivalence is known as linear).
The theory of divisors is valid for any Dedekind ring, in particular for rings of integral elements in algebraic number fields, and the elements of $D_0$ are in one-to-one correspondence with the non-zero ideals of the ring $A$ (to the divisor $\f a$ corresponds the ideal of all elements of $A$ that are divisible by $\f a$). This is why, in a Dedekind ring, the group of divisors is also called the group of ideals, while the divisor class group is called the ideal class group.
The divisor class group of an algebraic number field is finite, and many problems in algebraic number theory involve the computation of its order (the number of classes) and structure [BoSh].
More generally, the theory of divisors is valid for Krull rings (cf. Krull ring, [Bo]). In such a case the role of $D_0$ is played by the semi-group of divisorial ideals (cf. Divisorial ideal) of the ring, while the part of $D$ is played by the group of fractional divisorial ideals.
The concept of a Weil divisor is a generalization of the concept of a fractional divisorial ideal of a commutative ring to algebraic varieties or analytic spaces $X$. The name Weil divisor is given to integral formal finite linear combinations $\sum n_WW $ of irreducible closed subspaces $W$ in $X$ of codimension 1. A Weil divisor is called positive, or effective, if all $n_W \ge 0$. All Weil divisors form a group $Z^1(X)$ (the group of Weil divisors). If $X$ is a smooth algebraic variety, the concept of a Weil divisor coincides with that of an algebraic cycle of codimension 1.
If $A$ is a Noetherian Krull ring, each prime divisorial ideal $\f p$ in $A$ defines a subspace $V(\f p)$ of codimension 1 in the scheme $X=\def\Spec{\textrm{Spec}}\Spec(A)$, while each divisor $\f a = \f p_1^{n_1}\cdots\f p_k^{n_k}$ may thus be identified with the Weil divisor $\sum n_iV((\f p)$.
Let $X$ be a normal scheme and let $f$ be a rational (meromorphic in the analytic case) function on $X$. A principal Weil divisor is defined canonically:
$$(f) = \sum n_W W.$$ Here $n_W$ is the value of the discrete valuation of the ring $\def\c#1{\mathcal{#1}}\c O_{X,W}$ of the subvariety $W$ on the representative of $f$ in $\c O_{X,W}$. If
$$(f) = \sum n_W^+W + \sum n_W^- W,$$ where $n_w^+ > 0$ and $n_w^- < 0$, the Weil divisor $(f)_0 = \sum n_W^+ W.$ is known as the divisor of the zeros, while $\sum n_W^- W$ is known as the divisor of the poles of the function $f$. The set of principal Weil divisors is a subgroup $Z_p^1(X)$ of the group $Z^1(X)$. The quotient group $Z^1(X)/Z_p^1(X)$ is denoted by $C(X)$ and is known as the divisor class group of the scheme $X$. If $X=\Spec\; A$, where $A$ is a Noetherian Krull ring, $C(X)$ coincides with the divisor class group of the ring $A$.
Let $K$ be an algebraic function field. A divisor of $K$ is sometimes defined as a formal integral combination of discrete valuations of rank 1 of $K$. If $K$ is a field of algebraic functions in one variable, each such divisor may be identified with the Weil divisor of its complete non-singular model.
Let $X$ be a regular scheme or a complex variety and let $D=\sum n_W W$ be a Weil divisor. For any point $x\in X$ there exists an open neighbourhood $U$ such that the restriction of $D$ on $U$,
$$D|_U = \sum n_W(W\cap U)$$ is the principal divisor $(f_U)$ for a certain meromorphic function $f_U$ on $U$. The function $f_U$ is uniquely defined, up to an invertible function on $U$, and is known as the local equation of the divisor $D$ in the neighbourhood $U$, while the correspondence $U\mapsto f_U$ defines a section of the sheaf $M_X/\c O_X^*$. In general, a Cartier divisor on a ringed space $(X,\c O_X)$ is defined as a global section of the sheaf $M_X^*/\c O_X^*M_X/\c O_X^*$ of germs of divisors. Here $M_X$ denotes the sheaf of germs of meromorphic (or rational) functions on $X$, i.e. the sheaf which brings into correspondence each open $U\subset X$ with the total quotient ring of the ring $\Gamma(U,\c O_X)$, while $M_X^*$ and $\c O_X^*$ are the sheaves of invertible elements in $M_X$ and $\c O_X$, respectively. A Cartier divisor may be defined by a selection of local equations
$$f_i \in \Gamma(U_i,M_X^*),$$ where $\{U_i\}$ is an open covering of $X$, and the functions $f_i/f_j$ should be a section of the sheaf $\c O_X^*$ over $U_i\cap U_j$. In particular, a meromorphic function $f$ defines a divisor $\def\div{\textrm{div}}\div(f)$ known as a principal divisor. The set of $x\in M$ such that $(f_i)_X\notin \c O_{X,x}^* $ is called the support of the divisor. The Cartier divisors form an Abelian group $\def\Div{\textrm{Div}}\Div(X)$, while the principal divisors form a subgroup of it, $\Div_l(X)$. Each divisor $D\in \Div(X) $ defines an invertible sheaf $\c O_X(D)$ contained in $M_X$: If $D$ is represented by the local equations $f_i$ on the covering $\{U_i\}$, then
$$\c O_X(D)|_{U_i} = f_i^{-1}\c O|_{U_i} \subset M_X|_{U_i}$$ The correspondence $D\mapsto \c O_X(D)$ is a homomorphism of the group $\Div(X)$ into the Picard group $\def\Pic{\textrm{Pic}}\Pic(X) = H^1(X,\c O_X^*)$. This homomorphism is included in the exact sequence
$$\Gamma(X,M_X^*)\to \Div(X)\xrightarrow{\delta} \Pic(X) \to H_1(X,M_X^*),$$ which is obtained from the exact sequence of sheaves
$$0\to \c O)X^*\to M_X^* \to M_X^*/\c O_X^* \to 0.$$ Thus, $\ker\delta = \Div_l(X)$. If $D-D_1$ is a principal divisor, $D$ and $D_1$ are said to be linearly equivalent. If $X$ is a quasi-projective algebraic variety or a complex Stein space, the homomorphism $\delta : \Div(X) \to \Pic(X)$ is surjective and induces an isomorphism of the group of classes of linearly equivalent divisors $\Div(X)/\Div_l(X)$ onto the Picard group $\Pic(X)$.
If $X$ is a complex space, the problem arises as to when a given divisor is a principal divisor; this is the so-called second Cousin problem (cf. Cousin problems). For example, the divisor class group on a complex Stein space $(X,\c O)$ is trivial if and only if $H^2(X,\Z)=0$.
A divisor $D$ is said to be effective (or positive) if $\c O_X\subset \c O_X(D)$. In such a case $\c O_X(-D)$ is a sheaf of ideals in $\c O_X$; the support of a divisor $D$ with structure sheaf $\c O_X/\c O_X(-D)$ forms a subspace in $X$, which is also denoted by $D$.
For a normal Noetherian scheme or a normal analytic space $X$ there is a natural homomorphism:
$$\def\cyc{\textrm{cyc}} \cyc : \Div (X) \to Z^1(X),$$ mapping $D\in\Div(X)$ into $\sum_n_W W$, where $n_W = \nu_W(f)$ and where $f$ is a local equation of $D$ in the neighbourhood $W$, while $\nu_W$ is the discrete valuation corresponding to $W$ [We]. The homomorphism cyc is injective and maps effective divisors to effective cycles; cyc is bijective if and only if $X$ is locally factorial (e.g. when $X$ is a non-singular scheme or an analytic manifold). If cyc is bijective, Weil and Cartier divisors coincide.
Let $f:X'\to X$ be a morphism of schemes which is flat in codimension 1. Then, for any Cartier or Weil divisor $D$ on $X$ the inverse image $f^*(D)$ is defined; also, $\cyc(f^*(D)) = f^*(\cyc(D))$. The mapping $D\to f^*(D)$ is a homomorphism of groups which maps principal divisors to principal ones, and thus defines a homomorphism of groups
$$f^* : \Pic(X)\to\Pic(X')$$ (respectively,
$$f^* : C(X)\to C(X')).$$ If $X'$ is an open set in $X$ whose codimension of the complement is at least 2 and if $f$ is the imbedding of $X'$ into $X$, then $f^* : C(X)\to C(X')$ is an isomorphism, while $f^* : \Pic(X)\to\Pic(X')$ is an isomorphism if the scheme $X$ is locally factorial.
Let $X$ be a smooth projective variety over $\C$. Any divisor $D$ on $X$ defines a homology class
$$[D] \in H_{2\dim X -2}(X,\Z).$$ The cohomology class which is Poincaré dual to $[D]$ is identical with the Chern class $c_1(\c O_X(D))\in H^2(X,\Z)$ of the invertible sheaf $\c O_X(D)$. Thus there appears a homological equivalence on $\Div(X)$. There exists a theory of intersections of divisors [Sh], leading to the concept of algebraic equivalence of divisors (cf. Algebraic cycle). The group
$$\def\a{\alpha}\Pic^0(X) = \Div_\a(X)/\Div_l(X),$$ where $\Div_\a(X)$ denotes the group of divisors which are algebraically equivalent to zero, is naturally provided with the structure of an Abelian variety (the Picard variety; if $X$ is a curve, it is also called the Jacobi variety of $X$). The group $\Div(X)/\Div_\a(X)$, known as the Néron–Severi group, has a finite number of generators. The last two facts also apply to algebraic varieties over an arbitrary field.
If $X$ is a one-dimensional complex manifold (a Riemann surface), a divisor on $X$ is a finite linear combination
$$D=\sum_i k_ix_i,$$ where $k_i\in\Z$, $x_i\in X$. The number $\sum k_i$ is called the degree of the divisor $D$. For a compact Riemann surface $X$ of genus $g$ the group of divisor classes of degree zero is a $g$-dimensional Abelian variety and is identical with the Picard variety (or with the Jacobi variety). If $f$ is a meromorphic function on $X$, a principal divisor is
$$\div(f) = \sum_i m_ix_i - \sum_j n_jy_j,$$ where $x_i$ are the zeros and $y_j$ are the poles of $f$ and $m_i,$, $n_j$ are their multiplicities. Then $\sum_i m_i = \sum_j n_j,$, i.e. a principal divisor has degree 0. A divisor of degree 0 on $X$ is principal if and only if there exists a singular one-dimensional chain $C$ such that
$$\partial C = D \textrm{ and } \int_C \omega = 0$$ for all holomorphic forms $\omega$ of degree 1 on $X$ (Abel's theorem). See also Abelian differential.
References
[Bo] | N. Bourbaki, "Elements of mathematics. Commutative algebra", Addison-Wesley (1972) (Translated from French) MR0360549 Zbl 0279.13001 |
[BoSh] | Z.I. Borevich, I.R. Shafarevich, "Number theory", Acad. Press (1966) (Translated from Russian) (German translation: Birkhäuser, 1966) MR0195803 Zbl 0145.04902 |
[Ca] | P. Cartier, "Questions de rationalité des diviseurs en géometrie algébrique" Bull. Soc. Math. France, 86 (1958) pp. 177–251 MR0106223 Zbl 0091.33501 |
[Ch] | C. Chevalley, "Introduction to the theory of algebraic functions of one variable", Amer. Math. Soc. (1951) MR0042164 Zbl 0045.32301 |
[Ch2] | S.S. Chern, "Complex manifolds without potential theory", Springer (1979) MR0533884 Zbl 0444.32004 |
[Gr] | A. Grothendieck, "Eléments de géometrie algébrique IV. Etude locale des schémas et des morphismes des schémas" Publ. Math. IHES : 32 (1967) MR0238860 Zbl 0144.19904 Zbl 0135.39701 Zbl 0136.15901 |
[GrHa] | P.A. Griffiths, J.E. Harris, "Principles of algebraic geometry", Wiley (Interscience) (1978) pp. 178; 674; 179; 349; 525; 532; 535; 632; 743 MR0507725 Zbl 0408.14001 |
[GuRo] | R.C. Gunning, H. Rossi, "Analytic functions of several complex variables", Prentice-Hall (1965) MR0180696 Zbl 0141.08601 |
[Ha] | R. Hartshorne, "Algebraic geometry", Springer (1977) MR0463157 Zbl 0367.14001 |
[Ku] | E.E. Kummer, "Ueber die Zerlegung der aus Wurzeln der Einheit gebildeten complexe Zahlen in ihre Primfaktoren" J. Reine Angew. Math., 35 (1847) pp. 327–367 |
[Mu] | D. Mumford, "Lectures on curves on an algebraic surface", Princeton Univ. Press (1966) MR0209285 Zbl 0187.42701 |
[Sh] | I.R. Shafarevich, "Basic algebraic geometry", Springer (1977) (Translated from Russian) MR0447223 Zbl 0362.14001 |
[Sp] | G. Springer, "Introduction to Riemann surfaces", Addison-Wesley (1957) MR0092855 Zbl 0078.06602 |
[We] | A. Weil, "Introduction à l'étude des variétés kahlériennes", Hermann (1958) |
[We2] | R.O. Wells jr., "Differential analysis on complex manifolds", Springer (1980) MR0608414 Zbl 0435.32004 |
Divisor(2). Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Divisor(2)&oldid=28592