# What is the point ๐1=(โ1,3) on the y^2=7๐ฅ4+๐ฅ3+๐ฅ2+๐ฅ+3 curve and the point corresponding to P on the x^2=x^3โ250/3xโ124927 curve?

What is the point ๐1=(โ1,3) on the y^2=7๐ฅ^4+๐ฅ^3+๐ฅ^2+๐ฅ+3 curve and the point corresponding to P on the x^2=x^3โ250/3xโ124927 curve? (๐ธ1:๐ฆ2=7๐ฅ4+๐ฅ3+๐ฅ2+๐ฅ+3,๐1=(โ1,3) can be transformed to ๐ธ2:๐ฃ2=๐ข3โ250๐ข3โ124927) Thanks

edit retag close merge delete

Sort by ยป oldest newest most voted

See Construct elliptic curves as Jacobians in the manual.

sage: P2.<x,y,z> = ProjectiveSpace(QQ,2)
sage: E1 = Curve(y^2*z^2 - (7*๐ฅ^4+๐ฅ^3*z+๐ฅ^2*z^2+๐ฅ*z^3+3*z^4))
sage: phi = Jacobian(E1, morphism=True)
sage: E2 = phi.codomain(); E2
Elliptic Curve defined by y^2 = x^3 - 250/3*x - 1249/27 over Rational Field
sage: phi(E1(-1,3,1))
(-71/9 : 296/27 : 1)


Edit: in this way you certainly get a map, but not necessarily an isomorphism; see the other answer.

more

1

Note, though, that the map phi is not uniquely determined. You can compose phi with a translation on E1 and/or negation.

( 2020-03-26 17:40:23 +0100 )edit

sage: P2.<x,y,z> = ProjectiveSpace(QQ,2)

sage: E1= Curve(y^2z^2+15x^4-1516z^4)

sage: phi = Jacobian(E1, morphism=True)

sage: E2 = phi.codomain(); E2

Elliptic Curve defined by y^2 = x^3 + 14400*x over Rational Field

sage: phi(E1(2,0,1))

(0 : 1 : 0)

But the (0 : 1 : 0) point is not on the E2 curve. What should I do?

( 2020-03-26 18:32:21 +0100 )edit

@Gamzeee yes it is on the curve; it is the point at infinity. Maybe @nbruin can suggest how to get a different phi.

( 2020-03-26 18:33:30 +0100 )edit

The question is, unfortunately, not well-defined. The curves mentioned, while isomorphic, are not uniquely so. First you should specify which point on E1 is supposed to be mapped to the "origin" (0:1:0) on "E2", and then there is still a choice of sign.

The routine Jacobian mentioned in another answer does not give you a (birational) isomorphism; it only expresses "E1" as a cover of "E2". There is even more choice in that.

As an example:

sage: P2.<x,y,z>=ProjectiveSpace(QQ,2)
sage: C=Curve(3*x^3+4*y^3+5*z^3)
sage: phi=Jacobian(C,morphism=True)
sage: phi.codomain()
Elliptic Curve defined by y^2 = x^3 - 24300 over Rational Field


This is Selmer's famous example: the curve C isn't isomorphic to the elliptic curve over Q, because C does not have rational points. The map phi computed is of degree larger than 1 (presumable degree 9, but I didn't check)

more