Lemma 81.17.4. In Situation 81.2.1 let $X/B$ be good. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. Assume $X$ is integral. Let $s$ be a nonzero meromorphic section of $\mathcal{L}$. Let $q : T \to X$ be the morphism of Lemma 81.17.3. Then

$q^*\text{div}_\mathcal {L}(s) = \text{div}_ T(q^*(s))$

where we view the pullback $q^*(s)$ as a nonzero meromorphic function on $T$ using the isomorphism $q^*\mathcal{L} \to \mathcal{O}_ T$

Proof. Observe that $\text{div}_ T(q^*(s)) = \text{div}_{\mathcal{O}_ T}(q^*(s))$ by the compatibility between the constructions given in Spaces over Fields, Sections 71.6 and 71.7. We will show the agreement with $\text{div}_{\mathcal{O}_ T}(q^*(s))$ in this proof. We will use all the properties of $q : T \to X$ stated in Lemma 81.17.3 without further mention. Let $Z \subset T$ be a prime divisor. Then either $Z \to X$ is dominant or $Z = q^{-1}(Z')$ for some prime divisor $Z' \subset X$. If $Z \to X$ is dominant, then the coefficient of $Z$ in either side of the equality of the lemma is zero. Thus we may assume $Z = q^{-1}(Z')$ where $Z' \subset X$ is a prime divisor. Let $\xi ' \in |Z'|$ and $\xi \in |Z|$ be the generic points. Then we obtain a commutative diagram

$\xymatrix{ \mathop{\mathrm{Spec}}(\mathcal{O}_{T, \xi }^ h) \ar[r]_-{c_\xi } \ar[d]_ h & T \ar[d]^ q \\ \mathop{\mathrm{Spec}}(\mathcal{O}_{X, \xi '}^ h) \ar[r]^-{c_{\xi '}} & X }$

see Decent Spaces, Remark 67.11.11. Choose a trivialization $s_{\xi '}$ of $\mathcal{L}_{\xi '} = c_{\xi '}^*\mathcal{L}$. Then we can use the pullback $s_\xi$ of $s_{\xi '}$ via $h$ as our trivialization of $\mathcal{L}_\xi = c_\xi ^* q^*\mathcal{L}$. Write $s/s_{\xi '} = a/b$ for $a, b \in \mathcal{O}_{X, \xi '}$ nonzerodivisors. By definition the coefficient of $Z'$ in $\text{div}_\mathcal {L}(s)$ is

$\text{length}_{\mathcal{O}_{X, \xi '}^ h}( \mathcal{O}_{X, \xi '}^ h/a \mathcal{O}_{X, \xi '}^ h) - \text{length}_{\mathcal{O}_{X, \xi '}^ h}( \mathcal{O}_{X, \xi '}^ h/b \mathcal{O}_{X, \xi '}^ h)$

Since $Z = q^{-1}(Z')$, this is also the coefficient of $Z$ in $q^*\text{div}_\mathcal {L}(s)$. Since $\mathcal{O}_{X, \xi '}^ h \to \mathcal{O}_{T, \xi }^ h$ is flat the elements $a, b$ map to nonzerodivisors in $\mathcal{O}_{T, \xi }^ h$. Thus $q^*(s)/s_\xi = a/b$ in the total quotient ring of $\mathcal{O}_{T, \xi }^ h$. By definition the coefficient of $Z$ in $\text{div}_ T(q^*(s))$ is

$\text{length}_{\mathcal{O}_{T, \xi }^ h}( \mathcal{O}_{T, \xi }^ h/a \mathcal{O}_{T, \xi }^ h) - \text{length}_{\mathcal{O}_{T, \xi }^ h}( \mathcal{O}_{T, \xi }^ h/b \mathcal{O}_{T, \xi }^ h)$

The proof is finished because these lengths are the same as before by Algebra, Lemma 10.52.13 and the fact that $\mathfrak m_\xi ^ h = \mathfrak m_{\xi '}^ h\mathcal{O}_{T, \xi }^ h$ shown in Lemma 81.17.3. $\square$

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