Lecture 5: Regular and Chiral Abstract Polytopes
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Abstract Regular Polytopes
ENCYCLOPEDIA OF MATHEMATICS AND ITS APPLICATIONS Abstract Regular Polytopes PETER MMULLEN University College London EGON SCHULTE Northeastern University PUBLISHED BY THE PRESS SYNDICATE OF THE UNIVERSITY OF CAMBRIDGE The Pitt Building, Trumpington Street, Cambridge, United Kingdom CAMBRIDGE UNIVERSITY PRESS The Edinburgh Building, Cambridge CB2 2RU, UK 40 West 20th Street, New York, NY 10011-4211, USA 477 Williamstown Road, Port Melbourne, VIC 3207, Australia Ruiz de Alarc´on 13, 28014 Madrid, Spain Dock House, The Waterfront, Cape Town 8001, South Africa http://www.cambridge.org c Peter McMullen and Egon Schulte 2002 This book is in copyright. Subject to statutory exception and to the provisions of relevant collective licensing agreements, no reproduction of any part may take place without the written permission of Cambridge University Press. First published 2002 Printed in the United States of America Typeface Times New Roman 10/12.5 pt. System LATEX2ε [] A catalog record for this book is available from the British Library. Library of Congress Cataloging in Publication Data McMullen, Peter, 1955– Abstract regular polytopes / Peter McMullen, Egon Schulte. p. cm. – (Encyclopedia of mathematics and its applications) Includes bibliographical references and index. ISBN 0-521-81496-0 1. Polytopes. I. Schulte, Egon, 1955– II. Title. III. Series. QA691 .M395 2002 516.35 – dc21 2002017391 ISBN 0 521 81496 0 hardback Contents Preface page xiii 1 Classical Regular Polytopes 1 1A The Historical Background 1 1B Regular Convex Polytopes 7 1C Extensions -
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. -
Arxiv:Math/9906062V1 [Math.MG] 10 Jun 1999 Udo Udmna Eerh(Rn 96-01-00166)
Embedding the graphs of regular tilings and star-honeycombs into the graphs of hypercubes and cubic lattices ∗ Michel DEZA CNRS and Ecole Normale Sup´erieure, Paris, France Mikhail SHTOGRIN Steklov Mathematical Institute, 117966 Moscow GSP-1, Russia Abstract We review the regular tilings of d-sphere, Euclidean d-space, hyperbolic d-space and Coxeter’s regular hyperbolic honeycombs (with infinite or star-shaped cells or vertex figures) with respect of possible embedding, isometric up to a scale, of their skeletons into a m-cube or m-dimensional cubic lattice. In section 2 the last remaining 2-dimensional case is decided: for any odd m ≥ 7, star-honeycombs m m {m, 2 } are embeddable while { 2 ,m} are not (unique case of non-embedding for dimension 2). As a spherical analogue of those honeycombs, we enumerate, in section 3, 36 Riemann surfaces representing all nine regular polyhedra on the sphere. In section 4, non-embeddability of all remaining star-honeycombs (on 3-sphere and hyperbolic 4-space) is proved. In the last section 5, all cases of embedding for dimension d> 2 are identified. Besides hyper-simplices and hyper-octahedra, they are exactly those with bipartite skeleton: hyper-cubes, cubic lattices and 8, 2, 1 tilings of hyperbolic 3-, 4-, 5-space (only two, {4, 3, 5} and {4, 3, 3, 5}, of those 11 have compact both, facets and vertex figures). 1 Introduction arXiv:math/9906062v1 [math.MG] 10 Jun 1999 We say that given tiling (or honeycomb) T has a l1-graph and embeds up to scale λ into m-cube Hm (or, if the graph is infinite, into cubic lattice Zm ), if there exists a mapping f of the vertex-set of the skeleton graph of T into the vertex-set of Hm (or Zm) such that λdT (vi, vj)= ||f(vi), f(vj)||l1 = X |fk(vi) − fk(vj)| for all vertices vi, vj, 1≤k≤m ∗This work was supported by the Volkswagen-Stiftung (RiP-program at Oberwolfach) and Russian fund of fundamental research (grant 96-01-00166). -
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. -
Four-Dimensional Regular Polytopes
faculty of science mathematics and applied and engineering mathematics Four-dimensional regular polytopes Bachelor’s Project Mathematics November 2020 Student: S.H.E. Kamps First supervisor: Prof.dr. J. Top Second assessor: P. Kiliçer, PhD Abstract Since Ancient times, Mathematicians have been interested in the study of convex, regular poly- hedra and their beautiful symmetries. These five polyhedra are also known as the Platonic Solids. In the 19th century, the four-dimensional analogues of the Platonic solids were described mathe- matically, adding one regular polytope to the collection with no analogue regular polyhedron. This thesis describes the six convex, regular polytopes in four-dimensional Euclidean space. The focus lies on deriving information about their cells, faces, edges and vertices. Besides that, the symmetry groups of the polytopes are touched upon. To better understand the notions of regularity and sym- metry in four dimensions, our journey begins in three-dimensional space. In this light, the thesis also works out the details of a proof of prof. dr. J. Top, showing there exist exactly five convex, regular polyhedra in three-dimensional space. Keywords: Regular convex 4-polytopes, Platonic solids, symmetry groups Acknowledgements I would like to thank prof. dr. J. Top for supervising this thesis online and adapting to the cir- cumstances of Covid-19. I also want to thank him for his patience, and all his useful comments in and outside my LATEX-file. Also many thanks to my second supervisor, dr. P. Kılıçer. Furthermore, I would like to thank Jeanne for all her hospitality and kindness to welcome me in her home during the process of writing this thesis. -
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. -
On Regular Polytope Numbers
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 131, Number 1, Pages 65{75 S 0002-9939(02)06710-2 Article electronically published on June 12, 2002 ON REGULAR POLYTOPE NUMBERS HYUN KWANG KIM (Communicated by David E. Rohrlich) Abstract. Lagrange proved a theorem which states that every nonnegative integer can be written as a sum of four squares. This result can be generalized as the polygonal number theorem and the Hilbert-Waring problem. In this paper, we shall generalize Lagrange's sum of four squares theorem further. To each regular polytope V in a Euclidean space, we will associate a sequence of nonnegative integers which we shall call regular polytope numbers, and consider the problem of finding the order g(V )ofthesetofregularpolytope numbers associated to V . In 1770, Lagrange proved a theorem which states that every nonnegative integer can be written as a sum of four squares. There are two major generalizations of this beautiful result. One is a horizontal generalization due to Cauchy which is known as the polygonal number theorem, and the other is a higher dimensional generalization which is known as the Hilbert-Waring problem. A nonempty subset A of nonnegative integers is called a basis of order g if g is the minimum number with the property that every nonnegative integer can be written as a sum of g elements in A. Lagrange's sum of four squares can be restated as: the set n2 n =0; 1; 2;::: of nonnegative squares forms a basis of order 4. The polygonalf numbersj are sequencesg of nonnegative integers constructed geometrically from regular polygons. -
CONVEX and ABSTRACT POLYTOPES 1 Thursday, May 19, 2005 to Saturday, May, 21, 2005
CONVEX AND ABSTRACT POLYTOPES 1 Thursday, May 19, 2005 to Saturday, May, 21, 2005 MEALS Breakfast (Continental): 7:00 - 9:00 am, 2nd floor lounge, Corbett Hall, Friday & Saturday. Lunch (Buffet): 11:30 am - 1:30 pm, Donald Cameron Hall, Friday & Saturday. Dinner (Buffet): 5:30 - 7:30 pm, Donald Cameron Hall, Thursday & Friday. Coffee Breaks: As per daily schedule, 2nd floor lounge, Corbett Hall. **For other lighter meal options at the Banff Centre, there are two other options: Gooseberry’s Deli, located in the Sally Borden Building, and The Kiln Cafe, located beside Donald Cameron Hall. There are also plenty of restaurants and cafes in the town of Banff, a 10-15 minute walk from Corbett Hall.** MEETING ROOMS All lectures are held in Max Bell 159. Hours: 6 am - 12 midnight. LCD projector, overhead projectors and blackboards are available for presentations. Please note that the meeting space designated for BIRS is the lower level of Max Bell, Rooms 155-159. Please respect that all other space has been contracted to other Banff Centre guests, including any Food and Beverage in those areas. SCHEDULE Thursday 16:00 Check-in begins (Front Desk - Professional Development Centre - open 24 hours) 19:30 Informal gathering in 2nd floor lounge, Corbett Hall. Beverages and small assortment of snacks available in the lounge on a cash honour-system basis. Friday 9:15-10:05 C.Lee — Some Construction Techniques for Convex Polytopes. 10:15-10:35 J.Lawrence — Intersections of Convex Transversals. 10:45-11:15 Coffee Break, 2nd floor lounge, Corbett Hall. 11:15-11:35 R.Dawson — New Triangulations of the Sphere. -
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. -
3D Visualization Models of the Regular Polytopes in Four and Higher Dimensions
BRIDGES Mathematical Connections in Art, Music, and Science 3D Visualization Models of the Regular Polytopes in Four and Higher Dimensions Carlo H. Sequin Computer Science Division, EECS Department University of California, Berkeley, CA 94720 E-maih [email protected] Abstract This paper presents a tutorial review of the construction of all regular polytopes in spaces of all possible dimensions . .It focusses on how to make instructive, 3-dimensional, physical visualization models for the polytopes of dimensions 4 through 6, using solid free-form fabrication technology. 1. Introduction Polytope is a generalization of the terms in the sequence: point, segment, polygon, polyhedron ... [1]. Such a polytope is called regular, if all its elements (vertices, edges, faces, cells ... ) are indistinguishable, i.e., if there exists a group of spatial transformations (rotations, mirroring) that will bring the polytope into coverage with itself. Through these symmetry operations, it must be possible to transform any particular element of the polytope into any other chosen element of the same kind. In two dimensions, there exist infinitely many regular polygons; the first five are shown in Figure 1. • • • Figure 1: The simplest regular 2D polygons. In three-dimensional space, there are just five regular polyhedra -- the Platonic solids, and they can readily be depicted by using shaded perspective renderings (Fig.2). As we contemplate higher dimensions and the regular polytopes that they may admit, it becomes progressively harder to understand the geometry of these objects. Projections down to two (printable) dimensions discard a fair amount of information, and people often have difficulties comprehending even 4D polytopes, when only shown pictures or 2D graphs. -
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. -
REGULAR POLYTOPES in Zn Contents 1. Introduction 1 2. Some
REGULAR POLYTOPES IN Zn ANDREI MARKOV Abstract. In [3], all embeddings of regular polyhedra in the three dimen- sional integer lattice were characterized. Here, we prove some results toward solving this problem for all higher dimensions. Similarly to [3], we consider a few special polytopes in dimension 4 that do not have analogues in higher dimensions. We then begin a classification of hypercubes, and consequently regular cross polytopes in terms of the generalized duality between the two. Fi- nally, we investigate lattice embeddings of regular simplices, specifically when such simplices can be inscribed in hypercubes of the same dimension. Contents 1. Introduction 1 2. Some special cases, and a word on convexity. 2 3. Hypercubes and Cross Polytopes 4 4. Simplices 4 5. Corrections 6 Acknowledgments 7 References 7 1. Introduction Definition 1.1. A regular polytope is a polytope such that its symmetry group action is transitive on its flags. This definition is not all that important to what we wish to accomplish, as the classification of all such polytopes is well known, and can be found, for example, in [2]. The particulars will be introduced as each case comes up. Definition 1.2. The dual of a polytope of dimension n is the polytope formed by taking the centroids of the n − 1 cells to be its vertices. The dual of the dual of a regular polytope is homothetic to the original with respect to their mutual center. We will say that a polytope is \in Zn" if one can choose a set of points in the lattice of integer points in Rn such that the points can form the vertices of said polytope.