Three-dimensional Lorentz geometries: Classification and completeness (Q605080)

The authors classify three-dimensional Lorentz homogeneous spaces \(G/I\) having a compact manifold modeled on them. They prove a completeness result: any compact locally homogeneous Lorentz three-dimensional manifold \(M\) is isometric to a quotient of a Lorentz homogeneous space \(G/I\) by a discrete subgroup \(\Gamma\) of \(G\) acting properly and freely on \(G/I\). Moreover, if \(I\) is noncompact, \(G/I\) is isometric to a Lie group \(L\) endowed with a left invariant Lorentz metric, where \(L\) is isomorphic to one of the following Lie groups: \[ \mathbb R^3,\quad \widetilde{SL(2,\mathbb R)},\quad\text{Heis\;\;or\;\;SOL}. \] If \(L\) is not \(\widetilde{SL(2,\mathbb R)}\), then \(M\) admits a finite cover which is a quotient of \(L\) by a lattice.