# 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 -0500
**

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 -0500
**

Seen: **704 times**

Last updated: **Aug 19 '11**

How to write twisted cubic in sage?

Passing ideals between Macaulay and Sage

how to write Division command?

Elementary algebraic geometry?

Map between projective curves defined in an extension field

how can I Calculate grobner bases in this application?

Groebner basis for rational functions with real coefficients

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.