Lemma 81.25.2. In Situation 81.2.1 let $X/B$ be good. Let $\mathcal{L}$ be an invertible $\mathcal{O}_ X$-module. Let

$p : L = \underline{\mathop{\mathrm{Spec}}}(\text{Sym}^*(\mathcal{L})) \longrightarrow X$

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 81.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 81.24.1 we see that $o^* \circ p^* = \text{id}$ and we conclude that $p^*$ is injective too. $\square$

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