23dd93bd9eec4d29.tex
1: \begin{abstract}
2: We identify the finitely many arithmetic lattices $\Gamma$ in the orientation preserving isometry group of hyperbolic $3$-space $\IH^3$ generated by an element of order $4$ and and element of order $p\geq 2$.  Thus $\Gamma$ has a presentation of the form
3: \[ \Gamma\cong\langle f,g: f^4=g^p=w(f,g)=\cdots=1 \rangle \]  
4: We find that necessarily $p\in \{2,3,4,5,6,\infty\}$,  where $p=\infty$ denotes that $g$ is a parabolic element,  the total degree of the invariant trace field $k\Gamma=\IQ(\{\tr^2(h):h\in\Gamma\})$ 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\in \{1,2,3,4\}$.  We give a discrete and faithful representation in $PSL(2,\IC)$ for each group and identify the associated number theoretic data.
5: \end{abstract}
6: