“谑，这一步推导得漂亮呀。”
李东看着韦伯的论文，眼睛里全是光。
韦伯从第二节就开始铺 kolyvagin欧拉系，而且铺得十分漂亮。
heegner点上的导数算子、逐级导出的上同调类、每一步的正合序列，他都解释得很清楚，简直和李东的论文是两个极端。
他用的数学工具其实并不新，科利瓦金三十多年前就把这套框架打好了，後来斯金纳和厄尔班又在岩泽理论那一侧做了重要的推进。
但新的是，韦伯用它把解析秩小於等於 1这个限制，整个拿掉了。
这一步就相当有灵性了。
李东一边点头一边继续往下读。
第三节，化约。
在这一节里韦伯把整个 bsd猜想的证明，总结成了一件事——证明 kolyvagin导数类不会退化。
他还给退化取了个名字，叫 exceptional relation（异常关系），只要证明这个东西不存在，就等於证明了 bsd猜想。
“如果是我的话，我估计也会这麽干，这样更简单。”
李东点头说道。
话虽然说得轻巧，但这种化约能力其实是最见数学功力的地方。
一个庞大的命题就在那里，它牵连着数论、代数几何、解析函数三大块，而韦伯直接就切到了最薄的那个截面上。
并不是每个人都能找到该切在哪里的。
事实上，大多数人连那个截面的存在都看不见。
时间慢慢过去，窗外的天色已经完全暗了下来。
房间里安静得只剩下墙上时锺滴答滴答走着的声音和李东的鼠标点击声。
李东已经看到了论文的第四节。
这一节让李东看得兴奋了起来。
韦伯在这里用了一个连他都没想到的方法。
他把关系模嵌进了分圆整数环上的一个理想格里，然後证明这个格足够的“胖”——最短向量长度不低於某个有效阈值 t。
也就是说，格里面不存在反常短的向量，也就不存在 exceptional relation（异常关系），kolyvagin的界就不会崩。
而且韦伯只用了区区六步就做到了。
第一步，把理想格实现为分数理想，搭上 minkowski度量和迹形式。
第二步，用导手判别式公式算
…。。