Tate duality and wild ramification (Q1814596)

This short paper gives a positive answer to the question of compatibility of the Tate pairing \(A(K)\times H^ 1(K,\widehat A)\to \mathbb{Q}/\mathbb{Z}\) with the natural filtrations on \(A(K)\) for an abelian variety \(A\) over a \({\mathfrak p}\)-adic field \(K\) and on \(H^ 1(K,\widehat A)\) where \(\widehat A\) is the dual abelian variety. It contains also some discussions whether this is true for general formal groups (here the answer is yet unknown). One can add two remarks. First, its results can be extended in a proper way for the case of a perfect residue field via [\textit{I. Fesenko}, Local class field theory: perfect residue field case (Preprint MPI für Mathematik, 1993)]. Second, the paper of \textit{M. I. Bashmakov} and \textit{A. N. Kirillov} [``Lutz filtration on formal groups'', Izv. Akad. Nauk SSSR, Ser. Mat. 39, 1227-1239 (1975; Zbl 0337.14032)] may provide the answer in the general case of formal groups.