# Tagged Questions

The tag has no usage guidance.

699 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? ...
205 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$-...
262 views

### Examples of discrete subgroups of $PSL_2(\mathbf{R})$ with finite covolume and which are not co-compact

Is there a natural example of a discrete subgroup $\Gamma\leq PSL_2(\mathbf{R})$ such that (1) $\Gamma$ has finite covolume (2) $\mathfrak{h}/\Gamma$ is not compact ($\mathfrak{h}$ being the upper ...
225 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 ...
103 views

### The action of an S-arithmetic group on the hyperbolic plane

I have a really quick question. I am interested in $G=SL_2(\mathbb{Z}[1/p_1,...,1/p_n])$, where $p_1$,..., $p_n$ are prime numbers. Since $G$ is a subgroup of $SL_2(\mathbb{R})$, it acts in the ...
266 views

### If $G$ is absolutely simple simply connected, why is G(F_v) quasisimple for almost every valuation v?

Let $G$ be an absolutely simple simply connected and connected algebraic group defined over a global field $k$ with ring of integers $\mathcal{O}$. Fix an embedding of $G$ into $GL_n$. Given $v$ a non-...
283 views

### Is the automorphism group of a Calabi-Yau variety an arithmetic group

Let $X$ be a smooth projective variety over the complex numbers with trivial canonical bundle. Suppose that $X$ is Calabi-Yau. Is the automorphism group of $X$ an arithmetic group? What if $X$ is a ...
219 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 ...
154 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 ...
257 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 ...
172 views

### Is there a bound on the rank of finite index subgroup of SL_3(Z)?

Is there an $N \in \mathbb{N}$ such that every finite index subgroup of $\mathrm{SL}_3(\mathbb{Z})$ has a generating set of size $N$?
259 views

### Volume of arithmetic quotients of symmetric spaces

Now let $\textbf{G}$ be some connected semisimple linear algebraic group over a number field $F$. Let $G_{\infty}$ be $\textbf{G}(\mathbb{R}\otimes_{\mathbb{Q}} F)$. Let $K_{\infty}$ be a maximal ...
272 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$. ...
84 views

181 views

232 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 ...
432 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 ...
611 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{...
1k 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 ...
86 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,...
396 views

### Fixed points of the Borel-Serre compactification

Let $\Gamma$ be an arithmetic group and $X$ its symmetric space. Borel-Serre constructed a space $\bar{X} \supset X$ such that $\bar{X}/\Gamma$ is a compactification of $X/\Gamma$ [Corners and ...
289 views

323 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 ...
369 views

218 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 ...
217 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 ...
61 views

278 views

### Siegel set in SO(n,1) modulo integer points?

I wonder what is known about a fundamental region for SO($n,1$) modulo its integer points? is there only one cusp? and if one writes a Siegel set in the form of $K A_\tau N_c$, where $N_c$ is compact ...
263 views

### S-arithmetic subgroup question

I've been reading a proof concerning S-arithmetic subgroups of algebraic groups and I'm having trouble determining why the following step should be true. First, the setup: Let $G$ be a connected ...
308 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/...
336 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 ...
441 views

### Zariski density of conjugates of subgroups by arithmetic subgroups?

Let $G$ be a linear algebraic $\mathbb{Q}$-group, which is assumed to be connected, $\mathbb{Q}$-simple, and of adjoint type, such that the Lie group $G(\mathbb{R})$ has no compact factor defined over ...
868 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 ...
248 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 ...
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$ ...
825 views

### arithmetic groups VS. Zariski dense discrete subgroups?

Assume that $G$ is a semi-simple linear algebraic group defined over $\mathbb{Q}$, which is $\mathbb{Q}$-simple, and that $G(\mathbb(R)$ is non-compact, without $\mathbb{R}$-factors of rank 1. Then by ...
212 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 ...
Let $U (\mathbf{R})$ be the standard unipotent subgroup of $SL(3, \mathbf{R})$. So $U(\mathbf{R})$ is the group of 3 by 3 upper triangular matrices with 1s on the diagonal. I am interested in the ...