Where can I find a comprehensive list of equations for small genus modular curves? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T13:58:49Z http://mathoverflow.net/feeds/question/14054 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/14054/where-can-i-find-a-comprehensive-list-of-equations-for-small-genus-modular-curves Where can I find a comprehensive list of equations for small genus modular curves? David Zureick-Brown 2010-02-03T21:12:01Z 2010-12-20T17:02:43Z <p>Does there exist anywhere a comprehensive list of small genus modular curves $X_G$, for G a subgroup of GL(2,Z/(n))$? (say genus &lt;= 2), together with equations? I'm particularly interested in genus one cases, and moreso in split/non-split cartan, with or without normalizers.</p> <p>Ken Mcmurdy has a list <a href="http://phobos.ramapo.edu/~kmcmurdy/research/Models/index.html" rel="nofollow">here</a> for$X_0(N)$, and Burcu Baran writes down equations for all$X_{ns}^+(p)$of genus &lt;=2 in <a href="http://www.mat.uniroma2.it/~baran/classlast.pdf" rel="nofollow">this</a> preprint.</p> http://mathoverflow.net/questions/14054/where-can-i-find-a-comprehensive-list-of-equations-for-small-genus-modular-curves/14075#14075 Answer by Pete L. Clark for Where can I find a comprehensive list of equations for small genus modular curves? Pete L. Clark 2010-02-03T22:44:57Z 2010-02-04T04:10:06Z <p>No, there does not exist a comprehensive list of equations: the known equations are spread out over several papers, and some people (e.g. Noam Elkies, John Voight; and even me) know equations which have not been published anywhere. </p> <p>When I have more time, I will give bibliographic data for some of the papers which give lists of some of these equations. Some names of the relevant authors: Ogg, Elkies, Gonzalez, Reichert.</p> <p>In my opinion, it would be a very worthy service to the number theory community to create an electronic source for information on modular curves (including Shimura curves) of low genus, including genus formulas, gonality, automorphism groups, explicit defining equations...In my absolutely expert opinion (that is, I make and use such computations in my own work, but am not an especially good computational number theorist: i.e., even I can do these calculations, so I know they're not so hard), this is a doable and even rather modest project compared to some related things that are already out there, e.g. William Stein's modular forms databases and John Voight's quaternion algebra packages. </p> <p>It is possible that it is a little <em>too</em> easy for our own good, i.e., there is the sense that you should just do it yourself. But I think that by current standards of what should be communal mathematical knowledge, this is a big waste of a lot of people's time. E.g., by coincidence I just spoke to one of my students, J. Stankewicz, who has spent some time implementing software to enumerate all full Atkin-Lehner quotients of semistable Shimura curves (over Q) with bounded genus. I assigned him this little project on the grounds that it would be nice to have such information, and I think he's learned something from it, but the truth is that there are people who probably already have code to do exactly this and I sort of regret that he's spent so much time reinventing this particular wheel. (Yes, he reads MO, and yes, this is sort of an apology on my behalf.) </p> <p>Maybe this is a good topic for the coming SAGE days at MSRI?</p> <p><b>Addendum</b>: Some references:</p> <blockquote> <p>Kurihara, Akira On some examples of equations defining Shimura curves and the Mumford uniformization. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 25 (1979), no. 3, 277--300. </p> </blockquote> <p>$ \ $</p> <blockquote> <p>Reichert, Markus A. Explicit determination of nontrivial torsion structures of elliptic curves over quadratic number fields. Math. Comp. 46 (1986), no. 174, 637--658. </p> <p><a href="http://www.math.uga.edu/~pete/Reichert86.pdf" rel="nofollow">http://www.math.uga.edu/~pete/Reichert86.pdf</a></p> </blockquote> <p>$ \ $</p> <blockquote> <p>Gonzàlez Rovira, Josep Equations of hyperelliptic modular curves. Ann. Inst. Fourier (Grenoble) 41 (1991), no. 4, 779--795.</p> <p><a href="http://www.math.uga.edu/~pete/Gonzalez.pdf" rel="nofollow">http://www.math.uga.edu/~pete/Gonzalez.pdf</a></p> </blockquote> <p>$ \ $</p> <blockquote> <p>Noam Elkies, equations for some hyperelliptic modular curves, early 1990's. [So far as I know, these have never been made publicly available, but if you want to know an equation of a modular curve, try emailing Noam Elkies!]</p> </blockquote> <p>$ \ $</p> <blockquote> <p>Elkies, Noam D. Shimura curve computations. Algorithmic number theory (Portland, OR, 1998), 1--47, Lecture Notes in Comput. Sci., 1423, Springer, Berlin, 1998. </p> <p><a href="http://arxiv.org/abs/math/0005160" rel="nofollow">http://arxiv.org/abs/math/0005160</a></p> </blockquote> <p>$ \ $</p> <blockquote> <p>An algorithm which was used to find explicit defining equations for$X_1(N)$,$N$prime, can be found in</p> <p>Pete L. Clark, Patrick K. Corn and the UGA VIGRE Number Theory Group, <em>Computation On Elliptic Curves With Complex Multiplication</em>, preprint.</p> <p><a href="http://math.uga.edu/~pete/TorsCompv6.pdf" rel="nofollow">http://math.uga.edu/~pete/TorsCompv6.pdf</a></p> </blockquote> <p>This is just a first pass. I probably have encountered something like 10 more papers on this subject, and I wasn't familiar with some of the papers that others have mentioned. </p> http://mathoverflow.net/questions/14054/where-can-i-find-a-comprehensive-list-of-equations-for-small-genus-modular-curves/14082#14082 Answer by Felipe Voloch for Where can I find a comprehensive list of equations for small genus modular curves? Felipe Voloch 2010-02-03T23:35:48Z 2010-02-03T23:35:48Z <p>Galbraith's thesis has a bunch:</p> <p><a href="http://www.isg.rhul.ac.uk/~sdg/thesis.html" rel="nofollow">http://www.isg.rhul.ac.uk/~sdg/thesis.html</a></p> http://mathoverflow.net/questions/14054/where-can-i-find-a-comprehensive-list-of-equations-for-small-genus-modular-curves/14088#14088 Answer by Victor Miller for Where can I find a comprehensive list of equations for small genus modular curves? Victor Miller 2010-02-04T01:08:58Z 2010-02-04T16:23:53Z <p>Cummins and Pauli have calculated generators for the function fields of all congruence subgroups of$\text{PSL}_2(\mathbb{Z})$of genus$\le 24$in:</p> <p><a href="http://www.mathstat.concordia.ca/faculty/cummins/congruence/" rel="nofollow">http://www.mathstat.concordia.ca/faculty/cummins/congruence/</a></p> <p>I haven't looked at this for a few months but I believe that the companion paper <a href="http://www.emis.de/journals/EM/expmath/volumes/12/12.2/pp243_255.pdf" rel="nofollow">http://www.emis.de/journals/EM/expmath/volumes/12/12.2/pp243_255.pdf</a> discusses the generators. In the meantime there is a paper by Yifan Yang "Defining equations of modular curves" Advances in Mathematics Volume 204, Issue 2, 20 August 2006, Pages 481-508</p> <p>which gives tables of equations for many modular curves, and discusses a methodology for finding "good" equations (i.e. those with small coefficients and a small number of terms in the defining polynomials)</p> http://mathoverflow.net/questions/14054/where-can-i-find-a-comprehensive-list-of-equations-for-small-genus-modular-curves/14160#14160 Answer by Victor Miller for Where can I find a comprehensive list of equations for small genus modular curves? Victor Miller 2010-02-04T16:04:32Z 2010-02-04T16:04:32Z <p>There is also the paper by Broker, Lauter and Sutherland "Modular polynomials via isogeny volcanoes" <a href="http://arxiv.org/abs/1001.0402" rel="nofollow">http://arxiv.org/abs/1001.0402</a> which gives a fast (in practice) algorithm to calculate modular polynomials$\Phi_l(X,Y)$(this is the polynomial satisfying$\Phi_l(j(z),j(lz)) = 0$where$j$is the usual$j$-invariant) for$l$prime which is a highly-singular model for$X_0(l)$, and other analogous polynomials associated, for example, with the modular function$f$which generates a function field associated with a congruence subgroup of degree 72 over$\Gamma_0(1)$. Sutherland just spoke here yesterday on this. For example he can calculate$\Phi_l(X,Y)$for$l$about 20000. The interesting feature in this algorithm is that he can calculate$\Phi_l$modulo a small prime without actually calculating it over$\mathbb{Z}$and reducing.</p> <p>In the papers by Cummins and Pauli and Yang they essentially do their calculations by using "modular units" (cf. Kubert and Lang) which are explicit functions on$X(N)$(sometimes with character) for which we know the divisor, and then combining them in various ways and using Riemann-Roch type calculations. The method by Broker, Lauter and Sutherland uses the modular interpretation of$\Phi_l\$ in terms of isogenies, in a rather clever way. I feel that eventually this will be the way to go.</p> http://mathoverflow.net/questions/14054/where-can-i-find-a-comprehensive-list-of-equations-for-small-genus-modular-curves/18812#18812 Answer by AVS for Where can I find a comprehensive list of equations for small genus modular curves? AVS 2010-03-20T01:05:11Z 2010-12-20T17:02:43Z <p>Explicit equations for X_1(N) that have been optimized to reduce both the degree and coefficient sizes are available for N &lt;= 50 at <a href="http://math.mit.edu/~drew/X1_curves.txt" rel="nofollow">http://math.mit.edu/~drew/X1_curves.txt</a>. These were obtained using the algorithm described in <a href="http://arxiv.org/abs/0811.0296" rel="nofollow">http://arxiv.org/abs/0811.0296</a>.</p> <p><strong>EDIT</strong>: Tables of defining equations for X_1(N) for N &lt;= 189 are now available at <a href="http://www-math.mit.edu/~drew/X1_altcurves.html" rel="nofollow">http://www-math.mit.edu/~drew/X1_altcurves.html</a></p>