2
$\begingroup$

Consider the subgroup $G_{\lambda}$ of $SL_2(\mathbb R)$ generated by $N_{\lambda} = \begin{bmatrix} 1 & \lambda \\ 0 & 1 \end{bmatrix}$ and $S = \begin{bmatrix} 0 & 1 \\ -1 & 0 \end{bmatrix}$ where $\lambda>0$. Then it's known by Hecke that $G_{\lambda}$ is discrete if and only if $\lambda \geq 2$ or $\lambda=2 \cos(\frac{\pi}{n})$ where $n \geq 3$ is an integer. They are named for Hecke, and are used by Hecke to study modular forms.

Is there is a generalization of this fact to more general groups? For example, consider a subgroup of $SL_n(\mathbb R)$ generated by several elementary matrices and some involutions, when is it discrete?

What about $p$-adic analogues?

$\endgroup$
  • 4
    $\begingroup$ Even when you consider two unipotent matrices in $SL(2,C)$ this problem does not have a good answer (it is undecidable in certain sense). mathoverflow.net/questions/109967/… $\endgroup$ – Misha Feb 8 at 20:35
  • $\begingroup$ Even the group generated by $\begin{pmatrix} 1 & \lambda \\ 0 & 1 \end{pmatrix}$ inside $\operatorname{SL}_2(\mathbb Q_p)$ is not discrete. (In $\operatorname{SL}_2(\mathbb F_p((t)))$ it's finite, although I don't know if your group $G_\lambda$ still is.) $\endgroup$ – LSpice Feb 9 at 0:16
  • $\begingroup$ @Misha Thank you for that answer.. How about other groups? For example $SL_3(\mathbb R)$? $\endgroup$ – zzy Feb 11 at 20:58
  • 1
    $\begingroup$ @zzy: I do not know for sure about $SL(3,R)$. For "positive relatively Anosov" subgroups (a very special class of discrete subgroups) a description should be possible. But for general discrete subgroups I am very skeptical. However, not enough is known about discrete subgroups of $SL(3,R)$ at this point to prove anything definitive. $\endgroup$ – Misha Feb 11 at 21:24

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.