The local-global principle for divisibility in CM elliptic curves (Q6101541)

Let \(E/k\) be an elliptic curve over a number field \(k\). Given a positive integer \(N\), the authors say that the local-global principle holds for \((E/k, N)\) if \[ \mathrm{Ker} (H^{1} (k, E[N])\rightarrow\prod_{v\not\in S}H^{1} (k_{v}, E[N])) =0 \] for every finite set of places \(S\) of \(k\), where \(H^{1} (k, E[N])\) denotes the Galois cohomology of the \(N\)-torsion subgroup \(E[N]\) of \(E\). Let \(E\) be an elliptic curve defined over a number field \(L\) with complex multiplication by an order \(O\) of a quadratic number field \(K, f\) be the conductor of \(O, j\) be the \(j\)-invariant of \(E\), and \(p^{n}\) be an odd prime power. The authors prove then that the local-global principle holds for \((E/L, p^{n})\) in any of the following cases: (a) \(p\) does not divide \(f\) and \(p\) splits in \(K\); (b) \(p\) does not divide \(f\), \(p\) is inert in \(K\), and \([L:K]<(p^{2}-1)/u\), where \(u=2\) if \(j\neq 0\) and \(u=3\) if \(j=0\); (c) \(p\) divides \(f\) or \(p\) ramifies in \(K\), and \([L:K]<(p-1)/2\), and that their bounds are sharp. Let \(d\) be a positive integer, \(p\) be a prime, \(p\geq 17\), and \(p>2d+1\); the authors prove then that there are at most finitely many elliptic curves \(E\) defined over a number field \(L\) of degree \(d=[L:\mathbb{Q}]\) such that the local-global principle for \((E/L, p^{n})\) fails for some positive integer \(n\). They prove further that the the local-global principle holds for \((E/L, 7^{n})\) for every elliptic curve \(E\) defined over a quadratic number field \(L\) and every positive integer n. In the last section of their work, the authors analyse the local-global principle for a few explicitly defined CM elliptic curves.