Morphism to bring a genus-one curve into Weierstrass form

You should use EllipticCurve_from_cubic() or EllipticCurve_from_curve() to construct the transformation starting with a cubic or with a genus one curve.

EXAMPLES:

sage: R.<u,v,w> = QQ[]
sage: f = EllipticCurve_from_cubic(u^3 + v^3 + w^3, [1,-1,0], morphism=True);  f
Scheme morphism:
  From: Projective Plane Curve over Rational Field defined by u^3 + v^3 + w^3
  To:   Elliptic Curve defined by y^2 - 9*y = x^3 - 27 over Rational Field
  Defn: Defined on coordinates by sending (u : v : w) to
        (-w : 3*u : 1/3*u + 1/3*v)

sage: finv = f.inverse();  finv
Scheme morphism:
  From: Elliptic Curve defined by y^2 - 9*y = x^3 - 27 over Rational Field
  To:   Projective Plane Curve over Rational Field defined by u^3 + v^3 + w^3
  Defn: Defined on coordinates by sending (x : y : z) to
        (1/3*y : -1/3*y + 3*z : -x)

sage: (u^3 + v^3 + w^3)(f.inverse().defining_polynomials()) * f.inverse().post_rescaling()
-x^3 + y^2*z - 9*y*z^2 + 27*z^3

sage: E = finv.domain()
sage: E.defining_polynomial()(f.defining_polynomials()) * f.post_rescaling()
u^3 + v^3 + w^3

sage: f([1,-1,0])
(0 : 1 : 0)
sage: f([1,0,-1])
(3 : 9 : 1)
sage: f([0,1,-1])
(3 : 0 : 1)
class sage.schemes.elliptic_curves.weierstrass_transform.WeierstrassTransformation(domain, codomain, defining_polynomials, post_multiplication)

Bases: sage.schemes.generic.morphism.SchemeMorphism_polynomial

A morphism of a genus-one curve to/from the Weierstrass form.

INPUT:

  • domain, codomain – two schemes, one of which is an elliptic curve.

  • defining_polynomials – triplet of polynomials that define the transformation.

  • post_multiplication – a polynomial to homogeneously rescale after substituting the defining polynomials.

EXAMPLES:

sage: P2.<u,v,w> = ProjectiveSpace(2,QQ)
sage: C = P2.subscheme(u^3 + v^3 + w^3)
sage: E = EllipticCurve([2, -1, -1/3, 1/3, -1/27])
sage: from sage.schemes.elliptic_curves.weierstrass_transform import WeierstrassTransformation
sage: f = WeierstrassTransformation(C, E, [w, -v-w, -3*u-3*v], 1);  f
Scheme morphism:
  From: Closed subscheme of Projective Space of dimension 2 over Rational Field defined by:
  u^3 + v^3 + w^3
  To:   Elliptic Curve defined by y^2 + 2*x*y - 1/3*y = x^3 - x^2 + 1/3*x - 1/27
        over Rational Field
  Defn: Defined on coordinates by sending (u : v : w) to
        (w : -v - w : -3*u - 3*v)

sage: f([-1, 1, 0])
(0 : 1 : 0)
sage: f([-1, 0, 1])
(1/3 : -1/3 : 1)
sage: f([ 0,-1, 1])
(1/3 : 0 : 1)

sage: A2.<a,b> = AffineSpace(2,QQ)
sage: C = A2.subscheme(a^3 + b^3 + 1)
sage: f = WeierstrassTransformation(C, E, [1, -b-1, -3*a-3*b], 1);  f
Scheme morphism:
  From: Closed subscheme of Affine Space of dimension 2 over Rational Field defined by:
  a^3 + b^3 + 1
  To:   Elliptic Curve defined by y^2 + 2*x*y - 1/3*y
        = x^3 - x^2 + 1/3*x - 1/27 over Rational Field
  Defn: Defined on coordinates by sending (a, b) to
        (1 : -b - 1 : -3*a - 3*b)
sage: f([-1,0])
(1/3 : -1/3 : 1)
sage: f([0,-1])
(1/3 : 0 : 1)
post_rescaling()

Return the homogeneous rescaling to apply after the coordinate substitution.

OUTPUT:

A polynomial. See the example below.

EXAMPLES:

sage: R.<a,b,c> = QQ[]
sage: cubic =  a^3+7*b^3+64*c^3
sage: P = [2,2,-1]
sage: f = EllipticCurve_from_cubic(cubic, P, morphism=True).inverse()
sage: f.post_rescaling()
-1/7

So here is what it does. If we just plug in the coordinate transformation, we get the defining polynomial up to scale. This method returns the overall rescaling of the equation to bring the result into the standard form:

sage: cubic(f.defining_polynomials())
7*x^3 - 7*y^2*z + 1806336*y*z^2 - 155373797376*z^3
sage: cubic(f.defining_polynomials()) * f.post_rescaling()
-x^3 + y^2*z - 258048*y*z^2 + 22196256768*z^3
sage.schemes.elliptic_curves.weierstrass_transform.WeierstrassTransformationWithInverse(domain, codomain, defining_polynomials, post_multiplication, inv_defining_polynomials, inv_post_multiplication)

Construct morphism of a genus-one curve to/from the Weierstrass form with its inverse.

EXAMPLES:

sage: R.<u,v,w> = QQ[]
sage: f = EllipticCurve_from_cubic(u^3 + v^3 + w^3, [1,-1,0], morphism=True);  f
Scheme morphism:
  From: Projective Plane Curve over Rational Field defined by u^3 + v^3 + w^3
  To:   Elliptic Curve defined by y^2 - 9*y = x^3 - 27 over Rational Field
  Defn: Defined on coordinates by sending (u : v : w) to
    (-w : 3*u : 1/3*u + 1/3*v)

Scheme morphism:
  From: Closed subscheme of Projective Space of dimension 2 over Rational Field defined by:
  u^3 + v^3 + w^3
  To:   Elliptic Curve defined by y^2 + 2*x*y + 1/3*y
        = x^3 - x^2 - 1/3*x - 1/27 over Rational Field
  Defn: Defined on coordinates by sending (u : v : w) to
        (-w : -v + w : 3*u + 3*v)
class sage.schemes.elliptic_curves.weierstrass_transform.WeierstrassTransformationWithInverse_class(domain, codomain, defining_polynomials, post_multiplication)

Bases: sage.schemes.elliptic_curves.weierstrass_transform.WeierstrassTransformation

inverse()

Return the inverse.

OUTPUT:

A morphism in the opposite direction. This may be a rational inverse or an analytic inverse.

EXAMPLES:

sage: R.<u,v,w> = QQ[]
sage: f = EllipticCurve_from_cubic(u^3 + v^3 + w^3, [1,-1,0], morphism=True)
sage: f.inverse()
Scheme morphism:
  From: Elliptic Curve defined by y^2 - 9*y = x^3 - 27 over Rational Field
  To:   Projective Plane Curve over Rational Field defined by u^3 + v^3 + w^3
  Defn: Defined on coordinates by sending (x : y : z) to
  (1/3*y : -1/3*y + 3*z : -x)