A generalization of the Cassels-Tate dual exact sequence (Q2459317)

Let \(A\) be an abelian variety over a global field \(K\) and \(m\) a positive integer. For an abelian group \(M\), let \(M(m)\) denote the \(m\)-primary component of \(M\). The Cassels-Tate exact sequence for \(A\) and \(m\) relates the \(m\)-completion of the group \(A(K)\) of \(K\)-rational points of \(A\) with the respective \(m\)-completions of the groups of local points \(A(K_v)\) for each place of \(K\), the (Pontryagin) dual of the \(m\)-primary component of the Weil-Châtelet group of \(A\) over \(K\), and the dual of the \(m\)-primary component of the Shafarevich-Tate group of \(A\) \textit{J. S. Milne} [Perspectives in mathematics, Vol. 1. Boston etc.: Academic Press (1986; Zbl 0613.14019)]. In this paper, the authors give a very useful generalization of this sequence that includes the \(p\)-primary part in characteristic \(p>0\) and does not necessarily assume that the \(m\)-primary component of the Shafarevich-Tate group of \(A\) is finite. This is done by replacing the \(m\)-completion of the group of global points by the Tate module \(T_m\) of the Selmer group of \(A\) over \(K\), which is isomorphic to the former group if the \(m\)-primary component of the Shafarevich-Tate group of \(A\) over \(K\) is finite. The approach to the \(p\)-primary part was outlined by Milne in a letter to the second author. The idea of replacing the group of rational points by the Selmer group was used by \textit{J. W. S. Cassels} [J. Reine Angew. Math. 216, 150--158 (1964; Zbl 0146.42304)] in the case of elliptic curves over number fields.