“什么什么！”
“听到严歆说的了吗？”
“他今天要当众解答三道千禧难题！”
“千禧难题还剩下什么？”
“杨·米尔斯理论、纳卫尔-斯托克斯方程和BSD猜想！”
“如果严歆真的将这三个都讲出来了，那么以后千禧难题这个名词，将再也没有了！”
“赶紧把小伙伴们喊起来了啊！”
“让他们看重播去吧！”
“你懂个屁！重播还有什么意思？”
“粉丝群的人们，赶紧动员起来！”
......
一时间，严歆的粉丝，微博、微信、QQ、空间等等等，所有的社交软件上都刷疯了！
凌晨。
微博热搜榜。
不到十分钟，严歆直接登顶微博第一名！
而且热度是......
爆！
此时。
某汪姓男歌手望着微博热搜榜叹了一口气。
丫的！
老子就想推一首歌，上个热搜而已！
有这么难吗！
而严歆的直播间人气，从刚才的三百万直接涨到了五千万！
数据还在上升！
那些还在熟睡的天才数学少年，都被那一声声的提示音惊醒！
所有人都在被窝中打开了严歆的直播间，然后拿出了本子等待着严歆开始讲。
有一说一，自从严歆在狗牙直播开了这个学习专区之后，还带动了全民学习的节奏！
这是一个好的趋势！
严歆看着直播间内人气暴涨，满意的点了点头。
他真的没想到粉丝们竟然这么热情。
龙夏如今都凌晨了，大家还来看自己的直播！
“好！接下来咱们就开始讲解今天的第一个千禧难题：BSD猜想！”
严歆像往常一样，主摄像头对着自己的脸，副摄像头对着手中的草稿纸。
与往日不同的是，现在自己的面前，还有近一万多的现场观众！
而艺体中心的大屏幕上，也投射出了严歆的草稿纸！
“老规矩！我还是要先和大家普及一下什么是BSD猜想！”
BSD猜想。
全名：波奇和斯温纳顿-戴雅猜想。
那它的猜想概述是什么呢？
给定一个整体域上的阿贝尔簇，猜想它的莫代尔群的秩等于他的L函数在1处的0点阶数。且它的L函数在1处的泰勒展开式的首相系数与莫代尔群的有限部分大小、自由部分体积、所有素位的周期以及沙群有精确的等式关系。
前半部分通常意义上成为弱BSD猜想。BSD猜想是分为圆域的雷类数公式的推广！
相信之前很多人都知道，格罗斯提出了一个细化的BSD猜想！
在其之后，布洛克和加藤提出了更一般的对于motif的Bloch-Kato猜想。
BSD猜想的陈述依赖于莫代尔定理：整体域上的阿贝尔簇的有理点形成一个有限生成交换群。精确的部分依赖于沙群的有限性猜想。
那么如今已经知道的结果有什么呢？
对于解析秩为0的情形，Coates，Wiles，Kolyvagin，Rubin，Skinner，Urban等人证明了弱BSD猜想，并且精确的BSD猜想在2以外均成立。
对于解析秩为1的情形，Gross，Zagier等人证明了弱BSD猜想，并且精确的BSD猜想在2和导子以外均成立。
“卧槽？这都什么玩意儿？”
“不懂啊！”
“什么是莫代尔定理？”
“什么是阿贝尔簇啊？”
“卧槽！”
“兄弟们，我怎么感觉，这BSD猜想，和之前的霍奇猜想、黎曼假设不大相同啊！”
“我也这么觉得！这里面好多名词我都没有听说过！”
“苍天啊！我大半夜的刚起来，严歆大佬讲的我就听不懂！”
“可能会是你还没有睡醒吧？”
“哈哈哈哈！”
......
严歆看着台下的众位同学也是一脸懵逼。
看来自己在解答ＢＳＤ猜想之前，还要先给大家普及一下关于莫代尔定理和阿贝尔簇了。
“相信大家很多人可能还不知道什么事阿贝尔簇和莫代尔定理！既然大家不懂，我还是和大家解释一下的好！毕竟如果不明白这两个是什么东西，接下来的证明过程，可能大家也不能理解！”严歆笑着说道。
那些教授们也是点了点头。
他们虽然懂，但是学生们肯定对这些没有研究！
林茴听的痴迷。
看着台上那谈笑风生，举止文雅的少年，她有些恍惚了。
如今的他，竟然如此出彩！
严歆拿起了笔，开始在草稿纸上给大家介绍什么是阿贝尔簇和莫代尔定理。
阿贝尔簇是一个代数群，它同时又是完全代数簇。完全性的条件蕴涵着对阿贝尔簇的严格限制。
因而阿贝尔簇可以作为闭子簇嵌入射影空间；非奇异簇道阿贝尔簇道每个有理映射都是正则的，阿贝尔簇上的群律是可交换的。
对阿贝尔簇的自同态，特别是弗罗贝尼乌斯自同态在泰特模上自同态作用的研究，使得有可能证明ＢＳＤ猜想。
另一些与泰勒模有关的问题包括在这个模上基域闭包的伽罗瓦群的作用的研究。由此导致泰特猜想以及泰特本田理论，它应用泰特模语言描述有限域上的阿贝尔簇。
再者就是莫代尔定理。
任意给定一个整体域上的阿贝尔簇，它的有理点形成一个有限生成 阿贝尔群。
而所谓整体域，是指代数数域（即有理数域的有限扩张）或有限域上曲线的函数域。
那阿贝尔簇和莫代尔定理之间，究竟存在什么关系呢？
其实很简单。
严歆拿起了笔，在草稿纸上简单的画了几条关系线。
椭圆曲线是指亏格为1的光滑射影曲线，阿贝尔簇是莫代尔定理的高维推广！
也就是说，它在某个固定的域上面的点形成一个交换群。
所有现场的同学和直播间内的观众，都在认真听严歆解释。
“既然大家大致了解了什么是阿贝尔簇和莫代尔定理，我继续往下说。”
数学家总是被诸如x^2+y^2=z^2那样的代数方程的所有整数解的刻画问题着迷。欧几里德曾经对这一方程给出完全的解答，但是对于更为复杂的方程，这就变得极为困难。
事实上，正如马蒂雅谢维奇(Yu.V.Matiyasevich)指出，希尔伯特第十问题是不可解的，即，不存在一般的方法来确定这样的方法是否有一个整数解。当解是一个阿贝尔簇的点时，贝赫和斯维讷通－戴尔猜想认为，有理点的群的大小与一个有关的蔡塔函数z(s)在点s=1附近的性态。
特别是，这个有趣的猜想认为，如果z(1)等于0,那么存在无限多个有理点(解)，相反，如果z(1)不等于0,那么只存在有限多个这样的点。
“综上所述，ＢＳＤ猜想是有可能破解的。那么它的猜想内容归结起来应该怎么说呢？”
设 E 是定义在代数数域 K 上的椭圆曲线，E(K) 是 E 上的有理点的集合，已经知道 E(K) 是有限生成交换群。记 L(s,E) 是 E 的Hasse-Weil L函数。
猜想说E(K)的秩恰好等于L(E,s)在s=1处零点的阶。并且后者的Taylor展开的第一个非零系数可以由曲线的代数性质精确表出。
“接下来，我会结合高等数学概论、超等数学概论、量子物理的相关知识，来给大家系统解答BSD猜想！”
台下的同学们都认真地记下了严歆在草稿纸上写下的一切。
这可是BSD的解题步骤啊！
是相当有研究价值的！