algebraic equivalence of divisors
Let be a surface (a two-dimensional algebraic variety).
Definition 1.
- 1.
An algebraic family of effective divisors on parametrized by a non-singular
curve is defined to be an effective Cartier divisor on which is flat over .
- 2.
If is an algebraic family of effective divisors on , parametrized by a non-singular curve , and are any two closed points on , then we say that the corresponding divisors in , , are prealgebraically equivalent
.
- 3.
Two (Weil) divisors on are algebraically equivalent if there is a finite sequence
with and prealgebraically equivalent for all .