The plus/minus Selmer groups for supersingular primes (Q2873591)

Let \(E\) be an elliptic curve over \(\mathbb Q\) with good supersingular reduction at the prime \(p\) and assume the slightly stronger condition that \(a_p=0\). Let \(F\) be a number field in which \(p\) is unramified and let \(F_{\infty}/F\) be a \(\mathbb Z_p\)-extension such that the local extensions \(F_{\infty, q}/Q_p\) are abelian for the primes \(q\) of \(F_{\infty}\) above \(p\). Using the plus/minus norm groups defined by \textit{S.- Kobayashi} [Invent. Math. 152, No. 1, 1--36 (2003; Zbl 1047.11105)], the author defines plus/minus Selmer groups and proves that if \(\text{Sel}_p^{\pm}(E/F_{\infty})\) is \(\Lambda\)-cotorsion then it has no proper \(\Lambda\)-submodule of finite index. As a corollary, the author shows that if \(\text{Sel}_p(E/F)\) is finite and if \((f^{\pm})\subseteq \Lambda\) is the characteristic ideal of the Pontryagin dual of \(\text{Sel}_p^{\pm }(E/F_{\infty})\), then NEWLINE\[NEWLINE |f^{\pm}(0)| \sim |\text{Sel}_p(E/F)|\prod c_v, NEWLINE\]NEWLINE where the product is over the Tamagawa numbers for \(E\) at all places of \(F\) and \(\sim\) denotes equality up to units in \(\mathbb Z_p\). The proofs are based on work of \textit{R. Greenberg} [Lect. Notes Math. 1716, 51--144 (1999; Zbl 0946.11027)].