TOPICS
Search

Elliptic Discriminant


An elliptic curve is the set of solutions to an equation of the form

 y^2+a_1xy+a_3y=x^3+a_2x^2+a_4x+a_6.
(1)

By changing variables, y->2y+a_1x+a_3, assuming the field characteristic is not 2, the equation becomes

 y^2=4x^3+b_2x^2+2b_4x+b_6
(2)

where

b_2=a_1^2+4a_2
(3)
b_4=2a_4+a_1a_3
(4)
b_6=a_3^2+4a_6.
(5)

Define also the quantity

 b_8=a_1^2a_6+4a_2a_6-a_1a_3a_4+a_2a_3^2-a_4^2,
(6)

then the discriminant is given by

 Delta=-b_2^2b_8-8b_4^3-27b_6^2+9b_2b_4b_6.
(7)

The discriminant depends on the choice of equations, and can change after a change of variables, unlike the j-invariant.

If the field characteristic is neither 2 or 3, then its equation can be written as

 y^2=x^3+Ax+B,
(8)

in which case, the discriminant is given by

 Delta=-16(4A^3+27B^2).
(9)
DiscriminantEllipticCurve

Algebraically, the discriminant is nonzero when the right-hand side has three distinct roots. In the classical case of an elliptic curve over the complex numbers, the discriminant has a geometric interpretation. If Delta!=0, then the elliptic curve is nonsingular and has curve genus 1, i.e., it is a torus. If Delta=0 and A=0, then it has a cusp singularity, in which case there is one tangent direction at the singularity. If Delta=0 and A!=0, then its singularity is called an ordinary double point (or node), in which case the singularity has two distinct tangent directions.

Note that the discriminant of an elliptic curve is not the same as the polynomial discriminant of the corresponding polynomial, but the two kinds of discriminants vanish for the same values of A and B.


See also

Algebraic Geometry, Elliptic Curve, Frey Curve, Isogeny, j-Invariant, Legendre Form, Minimal Discriminant, Weierstrass Form

This entry contributed by Todd Rowland

Explore with Wolfram|Alpha

Cite this as:

Rowland, Todd. "Elliptic Discriminant." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/EllipticDiscriminant.html

Subject classifications