Icosahedral Skeletal Polyhedra Realizing Petrie Relatives of Gordan's Regular Map Anthony M. Cutler Boston, MA 02115, USA and Egon Schulte∗ Northeastern University Boston, MA 02115, USA and J¨orgM. Wills University of Siegen D-57068 Siegen, Germany November 12, 2018 Abstract Every regular map on a closed surface gives rise to generally six regular maps, its Petrie relatives, that are obtained through iteration of the duality and Petrie op- erations (taking duals and Petrie-duals). It is shown that the skeletal polyhedra in Euclidean 3-space which realize a Petrie relative of the classical Gordan regular map and have full icosahedral symmetry, comprise precisely four infinite families of polyhedra, as well as four individual polyhedra. Key words. Regular polyhedra; geometric graphs; regular maps on surfaces; Gordan's map; abstract polytopes. arXiv:1210.2064v1 [math.CO] 7 Oct 2012 MSC 2000. Primary: 51M20. Secondary: 52B15. ∗Supported by NSF-grant DMS{0856675 1 1 Introduction It is well-known that the Petrie relatives of a regular map on a closed surface form a family of generally six regular maps with the same automorphism group, obtained from the original map under iteration of the duality and Petrie operations (taking duals and Petrie-duals); see Coxeter & Moser [4], McMullen & Schulte [14, Ch. 7B] or Wilson [19]. The purpose of this short note is to point out that the skeletal polyhedra in Euclidean 3-space E3 which realize a Petrie relative of the classical Gordan [9] regular map and have full icosahedral symmetry, comprise precisely four infinite families of polyhedra, as well as four additional, individual polyhedra. Here a skeletal polyhedron is a finite geometric edge-graph in space equipped with a polyhedral face structure; see Gr¨unbaum [10] and [14, Ch. 7E], as well as Section 2. The icosahedral polyhedra described in this paper are particularly interesting examples of regular polyhedra of index 2 (see Cutler [7], Cutler & Schulte [8], Wills [18]); that is, they are combinatorially regular but \fail geometric regularity by a factor of 2". Four polyhedra were previously known and have an interesting history; namely, the planar- faced polyhedral realizations of Gordan's map f5; 4g6 and its dual f4; 5g6 of genus 4, as well as of f6; 5g4 and f5; 6g4 of genus 9. These give four of just five regular polyhedra of index 2 which are orientable and have planar faces (see [18] for the enumeration and Richter [15] for figures). The polyhedra for f5; 4g6 and f5; 6g4 were discovered by Hess (1878), Pitsch (1881) and Badoureau (1881); for the history see Coxeter [3, x6.4], and for figures see [3, Fig. 4.4a] and Coxeter, Longuet-Higgins & Miller [6, Figs. 45, 53]. The polyhedra for f4; 5g6 and f6; 5g4, respectively, are obtained from the polyhedra for f5; 4g6 and f5; 6g4 by polarity (see Gr¨unbaum & Shephard [12]); for figures see [3, Fig. 6.4c], [5, De2f2 on Plate XI], and [16]. In addition to these classical examples, new icosahedral polyhedra for Petrie relatives of Gordan's map can be derived from the complete classification of the finite regular polyhedra of index 2 in [7, 8]. It turns out that this provides a complete list of possible realizations. Overall, each Petrie relative is seen to admit a skeletal realization with icosahedral symmetry, and some relatives can even be realized in more than one way. 2 Maps and skeletal polyhedra Skeletal polyhedra were first investigated in Gr¨unbaum [10]. A priori they are not solid figures bounded by faces spanned by membranes, but rather more general discrete poly- hedral structures with convex or non-convex, planar or skew, and finite or infinite (helical or zig-zag) polygonal faces and vertex-figures. Here we are only concerned with finite polyhedral structures, so in particular helical or zigzag faces will not occur. 3 To begin with, a (finite) polygon, or simply an n-gon,(v1; v2; : : : ; vn) in E is a figure formed by distinct points v1; : : : ; vn, together with the line segments (vi; vi+1), for i = 1; : : : ; n − 1, and (vn; v1). The points and line segments are the vertices and edges of the 2 polygon. Note that polygons are edge cycles, not topological discs, and may or may not be plane polygons. 3 A (finite) skeletal polyhedron, or simply polyhedron, P in E consists of a finite set VP of points, called vertices, a finite set EP of line segments, called edges, joining points of VP , and a finite set FP of polygons, called faces, formed by line segments of EP such that the following three conditions hold. First, P is globally connected, in the sense that the edge graph of P defined by VP and EP is connected; and second, P is locally connected, meaning that the vertex-figure of P at every vertex of P is connected. Recall here that the vertex-figure of P at a vertex v is the graph whose vertices are the neighbors of v in the edge graph of P and whose edges are the line segments (u; w), where (u; v) and (v; w) are edges of a common face of P . Third, each edge of P is an edge of exactly two faces of P . For combinatorial purposes we identify a polyhedron P with the underlying map on a closed compact (orientable or non-orientable) surface; see [4, 14]. Thus skeletal polyhedra in E3 are 3-dimensional geometric realizations of abstract polyhedra in the sense of [14, Ch. 7E] (see also [10, 11] and [13]). Note, however, that a skeletal polyhedron is a finite geometric edge graph in E3 equipped with a distinguished face structure; it is not a solid figure. A map P is (combinatorially) regular if its automorphism group Γ (P ) is transitive on the flags (incident vertex-edge-face triples). The automorphism group Γ (P ) of a regular map is generated by involutions ρ0; ρ1; ρ2 satisfying (at least) the Coxeter-type relations 2 2 2 p q 2 ρ0 = ρ1 = ρ2 = (ρ0ρ1) = (ρ1ρ2) = (ρ0ρ2) = 1; (1) where p and q determine the type fp; qg of P . Thus Γ (P ) is a quotient of the Coxeter group [p; q] abstractly defined by the relations in (1). The Petrie-dual of a regular map P is a (regular) map with the same vertices and edges as P , obtained by replacing the faces of P by the Petrie polygons of P . Recall that a Petrie polygon of P is a polygon along the edges of P such that any two, but no three, consecutive edges belong to a common face. The iteration of taking duals and Petrie-duals gives rise to a family of generally six regular maps, the Petrie relatives of P , all sharing the same automorphism group. Following [4], we let fp; qgr denote a regular map derived from the spherical, Euclidean, or hyperbolic regular plane tessellation fp; qg by identifying any two vertices r steps apart along a Petrie polygon of fp; qg. The automorphism group of fp; qgr is abstractly defined r by (1) and the relation (ρ0ρ1ρ2) = 1. The dual and Petrie-dual of fp; qgr are the maps fq; pgr and fr; qgp, respectively. Thus the Petrie relatives of fp; qgr are given by fp; qgr, fq; pgr, fr; qgp, fq; rgp, fr; pgq, and fp; rgq. Note that fp; qgr is orientable if and only if r is even. The present paper focuses on icosahedral polyhedra realizing a Petrie relative of Gor- dan's map f5; 4g6. In this case the six Petrie relatives are given by f5; 4g6; f4; 5g6; f6; 4g5; f4; 6g5; f6; 5g4; f5; 6g4; (2) 3 and all have the same automorphism group of order 240. The first two maps are orientable of genus 4; the next two are non-orientable of genus 12; and the last two are orientable of genus 9. A polyhedron with full icosahedral symmetry realizing a map in (2) must be a regular polyhedron of index 2 in the sense of [18, 8]. Recall that P is a regular polyhedron of index 2 if P is a regular map and the geometric symmetry group G(P ) of P is a subgroup of Γ (P ) of index 2. For Gordan's map and its relatives, G(P ) is the full icosahedral group of order 120 and has index 2 in Γ (P ). 3 The polyhedra It follows from the above analysis that the desired icosahedral skeletal polyhedra for Gordan's map and its relatives are precisely the regular polyhedra of index 2 that have full icosahedral symmetry and are combinatorially isomorphic to a map in (2). This allows us to draw upon the complete enumeration of the finite regular polyhedra of index 2 obtained in [7, 8]. It was shown in [8] that up to similarity there are precisely 22 infinite families of regular polyhedra of index 2 with vertices on two orbits under the full symmetry group, where two polyhedra belong to the same family if they differ only in the relative size of the spheres containing their vertex orbits; all polyhedra in these 22 families are orientable, but only two have planar faces. The complete enumeration of the remaining regular polyhedra of index 2, with vertices on one orbit, is described in [7]; there are exactly 10 such (individual) polyhedra. In particular, this establishes the following theorem. Theorem 3.1. The skeletal polyhedra in E3 which realize a Petrie relative of the Gordan regular map and have full icosahedral symmetry, comprise precisely four infinite families of polyhedra, as well as four individual polyhedra. Details about these polyhedra are summarized in Table 1; the first four rows concern the polyhedra occurring in an infinite family, and the last four rows the individual poly- hedra.