Complexification of an infinite volume Coxeter tetrahedron

Abstract

Let $T$ be an infinite volume Coxeter tetrahedron in three dimensional real hyperbolic space ${\bf H}^{3}_{\mathbb R}$ with two opposite right-angles and the other angles are all zeros. Let $G$ be the Coxeter group of $T$, so $$G=\left\langle ι_1, ι_2, ι_3, ι_4 \Bigg| \begin{array} {c} ι_1^2= ι_2^2 = ι_3^2=ι_4^2=id, \\ (ι_1 ι_3)^{2}=(ι_2 ι_4)^{2}=id \end{array}\right\rangle$$ as an abstract group. We study type-preserving representations $ρ: G \rightarrow \mathbf{PU}(3,1)$, where $ρ( ι_{i})=I_{i}$ is a complex reflection fixing a complex hyperbolic plane in three dimensional complex hyperbolic space ${\bf H}^{3}_{\mathbb C}$ for $1 \leq i \leq 4$. The moduli space $\mathcal{M}$ of these representations is parameterized by $θ\in [\frac{5 π}{6}, π]$. In particular, $θ=\frac{5 π}{6}$ and $θ=π$ degenerate to ${\bf H}^{2}_{\mathbb C}$-geometry and ${\bf H}^{3}_{\mathbb R}$-geometry respectively. Via Dirichlet domains, we show $ρ=ρ_θ$ is a discrete and faithful representation of the group $G$ for all $θ\in [\frac{5 π}{6}, π]$. This is the first nontrivial moduli space in three dimensional complex hyperbolic space that has been studied completely.