## Distinguishing congruence subgroups of the modular group

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

This question is something of a follow-up to http://mathoverflow.net/questions/19400/ .

How does one recognise whether a subgroup of the modular group $\Gamma=\mathrm{SL}_2(\mathbb{Z})$ is a congruence subgroup?

Now that's too broad a question for me to expect a simple answer so here's a more specific question. The subgroup $\Gamma_1(4)$ of the modular group is free of rank $2$ and freely generated by $A=\left( \begin{array}{cc} 1&1\\ 0&1 \end{array}\right)$ and $B=\left( \begin{array}{cc} 1&0\\ 4&1 \end{array}\right)$. If $\zeta$ and $\eta$ are roots of unity there is a homomorphism $\phi$ from $\Gamma_1(4)$ to the unit circle group sending $A$ and $B$ to $\zeta$ and $\eta$ resepectively. Then the kernel $K$ of $\phi$ has finite index in $\Gamma_1(4)$. How do we determine whether $K$ is a congruence subgroup, and if so what its level is?

In this example, the answer is yes when $\zeta^4=\eta^4=1$. There are also examples involving cube roots of unity, and involving eighth roots of unity where the answer is yes. I am interested in this example since one can construct a "modular function" $f$, homolomorphic on the upper half-plane and meromorphic at cusps such that $f(Az)=\phi(A)f(z)$ for all $A\in\Gamma_1(4)$. One can take $f=\theta_2^a\theta_3^b\theta_4^c$ for appropriate rationals $a$, $b$ and $c$.

Finally, a vaguer general question. Given a subgroup $H$ of $\Gamma$ specified as the kernel of a homomorphism from $\Gamma$ or $\Gamma_1(4)$ (or something similar) to a reasonably tractable target group, how does one determine whether $H$ is a congruence subgroup?

-

## 2 Answers

There is one answer in the following paper, along with a nice bibliography of other techniques:

MR1343700 (96k:20100) Hsu, Tim(1-PRIN) Identifying congruence subgroups of the modular group. (English summary) Proc. Amer. Math. Soc. 124 (1996), no. 5, 1351--1359.

-

Thanks Andy, that's exactly the sort of thing I was looking for. – Robin Chapman Apr 10 2010 at 16:32

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Although Andy has the correct answer, I thought I would point out that there will only be finitely many groups of the type you consider that are congruence subgroups. Since these are abelian (cyclic) covers of your surface, they will contain the universal abelian cover (corresponding to the commutator subgroup of $\Gamma_1(4)$). By "strong approximation", this group will map onto all but finitely many congruence quotients of $SL_2(\mathbb{Z})$, and therefore so will any group containing it. Thus, only finitely many of your groups will be congruence.

Another way to see this is to notice that abelian covers have Cheeger constant approaching zero, and therefore first eigenvalue of the Laplacian $\lambda_1$ approaching zero by Buser's inequality. By Selberg's estimate, $\lambda_1\geq 3/16$ for a congruence subgroup. In principle, one could probably get explicit estimates on the index of a congruence abelian cover this way.

-

2
Thanks Ian, that's very interesting; it's a shame I can only tick one response. – Robin Chapman Apr 11 2010 at 8:16
I don't know a good reference for strong approximation, but in this context there's a very elementary argument one may make - see: ams.org/mathscinet-getitem?mr=1459136 Their argument shows that the group maps onto all but finitely many $SL_2(Z/p)$. This then implies that it maps onto all but finitely many $SL_2(Z/p^k)$, and therefore onto a finite-index subgroup of the pro-congruence completion (I don't know if this is standard terminology). – Agol Apr 11 2010 at 16:15
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 36, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9253712296485901, "perplexity_flag": "head"}