# 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: **698 times**

Last updated: **Aug 19 '11**

Finding the dual basis of a space of rational functions?

how to write Division command?

how can I Calculate grobner bases in this application?

I need something unique about sage

Prime ideals and "Point on Spectrum"

Map between projective curves defined in an extension field

Groebner basis for rational functions with real coefficients

System of polynomial inequalities

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.