Gross–Zagier theorem

Gross–Zagier theorem The Gross–Zagier theorem relates the heights of Heegner points on elliptic curves to the central derivative of L-series for modular forms, establishing a precise link between arithmetic geometry and analytic properties of L-functions. It played a decisive role in progress toward the Birch and Swinnerton-Dyer conjecture and connected methods from the theories of Andrew Wiles, Gerhard Frey, Jean-Pierre Serre, and John Tate. The result initiated an interplay among researchers at institutions such as Princeton University, Harvard University, Institut des Hautes Études Scientifiques, and Institute for Advanced Study.

Statement of the theorem

The theorem asserts that for an elliptic curve E over Q of conductor N associated via the Modularity theorem to a newform f in S_2(Γ_0(N)), and for a quadratic imaginary field K satisfying the Heegner hypothesis relative to N, the first derivative at s=1 of the Rankin–Selberg L-function L(f, χ_K, s) is proportional to the Néron–Tate height of a Heegner point P_K on E defined over the Hilbert class field of K. Gross and Zagier give an explicit formula equating L'(f, χ_K, 1) to a nonzero rational multiple of ⟨P_K, P_K⟩, involving periods and Tamagawa factors familiar from work of Birch and Swinnerton-Dyer, Kenneth A. Ribet, Barry Mazur, and Joseph H. Silverman.

Historical context and motivation

The theorem emerged from attempts to make the Birch and Swinnerton-Dyer conjecture effective in analytic cases and from investigations into Heegner points initiated by Heegner, Stark, Gross, and Silverman. Motivation came from the study of the arithmetic of elliptic curves after breakthroughs by Goro Shimura, Yutaka Taniyama, Gerhard Frey, and the later proof of modularity by Andrew Wiles and Richard Taylor. The Gross–Zagier formula synthesized techniques from the theories of Heegner points, complex multiplication, modular curves, height pairings, and the analytic theory of L-functions developed by Atle Selberg, Hugh Montgomery, and Atle Øksendal (note: Øksendal for stochastic calculus—not directly L-functions, but part of analytic context). Gross and Zagier announced their result in a 1986 paper, influencing subsequent work by Kolyvagin, Bertolini, Darmon, and Kato.

Sketch of proof

Gross and Zagier's argument uses intersection theory on modular curves such as X_0(N), the theory of complex multiplication of Carl Friedrich Gauss-style imaginary quadratic fields, and the Rankin–Selberg method developed by Rankin and Atkin. One constructs Heegner divisors from CM points on X_0(N), lifts these via the modular parametrization to points on E, and computes their Néron–Tate heights using Arakelov intersection theory in the spirit of Arakelov and Faltings. The analytic side evaluates the derivative L'(f, χ_K, 1) by expressing the Rankin–Selberg convolution in terms of Petersson inner products and Eisenstein series, drawing on spectral methods of H. Petersson, Hans Maass, and the trace formula of James Arthur. Matching the arithmetic and analytic computations yields the explicit proportionality, with auxiliary input from the theory of quaternion algebras as in work of Bruno Gross, J. Tunnell, and Jean-Loup Waldspurger.

Applications and consequences

The Gross–Zagier theorem provides a key tool for proving instances of the Birch and Swinnerton-Dyer conjecture in analytic rank one, combined with Kolyvagin's Euler system methods to deduce finiteness of Sha and control of Mordell–Weil rank; this circle of ideas involved Vladimir Kolyvagin, Karl Rubin, Barry Mazur, and Andrew Granville. It underpins explicit computations of rational points on elliptic curves used by researchers at Cremona and in databases such as those associated to John Cremona and influenced algorithms in computational number theory by William Stein and J. E. Cremona. The formula also influences proofs and examples in Iwasawa theory as developed by Ralph Greenberg, Kazuya Kato, and R. Taylor and contributes to the proof of cases of the Birch and Swinnerton-Dyer conjecture announced for modular elliptic curves of analytic rank 0 and 1 by collaborations involving Wei Zhang, Xinyi Yuan, and Shou-Wu Zhang.

Generalizations and related results

Generalizations extend the Gross–Zagier setting to higher-weight modular forms, Hilbert modular forms over totally real fields, and to derivatives of Rankin–Selberg L-functions for pairs of automorphic forms, pursued by Xavier Yuan, Shou-Wu Zhang, Wei Zhang, and Dorian Goldfeld. Waldspurger's formula relates central L-values to toric periods in a complementary direction, while the Gross–Prasad conjectures and the Gan–Gross–Prasad program place these relationships in the framework of automorphic representation theory involving Robert Langlands, Stephen Gelbart, and Dihua Jiang. Works by Bertolini–Darmon, Yuan–Zhang–Zhang, and Darmon–Rotger explore p-adic analogues, Euler systems, and Stark–Heegner points, connecting to Iwasawa theory investigations by Kazuya Kato, Robert Pollack, and Glenn Stevens.

Category:Theorems in number theory