8
$\begingroup$

How can one construct families of cocompact discrete subgroups of the topological group $\text{SL}_2(\mathbb{C})$?

Here quaternion algebra's might help, I believe, but I have some difficulties with the construction.

$\endgroup$

2 Answers 2

10
$\begingroup$

Let $k$ be a number field with one complex place and let $B$ be a quaternion algebra defined over $k$ which ramifies at every real place of $k$ (and perhaps some finite places as well - Hilbert reciprocity implies that the total number of ramified places must be even). Let $\mathcal{O}$ be an order of $B$ and $\mathcal{O}^1$ its elements of reduced norm $1$. Choosing an embedding $k\hookrightarrow \mathbb{C}$ induces an embedding $B\hookrightarrow M_2(\mathbb{C})$, which in turn restricts to an embedding $\Psi: \mathcal{O}^1\hookrightarrow SL_2(\mathbb{C})$. A group which is commensurable with $\Psi(\mathcal{O}^1)$ is called arithmetic. An arithmetic group is cocompact if and only if the quaternion algebra $B$ is a division algebra (by Wedderburn's Theorem this is equivalent to saying that the set of places of $k$ which ramify in $B$ is nonempty).

$\endgroup$
0
10
$\begingroup$

For the arithmetic point of view you mention, Maclachlan and Reid's book "The arithmetic of hyperbolic 3-manifolds" is a great reference.

In case you're interested, there are also many geometric ways of doing this too (though you might object that some of them don't explicitly give you the subgroup).

You can explicitly build closed hyperbolic 3-manifolds out of polyhedra.

You can take a finite covolume subgroup and produce a cocompact subgroup via hyperbolic dehn surgery.

By a theorem of R. Brooks ("Circle packings and co-compact extensions of Kleinian groups", Invent. math. 86, 461-469 (1986)), you can take any cocompact subgroup of $\mathrm{SL}_2(\mathbb{R})$, and after a small quasiconformal conjugacy, it will lie in a cocompact subgroup of $\mathrm{SL}_2(\mathbb{C})$.

$\endgroup$
1
  • $\begingroup$ Thanks also for the reference! It looks a bit heavy, but I'll take a closer look at it when I have more time. $\endgroup$
    – Wanderer
    Feb 12, 2010 at 10:47

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.