Optimized equations for X1(N)


The table below gives links to optimized equations f(x,y)=0 for X1(N), together with parametizations E=[a1(x,y),a2(x,y),a3(x,y),a4(x,y),a6(x,y)] and P=[u(x,y),v(x,y)] that define an elliptic curve
v2 + a1uv + a3v = u3 + a2u2 + a4u + a6
in Weierstrass form on which P is a point of order N. This extends results for N ≤ 50 described in Constructing elliptic curves with prescribed torsion over finite fields to N ≤ 100, and for many N ≤ 50 gives equations of lower degree (for N > 100, see this table).

In each case the equations below give a map to P1 (the function y) that matches the upper bound on the gonality of X1(N) given by Derrickx and van Hoeij in Gonality of the modular curve X1(N). These bounds are known to be tight for N ≤ 40.

This is joint work in progress with Mark van Hoeij (last updated January 10, 2014). Partially funded by NSF grant DMS-1115455.



Ndegxdegyf(x,y) Ndegxdegyf(x,y) Ndegxdegyf(x,y) Ndegxdegyf(x,y) Ndegxdegyf(x,y)
601f(x,y) 2585f(x,y) 442215f(x,y) 637236f(x,y) 826358f(x,y)
701f(x,y) 2676f(x,y) 453618f(x,y) 644832f(x,y) 839590f(x,y)
801f(x,y) 2786f(x,y) 462119f(x,y) 655342f(x,y) 847248f(x,y)
901f(x,y) 2896f(x,y) 473029f(x,y) 666030f(x,y) 859072f(x,y)
1001f(x,y) 291211f(x,y) 482416f(x,y) 675958f(x,y) 867364f(x,y)
1122f(x,y) 3086f(x,y) 493121f(x,y) 685436f(x,y) 8714070f(x,y)
1201f(x,y) 311212f(x,y) 502315f(x,y) 698844f(x,y) 889060f(x,y)
1332f(x,y) 32128f(x,y) 514824f(x,y) 704536f(x,y) 89108104f(x,y)
1422f(x,y) 332010f(x,y) 523121f(x,y) 716966f(x,y) 906748f(x,y)
1522f(x,y) 341010f(x,y) 533937f(x,y) 724532f(x,y) 9110684f(x,y)
1632f(x,y) 351512f(x,y) 542518f(x,y) 737370f(x,y) 929966f(x,y)
1744f(x,y) 36118f(x,y) 553730f(x,y) 745251f(x,y) 9316080f(x,y)
1832f(x,y) 371918f(x,y) 563624f(x,y) 756340f(x,y) 948383f(x,y)
1955f(x,y) 381312f(x,y) 576030f(x,y) 766745f(x,y) 9511390f(x,y)
2033f(x,y) 392814f(x,y) 583231f(x,y) 777460f(x,y) 968156f(x,y)
2154f(x,y) 401812f(x,y) 594846f(x,y) 788442f(x,y) 97129123f(x,y)
2254f(x,y) 412322f(x,y) 603524f(x,y) 798582f(x,y) 989263f(x,y)
2377f(x,y) 422412f(x,y) 615149f(x,y) 807248f(x,y) 9918090f(x,y)
2454f(x,y) 432624f(x,y) 62 3636f(x,y) 817754f(x,y) 1009560f(x,y)