On the plus and the minus Selmer groups for elliptic curves at supersingular primes (Q1989656)

Let \(F\) be a number field, put \(F_0:=F(\mu_p)\) for some odd prime number \(p\), put \(S_p(F)\) as the set of primes of \(F\) dividing \(p\) and \(F_\infty/F\) as the cyclotomic \(\mathbb{Z}_p\)-extension of \(F\). Let \(\Gamma:=\mathrm{Gal}(F_\infty/F)\) and put \(\Lambda:=\mathbb{Z}_p[[\Gamma]]\) as the associated Iwasawa algebra. For an elliptic curve \(E\) defined over \(F'\subseteq F\) and with good reduction at \(S_p(F')\) one can define Selmer groups \(\mathrm{Sel}(F_\infty,E[p^\infty])\) and study the structure of their Pontrjagin duals as \(\Lambda\)-modules. Many results on \(\mathrm{Sel}(F_\infty,E[p^\infty])^\vee\) being \(\Lambda\)-torsion are known in case of good ordinary reduction at \(S_p(F')\) while, in case of supersingular reduction, one needs to define and study plus and minus parts of Selmer groups to obtain \(\Lambda\)-torsion modules (see, e.g. \textit{S. Kobayashi} [Invent. Math. 152, No.~1, 1--36 (2003; Zbl 1047.11105)], \textit{A. Iovita} and \textit{R. Pollack} [J. Reine Angew. Math. 598, 71--103 (2006; Zbl 1114.11053)] and \textit{B. D. Kim} [Compos. Math. 143, No.~1, 47--72 (2007; Zbl 1169.11022)]). Plus (resp., minus) Selmer groups are identified by local conditions at supersingular primes and at even (resp., odd) layers \(F_n\) of the cyclotomic extension \(F_\infty\) and require a few technical hypotheses on primes in \(S_p(F')\) to produce \(\Lambda\)-torsion (duals of) plus and minus Selmer groups without nontrivial finite submodules. The paper under review aims at relaxing some of those hypotheses by considering the case of ramified supersingular primes in \(F_0/F\) (but supersingular primes are still required to be unramified in \(F\) and totally split in \(F'\)). By considering \(\chi\)-parts of plus and minus Selmer groups (where \(\chi\) is any character of \(\mathrm{Gal}(F_0/F)\,\)) the authors are able to apply and/or to generalize the main results of Kobayashi and Kim (papers mentioned above) on the formal group associated to \(E\) and the local fields at supersingular primes and to describe the \(\Lambda\)-structure of the \(\chi\)-parts of the local conditions. Then, assuming that the duals of the plus/minus Selmer groups are \(\Lambda\)-torsion, the authors prove that such duals have no nontrivial finite submodules.