[Math] Birationally transforming a quartic elliptic curve

ag.algebraic-geometryelliptic-curves

Consider the elliptic curve

$$y^2=ax^4+cx^2+dx+f$$

where I assume complex coefficients for the purposes of this question.

I am aware that there are algorithmic methods for birationally transforming a nondegenerate cubic curve into the Weierstrass canonical form (equivalently, deriving a parametrization in terms of Weierstrass elliptic functions).

I want to ask if there are analogous methods for dealing with the quartic curve given above. (Note that I've already performed polynomial depression (removing the cubic term) in advance.) In particular, I want to know if there are birational transformations that can directly convert it into the Jacobi form or some other convenient quartic standard form. (The Weierstrass form has been thoroughly covered here and in some of the answers below.)

(This is effectively a special case of this more general question.)

Best Answer

The method explained in Husemöller's book on elliptic curves is as follows:

Take a general quartic $v^2=f_4(u)=a_ou^4+a_1u^3+a_2u^2+a_3u+a_4$, and let

$$u=\frac{ax+b}{cx+d}\qquad v=\frac{ad-bc}{(cx+d)^2} y$$

Substituting you get:

$$v^2=\frac{(ad-bc)^2}{(cx+d)^4}y^2=f_4\bigg(\frac{ax+b}{cx+d}\bigg)$$

which implies

$$(ad-bc)^2y^2=f_4\bigg(\frac{ax+b}{cx+d}\bigg)(cx+d)^4=\sum_{i=0}^4a_i(ax+b)^{4-i}(cx+d)^i=$$ $$=c^4f_4\bigg(\frac{a}{c}\bigg)x^4+f_3(x)$$

where $f_3(x)$ is a cubic polynomial whose coefficient of $x^3$ is $c^3f'_4(a/c)$. For $a/c$ a simple root of $f_4$ and $ad-bc=1$, this leaves the cubic equation $y^2=f_3(x)$.

From here you can use the tools you mention in the question to take care of the cubic.

Related Question