Intersection Theory Class 7


I’d like to make something more explicit than I have. An effective Cartier divisor on a scheme is a closed subscheme locally cut out by one function, and that function is not a zero-divisor. (Translation: the zero-set does not contain any associated points.) PicX = group of line bundles = Cartier divisors modulo linear equivalence = Cartier divisors modulo principal Cartier divisors. We get a map from Cartier divisors to Weil divisors that descends to PicX → AdimX−1X.

Cite this paper

@inproceedings{Vakil2004IntersectionTC, title={Intersection Theory Class 7}, author={Ravi Vakil}, year={2004} }