Questions tagged [arithmetic-groups]
The arithmetic-groups tag has no usage guidance.
137
questions
33
votes
2
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 homology of the ...
- 431
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 ...
21
votes
1
answer
320
views
How many ways can I factor a matrix (over $\mathbb{Z}$)?
Let $A$ be a fixed matrix in $M_2\mathbb{Z}$ with determinant $n \neq 0$.
Question 1 How many ways can I write $A = XY$ for $X, Y \in M_2\mathbb{Z}$?
The answer to this question is pretty clearly ...
- 6,242
19
votes
2
answers
4k
views
Minimal number of generators for $GL(n,\mathbb{Z})$
$\DeclareMathOperator{\gl}{GL}\DeclareMathOperator{\sl}{SL}$From de la Harpe's book "Topics in Geometric Group Theory" I learnt that $\gl(n,\mathbb{Z})$ is generated by the matrices $$s_1 = \begin{...
- 1,302
19
votes
1
answer
1k
views
Is there a connected $k$-group scheme $G$ such that $G_{red}$ is not a subgroup?
I've been trying a learn a little more about group schemes by working through a set of exercises on Brian Conrad's website. Exercise 8.3 of http://math.stanford.edu/~conrad/papers/gpschemehw1.pdf ...
- 3,605
17
votes
3
answers
4k
views
Generating the symplectic group
The too naive and vague version of my question is the following: given a collection of integer symplectic matrices all of the same size (say 2n by 2n), how can I tell if they generate the full ...
user5117
14
votes
2
answers
2k
views
Subgroups of $SL_3(\mathbb{Z})$ that are finitely generated, Zariski-dense, infinite index, and torsion-free
My question stems from Misha's answer of a MathOverflow question. Misha supplied the following question in his answer:
Open question: Does there exist a finitely generated Zariski-dense torsion-...
- 2,374
13
votes
1
answer
369
views
H_3 of SL(n,Z) and SL(n,F_p)
Can anyone tell me what $H_3(SL_n(\mathbb{Z});\mathbb{Z})$ and $H_3(SL_n(\mathbb{F}_p);\mathbb{Z})$ are? It is easy to find references for $H_1$ and $H_2$, but it turns out that I need $H_3$ as well. ...
- 131
13
votes
1
answer
823
views
Holomorphic cusp forms and cohomology of GL(2,Z)
Let $V_{k}$ denote the complex representation of $\mathrm{GL}(2)$ given by $\mathrm{Sym}^k(V)$, where $V$ is the defining 2-dimensional representation. Assume that $k$ is even. I would like to compute ...
- 38.9k
12
votes
3
answers
1k
views
Generators for SL_2(R) for rings of integers R
Let $\mathcal{O}$ be the ring of integers in an algebraic number field. Is $\text{SL}_2(\mathcal{O})$ generated by elementary matrices? If it isn't, is there any other natural generating set for it?
...
- 270
12
votes
1
answer
391
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,030
12
votes
0
answers
283
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
11
votes
2
answers
2k
views
Why are $S$-arithmetic groups interesting?
Let $K$ be a number field and $S$ a finite set of valuations of $K$, including $\infty$.
Define the $S$-numbers $K_S$ to be the direct product $\prod_{s \in S} K_s$ where $K_s$ denotes the completion ...
- 349
11
votes
1
answer
373
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 ...
- 963
11
votes
1
answer
536
views
What can the theory of automorphic forms for $SL(n,\mathbb{Z})$ say about $SL(n,\mathbb{Z})$?
While reading "Automorphic Forms and L-functions for the Group $GL(n,R)$" by D. Goldfeld, I've got a feeling that linear groups over $\mathbb{R}$ and $\mathbb{Z}$ are considered only as technical ...
- 3,081
10
votes
1
answer
733
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
10
votes
1
answer
440
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{...
- 517
10
votes
1
answer
408
views
Is there a notion of hyperbolicity for number rings?
For algebraic curves over a nice enough field $k$, we have a notion of what it means to be hyperbolic: If $\overline{C}$ is a smooth projective curve of genus $g$ and $P_1,\dots,P_n$ are closed points,...
- 17.1k
10
votes
3
answers
1k
views
Generators for a certain congruence subgroup of SL(n,Z)
I'm looking for a reference (or quick proof) of the following fact. Fix some $n \geq 3$ and some $\ell \geq 2$. Set $\Gamma_n(\ell) = \text{ker}(\text{SL}_n(\mathbb{Z}) \rightarrow \text{SL}_n(\...
- 368
10
votes
0
answers
462
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
1
answer
364
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.
$$\...
- 783
9
votes
3
answers
543
views
Is there a generalization of the "characteristic polynomial" to other split/quasi-split algebraic groups?
Let $G = GL_n$ over a field $F$, and let $\gamma \in G(F)$ be a semisimple element. The characteristic polynomial $c_\gamma(t)$ of $\gamma$ encodes a fair bit of information about $\gamma$. ...
- 1,453
9
votes
1
answer
352
views
Is the image of an $S$-arithmetic subgroup under a surjective $k$-morphism $S$-arithmetic?
Let $k$ be a global field and let $S$ be a non-empty set of places containing all archimedean ones. Suppose $f:G\to H$ is a surjective $k$-morphism of $k$-groups and let $\Gamma\leq G(k)$ be an $S$-...
- 141
9
votes
4
answers
1k
views
cohomology of moduli spaces
Does anyone know if there's any reference on the $\ell$-adic cohomology of some simple moduli spaces/Shimura varieties, like Siegel moduli varieties $A_{g,N}$ of genus $g$ and level $N,$ for small $g$ ...
- 4,185
9
votes
1
answer
372
views
Reference for the fact that $SL_n(O_K)$ surjects onto $SL_n(O_K/I)$ for any ideal I
Let $\mathcal{O}_K$ be the ring of integers in an algebraic number field $K$ and let $I \subset \mathcal{O}_K$ be a nonzero proper ideal. It is not hard to see that the map $\text{SL}_n(\mathcal{O}_K)...
- 91
9
votes
1
answer
208
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 ...
- 17.1k
9
votes
1
answer
269
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.
- 91
9
votes
1
answer
326
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 ...
- 7,843
9
votes
0
answers
244
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 ...
- 757
9
votes
0
answers
254
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
1
answer
305
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 ...
8
votes
1
answer
232
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 ...
- 757
8
votes
2
answers
315
views
What is the most efficient way to factor a matrix into a given set of generators?
I am studying finite index subgroups of certain finitely presented groups. The particular conditions on my groups make this problem easier than I phrase it here, but I am curious about a more general ...
- 2,438
8
votes
1
answer
315
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)=\...
- 1,900
8
votes
1
answer
272
views
Is the group of integer points of ${\rm SO}(n,1)$ maximal?
That is, is it true that there does not exist a lattice in $G = {\rm SO}(n,1)$ which contains the group of integer points of $G$ as a proper subgroup (obviously then of finite index)? if such a ...
- 253
8
votes
0
answers
196
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
2
answers
313
views
Residual $p$-finiteness of principal congruence subgroups
Let $\Gamma(N)$ be the principal congruence subgroup of level $N$ in $\mathrm{SL}_n(\mathbf{Z})$, where $n\geq 3$. Then $\Gamma(N)$ is residually $p$-finite for all primes $p$ dividing $N$.
Can $\...
- 115
7
votes
1
answer
1k
views
discrete subgroups in p-adic Lie groups?
It is known, from the works of G.Margulis, etc. that lattices in semi-simple real (algebraic) groups are "often" arithmetic subgroups, as long as the split rank is high enough. Here by a lattice in a ...
- 1,305
7
votes
2
answers
431
views
Pre-images of unipotent elements in $\operatorname{SL}_{n}(A)$
The starting point of this question is the (presumably) well-known theorem (the proof I know is from Abelian $\ell$-adic representations and elliptic curves from J-P.Serre in which it is a lemma for $...
- 10k
7
votes
1
answer
424
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{...
- 71
7
votes
1
answer
402
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 ...
- 332
7
votes
1
answer
377
views
Cohomology of certain arithmetic groups
This is a question on literature about cohomology of arithmetic groups.
Let $M$ denote a quaternion algebra over $\mathbb Q$ and assume it is non-split over $\mathbb R$. Fix a maximal order $\Lambda$ ...
user1688
7
votes
1
answer
612
views
Characterisation of Q-rank 1
I'm looking for a reference and/or the original source for the following fact:
An irreducible non-uniform lattice in a semisimple Lie group without compact factor has Q-rank 1 if and only if it does ...
- 10.2k
7
votes
1
answer
421
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/...
- 757
7
votes
0
answers
458
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.1k
6
votes
1
answer
464
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 ...
- 397
6
votes
1
answer
208
views
Are the integer matrices in SO(3,2) "boundedly generated"?
Let $G$ be the subgroup of integer matrices in $\mathrm{SO}(3,2)$.
(The invertible linear maps from a $5$ dimensional real vector space to itself which leave invariant a nondegenerate symmetric ...
- 11.2k
6
votes
2
answers
324
views
How bad is the modular space?
I'm wondering if there is some results about the quotient space $\mathbb{H}^{3}/PSL(2,\mathcal{O}_{K})$?
Do we know something about its homology or homotopy groups ?
$\mathbb{H}^{3}$ is the hyperbolic ...
- 413
6
votes
1
answer
358
views
2 generated arithmetic groups
Suppose $G({\mathbb Z})$ is a higher rank non-cocompact arithmetic group (e.g. $SL_n({\mathbb Z})$ with $n\geq 3$, or $Sp_{2g}({\mathbb Z})$ with $g\geq 2$). I have seen a result (http://arxiv.org/abs/...
- 11.1k
6
votes
1
answer
160
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{...
- 11.2k