The Tate pairing for abelian varieties over finite fields (Q719153)

Let \(k\) be a finite field of \(q\) elements. Let \(\phi: A \to B\) be a separable isogeny between abelian varieties over \(k\) such that \(\mathrm{ker}\, \phi\) is annihilated by \(q-1\). In this paper, the author defines the so-called Tate pairing \([\,,\,]_{\phi} : \mathrm{ker}\,\hat{\phi}(k) \times \mathrm{coker} (\phi(k)) \to k^{\times}\) where \(\hat{\phi}: \hat{B} \to \hat{A}\) is the isogeny dual to \(\phi\), and then proves that this pairing is perfect (Lemma 2.1 is the main technical result). By taking \(A = B = J\), where \(J\) is the Jacobian of a complete, smooth, geometrically connected curve \(C\) over \(k\), and \(\phi\) to be the multiplication by a positive integer \(n\) dividing \(q-1\). The Tate pairing defined in this paper becomes a perfect pairing \([\, ,\,]_{n}: J[n](k) \times J(k)/nJ(k) \to k^{\times}\). The author then proves that in this case the Tate pairing equals the Frey-Rück pairing defined by \textit{G. Frey} and \textit{H.-G. Rück} in [Math. Comput. 62, 865--874 (1994; Zbl 0813.14045)], thereby giving a short proof of the perfectness of the latter.