j-invariant (original) (raw)

Let E be an elliptic curveMathworldPlanetmath over ℚ with Weierstrass equation:

y2+a1⁢x⁢y+a3⁢y=x3+a2⁢x2+a4⁢x+a6

with coefficients ai∈ℚ. Let:

b2 = a12+4⁢a2,
b4 = 2⁢a4+a1⁢a3,
b6 = a32+4⁢a6,
b8 = a12⁢a6+4⁢a2⁢a6-a1⁢a3⁢a4+a32⁢a2-a42,
c4 = b22-24⁢b4,
c6 = -b23+36⁢b2⁢b4-216⁢b6
Definition 1.
    1. The invariant differential is
      ω=d⁢x2⁢y+a1⁢x+a3=d⁢y3⁢x2+2⁢a2⁢x+a4-a1⁢y

Example:

If E has a Weierstrass equation in the simplified formy2=x3+A⁢x+B then

Δ=-16⁢(4⁢A3+27⁢B2),j=-1728⁢(4⁢A)3Δ

Note: The discriminant Δ coincides in this case with the usual notion of discriminant of the polynomial (http://planetmath.org/Discriminant) x3+A⁢x+B.

Title j-invariant
Canonical name Jinvariant
Date of creation 2013-03-22 13:49:54
Last modified on 2013-03-22 13:49:54
Owner alozano (2414)
Last modified by alozano (2414)
Numerical id 9
Author alozano (2414)
Entry type Definition
Classification msc 14H52
Synonym discriminant
Synonym j-invariant
Synonym j invariant
Related topic EllipticCurve
Related topic BadReduction
Related topic ModularDiscriminant
Related topic Discriminant
Related topic ArithmeticOfEllipticCurves
Defines j-invariant
Defines discriminant of an elliptic curve
Defines invariant differential