Local flat duality of abelian varieties (Q5906975): Difference between revisions

Let \(A_K\) be an abelian variety over a complete discretely valued field \(K\) with algebraically closed residue field of positive characteristic \(p\), and let \(\pi_1(A')\) be the fundamental group of the dual variety \(A'\). In 1961, \textit{I. R. Shafarevich} [Am. Math. Soc. Transl. Ser. 31, 25--39 (1963; Zbl 0133.29303)] constructed a non-degenerate pairing \(H^1(K,A_K) \times \pi_1(A') \to \mathbb{Q}/\mathbb{Z}\) between the group of principal homogeneous spaces over \(A_K\) and the fundamental group \(\pi_1(A')\) modulo \(p\)-components of the considered groups, and conjectured that this pairing could be extended to the \(p\)-components preserving non-degeneracy. \textit{O. N. Vvedenskii} [Math. USSR, Izv. 10, 913--936 (1976); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 40, 969--992 (1976; Zbl 0382.14007)] showed that the Shafarevich conjecture is true for several classes of elliptic curves. Next, \textit{L. Bégueri} [Dualité sur un corps local à corps résiduel algébriquement clos. Mém. Soc. Math. Fr., Nouv. Sér. 4 (1980; Zbl 0502.14016)] proved it for \(K\) of characteristic zero and for any abelian variety \(A_K\) as a consequence of Grothendieck's pairing, and \textit{M. Bester} [Math. Ann. 235, 149--174 (1978; Zbl 0358.14021)] proved the conjecture for abelian varieties with good reduction under the hypothesis that \( \operatorname{char}K >0\). The author combines Bester's methods with rigid uniformization results to prove the Shafarevich conjecture for any abelian variety in the case \(\operatorname{char} K > 0\). The main result of the paper under review is the following theorem: Let \(K\) be a complete discrete valuation of positive characteristic \(p\) and algebraically closed residue field. If \(A_K\) is any abelian variety and \(A'_K\) its dual, there is a perfect pairing \(H^1(K,A_K) \times \pi_1(A') \to \mathbb{Q}/\mathbb{Z}\) between the first (flat) cohomology group of \(A_K\) and the fundamental group of the Néron model of the dual abelian variety.