Lemma 72.6.5. Let $S$ be a scheme. Let $X$ be a locally Noetherian integral algebraic space over $S$. Let $f \in R(X)^*$. If the prime divisor $Z \subset X$ meets the schematic locus of $X$, then the order of vanishing $\text{ord}_ Z(f)$ of Definition 72.6.4 agrees with the order of vanishing of Divisors, Definition 31.26.3.
Proof. After shrinking $X$ we may assume $X$ is an integral Noetherian scheme. If $\xi \in Z$ denotes the generic point, then we find that $\mathcal{O}_{X, \xi }^ h$ is the henselization of $\mathcal{O}_{X, \xi }$ (Decent Spaces, Lemma 68.11.8). To prove the lemma it suffices and is necessary to show that
\[ \text{length}_{\mathcal{O}_{X, \xi }} (\mathcal{O}_{X, \xi }/a \mathcal{O}_{X, \xi }) = \text{length}_{\mathcal{O}_{X, \xi }^ h} (\mathcal{O}_{X, \xi }^ h/a \mathcal{O}_{X, \xi }^ h) \]
This follows immediately from Algebra, Lemma 10.52.13 (and the fact that $\mathcal{O}_{X, \xi } \to \mathcal{O}_{X, \xi }^ h$ is a flat local ring homomorphism of local Noetherian rings). $\square$
Post a comment
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)