Mean values of derivatives of modular \(L\)-series (Q1175254)

Let \(E/\mathbb{Q}\) be a modular elliptic curve of conductor \(N\) and denote by \(L(E,s)\) its \(L\)-function. If \(D\) is a negative discriminant, let \(L_ D(E,s)\) be the \(L\)-function of \(E\) twisted with \(\left( {D\over\cdot} \right)\). The main theorem of the paper states that if the root number \(w\) of \(L(E,s)\) is 1, then there is a non-zero constant \(c\) such that \(\sum_ D L'_ D(E,1)\sim cY\;\log Y\), where the sum extends over all \(D\) satisfying \(0<-D\leq Y\), \(D\equiv1\bmod 4N\). The proof uses deeper methods and ideas from analytic number theory. As a corollary one obtains that if \(w=1\) then there are infinitely many fundamental discriminants \(D<0\) such that i) for all \(p\mid N\), \(p\) splits in \(\mathbb{Q}(\sqrt D)\), ii) \(L_ D(E,s)\) has a simple zero at \(s=1\). By a theorem of \textit{V. A. Kolyvagin} [Izv. Akad.Nauk SSSR, Ser. Mat. 52, No.\ 6, 1154-1180 (1988; Zbl 0681.14016)], this implies that if \(E/\mathbb{Q}\) is a modular elliptic curve with \(L(E,1)\neq 0\), then both the Mordell- Weil group and the Tate-Shafarevich group of \(E/\mathbb{Q}\) are finite. The fact that under the condition \(w=1\) there are infinitely many \(D<0\) satisfying i) and ii) was also proved independently by \textit{D. Bump}, \textit{S. Friedberg} and \textit{J. Hoffstein} [Invent. Math. 102, No.\ 3, 543-518 (1990; Zbl 0721.11023)] in a completely different way, using the theory of automorphic forms on \(GSp_ 4\).