Lemma 42.32.2. Let $(S, \delta )$ be as in Situation 42.7.1. Let $X$ be locally of finite type over $S$. 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 42.32.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 42.31.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).