Discriminant criterion for nonsingularity
Statement
The curve is nonsingular if and only if the discriminant is nonzero, which happens if and only if the cubic has three distinct roots (over an algebraic closure).
Why is it true?
A point where the cubic has a repeated root is exactly where the curve pinches into a cusp or crosses itself, because the tangent direction becomes undefined there — precisely the geometric flaw that would break the chord-and-tangent group law.
Proof sketch
The point is singular iff , , and all hold. The second equation forces , so must be a root of ; the third equation forces , i.e. is also a root of the derivative . A polynomial and its derivative share a common root exactly at a repeated root of the polynomial, so is singular iff has a repeated root. The classical discriminant of the depressed cubic is , which vanishes exactly when the cubic has a repeated root; multiplying by the normalization constant gives , so is nonsingular iff .
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- 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