Special cohomology classes for modular Galois representations (Q2488829)

Elliptic curves \(E\) over \({\mathbb Q}\) possess points (``Heegner points'') defined over ring class fields of imaginary quadratic fields \(K\). A conjecture of B.~Mazur, now a theorem of \textit{V.~Vatsal} [Invent. Math. 148, No. 1, 1--46 (2002; Zbl 1119.11035)] and \textit{C. Cornut} [Invent. Math. 148, No. 3, 495--523 (2002; Zbl 1111.11029)], asserts roughly that they account for the growth of the group of rational points on \(E\) in the layers of the anticyclotomic \({\mathbb Z}_p\)-extension of \(K\), unless \(E\) has complex multiplications by \(K\). The author's main result (Theorem~A) is an analogue of the Cornut-Vatsal theorem, obtained by replacing \(E\) by the Galois cohomology of the \(l\)-adic representation associated to a normalised newform \(f\in{\mathfrak S}_{2k}(\Gamma_0(N))\) of weight \(2k>2\), and Heegner points by special cohomology classes called Heegner cycles. He needs to assume that \(N\geq4\), that all primes dividing \(N\) split in \(K\), that \(l\) does not divide \({p N \varphi(N) D_K(2k-2)!}\), where \(D_K\) is the discriminant of \(K\) and \(\varphi(N)\) the order of \(({\mathbb Z}/N{\mathbb Z})^\times\), and, finally, that \(p\) does not divide \(ND_K\).