[Math] Over which fields does the Mordell-Weil theorem hold

abelian-varietiesarithmetic-geometryelliptic-curvesnt.number-theory

According to a well-known theorem of Mordell, the group of rational points $E(\mathbf{Q})$ of an elliptic curve $E/\mathbf{Q}$ is finitely generated. Weil generalized this theorem to abelian varieties over number fields.

Less well-known is the following generalization, due I believe to Néron : if $K$ is a field of finite type (that is, finitely generated over its prime field) and $A$ is an abelian variety over $K$, then $A(K)$ is finitely generated. There is an even more general statement, the Lang-Néron theorem, for relative field extensions which are finitely generated (see Brian Conrad's article for the precise statement and a proof of this theorem).

Q1. Are there other fields $K$ for which the group of $K$-rational points of an abelian variety over $K$ is always finitely generated?

In the other direction, there exist fields $K$ for which $A(K)$ is clearly never finitely generated whenever $\operatorname{dim}(A) \geq 1$. For example $K=\mathbf{C}$, in which case it follows from the description af abelian varieties as complex tori. If $K$ is a finite extension of $\mathbf{Q}_p$, then $A(K)$ contains a finite-index subgroup isomorphic to $\mathcal{O}_K^{\operatorname{dim} A}$, so $A(K)$ is again never finitely generated. Other examples I can think of are complete discretely valued fields and algebraically closed fields. Note that we often have the stronger result that $A(K) \otimes \mathbf{Q}$ is infinite-dimensional (except when $K=\overline{\mathbf{F}}_p$, in which case $A(K)$ is a torsion group).

Q2. Are there other fields $K$ for which the group of $K$-rational points of a non-trivial abelian variety over $K$ is never finitely generated?

Best Answer

Here is an [INCOMPLETE, POSSIBLY INCORRECT] answer to question 1. Yes. Let $C_n/k,n=1,2,\ldots$ be a sequence of curves of increasing genus defined over a finite field $k$ with maps $C_{n+1} \to C_n$ for all $n$. Let $K = \bigcup k(C_n)$. Assume further that $Jac(C_{n+1})/Jac(C_n)$ is simple for all $n$, where $Jac$ is the Jacobian (this is will be the typical case in such a tower). Then $A(K)$ is finitely generated for any abelian variety $A$, as $A(K) = A(k(C_n))$ where $n$ is the largest integer for which $A$ occurs as a factor of $Jac(C_n)$.

EDIT: As pointed out by Will in the comment below, this only works if $A$ is defined over $k$.

Here is an answer for question 2. Yes. Let $K$ be an infinite subfield of the algebraic closure of a finite field. It follows easily from the Weil bound that $A(K)$ is an infinite torsion group so is not finitely generated.

Related Question