All Questions
Tagged with arithmetic-groups algebraic-number-theory
20 questions
3
votes
2
answers
298
views
Equidistribution on $\mathrm{SU}_2$
Let $F_{a_1,a_2}$ be the free group with a free generating set $\{a_1,a_2\}$ of two elements, and for any $n\in\mathbb{N}$, set $A_n=\{\text{reduced words in } F_{a_1,a_2} \text{with length} \leqslant ...
- 9,486
2
votes
2
answers
293
views
Cohomology of $S$-arithmetic groups with trivial coefficients such as $H^n(\rm{PGL}_2(\mathbb{Z}[1/N]);\mathbb{Z})$
As $\rm{PSL}(2,\mathbb{Z})=(\mathbb{Z}/2\mathbb{Z})*(\mathbb{Z}/3\mathbb{Z})$, its cohomology groups $H^n(\rm{PSL}(2,\mathbb{Z});\mathbb{Z})$ are easy to get.
Let $N$ be a product of distinct primes.
...
1
vote
0
answers
67
views
Cardinality or covolume of $S$-units in quaternion algebras
Let $D=\left(\frac{a,b}{\mathbb{Q}}\right)$ be a quaternion algebra over $\mathbb{Q}$.
Suppose $D$ is ramified at a finite set $S$ of places and $\infty\in S$.
It is known that the $S$-units (the unit ...
- 391
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} \...
- 12.9k
3
votes
1
answer
230
views
Multiplicative group of number field mod field norms of quadratic extension
I'm reading some notes(*) about arithmetic lattices in $\operatorname{SU}(n,1)$. I'm trying to understand the data that classifies (up to commensurability) the arithmetic lattices of the "first ...
- 1,277
1
vote
2
answers
312
views
Clarification on arithmetic groups example
$\DeclareMathOperator\SU{SU}\DeclareMathOperator\SL{SL}$I'm working through some of the constructions in Introduction to Arithmetic Groups by Dave Witte Morris, and I'm confused by the construction of ...
- 46
7
votes
1
answer
550
views
Explicit construction of division algebras of degree 3 over $\mathbb{Q}$
In his book Introduction to arithmetic groups, Dave Witte Morris implicitly gives a construction of central division algebras of degree 3 over $\mathbb{Q}$ in Proposition 6.7.4. More precisely, let $L/...
- 63.9k
1
vote
0
answers
95
views
Small pants in arithmetic hyperbolic surfaces of high degree
Does the following statement hold:
Statement: For any $\epsilon > 0$, there exist a number field $k$ of degree $d_{\epsilon}$ over $\mathbb{Q}$ and an arithmetic hyperbolic surface $\Gamma$ ...
- 1,101
0
votes
0
answers
121
views
Commensurability of arithmetic, irreducible, nonuniform lattices
Let $n \in \mathbb{Z}_{\geq 2}$ be arbitrary. Let $r_1$ and $r_2$ be arbitrary elements of $\mathbb{Z}_{\geq 0}$ that satisfy $r_1 + r_2 > 0.$ Let $G := {\rm SL}_n(\mathbb{R})^{r_1} \times {\rm SL}...
- 63.9k
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 ...
- 41
5
votes
2
answers
409
views
Congruence subgroups in arithmetic lattices of $\mathrm{SO}(n,1)$
I am currently reading the paper Deformation Spaces Associated to Hyperbolic Manifolds by Johnson and Millson, Section 7, and the highlighted bit below has been giving me difficulty:
Specifically, ...
- 11.2k
9
votes
1
answer
212
views
Lower bounds for the top rational cohomology of arithmetic groups
I would like to know what estimates exist for the dimension of $H^d({\rm GL}_2(\mathcal{O}_{K,S}),\mathbb{Q})$ where $\mathcal{O}_{K,S}$ is a ring of $S$-integers in a number field $K$ and $d$ is the ...
- 44.8k
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$ ...
- 105k
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 ...
CommunityBot
- 1
9
votes
1
answer
369
views
Is the image of an $S$-arithmetic subgroup under a surjective $k$-morphism $S$-arithmetic?
Let $k$ be a global field and let $S$ be a non-empty set of places containing all archimedean ones. Suppose $f:G\to H$ is a surjective $k$-morphism of $k$-groups and let $\Gamma\leq G(k)$ be an $S$-...
CommunityBot
- 1
5
votes
4
answers
700
views
Examples of discrete subgroups of $PSL_2(\mathbf{R})$ with finite covolume and which are not co-compact
Is there a natural example of a discrete subgroup $\Gamma\leq PSL_2(\mathbf{R})$ such that
(1) $\Gamma$ has finite covolume
(2) $\mathfrak{h}/\Gamma$ is not compact ($\mathfrak{h}$ being the upper ...
- 15.4k
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)...
- 96.4k
3
votes
3
answers
544
views
Non existence of cyclic infinite linear algebraic groups
Let $G$ be a linear algebraic group defined over some algebraically closed field $\mathbb{K}$ and also over some subfield $k\subset \mathbb{K}$. There is thus a natural group structure on the set of $...
- 11.2k
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 ...
- 1,990
2
votes
1
answer
97
views
Action of GL(2,O_k) on 1d subspaces of (O_k)^2
Let $\mathcal{O}_k$ be the ring of integers in an algebraic number field $k$. Let $M$ be a rank $1$ projective module over $\mathcal{O}_k$ (in other words, $M$ is a projective module such that $k \...
- 44.7k