Questions tagged [arithmetic-groups]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
0 answers
152 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} \...
user avatar
  • 643
2 votes
1 answer
109 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 ...
user avatar
1 vote
2 answers
271 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 ...
user avatar
6 votes
0 answers
171 views

Index of subgroups of $\mathrm{Sp}(4,\mathbb{Z})$ conjugate in $\mathrm{GL}(4,\mathbb{Q})$

$\DeclareMathOperator\Sp{Sp}\DeclareMathOperator\SL{SL}\DeclareMathOperator\GL{GL}$Assume that we have two subgroups $G_1,G_2$ of $\Sp(4,\mathbb{Z})$ that are conjugate in $\GL(4,\mathbb{Q})$ $\big($...
user avatar
  • 121
1 vote
0 answers
37 views

Congruence closure of principal congruence subgroup of the symplectic group over the integers

This question is a continuation of the question that I asked here: The principal congruence subgroup of the symplectic group over the integers Denote by $\Delta$ the group generated by $T=\{A\in \text{...
user avatar
4 votes
0 answers
158 views

What is known about the cohomology of the U-duality group?

$\newcommand{\Es}{E_{7(7)}}\newcommand{\Z}{\mathbb Z}$Let $\Es$ denote the split form of $E_7$, which is a real Lie group. It can be characterized as the subgroup of $\mathrm{Sp}_{56}(\mathbb R)$ ...
user avatar
  • 6,486
1 vote
1 answer
181 views

The principal congruence subgroup of the symplectic group over the integers

Consider the symplectic group $\text{Sp}_{2g}(\mathbb{Z})$ over the integers. It has a classical root system $C_g$ and associated root subgroups $U_\varphi$ for $\varphi\in C_g$. These subgroups are ...
user avatar
8 votes
1 answer
217 views

Covolumes of unit groups of division algebras

Let $D$ be a central division (or maybe just simple) algebra over $\mathbb{Q}$. Let $\mathcal{O} \subset \mathcal{O}_m$ be an order inside a fixed maximal order and denote by $\mathcal{O}^1$ its group ...
user avatar
  • 697
4 votes
1 answer
252 views

Adelization for any classical arithmetic subgroup

In the classical setting, we can define automorphic forms on $\text{SL}_n(\mathbb{R})$ with respect to any lattice $\Gamma$. In fact, for $n \geq 3$, all lattices are arithmetic subgroups. I have ...
user avatar
  • 697
8 votes
0 answers
180 views

Monodromy groups that are profinitely dense in Sp(2g,Z)

$\DeclareMathOperator\Sp{Sp}$Assume $g\geq 2$. It is known that there exist finitely generated subgroups of $\Sp(2g,\mathbb{Z})$ of infinite index that surject onto all finite quotients of $\Sp(2g,\...
user avatar
6 votes
0 answers
221 views

Cohomology of $\operatorname{SL}_n(\mathbb Z)$ with coefficients

Let $K$ be a number field, which can be $\mathbb Q(\zeta)$ with $\zeta$ a root of unity if that helps, and let $\operatorname{SL}_n(\mathbb{Z})$ act on $(K^\times)^n:=K^\times\times\cdots\times K^\...
user avatar
11 votes
1 answer
314 views

Arithmetic groups and integral points of integral structures

If $\mathbf{G}$ is an algebraic group defined over $\mathbb{Q}$, a subgroup of $\mathbf{G}(\mathbb{Q})$ is arithmetic if it is commensurable to $\mathbf{G}(\mathbb{Q}) \cap \operatorname{GL}_n(\mathbb{...
user avatar
9 votes
1 answer
333 views

Volumes of $\mathrm{SL}_n(K_\mathbb{R})/\mathrm{SL}_n(\mathcal{O}_K)$

$\DeclareMathOperator\SL{SL}$The volume of $\SL_n(\mathbb{R})/\SL_n(\mathbb{Z})$ can be computed under the natural measure that it inherits from $GL_n(\mathbb{R})$. Two formulae seem to be known. $$\...
user avatar
9 votes
1 answer
456 views

Definition of an arithmetic subgroup of an algebraic group

I'm struggling with the definition of an arithmetic subgroup of an algebraic group defined over $\mathbb{Q}$. In Wikipedia you can read: If $\mathrm G$ is an algebraic subgroup of $\mathrm{GL}_n(\...
user avatar
  • 443
6 votes
1 answer
334 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/...
user avatar
  • 697
2 votes
1 answer
216 views

Stabilizer in $G(\mathbb{Z})$ of point in fundamental domain $G(\mathbb{Z}) \backslash G(\mathbb{R}) / K$

Let $G$ be a semisimple group (the cases of primary interest to me are where $G$ is a special linear group or a special orthogonal group), let $K$ be a maximal compact subgroup of $G(\mathbb{R})$, and ...
user avatar
5 votes
1 answer
330 views

Normalizers in arithmetic groups

This is a question about the class of arithmetic groups. I am using the definition in Serre's survey: $\Gamma$ is arithmetic if it can be embedded into $G_\mathbb{Q}$ for some algebraic subgroup $G \...
user avatar
  • 7,432
27 votes
1 answer
2k views

Integer matrices which are not a power

$\DeclareMathOperator\SL{SL}\DeclareMathOperator\Sp{Sp}$In a group $G$, an element $g$ is said to be primitive if there is no $h \in G$ and integer $n >1$ such that $g = h^n$. (For clarification, I ...
user avatar
3 votes
0 answers
91 views

Automorphy factor and the determinant of the Jacobian matrix

There are two cocycles defining the automorphy factors. Let $D$ be the bounded symmetric domain (due to Harish-Chandra). Then there is a canonical automorphy factor $J:G\times D\to K_{\mathbb{C}}$ ...
user avatar
  • 167
4 votes
1 answer
360 views

When does a subgroup of $\operatorname{GL}(n, \mathbb Q)$ have a bounded fundamental domain on $\mathbb R^n$?

$\DeclareMathOperator\GL{GL}$Let $G \subset M_{n\times n~}(\mathbb Z)$ be a finitely generated subgroup of $\GL(n,\mathbb Q)$ (i.e. $g\in G$ is an invertible matrix with entries in $\mathbb Z$). Then $...
user avatar
  • 3,148
4 votes
2 answers
148 views

Existence of a fundamental domain for the convex hull of group action on a rational polytope

Let $P \subset \mathbb R^n$ be a compact rational polytope (the affine space spanned by $P$ may not be $\mathbb R^n$). Let $G \subset {\bf GL}(n,\mathbb Z)$ be an arithmetic group. Let $$C = {\rm Conv}...
user avatar
  • 3,148
5 votes
3 answers
373 views

Variation of centraliser in $\operatorname{GL}(n,\mathbb{Z})$

$\DeclareMathOperator\GL{GL}$Let $n$ be a positive integer $\geq 2$. The setting is that $K \in \GL(n,\mathbb{Z})$, and people are interested in understanding the centralizer: $$ C(K)=\{ B \in \GL(n,\...
user avatar
  • 155
9 votes
0 answers
228 views

Conway big picture for congruence subgroups of $\mathrm{SL}_3(\mathbb{Z})$

I saw in Conway’s paper "Understanding groups like $\Gamma_0(N)$" that the so-called Big Picture can give simple interpretations for important objects in number theory, such as Hecke ...
user avatar
  • 697
8 votes
1 answer
254 views

Subgroups of Sp(2g,Z) that map onto all Sp(2g,Z/m)

I stumbled into the following problem. I apologize for being a bit naive. For $g\geq 3$, consider the group $\mathrm{Sp}(2g,\mathbb{Z})$ of symplectic square matrices of order $2g$ with integral ...
user avatar
3 votes
0 answers
76 views

Colimits in cohomology of profinite arithmetic groups

Let $G\subset \operatorname{GL}_n$ be a linear algebraic group over $\mathbb{Q}$ and let $\Gamma\subset G\cap \operatorname{GL}_n(\mathbb{Z})$ be an arithmeric subgroup without torsion. Using a result ...
user avatar
  • 113
1 vote
0 answers
169 views

Does the standard arithmetic subgroup of a closed $\mathbb{Q}$-algebraic groups have non-trivial $\mathbb{Q}$-characters?

I am trying to understand the Borel-Harish Chandra theorem about arithmetic subgroups being lattices. Suppose $G$ is an algebraic group inside $GL_n(\mathbb{C})$ such that it is definable as a zero ...
user avatar
9 votes
1 answer
223 views

Euler characteristic with compact support of spaces of Euclidean lattices

Has the Euler characteristic with compact support of $\mathrm{SL}_n(\mathbb R)/\mathrm{SL}_n(\mathbb Z)$ been computed ? References? Thanks.
user avatar
3 votes
0 answers
101 views

Is this a lattice?

Let $R$ be a locally compact ring (commutative with unit) and let $D\subset R$ be a discrete cocompact subring (cocompact means the additive group $R/D$ is compact). Let $G$ be a semisimple linear ...
user avatar
1 vote
1 answer
129 views

Upper bounds for difference of entries between matrices and their inverses in $\mathsf{GL}_k(\mathbb Z)$

Let $a(M)$ be the maximum absolute value of entries of matrix $M\in\mathsf{GL}_k(\mathbb Z)$. $M^{-1}\in\mathsf{GL}_k(\mathbb Z)$ holds. What is a good upper bound for $|a(M)-a(M^{-1})|$? I am ...
user avatar
  • 1,698
1 vote
0 answers
80 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$ ...
user avatar
  • 1,010
0 votes
0 answers
80 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}...
user avatar
0 votes
0 answers
162 views

Definition of reducible lattice

I am reading Raghunathan's book on discrete subgroups of Lie groups. In particular I am stuck on Corollary 5.19 which gives several equivalent conditions for a lattice in a semisimple Lie group to be ...
user avatar
5 votes
0 answers
132 views

Lattices of minimal covolume in $\operatorname{SL}_2(\mathbb{R}) \times \operatorname{SL}_2(\mathbb{R})$

What are the (uniform/non-uniform) irreducible lattices of minimal (or even small) covolume in $\operatorname{SL}_2(\mathbb{R}) \times \operatorname{SL}_2(\mathbb{R})$? Context: Such a lattice will ...
user avatar
2 votes
0 answers
54 views

finite subgroups of discrete arithmetic groups

Let K be a totally real multi-quadratic fields and let $\mathcal{O}$ be its ring of integers. I would like to compute the orders of the finite subgroups of the discrete group $\mathrm{SL}_{2}(\mathcal{...
user avatar
1 vote
0 answers
160 views

Matrix factorizations over $GL_2$ of a real quadratic ring of integers

tl;dr: The groups $GL_2(K)$, or $SL_2(K)$, where $K = \mathbb{C,R}$ admits several factorizations (the polar decomposition, the KAN decomposition, the Schur triangular form, etc). Those ...
user avatar
4 votes
1 answer
234 views

Unitary representations of lattices

Let $G$ be a simple linear group over a non-archimedean local field $F$. Assume that the split-rank over $F$ is at least 2. Let $\Gamma$ be a lattice in $G$. Then $\Gamma$ is a finitely generated ...
user avatar
5 votes
1 answer
203 views

Free abelian subgroups of $\mathrm{SL}_n(\mathbb{Z})$

Does anybody know what is the biggest $r$ such that $\mathbb{Z}^r$ is isomorphic to a subgroup of $\mathrm{SL}_n(\mathbb{Z})$? It cannot be bigger that the virtual cohomological dimension of $\...
user avatar
4 votes
1 answer
157 views

Commensurator of a subgroup of matrices

Let $k$ be a totally real number field and let $\mathcal{O}_k$ denote its ring of integers. If $H$ is a subgroup of $\text{GL}(n, \mathbb{R})$ let denote with $H(k)$ and $H(\mathcal{O}_k)$ the ...
user avatar
  • 501
4 votes
1 answer
296 views

Cohomology of linear algebraic groups

Let $R$ be a commutative ring. Let $G\subset \mathrm{GL}_m$ be a linear algebraic subgroup. Has the group cohomology $H^i(G(R),R^m)$ been studied in the literature? For example, do we know (1) $H^...
user avatar
  • 5,613
2 votes
0 answers
91 views

A group generated by all the root subgroups above ideal of $\mathbb Z[\alpha]$ is of finite index in $G(\mathbb Z[\alpha])$

Let $G$ be a simply connected complex Chevalley group and let $T$ be some maximal torus in $G$ with $\dim T\geq 2$. From "A note on generators for arithmetic subgroups of algebraic groups" by ...
user avatar
  • 332
1 vote
1 answer
168 views

If $\Lambda \cap U$ is Zariski-dense in $U$, then $\Lambda$ contains $U(k\mathbb Z)$ for some $k ≥ 1$?

If $G$ is a $\mathbb Q$-defined subgroup of $\operatorname{GL}_n(\mathbb C)$, $\Lambda$ is a subgroup of $G(\mathbb Z)$, and $U$ is a unipotent subgroup of $G(\mathbb C)$ such that $\Lambda \cap U$ is ...
user avatar
  • 332
6 votes
0 answers
129 views

Is a presentation of the hyperbolic orthogonal group of rank 2 over the integers known?

The hyperbolic orthogonal group $O_{g,g}(\mathbb{Z})$ often appears in the study of high-dimensional manifolds, see e.g. work of Kreck or Galatius and Randal-Williams. Let $H$ denote the lattice $\...
user avatar
  • 7,432
6 votes
0 answers
194 views

A result of Borel on extensions of arithmetic groups

A famous result of Sullivan (closely related to work of Wilkerson) says that the group of isotopy classes of diffeomorphisms of a simply-connected closed smooth manifold of dimension $\geq 5$ is ...
user avatar
  • 7,432
7 votes
1 answer
319 views

Finite index subgroup of $\mathrm{GL}_n(\Bbb C)$ and Chevalley groups

I'm trying to show that if $G$ is a Chevalley group, then every finite index subgroup of $G(\Bbb Z)$ is Zariski dense in $G(\Bbb C)$. ($G(\Bbb Z)$ is the Chevalley group over $\Bbb Z$ and similarly ...
user avatar
  • 332
3 votes
0 answers
544 views

Pointwise stabilizer of an apartment of the Bruhat-Tits building of $\mathrm{SL}_n(\mathbb{Q}_p)$

Denote by $X$ the Bruhat-Tits building of $\mathrm{SL}_n(\mathbb{Q}_p)$. Let $\Sigma$ be the fundamental apartment of $X$. Let $\Gamma=\mathrm{SL}_n(\mathbb{Z}[\frac{1}{p}])$. We can prove that the ...
user avatar
4 votes
0 answers
122 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 ...
user avatar
  • 41
9 votes
0 answers
215 views

Cohomology of $\operatorname{SO}(p,q;\mathbb{Z})$ with $p=3,q=19$

I would like to understand the topology of the moduli space of Einstein orbifold metrics on the $K3$-surface. It is known that this space is given by the bi-quotient $SO(3,19;\mathbb{Z})\setminus SO(3,...
user avatar
  • 91
1 vote
0 answers
64 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 ...
user avatar
5 votes
0 answers
65 views

Equivalence of Lie theoretic definitions of an arithmetic lattice

In Margulis' book, there are actually two definitions of arithmetic lattices: If $\mathbf{G}$ is a connected semisimple algebraic $\mathbb{R}$-group, then a lattice $\Gamma \subset \mathbf{G}(\mathbb{...
user avatar
5 votes
0 answers
119 views

Are double cosets of cyclic subgroups separable in a special linear group?

Let $A,B \in \mathrm{SL}_3(\mathbb{Z})$. Set $$S = \langle A \rangle \cdot \langle B \rangle = \{A^mB^n : m,n \in \mathbb{Z}\}.$$ Is $S$ closed in the profinite topology on $\mathrm{SL}_3(\mathbb{...
user avatar
  • 11k