# How do I convert a 6th degree curve to an elliptic curve?

How do I convert a 6th degree curve to an elliptic curve?

exp: How does y^2=16x^6-32x^5+272x^4+4096x^2-8192*x+69632 curve convert to elliptic curve?

Thanks.

edit retag close merge delete

Sort by » oldest newest most voted

The given equation defines (the affine part of) a hyperelliptic curve of genus two:

sage: R.<x> = PolynomialRing(QQ)
sage: g = 16*x^6 - 32*x^5 + 272*x^4 + 4096*x^2 - 8192*x + 69632
sage: g.factor()
(16) * (x^2 - 2*x + 17) * (x^4 + 256)
sage: C = HyperellipticCurve(g)
sage: C.genus()
2
sage: J = C.jacobian()
sage: J.dimension()
2
sage: J
Jacobian of Hyperelliptic Curve over Rational Field defined by y^2 = 16*x^6 - 32*x^5 + 272*x^4 + 4096*x^2 - 8192*x + 69632


The genus is a discrete invariant, the given curve can not be (birationally) "converted" into an elliptic curve. There is a map to its Jacobian. For instance, the point $P(2,272)$ is a $\Bbb Q$-rational point of $C$, i.e. $P\in C(\Bbb Q)$, and its image in the Jacobian J is described in sage as...

sage: P = C( [2, 272] )
sage: P
(2 : 272 : 1)
sage: P in C
True
sage: Q = J(QQ)(P)
sage: Q
(x - 2, y - 272)

more