Skip to main content
2 of 4
Added condition "Y regular" in first sentence and added that second formula didn't need that hypothesis.
Georges Elencwajg
  • 47.5k
  • 14
  • 159
  • 241

Dear HNuer, a fundamental theorem on Chow groups describes the relation between the Chow ring $CH^\ast (\mathbb P(\mathcal E))$ of $X=\mathbb P(\mathcal E)$ and that $CH^\ast (Y)$ of $Y$ when $Y$ is regular.

If we call $p:\mathbb P(\mathcal E) \to Y $ the projection and $\xi$ the relative hyperplane bundle $\mathcal O_{\mathbb P(\mathcal E)}(1)$, we have

$$ CH^\ast(\mathbb P(\mathcal E) )= CH^\ast (Y)[\xi]/ < \xi^n +c_1 (p^\ast \mathcal E)\xi^{n-1} +\cdots+c_n (p^\ast \mathcal E)> $$ In particular $CH^1(\mathbb P(\mathcal E) )=p^\ast CH^1(Y)\oplus \mathbb Z \xi. $ (This is true even if $Y$ is not regular)

If you remember that for locally factorial varieties you have $Pic(P)=CH^1 (P)$ , your formula is proved under this hypothesis .

If $Y$ has bad singularities, I wouldn't bet on the correctness of the formula since there exist (non semi-normal) varieties $Y$ such that the canonical morphism $\pi^\ast: Pic (Y) \to Pic (Y) \times \mathbb A^1 $ is not surjective.

Georges Elencwajg
  • 47.5k
  • 14
  • 159
  • 241