# Questions tagged [arithmetic-groups]

The arithmetic-groups tag has no usage guidance.

111
questions

**8**

votes

**1**answer

375 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(\...

**5**

votes

**1**answer

283 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/...

**2**

votes

**1**answer

193 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 ...

**3**

votes

**1**answer

189 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 \...

**25**

votes

**1**answer

1k 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 ...

**3**

votes

**0**answers

66 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}}$ ...

**4**

votes

**1**answer

273 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 $...

**4**

votes

**2**answers

117 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}...

**5**

votes

**2**answers

292 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,\...

**9**

votes

**0**answers

208 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 ...

**8**

votes

**1**answer

192 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 ...

**3**

votes

**0**answers

69 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 ...

**1**

vote

**0**answers

150 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 ...

**9**

votes

**1**answer

187 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.

**3**

votes

**0**answers

97 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 ...

**1**

vote

**1**answer

125 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 ...

**1**

vote

**0**answers

72 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$ ...

**0**

votes

**0**answers

61 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}...

**0**

votes

**0**answers

113 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 ...

**5**

votes

**0**answers

118 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 ...

**2**

votes

**0**answers

48 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{...

**1**

vote

**0**answers

148 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
...

**4**

votes

**1**answer

213 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 ...

**4**

votes

**1**answer

173 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 $\...

**4**

votes

**1**answer

146 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 ...

**4**

votes

**1**answer

253 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^...

**1**

vote

**0**answers

78 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 ...

**1**

vote

**1**answer

149 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 ...

**6**

votes

**0**answers

122 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 $\...

**5**

votes

**0**answers

118 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 ...

**7**

votes

**1**answer

291 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 ...

**3**

votes

**0**answers

526 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 ...

**4**

votes

**0**answers

98 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 ...

**9**

votes

**0**answers

209 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,...

**1**

vote

**0**answers

62 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 ...

**5**

votes

**0**answers

59 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{...

**5**

votes

**0**answers

115 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{...

**2**

votes

**1**answer

167 views

### When does the double coset representative for a congruence subgroup contain a $\text{SL}_2(\mathbb{Z})$-conjugacy class?

In the paper p-adic L-functions and p-adic periods of modular forms, Greenberg/Stevens assert that if $\sigma_l:=\begin{pmatrix}l&0\\0&1\end{pmatrix}$ is the usual Hecke operator at $l$ double ...

**4**

votes

**1**answer

314 views

### fundamental domains in H^2 containing large balls

I would like to construct a genus $g$ surface regularly tiled by triangles (for example by 238 triangles). Edmunds-Ewing-Kulkarni prove that the only obstruction to doing this is Euler characteristic ...

**4**

votes

**1**answer

138 views

### On the orthogonal group of a lattice on a quadratic space over dyadic local field

Let $F$ be a local field with valuation ring $R$. $V$ is a n dimensional non-singular quadratic space over $F$ with bilinear form $B$ and quadratic map $Q$.
As usual, $O(V)$ denotes the orthogonal ...

**5**

votes

**2**answers

292 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, ...

**9**

votes

**1**answer

318 views

### Are finite presentations of arithmetic groups computable?

In this famous paper by Borel and Harish-Chandra, Arithmetic Subgroups of Algebraic Groups, it is proved that, in characterisitic zero, arithmetic groups are finitely presented. I have an extremely ...

**10**

votes

**1**answer

369 views

### What does the $p$-adic closure of an arithmetic lattice look like?

Let $\Gamma$ be an arithmetic lattice in a linear algebraic $\mathbb{Q}$-group $\mathbf{G}$, that is, $\Gamma$ is a subgroup of $\mathbf{G}(\mathbb{Q})$ that is commensurable with $\mathbf{G}(\mathbb{...

**1**

vote

**0**answers

235 views

### How does $SL_2(\mathbb Z[\sqrt 2])$ embed into $SL(2,\mathbb R)\times SL(2,\mathbb R)$, and what are the centralizers in $Mat(4\times 4,\mathbb Z)$?

I am trying to learn arithmetic groups, from a dynamical point of view. These questions (maybe silly) come to my mind, but I do not know the answer.
How does $SL_2(\mathbb Z[\sqrt 2])$ embed into $SL(...

**3**

votes

**0**answers

138 views

### $\text{PGL}_n(\mathbf{Q}_p)$ and the Congruence Subgroup Property

Suppose $\Gamma$ is a torsion-free lattice of $\text{PGL}_n(\mathbf{Q}_p)$ for $n\geq 3$. Then I know that by the Margulis arithmeticity theorem, $\Gamma$ must be arithmetic. My question is does $\...

**9**

votes

**1**answer

172 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 ...

**1**

vote

**2**answers

702 views

### Examples of groups for which Margulis superrigidity theorem applies

I am not an expert at all in the subject of Lie groups, lattices, arithmetic groups and rigidity. But, lately I am interested in Margulis superrigidity theorem, which in most versions can be stated as ...

**3**

votes

**0**answers

134 views

### Hecke eigensystem in cohomology vs. compactly supported cohomology

What follows is a question that's probably well-known to experts, but I haven't been able to find a reference.
Let $\mathrm G$ be a connected, semisimple $\mathbb Q$-group. Let $K \subset \mathrm G(\...

**5**

votes

**2**answers

212 views

### integer matrices with non-real spectra

I am interested in infinite order elements $A\in SL(3, {\mathbb Z})$ whose spectra are not contained in ${\mathbb R}$ (i.e. such $A$ has two distinct complex-conjugate eigenvalues which are not roots ...

**4**

votes

**1**answer

224 views

### Automorphisms of products of $GL_n(\mathbb{Z})$ 's

It is a Theorem of Hua y Reiner (1951) that the group or outer automorphisms $Out(GL_n(\mathbb{Z}))$ is either isomorphic to $\mathbb{Z}/2$, if $n$ odd or $n=2$, or to $\mathbb{Z}/2 \times \mathbb{Z}/...