The (4,p)-arithmetic hyperbolic lattices, p\geq 2, in three dimensions

Abstract: We identify the finitely many arithmetic lattices

G a m m a

in the orientation preserving isometry group of hyperbolic

3

-space

m a t h b b H^{3}

generated by an element of order

4

and and element of order

p g e q 2

. Thus

G a m m a

has a presentation of the form

G a m m a c o n g l a n g l e f, g : f^{4} = g^{p} = w (f, g) = c d o t s = 1 a n g l e

We find that necessarily

p i n 2, 3, 4, 5, 6, i n f t y

, where

p = i n f t y

denotes that

g

is a parabolic element, the total degree of the invariant trace field

k G a m m a = m a t h b b Q (r^{2} (h) : h i n G a m m a)

is at most

4

, and each orbifold is either a two bridge link of slope

r / s

surgered with

(4, 0)

,

(p, 0)

Dehn surgery (possibly a two bridge knot if

p = 4

) or a Heckoid group with slope

r / s

and

w (f, g) = (w_{r / s})^{r}

with

r i n 1, 2, 3, 4

. We give a discrete and faithful representation in

P S L (2, m a t h b b C)

for each group and identify the associated number theoretic data.

This page was built for publication: The $(4,p)$-arithmetic hyperbolic lattices, $p\geq 2$, in three dimensions