16
$\begingroup$

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.)

$\endgroup$
5
  • 1
    $\begingroup$ See Allan MacLeod's answer to this question math.stackexchange.com/questions/1591990/…. $\endgroup$ May 14, 2016 at 15:27
  • $\begingroup$ On second thought, I can probably edit this instead; that one only did a Weierstrass reduction. $\endgroup$ May 14, 2016 at 15:37
  • $\begingroup$ Are you aware of the transformation of a quartic to a cubic explained in Chapter 4, §3 of Husemoller's book ? $\endgroup$ May 24, 2016 at 15:40
  • $\begingroup$ @user, is that the same as the one Jesper linked to? $\endgroup$ May 24, 2016 at 15:51
  • $\begingroup$ No, but actually similar. Apart from the reduction to a cubic it gives a map from the Jacobi quartic family to the the Legendre cubic family. I suppose one might put it together with known transformations and parametrisations of cubics to get what you want, but I have not tried. $\endgroup$ May 24, 2016 at 15:52

4 Answers 4

16
$\begingroup$

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.

$\endgroup$
4
  • $\begingroup$ I see, a Möbius transformation. (I should not be surprised, I guess; such a substitution is customarily done to reduce elliptic integrals to standard forms). I am still in the market for something that would reduce to the Jacobi form $v^2=(1-u^2)(1-mu^2)$ or some other convenient quartic normal form, tho. Thanks for this! $\endgroup$ May 25, 2016 at 17:01
  • 3
    $\begingroup$ Should $v = \frac{ad - bc}{(cx + d)^2}y$ (rather than $\frac{ad - bc}{(cx + d)^2}$ as it currently reads)? $\endgroup$ Dec 20, 2016 at 8:34
  • $\begingroup$ This works okay for $a,c \in Q$ but if you don't have a rational root for $f_4$ you are out of luck for finding a simple expression for $f_3(x)$ $\endgroup$
    – Randall
    Feb 2, 2022 at 18:11
  • $\begingroup$ What is $b$ here ? $\endgroup$
    – Duality
    Apr 8, 2023 at 18:07
10
$\begingroup$

This is an elliptic curve. Maple's Weierstrassform function can handle it:

> algcurves:-Weierstrassform(y^2 - a*x^4 - c*x^2 - d*x - f, x, y, u, v);

It returns the normal form in variables $u, v$:

$$u^3+\left(-\frac{c^2}{3}-4af\right)u-ad^2-\frac{2}{27}c^3+\frac{8}{3}afc+v^2$$

as well as the transformation (in both directions). In this case

$$ \eqalign{u&=-{\frac {c{x}^{2}+6\,y\sqrt {f}+3\,dx+6\,f}{3 {x}^{2}}}\cr v &= -{\frac {2\,\sqrt {f}c{x}^{2}+ydx+3\,\sqrt {f}dx+4\,fy+4\,{f}^{3/2}}{{ x}^{3}}}\cr x &= {\frac {18\,\sqrt {f}v+3\,cd+9\,du}{36\,af-{c}^{2}-6\,cu-9\,{u}^{2}}}\cr y &= \sqrt {f}+{\frac {-18\,\sqrt {f}cu+72\,{f}^{3/2}a-6\,\sqrt {f}{c}^{2}- 9\,dv}{-36\,af+{c}^{2}+6\,cu+9\,{u}^{2}}}-108\,{\frac {ad \left( \sqrt {f}cd+3\,\sqrt {f}du+6\,fv \right) }{ \left( -36\,af+{c}^{2}+6\, cu+9\,{u}^{2} \right) ^{2}}} }$$

$\endgroup$
5
  • $\begingroup$ Cool, I'll try this out the next time I get to a computer with Maple. Would you happen to be familiar with the algorithm being used behind the scenes? $\endgroup$ May 25, 2016 at 17:28
  • 1
    $\begingroup$ The Maple help page says: For a description of the method in the elliptic case see M. van Hoeij, "An algorithm for computing the Weierstrass normal form", ISSAC'95 Proceedings, p. 90-95 (1995). For the hyperelliptic case, see: arXiv.org/abs/math.AG/0203130 $\endgroup$ May 25, 2016 at 17:31
  • $\begingroup$ Okay, the second paper apparently answers the next question I was about to ask. Thank you very much! $\endgroup$ May 25, 2016 at 17:32
  • $\begingroup$ I have to point out that the algorithm of Maple might be wrong, or at least it does not match with eqs. 5.8 and 5.6 in "F-Theory and the Mordell-Weil Group of Elliptically-Fibered Calabi-Yau Threefolds" by D. Morrisson and D. Park. In particular, we can compare the formulas of the comment with these of (eq. 5.8): in the case $f_6 = 0$ we get that $f_9 = f_{Israel}$ and $4 f_{12} = d_{Israel}$. The birational morphism (eq. 5.7 in the paper) is not matched by the birational maps of Maple. In particular, we do not have the term with the strange square roots. $\endgroup$ Feb 1, 2021 at 18:19
  • $\begingroup$ I converted the comment above from an answer. The additional sentence "However, the mapping between the coefficients of the planar quartic, and these of the planar cubic agrees." was cut off in the conversion. $\endgroup$
    – Ben Webster
    Feb 1, 2021 at 19:46
5
$\begingroup$

If you don't have a point defined over your base field $K$, then you can't convert to Weierstrass form with $K$-coefficients using a transformation defined over $K$. (Proof: The Weierstrass equation has a $K$-rational point.) In that situation, it's often convenient to map the curve $C:y^2=ax^4+bx^3+cx^2+dx+e$ to its Jacobian, which is an elliptic curve $E/K$ that admits $C$ as a double cover, with everything defined over $K$. The formula for double cover $C\to E$ with $E$ in Weierstrass form is classical 19th century invariant theory. (See for example Salmon Lessons Introductory to the Modern Higher Algebra 3rd ed., Hodges, Foster, and Co., Cambridge, 1876, pages 187-192.)

$\endgroup$
4
  • $\begingroup$ For my purposes, I'm assuming complex coefficients, so I believe I can get a Weierstrass form at least. Would you happen to know any direct methods for transforming into Jacobi or some other quartic form without having to take a Weierstrass detour? (BTW: I have two of your books; thank you very much for writing them.) $\endgroup$ May 25, 2016 at 19:59
  • $\begingroup$ @J.M. No, sorry, I don't offhand know the direct transformation. Thanks for the kind words about my books. $\endgroup$ May 25, 2016 at 20:33
  • $\begingroup$ I thought $C \to E$ was a 4:1 cover, not a double cover (if $C$ does have a rational point then $C \to E$ is the doubling map, but that has degree $4$). The Jacobi form requires some level-$2$ structure, so in general you don't expect to put $C$ in such a form without extending the field of coefficients. $\endgroup$ Dec 20, 2016 at 6:34
  • 1
    $\begingroup$ @NoamD.Elkies I think you're right. Thanks. The curve $C$ is hyperelliptic over $K$, so it has a $K$-rational divisor $D$ of degree 2. This gives a map $$C\to\text{Jac}(C),\quad P\mapsto [2(P)-D].$$ But this map has degree 4. $\endgroup$ Dec 20, 2016 at 13:38
1
$\begingroup$

For the reduction to Jacobi form, basically you are looking at the orbits of the quartic under Möbius transformation which you can identify (apart from some exceptional cases) from the two invariants $S$ and $T$ of degrees 2 and 3 in $a,c,d,f$. See this MO answer for more details.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.