All Questions
Tagged with arithmetic-groups gr.group-theory
62 questions
4
votes
1
answer
274
views
Subgroups of $Sp(2n,\mathbb{R})$ between $Sp(2n,\mathbb{Z})$ and some arithmetic group
The fantastic answers to my previous question Subgroups of $SL_2(\mathbb R)$ which contain $SL_2(\mathbb Z)$ as a finite index subgroup led me to the following question.
Let $O_K$ be the ring of ...
- 195
1
vote
0
answers
69
views
On equality of two quotients of a congruence subgroup
Related question: Non-torsion part of the abelianisation of congruence subgroups
Let $A = \mathbb{F}_q[T]$ be the ring of polynomials with coefficients in a finite field, with $N$ a nonconstant ...
- 345
1
vote
1
answer
216
views
Subgroup of $SL_2(O)$ with nice fundamental domain in complex upper half-plane
Let $O$ be the ring of $S$-integers in a real quadratic number field. Let $G$ be an $S$-arithmetic subgroup of $SL_2(O)$ whose intersection with $SL_2(\mathbb Z)$ is not of finite index in $SL_2(\...
- 119
6
votes
1
answer
214
views
Are the integer matrices in SO(3,2) "boundedly generated"?
Let $G$ be the subgroup of integer matrices in $\mathrm{SO}(3,2)$.
(The invertible linear maps from a $5$ dimensional real vector space to itself which leave invariant a nondegenerate symmetric ...
- 11.3k
3
votes
1
answer
236
views
Is there a bound on the rank of finite index subgroup of SL_3(Z)?
Is there an $N \in \mathbb{N}$ such that every finite index subgroup of $\mathrm{SL}_3(\mathbb{Z})$ has a generating set of size $N$?
- 11.3k
10
votes
3
answers
1k
views
Generators for a certain congruence subgroup of SL(n,Z)
I'm looking for a reference (or quick proof) of the following fact. Fix some $n \geq 3$ and some $\ell \geq 2$. Set $\Gamma_n(\ell) = \text{ker}(\text{SL}_n(\mathbb{Z}) \rightarrow \text{SL}_n(\...
- 378
7
votes
2
answers
443
views
Pre-images of unipotent elements in $\operatorname{SL}_{n}(A)$
The starting point of this question is the (presumably) well-known theorem (the proof I know is from Abelian $\ell$-adic representations and elliptic curves from J-P.Serre in which it is a lemma for $...
- 10.9k
5
votes
1
answer
257
views
Is SL_n of an order in a number ring finite-index in SL_n of the number ring?
Let $\mathcal{O}$ be the ring of integers in an algebraic number field and let $R \subset \mathcal{O}$ be an order. For instance, we might have $\mathcal{O} = \{\text{$x+i y$ $|$ $x,y \in \mathbb{Z}$}...
- 53
9
votes
1
answer
384
views
Reference for the fact that $SL_n(O_K)$ surjects onto $SL_n(O_K/I)$ for any ideal I
Let $\mathcal{O}_K$ be the ring of integers in an algebraic number field $K$ and let $I \subset \mathcal{O}_K$ be a nonzero proper ideal. It is not hard to see that the map $\text{SL}_n(\mathcal{O}_K)...
- 91
10
votes
0
answers
465
views
A uniform bound for a "true" non-congruence subgroup
Before stating my question, let me recall the Congruence Subgroup Property/Problem: Given simply connected absolutely and almost simple algebraic group $G$ with fixed realization as a matrix group one ...
- 638
3
votes
1
answer
402
views
Conjugacy of torsion subgroups in Gl(n, Z) for small n [duplicate]
Have the conjugacy classes of the torsion subgroups of Gl(n, Z) been determined for small n (say, n<=6)? In general, can much be said about the torsion subgroup?
- 31
5
votes
0
answers
267
views
Generating congruence subgroups of SL_n over totally imaginary number rings
Fix some $n \geq 3$. Let $k$ be an algebraic number field with ring of integers $\mathcal{O}$ and let $\alpha$ be an ideal of $\mathcal{O}$. Define $\text{SL}_n(\mathcal{O},\alpha)$ to be the ...
- 51