The Stacks project

Lemma 31.24.2. Let $X$ be a locally Noetherian scheme.

  1. For any $x \in X$ we have $\mathcal{S}_ x \subset \mathcal{O}_{X, x}$ is the set of nonzerodivisors, and hence $\mathcal{K}_{X, x}$ is the total quotient ring of $\mathcal{O}_{X, x}$.

  2. For any affine open $U \subset X$ the ring $\mathcal{K}_ X(U)$ equals the total quotient ring of $\mathcal{O}_ X(U)$.

Proof. To prove this lemma we may assume $X$ is the spectrum of a Noetherian ring $A$. Say $x \in X$ corresponds to $\mathfrak p \subset A$.

Proof of (1). It is clear that $\mathcal{S}_ x$ is contained in the set of nonzerodivisors of $\mathcal{O}_{X, x} = A_\mathfrak p$. For the converse, let $f, g \in A$, $g \not\in \mathfrak p$ and assume $f/g$ is a nonzerodivisor in $A_{\mathfrak p}$. Let $I = \{ a \in A \mid af = 0\} $. Then we see that $I_{\mathfrak p} = 0$ by exactness of localization. Since $A$ is Noetherian we see that $I$ is finitely generated and hence that $g'I = 0$ for some $g' \in A$, $g' \not\in \mathfrak p$. Hence $f$ is a nonzerodivisor in $A_{g'}$, i.e., in a Zariski open neighbourhood of $\mathfrak p$. Thus $f/g$ is an element of $\mathcal{S}_ x$.

Proof of (2). Let $f \in \Gamma (X, \mathcal{K}_ X)$ be a meromorphic function. Set $I = \{ a \in A \mid af \in A\} $. Fix a prime $\mathfrak p \subset A$ corresponding to the point $x \in X$. By (1) we can write the image of $f$ in the stalk at $\mathfrak p$ as $a/b$, $a, b \in A_{\mathfrak p}$ with $b \in A_{\mathfrak p}$ not a zerodivisor. Write $b = c/d$ with $c, d \in A$, $d \not\in \mathfrak p$. Then $ad - cf$ is a section of $\mathcal{K}_ X$ which vanishes in an open neighbourhood of $x$. Say it vanishes on $D(e)$ with $e \in A$, $e \not\in \mathfrak p$. Then $e^ n(ad - cf) = 0$ for some $n \gg 0$ by Lemma 31.24.1. Thus $e^ nc \in I$ and $e^ nc$ maps to a nonzerodivisor in $A_{\mathfrak p}$. Let $\text{Ass}(A) = \{ \mathfrak q_1, \ldots , \mathfrak q_ t\} $ be the associated primes of $A$. By looking at $IA_{\mathfrak q_ i}$ and using Algebra, Lemma 10.63.15 the above says that $I \not\subset \mathfrak q_ i$ for each $i$. By Algebra, Lemma 10.15.2 there exists an element $x \in I$, $x \not\in \bigcup \mathfrak q_ i$. By Algebra, Lemma 10.63.9 we see that $x$ is not a zerodivisor on $A$. Hence $f = (xf)/x$ is an element of the total ring of fractions of $A$. This proves (2). $\square$

Comments (4)

Comment #109 by Tim on

"Hence, clearing denominators, we find there exists an element such that maps to a nonzerodivisor on ."

It is obvious that we can find such that the stalk of is in (or the same in a neighbourhood of ), but how to find in ? Maybe I'm missing something obvious.

Comment #111 by on

Yes, you are completely correct. I've fixed it by adding a lemma and rewriting the proof. To see this, take a look at Tag 31.23. Let me know if there is still a problem.

Comment #8868 by Branislav Sobot on

You use in the proof both to denote a point and an element of ideal . There is no confusion, but I guess it would be nice to change one of those.

There are also:

  • 2 comment(s) on Section 31.24: Meromorphic functions and sections; Noetherian case

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 02OV. Beware of the difference between the letter 'O' and the digit '0'.