On the arithmetic of abelian varieties (Q5918824)

This paper obtains some arithmetic results for abelian varieties over function fields of one variable over finitely generated fields. Let \(k\) be a field of characteristic \(0\), and let \(C\to \mathrm{Spec}\, k\) be a smooth, separated and geometrically connected algebraic curve over \(k\), and let \(K=k(C)\) be the function field of \(C\). Let \(\mathcal{A}\to C\) be an abelian scheme over \(C\), and let \(A=A_K=\mathcal{A}\times_C \mathrm{Spec}\, K\). Then \(A\) is an abelian variety over \(K\). Denote by \(A(K)\) the group of \(K\)-rational points on \(A\). The profinite Selmer group Sel\((A)\) and the Shafarevich-Tate group Ш\((A)\) are then defined (similar to the number field case). Assuming that \(k\) is finitely generated over \(\mathbb{Q}\), the paper introduces the new invariants for \(A\), namely, the discrete Selmer groups, and discrete Shafarevich-Tate groups. These groups are shown to be finitely generated \(\mathbb{Z}\)-modules. The main result is formulated in the following Theorem: Let \(k\) be a finitely generated field over \(\mathbb{Q}\). Assume that an abelian variety \(A\) is isotrivial. Then the discrete Shafarevich-Tate group vanishes, and the discrete Selmer group coincides with the Mordell-Weil group of \(A\). The main ingredient for proving this theorem is a specialization theorem for first Galois cohomology groups.