Lemma 82.19.1. In Situation 82.2.1 let $X, Y/B$ be good. Let $f : X \to Y$ be a flat morphism of relative dimension $r$. Let $\mathcal{L}$ be an invertible sheaf on $Y$. Assume $Y$ is integral and $n = \dim _\delta (Y)$. Let $s$ be a nonzero meromorphic section of $\mathcal{L}$. Then we have
\[ f^*\text{div}_\mathcal {L}(s) = \sum n_ i\text{div}_{f^*\mathcal{L}|_{X_ i}}(s_ i) \]
in $Z_{n + r - 1}(X)$. Here the sum is over the irreducible components $X_ i \subset X$ of $\delta $-dimension $n + r$, the section $s_ i = f|_{X_ i}^*(s)$ is the pullback of $s$, and $n_ i = m_{X_ i, X}$ is the multiplicity of $X_ i$ in $X$.
Proof.
Using sleight of hand we will deduce this from Lemma 82.16.1. (An alternative is to redo the proof of that lemma in the setting of meromorphic sections of invertible modules.) Namely, let $q : T \to Y$ be the morphism of Lemma 82.17.3 constructed using $\mathcal{L}$ on $Y$. We will use all the properties of $T$ stated in this lemma. Consider the fibre product diagram
\[ \xymatrix{ T' \ar[r]_{q'} \ar[d]_ h & X \ar[d]^ f \\ T \ar[r]^ q & Y } \]
Then $q' : T' \to X$ is the morphism constructed using $f^*\mathcal{L}$ on $X$. Then it suffices to prove
\[ (q')^*f^*\text{div}_\mathcal {L}(s) = \sum n_ i (q')^*\text{div}_{f^*\mathcal{L}|_{X_ i}}(s_ i) \]
Observe that $T'_ i = q^{-1}(X_ i)$ are the irreducible components of $T'$ and that $n_ i$ is the multiplicity of $T'_ i$ in $T'$. The left hand side is equal to
\[ h^*q^*\text{div}_\mathcal {L}(s) = h^*\text{div}_ T(q^*(s)) \]
by Lemma 82.17.4 (and Lemma 82.10.4). On the other hand, denoting $q'_ i : T'_ i \to X_ i$ the restriction of $q'$ we find that Lemma 82.17.4 also tells us the right hand side is equal to
\[ \sum n_ i \text{div}_{T_ i}((q'_ i)^*(s_ i)) \]
In these two formulas the expressions $q^*(s)$ and $(q'_ i)^*(s_ i)$ represent the rational functions corresponding to the pulled back meromorphic sections of $q^*\mathcal{L}$ and $(q'_ i)^*f^*\mathcal{L}|_{X_ i}$ via the isomorphism $\alpha : q^*\mathcal{L} \to \mathcal{O}_ T$ and its pullbacks to spaces over $T$. With this convention it is clear that $(q'_ i)^*(s_ i)$ is the composition of the rational function $q^*(s)$ on $T$ and the morphism $h|_{T'_ i} : T'_ i \to T$. Thus Lemma 82.16.1 exactly says that
\[ h^*\text{div}_ T(q^*(s)) = \sum n_ i \text{div}_{T_ i}((q'_ i)^*(s_ i)) \]
as desired.
$\square$
Comments (0)