Lemma 82.25.2. In Situation 82.2.1 let $X/B$ be good. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. Let
be the associated vector bundle over $X$. Then $p^* : \mathop{\mathrm{CH}}\nolimits _ k(X) \to \mathop{\mathrm{CH}}\nolimits _{k + 1}(L)$ is an isomorphism for all $k$.
Proof. For surjectivity see Lemma 82.25.1. Let $o : X \to L$ be the zero section of $L \to X$, i.e., the morphism corresponding to the surjection $\text{Sym}^*(\mathcal{L}) \to \mathcal{O}_ X$ which maps $\mathcal{L}^{\otimes n}$ to zero for all $n > 0$. Then $p \circ o = \text{id}_ X$ and $o(X)$ is an effective Cartier divisor on $L$. Hence by Lemma 82.24.1 we see that $o^* \circ p^* = \text{id}$ and we conclude that $p^*$ is injective too. $\square$
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)