定理已证明
非奇异性的判别式判据
命题陈述
曲线 非奇异当且仅当判别式 不为零,而这又等价于三次多项式 (在代数闭包中)有三个互异的根。
为什么成立?
三次多项式出现重根的点 恰好就是曲线收缩成尖点或自相交的地方,因为那里切线方向不确定——这正是会破坏弦-切线群律的几何缺陷。
证明思路
点 是奇异点当且仅当 、、 同时成立。第二式迫使 ,故 必须是 的根;第三式迫使 ,即 也是导数 的根。一个多项式与其导数有公共根,恰好发生在该多项式的重根处,故 奇异当且仅当 有重根。既约三次式 的经典判别式为 ,恰好在三次式有重根时为零;乘以规范化常数 得 ,所以 非奇异当且仅当 。
用到此定理的主题
分步证明
该定理暂无分步证明。
参考文献
- Joseph H. Silverman (2009). The Arithmetic of Elliptic Curves · DOI:10.1007/978-0-387-09494-6
- Andrew Wiles (1995). Modular elliptic curves and Fermat's Last Theorem · DOI:10.2307/2118559
- Andrew Wiles / Clay Mathematics Institute (2000). The Birch and Swinnerton-Dyer Conjecture (official Millennium Problem description)
- Wouter Castryck, Thomas Decru (2022). An efficient key recovery attack on SIDH