通俗地說,橢圓曲線是一種 三次曲線,其解被限制在拓撲等價於 環面 的空間區域內。 Weierstrass 橢圓函式 描述瞭如何從這個 環面 得到橢圓曲線的代數形式。
形式上,域 上的橢圓曲線是兩個變數的非奇異 三次曲線
,具有
-有理點(可能是 無窮遠點)。域
通常取為 複數
,實數
,有理數
,
的代數擴張,p-adic 數
,或 有限域。
透過適當的變數替換,特徵 的 域 上的通用橢圓曲線,通用 三次曲線
|
(1)
|
其中 、
、... 是
的元素,可以寫成以下形式
|
(2)
|
其中 (2) 式的右側沒有重複因子。任何特徵不為 2 或 3 的橢圓曲線也可以寫成 勒讓德標準形
|
(3)
|
(Hartshorne 1999)。
上面展示了不同 和
值的橢圓曲線。
如果 的 特徵 為 3,那麼最好的情況是將曲線轉換為
|
(4)
|
( 項無法消除)。如果
的 特徵 為 2,那麼情況更糟。任何
上橢圓曲線可以轉換成的通用形式稱為 Weierstrass 形式,由下式給出
|
(5)
|
其中 、
、
、
和
是
的元素。幸運的是,
、
和
的 特徵 均為零。
對於整數 ,形式為
的橢圓曲線稱為 Mordell 曲線。
雖然 圓錐曲線 可以用有理函式引數化,但橢圓曲線不能。最簡單的引數化函式是 橢圓函式。阿貝爾簇 可以看作是橢圓曲線的推廣。
如果橢圓曲線的基礎 域 是代數閉域,則直線與橢圓曲線相交於三個點(在切點處計算重根)。如果已知兩個點,則可以計算出第三個點。如果兩個交點是 -有理點,那麼第三個點也是。 Mazur 和 Tate (1973/74) 證明,在
上不存在階數為 13 的 有理點 的橢圓曲線。
令 和
是橢圓曲線
上的兩個點,橢圓判別式 為
|
(6)
|
滿足
|
(7)
|
一個相關的量,稱為 j-不變數 ,定義為
|
(8)
|
現在定義
|
(9)
|
那麼第三個點的座標是
|
(10)
| |||
|
(11)
|
對於 上的橢圓曲線,Mordell 證明了積分解的數量是有限的。Mordell-Weil 定理 指出,
上橢圓曲線的 有理點 群 是有限生成的。令
的 根 為
、
和
。那麼判別式為
|
(12)
|
令人驚歎的 谷山-志村猜想 指出,所有有理橢圓曲線也是模的。這個事實遠非顯而易見,儘管該猜想是在 1955 年提出的,但直到 1995 年才被部分證明。即便如此,Wiles 對半穩定情況的證明仍然讓大多數數學家感到驚訝,他們曾認為這個猜想是不可攻克的。作為額外的收穫,Wiles 對 谷山-志村猜想 的證明也解決了困擾數學家數百年的著名且棘手的問題——費馬最後定理。
具有小 j-導子 的曲線列在 Swinnerton-Dyer (1975) 和 Cremona (1997) 中。 Gebel 等人以及 Stroeker 和 Tzanakis (1994) 給出了計算積分點(具有積分座標的點)的方法。Schoof-Elkies-Atkin 演算法 可用於確定有限域 上橢圓曲線
的階。