通俗地说,椭圆曲线是一种 三次曲线,其解被限制在拓扑等价于 环面 的空间区域内。 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 算法 可用于确定有限域 上椭圆曲线 的阶。