Ask Your Question
0

change of variable from hyperellictic curve to Weierstrass form

asked 2017-02-16 04:31:48 +0100

Sha gravatar image

I have the hyperelliptic curve v^2 = p^4-2*p^3+5*p^2+8*p+4 which I wish to change it to an elliptic curve in Weierstrass form where it returns the change of variable v=[u,r,s,t]. I got the following from Maple. Was wondering if I could get a similar thing using Sage.

-(y^2) = x^3-(121/3)*x-(1690/27)

x = -(1/3)*(5*p^2+24*p-12*v+24)/p^2    
y = (-4*p^3 + 20*p^2 + (-8*v + 48)*p + (-16*v + 32))/p^3   

p = (-72*x-264+36*y)/(9*x^2+30*x-119) 
v = (-162*x^4+540*x^3-648*x^2*y+13176*x^2-4752*x*y+62340*x-16488*y+153994)/(81*x^4+540*x^3-1242*x^2-7140*x+14161)
edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
2

answered 2017-03-07 21:40:03 +0100

dan_fulea gravatar image

updated 2017-03-07 21:43:24 +0100

Let us consider the following code:

var( 'u,v,a,b,c,q,x,y' );

f = a*u^4 + b*u^3 + c*u^2 + d*u + q^2
# we want to find an algebraic passage from u, v and the quartic 
# v^2 = f
# to a Weierstass equation in two new variables x, y

Q = 2*q

x = ( Q*(v+q) + d*u ) / u^2
y = ( Q^3*(v+q) + Q^2*( d*u + c*u^2 ) - d^2*u^2 ) / Q / u^3

# inverse transformation:
# u = ( Q*(x+c) - d^2/q ) / y
# v = -q + u*(u*x-d)/Q

# one can easily define rational functions (u,v) -> (x,y) and (x,y) -> (u,v)
# to be used in the concrete situation

a1 = d/q
a2 = c - (d/Q)^2
a3 = b*Q
a4 = -a*Q^2
a6 = a2*a4

( ( y^2 + a1*x*y + a3*y ) - ( x^3 + a2*x^2 + a4*x + a6 ) ) . factor()

The required factorization above delivers:

4*(a*u^4 + b*u^3 + c*u^2 + q^2 - v^2)*(c*u^2 + 2*q^2 + 2*q*v)*q^2/u^6

and this means, that starting from

0 == (a*u^4 + b*u^3 + c*u^2 + q^2 - v^2)

we get

0 == ( ( y^2 + a1*x*y + a3*y ) - ( x^3 + a2*x^2 + a4*x + a6 ) )

So the function doing the passage is defined "manually" as:

def passageQuarticToWeierstrass( a, b, c, d, q, field=QQ ):
    """we simply implement the standard formulas
    """
    Q = 2*q

    a1, a2, a3, a4 = d/q, c - (d/Q)^2, b*Q, -a*Q^2
    a6 = a2 * a4
    # print ( a1, a2, a3, a4, a6 )

    return EllipticCurve( field, ( a1, a2, a3, a4, a6 ) )

In our case, we may build the following dialog:

# a*u^4 + b*u^3 + c*u^2 + d*u + q^2 is u^4 - 2*u^3 + 5*u^2 + 8*u + 4
a, b, c, d, q = 1, -2, 5, 8, 2
E = passageQuarticToWeierstrass( a, b, c, d, q )
# print E.ainvs()

And we can use the curve for further investigation, for instance:

sage: E = passageQuarticToWeierstrass( a, b, c, d, q )
sage: E
Elliptic Curve defined by y^2 + 4*x*y - 8*y = x^3 + x^2 - 16*x - 16 over Rational Field
sage: E.ainvs()
(4, 1, -8, -16, -16)

sage: E.gens()
[(-4 : 0 : 1)]
sage: E.torsion_points()
[(0 : 1 : 0), (0 : 4 : 1)]
sage: E.minimal_model()
Elliptic Curve defined by y^2 + x*y = x^3 + x^2 - 2*x over Rational Field
edit flag offensive delete link more

Comments

Thank you for explaining this to me.

Sha gravatar imageSha ( 2017-03-23 06:46:27 +0100 )edit

Your Answer

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

Add Answer

Question Tools

1 follower

Stats

Asked: 2017-02-16 04:31:48 +0100

Seen: 721 times

Last updated: Mar 07 '17