A circle of modular groups in \(\text{PU}(2,1)\) (Q699295)

Let \(\Gamma\) be the triangle group of type \((p,q,\infty)\), that is, the abstract group presented by \[ \langle i_0,i_1,i_2:i_0^2=1,\;i_1^2=1,\;i_2^2=1,\;(i_0i_1)^p=1,\;(i_0i_2)^q=1\rangle. \] By an embedding of \(\Gamma\) in \(\widehat{\text{PU}}(2,1)\), the isometry group of the two dimensional complex ball, the authors consider a homomorphism such that the \(i_j\) are mapped to anti-holomorphic generators and such that \(i_1i_2\) is parabolic. Theorem 1.1. There exists a circle of discrete faithful embeddings of the triangle group \((2,3,\infty)\) in \(\widehat{\text{PU}}(2,1)\). Up to conjugation in \(\widehat{\text{PU}}(2,1)\) the family is reduced to a quotient by the dihedral group \(\mathbb{Z}_2\times\mathbb{Z}_2\). Moreover, the family contains embeddings fixing a complex geodesic and embeddings fixing a totally real totally geodesic plane. The authors prove discreteness of the embeddings by constructing explicitly fundamental domains using \(\mathbb{C}\)-spheres. The technique used in this paper is also sufficient to prove the same result for triangle groups \((p,q,\infty)\) for \(p\leq q\leq 4\). In the case \(3\leq p,q\), they obtain an open neighborhood of a circle in the set of embeddings in \(\widehat{\text{PU}}(2,1)\).