コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

ヒーグナー点

出典: フリー百科事典『ウィキペディア(Wikipedia)』

数学において、ヒーグナー点(ヘーグナー点)(: 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) を参照)。アルゴリズムの実装は、MagmaPARI/GPで可能である。

定義

[編集]

N を正整数、X0(N)楕円曲線 E とその位数 N の巡回部分群[1] C の組 (E, C)モジュライ空間である有理数体 Q 上のモジュラー曲線(のコンパクト化)とする[2]

X0(N)(C) の点 x=(E, C)E は楕円曲線、C は位数 N の巡回部分群)が、EE/C がともにある虚二次体 K の整数環 𝒪K虚数乗法を持つとき、この点 x𝒪K にCMを持つヒーグナー点という[3]。また、DKK の判別式とするとき、この点 x のことを判別式 DK のヒーグナー点ともいう。N と虚二次体 K がヒーグナー条件と呼ばれる条件

N の任意の素因子は K で分解する

を満たすときに判別式 DK のヒーグナー点は存在する。HKKヒルベルト類体とするとき、虚数乗法論よりヒーグナー点は X0(N)(HK) に入る。また、ν(N)N の素因子の個数、hKK類数とするとき、判別式 DK のヒーグナー点はちょうど 2ν(N)hK 個だけ存在する。

ヒーグナー点 x から定まる次の点もヒーグナー点と言われる[4]

  • J0(N)X0(N)ヤコビ多様体とする。自然な射
     
    によるヒーグナー点のもヒーグナー点という。
  • f をレベル Γ0(N) 重さ2のヘッケ固有新形式英語版Aff に付随するアーベル多様体とする。自然な射 J0(N) → Af によるヒーグナー点の像もヒーグナー点という。さらに、トレース写像 TrHK/K: Af(HK) → Af(K) によるヒーグナー点の像もヒーグナー点という。

出典

[編集]
  1. ^ 佐久川 2003, p. 51.
  2. ^ Gross 1991, p. 235.
  3. ^ 片岡 2003, p. 208.
  4. ^ 片岡 2003, p. 209.

参考文献

[編集]
');