A uniformizable spherical CR structure on a two-cusped hyperbolic 3-manifold (Q6065482)

In complex hyperbolic geometry, finding spherical CR structures on hyperbolic \(3\)-manifolds is of extensive importance. As is described in the SnapPy census of Culler-Dunfield-Goerner-Weeks, there exist several hyperbolic \(3\)-manifolds admitting such desired spherical CR structures. Among them, one may mention the cusped hyperbolic \(3\)-manifolds \(m009, m038, s090, m295\) and \(6^3_1\), where their uniformizable spherical CR structures have been constructed by \textit{M. Deraux} [Exp. Math. 24, No. 3, 355--370 (2015; Zbl 1408.32035)] and \textit{J. Ma} and \textit{B. Xie} [``Spherical CR uniformization of the magic 3-manifold'', Preprint, \url{arXiv:2106.06668} and ``Three-manifolds at infinity of complex hyperbolic orbifolds'', Preprint, \url{arXiv:2205.11167}]. Proceeding along the same lines of research, in this paper, the authors show that the \(2\)-cusped hyperbolic \(3\)-manifold \(s782\) of the SnapPy census admits as well a uniformizable spherical CR structure. Moreover, it is proved that the quotient space of the discontinuity region of the complex hyperbolic triangle group action on \(\mathbb H^2_{\mathbb C}\) is homeomorphic to \(s782\) and thus the holonomy representation of the mentioned spherical CR uniformization of that hyperbolic \(3\)-manifold is a triangle group. For \(p, q, r>0\), let \(\Delta_{p,q,r}\) be the abstract \((p,q,r)\) reflection triangle group with the presentation \[ \langle \sigma_1, \sigma_2, \sigma_3 \ | \ \sigma_1^2=\sigma_2^2=\sigma_3^2=(\sigma_2\sigma_3)^p=(\sigma_3\sigma_1)^q=(\sigma_1\sigma_2)^r=\mathrm{id}\rangle. \] A complex hyperbolic \((p, q, r)\) triangle group is a representation of \(\Delta_{p, q, r}\) in \(\mathrm{PU}(2,1)\) which maps the generators to complex involutions fixing complex lines in \(\mathbb H^2_{\mathbb C}\). \textit{R. E. Schwartz} [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)] conjectured that for \(p\leq q\leq r\), a complex hyperbolic \((p, q, r)\) triangle group \(\langle I_1, I_2, I_3\rangle\) is a discrete and faithful representation of \(\Delta_{p,q,r}\) is and only if \(I_1I_3I_2I_3\) and \(I_1I_2I_3\) are nonelliptic. In addition, he also conjectured that in the specific case \(3\leq p< 10\), the discreteness and faithfulness of \(\langle I_1, I_2, I_3\rangle\) is determined only by the non-ellipticity of \(I_1I_3I_2I_3\) while in the case \(p>13\), it is identified by the non-ellipticity of just \(I_1I_2I_3\). \textit{J. R. Parker} and \textit{P. Will} have proved this conjecture recently in [Geom. Topol. 21, No. 6, 3391--3451 (2017; Zbl 1439.20062)] for \(p, q=3, r=\infty\). Also jointly with Parker, the second and third authors of the paper under review proved it in [\textit{J. R. Parker} et al., Pac. J. Math. 280, No. 2, 433--453 (2016; Zbl 1341.20029)], for \(p, q=3\) and \(r\geq 4\). In this paper, Schwartz's conjecture is proved for the complex hyperbolic \((4,4,\infty)\) triangle groups. It is also shown that if \(I_1I_3I_2I_3\) is parabolic then the even subgroup \(\langle I_2I_3, I_2I_1\rangle\) is the holonomy representation of a uniformizable spherical CR structure on the \(2\)-cusped hyperbolic \(3\)-manifold \(s782\).