道的结果有什么呢？
对于解析秩为0的情形，Coates，Wiles，Kolyvagi
，Rubi
，Ski
，U
等人证明了弱BSD猜想，并且精确的BSD猜想在2以外均成立。
对于解析秩为1的情形，G
oss，Zagie
等人证明了弱BSD猜想，并且精确的BSD猜想在2和导子以外均成立。
“卧槽？这都什么玩意儿？”
“不懂啊！”
“什么是莫代尔定理？”
“什么是阿贝尔簇啊？”
“卧槽！”
“兄弟们，我怎么感觉，这BSD猜想，和之前的霍奇猜想、黎曼假设不大相同啊！”
“我也这么觉得！这里面好多名词我都没有听说过！”
“苍天啊！我大半夜的刚起来，严歆大佬讲的我就听不懂！”
“可能会是你还没有睡醒吧？”
“哈哈哈哈！”
严歆看着台下的众位同学也是一脸懵逼。
看来自己在解答ＢＳＤ猜想之前，还要先给大家普及一下关于莫代尔定理和阿贝尔簇了。
“相信大家很多人可能还不知道什么事阿贝尔簇和莫代尔定理！既然大家不懂，我还是和大家解释一下的好！毕竟如果不明白这两个是什么东西，接下来的证明过程，可能大家也不能理解！”严歆笑着说道。
那些教授们也是点了点头。
他们虽然懂，但是学生们肯定对这些没有研究！
林茴听的痴迷。
看着台上那谈笑风生，举止文雅的少年，她有些恍惚了。
如今的他，竟然如此出彩！
严歆拿起了笔，开始在草稿纸上给大家介绍什么是阿贝尔簇和莫代尔定理。
阿贝尔簇是一个代数群，它同时又是完全代数簇。完全性的条件蕴涵着对阿贝尔簇的严格限制。
因而阿贝尔簇可以作为闭子簇嵌入射影空间；非奇异簇道阿贝尔簇道每个有理映射都是正则的，阿贝尔簇上的群律是可交换的。
对阿贝尔簇的自同态，特别是弗罗贝尼乌斯自同态在泰特模上自同态作用的研究，使得有可能证明ＢＳＤ猜想。
另一些与泰勒模有关的问题包括在这个模上基域闭包的伽罗瓦群的作用的研究。由此导致泰特猜想以及泰特本田理论，它应用泰特模语言描述有限域上的阿贝尔簇。
再者就是莫代尔定理。
任意给定一个整体域上的阿贝尔簇，它的有理点形成一个有限生成阿贝尔群。
而所谓整体域，是指代数数域（即有理数域的有限扩张）或有限域上曲线的函数域。
那阿贝尔簇和莫代尔定理之间，究竟存在什么关系呢？
其实很简单。
严歆拿起了笔，在草稿纸上简单的画了几条关系线。
椭圆曲线是指亏格为1的光滑射影曲线，阿贝尔簇是莫代尔定理的高维推广！
也就是说，它在某个固定的域上面的点形成一个交换群