Mirror stabilizers for lattice complex hyperbolic triangle groups (Q6126457)

The complex hyperbolic plane \(H_{\mathbb{C}}^{2}\) is a Hermitian symmetric space of constant negative holomorphic sectional curvature \(-1\). Its group of holomorphic isometries is isomorphic to \(G=\mathrm{PU}(2,1)\). For each complex line \(L\), there is an obvious embedding of \(\mathrm{U}(1,1)\) into \(\mathrm{U}(2,1)\) whose image preserves \(L\); this gives a description of \(\mathrm{Stab}_{G}(L)\) as a central extension of \(\mathrm{PU}(1,1)\) by the fixed point stabilizer, which is the subgroup of complex reflections fixing \(L\). Each complex line is the fixed point set of a \(1\)-parameter family of isometries, called complex reflections, and we call a subgroup \( \Gamma \subset G\) a complex reflection group if it is generated by complex reflections. Complex reflection groups that can be generated by \(3\) complex reflections are called complex hyperbolic triangle groups. In the paper under review, the author studies, for each lattice complex hyperbolic triangle group, the Fuchsian stabilizers of mirrors of complex reflections. He gives explicit generators for the stabilizers, and computes their signature in the sense of Fuchsian groups. For some groups, he also finds explicit pairs of complex lines such that the union of their stabilizers generate the ambient lattice.