Selmer groups as flat cohomology groups (1301.4724v4)

Abstract: Given a prime number $p$, Bloch and Kato showed how the $p^\infty$-Selmer group of an abelian variety $A$ over a number field $K$ is determined by the $p$-adic Tate module. In general, the $p^m$-Selmer group $\mathrm{Sel}{p^m} A$ need not be determined by the mod $p^m$ Galois representation $A[p^m]$; we show, however, that this is the case if $p$ is large enough. More precisely, we exhibit a finite explicit set of rational primes $\Sigma$ depending on $K$ and $A$, such that $\mathrm{Sel}{p^m} A$ is determined by $A[p^m]$ for all $p \not \in \Sigma$. In the course of the argument we describe the flat cohomology group $H^1_{\mathrm{fppf}}(O_K, \mathcal{A}[p^m])$ of the ring of integers of $K$ with coefficients in the $p^m$-torsion $\mathcal{A}[p^m]$ of the N\'{e}ron model of $A$ by local conditions for $p\not\in \Sigma$, compare them with the local conditions defining $\mathrm{Sel}{p^m} A$, and prove that $\mathcal{A}[p^m]$ itself is determined by $A[p^m]$ for such $p$. Our method sharpens the known relationship between $\mathrm{Sel}{p^m} A$ and $H^1_{\mathrm{fppf}}(O_K, \mathcal{A}[p^m])$ and continues to work for other isogenies $\phi$ between abelian varieties over global fields provided that $\mathrm{deg} \phi$ is constrained appropriately. To illustrate it, we exhibit resulting explicit rank predictions for the elliptic curve $11A1$ over certain families of number fields.