Generators for congruence group $\Gamma(2)$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T10:42:24Z http://mathoverflow.net/feeds/question/29700 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/29700/generators-for-congruence-group-gamma2 Generators for congruence group $\Gamma(2)$ Chris Judge 2010-06-27T11:58:47Z 2010-06-27T17:16:05Z <p>Is the congruence group $\Gamma(2)$ generated by the upper triangular matrix $(1, 2; 0, 1)$ and the lower triangular matrix $(1, 0; 2, 1)$ or does on need to also throw in the negation of the identity? To be specific, how do I check that the negation of the identity is not a word in the above matrices? </p> http://mathoverflow.net/questions/29700/generators-for-congruence-group-gamma2/29702#29702 Answer by Robin Chapman for Generators for congruence group $\Gamma(2)$ Robin Chapman 2010-06-27T12:03:31Z 2010-06-27T12:03:31Z <p>Yes, you need to throw in $-I$. Check that the set of all matrices of the form $$\left(\begin{matrix} a&amp;b\\ c&amp;d \end{matrix}\right)$$ with $b$ and $c$ even and $a\equiv d\equiv1$ (mod $4$) is a subgroup of the modular group.</p> http://mathoverflow.net/questions/29700/generators-for-congruence-group-gamma2/29709#29709 Answer by Andy Putman for Generators for congruence group $\Gamma(2)$ Andy Putman 2010-06-27T14:28:12Z 2010-06-27T15:12:20Z <p>There is already an answer posted, but I can't resist making two remarks. The first gives an alternate proof that also works for $\Gamma_n(p)$ for all $n$ and $p$ (and also gives a minimal generating set for these groups, at least when $n \geq 3$). The second says a little more about $\Gamma_2(2)$. By the way, $p$ doesn't have to be prime.</p> <p>1) Let us define a surjective homomorphism $f : \Gamma_n(p) \rightarrow \mathfrak{sl}_n(\mathbb{Z}/p\mathbb{Z})$. An element $M \in \Gamma_n(p)$ is of the form $M = \mathbb{I}_n + p A$ for some matrix $A$. Define $f(M) = A$ mod $p$. Amazingly enough, this is a homomorphism! Indeed, if $N = \mathbb{I}_n + p B$, then $$f(MN) = f((\mathbb{I}_n + p A)(\mathbb{I}_n + p B)) = f(\mathbb{I}_n + p(A+B) + p^2 AB) = A+B$$ modulo $p$. This is sort of like a derivative! It is an easy exercise to check that the image of $f$ lies in $\mathfrak{sl}_n(\mathbb{Z}/p\mathbb{Z})$. </p> <p>To check that $f$ is surjective, let $e_{ij}$ for $i \neq j$ be the identity matrix with a $1$ inserted into the $(i,j)$ position. Then $f(e_{ij}^p)$ is the matrix with a $1$ in the $(i,j)$ position and zeros elsewhere. To get the diagonal matrices, define $f_i$ for $1 \leq i &lt; n$ to be the result of inserting the 2x2 matrix $(1+p,p;-p,1-p)$ into the identity matrix with its upper left entry at position $(i,i)$. Then $f(f_i)$ is the matrix with a $1$ at positions $(i,i)$ and $(i,i+1)$, a $-1$ at positions $(i+1,1)$ and $(i+1,i+1)$, and zeros elsewhere.</p> <p>The existence of $f$ implies immediately that $\Gamma_n(p)$ is not generated by the elementary matrices $e_{ij}^p$. A theorem of Lee and Szczarba says that in fact $f$ gives the abelianization of $\Gamma_n(p)$ for $n \geq 3$. Thus for $n \geq 3$ we have $[\Gamma_n(p),\Gamma_n(p)] = ker\ f = \Gamma_n(p^2)$. One can check (I've never seen this in print) that $\Gamma_n(p)$ is generated by the $e_{ij}^p$ and the $f_i$ when $n \geq 3$. For the case $n=2$, see the answers to my question <a href="http://mathoverflow.net/questions/2757/generators-for-congruence-subgroups-of-sl-2" rel="nofollow">here</a>.</p> <p>2) In fact, we have $\Gamma_2(2) \cong F_2 \times (\mathbb{Z}/2\mathbb{Z})$. Here $F_2$ is a rank $2$ free group generated by $e_{12}^2$ and $e_{21}^2$ and $\mathbb{Z}/2\mathbb{Z}$ is generated by the central element $(-1,0;0,-1)$. This can be proved in many ways : I leave it as a fun exercise!</p> http://mathoverflow.net/questions/29700/generators-for-congruence-group-gamma2/29718#29718 Answer by Qiaochu Yuan for Generators for congruence group $\Gamma(2)$ Qiaochu Yuan 2010-06-27T17:16:05Z 2010-06-27T17:16:05Z <p>This follows from the fact that the image of $\Gamma(2)$ in $\text{PSL}_2(\mathbb{Z})$ is freely generated by the two matrices you describe. There is a geometric proof of this fact based on the fact that $\Gamma(2)$ acts properly discontinuously on the upper half plane $\mathbb{H}$ which I sketch <a href="http://qchu.wordpress.com/2010/03/12/fractional-linear-transformations-and-elliptic-curves/" rel="nofollow">here</a>.</p>