Heegner point
- 1 min read
- 3 chapters
Related on Lably
Through Mathematics
Gross–Zagier theorem
The Gross–Zagier theorem (Gross & Zagier 1986) describes the height of Heegner points in terms of a derivative of the L-function of the elliptic curve at the point s = 1. In particular if the elliptic curve has (analytic) rank 1, then the Heegner points can be used to construct a rational point on the curve of infinite order (so the Mordell–Weil group has rank at least 1). More generally, Gross, Kohnen & Zagier (1987) showed that Heegner points could be used to construct rational points on the curve for each positive integer n, and the heights of these points were the coefficients of a modular form of weight 3/2. Shou-Wu Zhang generalized the Gross–Zagier theorem from elliptic curves to the case of modular abelian varieties (Zhang 2001, 2004, Yuan, Zhang & Zhang 2009).
Sign in to keep reading
2 more chapters are free with a Lably account.
Birch and Swinnerton-Dyer conjecture
Kolyvagin later used Heegner points to construct Euler systems, and used this to prove much of the Birch–Swinnerton-Dyer conjecture for rank 1 elliptic curves. Brown proved the Birch–Swinnerton-Dyer conjecture for most rank 1 elliptic curves over global fields of positive characteristic (Brown 1994).
Computation
Heegner points can be used to compute very large rational points on rank 1 elliptic curves (see (Watkins 2006) for a survey) that could not be found by naive methods. Implementations of the algorithm are available in Magma, PARI/GP, and Sage.