计算机处理器高速运转,L(E,s)在s=1处泰勒展开,其展开的阶等同于椭圆曲线E的哈塞-韦伊rankr(E)。
椭圆曲线上的有理点在计算机的指挥下跳起神秘舞蹈,看似杂乱无章,实则踏着节拍。
形如y^2=x^3+ax+b的简单椭圆曲线亦有无穷多个有理点,而这样的椭圆曲线无穷多。
模曲线的条件被赵天等三个学生限定死,因为在1999年,加藤和也证明了有理数域上所有的椭圆曲线都是模曲线。
这是一场数字与符号间的盛大舞会,素数p登场了,它们在数据海洋中旋转跳跃,对某些椭圆曲线上的有理点的个数进行计数,转化为对以素数p为模的解的个数进行计数。
计算机屏幕的背景色是黑色,深邃的如同宇宙深处。黑暗中的舞者是一群白色精灵,在ordp(L’(E,1)/CE)=ordp(#Sha(E))的威压下,p们快要控几不住它们计几,它们的呼吸变的急促,舞步缭乱接近疯狂。
看着屏幕上不断变化的数字与符号,小云颇为着迷:“这就是数学的美,这就是数学的力量,宇宙中的奥秘隐藏于此。”
“嗯。”曾寒赞同的点点头。
验算进度2%。
即便是高性能计算机,对于欧叶构筑的理论假设也需验证一个礼拜。
在小云和曾寒看来,海量的椭圆曲线、方程所组成的数学世界具有无与伦比的美感和力量感。
也许是前额叶皮层神经没有学弟学妹那么发达,赵天只感受到有限的美和力量,更多的是繁杂的数据处理所造成的脑阔疼。
“你们不觉得有些奇怪吗,给予叶子姐帮助和支持的,居然不是沈教授,而是周雨安周老师。”等待数据处理的时间,赵天扯起了题外话。