Fundamental domains in Lorentzian geometry (Q2385551): Difference between revisions

Let \(\widetilde{\text{SU}(1,1)}\) be the universal cover of \(\text{PSU}(1,1)\), the group of orientation preserving isometries of the hyperbolic plane and let \(Z\) be the kernel of the universal covering map. Let \(\Gamma\) be a discrete subgroup of \(\widetilde{\text{SU}(1,1)}\) of finite level, i.e., \(\Gamma\) intersects \(Z\) in a subgroup of finite index. This index is called the level of the group. The Killing form induces a Lorentzian metric of constant curvature on \(\widetilde{\text{SU}(1,1)}\). The Lorentz space form \(\widetilde{\text{SU}(1,1)}/\Gamma\) is described by constructing a fundamental domain \(F\) for \(\Gamma\) such that \(F\) is a polyhedron with totally geodesic faces satisfying the condition that the image of \(\Gamma\) in \(\text{PSU}(1,1)\) has a fixed point \(u\) in the unit disk of order larger than the index of \(\Gamma\). The construction depends on \(\Gamma\) and on the orbit \(\Gamma(u)\) of the fixed point \(u\).