Generators for congruence subgroups of SL_2 - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T20:34:37Z http://mathoverflow.net/feeds/question/2757 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/2757/generators-for-congruence-subgroups-of-sl-2 Generators for congruence subgroups of SL_2 Andy Putman 2009-10-27T03:36:17Z 2010-03-20T15:34:31Z <p>For positive integers n and L, denote by SL_n(Z,L) the level L congruence subgroup of SL_n(Z), ie the kernel of the homomorphism SL_n(Z)-->SL_n(Z/LZ).</p> <p>For n at least 3, it is known that SL_n(Z,L) is normally generated (as a subgroup of SL_n(Z)) by Lth powers of elementary matrices. Indeed, this is essentially equivalent to the congruence subgroup problem for SL_n(Z).</p> <p>However, this fails for SL_2(Z,L) since SL_2(Z) does not have the congruence subgroup property.</p> <p>Question : Is there a nice generating set for SL_2(Z,L)? I'm sure this is in the literature somewhere, but I have not been able to find it.</p> http://mathoverflow.net/questions/2757/generators-for-congruence-subgroups-of-sl-2/2768#2768 Answer by JSE for Generators for congruence subgroups of SL_2 JSE 2009-10-27T04:45:36Z 2009-10-27T04:45:36Z <p>My first stab at this would be to think of SL_2(Z,L) acting on the upper half plane. You can see what the cusps are and what conjugacy classes in SL_2(Z,L) they correspond to; mod out by the subgroup normally generated by those, and you get the fundamental group of the closed Riemann surface X(L); I guess I would try drawing in the upper half plane the explicit paths that you know generate the homology ("modular symbols") and see to what extent these generate the whole fundamental group. (But I have been careless in many places here and doubtless someone will just provide a reference so you don't have to do anything...)</p> http://mathoverflow.net/questions/2757/generators-for-congruence-subgroups-of-sl-2/3826#3826 Answer by Richard Kent for Generators for congruence subgroups of SL_2 Richard Kent 2009-11-02T17:50:55Z 2009-11-02T17:50:55Z <p>I knew your question rang a bell. If L is an odd prime, then it should be the normal closure of a single element, I think. I don't know if the element is "nice" enough for you, though.</p> <p>See MR0565476.</p> http://mathoverflow.net/questions/2757/generators-for-congruence-subgroups-of-sl-2/13915#13915 Answer by Ignat Soroko for Generators for congruence subgroups of SL_2 Ignat Soroko 2010-02-03T02:40:40Z 2010-02-03T02:40:40Z <p>Hi Andy,</p> <p>I don't know if you are still interested in this, but I just found the reference:</p> <p>MR0049937 (14,250d) Grosswald, Emil On the parabolic generators of the principal congruence subgroups of the modular group. Amer. J. Math. 74, (1952). 435--443.</p> <p>It is based on the previous work of H.Frasch (1933) who gave an explicit set of free generators for principal congruence subgroups Gamma(p) in PSL(2,Z), for prime p's.</p> <p>-Ignat</p> http://mathoverflow.net/questions/2757/generators-for-congruence-subgroups-of-sl-2/13918#13918 Answer by algori for Generators for congruence subgroups of SL_2 algori 2010-02-03T03:16:11Z 2010-02-03T03:25:41Z <p>Kulkarni (American J of Math, 113, 6, 1053-1133) gives a method to compute nice fundamental domains for the action of subgroups on $SL_2(\mathbf{Z})$ on the upper half-plane.</p> <p>"Nice" means that in particular that the subgroup is a free product of the subgroups generated by the edge-pairing transformations. In the case of $\Gamma(N) =\ker SL_2(\mathbf{Z})\to SL_2 (\mathbf{Z} / {N})$ we have a free group and so we get a free system of generators. Kulkarni's approach is based on the observation that the congruence subgroups of $SL_2(\mathbf{Z})$ are in a bijection with "bipartite cuboid graphs", which are unitrivalent graphs with a cyclic order on the edges meeting at a trivalent vertex plus some extra data. However, Kulkarni's method involves "trial and error" and I don't think explicit sets of generators are known for general $N$.</p> http://mathoverflow.net/questions/2757/generators-for-congruence-subgroups-of-sl-2/13929#13929 Answer by Ben Linowitz for Generators for congruence subgroups of SL_2 Ben Linowitz 2010-02-03T04:56:33Z 2010-03-20T15:34:31Z <p>I was at a workshop on noncongruence modular forms recently (a noncongruence subgroup of $SL_2(\mathbb{Z})$ is a subgroup of finite index not containing any $\Gamma(N)$ ) when this question came up. I believe that the consensus was that although one can, in principle, compute a generating set for $\Gamma(N)$, the algorithm is not terribly effective for $N$ large (where by large I mean greater than $13$ or so). The algorithm involves computing the Farey symbol associated to $\Gamma(N)$ and getting coset representatives. The difficulty is that the index of $\Gamma(N)$ increases very rapidly, making the calculation of the Farey symbol very lengthy. </p> <p>Ling Long and Chris Kurth have written a paper about the algorithm (it references the paper of Kulkarni that algori mentioned), which is available <a href="http://www.public.iastate.edu/~kurthc/research/Farey%20Symbols%20Expository%20Paper.pdf" rel="nofollow">here</a>.</p>