The Bianchi groups are 2x2 matrix groups,
and each of them acts on 3-dimensional hyperbolic space by pushing it forward and backwards in some directions, rotating it, and combining these movements.
A fundamental polyhedron for this action is the selection of an area of hyperbolic space such that its copies under the movements by the Bianchi group together cover up all of hyperbolic space.
We can require this area to be a polyhedron; and in order for it not to become too big, we can require that it touches its copies only at its facets.
The shape of the Bianchi fundamental polyhedra is computed by the project supervisor's software Bianchi.gp in terms of hyperbolic coordinates,
and has been visualized in the upper-half space model, where planes get distorted to hemispheres.
A fundamental domain, computed with BianchiGP and visualized by M. Fuchs in MuPAD,
is shown here:
Schedule: Winter semester 2018/2019, starting Friday the 21st September.
Supervision: Alexander D. Rahm.
Difficulty level: Master 1 project (in the 1st semester after the Bachelor degree).
Prerequisites: Algèbre linéaire, Structures mathématiques, Géometrie.
Tools : Bianchi.gp, which has been developed by A. Rahm, is available both in Pari/GP and in SAGE. In the latter systems, triangulation files can be output for the 3D printers, as well as polyhedron files for geomview.
Details: Please see the pdf file with the detailed description.