1
$\begingroup$

I'm wondering if there's always a (not too complicated?) way to characterize a matrix group by conditions on the coefficients.

I know if I'm dealing with matrix groups over a field, then it's sort of a question of seeing if the matrix group is Zariski-closed, which would correspond to polynomial conditions on the coefficients, though I'm not necessarily only interested in polynomial conditions, and I want to work with integer coefficients.

More specifically, I've got four matrices $A,B,C,D$ in $SL(2,\mathbb{Z})$, and I'm looking at the subgroup of the group generated by these four matrices (which have the sole relation $DCBA = 1$), such that the number of times $A$ or $C$ appears in any word is even.

Actually, (Formatting looks weird, these are meant to be $2\times2$ matrices and the coefficients are ordered as top left, top right, bottom left, bottom right) $$A = \left[\begin{array}{ll} 1 & 5 \\ 0 & 1\end{array}\right]$$ $$B = \left[\begin{array}{ll} 1 & 0 \\ -1 & 1\end{array}\right]$$ $$C = \left[\begin{array}{ll} 11 & 20 \\ -5 & -9\end{array}\right]$$ $$D = \left[\begin{array}{ll} 11 & 25 \\ -4 & -9\end{array}\right]$$

($A,B,C,D$ actually generate the congruence group $\Gamma^1(5)$)

In fact, if we let $$M = \left[\begin{array}{ll} -2 & -5 \\ 1 & 2\end{array}\right]$$ then $C = MAM^{-1}$, and $D = MBM^{-1}$.

$\endgroup$
4
  • $\begingroup$ I took the liberty of fixing the formatting (see the sidebar item "Basic solution") $\endgroup$
    – Yemon Choi
    Oct 16, 2012 at 4:46
  • 1
    $\begingroup$ I took the liberty of changing $B$ to a matrix with determinant $1$ rather than $0.$ $\endgroup$
    – Will Jagy
    Oct 16, 2012 at 4:56
  • $\begingroup$ Note that your matrices do not seem to fit the group, see en.wikipedia.org/wiki/… $\endgroup$
    – Will Jagy
    Oct 16, 2012 at 5:19
  • 1
    $\begingroup$ @Will: $\Gamma^1(5)$, not $\Gamma_1(5)$; $\Gamma^1$ has the top right entry divisible by 5. I corrected $B$ again, so it is now in $\Gamma^1(5)$ and the claimed relation $D = MBM^{-1}$ holds. But it's not totally clear to me what the question here is, and as far as I can see it has nothing whatsoever to do with modular forms. $\endgroup$ Oct 16, 2012 at 9:04

1 Answer 1

3
$\begingroup$

The question is rather vague, but I hope that the following is helpful.

You seem to want a solution to the membership problem for your subgroup of $SL(2,\mathbb{Z})$. Note that such a solution is known not to exist in $SL(4,\mathbb{Z})$, which contains a copy of $F_2\times F_2$; I suspect its existence is open for $SL(3,\mathbb{Z})$.

However, $SL(2,\mathbb{Z})$ is group-theoretically much nicer, being as it is virtually free. The membership problem is certainly solvable here quite efficiently, though I don't know an implementation off the top of my head. The methods involved go back to Stallings's notion of folding. A google search turned up the paper 'Membership problem for the modular group' by Gurevich and Schupp.

$\endgroup$
2
  • 1
    $\begingroup$ By the way, if you are correct and the subgroup generated by $A,B,C,D$ is free on $A,B,C$ (I haven't checked), then 'the subgroup ... such that the number of times A or C appears in any word is even' is generated by $A^2, C^2, AC, B, ABA^{-1}$. $\endgroup$
    – HJRW
    Oct 16, 2012 at 10:22
  • $\begingroup$ Note also that the fact that the membership problem is not solvable in general shows that there are subgroups which are not cut out by a family of polynomials. $\endgroup$
    – HJRW
    Oct 16, 2012 at 13:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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