Thus the morphism Pic0X → B is surjective. Next we argue that the map of k-points Pic(X) = PicX/k (k) → B(k) has finite cokernel.
確定! 回上一頁