MathLabs
TheoremProved

Discriminant criterion for nonsingularity

Statement

The curve E:y2=x3+ax+bE: y^2 = x^3+ax+b is nonsingular if and only if the discriminant Δ=−16(4a3+27b2)\Delta = -16(4a^3+27b^2) is nonzero, which happens if and only if the cubic x3+ax+bx^3+ax+b has three distinct roots (over an algebraic closure).

Why is it true?

A point (x0,0)(x_0, 0) 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 (x0,y0)(x_0,y_0) is singular iff F=y2−x3−ax−b=0F=y^2-x^3-ax-b=0, ∂F/∂y=2y0=0\partial F/\partial y = 2y_0 = 0, and ∂F/∂x=−3x02−a=0\partial F/\partial x = -3x_0^2-a=0 all hold. The second equation forces y0=0y_0=0, so x0x_0 must be a root of x3+ax+bx^3+ax+b; the third equation forces 3x02+a=03x_0^2+a=0, i.e. x0x_0 is also a root of the derivative 3x2+a3x^2+a. A polynomial and its derivative share a common root exactly at a repeated root of the polynomial, so EE is singular iff x3+ax+bx^3+ax+b has a repeated root. The classical discriminant of the depressed cubic x3+ax+bx^3+ax+b is −4a3−27b2-4a^3-27b^2, which vanishes exactly when the cubic has a repeated root; multiplying by the normalization constant −16-16 gives Δ=−16(4a3+27b2)\Delta = -16(4a^3+27b^2), so EE is nonsingular iff Δ≠0\Delta \neq 0.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. Joseph H. Silverman (2009). The Arithmetic of Elliptic Curves · DOI:10.1007/978-0-387-09494-6
  2. Andrew Wiles (1995). Modular elliptic curves and Fermat's Last Theorem · DOI:10.2307/2118559
  3. Andrew Wiles / Clay Mathematics Institute (2000). The Birch and Swinnerton-Dyer Conjecture (official Millennium Problem description)
  4. Wouter Castryck, Thomas Decru (2022). An efficient key recovery attack on SIDH