DOCSLIB.ORG

Arxiv:Math/0307075V1 [Math.GR] 5 Jul 2003 Quotients of a Universal

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:Math/0307075V1 [Math.GR] 5 Jul 2003 Quotients of a Universal Quotients of a Universal Locally Projective Polytope of type {5, 3, 5} ∗ Michael I. Hartley KDU College Jalan SS 22/41, Damansara Jaya Selangor, 47400, Malaysia [email protected] Dimitri Leemans D´epartement de Math´ematiques Universit´eLibre de Bruxelles C.P.216 – G´eom´etrie Boulevard du Triomphe B-1050 Bruxelles [email protected] In Memory of H. S. M. “Donald” Coxeter, 1907–2003 Abstract This article examines the universal polytope P (of type {5, 3, 5}) whose facets are dodecahedra, and whose vertex figures are hemi- icosahedra. The polytope is proven to be finite, and the structure of its group is identified. This information is used to classifiy the quo- tients of the polytope. A total of 145 quotients are found, including arXiv:math/0307075v1 [math.GR] 5 Jul 2003 69 section regular polytopes with the same facets and vertex figures as P. 1 Introduction This article may be seen in three different ways. On the one hand, it was inspired by, and solves, a problem in the theory of polytopes. A certain ∗MSC (2000): 51M20, 20F65, 52B15 1 regular polytope is proven to exist and be finite, and its quotient polytopes are discovered. Being about polytopes, it is also a paper about geometries or buildings, since (for example) every regular polytope is a thin regular geometry with a string diagram. Finally, it may also be regarded as an article about Coxeter groups. A certain quotient of a hyperbolic Coxeter group is proven to be finite, and its structure as a group is identified. The polytope studied is the universal polytope P whose facets are do- decahedra and whose vertex figures are hemi-icosahedra. This polytope is locally projective, that is, it is section regular with facets and vertex figures either spherical or projective, and not both spherical. The polytope, of type {5, 3, 5}, covers every polytope with facets and vertex figures of these types. A classification of its quotients is therefore important since it encompasses a classification of the locally projective polytopes of type {5, 3, 5} – every such polytope or its dual is a quotient of P. The automorphism group of this polytope is the quotient of the Coxeter group [5, 3, 5] = hs0,s1,s2,s3i 5 by the normal subgroup generated by all quotients of (s1s2s3) . The results of the article is expressed mainly in the language of abstract polytopes, since that is the setting which gave rise to the results, and (in the authors’ opinion) in which they seem the most significant. It is assumed from this point on that the reader is familiar with the basic concepts of abstract polytopes and their quotients. The most important reference in the theory of abstract regular polytopes is [13]. An abstract polytope is a poset satisfying certain properties that are satisfied by the face-lattices of classical polytopes, as well as honeycombs in euclidian and hyperbolic space, and other objects. The theory therefore encompasses all of the latter, as well as a rich assortment of polytopes on other spaceforms and objects for which it is difficult to define a natural topology. The locally projective polytopes fall into the latter class. A (section) regular polytope may be defined to be locally X if its minimal nonspherical sections have topological type X (see [11]). Alternatively but not equiva- lently, some authors define a locally X polytope to be one whose facets and vertex figures are either spherical or X, but not both spherical (see for ex- ample [15]). Note that the former definition subsumes the latter, and that in rank 4 the two definitions are equivalent, since all polytopes of rank2 or less are spherical. A regular polytope is one whose automorphism group acts transitively on its set of flags (that is, maximal totally ordered subsets). The most important result in the study of abstract regular polytopes is that they are in one to one correspondence with so-called string C-groups, that is groups generated by involutions s0,s1,...,sn−1 where first of all sisj = sjsi whenever i =6 j, j±1, and secondly, hsi : i ∈ Ii∩hsi : i ∈ Ji = hsi : i ∈ I ∩ Ji for any I,J ⊆{0,...,n−1}. The automorphism groups of regular polytopes 2 are always C-groups, and from any C-group the corresponding polytope may be reconstructed. Given a polytope P and a subgroup N of its automorphism group, the elements of P are partitioned into orbits {F · N : F ∈ P} by N. We may define a poset P/N on these orbits, the quotient of P by N, in a natural way, letting F · N ≤ G · N if F ≤ G (that is, F · N ≤ G · N if and only if there exists F ′ ∈ F · N and G′ ∈ G · N with F ′ ≤ G′). When P is regular, the conditions on N for which P/N is again a polytope are well-known (see [12], or Section 2D of [13]). In fact, every polytope may be written as a quotient of some regular polytope (see [4] and [5]), and the quotients of a regular polytope P are in one-to-one correspondence with conjugacy classes of so-called “semisparse” subgroups of Aut(P). Let K and L be regular polytopes. If there exists a polytope Q whose facets are of type L and whose vertex figures are of type K, then there is a universal such polytope P, denoted {L, K} (with automorphism group [L, K]), which “covers” all other such polytopes in the sense that they are quotients of P. This was shown in Theorem 2.5 of [7], and much earlier for the case when Q is regular in [14] (see Theorem 4A2 of [13]). The search for polytopes with particular facets and vertex figures therefore usually follows the following pattern. First the universal such polytope is discovered (if not already known). Secondly, the quotients of this universal polytope are sought. In [7], various results about semisparse subgroups were uncovered that facilitate this process. Let W = hs0,...,sn−1i be the group of a regular polytope P, let Hn−1 = hs0,...,sn−2i be the group of its facets, and let H0 = hs1,...,sn−1i be the group of its vertex figures. The key result from [7] that we shall use here is as follows. If the vertex figures of P have no proper quotients, then subgroups w N of W are semisparse if and only N ∩ H0Hn−1 is semisparse in Hn−1 for all conjugates N w of N in W (see Theorem 2.7 of [7]). In this article, we are interested in polytopes whose facets are dodec- ahedra, and whose vertex figures are hemi-icosahedra. If any such poly- topes exist at all, they are quotients of a universal such polytope with au- 2 2 2 2 tomorphism group W = hs0,s1,s2,s3i, satisfying s0 = s1 = s2 = s3 = 1, 5 3 5 (s0s1) = (s1s2) = (s2s3) = 1, s0s2 = s2s0, s1s3 = s3s1, s0s3 = s3s0 and 5 (s1s2s3) = 1. For the remainder of this article, W shall denote this group. It is shown in Section 2 that W is a C-group, the group of a well-defined polytope P whose facets and vertex figures are as desired. This is done by exhibiting an example of another (smaller) such polytope, which must therefore be a proper quotient of P. In Section 3, it is shown that W (and therefore P) is in fact finite, and is the direct product of two large simple groups, the Janko group J1 and the 3 projective special linear group L2(19). In Section 4, the remaining quotients are discovered and tabulated. Let H0 = hs1,s2,s3i and H3 = hs0,s1,s2i. 2 Two Quotients of P. Coxeter, in [2], discovered a self-dual locally projective polytope P′′ with 57 hemi-dodecahedral facets (it was also constructed in [16]). We shall call this polytope the 57-cell. In [6] it was shown that Coxeter’s 57-cell has ′′ ′′ ′′ ′′ ′′ no proper quotients. Its group W is generated by {s0,s1,s2,s3} with the ′′ ′′ ′′ 5 ′′ ′′ ′′ 5 relations of [5, 3, 5] and the additional relations (s0s1s2) = (s1s2s3) = 1. ′′ Moreover W is isomorphic to the simple group L2(19)(= P SL2(19)), of 2 2 order 3420 = 2 .3 .5.19. It is a quotient of W = hs0,s1,s2,s3i by the normal ′′ 5 subgroup N generated by all conjugates of (s0s1s2) . The simple group L2(19) has a permutation presentation on 20 points. Readers interested to see this permutation presentation should download this article’s “auxiliary information” available at [8]. (See also the notes at the end of Section 4.) 5 ′′ For the remainder of this article, let ω =(s0s1s2) , so that N = hhωii. The action of ω (as an automorphism) on P is to move a (base) flag Φ to the “opposite” flag of the facet contained in Φ. ′ 3 Define ν = ωs3, and let N = hhν ii be the normal subgroup of W generated by all conjugates of ν3. The group W ′ ∼= W/N ′ may be taken ′ ′ ′ ′ to be the group hs0,s1,s2,s3i whose generators satisfy all the relations of ′ ′ ′ 5 ′ ′ ′ 5 ′ 3 [5, 3, 5] as well as the additional relations (s1s2s3) = ((s0s1s2) s3) = 1. A computer algebra package [3] was used to analyse the group W ′. It was found to be isomorphic to the Janko group J1, a sporadic finite simple group of order 175560 = 23.3.5.7.11.19. It was also checked that W ′ is a C-group, ′ ′ ′ ′ ′ ′ ′ ′ that H3 = hs0,s1,s2i has order 120, that H0 = hs1,s2,s3i has order 60, and therefore that W ′ is the group of a regular polytope P′ with dodecahedral facets and hemi-icosahedral vertex figures.
Load more

Recommended publications
  • Contractions of Polygons in Abstract Polytopes
    Contractions of Polygons in Abstract Polytopes by Ilya Scheidwasser B.S. in Computer Science, University of Massachusetts Amherst M.S. in Mathematics, Northeastern University A dissertation submitted to The Faculty of the College of Science of Northeastern University in partial fulfillment of the requirements for the degree of Doctor of Philosophy March 31, 2015 Dissertation directed by Egon Schulte Professor of Mathematics Acknowledgements First, I would like to thank my advisor, Professor Egon Schulte. From the first class I took with him in the first semester of my Masters program, Professor Schulte was an engaging, clear, and kind lecturer, deepening my appreciation for mathematics and always more than happy to provide feedback and answer extra questions about the material. Every class with him was a sincere pleasure, and his classes helped lead me to the study of abstract polytopes. As my advisor, Professor Schulte provided me with invaluable assistance in the creation of this thesis, as well as career advice. For all the time and effort Professor Schulte has put in to my endeavors, I am greatly appreciative. I would also like to thank my dissertation committee for taking time out of their sched- ules to provide me with feedback on this thesis. In addition, I would like to thank the various instructors I've had at Northeastern over the years for nurturing my knowledge of and interest in mathematics. I would like to thank my peers and classmates at Northeastern for their company and their assistance with my studies, and the math department's Teaching Committee for the privilege of lecturing classes these past several years.
    [Show full text]
  • Petrie Schemes
    Canad. J. Math. Vol. 57 (4), 2005 pp. 844–870 Petrie Schemes Gordon Williams Abstract. Petrie polygons, especially as they arise in the study of regular polytopes and Coxeter groups, have been studied by geometers and group theorists since the early part of the twentieth century. An open question is the determination of which polyhedra possess Petrie polygons that are simple closed curves. The current work explores combinatorial structures in abstract polytopes, called Petrie schemes, that generalize the notion of a Petrie polygon. It is established that all of the regular convex polytopes and honeycombs in Euclidean spaces, as well as all of the Grunbaum–Dress¨ polyhedra, pos- sess Petrie schemes that are not self-intersecting and thus have Petrie polygons that are simple closed curves. Partial results are obtained for several other classes of less symmetric polytopes. 1 Introduction Historically, polyhedra have been conceived of either as closed surfaces (usually topo- logical spheres) made up of planar polygons joined edge to edge or as solids enclosed by such a surface. In recent times, mathematicians have considered polyhedra to be convex polytopes, simplicial spheres, or combinatorial structures such as abstract polytopes or incidence complexes. A Petrie polygon of a polyhedron is a sequence of edges of the polyhedron where any two consecutive elements of the sequence have a vertex and face in common, but no three consecutive edges share a commonface. For the regular polyhedra, the Petrie polygons form the equatorial skew polygons. Petrie polygons may be defined analogously for polytopes as well. Petrie polygons have been very useful in the study of polyhedra and polytopes, especially regular polytopes.
    [Show full text]
  • Regular Polyhedra Through Time
    Fields Institute I. Hubard Polytopes, Maps and their Symmetries September 2011 Regular polyhedra through time The greeks were the first to study the symmetries of polyhedra. Euclid, in his Elements showed that there are only five regular solids (that can be seen in Figure 1). In this context, a polyhe- dron is regular if all its polygons are regular and equal, and you can find the same number of them at each vertex. Figure 1: Platonic Solids. It is until 1619 that Kepler finds other two regular polyhedra: the great dodecahedron and the great icosahedron (on Figure 2. To do so, he allows \false" vertices and intersection of the (convex) faces of the polyhedra at points that are not vertices of the polyhedron, just as the I. Hubard Polytopes, Maps and their Symmetries Page 1 Figure 2: Kepler polyhedra. 1619. pentagram allows intersection of edges at points that are not vertices of the polygon. In this way, the vertex-figure of these two polyhedra are pentagrams (see Figure 3). Figure 3: A regular convex pentagon and a pentagram, also regular! In 1809 Poinsot re-discover Kepler's polyhedra, and discovers its duals: the small stellated dodecahedron and the great stellated dodecahedron (that are shown in Figure 4). The faces of such duals are pentagrams, and are organized on a \convex" way around each vertex. Figure 4: The other two Kepler-Poinsot polyhedra. 1809. A couple of years later Cauchy showed that these are the only four regular \star" polyhedra. We note that the convex hull of the great dodecahedron, great icosahedron and small stellated dodecahedron is the icosahedron, while the convex hull of the great stellated dodecahedron is the dodecahedron.
    [Show full text]
  • Convex Polytopes and Tilings with Few Flag Orbits
    Convex Polytopes and Tilings with Few Flag Orbits by Nicholas Matteo B.A. in Mathematics, Miami University M.A. in Mathematics, Miami University A dissertation submitted to The Faculty of the College of Science of Northeastern University in partial fulfillment of the requirements for the degree of Doctor of Philosophy April 14, 2015 Dissertation directed by Egon Schulte Professor of Mathematics Abstract of Dissertation The amount of symmetry possessed by a convex polytope, or a tiling by convex polytopes, is reflected by the number of orbits of its flags under the action of the Euclidean isometries preserving the polytope. The convex polytopes with only one flag orbit have been classified since the work of Schläfli in the 19th century. In this dissertation, convex polytopes with up to three flag orbits are classified. Two-orbit convex polytopes exist only in two or three dimensions, and the only ones whose combinatorial automorphism group is also two-orbit are the cuboctahedron, the icosidodecahedron, the rhombic dodecahedron, and the rhombic triacontahedron. Two-orbit face-to-face tilings by convex polytopes exist on E1, E2, and E3; the only ones which are also combinatorially two-orbit are the trihexagonal plane tiling, the rhombille plane tiling, the tetrahedral-octahedral honeycomb, and the rhombic dodecahedral honeycomb. Moreover, any combinatorially two-orbit convex polytope or tiling is isomorphic to one on the above list. Three-orbit convex polytopes exist in two through eight dimensions. There are infinitely many in three dimensions, including prisms over regular polygons, truncated Platonic solids, and their dual bipyramids and Kleetopes. There are infinitely many in four dimensions, comprising the rectified regular 4-polytopes, the p; p-duoprisms, the bitruncated 4-simplex, the bitruncated 24-cell, and their duals.
    [Show full text]
  • Representing the Sporadic Archimedean Polyhedra As Abstract Polytopes$
    CORE Metadata, citation and similar papers at core.ac.uk Provided by Elsevier - Publisher Connector Discrete Mathematics 310 (2010) 1835–1844 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: www.elsevier.com/locate/disc Representing the sporadic Archimedean polyhedra as abstract polytopesI Michael I. Hartley a, Gordon I. Williams b,∗ a DownUnder GeoSolutions, 80 Churchill Ave, Subiaco, 6008, Western Australia, Australia b Department of Mathematics and Statistics, University of Alaska Fairbanks, PO Box 756660, Fairbanks, AK 99775-6660, United States article info a b s t r a c t Article history: We present the results of an investigation into the representations of Archimedean Received 29 August 2007 polyhedra (those polyhedra containing only one type of vertex figure) as quotients of Accepted 26 January 2010 regular abstract polytopes. Two methods of generating these presentations are discussed, Available online 13 February 2010 one of which may be applied in a general setting, and another which makes use of a regular polytope with the same automorphism group as the desired quotient. Representations Keywords: of the 14 sporadic Archimedean polyhedra (including the pseudorhombicuboctahedron) Abstract polytope as quotients of regular abstract polyhedra are obtained, and summarised in a table. The Archimedean polyhedron Uniform polyhedron information is used to characterize which of these polyhedra have acoptic Petrie schemes Quotient polytope (that is, have well-defined Petrie duals). Regular cover ' 2010 Elsevier B.V. All rights reserved. Flag action Exchange map 1. Introduction Much of the focus in the study of abstract polytopes has been on the regular abstract polytopes. A publication of the first author [6] introduced a method for representing any abstract polytope as a quotient of regular polytopes.
    [Show full text]
  • Regular Incidence Complexes, Polytopes, and C-Groups
    Regular Incidence Complexes, Polytopes, and C-Groups Egon Schulte∗ Department of Mathematics Northeastern University, Boston, MA 02115, USA March 13, 2018 Abstract Regular incidence complexes are combinatorial incidence structures generalizing regu- lar convex polytopes, regular complex polytopes, various types of incidence geometries, and many other highly symmetric objects. The special case of abstract regular poly- topes has been well-studied. The paper describes the combinatorial structure of a regular incidence complex in terms of a system of distinguished generating subgroups of its automorphism group or a flag-transitive subgroup. Then the groups admitting a flag-transitive action on an incidence complex are characterized as generalized string C-groups. Further, extensions of regular incidence complexes are studied, and certain incidence complexes particularly close to abstract polytopes, called abstract polytope complexes, are investigated. Key words. abstract polytope, regular polytope, C-group, incidence geometries MSC 2010. Primary: 51M20. Secondary: 52B15; 51E24. arXiv:1711.02297v1 [math.CO] 7 Nov 2017 1 Introduction Regular incidence complexes are combinatorial incidence structures with very high combina- torial symmetry. The concept was introduced by Danzer [12, 13] building on Gr¨unbaum’s [17] notion of a polystroma. Regular incidence complexes generalize regular convex polytopes [7], regular complex polytopes [8, 42], various types of incidence geometries [4, 5, 21, 44], and many other highly symmetric objects. The terminology and notation is patterned after con- vex polytopes [16] and was ultimately inspired by Coxeter’s work on regular figures [7, 8]. ∗Email: [email protected] 1 The first systematic study of incidence complexes from the discrete geometry perspective occurred in [33] and the related publications [13, 34, 35, 36].
    [Show full text]
  • Locally Spherical Hypertopes from Generalized Cubes
    LOCALLY SPHERICAL HYPERTOPES FROM GENERLISED CUBES ANTONIO MONTERO AND ASIA IVIĆ WEISS Abstract. We show that every non-degenerate regular polytope can be used to construct a thin, residually-connected, chamber-transitive incidence geome- try, i.e. a regular hypertope, with a tail-triangle Coxeter diagram. We discuss several interesting examples derived when this construction is applied to gen- eralised cubes. In particular, we produce an example of a rank 5 finite locally spherical proper hypertope of hyperbolic type. 1. Introduction Hypertopes are particular kind of incidence geometries that generalise the no- tions of abstract polytopes and of hypermaps. The concept was introduced in [7] with particular emphasis on regular hypertopes (that is, the ones with highest de- gree of symmetry). Although in [6, 9, 8] a number of interesting examples had been constructed, within the theory of abstract regular polytopes much more work has been done. Notably, [20] and [22] deal with the universal constructions of polytopes, while in [3, 17, 18] the constructions with prescribed combinatorial conditions are explored. In another direction, in [2, 5, 11, 16] the questions of existence of poly- topes with prescribed (interesting) groups are investigated. Much of the impetus to the development of the theory of abstract polytopes, as well as the inspiration with the choice of problems, was based on work of Branko Grünbaum [10] from 1970s. In this paper we generalise the halving operation on polyhedra (see 7B in [13]) on a certain class of regular abstract polytopes to construct regular hypertopes. More precisely, given a regular non-degenerate n-polytope P, we construct a reg- ular hypertope H(P) related to semi-regular polytopes with tail-triangle Coxeter diagram.
    [Show full text]
  • Representing the Sporadic Archimedean Polyhedra As Abstract Polytopes
    REPRESENTING THE SPORADIC ARCHIMEDEAN POLYHEDRA AS ABSTRACT POLYTOPES MICHAEL I. HARTLEY AND GORDON I. WILLIAMS Abstract. We present the results of an investigation into the representations of Archimedean polyhedra (those polyhedra containing only one type of vertex gure) as quotients of regu- lar abstract polytopes. Two methods of generating these presentations are discussed, one of which may be applied in a general setting, and another which makes use of a regular poly- tope with the same automorphism group as the desired quotient. Representations of the 14 sporadic Archimedean polyhedra (including the pseudorhombicuboctahedron) as quotients of regular abstract polyhedra are obtained, and summarised in a table. The information is used to characterise which of these polyhedra have acoptic Petrie schemes (that is, have well-dened Petrie duals). 1. Introduction Much of the focus in the study of abstract polytopes has been on the study of the regular abstract polytopes. A publication of the rst author [Har99a] introduced a method for rep- resenting any abstract polytope as a quotient of regular polytopes. In the current work we present the application of this technique to the familiar, but still interesting, Archimedean polyhedra and discuss implications for the general theory of such representations that arose in trying to systematically develop these representations. We discuss the theory and presen- tations of the thirteen classical (uniform) Archimedean polyhedra as well as the pseudorhom- bicuboctahedron, which we will refer to as the fourteen sporadic Archimedean polyhedra. In a separate study, we will present and discuss the presentations for the two innite families of uniform convex polyhedra, the prisms and antiprisms.
    [Show full text]
  • Constructions of Chiral Polytopes of Small Rank
    Constructions of Chiral Polytopes of Small Rank Antonio Breda D’Azevedo Departamento de Matem´atica Universidade de Aveiro P 3800 Aveiro, Portugal and Gareth A. Jones School of Mathematics University of Southampton Southampton SO17 1BJ, United Kingdom and Egon Schulte∗ Department of Mathematics Northeastern University Boston, Massachusetts, USA, 02115 December 26, 2009 Abstract An abstract polytope of rank n is said to be chiral if its automorphism group has precisely two orbits on the flags, such that adjacent flags belong to distinct orbits. The present paper describes a general method for deriving new finite chiral polytopes from old finite chiral polytopes of the same rank. In particular, the technique is used to construct many new examples in ranks 3, 4 and 5. Key Words: abstract regular polytope, chiral polytope, chiral maps. AMS Subject Classification (2000): Primary: 51M20. Secondary: 52B15, 05C25. 1 Introduction Abstract polytopes are combinatorial structures with distinctive geometric, algebraic, or topological properties, in many ways more fascinating than convex polytopes and tessella- ∗Supported by NSA-grant H98230-07-1-0005 and NSF-grant DMS–0856675 1 tions. The most symmetric structures, the abstract regular polytopes, generalize the tra- ditional regular polytopes and regular tessellations and have been investigated extensively (see Coxeter [14] and McMullen & Schulte [41]). The abstract regular polytopes of rank 3 are (essentially) the maps on closed surfaces and have a long history of study across many areas of mathematics (see Coxeter & Moser [17] and Jones & Singerman [35]). By contrast, relatively little is known about (abstract) chiral polytopes, which form the most important class of nearly regular polytopes (see Schulte & Weiss [55]).
    [Show full text]
  • A New Petrie-Like Construction for Abstract Polytopes
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Combinatorial Theory, Series A 115 (2008) 997–1007 www.elsevier.com/locate/jcta A new Petrie-like construction for abstract polytopes Michael I. Hartley a,1, Dimitri Leemans b a University of Nottingham (Malaysia Campus), Jalan Broga, Semenyih, 43500 Selangor, Malaysia b Département de Mathématiques, Université Libre de Bruxelles, C.P. 216, Géométrie, Boulevard du Triomphe, B-1050 Bruxelles, Belgium Received 12 June 2007 Available online 15 January 2008 Communicated by Francis Buekenhout Abstract This article introduces a new construction for polytopes, that may be seen as a generalisation of the Petrie dual to higher ranks. Some theoretical results are derived regarding when the construction can be expected to work, and the construction is applied to some special cases. In particular, the generalised Petrie duals of the hypercubes are enumerated. © 2008 Elsevier Inc. All rights reserved. Keywords: Abstract regular polytopes; Petrial 1. Introduction The history of the study of regular polyhedra and regular polytopes began an important turning point when Coxeter popularised, in Section 2 of [1], the concept of the “Petrie polygon” of a polyhedron. Loosely, a Petrie polygon of a polyhedron P is a polygon whose vertices and edges are selected from those of P in such a way that any pair of successive edges, but no three consecutive edges, lie on the same face of P. Clearly, a Petrie polygon of a convex polyhedron is not planar. By way of example, the Petrie polygons of the cube are skew hexagons.
    [Show full text]
  • Download Paper
    Hyperseeing the Regular Hendecachoron Carlo H. Séquin Jaron Lanier EECS, UC Berkeley CET, UC Berkeley E-mail: [email protected] E-mail: [email protected] Abstract The hendecachoron is an abstract 4-dimensional polytope composed of eleven cells in the form of hemi-icosahedra. This paper tries to foster an understanding of this intriguing object of high symmetry by discussing its construction in bottom-up and top down ways and providing visualization by computer graphics models. 1. Introduction The hendecachoron (11-cell) is a regular self-dual 4-dimensional polytope [3] composed from eleven non-orientable, self-intersecting hemi-icosahedra. This intriguing object of high combinatorial symmetry was discovered in 1976 by Branko Grünbaum [3] and later rediscovered and analyzed from a group theoretic point of view by H.S.M. Coxeter [2]. Freeman Dyson, the renowned physicist, was also much intrigued by this shape and remarked in an essay: “Plato would have been delighted to know about it.” Figure 1: Symmetrical arrangement of five hemi-icosahedra, forming a partial Hendecachoron. For most people it is hopeless to try to understand this highly self-intersecting, single-sided polytope as an integral object. In the 1990s Nat Friedman introduced the term hyper-seeing for gaining a deeper understanding of an object by viewing it from many different angles. Thus to explain the convoluted geometry of the 11-cell, we start by looking at a step-wise, bottom-up construction (Fig.1) of this 4- dimensional polytope from its eleven boundary cells in the form of hemi-icosahedra. But even the structure of these single-sided, non-orientable boundary cells takes some effort to understand; so we start by looking at one of the simplest abstract polytopes of this type: the hemicube.
    [Show full text]
  • Arxiv:Math/0503389V1
    Fields Institute Communications Volume 00, 0000 Regular and chiral polytopes in low dimensions Peter McMullen University College London Gower Street London WC1E 6BT, England [email protected] Egon Schulte Northeastern University Boston, MA 02115, USA [email protected] Abstract. There are two main thrusts in the theory of regular and chi- ral polytopes: the abstract, purely combinatorial aspect, and the geo- metric one of realizations. This brief survey concentrates on the latter. The dimension of a faithful realization of a finite abstract regular poly- tope in some euclidean space is no smaller than its rank, while that of a chiral polytope must strictly exceed the rank. There are similar restric- tions on the dimensions of realizations of regular and chiral apeirotopes. From the viewpoint of realizations in a fixed dimension, the problems are now completely solved in up to three dimensions, while considerable progress has been made on the classification in four dimensions, the fi- nite regular case again having been solved. This article reports on what has been done already, and what might be expected in the near future. 1 Introduction Donald Coxeter’s work on regular polytopes and groups of reflexions is often viewed as his most important contribution. At its heart lies a dialogue between geometry and algebra which was so characteristic for his mathematics (see, for example, [4, 5, 7]). This paper is yet more evidence for his lasting influence on arXiv:math/0503389v1 [math.MG] 18 Mar 2005 generations of geometers. In [16] (see also [17, Sections 7E, 7F]), we classified completely all the faith- fully realized regular polytopes and discrete regular apeirotopes in dimensions up to three.
    [Show full text]