Coxeter–Petrie Complexes of Regular Maps

✍ Scribed by Kevin Anderson; David B. Surowski

• Publisher: Elsevier Science
• Year: 2002
• Tongue: English
• Weight: 354 KB
• Volume: 23
• Category: Article
• ISSN: 0195-6698
• DOI: 10.1006/eujc.2002.0622

✦ Synopsis

Coxeter-Petrie complexes naturally arise as thin diagram geometries whose rank 3 residues contain all of the dual forms of a regular algebraic map M. Corresponding to an algebraic map is its classical dual, which is obtained simply by interchanging the vertices and faces, as well as its Petrie dual, which comes about by replacing the faces by the so-called Petrie polygons. Jones and Thornton have shown that these involutory duality operations generate the symmetric group S 3 , giving in all six dual forms, and whose source is the outer automorphism group of the infinite triangle group generated by involutions s 1 , s 2 , s 3 , subject to the additional relation s 1 s 3 = s 3 s 1 . In fact, this outer automorphism group is parametrized by the permutations of the three commuting involutions s 1 , s 3 , s 1 s 3 . These involutions together with the involution s 2 can be taken to define the nodes of a Coxeter diagram of shape D 4 (with the involution s 2 at the central node), and when the original map M is regular, there is a natural extension from M to a thin Coxeter complex of rank 4 all of whose rank 3 residues are isomorphic to the various dual forms of M. These are fully explicated in case the original algebraic map is a Platonic map.