ヒーグナー点

数学において、ヒーグナー点(ヘーグナー点)（）とは、モジュラー曲線上の点であって、上半平面の quadratic imaginary point の像となっているようなものである。ブライアン・バーチ (Bryan Birch) により定義され、 (Kurt Heegner) に因んで名づけられた。ヒーグナーは類数 1 の虚二次体上のガウスの予想を証明するために類似のアイデアを用いた。
グロス・ザギエの定理 は、点 "s" = 1 における楕円曲線のL関数の微分のことばでヒーグナー点の高さを記述する。とくに楕円曲線の（解析的）階数が 1 であればヒーグナー点は無限位数（したがっての階数は1以上）の曲線上の有理点を構成するのに使うことができる。より一般に、 は、ヒーグナー点は各正整数 "n" に対し曲線上の有理点を構成するのに使うことができこれらの点の高さはウェイト 3/2 のモジュラー形式の係数であることを示した。
は後にを構成するためにヒーグナー点を用い、それによって階数 1 の楕円曲線に対するバーチ・スウィンナートン＝ダイヤー予想の多くを証明した。はグロス・ザキエの定理を楕円曲線からモジュラーアーベル多様体の場合へと一般化した。ブラウンは正標数の大域体上の階数 1 の楕円曲線の多くに対してバーチ・スウィンナートン＝ダイヤー予想を証明した 。
ヒーグナー点は階数 1 の楕円曲線上の、単純な方法では見つけることのできなかった、非常に大きい有理点を計算するのに使うことができる（サーベイは を参照）。アルゴリズムの実装は、MagmaやPARI/GPで可能である。
定義.
 を正整数、
を楕円曲線 とその位数 の巡回部分群 の組 のモジュライ空間である有理数体 上のモジュラー曲線（のコンパクト化）とする。
の点
（ は楕円曲線、 は位数 の巡回部分群）が、 と 
がともにある虚二次体 の整数環 に虚数乗法を持つとき、この点 を にCMを持つヒーグナー点という。また、 を の判別式とするとき、この点 のことを判別式 のヒーグナー点ともいう。 と虚二次体 がヒーグナー条件と呼ばれる条件
を満たすときに判別式 のヒーグナー点は存在する。 を のヒルベルト類体とするとき、虚数乗法論よりヒーグナー点は
に入る。また、 を の素因子の個数、 を の類数とするとき、判別式 のヒーグナー点はちょうど
個だけ存在する。
ヒーグナー点 から定まる次の点もヒーグナー点と言われる。