sign in sign up
<<
Home , Icosahedral symmetry, Petrie polygon

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 . 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 , 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 is a finite geometric -graph in space equipped with a polyhedral 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 {5, 4}6 and its dual {4, 5}6 of genus 4, as well as of {6, 5}4 and {5, 6}4 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 {5, 4}6 and {5, 6}4 were discovered by Hess (1878), Pitsch (1881) and Badoureau (1881); for the history see Coxeter [3, §6.4], and for figures see [3, Fig. 4.4a] and Coxeter, Longuet-Higgins & Miller [6, Figs. 45, 53]. The polyhedra for {4, 5}6 and {6, 5}4, respectively, are obtained from the polyhedra for {5, 4}6 and {5, 6}4 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) , 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 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 {p, q} of P . Thus Γ (P ) is a quotient of the [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 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 {p, q}r denote a regular map derived from the spherical, Euclidean, or hyperbolic regular plane tessellation {p, q} by identifying any two vertices r steps apart along a Petrie polygon of {p, q}. The automorphism group of {p, q}r is abstractly defined r by (1) and the relation (ρ0ρ1ρ2) = 1. The dual and Petrie-dual of {p, q}r are the maps {q, p}r and {r, q}p, respectively. Thus the Petrie relatives of {p, q}r are given by {p, q}r, {q, p}r, {r, q}p, {q, r}p, {r, p}q, and {p, r}q. Note that {p, q}r 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 {5, 4}6. In this case the six Petrie relatives are given by

{5, 4}6, {4, 5}6, {6, 4}5, {4, 6}5, {6, 5}4, {5, 6}4, (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 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 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. The f-vector (f0, f1, f2) in the second column records the numbers f0, f1 and f2 of vertices, edges and faces of a map. The third column lists the number of vertex orbits, 1 or 2, under the full icosahedral symmetry group. The fourth column gives the name of the map in the notation of Conder [2]. Here “R” or “N”, respectively, indicates an orientable or non-orientable regular map; the number before the period is the genus, and an asterisk indicates the dual. A member of each of the four families of icosahedral skeletal polyhedra which realize a Petrie relative of the Gordan map is shown in Figure 1. They each are orientable, and have one face orbit, one edge orbit and two vertex orbits. The ratio of the diameters of the vertex orbits, which may be any positive quantity other than 1, identifies the individual polyhedra within each family. The two families in the top row each contain exactly one

4 Type f-Vector Vertex Orbits Map Planar Faces {p, q}r (f0, f1, f2) of [2]

{4, 5}6 (24, 60, 30) 2 R4.2 Yes, for one polyhedron ∗ {6, 5}4 (24, 60, 20) 2 R9.16 Yes, for one polyhedron {4, 5}6 (24, 60, 30) 2 R4.2 No ∗ {6, 5}4 (24, 60, 20) 2 R9.16 No

{4, 6}5 (20, 60, 30) 1 N12.1 No {5, 6}4 (20, 60, 24) 1 R9.16 Yes ∗ {6, 4}5 (30, 60, 20) 1 N12.1 No ∗ {5, 4}6 (30, 60, 24) 1 R4.2 Yes Table 1: The icosahedral skeletal polyhedra realizing Petrie relatives of Gordan’s map. The first four rows represent the infinite families of polyhedra shown in Figure 1, the last four the individual polyhedra shown in Figure 2.

Figure 1: The four families of icosahedral skeletal polyhedra of types {4, 5}6 or {6, 5}4.

5 polyhedron with√ planar faces,√ which occurs when the ratio of the diameters of the vertex orbits is (1 + 5)/2 or 2 + 5, respectively. The vertices of the polyhedra coincide with the vertices of two concentric regular icosahedra, and these underlying solids, as well as a representative face of each polyhedron, are diagramed. Polyhedra in the same row are Petrie duals, and those in the same column have the same map, of type {4, 5}6 or {6, 5}4 respectively, and these maps are dual to the maps of the polyhedra shown in the bottom row of Figure 2. The 30 faces of each polyhedron in the left column are each centered on an edge of the underlying icosahedra, whereas the 20 faces of each polyhedron in the right column are each centered on a face of the underlying icosahedra.

Figure 2: The four individual icosahedral skeletal polyhedra which realize a Petrie relative of the Gordan map.

The four individual icosahedral skeletal polyhedra which realize a Petrie relative of the Gordan map are shown in Figure 2. They each have one edge orbit and one vertex orbit. A representative face from each face orbit is diagramed. The vertices coincide with the vertices of either a regular or a regular , as shown, and each of the 60 edges of each skeletal polyhedron traverses a pentagonal face

6 of those underlying solids. Polyhedra in the same column are Petrie duals, and the maps of those in the top row are duals. The top left has type {4, 6}5, is non-orientable and has one face orbit with non-planar faces. The 30 faces are each centered on an edge of the underlying dodecahedron. The bottom left has type {5, 6}4, is orientable and has two face orbits each with planar faces. The 24 faces are each centered on a face of the underlying dodecahedron, either as an internal pentagram or as a surrounding . The top right has type {6, 4}5, is non-orientable and has one face orbit with non-planar faces. The 20 faces are each centered on a triangular face of the underlying icosidodecahedron. The bottom left has type {5, 4}6, is orientable and has two face orbits each with planar faces. The 24 faces are each centered on a pentagonal face of the underlying icosidodecahedron, again either as an internal pentagram or as a surrounding pentagon.

References

[1] U. Brehm and J. M. Wills, Polyhedral Manifolds, In Handbook of Convex Geom- etry, P. M. Gruber and J. M. Wills (Editors), North-Holland, Amsterdam, 1993; Volume A, pp. 535–554. [2] M. Conder, Regular maps and hypermaps of Euler characteristic −1 to −200, J. Comb. Theory Ser. B 99 (2009), 455–459. (Associated lists available online: http://www.math.auckland.ac.nz/∼conder.) [3] H. S. M. Coxeter, (3rd edition), Dover (New York, 1973). [4] H. S. M. Coxeter and W. O. J. Moser, Generators and Relations for Discrete Groups, 4th editon, Springer, Berlin, 1980. [5] H. S. M. Coxeter, P. DuVal, H. T. Flather and J. F. Petrie, The 59 Icosahedra, University of Toronto Studies, Math. Series no. 6, University of Toronto, Toronto, 1938. [6] H. S. M. Coxeter, M. S. Longuet-Higgins and J. C. P. Miller, Uniform polyhedra, Philos. Trans. Roy. Soc. London Ser. A 246 (1954), 401–450. [7] A. M. Cutler, Regular polyhedra of index two, II , Beitr. Algebra Geom. 52 (2011), 357–387. [8] A. M. Cutler and E. Schulte, Regular polyhedra of index two, I , Beitr. Algebra Geom. 52 (2011), 133–161. [9] P. Gordan, Uber¨ die Aufl¨osungder Gleichungen vom f¨unftenGrade, Math. Ann. 13 (1878), 375–404. [10] B. Gr¨unbaum, Regular polyhedra — old and new, Aequat. Math. 16 (1977), 1–20.

7 [11] B. Gr¨unbaum, Polyhedra with hollow faces, in Polytopes: Abstract, Convex and Computational (eds. T. Bisztriczky, P. McMullen, R. Schneider and A. Ivi´cWeiss), NATO ASI Series C 440, Kluwer (Dordrecht etc., 1994), 43–70.

[12] B. Gr¨unbaum and G. C. Shephard, Duality of polyhedra, In Shaping Space — A polyhedral approach, (G. Fleck and M. Senechal, eds.), Birkh¨auser,Boston, 1988, pp. 205–211.

[13] P. McMullen and E. Schulte, Regular polytopes in ordinary space, Discrete Comput. Geom. 17 (1997), 449–478.

[14] P. McMullen and E. Schulte, Abstract Regular Polytopes, Encyclopedia of Mathe- matics and its Applications, Vol. 92, Cambridge University Press, Cambridge, UK, 2002.

[15] D. A. Richter, The Regular Polyhedra of Index Two, http://homepages.wmich.edu/∼drichter/regularpolyhedra.htm

[16] E. Schulte and J. M. Wills, Convex-faced combinatorially regular polyhedra of small genus, Symmetry 4 (2012), 1–14.

[17] E. Schulte and J. M. Wills, Kepler-Poinsot-type realizations of regular maps of Klein, Fricke, Gordan and Sherk, Canadian Mathematical Bulletin 30 (1987), 155–164.

[18] J. M. Wills, Combinatorially regular polyhedra of index 2 , Aequat. Math. 34 (1987), 206–220.

[19] S. E. Wilson, Operators over regular maps, Pac. J. Math. 81 (1979), 559–568.

8