1. Gross–Zagier theorem

2. Birch and Swinnerton-Dyer conjecture

3. Computation

4. References

In mathematics, a Heegner point is a point on a modular curve that is the image of a quadratic imaginary point of the upper half-plane. They were defined by Bryan Birch and named after Kurt Heegner, who used similar ideas to prove Gauss's conjecture on imaginary quadratic fields of class number one.

Gross–Zagier theorem

The Gross–Zagier theorem {{harv|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, {{harvtxt|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.

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. {{harv|Brown|1994}}

Computation

Heegner points can be used to compute very large rational points on rank 1 elliptic curves (see {{harv|Watkins|2006}} for a survey) that could not be found by naive methods. Implementation of the algorithm is available in Magma and PARI/GP.

References

• {{citation|url=http://www.msri.org/communications/books/Book49/files/01birch.pdf|mr=2083207|contribution=Heegner points: the beginnings|first=B.|last=Birch|authorlink=Bryan John Birch|title=Heegner Points and Rankin L-Series|series=Mathematical Sciences Research Institute Publications|publisher=Cambridge University Press|volume=49|editor1-first=Henri|editor1-last=Darmon|editor1-link=Henri Darmon|editor2-first=Shou-wu|editor2-last=Zhang|editor2-link=Shou-Wu Zhang|isbn=0-521-83659-X|doi=10.1017/CBO9780511756375.002|year=2004|pages=1–10}}.
• {{citation|last=Brown|first=M. L.|title=Heegner modules and elliptic curves|series=Lecture Notes in Mathematics|volume=1849|publisher=Springer-Verlag|year=2004|mr=2082815|isbn=3-540-22290-1|doi=10.1007/b98488}}.
• {{Citation | editor1-last=Darmon | editor1-first=Henri | editor2-last=Zhang | editor2-first=Shou-Wu | title=Heegner points and Rankin L-series | publisher=Cambridge University Press | series=Mathematical Sciences Research Institute Publications | isbn=978-0-521-83659-3 | mr=2083206 | year=2004 | volume=49|url=http://www.msri.org/communications/books/Book49 | doi=10.1017/CBO9780511756375}}
• {{citation|last1=Gross|first1=Benedict H.|author1-link=Benedict Gross|last2=Zagier|first2=Don B.|author2-link=Don Zagier|doi=10.1007/BF01388809|mr=0833192|title=Heegner points and derivatives of L-series|journal=Inventiones Mathematicae|volume=84|year=1986|issue=2|pages=225–320|bibcode=1986InMat..84..225G}}.
• {{citation|last1=Gross|first1=B.|author1-link=Benedict Gross|last2=Kohnen|first2=W.|last3=Zagier|first3=D.|author3-link=Don Zagier|doi=10.1007/BF01458081|mr=0909238|title=Heegner points and derivatives of L-series. II|journal=Mathematische Annalen|volume=278|year=1987|issue=1–4|pages=497–562}}.
• {{citation|last=Heegner|first=Kurt|authorlink=Kurt Heegner|doi=10.1007/BF01174749|mr=0053135|title=Diophantische Analysis und Modulfunktionen|journal=Mathematische Zeitschrift|volume=56|year=1952|pages=227–253|issue=3}}.
• {{citation|last=Watkins|first=Mark|title=Some remarks on Heegner point computations|year=2006|arxiv=math.NT/0506325v2}}.
• {{citation|last=Brown|first=Mark|title=On a conjecture of Tate for elliptic surfaces over finite fields|journal=Proc. London Math. Soc.|volume=69|year=1994|pages=489–514|issue=3|doi=10.1112/plms/s3-69.3.489 }}.

• First English Parliament
• First English War
• First EP
• First Epistle of Clement
• First Epistle of Clement to the Corinthians
• First epistle of john
• First epistle of peter
• First epistle to the corinthians
• First epistle to the thessalonians
• First epistle to timothy
• First Esopus War
• First estate
• First Estate of Finland
• First European Colonization Wave
• First European colonization wave (15th-19th century)
• First european settlement in America
• First European settlement in America
• First Evangelical Lutheran Church of Toronto
• First evangelical lutheran church of toronto
• First Evangelical Lutheran Church (Toronto)
• First exit time
• First Families of Boston
• First families of tennessee
• First families of virginia
• First Family 4 Life