L2(7)

This is the simplest construction, but thereby an triangle has got an edge glued to a neighbouring edge (so now the dual_rot around the vertex there fixes an edge label), and since poly=3 as a side-effect this results in a loop for the remaining edge, which is perfectly valid but conflicts a little bit with the way we draw edges as straight lines (we could program something for this circumstances, draw some circle or so). The cartographic groups and Grothendieck's dessins d'enfants (also see the section called “M(24)”) perfectly fit into our framework in principle.

vertices: 5
faces: 4+1
edges: 8
genus: 0

characteristic polynomial: x (x4 - x3 - 12x2 - 6x + 8)

dual's characteristic polynomial: (x - 1) x (x2 - x - 4)

chromatic number: 2

lattice group (lossy): L2(7) ≅ L3(2) ≅ GL3(2)

See [Bre00] and [Atlas] for more information about this regular representation using the period triple (2,3,7) and orbit genus 3. The dual graph has got the same group of course. And again a basic map together with some additional identification of boundaries could be more meaningful (Klein's configuration in [TS]). Actually we could avoid self-intersections by allowing triangles with non-straight lines involving Klein's quartic (see [Egan05] and [Christy]).


vertices: 24
faces: 56
edges: 84
genus: 3

characteristic polynomial: (x - 7) (x + 7) (x2 - 7)8

dual's characteristic polynomial: (x - 3) x7 (x + 2)6 (x2 - 2x - 1)8 (x2 - 2)6 (x2 + x - 4)7

chromatic number: 3

lattice group (lossy): L2(7) ≅ L3(2) ≅ GL3(2)