A finer Tate duality theorem for local Galois symbols (Q1643195)

Let \(K\) be a \(p\)-adic field and \(A,B\) be abelian varieties over \(K\) with good reduction. in [\(K\)-Theory 4, No. 2, 105--119 (1990; Zbl 0721.14003)] \textit{M. Somekawa} introduced a generalization of Milnor's \(K\)-group, called Somekawa \(K\)-group. The present paper studies for every positive integer \(m\) a map \(s_m\) from the Somekawa \(K\)-group mod \(m\) to \(H(2(K,A[m] \otimes B[m])\), which the author calles generalized Galois symbol. The image of \(s_m\) is the part of \(H(2(K,A[m] \otimes B[m])\) that comes from the points of the abelian varieties. The main result of the paper is the following theorem: Let \(\mathcal A, \mathcal B^*\) the Néron models of \(A\) and the dual abelian variety \(B^*\) of \(B\). Under the Tate duality pairing, the orthogonal complement of the image of \(s_m\) consists of those homomorphisms that lift to homomorphisms \(\mathcal A[m] \rightarrow \mathcal B^*[m]\) of finite flat group schemes over the ring of integers of \(K\). When \(m\) is coprime to \(p\), the proof follows easily by a computation of \textit{W. Raskind} and \textit{M. Spiess} [Compos. Math. 121, No. 1, 1--33 (2000; Zbl 0985.14003)]. The difficulty of the proof occurs for \(m = p^n\).