So, I’ve been a bad math blogger. I’ve been identifying a bunch of different classes of things that we can really only identify on nice algebraic schemes. Things like smooth varieties (where I’ve grabbed all of my examples). There are actually three different classes of “codimension one gadgets” that I’ve been treating as interchangeable. So today I’m going to talk about them, and why they aren’t quite the same thing.
The first class is the most basic. We say that a Weil Divisor on is an element of
, where
. That’s it.
Next up: Cartier divisors. These are collections such that the
cover
,
is a nonzero function on
, and on the overlaps the ratios are nowhere vanishing. So if
is a subvariety of
of codimension one, we define
to be
for any local equation on an open set containing some point of
.
Now, every Cartier divisor defines a Weil divisor by . This is NOT an isomorphism in general, however. It just gives a map from
, where the first is the group of Cartier divisors.
Example: Let be a quadric cone in
, and
a line through the singular point. Then
is a Weil divisor (it’s definitely a cycle of codimension 1) but it is NOT a Cartier divisor.
The relation between Cartier and Weil divisors is part of the basic theory of algebraic geometry, as is the relation between Cartier divisors and line bundles.
The last gadget is the Pseudo-Divisor. These are triples where
is a line bundle,
is a closed subset of
, and
is a nowhere vanishing section on
on
. We call the terms the line bundle, the support and the section. Two such objects are the same if they have the same support and there is an isomorphism of line bundles taking one section to the other.
Any Cartier divisor gives a Pseudo-Divisor by , and we say that
represents this Pseudo-Divisor. Now, note that we can have
larger than
. So if
, then all linearly equivalent Cartier divisors represent the same Pseudo-divisor.
Now, any Pseudo-divisor gives a Weil divisor in
on its support by taking a Cartier divisor that represents
(there always is one) and taking its associated Weil divisor.
Now, all these maps actually give us objects in of things, not just in
. So everything is a Weil divisor, and some things are Cartier divisors or Pseudo-divisors, which are just rigidified Cartier divisors. So going forward, we’re going to have all of these objects floating around, but most of the time, it will be an exercise to distinguish them (when it’s not terribly important, we’ll just refer to a “divisor”).