BSD猜想[BSD猜想]

BSD猜想的陈述依赖于莫代尔定理：整体域上的阿贝尔簇的有理点形成一个有限生成交换群。精确的部分依赖于沙群的有限性猜想。

对于解析秩为0的情形，Coates，Wiles，Kolyvagin，Rubin，Skinner，Urban等人证明了弱BSD猜想，并且精确的BSD猜想在2以外均成立。

对于解析秩为1的情形，Gross，Zagier等人证明了弱BSD猜想，并且精确的BSD猜想在2和导子以外均成立。