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?

Elliptic-curves

asked 2020-03-26 16:08:06 +0100

Gamzeee
27 ●2 ●4 ●9

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 flag offensive close merge delete

add a comment

2 Answers

Sort by » oldest newest most voted

answered 2020-03-26 16:30:24 +0100

rburing

10919 ●4 ●80 ●218 https://www.rburing.nl/

updated 2020-03-27 15:29:34 +0100

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.

edit flag offensive delete link

Comments

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

nbruin ( 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?

Gamzeee ( 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.

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

add a comment

answered 2020-03-26 22:10:47 +0100

nbruin
4153 ●3 ●45 ●91

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)

edit flag offensive delete link

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

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?

2 Answers

Comments

Your Answer

Question Tools

Stats

Related questions

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? edit

2 Answers

Comments

Your Answer

Question Tools

Stats

Related questions

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?