The geometry of the Eisenstein-Picard modular group (Q2501389)

The paper studies the Eisenstein-Picard modular group \(\Gamma= \text{PU}(2;1;Z(\omega))\) which is by definition the subgroup of \(\text{PU}(2,1)\) with entries from \(Z(\omega)\), where \(\omega=\tfrac 12(-1+i\sqrt 3)\) is a cube root of 1. \(\Gamma\) acts isometrically and properly discontinuously on the complex hyperbolic space \(\mathbb CH^2\), which is realized here as the Siegel domain in the complex projective space \(\mathbb CP^2\). The authors construct a remarkably simple fundamental domain of \(\Gamma\), a 4-simplex with one ideal vertex. The construction is analogous to that for PSL\((2;\mathbb Z)\) acting on \(\mathbb CH^1\) where the well-known fundamental domain is a 2-simplex with one ideal vertex. The orbifold \(\mathbb CH^2/ \Gamma\) has volume \(\pi^2/27\) which is conjectured to be the smallest volume of a cusped complex hyperbolic orbifold.