Petrie Duality and the Anstee-Robertson Graph

We define the operation of Petrie duality for maps, describing its general properties both geometrically and algebraically. We give a number of examples and applications, including the construction of a pair of regular maps, one orientable of genus 17, the other non-orientable of genus 52, which embed the 40-vertex cage of valency 6 and girth 5 discovered independently by Robertson and Anstee. We prove that this map (discovered by Evans) and its Petrie dual are the only regular embeddings of this graph, together with a similar result for a graph of order 40, valency 6 and girth 3 with the same automorphism group.

[1]  Marston D. E. Conder,et al.  Regular maps and hypermaps of Euler characteristic -1 to -200 , 2009, J. Comb. Theory, Ser. B.

[2]  Gareth A. Jones,et al.  Automorphisms and regular embeddings of merged Johnson graphs , 2005, Eur. J. Comb..

[3]  Timothy R. S. Walsh,et al.  Hypermaps versus bipartite maps , 1975 .

[4]  W. Magnus,et al.  Combinatorial Group Theory: COMBINATORIAL GROUP THEORY , 1967 .

[5]  Gareth A. Jones,et al.  Maps admitting trialities but not dualities , 2009, Eur. J. Comb..

[6]  Loo-Keng Hua,et al.  Automorphisms of the projective unimodular group , 1952 .

[7]  Mikhail Klin,et al.  Higmanian rank-5 association schemes on 40 points , 2009 .

[8]  Gareth A. Jones,et al.  Operations on maps, and outer automorphisms , 1983, J. Comb. Theory, Ser. B.

[9]  Richard P. Anstee,et al.  An analogue of group divisible designs for Moore graphs , 1981, J. Comb. Theory, Ser. B.

[10]  H. Coxeter,et al.  Generators and relations for discrete groups , 1957 .

[11]  H. S. M. Coxeter,et al.  The abstract groups , 1939 .

[12]  A. Blokhuis,et al.  The locally icosahedral graphs , 1985 .

[13]  Yan Wang,et al.  Self‐dual and self‐petrie‐dual regular maps , 2012, J. Graph Theory.

[14]  Charles F. Miller,et al.  Combinatorial Group Theory , 2002 .

[15]  Lynne D. James.  Operations on Hypermaps, and Outer Automorphisms , 1988, Eur. J. Comb..

[16]  Sóstenes Lins.  Graph-encoded maps , 1982, J. Comb. Theory, Ser. B.

[17]  Stephen E. Wilson.  Operators over regular maps. , 1979 .

[18]  M. O'Keefe,et al.  A smallest graph of girth 5 and valency 6 , 1979, J. Comb. Theory, Ser. B.

[19]  C. W. Evans,et al.  Net structure and cages , 1979, Discret. Math..

[20]  Pak-Ken Wong,et al.  On the uniqueness of the smallest graph of girth 5 and valency 6 , 1979, J. Graph Theory.

[21]  H. R. Brahana,et al.  Maps of Twelve Countries with Five Sides with a Group of Order 120 Containing an Ikosahedral Subgroup , 1926 .

[22]  A. M. Uludaug,et al.  Jimm, a Fundamental Involution , 2015, 1501.03787.

[23]  Gabe Cunningham.  Self-Dual, Self-Petrie Covers of Regular Polyhedra , 2012, Symmetry.

[24]  Joan L. Dyer.  Automorphism sequences of integer unimodular groups , 1978 .

[25]  Lynne D. James,et al.  Complexes and Coxeter groups—Operations and outer automorphisms , 1988 .

[26]  Gareth Jones.  Combinatorial categories and permutation groups , 2016, Ars Math. Contemp..