Questions tagged [arithmetic-groups]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4 votes
1 answer
170 views

For which quadratic number field, the algebraic integers are cusps for some Coxeter group?

Let $H^2=\{(x,y)\mid y>0\}$ be the hyperbolic upper-half plane. Let $K=Q(\sqrt{d})$ be a quadratic number field, and $\mathcal{O}_K$ be the ring of algebraic integers in it. Let $\Gamma=\Delta(p,q,...
3 votes
2 answers
249 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 ...
2 votes
2 answers
263 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
65 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 ...
4 votes
1 answer
145 views

Examples of hyperbolic manifolds of dimension $\geq$ 3 with disjoint totally geodesic hypersurfaces

I am hoping to find examples of compact hyperbolic manifolds with at least 2 disjoint totally geodesic hypersurfaces. Ideally, I would like examples in dimension at least 4, though 3-dimensional ...
1 vote
0 answers
119 views

On the existence of non-arithmetic lattices in algebraic groups over $\mathbb{Q}$

$\newcommand{\Q}{\mathbb{Q}}\newcommand{\R}{\mathbb{R}}\DeclareMathOperator\PU{PU}$Let $G$ be a simple algebraic group over $\Q$ such that $G(\R) \simeq \prod_i G_i$, with each $G_i$ being the Lie ...
4 votes
1 answer
173 views

What are some properties of the leading eigenvalue of a product of inversions in mutually tangent spheres?

Let $S_1, \ldots, S_n$ be a collection of $n \geq 4$ pairwise tangent hyperspheres in $\mathbb{R}^{n-2}$ with disjoint interiors, and $\iota_i$ be the inversion in $S_i$. Viewing the conformal group ...
3 votes
1 answer
138 views

Cohomology of cocompact lattices in hyperbolic spaces

I have a (maybe too naive) hope that cocompact torsion-free arithmetic lattices in hyperbolic spaces $X \neq \mathbb{H}_\mathbb{R}^2$ are uniquely determined by their cohomology with coefficients in $\...
3 votes
1 answer
239 views

Cohomology ring $H^*(\operatorname{SL}(3,\mathbb{Z}),\mathbb{Z}_2)_{(2)}$

$\DeclareMathOperator\SL{SL}$In Soulé's paper "The cohomology of $\SL_3(\mathbb{Z})$" the cohomology ring $H^*(\SL(3,\mathbb{Z}),\mathbb{Z})_{(2)}$ is determined in Theorem 4.iv. I'm wanting ...
4 votes
1 answer
190 views

Schur multiplier of a Chevalley group of type $D_5$

$\DeclareMathOperator\EO{EO}\DeclareMathOperator\SO{SO}\DeclareMathOperator\St{St}\DeclareMathOperator\Sp{Sp}$This is sort of a follow up question to my post here regarding the commutator subgroup of $...
6 votes
1 answer
488 views

Computing a Commutator Subgroup

$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}\DeclareMathOperator\O{O}$I’m studying the group $\O(5,5,\mathbb{Z})$, the indefinite orthogonal matrices with integer entries. In particular, I ...
4 votes
1 answer
119 views

Inheritance of arithmeticity properties in orbifold strata

Suppose $M = K\backslash G/\Gamma$ is a quotient of a symmetric space by a lattice. I don't know all of the proper adjectives to apply here (e.g. what should be said about $G$ and so on), but I wouldn'...
6 votes
1 answer
328 views

Lattices in $p$-adic groups

What are the examples of lattices in $\operatorname{SL}_n(\mathbb{Q}_p)$ with $n\geq 3$ or in other semisimple $p$-adic groups of higher rank? It is known $\operatorname{SO}_n(\mathbb{Z}[1/p])$ is a ...
6 votes
1 answer
248 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
430 views

Abelianization of Hilbert modular group

Let $d>0$ be a square free positive integer and let $\mathcal{O}_d$ be the ring of integers in $\mathbb{Q}[\sqrt{d}]$. What is the abelianization of the Hilbert modular group $\text{SL}_2(\mathcal{...
1 vote
0 answers
95 views

$K$-ranks of some algebraic groups in Lubotzky's "Discrete groups, expanding graphs and invariant measures"

$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}$Let $G$ be a semisimple algebraic group and $K$ any field. Then the $K$-rank of $G$ is the maximal rank $r$ of a $K$-splitting torus $T \cong (K^...
1 vote
0 answers
147 views

Definition of arithmetic subgroups of Lie groups

In Maclachlan-Reid we can read Let $G$ be a connected semisimple Lie group with trivial centre and no compact factor. Let $\Gamma\subset G$ be a discrete subgroup of finite covolume. Then $\Gamma$ is ...
1 vote
0 answers
217 views

Why are compact arithmetic surfaces defined through quaternion algebras (usually) only over $\mathbb{Q}$?

As in Chapter 6.2 of "Introduction to arithmetic groups" (by D.W. Morris), compact arithmetic surfaces could be defined through quaternion algebras $\mathbb{H}^{a,b}_F=\big(\frac{a,b}{F}\big)...
6 votes
1 answer
161 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{...
8 votes
1 answer
317 views

Are the determinants of a lattice discrete?

Let $\Lambda\subset \mathbb{R}^4$ be a lattice. We identify $\mathbb{R}^4$ with the space $M_2(\mathbb{R})$ of $2\times 2$ matrices over $\mathbb R$. It then is is clear that the set $$ \det(\Lambda)=\...
3 votes
1 answer
207 views

Abelianizations of arithmetic Fuchsian groups

Let $a,b$ be positive integers with $x^2-ay^2-bz^2+abv^2=0$ having only the zero solution over $\mathbb Z$ and consider the Fuchsian group \begin{equation*} \Gamma=\left\{\begin{bmatrix} k+\sqrt{a}l &...
3 votes
0 answers
147 views

Variants of Selberg trace formula

I am familiar with a basic case of Selberg's trace formula, in the case of quotients of upper half plane (for example, see Sections 5.1 - 5.3 of Bergeron's book). Section 5.1 describes a general setup ...
5 votes
3 answers
415 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,\...
5 votes
1 answer
369 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 \...
2 votes
0 answers
197 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} \...
3 votes
1 answer
186 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 vote
2 answers
307 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 ...
6 votes
0 answers
198 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($...
8 votes
1 answer
240 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 ...
4 votes
0 answers
218 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)$ ...
1 vote
1 answer
334 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 ...
4 votes
1 answer
389 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
1 answer
330 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 ...
8 votes
0 answers
198 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,\...
6 votes
0 answers
313 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^\...
12 votes
1 answer
412 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{...
4 votes
1 answer
395 views

Genus of arithmetic surface groups

It is known that for each genus, only finitely many points in the moduli space of hyperbolic genus g surfaces are arithmetic. I'm wondering if an existence result is known: for which g do we have ...
9 votes
1 answer
369 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. $$\...
10 votes
1 answer
782 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(\...
7 votes
1 answer
446 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
264 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 ...
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 ...
8 votes
1 answer
307 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 ...
4 votes
2 answers
178 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}...
9 votes
1 answer
328 views

Non-vanishing of the Borel classes in the cohomology of $\operatorname{SL}_n(\mathbb Z)$

$\DeclareMathOperator\SL{SL}$The stable real cohomology of $\SL_n(\mathbb Z)$ was computed by Borel: it is given by $\mathbb R[z_i\mid i=5,9,13,\dotsc]$ with $z_i$ in degree $i$. One may wonder ...
9 votes
0 answers
250 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 ...
3 votes
0 answers
96 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
216 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
275 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
109 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 ...