|
4 |
title
|
||
Extra principal Cartier divisors on non-Noetherian rings? (answered: no!) |
||||
|
3 | follow-up to comments; added 8 characters in body | ||
Extra principal Cartier divisors on non-Noetherian rings?On the way to defining Cartier divisors on a scheme $X$, one sheafifies a pre-sheaf (ETA: See Georges Elencwajg's answer for Kleiman's article on why $Frac(\mathcal{O}(U))$ doesn't define an actual presheaf. The correct base-free way to make a presheaf $\mathcal{K}'$ is to let $S(U)$ be the elements of Have you ever wondered what this sheaf does on affine opens? That's how I usually grasp what a sheaf "really is", but Hartshorne's Algebraic Geometry (Definition 6.11-, p. 141) doesn't tell us. The answer is non-trivial, but turns out to be nice for lots of nice rings. Q. Liu's Algebraic Geometry and Arithmetic Curves shows that:
So for $A$ non-Noetherian, we could be getting some extra elements, and presumably, they could be units. In other words, we could have principal Cartier divisors that don't come from $Frac(A)$. Does anyone know Is there an example where this happens? Follow-up: Thanks to BCnrd's proof below, so we the answer is "no": even though $\mathcal{K}(Spec(A))$ cansee what they're like? be strictly larger than $Frac(A)$, it can't contain additional units, so there are no such extra principal divisors! Footnotes: 1 Here "Frac" means inverting the non-zero divisors of the ring; I'm not assuming anything is a domain. |
||||
|
2 | removed second footnote; it was incorrect, the constructions are the same. | ||
|
On the way to defining Cartier divisors on a scheme $X$, one sheafifies a pre-sheaf of rings Have you ever wondered what this sheaf does on affine opens? That's how I usually grasp what a sheaf "really is", but Hartshorne's Algebraic Geometry (Definition 6.11-, p. 141) doesn't tell us. The answer is non-trivial, but turns out to be nice for lots of nice rings. Q. Liu's Algebraic Geometry and Arithmetic Curves2 shows that:
So for $A$ non-Noetherian, we could be getting some extra elements, and presumably, they could be units. In other words, we could have principal Cartier divisors that don't come from $Frac(A)$. Does anyone know an example where this happens, so we can see what they're like? Footnotes: 1 Here "Frac" means inverting the non-zero divisors of the ring; I'm not assuming anything is a domain. 2 Liu doesn't sheafify the same presheaf of rings that Hartshorne does to get $\mathcal{K}$, but their two presheaves agree on affine opens (Liu Ch.7 Lemma 1.12 ... basically, being a non-zerodivisor on an affine is stalk-local), so the resulting sheaves $\mathcal{K}$ are the same. |
||||
|
1 |
|
||

