The double torus as a 2D cosmos: groups, geometry and closed geodesics

The double torus provides a relativistic model for a closed 2D cosmos with topology of genus 2 and constant negative curvature. Its unfolding into an octagon extends to an octagonal tessellation of its universal covering, the hyperbolic space H^2. The tessellation is analysed with tools from hyperbolic crystallography. Actions on H^2 of groups/subgroups are identified for SU(1, 1), for a hyperbolic Coxeter group acting also on SU(1, 1), and for the homotopy group \Phi_2 whose extension is normal in the Coxeter group. Closed geodesics arise from links on H^2 between octagon centres. The direction and length of the shortest closed geodesics is computed.