The Stacks project

Lemma 82.17.2. In Situation 82.2.1 let $X/B$ be good. Assume $X$ is integral and $n = \dim _\delta (X)$. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. Let $s \in \Gamma (X, \mathcal{L})$ be a nonzero global section. Then

\[ \text{div}_\mathcal {L}(s) = [Z(s)]_{n - 1} \]

in $Z_{n - 1}(X)$ and

\[ c_1(\mathcal{L}) \cap [X] = [Z(s)]_{n - 1} \]

in $\mathop{\mathrm{CH}}\nolimits _{n - 1}(X)$.

Proof. Let $Z \subset X$ be an integral closed subspace of $\delta $-dimension $n - 1$. Let $\xi \in |Z|$ be its generic point. To prove the first equality we compare the coefficients of $Z$ on both sides. Choose an elementary étale neighbourhood $(U, u) \to (X, \xi )$, see Decent Spaces, Section 68.11 and recall that $\mathcal{O}_{X, \xi }^ h = \mathcal{O}_{U, u}^ h$ in this case. After replacing $U$ by an open neighbourhood of $u$ we may assume there is a trivializing section $s_ U$ of $\mathcal{L}|_ U$. Write $s|_ U = f s_ U$ for some $f \in \Gamma (U, \mathcal{O}_ U)$. Then $Z \times _ X U$ is equal to $V(f)$ as a closed subscheme of $U$, see Divisors on Spaces, Definition 71.7.6. As in Spaces over Fields, Section 72.7 denote $\mathcal{L}_\xi $ the pullback of $\mathcal{L}$ under the canonical morphism $c_\xi : \mathop{\mathrm{Spec}}(\mathcal{O}_{X, \xi }^ h) \to X$. Denote $s_\xi $ the pullback of $s_ U$; it is a trivialization of $\mathcal{L}_\xi $. Then we see that $c_\xi ^*(s) = fs_\xi $. The coefficient of $Z$ in $[Z(s)]_{n - 1}$ is by definition

\[ \text{length}_{\mathcal{O}_{U, u}}(\mathcal{O}_{U, u}/f\mathcal{O}_{U, u}) \]

Since $\mathcal{O}_{U, u} \to \mathcal{O}_{X, \xi }^ h$ is flat and identifies residue fields this is equal to

\[ \text{length}_{\mathcal{O}_{X, \xi }^ h} (\mathcal{O}_{X, \xi }^ h/f\mathcal{O}_{X, \xi }^ h) \]

by Algebra, Lemma 10.52.13. This final quantity is equal to $\text{ord}_{Z, \mathcal{L}}(s)$ by Spaces over Fields, Definition 72.7.1, i.e., to the coefficient of $Z$ in $\text{div}_\mathcal {L}(s)$ as desired. $\square$


Comments (0)


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 0EQF. Beware of the difference between the letter 'O' and the digit '0'.