Complex hyperbolic \((3,n,\infty )\) triangle groups (Q2657679)

A hyperbolic \((p,q,r)\) reflection triangle group \(\Delta_{p,q,r}\) is a group defined as \[ \langle \sigma_1, \sigma_2, \sigma_3 \mid \sigma_1^2=\sigma_2^2=\sigma_3^2=(\sigma_2\sigma_3)^p=(\sigma_3\sigma_1)^q=(\sigma_1\sigma_2)^r=\operatorname{id} \rangle, \] where \(p\), \(q\), \(r\) are positive integers or \(\infty\) satisfying \(p\leq q \leq r\) and \(1/p+1/q+1/r<1\). A complex hyperbolic \((p,q,r)\) triangle group, denoted \( \Gamma(p,q,r)=\langle I_1, I_2, I_3 \rangle, \) is a representation from \(\Delta_{p,q,r}\) into the holomorphic isometry group of complex hyperbolic plane which maps the generators to complex reflections fixing complex lines. In [in: Proceedings of the international congress of mathematicians, ICM 2002, Beijing, China, August 20--28, 2002. Vol. II: Invited lectures. Beijing: Higher Education Press; Singapore: World Scientific/distributor. 339--349 (2002; Zbl 1022.53034)], \textit{R. E. Schwartz} conjectured that \(\Gamma(p,q,r)\) is discrete and faithful if and only if either \(W_A = I_1 I_3 I_2 I_3\) or \(W_B = I_1 I_2 I_3\) is non-elliptic. This conjecture has been proven in some cases. For example, it is known that \(\Gamma(3, n, \infty)\) is discrete and faithful if and only if \(W_A\) is not elliptic when \(n=3\) and \(4\). In the paper under review, the authors further show that the same result holds when \(n\geq 5\).