。假定弱bsd猜想成立，则(1)理论上我们能够判定d是否为同余数；(2)tunnell定理给出在有限步内决定d是否为同余数的算法；(3)可以证明d \equiv 5，6，7(\od 8)时r_d为奇数，故这样的d均为同余数。“
刘廷波思索了片刻，满意地点了点头，过了一会儿，他又问道：“你这里说，l(s，e)在s=1处展开的泰勒系数和e的tate-shafarevich群的阶数成正比，你是怎么得出这样的结论的？还有这里，e(q)(ordell-eil群)有自然的交换群结构，你前面根据ordell定理进一步断言e(q)是有限生成的：e(q)=\bbb zr \oplus t，此处挠群t是某个有限abel群，r称为e的秩。我们对t的了解是完全的：azur决定了所有15种可能的t。那么r呢？你这里是不是缺少了对r的有效刻画？“
庞学林道：“基于eichler， shiura在模椭圆曲线方面的工作以及新近证明的taniyaa–shiura猜想(模定理)，现在知道l(s，e)可解析延拓到整个复平面并且相应的rieann猜想成立。bsd猜想在r等于l(s，e)在s=1处零点的阶数。在模定理已获证明的情况下，已知bsd猜想对=01成立，故l(s，e)在s=1处展开的泰勒系数和e的tate-shafarevich群的阶数成正比，更进一步的话，又可以推出tate-shafa
第二十章 问答(5/7)