The Stacks project

42.67 Change of base scheme

In this section we explain how to compare theories for different base schemes.

Situation 42.67.1. Here $(S, \delta )$ and $(S', \delta ')$ are as in Situation 42.7.1. Furthermore $g : S' \to S$ is a flat morphism of schemes and $c \in \mathbf{Z}$ is an integer such that: for all $s \in S$ and $s' \in S'$ a generic point of an irreducible component of $g^{-1}(\{ s\} )$ we have $\delta (s') = \delta (s) + c$.

We will see that for a scheme $X$ locally of finite type over $S$ there is a well defined map $\mathop{\mathrm{CH}}\nolimits _ k(X) \to \mathop{\mathrm{CH}}\nolimits _{k + c}(X \times _ S S')$ of Chow groups which (by and large) commutes with the operations we have defined in this chapter.

Lemma 42.67.2. In Situation 42.67.1 let $X \to S$ be locally of finite type. Denote $X' \to S'$ the base change by $S' \to S$. If $X$ is integral with $\dim _\delta (X) = k$, then every irreducible component $Z'$ of $X'$ has $\dim _{\delta '}(Z') = k + c$,

Proof. The projection $X' \to X$ is flat as a base change of the flat morphism $S' \to S$ (Morphisms, Lemma 29.25.8). Hence every generic point $x'$ of an irreducible component of $X'$ maps to the generic point $x \in X$ (because generalizations lift along $X' \to X$ by Morphisms, Lemma 29.25.9). Let $s \in S$ be the image of $x$. Recall that the scheme $S'_ s = S' \times _ S s$ has the same underlying topological space as $g^{-1}(\{ s\} )$ (Schemes, Lemma 26.18.5). We may view $x'$ as a point of the scheme $S'_ s \times _ s x$ which comes equipped with a monomorphism $S'_ s \times _ s x \to S' \times _ S X$. Of course, $x'$ is a generic point of an irreducible component of $S'_ s \times _ s x$ as well. Using the flatness of $\mathop{\mathrm{Spec}}(\kappa (x)) \to \mathop{\mathrm{Spec}}(\kappa (s)) = s$ and arguing as above, we see that $x'$ maps to a generic point $s'$ of an irreducible component of $g^{-1}(\{ s\} )$. Hence $\delta '(s') = \delta (s) + c$ by assumption. We have $\dim _ x(X_ s) = \dim _{x'}(X_{s'})$ by Morphisms, Lemma 29.28.3. Since $x$ is a generic point of an irreducible component $X_ s$ (this is an irreducible scheme but we don't need this) and $x'$ is a generic point of an irreducible component of $X'_{s'}$ we conclude that $\text{trdeg}_{\kappa (s)}(\kappa (x)) = \text{trdeg}_{\kappa (s')}(\kappa (x'))$ by Morphisms, Lemma 29.28.1. Then

\[ \delta _{X'/S'}(x') = \delta (s') + \text{trdeg}_{\kappa (s')}(\kappa (x')) = \delta (s) + c + \text{trdeg}_{\kappa (s)}(\kappa (x)) = \delta _{X/S}(x) + c \]

This proves what we want by Definition 42.7.6. $\square$

In Situation 42.67.1 let $X \to S$ be locally of finite type. Denote $X' \to S'$ the base change by $g : S' \to S$. There is a unique homomorphism

\[ g^* : Z_ k(X) \longrightarrow Z_{k + c}(X') \]

which given an integral closed subscheme $Z \subset X$ of $\delta $-dimension $k$ sends $[Z]$ to $[Z \times _ S S']_{k + c}$. This makes sense by Lemma 42.67.2.

Lemma 42.67.3. In Situation 42.67.1 let $X \to S$ locally of finite type and let $X' \to S$ be the base change by $S' \to S$.

  1. Let $Z \subset X$ be a closed subscheme with $\dim _\delta (Z) \leq k$ and base change $Z' \subset X'$. Then we have $\dim _{\delta '}(Z')) \leq k + c$ and $[Z']_{k + c} = g^*[Z]_ k$ in $Z_{k + c}(X')$.

  2. Let $\mathcal{F}$ be a coherent sheaf on $X$ with $\dim _\delta (\text{Supp}(\mathcal{F})) \leq k$ and base change $\mathcal{F}'$ on $X'$. Then we have $\dim _\delta (\text{Supp}(\mathcal{F}')) \leq k + c$ and $g^*[\mathcal{F}]_ k = [\mathcal{F}']_{k + c}$ in $Z_{k + c}(X')$.

Proof. The proof is exactly the same is the proof of Lemma 42.14.4 and we suggest the reader skip it.

The statements on dimensions follow from Lemma 42.67.2. Part (1) follows from part (2) by Lemma 42.10.3 and the fact that the base change of the coherent module $\mathcal{O}_ Z$ is $\mathcal{O}_{Z'}$.

Proof of (2). As $X$, $X'$ are locally Noetherian we may apply Cohomology of Schemes, Lemma 30.9.1 to see that $\mathcal{F}$ is of finite type, hence $\mathcal{F}'$ is of finite type (Modules, Lemma 17.9.2), hence $\mathcal{F}'$ is coherent (Cohomology of Schemes, Lemma 30.9.1 again). Thus the lemma makes sense. Let $W \subset X$ be an integral closed subscheme of $\delta $-dimension $k$, and let $W' \subset X'$ be an integral closed subscheme of $\delta '$-dimension $k + c$ mapping into $W$ under $X' \to X$. We have to show that the coefficient $n$ of $[W']$ in $g^*[\mathcal{F}]_ k$ agrees with the coefficient $m$ of $[W']$ in $[\mathcal{F}']_{k + c}$. Let $\xi \in W$ and $\xi ' \in W'$ be the generic points. Let $A = \mathcal{O}_{X, \xi }$, $B = \mathcal{O}_{X', \xi '}$ and set $M = \mathcal{F}_\xi $ as an $A$-module. (Note that $M$ has finite length by our dimension assumptions, but we actually do not need to verify this. See Lemma 42.10.1.) We have $\mathcal{F}'_{\xi '} = B \otimes _ A M$. Thus we see that

\[ n = \text{length}_ B(B \otimes _ A M) \quad \text{and} \quad m = \text{length}_ A(M) \text{length}_ B(B/\mathfrak m_ AB) \]

Thus the equality follows from Algebra, Lemma 10.52.13. $\square$

Lemma 42.67.4. In Situation 42.67.1 let $X \to S$ be locally of finite type and let $X' \to S'$ be the base change by $S' \to S$. The map $g^* : Z_ k(X) \to Z_{k + c}(X')$ above factors through rational equivalence to give a map

\[ g^* : \mathop{\mathrm{CH}}\nolimits _ k(X) \longrightarrow \mathop{\mathrm{CH}}\nolimits _{k + c}(X') \]

of chow groups.

Proof. Suppose that $\alpha \in Z_ k(X)$ is a $k$-cycle which is rationally equivalent to zero. By Lemma 42.21.1 there exists a locally finite family of integral closed subschemes $W_ i \subset X \times \mathbf{P}^1$ of $\delta $-dimension $k$ not contained in the divisors $(X \times \mathbf{P}^1)_0$ or $(X \times \mathbf{P}^1)_\infty $ of $X \times \mathbf{P}^1$ such that $\alpha = \sum ([(W_ i)_0]_ k - [(W_ i)_\infty ]_ k)$. Thus it suffices to prove for $W \subset X \times \mathbf{P}^1$ integral closed of $\delta $-dimension $k$ not contained in the divisors $(X \times \mathbf{P}^1)_0$ or $(X \times \mathbf{P}^1)_\infty $ of $X \times \mathbf{P}^1$ we have

  1. the base change $W' \subset X' \times \mathbf{P}^1$ satisfies the assumptions of Lemma 42.21.2 with $k$ replaced by $k + c$, and

  2. $g^*[W_0]_ k = [(W')_0]_{k + c}$ and $g^*[W_\infty ]_ k = [(W')_\infty ]_{k + c}$.

Part (2) follows immediately from Lemma 42.67.3 and the fact that $(W')_0$ is the base change of $W_0$ (by associativity of fibre products). For part (1), first the statement on dimensions follows from Lemma 42.67.2. Then let $w' \in (W')_0$ with image $w \in W_0$ and $z \in \mathbf{P}^1_ S$. Denote $t \in \mathcal{O}_{\mathbf{P}^1_ S, z}$ the usual equation for $0 : S \to \mathbf{P}^1_ S$. Since $\mathcal{O}_{W, w} \to \mathcal{O}_{W', w'}$ is flat and since $t$ is a nonzerodivisor on $\mathcal{O}_{W, w}$ (as $W$ is integral and $W \not= W_0$) we see that also $t$ is a nonzerodivisor in $\mathcal{O}_{W', w'}$. Hence $W'$ has no associated points lying on $W'_0$. $\square$

Lemma 42.67.5. In Situation 42.67.1 let $Y \to X \to S$ be locally of finite type and let $Y' \to X' \to S'$ be the base change by $S' \to S$. Assume $f : Y \to X$ is flat of relative dimension $r$. Then $f' : Y' \to X'$ is flat of relative dimension $r$ and the diagrams

\[ \vcenter { \xymatrix{ Z_{k + r}(Y) \ar[r]_{g^*} & Z_{k + c + r}(Y') \\ Z_ k(X) \ar[r]^{g^*} \ar[u]^{(f')^*} & Z_{k + c}(X') \ar[u]_{f^*} } } \quad \text{and}\quad \vcenter { \xymatrix{ \mathop{\mathrm{CH}}\nolimits _{k + r}(Y) \ar[r]_{g^*} & \mathop{\mathrm{CH}}\nolimits _{k + c + r}(Y') \\ \mathop{\mathrm{CH}}\nolimits _ k(X) \ar[r]^{g^*} \ar[u]^{(f')^*} & \mathop{\mathrm{CH}}\nolimits _{k + c}(X') \ar[u]_{f^*} } } \]

of cycle and chow groups commutes.

Proof. It suffices to show the first diagram commutes. To see this, let $Z \subset X$ be an integral closed subscheme of $\delta $-dimension $k$ and denote $Z' \subset X'$ its base change. By construction we have $g^*[Z] = [Z']_{k + c}$. By Lemma 42.14.4 we have $(f')^*g^*[Z] = [Z' \times _{X'} Y']_{k + c + r}$. Conversely, we have $f^*[Z] = [Z \times _ X Y]_{k + r}$ by Definition 42.14.1. By Lemma 42.67.3 we have $g^*f^*[Z] = [(Z \times _ X Y)']_{k + r + c}$. Since $(Z \times _ X Y)' = Z' \times _{X'} Y'$ by associativity of fibre product we conclude. $\square$

Lemma 42.67.6. In Situation 42.67.1 let $Y \to X \to S$ be locally of finite type and let $Y' \to X' \to S'$ be the base change by $S' \to S$. Assume $f : Y \to X$ is proper. Then $f' : Y' \to X'$ is proper and the diagram

\[ \vcenter { \xymatrix{ Z_ k(Y) \ar[r]_{g^*} \ar[d]_{f_*} & Z_{k + c}(Y') \ar[d]^{f'_*} \\ Z_ k(X) \ar[r]^{g^*} & Z_{k + c}(X') } } \quad \text{and}\quad \vcenter { \xymatrix{ \mathop{\mathrm{CH}}\nolimits _ k(Y) \ar[r]_{g^*} \ar[d]_{f_*} & \mathop{\mathrm{CH}}\nolimits _{k + c}(Y') \ar[d]^{f'_*} \\ \mathop{\mathrm{CH}}\nolimits _ k(X) \ar[r]^{g^*} & \mathop{\mathrm{CH}}\nolimits _{k + c}(X') } } \]

of cycle and chow groups commutes.

Proof. It suffices to show the first diagram commutes. To see this, let $Z \subset Y$ be an integral closed subscheme of $\delta $-dimension $k$ and denote $Z' \subset X'$ its base change. By construction we have $g^*[Z] = [Z']_{k + c}$. By Lemma 42.12.4 we have $(f')_*g^*[Z] = [f'_*\mathcal{O}_{Z'}]_{k + c}$. By the same lemma we have $f_*[Z] = [f_*\mathcal{O}_ Z]_ k$. By Lemma 42.67.3 we have $g^*f_*[Z] = [(X' \to X)^*f_*\mathcal{O}_ Z]_{k + r}$. Thus it suffices to show that

\[ (X' \to X)^*f_*\mathcal{O}_ Z \cong f'_*\mathcal{O}_{Z'} \]

as coherent modules on $X'$. As $X' \to X$ is flat and as $\mathcal{O}_{Z'} = (Y' \to Y)^*\mathcal{O}_ Z$, this follows from flat base change, see Cohomology of Schemes, Lemma 30.5.2. $\square$

Lemma 42.67.7. In Situation 42.67.1 let $X \to S$ be locally of finite type and let $X' \to S'$ be the base change by $S' \to S$. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module with base change $\mathcal{L}'$ on $X'$. Then the diagram

\[ \xymatrix{ \mathop{\mathrm{CH}}\nolimits _ k(X) \ar[r]_{g^*} \ar[d]_{c_1(\mathcal{L}) \cap -} & \mathop{\mathrm{CH}}\nolimits _{k + c}(X') \ar[d]^{c_1(\mathcal{L}') \cap -} \\ \mathop{\mathrm{CH}}\nolimits _{k - 1}(X) \ar[r]^{g^*} & \mathop{\mathrm{CH}}\nolimits _{k + c - 1}(X') } \]

of chow groups commutes.

Proof. Let $p : L \to X$ be the line bundle associated to $\mathcal{L}$ with zero section $o : X \to L$. For $\alpha \in CH_ k(X)$ we know that $\beta = c_1(\mathcal{L}) \cap \alpha $ is the unique element of $\mathop{\mathrm{CH}}\nolimits _{k - 1}(X)$ such that $o_*\alpha = - p^*\beta $, see Lemmas 42.32.2 and 42.32.4. The same characterization holds after pullback. Hence the lemma follows from Lemmas 42.67.5 and 42.67.6. $\square$

Lemma 42.67.8. In Situation 42.67.1 let $X \to S$ be locally of finite type and let $X' \to S'$ be the base change by $S' \to S$. Let $\mathcal{E}$ be a finite locally free $\mathcal{O}_ X$-module of rank $r$ with base change $\mathcal{E}'$ on $X'$. Then the diagram

\[ \xymatrix{ \mathop{\mathrm{CH}}\nolimits _ k(X) \ar[r]_{g^*} \ar[d]_{c_ i(\mathcal{E}) \cap -} & \mathop{\mathrm{CH}}\nolimits _{k + c}(X') \ar[d]^{c_ i(\mathcal{E}') \cap -} \\ \mathop{\mathrm{CH}}\nolimits _{k - i}(X) \ar[r]^{g^*} & \mathop{\mathrm{CH}}\nolimits _{k + c - i}(X') } \]

of chow groups commutes for all $i$.

Proof. Set $P = \mathbf{P}(\mathcal{E})$. The base change $P'$ of $P$ is equal to $\mathbf{P}(\mathcal{E}')$. Since we already know that flat pullback and cupping with $c_1$ of an invertible module commute with base change (Lemmas 42.67.5 and 42.67.7) the lemma follows from the characterization of capping with $c_ i(\mathcal{E})$ given in Lemma 42.38.2. $\square$

Lemma 42.67.9. Let $(S, \delta )$, $(S', \delta ')$, $(S'', \delta '')$ be as in Situation 42.7.1. Let $g : S' \to S$ and $g' : S'' \to S'$ be flat morphisms of schemes and let $c, c' \in \mathbf{Z}$ be integers such that $S, \delta , S', \delta ', g, c$ and $S', \delta ', S'', g', c'$ are as in Situation 42.67.1. Let $X \to S$ be locally of finite type and denote $X' \to S'$ and $X'' \to S''$ the base changes by $S' \to S$ and $S'' \to S$. Then

  1. $S, \delta , S'', \delta '', g \circ g', c + c'$ is as in Situation 42.67.1,

  2. the maps $g^* : Z_ k(X) \to Z_{k + c}(X')$ and $(g')^* : Z_{k + c}(X') \to Z_{k + c + c'}(X'')$ of compose to give the map $(g \circ g')^* : Z_ k(X) \to Z_{k + c + c'}(X'')$, and

  3. the maps $g^* : \mathop{\mathrm{CH}}\nolimits _ k(X) \to \mathop{\mathrm{CH}}\nolimits _{k + c}(X')$ and $(g')^* : \mathop{\mathrm{CH}}\nolimits _{k + c}(X') \to \mathop{\mathrm{CH}}\nolimits _{k + c + c'}(X'')$ of Lemma 42.67.4 compose to give the map $(g \circ g')^* : \mathop{\mathrm{CH}}\nolimits _ k(X) \to \mathop{\mathrm{CH}}\nolimits _{k + c + c'}(X'')$ of Lemma 42.67.4.

Proof. Let $s \in S$ and let $s'' \in S''$ be a generic point of an irreducible component of $(g \circ g')^{-1}(\{ s\} )$. Set $s' = g'(s'')$. Clearly, $s''$ is a generic point of an irreducible component of $(g')^{-1}(\{ s'\} )$. Moreover, since $g'$ is flat and hence generalizations lift along $g'$ (Morphisms, Lemma 29.25.8) we see that also $s'$ is a generic point of an irreducible component of $g^{-1}(\{ s\} )$. Thus by assumption $\delta '(s') = \delta (s) + c$ and $\delta ''(s'') = \delta '(s') + c'$. We conclude $\delta ''(s'') = \delta (s) + c + c'$ and the first part of the statement is true.

For the second part, let $Z \subset X$ be an integral closed subscheme of $\delta $-dimension $k$. Denote $Z' \subset X'$ and $Z'' \subset X''$ the base changes. By definition we have $g^*[Z] = [Z']_{k + c}$. By Lemma 42.67.3 we have $(g')^*[Z']_{k + c} = [Z'']_{k + c + c'}$. This proves the final statement. $\square$

Lemma 42.67.10. In Situation 42.67.1 assume $c = 0$ and assume that $S' = \mathop{\mathrm{lim}}\nolimits _{i \in I} S_ i$ is a filtered limit of schemes $S_ i$ affine over $S$ such that

  1. with $\delta _ i$ equal to $S_ i \to S \xrightarrow {\delta } \mathbf{Z}$ the pair $(S_ i, \delta _ i)$ is as in Situation 42.7.1,

  2. $S_ i, \delta _ i, S, \delta , S \to S_ i, c = 0$ is as in Situation 42.67.1,

  3. $S_ i, \delta _ i, S_{i'}, \delta _{i'}, S_ i \to S_{i'}, c = 0$ for $i \geq i'$ is as in Situation 42.67.1.

Then for a quasi-compact scheme $X$ of finite type over $S$ with base change $X'$ and $X_ i$ by $S' \to S$ and $S_ i \to S$ we have $Z_ k(X') = \mathop{\mathrm{colim}}\nolimits Z_ k(X_ i)$ and $\mathop{\mathrm{CH}}\nolimits _ k(X') = \mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{CH}}\nolimits _ k(X_ i)$.

Proof. By the result of Lemma 42.67.9 we obtain a system of cycle groups $Z_ k(X_ i)$ and a system of chow groups $\mathop{\mathrm{CH}}\nolimits _ k(X_ i)$ as well as maps $\mathop{\mathrm{colim}}\nolimits Z_ k(X_ i) \to Z_ k(X')$ and $\mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{CH}}\nolimits _ i(X_ i) \to \mathop{\mathrm{CH}}\nolimits _ k(X')$. We may replace $S$ by a quasi-compact open through which $X \to S$ factors, hence we may and do assume all the schemes occurring in this proof are Noetherian (and hence quasi-compact and quasi-separated).

Let us show that the map $\mathop{\mathrm{colim}}\nolimits Z_ k(X_ i) \to Z_ k(X')$ is surjective. Namely, let $Z' \subset X'$ be an integral closed subscheme of $\delta '$-dimension $k$. By Limits, Lemma 32.10.1 we can find an $i$ and a morphism $Z_ i \to X_ i$ of finite presentation whose base change is $Z'$. After increasing $i$ we may assume $Z_ i$ is a closed subscheme of $X_ i$, see Limits, Lemma 32.8.5. Then $Z' \to X_ i$ factors through $Z_ i$ and we may replace $Z_ i$ by the scheme theoretic image of $Z' \to X_ i$. In this way we see that we may assume $Z_ i$ is an integral closed subscheme of $X_ i$. By Lemma 42.67.2 we conclude that $\dim _{\delta _ i}(Z_ i) = \dim _{\delta '}(Z') = k$. Thus $Z_ k(X_ i) \to Z_ k(X')$ maps $[Z_ i]$ to $[Z']$ and we conclude surjectivity holds.

Let us show that the map $\mathop{\mathrm{colim}}\nolimits Z_ k(X_ i) \to Z_ k(X')$ is injective. Let $\alpha _ i = \sum n_ j[Z_ j] \in Z_ k(X_ i)$ be a cycle whose image in $Z_ k(X')$ is zero. We may and do assume $Z_ j \not= Z_{j'}$ if $j \not= j'$ and $n_ j \not= 0$ for all $j$. Denote $Z'_ j \subset X'$ the base change of $Z_ j$. By Lemma 42.67.2 each irreducible component of $Z'_ j$ has $\delta '$-dimension $k$. Moreover, as $Z_ j$ is irreducible and $Z'_ j \to Z_ j$ is flat (as the base change of $S' \to S$) we see that $Z'_ j \to Z_ j$ is dominant. Hence if $Z'_ j$ is nonempty, then some irreducible component, say $Z'$, of $Z'_ j$ dominates $Z_ j$. It follows that $Z'$ cannot be an irreducible component of $Z'_{j'}$ for $j' \not= j$. Hence if $Z'_ j$ is nonempty, then we see that $(S' \to S_ i)^*\alpha _ i = \sum [Z'_ j]_ r$ is nonzero (as the coefficient of $Z'$ would be nonzero). Thus we see that $Z'_ j = \emptyset $ for all $j$. However, this means that the base change of $Z_ j$ by some transition map $S_{i'} \to S_ i$ is empty by Limits, Lemma 32.4.3. Thus $\alpha _ i$ dies in the colimit as desired.

The surjectivity of $\mathop{\mathrm{colim}}\nolimits Z_ k(X_ i) \to Z_ k(X')$ implies that $\mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{CH}}\nolimits _ k(X_ i) \to \mathop{\mathrm{CH}}\nolimits _ k(X')$ is surjective. To finish the proof we show that this map is injective. Let $\alpha _ i \in \mathop{\mathrm{CH}}\nolimits _ k(X_ i)$ be a cycle whose image $\alpha ' \in \mathop{\mathrm{CH}}\nolimits _ k(X')$ is zero. Then there exist integral closed subschemes $W_ l' \subset X'$, $l = 1, \ldots , r$ of $\delta "$-dimension $k + 1$ and nonzero rational functions $f'_ l$ on $W'_ l$ such that $\alpha ' = \sum _{l = 1, \ldots , r} \text{div}_{W'_ l}(f'_ l)$. Arguing as above we can find an $i$ and integral closed subschemes $W_{i, l} \subset X_ i$ of $\delta _ i$-dimension $k + 1$ whose base change is $W'_ l$. After increasing $i$ we may assume we have rational functions $f_{i, l}$ on $W_{i, l}$. Namely, we may think of $f'_ l$ as a section of the structure sheaf over a nonempty open $U'_ l \subset W'_ l$, we can descend these opens by Limits, Lemma 32.4.11 and after increasing $i$ we may descend $f'_ l$ by Limits, Lemma 32.4.7. We claim that

\[ \alpha _ i = \sum \nolimits _{l = 1, \ldots , r} \text{div}_{W_{i, l}}(f_{i, l}) \]

after possibly increasing $i$.

To prove the claim, let $Z'_{l, j} \subset W'_ l$ be a finite collection of integral closed subschemes of $\delta '$-dimension $k$ such that $f'_ l$ is an invertible regular function outside $\bigcup _ j Y'_{l, j}$. After increasing $i$ (by the arguments above) we may assume there exist integral closed subschemes $Z_{i, l, j} \subset W_ i$ of $\delta _ i$-dimension $k$ such that $f_{i, l}$ is an invertible regular function outside $\bigcup _ j Z_{i, l, j}$. Then we may write

\[ \text{div}_{W'_ l}(f'_ l) = \sum n_{l, j} [Z'_{l, j}] \]

and

\[ \text{div}_{W_{i, l}}(f_{i, l}) = \sum n_{i, l, j} [Z_{i, l, j}] \]

To prove the claim it suffices to show that $n_{l, i} = n_{i, l, j}$. Namely, this will imply that $\beta _ i = \alpha _ i - \sum \nolimits _{l = 1, \ldots , r} \text{div}_{W_{i, l}}(f_{i, l})$ is a cycle on $X_ i$ whose pullback to $X'$ is zero as a cycle! It follows that $\beta _ i$ pulls back to zero as a cycle on $X_{i'}$ for some $i' \geq i$ by an easy argument we omit.

To prove the equality $n_{l, i} = n_{i, l, j}$ we choose a generic point $\xi ' \in Z'_{l, j}$ and we denote $\xi \in Z_{i, l, j}$ the image which is a generic point also. Then the local ring map

\[ \mathcal{O}_{W_{i, l}, \xi } \longrightarrow \mathcal{O}_{W'_ l, \xi '} \]

is flat as $W'_ l \to W_{i, l}$ is the base change of the flat morphism $S' \to S_ i$. We also have $\mathfrak m_\xi \mathcal{O}_{W'_ l, \xi '} = \mathfrak m_{\xi '}$ because $Z_{i, l, j}$ pulls back to $Z'_{l, j}$! Thus the equality of

\[ n_{l, j} = \text{ord}_{Z'_{l, j}}(f'_ l) = \text{ord}_{\mathcal{O}_{W'_ l, \xi '}}(f'_ l) \quad \text{and}\quad n_{i, l, j} = \text{ord}_{Z_{i, l, j}}(f_{i, l}) = \text{ord}_{\mathcal{O}_{W_{i, l}, \xi }}(f_{i, l}) \]

follows from Algebra, Lemma 10.52.13 and the construction of $\text{ord}$ in Algebra, Section 10.121. $\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 0FVF. Beware of the difference between the letter 'O' and the digit '0'.