As a rule, the various groups and quotients of the divisor group on a variety have coefficients in $mathbb{Z}$. That is, you take $mathbb{Z}$-linear combinations of Weil divisors or Cartier divisors, and then to construct other groups you take quotients.
However, in some cases, people tensor with $mathbb{Q}$ and $mathbb{R}$. So my question is:
Are these the only rings that people use as coefficients for divisors on a variety?
My vague intuition is that it probably is, because $mathbb{Z}$ is initial in commutative rings with identity, $mathbb{Q}$ is a field of characteristic zero, so we can use it to kill torsion, and $mathbb{R}$ is complete, so we can guarantee that there is an $mathbb{R}$-divisor, plus with orbifolds, rational coefficients seem to show up naturally. But is this it? More generally, what about for cycles and cocycles? There's an analogy with cohomology and the Chow ring, and we do sometimes take cohomology with coefficients either in an arbitrary ring or in some other rings (finite fields, for instance, when studying things like nonorientable manifolds), which is why I started wondering about this.
No comments:
Post a Comment