Gross-Zagier formula for \(\text{GL}_ 2\). (Q700496)

\textit{B. H. Gross} and \textit{D. B. Zagier} proved a formula which relates the central derivatives of certain Rankin \(L\)-series and the heights of certain Heegner points on elliptic curves [Invent. Math. 84, 225--320 (1986; Zbl 0608.14019)]. Combined with work of Goldfeld this formula gives a solution to Gauss' problem on class numbers and combined with work of Kolyvagin gives evidence for the rank statement in the conjecture of Birch and Swinnerton-Dyer. \textit{B. H. Gross} has proposed a program to generalize this formula to totally real fields with anticyclotomic characters [Modular forms, Symp. Durham/Engl. 1983, 87--105 (1984; Zbl 0559.14011)]. In the present paper the author works out the weight 2 case of the program. Let \(F\) be a totally real field with ring of adeles \(\mathbb A\). Let \(\phi\) be a Hilbert modular form of weight \((2,\ldots,2,0,\ldots,0)\) over \(F\), which is a cuspidal newform of level \(N\) and has trivial central character. Let \(K\) be a totally imaginary quadratic extension of \(F\). Let \(\chi\) be a character of finite order of \({\mathbb A}_K^\times/K^\times{\mathbb A}^\times\). The author studies the Rankin-Selberg convolution function \(L(s,\chi,\phi)\). His main formula expresses the central derivative \(L'(1,\chi,\phi)\) in terms of the heights of CM-points on a Shimura curve, when \(\phi\) is holomorphic and the sign of the functional equation of \(L(s,\chi,\phi)\) is \(-1\). One immediate application is to generalize the work of Kolyvagin-Logachev and Bertolini-Darmon to obtain some evidence toward the Birch and Swinnerton-Dyer conjecture in the rank 1 case. The details should be given in other papers. If \(\phi\) has possible nonholomorphic components and the sign of the functional equation of \(L(s,\chi,\phi)\) is \(+1\) the author proves an explicit formula for \(L(1,\chi,\phi)\), which has an application to the distribution of CM-points on locally symmetric varieties covered by \(({\mathcal H}^+)^n\) where \({\mathcal H}^+\) is the upper half plane and \(n\) is the number of real places of \(F\) where \(\phi\) has weight \(0\). Other application should be on BSD-conjecture in the rank 0 case.