# Finding Hauptmoduls

Given a modular curve with genus zero (for example $X_{1}(7)$) is there a way in SAGE to find its Hauptmodul?

Finding Hauptmoduls

asked **
2011-06-29 19:10:45 -0600
**

Anonymous

Given a modular curve with genus zero (for example $X_{1}(7)$) is there a way in SAGE to find its Hauptmodul?

add a comment

2

In what form do you want it? As a q-series? Or do you want j as a rational function of it?

If the former, I don't think there exists an algorithm, though there are methods.

If the latter, Sage does know a few, namely for $X_0(\ell)$ for $\ell=2,3,5,7,13$::

```
sage: from sage.schemes.elliptic_curves.ell_curve_isogeny import Fricke_modules
sage: Fricke_modules.keys()
[3, 13, 5, 7]
sage: Fricke_modules[3]
(t^4 + 36*t^3 + 270*t^2 + 756*t + 729)/t
sage: Fricke_modules[5]
(t^6 + 30*t^5 + 315*t^4 + 1300*t^3 + 1575*t^2 + 750*t + 125)/t
sage: Fricke_modules[7]
(t^8 + 28*t^7 + 322*t^6 + 1904*t^5 + 5915*t^4 + 8624*t^3 + 4018*t^2 + 748*t + 49)/t
sage: Fricke_modules[13]
(t^14 + 26*t^13 + 325*t^12 + 2548*t^11 + 13832*t^10 + 54340*t^9 + 157118*t^8 + 333580*t^7 + 509366*t^6 + 534820*t^5 + 354536*t^4 + 124852*t^3 + 15145*t^2 + 746*t + 13)/t
```

Instead of the {{{ }}}'s try indenting the code like a python codeblock or select the code and click the button in the toolbar with the 0101010's.

0

Here's a followup mainly to test if I can get the hang of the code entry: The curve $X_{split}(5)$ has genus $0$ and degree $15$, and a Hauptmodul is $s$ where $$j=\frac{(s+5)^3(s^2-5)^3(s^2+5s+10)^3}{(s^2+5s+5)^5}.$$

Secondly the Hauptmoduln for all genus zero $X_0(N)$ are given in the very nice paper by Robert Maier (2008) http://arxiv.org/abs/math/0611041. In fact we derived the one for $X_{split}(5)$ from Maier's for $X_0(25)$.

OK, so there was no code entry after all, but I did get to include a link!

Asked: **
2011-06-29 19:10:45 -0600
**

Seen: **756 times**

Last updated: **Aug 19 '11**

How to compute the ideal of a finite set of points.

I need something unique about sage

how to write Division command?

How to find the normal form of an elliptic curve using Sage?

how to find standard monomials of an Ideal?

Passing ideals between Macaulay and Sage

How to write Buchberger algorithm?

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.