Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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)...
Philippe's user avatar
7 votes
1 answer
397 views

Cohomology of certain arithmetic groups

This is a question on literature about cohomology of arithmetic groups. Let $M$ denote a quaternion algebra over $\mathbb Q$ and assume it is non-split over $\mathbb R$. Fix a maximal order $\Lambda$ ...
user avatar
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 ...
Frank's user avatar
  • 51
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 ...
Honing's user avatar
  • 195
4 votes
0 answers
149 views

Generators of special linear group of a projective module over a number ring

Let $\mathcal{O}$ be the ring of integers in an algebraic number field $K$ and let $M$ be a rank-$n$ projective $\mathcal{O}$-module. By definition, this means that $M \otimes K \cong K^n$, so the ...
Julia's user avatar
  • 41
2 votes
0 answers
205 views

Two basic questions on congruence subgroups

$\DeclareMathOperator\SL{SL}\DeclareMathOperator\GL{GL}$I have two questions related to congruence subgroups. Let $$\Gamma=\Gamma_0(N)=\Big\{\begin{pmatrix} a & b \\ c & d \end{pmatrix} \...
Andrew's user avatar
  • 1,019