## 43.12 The short exact sequence for an open

Let $X$ be a variety and let $U \subset X$ be an open subvariety. Let $X \setminus U = \bigcup Z_ i$ be the decomposition into irreducible components^{1}. Then for each $k \geq 0$ there exists a commutative diagram

with exact rows. Here the vertical arrows are the canonical quotient maps. The left horizontal arrows are given by proper pushforward along the closed immersions $Z_ i \to X$. The right horizontal arrows are given by flat pullback along the open immersion $j : U \to X$. Since we have seen that these maps factor through rational equivalence we obtain the commutativity of the squares. The top row is exact simply because every subvariety of $X$ is either contained in some $Z_ i$ or has irreducible intersection with $U$. The bottom row is exact because every principal divisor $\text{div}_ W(f)$ on $U$ is the restriction of a principal divisor on $X$. More precisely, if $W \subset U$ is a $(k + 1)$-dimensional closed subvariety and $f \in \mathbf{C}(W)^*$, then denote $\overline{W}$ the closure of $W$ in $X$. Then $W \subset \overline{W}$ is an open immersion, so $\mathbf{C}(W) = \mathbf{C}(\overline{W})$ and we may think of $f$ as a nonconstant rational function on $\overline{W}$. Then clearly

in $Z_ k(X)$. The exactness of the lower row follows easily from this. For details see Chow Homology, Lemma 42.19.3.

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

## Comments (0)