Lemma 82.15.2. In Situation 82.2.1 let X/B be good. Let U \subset X be an open subspace. Let Y be the reduced closed subspace of X with |Y| = |X| \setminus |U| and denote i : Y \to X the inclusion morphism. Let k \in \mathbf{Z}. Suppose \alpha , \beta \in Z_ k(X). If \alpha |_ U \sim _{rat} \beta |_ U then there exist a cycle \gamma \in Z_ k(Y) such that
\alpha \sim _{rat} \beta + i_*\gamma .
In other words, the sequence
\xymatrix{ \mathop{\mathrm{CH}}\nolimits _ k(Y) \ar[r]^{i_*} & \mathop{\mathrm{CH}}\nolimits _ k(X) \ar[r]^{j^*} & \mathop{\mathrm{CH}}\nolimits _ k(U) \ar[r] & 0 }
is an exact complex of abelian groups.
Proof.
Let \{ W_ j\} _{j \in J} be a locally finite collection of integral closed subspaces of U of \delta -dimension k + 1, and let f_ j \in R(W_ j)^* be elements such that (\alpha - \beta )|_ U = \sum (i_ j)_*\text{div}(f_ j) as in the definition. Let W_ j' \subset X be the corresponding integral closed subspace of X, i.e., having the same generic point as W_ j. Suppose that V \subset X is a quasi-compact open. Then also V \cap U is quasi-compact open in U as V is Noetherian. Hence the set \{ j \in J \mid W_ j \cap V \not= \emptyset \} = \{ j \in J \mid W'_ j \cap V \not= \emptyset \} is finite since \{ W_ j\} is locally finite. In other words we see that \{ W'_ j\} is also locally finite. Since R(W_ j) = R(W'_ j) we see that
\alpha - \beta - \sum (i'_ j)_*\text{div}(f_ j)
is a cycle on X whose restriction to U is zero. The lemma follows by applying Lemma 82.10.2.
\square
Comments (0)