Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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,...
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 ...
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 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)...
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 ...
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 $...
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{...
4 votes
1 answer
512 views

fundamental domains in H^2 containing large balls

I would like to construct a genus $g$ surface regularly tiled by triangles (for example by 238 triangles). Edmunds-Ewing-Kulkarni prove that the only obstruction to doing this is Euler characteristic ...
5 votes
2 answers
409 views

Congruence subgroups in arithmetic lattices of $\mathrm{SO}(n,1)$

I am currently reading the paper Deformation Spaces Associated to Hyperbolic Manifolds by Johnson and Millson, Section 7, and the highlighted bit below has been giving me difficulty: Specifically, ...
1 vote
1 answer
216 views

Subgroup of $SL_2(O)$ with nice fundamental domain in complex upper half-plane

Let $O$ be the ring of $S$-integers in a real quadratic number field. Let $G$ be an $S$-arithmetic subgroup of $SL_2(O)$ whose intersection with $SL_2(\mathbb Z)$ is not of finite index in $SL_2(\...
5 votes
1 answer
165 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 ...
6 votes
2 answers
325 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 ...
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 ...
8 votes
1 answer
280 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 ...
1 vote
1 answer
504 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 ...