Skip to main content
1 of 3

Is $(pE(L))^{\operatorname{Gal}(L/K)}/pE(K)=0$, where $L=K(E_{\operatorname{\geq 5-tors}})$, for almost all primes $p\geq 5$?

Let $K$ be a number field (possibly of infinite degree over $\mathbb{Q}$) and $E$ an elliptic curve without complex multiplication.

Let $L:= K(E_{\operatorname{\geq 5-tors}})$ be the field obtained by adjoining all torsion points of order prime to $6$ to $K$ and let $G:=\operatorname{Gal}(L/K)$.

Let $p\geq 5$ be a prime. Is the group $$(pE(L))^{G}/pE(K)$$ zero for almost all primes $p$?

I am particularly interested in the cases

(1) $K=\mathbb{Q}[\sqrt{-5},\sqrt{-7},\sqrt{-11},...]$

(2) $K=\mathbb{Q}$