Questions tagged [arithmetic-groups]
The arithmetic-groups tag has no usage guidance.
148 questions
4
votes
2
answers
207
views
Normalizers of the principal congruence subgroups in $\mathrm{GL}(n,\mathbf Q)$
A question quite similar to this question. Let $n \geqslant 3$ and $m \geqslant 2$ be natural numbers and suppose that a matrix $A \in \mathrm{GL}(n,\mathbf Q)$ normalizes the principal congruence ...
- 43
2
votes
0
answers
80
views
Question about lattice with dense projection
Let $H\subset \operatorname{GL}(n,\mathbb{C})$ be a connected, semisimple algebraic group defined over $\mathbb{Q}$. Fix a number field $K$ with $[K:\mathbb{Q}]=3$ that is not totally real. Denote its ...
- 305
9
votes
1
answer
402
views
Cohomological gap in arithmetic groups
$\DeclareMathOperator\SL{SL}$For the sake of this question, let's say that a group $G$ of finite cohomological dimension $n$ has a cohomological gap if for some $0 < i < n$ there is no subgroup $...
- 423
1
vote
1
answer
78
views
Shape of convex invariant sets in symmetric spaces
Let $G$ be a semisimple Lie group of rank one and let $\Gamma$ be a convex-cocompact, Zariski dense subgroup.
Let $X=G/K$ denote the symmetric space and $\partial X$ its visibility boundary.
Let $\...
- 492
14
votes
1
answer
502
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 ...
- 911
10
votes
0
answers
226
views
Third homology of simply connected Chevalley–Demazure group schemes
I’ve been studying the group of $\mathbb{Z}$-points of the simply connected Chevalley–Demazure group scheme of type $E_7$, denoted $G_{\text{sc}}(E_7,\mathbb{Z})$; see Vavilov and Plotkin - Chevalley ...
- 545
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 ...
- 128
5
votes
1
answer
133
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}\...
- 155
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.
...
- 391
4
votes
1
answer
191
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,...
- 565
4
votes
1
answer
198
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 ...
- 6,025
6
votes
1
answer
550
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 ...
- 545
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
1
vote
0
answers
151
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 ...
- 10.5k
4
votes
1
answer
183
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 ...
- 143
5
votes
1
answer
203
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 $...
- 545
3
votes
1
answer
260
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 ...
- 545
36
votes
3
answers
2k
views
Nonabelian reciprocity law
I heard the following relation in a talk by Peter Scholze. Could someone explain "in a simple way" what is the precise relation between the polynomial $x^4-7x^2-3x+1 $ and the integral ...
- 461
3
votes
1
answer
159
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 $\...
- 131
6
votes
1
answer
400
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 ...
- 391
4
votes
1
answer
131
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'...
- 1,277
28
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
321
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)=\...
user473423
9
votes
1
answer
388
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.
$$\...
- 885
10
votes
1
answer
886
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(\...
- 563
8
votes
1
answer
247
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 ...
- 767
12
votes
1
answer
440
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{...
- 2,050
1
vote
0
answers
227
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)...
- 128
3
votes
1
answer
220
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 &...
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 ...
- 1,277
1
vote
0
answers
98
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^...
- 5,966
1
vote
0
answers
154
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 ...
- 563
5
votes
3
answers
448
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,\...
- 145
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
4
votes
1
answer
364
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 ...
- 767
3
votes
0
answers
169
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 ...
- 31
8
votes
1
answer
339
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 ...
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/...
- 767
5
votes
1
answer
391
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 \...
- 8,167
1
vote
1
answer
373
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 ...
user341790
6
votes
0
answers
202
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($...
- 141
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} \...
- 1,019
4
votes
1
answer
390
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 $...
- 3,472
4
votes
0
answers
238
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)$ ...
- 6,881
6
votes
0
answers
365
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^\...
- 47.3k
2
votes
1
answer
288
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 ...
8
votes
0
answers
201
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
1
answer
252
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 ...
- 8,167
6
votes
1
answer
392
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 $\...
- 419
4
votes
2
answers
190
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}...
- 3,472