Heegner points and derivatives of \(L\)-series. II. (English) Zbl 0641.14013

[For part I see B. H. Gross and D. B. Zagier, Invent. Math. 84, 225–320 (1986; Zbl 0608.14019).]
Let \(X_ 0(N)\) be the modular curve of level \(N\) and \(J_ N\) its Jacobian, and denote by \(J^*_ N\) the Jacobian of \(X_ 0(N)/w_ N\) where \(w_ N\) is the Fricke involution. For a fundamental discriminant \(D<0\) and \(r\in {\mathbb Z}\) with \(D\equiv r^ 2 (4N)\) we let \(Y_{D,r}\) be the corresponding Heegner divisor in \(J_ N\) and \(Y^*_{D,r}\) be its image in \(J^*_ N\). Let \(f\) be a normalized newform in \(S_ 2(\Gamma_ 0(N))\) and \(L(f,s)\) be its \(L\)-series. Suppose that the root number of \(L(f,s)\) is \(-1\).
The main result of the paper then states that the subspace of \(J^*_ N({\mathbb Q})\otimes {\mathbb R}\) generated by the \(f\)-eigencomponents of all Heegner divisors \((y^*_{D,r})_ f\) with \((D,2N)=1\) has dimension \(1\) if \(L'(f,1)\neq 0\).
More precisely, \((y^*_{D,r})_ f=c((r^ 2- D)/4N,r)y_ f\), where \(c(n,r)\) is the coefficient of \(e^{2\pi i(n\tau +rz)}\) in a Jacobi form \(\phi_ f\) of weight 2 and index \(N\) corresponding to \(f\) in the sense of N.-P. Skoruppa and D. Zagier [Invent. Math. 94, 113–146 (1988; Zbl 0651.10020)] and \(y_ f\in (J^*({\mathbb Q})\otimes {\mathbb R})_ f\) is independent of \(D\) and \(r\) with \(\langle y_ f,y_ f\rangle =L'(f,1)/4\pi \| \phi_ f\|^ 2\) \((\langle\cdot, \cdot\rangle\)=canonical height pairing).
This result is in accordance with the conjectures of Birch and Swinnerton-Dyer which in the above situation (i.e. under the assumption \(\text{ord}_{s=1}L(f,s)=1)\) would predict that \(\dim (J^*_ N({\mathbb Q})\otimes {\mathbb R})_ f=1\).
Reviewer: W.Kohnen


14H25 Arithmetic ground fields for curves
11F50 Jacobi forms
11G18 Arithmetic aspects of modular and Shimura varieties
14H40 Jacobians, Prym varieties
14G10 Zeta functions and related questions in algebraic geometry (e.g., Birch-Swinnerton-Dyer conjecture)
11G40 \(L\)-functions of varieties over global fields; Birch-Swinnerton-Dyer conjecture
Full Text: DOI EuDML


[1] Abramowitz, N., Stegun, I.: Handbook of mathematical functions. New York: Dover 1965 · Zbl 0171.38503
[2] Cohen, H.: A lifting of modular forms in one variable to Hilbert modular forms in two variables. In: Modular functions of one variable. VI. Serre, J.-P., Zagier, D. (eds.), 175-196. Lect. Notes. Math. 627. Berlin, Heidelberg, New York: Springer 1977 · Zbl 0382.10020
[3] Deuring, M.: Die Typen der Multiplikatorenringe elliptischer Funktionenkörper: Abh. Math. Sem. Univ. Hamb.14, 197-272 (1941) · Zbl 0025.02003
[4] Eichler, M., Zagier, D.: The theory of Jacobi forms. Prog. Math. 55. Basel, Boston, Stuttgart: Birkhäuser 1985 · Zbl 0554.10018
[5] Gross, B.: Heegner points onX o (N). In: Modular forms. Rankin, R.A. (ed.), 87-106. Chichester: Ellis Horwood 1984
[6] Gross, B.: Local heights on curves. In: Arithmetic geometry. Cornell, G., Silverman, J. (eds.), 327-339. Berlin, Heidelberg, New York: Springer 1986 · Zbl 0605.14027
[7] Gross, B.: On canonical and quasi-canonical liftings. Invent. Math.84, 321-326 (1986) · Zbl 0597.14044
[8] Gross, B., Zagier, D.: On singular moduli. J. Reine Angew. Math.355, 191-220 (1985) · Zbl 0545.10015
[9] Gross, B., Zagier, D.: Heegner points and derivatives ofL-series. Invent. Math.84, 225-320 (1986) · Zbl 0608.14019
[10] Hirzebruch, F., Zagier, D.: Intersection numbers of curves of Hilbert modular surfaces and modular forms of Nebentypus. Invent. Math.36, 57-113 (1976) · Zbl 0332.14009
[11] Katz, N., Mazur, B.: Arithmetic moduli of elliptic curves. Ann. Math. Stud.108, Princeton. Princeton University Press 1985 · Zbl 0576.14026
[12] Kohnen, W.: Fourier coefficients of modular forms of half-integral weight. Math. Ann.271, 237-268 (1985) · Zbl 0553.10020
[13] Kohnen, W., Zagier, D.: Modular forms with rational periods. In: Modular forms. Rankin, R.A. (ed.), 197-249. Chichester: Ellis Horwood 1984 · Zbl 0618.10019
[14] Shintani T.: On construction of holomorphic cusp forms of half-integral weight. J. Math. Soc. Japan33, 649-672 (1981) · Zbl 0494.10018
[15] Skoruppa, N., Zagier, D.: Jacobi forms and a certain space of modular forms. Preprint · Zbl 0651.10020
[16] Sturm, J.: Projections ofC ? automorphic forms. Bull. Am. Math. Soc.2, 435-439 (1980) · Zbl 0433.10013
[17] Vignéras, M.-F.: Arithmétique des algèbres de quaternions. Lect. Notes 800. Berlin, Heidelberg, New York: Springer 1980 · Zbl 0422.12008
[18] Waldspurger, J.-L.: Sur les coefficients de Fourier des formes modulaires de poids demi-entier. J. Math. Pures Appl60, 375-484 (1981) · Zbl 0431.10015
[19] Waldspurger, J.-L.: Sur les valeurs des certaines fonctionsL automorphes en leur centre de symétrie. Compos. Math.54, 173-242 (1985) · Zbl 0567.10021
[20] Zagier, D.: Modular forms associated to real quadratic fields. Invent. Math.30, 1-46 (1975) · Zbl 0308.10014
[21] Zagier, D.: Modular functions whose Fourier coefficients involve zeta-functions of quadratic fields. In: Modular functions of one variable. VI. Serre, J.P., Zagier, D. (eds.), 105-169. Lect. Notes 627. Berlin, Heidelberg, New York: Springer 1977 · Zbl 0372.10017
[22] Zagier, D.: Eisenstein series and the Riemann zeta function. In: Automorphic forms. representation theory and arithmetic., 275-301 Berlin, Heidelberg, New York: Springer 1981
[23] Zagier, D.: Modular points modular curves, modular surfaces, and modular forms. In: Arbeitstagung Bonn 1984. Hirzebruch, F., Schwermer, J., Suter., S. (eds.), 225-248 Lect. Notes Math. 1111. Berlin, Heidelberg, New York: Springer 1985 · Zbl 0594.14022
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.