ヒーグナー点

ウィキペディア

ヒーグナー点

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/19 08:58 UTC 版)

数学において、ヒーグナー点(ヘーグナー点)（英: Heegner point）とは、モジュラー曲線上の点であって、上半平面の quadratic imaginary point の像となっているようなものである。ブライアン・バーチ (Bryan Birch) により定義され、クルト・ヘーグナー (Kurt Heegner) に因んで名づけられた。ヒーグナーは類数 1 の虚二次体上のガウスの予想を証明するために類似のアイデアを用いた。

グロス・ザギエの定理 (Gross & Zagier 1986) は、点 s = 1 における楕円曲線のL関数の微分のことばでヒーグナー点の高さを記述する。とくに楕円曲線の（解析的）階数が 1 であればヒーグナー点は無限位数（したがってモーデル・ヴェイユ群の階数は1以上）の曲線上の有理点を構成するのに使うことができる。より一般に、Gross, Kohnen & Zagier (1987) は、ヒーグナー点は各正整数 n に対し曲線上の有理点を構成するのに使うことができこれらの点の高さはウェイト 3/2 のモジュラー形式の係数であることを示した。

コリヴァギンは後にオイラー系を構成するためにヒーグナー点を用い、それによって階数 1 の楕円曲線に対するバーチ・スウィンナートン＝ダイヤー予想の多くを証明した。张寿武はグロス・ザキエの定理を楕円曲線からモジュラーアーベル多様体の場合へと一般化した。ブラウンは正標数の大域体上の階数 1 の楕円曲線の多くに対してバーチ・スウィンナートン＝ダイヤー予想を証明した (Brown 1994)。

ヒーグナー点は階数 1 の楕円曲線上の、単純な方法では見つけることのできなかった、非常に大きい有理点を計算するのに使うことができる（サーベイは (Watkins 2006) を参照）。アルゴリズムの実装は、MagmaやPARI/GPで可能である。

参考文献

• Birch, B., “Heegner points: the beginnings”, in Darmon, Henri; Zhang, Shou-wu, Heegner Points and Rankin L-Series, Mathematical Sciences Research Institute Publications, 49, Cambridge University Press, ISBN 0-521-83659-X, MR2083207, http://www.msri.org/communications/books/Book49/files/01birch.pdf .
• Brown, M. L. (2004), Heegner modules and elliptic curves, Lecture Notes In Mathematics, 1849, Springer-Verlag, ISBN 3-540-22290-1, MR2082815 .
• Darmon, Henri; Zhang, Shou-Wu, eds. (2004), Heegner points and Rankin L-series, Mathematical Sciences Research Institute Publications, 49, Cambridge University Press, ISBN 978-0-521-83659-3, MR2083206, http://www.msri.org/communications/books/Book49 
• Gross, Benedict H.; Zagier, Don B. (1986), “Heegner points and derivatives of L-series”, Inventiones Mathematicae 84 (2): 225–320, doi:10.1007/BF01388809, MR0833192 .
• Gross, B.; Kohnen, W.; Zagier, D. (1987), “Heegner points and derivatives of L-series. II”, Mathematische Annalen 278 (1–4): 497–562, doi:10.1007/BF01458081, MR0909238 .
• Heegner, Kurt (1952), “Diophantische Analysis und Modulfunktionen”, Mathematische Zeitschrift 56 (3): 227–253, doi:10.1007/BF01174749, MR0053135 .
• Watkins, Mark (2006), Some remarks on Heegner point computations, arXiv:math/0506325v2, http://arxiv.org/abs/math.NT/0506325 .
• 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 .