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