View source for Relative effective Cartier divisor

In [[algebraic geometry]], a '''relative effective Cartier divisor''' is roughly a family of [[effective Cartier divisor]]s. Precisely, an effective Cartier divisor in a scheme ''X'' over a ring ''R'' is a closed subscheme ''D'' of ''X'' that (1) is [[flat morphism|flat]] over ''R'' and (2) the ideal sheaf <math>I(D)</math> 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 <math>U_i = \operatorname{Spec} A_i</math> of ''X'' and nonzerodivisors <math>f_i \in A_i</math> such that the intersection <math>D \cap U_i</math> is given by the equation <math>f_i = 0</math> (called local equations) and <math>A / f_i A</math> is flat over ''R'' and such that they are compatible.

== An effective Cartier divisor as the zero-locus of a section of a line bundle ==
Let ''L'' be a line bundle on ''X'' and ''s'' a section of it such that <math>s: \mathcal{O}_X \hookrightarrow L</math> (in other words, ''s'' is a <math>\mathcal{O}_X(U)</math>-[[zero divisor|regular element]] for any open subset ''U''.)

Choose some open cover <math>\{ U_i \}</math> of ''X'' such that <math>L|_{U_i} \simeq \mathcal{O}_X|_{U_i}</math>. For each ''i'', through the isomorphisms, the restriction <math>s|_{U_i}</math> corresponds to a nonzerodivisor <math>f_i</math> of <math>\mathcal{O}_X(U_i)</math>. Now, define the closed subscheme <math>\{ s = 0 \}</math> of ''X'' (called the '''zero-locus of the section''' ''s'') by
:<math>\{ s = 0 \} \cap U_i = \{ f_i = 0 \},</math>
where the right-hand side means the closed subscheme of <math>U_i</math> given by the ideal sheaf generated by <math>f_i</math>. This is well-defined (i.e., they agree on the overlaps) since <math>f_i/f_j|_{U_i \cap U_j}</math> is a unit element. For the same reason, the closed subscheme <math>\{ s = 0 \}</math> is independent of the choice of local trivializations.

Equivalently, the zero locus of ''s'' can be constructed as a fiber of a morphism; namely, viewing ''L'' as the total space of it, the section ''s'' is a ''X''-morphism of ''L'': a morphism <math>s: X \to L</math> such that ''s'' followed by <math>L \to X</math> is the identity. Then <math>\{ s = 0 \}</math> may be constructed as the fiber product of ''s'' and the zero-section embedding <math>s_0: X \to L</math>.

Finally, when <math>\{ s = 0 \}</math> is flat over the base scheme ''S'', it is an effective Cartier divisor on ''X'' over ''S''. Furthermore, this construction exhausts all effective Cartier divisors on ''X'' as follows. Let ''D'' be an effective Cartier divisor and <math>I(D)</math> denote the ideal sheaf of ''D''. Because of locally-freeness, taking <math>I(D)^{-1} \otimes_{\mathcal{O}_X} -</math> of <math>0 \to I(D) \to \mathcal{O}_X \to \mathcal{O}_D \to 0</math> gives the exact sequence
:<math>0 \to \mathcal{O}_X \to I(D)^{-1} \to I(D)^{-1} \otimes \mathcal{O}_D \to 0</math>
In particular, 1 in <math>\Gamma(X, \mathcal{O}_X)</math> can be identified with a section in <math>\Gamma(X, I(D)^{-1})</math>, which we denote by <math>s_D</math>.

Now we can repeat the early argument with <math>L = I(D)^{-1}</math>. Since ''D'' is an effective Cartier divisor, ''D'' is locally of the form <math>\{ f = 0 \}</math> on <math>U = \operatorname{Spec}(A)</math> for some nonzerodivisor ''f'' in ''A''. The trivialization <math>L|_U = Af^{-1} \overset{\sim}\to A</math> is given by multiplication by ''f''; in particular, 1 corresponds to ''f''. Hence, the zero-locus of <math>s_D</math> is ''D''.

== Properties ==
*If ''D'' and ''D' '' are effective Cartier divisors, then the sum <math>D + D'</math> is the effective Cartier divisor defined locally as <math>fg = 0</math> if ''f'', ''g'' give local equations for ''D'' and ''D' ''.
*If ''D'' is an effective Cartier divisor and <math>R \to R'</math> is a ring homomorphism, then <math>D \times_R R'</math> is an effective Cartier divisor in <math>X \times_R R'</math>.
*If ''D'' is an effective Cartier divisor and <math>f: X' \to X</math> a flat morphism over ''R'', then <math>D' = D \times_X X'</math> is an effective Cartier divisor in ''X' '' with the ideal sheaf <math>I(D') = f^* (I(D))</math>.

== Examples ==
=== Hyperplane bundle ===

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

A closed subscheme ''D'' of ''X'' is finite, flat and [[morphism of finite presentation|of finite presentation]] if and only if it is an effective Cartier divisor that is proper over ''R''.<ref>{{harvnb|Katz|Mazur|1985|loc=Lemma 1.2.3.}}</ref>

== Weil divisors associated to effective Cartier divisors ==
Given an effective Cartier divisor ''D'', there are two equivalent ways to associate Weil divisor <math>[D]</math> to it.

== Notes ==
{{reflist}}

== References ==
*{{cite book
  | last1 = Katz
  | first1 = Nicholas M
  | authorlink1 = Nick Katz
  | last2=Mazur
  |first2=Barry 
  |authorlink2=Barry Mazur 
  | title = Arithmetic Moduli of Elliptic Curves
  | publisher = [[Princeton University Press]]
  | year = 1985
  | location =
  | pages =
  | url =
  | doi =
  | id =
  | isbn =0-691-08352-5 }}

[[Category:Algebraic geometry]]