3
$\begingroup$

Let $X$ be a smooth projective variety over a finite field $k$. Is the Picard group finitely generated? Equivalently, is $\text{Pic}^0(X)$ finitely generated?

(I am not assuming $k$ is separably closed, so I don't see an immediate relation to the Picard scheme and the Mordell-Weil Theorem).

Improve this question
$\endgroup$
1
  • 9
    $\begingroup$ $\mathrm{Pic}^0(X)$ is finite, since it is a subgroup of $\underline{\mathrm{Pic}}^0_{X/k}(k)$, and $\underline{\mathrm{Pic}}^0_{X/k}$ (the unit component of the Picard scheme of $X$) is a $k$-group scheme of finite type and thus has only finitely many $k$-points. $\endgroup$
    – Laurent Moret-Bailly
    Commented Feb 25, 2018 at 8:35

0

Reset to default

You must log in to answer this question.