Heegner point

You can help expand this article with text translated from the corresponding article in German. Click [show] for important translation instructions. View a machine-translated version of the German article. Machine translation, like DeepL or Google Translate, is a useful starting point for translations, but translators must revise errors as necessary and confirm that the translation is accurate, rather than simply copy-pasting machine-translated text into the English Wikipedia. Consider adding a topic to this template: there are already 2,093 articles in the main category, and specifying|topic= will aid in categorization. Do not translate text that appears unreliable or low-quality. If possible, verify the text with references provided in the foreign-language article. You must provide copyright attribution in the edit summary accompanying your translation by providing an interlanguage link to the source of your translation. A model attribution edit summary is Content in this edit is translated from the existing German Wikipedia article at [[:de:Heegner-Punkt]]; see its history for attribution. You may also add the template {{Translated|de|Heegner-Punkt}} to the talk page. For more guidance, see Wikipedia:Translation.

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.

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).

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).

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.

• Birch, B. (2004), "Heegner points: the beginnings", in Darmon, Henri; Zhang, Shou-Wu (eds.), Heegner Points and Rankin L-Series (PDF), Mathematical Sciences Research Institute Publications, vol. 49, Cambridge University Press, pp. 1–10, doi:10.1017/CBO9780511756375.002, ISBN 0-521-83659-X, MR 2083207.
• Brown, M. L. (2004), Heegner modules and elliptic curves, Lecture Notes in Mathematics, vol. 1849, Springer-Verlag, doi:10.1007/b98488, ISBN 3-540-22290-1, MR 2082815.
• Darmon, Henri; Zhang, Shou-Wu, eds. (2004), Heegner points and Rankin L-series, Mathematical Sciences Research Institute Publications, vol. 49, Cambridge University Press, doi:10.1017/CBO9780511756375, ISBN 978-0-521-83659-3, MR 2083206
• Gross, Benedict H.; Zagier, Don B. (1986), "Heegner points and derivatives of L-series", Inventiones Mathematicae, 84 (2): 225–320, Bibcode:1986InMat..84..225G, doi:10.1007/BF01388809, MR 0833192, S2CID 125716869.
• Gross, Benedict H.; Kohnen, Winfried; Zagier, Don (1987), "Heegner points and derivatives of L-series. II", Mathematische Annalen, 278 (1–4): 497–562, doi:10.1007/BF01458081, MR 0909238, S2CID 121652706.
• Heegner, Kurt (1952), "Diophantische Analysis und Modulfunktionen", Mathematische Zeitschrift, 56 (3): 227–253, doi:10.1007/BF01174749, MR 0053135, S2CID 120109035.
• Watkins, Mark (2006), Some remarks on Heegner point computations, arXiv:math.NT/0506325v2.
• Brown, Mark (1994), "On a conjecture of Tate for elliptic surfaces over finite fields", Proc. London Math. Soc., 69 (3): 489–514, doi:10.1112/plms/s3-69.3.489.
• Yuan, Xinyi; Zhang, Shou-Wu; Zhang, Wei (2009), "The Gross–Kohnen–Zagier Theorem over Totally Real Fields", Compositio Mathematica, 145 (5): 1147–1162, doi:10.1112/S0010437X08003734, S2CID 17981061.
• Zhang, Shou-Wu (2001), "Gross-Zagier formula for GL2", Asian Journal of Mathematics, 5 (2): 183–290, doi:10.4310/AJM.2001.v5.n2.a1.
• Zhang, Shou-Wu (2004), "Gross–Zagier formula for GL(2) II", in Darmon, Henri; Zhang, Shou-Wu (eds.), Heegner points and Rankin L-series, Mathematical Sciences Research Institute Publications, vol. 49, Cambridge University Press, pp. 191–214, doi:10.1017/CBO9780511756375, ISBN 978-0-521-83659-3, MR 2083206.