On the Birch and Swinnerton-Dyer conjecture for modular elliptic curves over totally real fields (Q2372760)

In this paper, for a modular elliptic curve \(E\) over a totally real number field \(F\) with the associated eigenform \(\phi\), inspired by the work of \textit{M. Bertolini} and \textit{H. Darmon} [see Ann. Math. (2) 162, No. 1, 1--64 (2005; Zbl 1093.11037)], the author presents a new method to bound the \(p\)-Selmer group of \(E\) over a suitable quadratic imaginary field \(K/F\), and proves that the BSD conjecture holds when the order of vanishing of \(L(\phi,s)\) (respectively, \(L_{K}(\phi,s)\)) at \(s = 1\) is zero. His key idea is to produce an Euler system, i.e., to construct a collection of global cohomology classes \( \{ \kappa _{l} \in H^{1} (K, E[p]) \}_{l \in L}, \) by using the theory of congruences between modular forms. The class \(\kappa _{l} \) is obtained from Heegner points on an appropriate Shimura curve. By using this Euler system and reciprocity of class field theory, under some conditions, the author proves that the \(p\)-Selmer group \(\text{Sel}_{p}(\phi /K) = 0. \) From this he obtains the following results: Theorem A. If \( L(\phi,1) \neq 0, \) then \( E(F) \) is finite. Theorem B. If \(L_{K}(\phi,1) \neq 0,\) then \(E(K)\) is finite. His method can also be applied to the cases not covered by the classical work of \textit{V. A. Kolyvagin} and \textit{D. Yu. Logachev} [see Izv. Akad. Nauk SSSR, Ser. Mat. 55, No. 4, 851--876 (1991; Zbl 0791.14019)].