Welcome to MathOverflow

Question

8

2

This is probably well know, and maybe even trivial, but not to me. Consider for concreteness the subgroup $$ \pm\Gamma_0(3)=\left\{\begin{pmatrix}a & b \\ c & d\end{pmatrix}:\;a,b,c,d\in\mathbb{Z},ad-bc=\pm1, c\equiv 0\pmod 3\right\} $$ of $GL_2(\mathbb{Z})$. This has of course index 4 in $GL_2(\mathbb{Z})$. The first (possibly completely ridiculous) question is

Does $\pm\Gamma_0(3)$ contain a subgroup isomorphic to $GL_2(\mathbb{Z})$?

It's not even obvious to me that the two are not isomorphic as abstract groups. The second question is

Does $GL_2(\mathbb{Z})$ contain subgroups that are isomorphic to $\pm\Gamma_0(3)$ with finite index other than 4? If the answer is yes, then what is the least common multiple of all such indices? E.g. is there a subgroup of index 3 (or 5, or 7, or...) in $GL_2(\mathbb{Z})$ isomorphic to $\pm\Gamma_0(3)$? Or will all such indices be multiples of 4?

An answer or technique that is applicable to other congruence subgroups and to other values of 2 would be a great bonus, but for now I would happily settle for an answer to this concrete question.

flag	asked Aug 3 2011 at 6:10 Alex Bartel 6,133●1●20●42

6

is there an element of order $4$ in $\pm\Gamma_0(3)$? – Junkie Aug 3 2011 at 6:59

Geoff Robinson · Accepted Answer · 2011-08-03 13:58:35Z UTC

11

Junkie's comment answers both parts of the first question, since $\pm \Gamma_{0}(3)$ contains no element of order $4$ (its image after reduction (mod 3) would still have order $4$). They also provide a suggestion to deal with other primes. For other $p> 3$, I think you can do something like this. The matrices congruent to the identity (entrywise) (mod p) form a torsion free normal subgroup $H$ of ${\rm GL}(2,\mathbb{Z})$. The image of the congruence subgroup (mod $H$) is solvable, and has a normal Sylow $p$-subgroup with Abelian factor group. However, if $X$ is a subgroup of the congruence subgroup isomorphic to ${\rm GL}(2,\mathbb{Z})$, then $X/X \cap H$ contains a dihedral subgroup of order $8$.

edited Aug 3 2011 at 13:58

answered Aug 3 2011 at 7:46

Geoff Robinson
9,856●1●21●27

Brilliant, thank you! I knew this should be doable by just looking at torsion, but the fact I was missing was that $\Gamma_1(N)$, the group of matrices congruent to the identity modulo $N$ is torsion free. Is this easy to see? – Alex Bartel Aug 3 2011 at 8:13

@Alex Bartel: Maybe consider the trace and determinant (minimal polynomial) of an element that has finite order. – Junkie Aug 3 2011 at 8:16

@Junkie: of course, that works. Thanks! – Alex Bartel Aug 3 2011 at 8:24

@Alex: as long as $N \neq 2$, of course. – Geoff Robinson Aug 3 2011 at 13:57

1

Just a stupid remark, you use that the group is torsion free every time you say the modular curve (just defined as the quotient of the upper half plane modulo your group) is a complex curve, since you don't have elliptic points in these cases (and you do in level 1). – A. Pacetti Aug 3 2011 at 20:18

show 1 more comment

Lior Silberman · Answer 2 · 2011-08-12 06:42:11Z UTC

For $n\geq 3$ (and in higher-rank in general) the question is basically settled by Super-rigidity. For example, if you have two lattices of $\mathrm{SL}_n(\mathbb{R})$ which are abstractly isomorphic then they must be obtained from each other by an automorphism of $\mathrm{SL}_n(\mathbb{R})$ (inverse transpose and/or inner conjugation).

Congruence subgroups as abstract groups

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

2 Answers

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.