Skip to main content

Questions tagged [arithmetic-groups]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
12 votes
1 answer
293 views

Abelianization of $\mathrm{GL}_n(\mathbb{Z})$

$\DeclareMathOperator\GL{GL}\DeclareMathOperator\SL{SL}$What is the abelianization of $\GL_n(\mathbb{Z})$? I know the abelianzation of $\GL_n(\mathbb{F})$ where $\mathbb{F}$ is a field and the ...
Marcos's user avatar
  • 699
5 votes
1 answer
121 views

Normal closure of $e_{12}$ in the congruence subgroup $\Gamma_1(p)\subset \mathrm{SL}_2(\mathbb{Z})$

$\DeclareMathOperator\SL{SL}$For an odd prime $p$, let $$\Gamma_1(p)=\left\{\begin{pmatrix}a & b \\ c & d\end{pmatrix}\in \SL_2(\mathbb{Z}):\begin{pmatrix}a & b \\ c & d\end{pmatrix}\...
Max's user avatar
  • 95
4 votes
1 answer
182 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,...
zemora's user avatar
  • 545
3 votes
2 answers
271 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 ...
Local's user avatar
  • 118
2 votes
2 answers
267 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. ...
Jun Yang's user avatar
  • 381
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 ...
Jun Yang's user avatar
  • 381
4 votes
1 answer
170 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 ...
ಠ_ಠ's user avatar
  • 5,933
1 vote
0 answers
128 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 ...
naf's user avatar
  • 10.5k
4 votes
1 answer
177 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 ...
Sami Douba's user avatar
3 votes
1 answer
246 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 ...
Noah B's user avatar
  • 403
4 votes
1 answer
191 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 $...
Noah B's user avatar
  • 403
6 votes
1 answer
507 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 ...
Noah B's user avatar
  • 403
3 votes
1 answer
143 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 $\...
TSU's user avatar
  • 131
4 votes
1 answer
123 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'...
Ethan Dlugie's user avatar
  • 1,267
6 votes
1 answer
348 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 ...
Jun Yang's user avatar
  • 381
1 vote
0 answers
96 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^...
user267839's user avatar
  • 5,984
1 vote
0 answers
150 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 ...
Jacques's user avatar
  • 563
1 vote
0 answers
218 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)...
Local's user avatar
  • 118
8 votes
1 answer
318 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)=\...
user avatar
3 votes
1 answer
209 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 &...
William of Baskerville's user avatar
3 votes
0 answers
157 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 ...
user482438's user avatar
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} \...
Andrew's user avatar
  • 939
3 votes
1 answer
205 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 ...
Ethan Dlugie's user avatar
  • 1,267
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 ...
Ethan Dlugie's user avatar
  • 1,267
6 votes
0 answers
199 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($...
T.Ch.'s user avatar
  • 131
4 votes
0 answers
224 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)$ ...
Arun Debray's user avatar
  • 6,776
1 vote
1 answer
341 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
243 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 ...
Radu T's user avatar
  • 767
4 votes
1 answer
341 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 ...
Radu T's user avatar
  • 767
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,\...
Gabriele Mondello's user avatar
6 votes
0 answers
323 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^\...
Mariano Suárez-Álvarez's user avatar
12 votes
1 answer
419 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{...
Stefan Witzel's user avatar
9 votes
1 answer
373 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. $$\...
Breakfastisready's user avatar
10 votes
1 answer
804 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(\...
Jacques's user avatar
  • 563
7 votes
1 answer
476 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/...
Radu T's user avatar
  • 767
2 votes
1 answer
271 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 ...
Ashvin Swaminathan's user avatar
5 votes
1 answer
372 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 \...
skupers's user avatar
  • 7,943
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 ...
Philippe Tranchida's user avatar
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 $...
Li Yutong's user avatar
  • 3,372
4 votes
2 answers
179 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}...
Li Yutong's user avatar
  • 3,372
5 votes
3 answers
418 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,\...
en kuo's user avatar
  • 145
9 votes
0 answers
252 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 ...
Radu T's user avatar
  • 767
8 votes
1 answer
311 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 ...
Gabriele Mondello's user avatar
3 votes
0 answers
99 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 ...
Jrodri26's user avatar
  • 123
1 vote
0 answers
226 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 ...
Breakfastisready's user avatar
9 votes
1 answer
280 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.
sadok kallel's user avatar
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 ...
user avatar
1 vote
1 answer
146 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 ...
VS.'s user avatar
  • 1,826
1 vote
0 answers
92 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$ ...
shurtados's user avatar
  • 1,019
0 votes
0 answers
115 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}...
Mishel Skenderi's user avatar