Dedekind のエータ関数との関係から、判別式は無限乗積• もし を周期とする楕円関数と を周期とする楕円関数とが、初等代数関数の関係式で結ばれるならば、その楕円関数 体 は 「 を虚数乗法に持つ」 という。 を複素変数とする Klein の楕円モジュラー関数 のグラフ。 が0から離れるにしたがって、 は定数 関数 1から離れるように変形する。
まず「楕円関数」とは、上の二重周期関数のことです。
等で求められる。
定理は分かりやすく定式化できて、例えば、 によると、 E のワイエルシュトラスの方程式が定数 H により有界付けられた整数係数を持つ方程式であれば、 x も y も整数である E の点の座標 x, y は、 max x , y 0 の 8 個の整数解を持つ。
実解析的 Eisenstein 級数は、" 上の実解析的な" Fourier 級数、• 5MB) 複素変数の Jacobi の楕円関数 のグラフ。
3種類の Jacobi 楕円関数はともに、基本周期の点で囲まれた平行四辺形の内部で、すべての複素数値を2個ずつとり、1位の極と1位の零点とが各々2個分含まれるので、2位の楕円関数である。 言い換えると、曲線の点の数は、大まかには、体の元の数の増加具合と同じ増加具合を示している。 また、楕円曲線は虚数乗法を持つ場合と持たない場合に「場合分け」することができて、それぞれの場合でまったく取扱いが異なるのだそうだ。
14を複素変数とする Conway - Norton の楕円モジュラー関数 のグラフ。
合同部分群は唯一ではないが、例えば• 楕円モジュラー関数 の基本領域は、Klein の楕円モジュラー関数のそれの24倍に一致する。 楕円関数 日: Gaussの楕円関数, レムニスケート関数 英: Gauss's elliptic function,仏: Fonction elliptique de Gauss,独: Lemniskatische funktion 【始めに:楕円関数の概要】 現在では、楕円関数の定義が 「複素平面上の二重周期有理型関数」 という簡潔な言葉で与えられる。 Gauss の楕円関数は、代数的加法公式• このとき、測地線を周上に含む円 測地線円 は中心が必ず実軸上になる のときの中心は、実軸上の無限遠にあると考える。
10すなわち、• 複素変数の Jacobi の楕円関数 のグラフ。
実解析的 Eisenstein 級数 は、 に関するモジュラー変換で不変となる。
同様に、関数記号から の表示を省略している。
A Course in Number Theory and Cryptography. Epstein のゼータ関数は、1903年に P. となる このうち のグラフは、 のそれから容易に想像できる概形になり、特に基本領域は全く同じ形になるので、掲載しない。
9このようにして、 E の K-有理点全体のなす集合は E の複素数点( K が実代数体の場合は実数点)全体のなす群の部分群を成す。