Signed Selmer groups over \(p\)-adic Lie extensions (Q713178)

In this paper, the authors define signed Selmer groups \(\mathrm{Sel}^i (E/K_{\infty})\), \(i=1,2\), of an elliptic curve \(E\) over \(K_{\infty}\), a \(p\)--adic Lie extension of \({\mathbb Q}\) containing \({\mathbb Q}(\mu_{p^{ \infty}})\). This definition is analogous to that of \textit{S.-i. Kobayashi} [Invent. Math. 152, No. 1, 1--36 (2003; Zbl 1047.11105)] of an elliptic curve over \({\mathbb Q}\) with good supersingular reduction at a prime \(p\geq 3\) and \(a_p=0\). The main idea is the use of \textit{L. Berger}'s comparison isomorphism [Invent. Math. 148, No. 2, 219--284 (2002; Zbl 1113.14016)] and the theory of \((\varphi, \Gamma)\)-modules. The authors and Loeffler defined \(\mathrm{Sel}^i(E/{\mathbb Q} (\mu_{p^{\infty}}))\), \(i=1,2\) when \(E\) has good ordinary reduction at \(p\) in [\textit{A. Lei}, Asian J. Math. 14, No. 4, 475--528 (2010; Zbl 1281.11095)] similarly to the good supersingular case. The definition of signed Selmer groups over \(K_{\infty}\) is justified showing that on extending the construction to the good ordinary case, \(\mathrm{Sel}^2(E/K_{\infty})\) agrees with the usual Selmer groups \(\mathrm{Sel}(E/K_{\infty})\) for any finite extension \(K\) of \({\mathbb Q}\). In Section 4, a more explicit description of the local conditions is used to define the signed Selmer groups in the supersingular case. It is shown that if \(\mathrm{Sel}_N^i(E/K_n)\) is defined by replacing the local conditions at places above \(p\) in the definition of \(\mathrm{Sel}( E/K_n)\) by some ``jumping conditions'', then \(\mathrm{Sel}_N^{(i)} (E/K_{\infty})\cong \mathrm{Sel}^i(E/K_{\infty})\) for \(i=1,2\).