Questions tagged [arithmetic-groups]
The arithmetic-groups tag has no usage guidance.
43 questions with no upvoted or accepted answers
12
votes
0
answers
287
views
Who first showed that $SL(n,O_K)$ is a lattice for a number ring $O_K$?
Let $O_K$ be the ring of integers in an algebraic number field $K$. Assume that $K$ has $r$ real embeddings and $s$ pairs of complex conjugate complex embeddings. There is then an injective ...
- 181
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
10
votes
0
answers
465
views
A uniform bound for a "true" non-congruence subgroup
Before stating my question, let me recall the Congruence Subgroup Property/Problem: Given simply connected absolutely and almost simple algebraic group $G$ with fixed realization as a matrix group one ...
- 638
9
votes
0
answers
259
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 ...
- 767
9
votes
0
answers
268
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,...
- 423
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,\...
7
votes
0
answers
472
views
subgroups of higher rank lattices
This is related to the question $G=\langle a\rangle H$ for subgroup $H$ raised a few days ago. Suppose $\Gamma $ is a higher rank lattice (for example, $SL_3({\mathbb Z})$). As Misha says in his ...
- 11.2k
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
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
6
votes
0
answers
164
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 $\...
- 8,167
6
votes
0
answers
387
views
Geodesic symmetry of a locally symmetric space
Let $M = \Gamma \backslash G/K$ be a Riemannian locally symmetric space, where $G$ is a connected semisimple Lie group of rank at least $2$, $K$ its maximal compact subgroup and $\Gamma < G$ an ...
- 1,782
5
votes
0
answers
150
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,050
5
votes
0
answers
75
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{...
- 51
5
votes
0
answers
267
views
Generating congruence subgroups of SL_n over totally imaginary number rings
Fix some $n \geq 3$. Let $k$ be an algebraic number field with ring of integers $\mathcal{O}$ and let $\alpha$ be an ideal of $\mathcal{O}$. Define $\text{SL}_n(\mathcal{O},\alpha)$ to be the ...
- 51
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
4
votes
0
answers
149
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 ...
- 41
4
votes
0
answers
249
views
links and interactions between different approaches to (super-)rigidity
By super-rigidity I mean some theorems concerning the arithmetic subgroups in semi-simple Lie groups. According to Margulis "Discrete subgroups of semi-simple Lie groups" (the book published by ...
- 1,305
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
3
votes
0
answers
103
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 ...
- 133
3
votes
0
answers
110
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 ...
user130903
3
votes
0
answers
602
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 ...
- 419
3
votes
0
answers
175
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 $\...
user72293
3
votes
0
answers
162
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(\...
- 391
3
votes
0
answers
342
views
Discussion of specific arithmetic triangle groups?
Arithmetic triangle groups were classified in Takeuchi, Arithmetic triangle groups, J. Math. Soc. Japan Volume 29, Number 1 (1977), 91-106. The (2,3,7) case was discussed in detail in a number of ...
- 16.6k
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
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
2
votes
0
answers
63
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{...
- 347
2
votes
0
answers
111
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 ...
- 332
2
votes
0
answers
467
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(...
- 106
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
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
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
1
vote
0
answers
257
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 ...
- 885
1
vote
0
answers
95
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$ ...
- 1,101
1
vote
0
answers
179
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
...
- 1,090
1
vote
0
answers
69
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 ...
- 345
1
vote
0
answers
162
views
Cohomology of discrete group with compact support
This is closely related to a previous question on the topic, but hopefully adds some motivation.
Let $G_{/\mathbf Q}$ be a semisimple group, $K\subset G(\mathbf R)$ a maximal compact subgroup, and $...
- 5,759
1
vote
0
answers
140
views
symmetric theta structures and arithmetic subgroups
A symmetric theta structure is a theta structure that commutes with (a lift of) the natural involution $\imath: A \to A$ an an abelian variety. For simplicity I will assume that $A$ is a surface.
Now,...
- 3,779
1
vote
0
answers
190
views
Compactifications of group schemes
Let $G$ be a group scheme over a scheme $S$ which is the spectrum of a discrete valuation ring. Let $\eta$ (resp. $s$) be the generic (resp. closed) point. Assume that the generic fiber $G_{\eta}$ is ...
- 41
0
votes
0
answers
121
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}...
- 255
0
votes
0
answers
267
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 ...
- 101