Lemma 42.12.3 (0F92)—The Stacks project

Processing math: 100%

Table of contents
Part 3: Topics in Scheme Theory
Chapter 42: Chow Homology and Chern Classes
Section 42.12: Proper pushforward
Lemma 42.12.3 (cite)

numberstags

Lemma 42.12.3. Let $(S, \delta )$ be as in Situation 42.7.1. Let $X$ be locally of finite type over $S$ . Let $X_1, X_2 \subset X$ be closed subschemes such that $X = X_1 \cup X_2$ set theoretically. For every $k \in \mathbf{Z}$ the sequence of abelian groups

$\xymatrix{ Z_ k(X_1 \cap X_2) \ar[r] & Z_ k(X_1) \oplus Z_ k(X_2) \ar[r] & Z_ k(X) \ar[r] & 0 }$

is exact. Here $X_1 \cap X_2$ is the scheme theoretic intersection and the maps are the pushforward maps with one multiplied by $-1$ .

Proof. First assume $X$ is quasi-compact. Then $Z_ k(X)$ is a free $\mathbf{Z}$ -module with basis given by the elements $[Z]$ where $Z \subset X$ is integral closed of $\delta$ -dimension $k$ . The groups $Z_ k(X_1)$ , $Z_ k(X_2)$ , $Z_ k(X_1 \cap X_2)$ are free on the subset of these $Z$ such that $Z \subset X_1$ , $Z \subset X_2$ , $Z \subset X_1 \cap X_2$ . This immediately proves the lemma in this case. The general case is similar and the proof is omitted. $\square$

Comments (0)

There are also:

2 comment(s) on Section 42.12: Proper pushforward

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

Comments (0)

Post a comment