七八中文网

手机浏览器扫描二维码访问

第五十三章 BSD艰难如斯（第2页）

下一部分证明过程。

【那么就有L（E，1）=0，~L'（E，1）not=0≥r（E）=1.由Kolyvagin定理，得……】

无误！

慕依雪的大脑宛若一台高速运转的机器。

一堆堆的公式，字符，在大脑内结合，运算，并产生逻辑结果。

仿佛不知疲倦般，慕依雪从尾到头的逐页翻看。

…………

时间，已经来到凌晨三点。

慕依雪放下手中的一页草稿纸，扭了扭脖子，一抬头，发现对面的叶星辰已经趴在桌子上睡着。

慕依雪淡淡笑了笑，在自习室内一旁的柜子中找了一张毛毯给叶星辰盖上，然后，便是继续的拿着写满公式的纸张继续埋头搜寻着错误点。

时间，一分一秒的流逝。

慕依雪目光一行行扫视。

突然，他的目光紧锁在一行算式上。

【……在p≥11的条件下，设椭圆曲线是semi-stable的，便有ord（L（E，1）c）=ord（Sha（E），GL2为……】

这里，这里……为什么利用GL2的部分技术性证明条件去的得出下一部分证明工作的关键性条件。

不对，不应该是这样！

GL2公式的求解完全没必要，如果想要从逻辑上得到Kolyvaginconjecture的话，应该用……

一瞬间，慕依雪灵光迸裂！

如果CL2公式的求解并非必要条件的话，那么，后续的推导过程，未尝不能做进一步的优化……

灵感这玩意儿，就像爱情一样，说来就来！

无数的想法在慕依雪的脑海里碰撞，闪现。

而他竭力想做的，就是努力抓住那一闪而逝的灵光。

Eisensteinseries理论？对，就是这个东西！

慕依雪脑海里突然冒出这个词汇，然后他整个人便因为激动而身躯有些微微颤抖。

什么是全纯维数1中的Eisenstein级数关于非全纯情况？简单来讲，它其实是一个特别的模形带着无穷级数可以直接写入的扩展，最初的定义是一个模群。

一般来讲，放任τ做一个复数严格肯定虚部。

定义全纯Eisenstein级数G2k（τ）重量2k，在哪里k≥2是一个整数，是由以下系列组成：

G2k（?）=∑1（m+n?）^2k