椭圆曲线和
椭圆函数,
椭圆积分等内容密切相关。 著名的费马大定理的证明也与此有关。
椭圆曲线上的点全体构成一个
加法群, 点与点之间的“加法”运算。 正因为椭圆曲线存在加法结构,所以它包含了很多重要的数论信息。椭圆曲线和它的
雅可比簇是
同构的,所以它上面的“加法”结构实际上来自于它的雅可比簇的自然加法结构。
椭圆曲线上的
有理点的个数也是人们关心的重要问题,这个问题和著名的Mordell-
Weil定理有关。Mordell-Weil定理是说:椭圆曲线上有理点构成的群是有限生成的。另一方面,椭圆曲线上的整点只有有限多个,这个定理被称为Siegel定理。
通过以下实例,可以更好的理解上述两个定理:椭圆曲线上,仅有16个整点:(-2,3),(-1,4),(2,5),(4,9),(8,23),(43,282),(52,375),(5234,378661),以及它们关于x轴的对称点,而其上所有的
有理点可以由(-2,3),(2,5)通过群上的
加法生成。
Bezout定理告诉我们, 两条
光滑椭圆曲线相交于9个点(
切点重复计算)。 进一步,如果有第三条光滑椭圆曲线经过其中的8个交点,那它必定经过第九个点。这是古典代数几何中的一个重要的结论。
欧拉对此问题也有过考虑。
作为推广,X.
诺特(Noether)曾经得到了更一般的
代数曲线交点的类似结论。 这个问题和
代数曲面上秩2向量丛的半稳定性有着深刻的内在联系。
谈胜利利用
秩2向量丛的Bogomolov不等式, 将此问题推广到最一般的情形。
将这些退化情形放到上述的结论中, 我们就得到了许多著名的
射影几何中的定理,如
帕斯卡定理等等。
模性是指整体域上椭圆曲线的L函数等于某一个自守形式的L函数,这是Langlands纲领的一部分。
Wiles在其1995年重要工作中证明了有理数域上的半稳定椭圆曲线是模的,并由此推出了费马大定理。