楕円曲線

数学における楕円曲線とは種数 1}} の非特異な射影代数曲線、さらに一般的には、特定の基点 O}} を持つ種数 1}} の代数曲線を言う。

楕円曲線上の点に対し、先述の点 O}} を単位元とする群をなすように、和を代数的に定義することができる。すなわち楕円曲線はアーベル多様体である。

楕円曲線は、代数幾何学的には、射影平面 Pexp の中の三次の平面代数曲線として見ることもできる。より正確には、射影平面上、楕円曲線はヴァイエルシュトラス方程式あるいはヴァイエルシュトラスの標準形

により定義された非特異な平面代数曲線に双有理同値である。そしてこの形にあらわされているとき、O}} は実は射影平面の「無限遠点」である。

また、係数体の標数が 2}} でも 3}} でもないとき、楕円曲線は、アフィン平面上次の形の式により定義された非特異な平面代数曲線に双有理同値である。

非特異であるとは、グラフが尖点を持ったり、自分自身と交叉したりはしないということである。この形の方程式もヴァイエルシュトラス方程式あるいはヴァイエルシュトラスの標準形という。係数体の標数が 2}} や 3}} のとき、上の式は全ての非特異平面三次曲線を表せるほど一般ではない。

P}}が重根を持たない三次多項式として、1=//y//exp とすると、種数 1}} の非特異平面曲線を得るので、これは楕円曲線である。P}}が次数 4}} で無平方多項式とすると、これも種数 1}} の平面曲線となるが、しかし、単位元を自然に選び出すことができない。さらに一般的には、単位元として働く有理点を少なくとも一つ持つような種数 1}} の代数曲線を楕円曲線と呼ぶ。例えば、三次元射影空間へ埋め込まれた二つの二次曲面の交叉は楕円曲線である。

楕円関数論を使い、複素数上で定義された楕円曲線はトーラスの複素射影平面への埋め込みに対応することを示すことができる。トーラスもアーベル群で、実はこの対応は群同型かつ位相的に同相にもなっている。したがって、位相的には複素楕円曲線はトーラスである。

楕円曲線は、数論で特に重要で、現在研究されている主要な分野の一つである。例えば、アンドリュー・ワイルズにより証明されたフェルマーの最終定理で重要な役割を持っている。また、楕円曲線は、楕円暗号 や素因数分解への応用が見つかっている。

楕円曲線は、楕円ではないことに注意すべきである。「楕円」ということばの由来については楕円積分、楕円関数を参照。

このように、楕円曲線は次のように見なすことができる。

一次元のアーベル多様体
三次の平面代数曲線で、有理点を持つもの
複素数を加法群とみて、二重周期を持つ格子で割った商空間

1. 実数体上の楕円曲線
------------

楕円曲線の形式的な定義には、かなり技術的で代数幾何学の背景を必要としているが、高校レベルの代数と幾何を使って、楕円曲線の様子をいくらか記述することが可能である。すなわち、実平面上、楕円曲線は次の方程式により定義される平面曲線としてあらわされる。

ここに a}} と b}} は実数である。

楕円曲線の定義は、曲線が非特異であることも要求される。幾何学的には、このことは曲線のグラフが尖点を持たず、自己交叉せず、孤立点ももたないことを意味する。代数的には、非特異とは判別式

と関係している。曲線が非特異であることと、判別式が 0}} でないこととは同値である。

非特異楕円曲線のグラフは、判別式が正であれば、二つの曲線の成分を持ち、負であれば、一つの曲線の成分しか持たない。例えば、右の図で示されているグラフでは、図中の左は判別式が 64}} であり、図中の右は 判別式が −368}} である。

2. 群構造
------

射影平面で考えると、すべての滑らかな三次曲線上の群構造を定義することができる。射影平面上、楕円曲線がヴァイエルシュトラスの標準形

によりあらわされるとき、そのような三次曲線は斉次座標 bracket である無限遠点 O}} を持ち、群の単位元となる。

曲線は x}}-軸で対称であるので、任意の点 P}}が与えられると、−//P//}} はその反対側の点として取ることができる。−//O//}} は O}} とする。

P}} と Q}} が曲線上の二点であれば、一意に第三の点 //P// + //Q//}} を次の方法で定義することができる。まず、P}} と Q}} を通る直線を引く。この直線は一般に第三の点 R}} で曲線と交わる。//P// + //Q//}} を R}} の反対の点である −//R}} とする。//

この加法の定義は、ほとんどの場合はうまく働くが、いくつかの例外がある。一つ目の例外は、加算する点の片方が O}} であるときである。このとき、1=//P// + //O// = //P// = //O// + //P//}} と定義し、O}} は群の単位元となる。第二の例外は、P}} と Q}} が互いに反対側の点である場合である。この場合は、1=//P// + //Q// = //O//}} と定義する。最後の例外は、1=//P// = //Q//}} の場合であり、このとき一点しかないため、これを通る直線を一意に定義できない。そこで、この点での曲線の接線を使う。ほとんどの場合、接線は第二の点 R}} で曲線と交叉するため、反対の点をとることができる。しかしながら、P}} がたまたま変曲点であるようなときは、接線は P}} でしか曲線と交叉しない。そこで、R}} を P}} 自身として、//P// + //P//}} を単純に点の反対の点とする。

ヴァイエルシュトラス標準形ではない三次曲線に対しては、九つある変曲点のうちの一つを単位元 O}} とすることで群構造を定義することができる。射影平面内では、多重度を考慮にいれると、三次曲線と任意の直線は三つの点で交叉する。点 P}} に対し、−//P//}} は O}} と P}} を通る第三の点として一意に定義される。そして、任意の P}} と Q}} に対する //P// + //Q//}} は、R}} を P}} と Q}} を含む直線上の第三の点としたとき、1=//P// + //Q// = −//R//}} として定義される。

K}} をその上で曲線が定義される体とし、曲線を E}} で表すと、E}} 上の点であり、かつx座標とy座標の値が共に K}} 上にある点を、E}} の K}}-有理点とよぶ。K}}-有理点の集合は、//E//}} で表す。これも群を形成する。なぜならば、多項式の性質から、P}} が //E//}} の点であれば −//P//}} も //E//}} の点であり、P}} と Q}} の 2点が //E//}} の点であれば、第三の点も //E//}} の点になるからである。加えて、K}} が L}} の部分体であれば、//E//}} は //E//}} の部分群である。

上記の群は、幾何学的に記述されると同様に代数的にも記述できる。体 K}} 上の曲線 1=//y//exp が与えられるとし、曲線上の点を 1=//P// = (//xmsub と 1=//Q// = (//xmsub として、まず、//xmsub とする。s}} を P}} と Q}} を含む直線の傾き、つまり、//

とする。K}} は体であるので、s}} はうまく定義できる。すると、1=//R// = (//xmsub を//

により定義することができる。

1=//xmsub の場合は、二つの選択肢がある。1=//ymsub のとき、和は O}} と定義される。つまり、曲線上の各点の逆元は、x}}-軸に対して線対称の位置にある。1=//ymsub のときは、1=//R// = (//xmsub は、

により与えられる。

2.1. 結合律
--------

結合律を除く全ての群法則は、直ちに群作用の幾何学的定義から導くことができる。このアニメーションは幾何学的な結合法則を示している。

六本のどの直線についても、直線上の三点の和が 0}} であることに注意。九個の点全ての位置は、0}} と a, b, c}} の位置と楕円曲線によって決定される。九点のうちの中心の点は、a}} と //b// + //c//}} を通る直線上と、//a// + //b//}} と c}} を通る直線上にある。加法の結合律は、格子の中心点を楕円曲線が通るという事実と同値である。この事実より、1= −) = −+ //c//)}} が導かれる。

楕円曲線と点 0}} はこのアニメーションの中では不動であることに対し、一方、a, b, c}} は互いに独立して動く。

3. 複素数体上の楕円曲線
-------------

楕円曲線の複素射影平面の中のトーラスの埋め込みとしての定式化は、ヴァイエルシュトラスの楕円関数の不思議な性質から自然に導かれる。これらの関数と関数の一階微分は、公式により関係付けられている。

ここに、//g//msub と //g//msub は定数であり、//℘//}} はΛ}}を周期とするヴァイエルシュトラスの楕円関数で、//℘'}}//}} はその微分である。楕円関数の形の中でこの公式は明らかであろう。ヴァイエルシュトラスの楕円関数は二重周期関数である。つまり、周期の基本対の観点から周期的であり、本質的には、ヴァイエルシュトラス関数は、自然に、トーラス 1=//T// = C/Λ}} の上で定義される。このトーラスは、写像

により、複素射影平面の中に埋め込まれる。

この写像は群同型であり、トーラスの自然な群構造を射影平面へ写す。この写像は、リーマン面にも同型であり、従って、位相的には、楕円曲線が与えられるとトーラスのように見える。格子 Λ}} が、非零な複素数 c}} による掛け算により、格子 //c//Λ}} へ写されると、対応する曲線は同型となる。楕円曲線の同型類はj-不変量により特定される。

同型類は同じ方法で理解することができる。定数 //g//msub と //g//msub は、j-不変量と呼ばれ、トーラスの構造である格子により一意に決定される。しかしながら、複素数の全体は、実係数多項式の分解体を成し、楕円曲線は

と書くことができる。

以上のことから、

であり、

であることが分かり、このモジュラー判別式は

である。

ここに λ}} はモジュラーラムダ関数と呼ばれることもある。

注意すべきは、一意化定理は、種数 1}} の全てのコンパクトなリーマン面は、トーラスとして実現することができることを意味していることである。

このことは、楕円曲線上の捩れ点を容易に理解することができる。格子 Λ}} が基本周期 //ω//msub ではられると、n}}-ねじれ点は、0}} から //n// − 1}} までの整数 a}} と b}} に対し、次の形の点である。

複素数上に、どの楕円曲線も九個の変曲点を持っている。これらの点のうちの二つを通るどの直線も、三つ目の変曲点を通る。九つの点と12の直線はこのようにしてヘッセ配置を成す。

4. 代数体上の楕円曲線
------------

有理数体 Q}} 上、あるいは一般に代数体 K}} 上定義された曲線 //E/////K//}} についても接線と割線の方法  による加法は適用できる。群構造を定義したときにも述べたように、明示公式から、2つの K}}-有理点 P, Q}} の和は、P}} と Q}} を結ぶ直線は K}} 上に係数を持つゆえ、再び K}} 上に座標を持つ。このようにして、E}} の K}}-有理点全体のなす集合は E}} の複素数点全体のなす群の部分群を成す。この意味において、楕円曲線はアーベル群、すなわち 1=//P// + //Q// = //Q// + //P//}} となっている。

4.1. 高さ
-------

代数体 K}} 上の楕円曲線上の点に対し、高さが定まる。一般に、次数 d}} の代数体 K}} 上の射影空間 上の点 の絶対的高さ を

により定める。ここで は K}} 上の正規化された絶対値をあらわす。また

を対数的高さ  と呼ぶ。

f}} を代数体 K}} 上の楕円曲線 E}} 上定義された有理関数とする。 を f}} に対する高さと呼ぶ。 P}} が非特異点ならば、これは代数的数 の対数的高さと一致する。特に P}} のx}}-座標が有理数 1=//x = frac で x}} が P}} の x}}-座標を与える関数であるとき、 となる。// 任意の定数 C}} に対し、高さ となる点 は有限個である。

f}} が偶関数であるとき、つまり が任意の点 について成り立つとき、つぎの3つの不等式が成り立つ。 任意の に対し

が成り立つ。ここで右辺の は E}} と f}} のみに依存し、 P}} や Q}} には依存しない。 を決めれば、定数 が定まり、

が任意の に対して成り立つ。さらに整数 m}} を定めれば、任意の に対して

が成り立つ。ここで右辺の は のみに依存し、 P}} には依存しない。つまり //h//}} はおよそ m}} の二乗に比例して増加する。 E}} が

の形であらわされているときは P}} の x}}-座標を与える関数 x}} は偶関数である。

さらに、偶関数 f}} に対し

で与えられる極限は f}} に依存せず定まる。この極限を標準的高さ  もしくは ネロン・テイトの高さ。

この積は Re > 3/2}} でのみ絶対収束する。ハッセの予想はこの L}}-関数は全複素平面へ解析接続され、任意の s}} に対して、//L//}} を //L//}} へ関連付ける関数等式を満たすのではないかと言う予想であった。1999年、この予想は、谷山志村予想の証明の結果であることがしめされた。谷山志村予想は、Q}} 上の全ての楕円曲線はモジュラーであるいう予想であり、このことは、楕円曲線の L-関数は解析接続が知られているモジュラー形式のL-関数であることを意味する。

このことにより、任意の複素数 s}} での //L//}} の値についていうことができる。BSD予想は 1=//s// = 1}} での曲線の L}}-関数の振る舞いへ曲線の数論を関連付ける。さらに詳しくは、1=//s// = 1}} での L}}-関数の位数は、E}} のランクに等しく、楕円曲線に関連するいくつかの量を表すこの点での //L//}} ローラン級数の主要項であることを予想している。

リーマン予想と良く似ていて、この予想は次の 2つを含む多くの結果を持っている。

n を奇数の非平方である整数とする。BSD予想が成立することを前提とすると、n が有理数の辺の長さを持つ直角三角形の面積となることは、 を満たす整数  の三つ組の数が、 を満たす三つ組の数の 2倍であることと同値である。このステートメントは、タネルの定理により n が合同数であることと、楕円曲線 が無限オーダーの有理点を持っていることに関連付ける。ここで言っていることの主眼は、条件が簡単に評価されることである。
別な方向としては、ある解析的方法はL-関数の族の臨界帯の中心での 0 のオーダーを見積もることを可能とする。BSD予想を仮定すると、これらの見積もりは、問題の楕円曲線の族のランクについての情報に対応する。例えば、 は、一般化されたリーマン予想とBSD予想を想定して、 で与えられる楕円曲線の平均ランクは 2 よりも小さいことが示された。

4.2. モジュラー性定理とフェルマーの最終定理への応用
----------------------------

モジュラー性定理は、以前は谷山志村予想としても知られていたが、Q の上の全ての楕円曲線 E}} はモジュラーであるということであり、言い換えると、楕円曲線のハッセ・ヴェイユのゼータ関数はウェイト 2 でレベル 1 のモジュラー形式のL-関数であるということを言っている。ここに N はアーベル多様体 E}} のアーベル多様体の導手である。言い換えると、Re > 3/2 に対し、L-関数を

の形に書くと、

はウェイト 2 でレベル N の双曲モジュラー形式の新形式を定義する。N を割らない素数 ℓ に対して、モジュラー形式の係数 a は ℓ に等しい、つまり法 ℓ での最小多項式の解の個数に等しい。

判別式が 37 である楕円関数 の例は、モジュラー形式に関係付けられている。

ℓ を 37 とは異なる素数とすると、係数の性質を比較することができる。従って、ℓ = 3 とすると法 3 の方程式の解は , , , , ,  であり、a = 3 − 6 = −3 である。

この予想は1950年代に主張され、1999年にアンドリュー・ワイルズのアイデアを用いて完全に証明された。彼は1994年に大きな楕円曲線の族についてこの予想を証明した。

予想には様々な定式がある。これらが同値であることを示すことは難しく、20世紀の後半の数論の主要なテーマであった。導手 N の楕円曲線 E}} のモジュラーリティは、モジュラー曲線 X0}} から E}} への、Q 上に定義された非定数の有理写像が存在することも表すことができる。特に、E}} の点はモジュラー関数によりパラメトライズされる。

例えば、曲線 のモジュラーパラメータ化は により与えられた。

ここでは、上記のように q = exp とする。関数 x と y はウェイト 0 でレベル 37 のモジュラー関数で、言い換えると、それらは上半平面 Im > 0 で定義された有理型で、関数等式

を満たす。また同じことが、ad − bc = 1 かつ 37|c となる全ての整数 a, b, c, d と y について成り立つ。

別な定式化は、一方では楕円曲線に、他方ではモジュラー形式に関連するガロア表現の比較に依拠している。モジュラー形式に関係付けられた定式化は予想の証明に使用された。形式のレベルを扱うことは特に微妙である。

予想の最も重要な応用はフェルマーの最終定理の証明である。素数 p > 5 に対して、フェルマー方程式

は、零ではない整数解を持つとする、つまり、フェルマーの最終定理の反例であるとすると、判別式

の楕円曲線

は、モジュラーではありえない。従って、楕円曲線のこの族の谷山志村予想の証明は、フェルマーの最終定理を意味する。2つのステートメントを結び付ける証明は、ゲルハルト・フライの1985年のアイデアを基礎にしていて、難しくテクニカルである。1987年にケン・リベットにより出版された。

5. 整数点
------

楕円曲線上には整数点は有限個しか存在しない。すなわちx}}が整数であるような //E//}} の点 1=//P// = }} の集合は有限集合である。一般に種数が 1}} 以上の代数曲線には整数点は有限個しか存在しない。これはアクセル・トゥエがディオファントス近似に関する定理から特別の場合について証明し、ジーゲルが一般の場合について証明した。この定理は、x}} の座標の分母が有限個の素数によってのみ割ることのできる点へと一般化される。しかし、これらの定理は計算可能性を備えていない。ベイカーは超越数論の方法をつかい、種数1の代数曲線には有限個の整数点しか存在せず、それらは計算可能であることを示した。

定理は分かりやすく定式化できて、例えば、 によると、E}} のワイエルシュトラスの方程式が定数 H により有界付けられた整数係数を持つ方程式であれば、x}} も y}} も整数である E}} の点の座標  は、

を満たす。

特殊な場合にはより強い結果が成り立つことが知られている。たとえば //k// が 0 ではない整数で、  が不定方程式

の整数解  であるとき、任意の正の定数 //ε// に対して、 //k// と //ε// のみに依存する計算可能な定数 //c// が存在して

が成り立つ。

一般に、E}} を数体 K}} 上の楕円曲線、x}} と y}} をワイエルシュトラス座標とすると、x}}-座標が整数環 //O//msub に属するような //E//}} の点は有限個しかなく、その大きさに対して、計算可能な上界が与えられる。したがって、原理的にはそれらの点は決定可能である。

例えば、方程式 1=//y//exp は //y// > 0 の 8 個の整数解を持つ。

 = , , , , , , , .別な例は、

で、ワイエルシュトラス形式は 1=//y//exp であり、この曲線は y}} ≥ 0 で 4個の解しか持たない。

 = , , , .

5.1. 楕円対数
---------

前述の通り、ヴァイエルシュトラスの楕円関数によって定義される写像

が群同型であることから、その逆写像も群同型となる。なおかつ、ヴァイエルシュトラスの楕円関数の性質から、この逆写像は楕円積分を用いてあらわされる。具体的には楕円曲線 //E// が

とあらわされているとき、ヴァイエルシュトラス関数の周期 によって生成される格子をΛ}}とおくと、楕円曲線上の点 に対し、

と定めると、 φは //E//}} から R/Λ}} への群同型を定める。そこで、//E//}} の生成元を とおくと K}}-有理点 に対し

が成り立つ。この写像φを楕円対数と呼ぶ。

通常の対数関数の一次形式の下からの評価に関するベイカーの定理に対応し、楕円対数の下からの評価が知られている。次の不等式が成り立つような、E}} と代数体 K}} およびランク r}} にのみ依存する計算可能な定数 がとれる。 とおくと、格子Λ}}上の任意の点 に対して

一方 P}} が整数点であるとき、この絶対値は B}} に対して指数関数的に減少する。というのは、P}} が整数点であるとき となる一方、標準的高さは の正定値二次形式としてあらわされることから、対数的高さも正定値二次形式で近似されるので、

となるからである。このことから、整数点の大きさに対する上からの評価が得られる。

この方法は //E//}} が知られているときには整数点の大きさに対する計算可能な上界を与えるが、前にも述べたように //E//}} 自体を特定するアルゴリズムが知られていないため、この方法は一般の楕円曲線に対しては理論上は必ずしも有効ではない。

6. 一般の体上の楕円曲線
-------------

楕円曲線は任意の体 K}} 上で定義することができる。楕円曲線の公式な定義は、K}} 上で定義された点を持ち、種数 1}} の K}} 上の非特異射影代数多様体ことを言う。

K}} の標数が 2}} でも 3}} でもなければ、全ての K}} 上の楕円曲線は、

の形に書くことができる。ここに p}} と q}} は K}} の元で、多項式の右辺 //x//3}} − px − q は二重点を持たない。標数が 2}} や 3}} であれば、さらに項を注意深く扱わねばならなく、標数 3}} の場合は、最も一般的な方程式は、多項式の右辺が異なる根を持つような任意の定数 //b//msub に対し、

の形をしている。

標数 2}} の場合は、以上のようなことな不可能で、最も一般的な方程式である

が、非特異な多様体を与える。標数が問題にならない場合は、各々の方程式は、適切な変数変換により前の方程式となる。

一つの典型例を挙げると、全ての曲線の点 }} が上の方程式を満たし、そのような点 x}} と y}} が K}} の代数的閉包に属するとする。K}} に属する座標を持つ点は、K}}-有理点と呼ばれる。

一般の体 k}} 上の楕円曲線は、射影平面 //P//exp の非特異三次曲線

と書くことができる。この式は、三次曲線の変曲点が }} にあり、その接線が 1=//z// = 0}} であるとした時に得られる形で、ワイエルシュトラスの標準形と呼ばれる。この斉次式を非斉次形に直すと

となる。

7. 同種
-----

E}} と D}} を体 k}} 上の楕円曲線とする。E}} と D}} の間の同種  は、基点を保つアーベル多様体の間の有限射 //f//: //E// → //D//}} である。

二つの楕円曲線が同種とは、それらの間に同種写像があるときを言う。この関係は同値関係であり、双対同種の存在により対称的である。全ての同種は、代数的準同型であり、このようにして k に値を持つ楕円曲線の群の準同型が導出される。

8. 有限体上の楕円曲線
------------

//K// =}} Fmsub を q}} 個の元を持つ有限体として、E}} を K}} 上に定義された楕円曲線とする。K}} 上の楕円曲線の点の数を数えるを正確に数えることは、一般には難しいが、楕円曲線のハッセの定理は、無限遠点を含めると、この数を、

と評価できることを教えている。

言い換えると、曲線の点の数は、大まかには、体の元の数の増加具合と同じ増加具合を示している。この事実は一般的な理論の助けを借りて理解し証明することができる。局所ゼータ関数やエタールコホモロジーを参照。

点の集合 //E//(Fmsub は有限アーベル群である。常に、巡回的か、もしくは二つの巡回群の積となる。例えば、 では、

で Fmsub 上に定義される楕円曲線は72個の点をもち、その群構造は、Z/2Z × Z/36Z}} で与えられる。具体的な曲線の点の数は、シューフのアルゴリズムにより計算することができる。

Fmsub の拡大体上の曲線の研究は、Fmsub 上の //E// の局所ゼータ関数を導入することにより促進された。局所ゼータ関数は、上記のように一般化された級数

により定義される。ここに体 Kmsub は体 1=//K// = Fmsub の n}} 次拡大、つまり Fmsub である。ゼータ関数は T}} の有理関数である。ある整数 a}} が存在し、

となる。

さらに、絶対値が sqrt である複素数 α, β とすると、

が成り立つ。この結果はヴェイユ予想 の特別な場合である。例えば、 では、体 Fmsub 上の E}} のゼータ関数である 1=//y//exp は、

により与えられる。このことは、次の式に従う。

佐藤・テイト予想は、Q}} 上の楕円曲線 E}} を法 q}} で還元した場合に、ハッセの定理の中の誤差項 2sqrt が素数 q}} によってどのように変わるのかについての言明である。佐藤・テイト予想は、Taylorにより証明され、誤差項が等分分布していることを言っている。

有限体の上の楕円曲線は、特に暗号理論や大きな整数の素因数分解に応用されている。これらのアルゴリズムには、E}} 上の点の群構造がしばしば利用されている。一般の群に適用できるアルゴリズムは、楕円曲線上の点の群へも応用することができる。例えば、離散対数はそのようなアルゴリズムである。興味深いのは、楕円曲線を選ぶ方が、体の位数 q}}を選ぶよりも、高い柔軟性がある点である。また、楕円曲線の群構造は、一般にはより複雑である。

9. 楕円曲線を使ったアルゴリズム
-----------------

有限体上の楕円曲線は、整数の素因数分解への応用と同じように、暗号理論への応用にも使われる。典型的には、暗号理論への応用の一般論は、ある有限群を使った知られているアルゴリズムを、楕円曲線の有理点の群を使うように書き換えて使う。さらに以下を参照。

楕円曲線暗号
楕円曲線ディフィー・ヘルマン鍵共有
楕円曲線DSA
エドワーズ曲線デジタル署名アルゴリズム

10. 楕円曲線の別の表現
-------------

楕円曲線のヘッセ形式

11. 脚注
------

12. 参考文献
--------

Serge Langは、下に挙げた参考文献の導入部で、"It is possible to write endlessly on elliptic curves. " と言っている。したがって以下の参考文献のリストは、膨大な公開されている楕円曲線の理論的、アルゴリズム的、暗号理論的な側面のせいぜいガイドでしかない。

Chapter XXV

13. 関連項目
--------

リーマン・フルヴィッツの公式
数論力学
楕円曲面
数式処理システムの一覧

14. 外部リンク
---------

[1]
[2] from PlanetMath
[3], Ezra Brown, The College Mathematics Journal, Vol. 31 , pp.   162–172, winner of the MAA writing prize the George Pólya Award.
[4] – Can be used to plot elliptic curves.
[5]
[6]
[7] and [8] - Web application that requires HTML5 capable browser.
[9]