No label defined (Q4350100)

Let \(E\) be a modular elliptic curve over \(\mathbb{Q}\) of conductor \(N\). Let \(K\) be an imaginary field in which all prime divisors of \(N\) are split. Let \(\Delta_K<-4\) denote the discriminant of \(K\) and let \(p\) be a prime that does not divide \(\Delta_K\). Suppose that \(p\) does not divide \(6N\) or any of the orders of the component groups of the Néron model of \(E\) over the ring of integers of \(K\). Suppose in addition that the Galois representation \(\text{Gal} (\overline K/K)\to \Aut(T_p(E))\) on the Tate module \(T_p(E)\) is surjective and that the integer \(a_p= p=1-\# E(\mathbb{F}_p)\) satisfies \(a_p\not \equiv 0,1,2\pmod p\) when \(p\) is split in \(K\) and \(a_p\not \equiv 0,1,-1 \pmod p\) when \(p\) is inert in \(K\), respectively. The author studies the \(p^m\)-Selmer groups of the curve \(E\) in the anticyclotomic extension \(K_n\) of \(K\). For each \(n\) he denotes by \(S_p(E/K_n)\) the projective limit of the \(p^m\)-Selmer groups of \(E\) over \(K_n\) and by \(\widehat S_p(E/K_\infty)\) he denotes the projective limit of all the \(S_p(E/K_n)\). The latter group is a finite free module over the Iwasawa algebra \(\Lambda\). It contains the free submodule \(\widehat{\mathcal E}(E/K_\infty)_p\) generated by the Heegner points, which conjecturally has rank 1. Under the assumption that \(\widehat{\mathcal E} (E/K_\infty)_p\) is non-zero, the author has shown in a previous paper that \(\widehat S_p(E/K_\infty)\) is \(\Lambda\)-free of rank 1 and that the \(\mathbb{Z}_p\)-rank of \(S_p(E/K_n)\) is equal to \(p^n+e_n\) for some bounded sequence of non-negative integers \(e_n\). In this paper he studies the integers \(e_n\). Under certain reasonable assumptions on the Heegner points, he shows that \(e_n\leq 2t_0+[t_0/2]\) where \(t_0\) denotes the \(\mathbb{Z}_p\)-rank of \(\widehat S_p(E/K_\infty)/ \widehat {\mathcal E} (E/K_\infty)_p\). For the entire collection see [Zbl 0864.00054].