Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The Manin-Drinfeld theorem asserts that for a modular curve $X_0(N)$ and Jacobian $J_0(N)$ with the former being embdedded in the latter under the map that takes $i\infty$ to $0$, the cusps are torsion.

The proof Manin-Drinfeld theorem seems to use Hecke operators and thus seems to be valid only for congruence subgroups of $PSL_2(\mathbb Z)$. Is there possibly a finite-index subgroup of $PSL_2(\mathbb Z)$ such that the statement of Manin-Drinfeld theorem is still true for the quotient?

share|cite|improve this question
You might have better luck with this question at – Noah Snyder Nov 24 '10 at 20:38

I like your question! I wish I could give a full answer, but I'm not familiar enough with the Manin-Drinfeld theorem. After I finish a couple weeks of work, I hope I can return and think about it in detail.

I would guess the answer is yes, and I have some candidates you could try. The Fermat curves can be identified with compactified quotients $\Gamma\backslash\mathcal{H}$ for finite index subgroups $\Gamma$ in the following way:

The modular function $\lambda(z) = \frac{\theta_2^4(q)}{\theta_3^4(q)}=16 q^{1/2} -128q +704q^{3/2} + \ldots$ is a Hauptmodul of the genus 0 congruence subgroup $\Gamma(2)$. (I.e., it is invariant under the action of $\Gamma(2)$ by fractional linear transformation, and parametrizes the genus 0 modular surface $X_{\Gamma(2)} = \Gamma(2) \backslash \mathcal{H} \cup \{0,1,i_\infty\}$.)

We define Hauptmoduln $x:= \sqrt[n]{\lambda}$ and $y:= \sqrt[n]{1-\lambda}$, which determine finite index genus 0 subgroups $\Gamma_x$ and $\Gamma_y$. Then $\Gamma:= \Gamma_x \cap \Gamma_y$ is subgroup with compactified quotient $X_{\Gamma}: x^n + y^n = 1$, and $\Gamma$ is a noncongruence subgroup for $n \neq 1,2,4,8$.

This construction is from a survey paper by Ling Long. We can use essentially the same idea to obtain quotient curves of the Fermat curves: If we set $x:= -\sqrt[5]{\lambda}$ and $y:= \sqrt{1-\lambda}$, we obtain a noncongruence subgroup $\Gamma$ with model $y^2=x^5+1$, which is a nice genus 2 curve, and its Jacobian has CM.

If you can verify what happens in this case, I would be interested to hear about it.

Added later:

I just did a search and found a relevant paper: "The Manin—Drinfeld theorem and Ramanujan sums" by V. Kumar Murty and Dinakar Ramakrishnan.

They give the same construction of the Fermat curves as I gave above, attributing it to Fricke and Klein. They also cite a result of Rohrlich which establishes that the cusps of $\Gamma$ map to torsion points of the Jacobian.

So the answer is yes; the noncongruence groups $\Gamma$ corresponding to the Fermat curves also satisfy the statement of the Manin-Drinfeld theorem.

share|cite|improve this answer
I should add that the Manin-Drinfeld theorem is not true for general noncongruence subgroups, as Murty and Ramakrishnan mention in their introduction. – Jonas Kibelbek Nov 27 '10 at 7:01

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.