“是。在方程式y2 =x3 -x的情况下，只有在
椭圆曲线指的是当a,b,c为有理数时，可用以下方程式表示的曲线。
这样一来，我们可知方程式y2 =x3 -x在
“学长，你怎么停下来了。”
“正确来说叫归约。将有理数域上的椭圆曲线移到有限域，称为归约。如果于质数p归约椭圆曲线都不会产生重根，那么这种情况就叫作‘于p有好的归约’，如果产生了重根，就叫 作‘于p有坏的归约’。椭圆曲线y2 =x3 -x于 2 有坏的归约。因为它在
x3 -x= (x- 0)(x- 1)(x+ 1)
“尤里说得对。”米尔嘉说道，“在有限域中考虑椭圆曲线的时候，应该重新审查一次条件。因为掉落到微型世界的时候，椭圆曲线可能已经不包含这个条件了。”
“左边圆圆的那个，是椭圆吗？”泰朵拉问道。
“是对的。想想有理数域上的因式分解——
“这样一来，我们可知方程式y2 =x3 -x在
这是椭圆曲线的定义，严格来说是‘有理数域
“我睡个午觉。你们填好了叫我。”米尔嘉说着闭上了眼。
p越大越费工夫，不过计算本身并没有那么困难。我在计算的间隙中偷瞄了一眼米尔嘉。
(x,y) = (0, 0), (1, 0), (2, 0)
这次我们来一个个确认 (x,y) 的 25 种情况。
换言之，就等于把椭圆曲线方程式看作以下这个同余式。
打个比方，以下式子是椭圆曲线的方程式。
“不是。”米尔嘉答道，“‘椭圆曲线’含有‘椭圆’这个词，是有历史渊源的。椭圆曲线的形状和椭圆没有关系。”
我们把这 4 种情况都代入到方程式y2 +x=x3 中，看等号是否成立。但在加减乘除的运算中则使用上述运算表。减法的话我们只要加上加法中的逆元就行了，不过太麻烦了，所以我们就将x移项，用以下形式来验证。
(x,y)=(0, 0), (1, 0), (4, 0), (2, 1), (3, 2), (3, 3), (2, 4)
“在
我们已经研究完了s(2),s(3),s(5)。我想请人来填下面这个表格。
因为三次方程x3 -x= 0 的解有三个，分别是x= 0, 1, -1，且没有重根，所以满足椭圆曲线的条件。我们来画个图。
“好像棱镜啊！”泰朵拉说道，“阳光透过棱镜会被分解成无数种颜色的光，把所有的光重合在一起又会还原成本来的阳光。感觉跟这个很像不是吗？有理数域
“尤里，你还想回去吗？”米尔嘉问道。
s(p) =（方程式y2 =x3 -x在有限域
(x,y) = (0, 0), (1, 0)
“尤里真厉害啊……”泰朵拉感叹道。
但存在以下附加条件。
“然后，不管于什么质数归约，只存在‘好的归约’和‘坏的归约’这两种情况时，我们就将这条椭圆曲线称为半稳定的椭圆曲线。”
在这里我们把方程式y2 =x3 +ax2 +bx+c中的 (a,b,c) 替换成了 (0, -1, 0)。右边的x3 -x可以分解成如下形式。
“好复杂喵。”
米尔嘉闭着眼睛，轻轻靠在椅背上。仔细一看，她已经安静地睡着了。这位黑发才女，还真的睡着了啊……
我们三个人默默地算起了有限域。求在有限域
(x,y)=(0, 0), (0, 1), (1, 0), (1, 1)
x3 -x= (x- 0)(x- 1)(x+ 1) 在
“这个因式分解是对的吗？”泰朵拉问道。
x3 -x= (x- 0)(x- 1)2 在
关于有限域，我们简单复习一下。有限域
为了保证 0 以外的元素可以进行除法运算，p 为质数。如下所示，有限域
虽然域的数量是无限的，但不要忘记每个域的元素数量是有限的。
“s(p) 有什么含义吗？”泰朵拉举起手。
最简单的有限域
“事实上
“数列s(p) 的表填好了。”米尔嘉醒来后马上接着往下讲。
◎ ◎ ◎
“米尔嘉大人，在
“差不多该想要自己来计算了吧。我们把方程式y2 =x3 -x在有限域
“诶？！”我提高了嗓门，“这就是怀尔斯证明了的那个……”
“我感觉有点像质数喵。”
“原来如此！”我突然明白了。尤里真厉害啊。
我们从食堂转移到了二楼的咖啡店，找了张能坐下四个人的大桌子，大家一起喝着咖啡（只有尤里喝着可可），继续刚才的话题。
我们从有限域
“对。这就是怀尔斯定理‘每一条半稳定的椭圆曲线都可以对应一个模形式’中出现的‘半稳定’的定义。半稳定的椭圆曲线指的就是不管于任何质数归约，重根数量都只停留在二重根的椭圆曲线。”
“掉落到有限域……是吗？”泰朵拉很在意用词，追问道。
“米尔嘉大人！在空间传送后，没有重根的条件……”
接下来，我们从代数角度研究椭圆曲线y2 =x3 -x。
我们刚刚为了把握椭圆曲线y2 =x3 -x的样子，将三次方程x3 -x进行了因式分解，解了三次方程式x3 -x= 0，并得到了 (0, 0), (1, 0), (-1, 0) 这三个有理点。
y2 =x3 -x椭圆曲线的方程式的例子
y2 +x=x3 （将x移项到等式左边，消去减法）
“这需要毅力喵！”尤里叫道。
例如，当 (x,y) = (0,0) 时，将其代入y2 +x=x3，则得到 02 + 0 = 03。用运算表计算的话，左边等于 0，右边也等于 0。因为左边和右边相等，所以
在这里，我们逆转一下思维，即想出无限个具有有限个元素的域。我们知道这样的域，它就是有限域。有限域
“这个数列s(p) 体现了椭圆曲线y2 =x3 -x的一个侧面。使用无数的有限域，就可以从各种各样的角度来看椭圆曲线。”
(x,y) 一共有 9 种情况。我们把这 9 种情况都代入到方程式y2 +x=x3 中，看等号是否成立。”
“喵哈哈～”
我们来分工合作吧。尤里负责
“这次我们举有限域
“你们发现了什么啊？”泰朵拉一脸困惑。
有限域
存在一个有理数域
“我在听，不管听得懂，还是听不懂。”
接下来，我们要从“有理数域
“现在尤里正过去买呢。”尤里从米尔嘉那接了钱，摇晃着马尾辫跑到了甜点区。
“这比喻相当不错。”米尔嘉说道，“关于‘椭圆曲线的世界’我们就先谈到这里，吃完巧克力慕斯后，接下来我们就该前往‘自守形式的世界’了。”
1“归约”的日语为“還元”，日语化学中也使用这个词，意思是还原。—— 译者注
“尤里。”米尔嘉催促尤里开口。
三次方程x3 +ax2 +bx+c= 0 没有重根。
我来简单说明一下数学都有哪些领域。
代数关注的是方程式和方程式的解，以及群、环、域等。
几何关注的是点、线、平面、立体、相交、相切等。
分析关注的是极限、微分、导函数、积分等。
当然，这些是相互关联的。例如，方程式里的“重根”虽然是代数概念，但却跟曲线‘相切’的几何概念，“导函数”值为 0 的分析概念相关。
“坏的归约也分好几种。于p归约的时候，如果重根停留在二重根的范围内，就把这条椭圆曲线称为‘于p有乘法归约’，如果有三重根，则称为‘于p有加法归约’。”
◎ ◎ ◎
泰朵拉在旁边戳了戳我。
“尤里，你真聪明。”米尔嘉回应道。
“巧克力慕斯？”
这样一来，我们就可以知道方程式y2 =x3 -x在
尤里绝不放过任何一个条件。真是这样啊。
在
“对。”米尔嘉点头，“有限域
“好，那么我先从定义开始讲起。椭圆曲线指的是……”
在求完点的个数以后，我们互相检查了各自负责的部分。我有一个计算错误，泰朵拉有三个，尤里则是零个。
“我们略微涉足了椭圆曲线的世界。以y2 =x3 -x这条椭圆曲线为例，数了数这条椭圆曲线在有限体
“那，我们该叫醒女王大人了吧。”
“因为能逐个击破。”米尔嘉马上回答，“有限域
幸好我们只是体验一下谷山 - 志村定理的气氛，用不着大型武器。需要的只有余项、毅力、想象力。
“米尔嘉大人呢？”尤里问道。
◎ ◎ ◎
“为什么‘有限个’这么重要呢？”泰朵拉问道。
“我明白了，重要的是在哪个域上进行运算吧。”泰朵拉似乎也理解了。
“‘归约’吗……感觉像化学术语 1 呢。”泰朵拉说道。
y2 =x3 +ax2 +bx+c
“嗯。在传送之前，椭圆曲线有x3 +ax2 +bx+c= 0 不存在重根这个条件。但是我觉得……在传送之后，不用在有限域的世界把这个条件再研究一遍喵？”
(x,y) 可能出现以下 4 种组合。
◎ ◎ ◎
