From Klein's Platonic Solids to Kepler's

Total Page:16

File Type:pdf, Size:1020Kb

From Klein's Platonic Solids to Kepler's Dessin d'Enfants Examples due to Magot and Zvonkin Moduli Spaces From Klein's Platonic Solids to Kepler's Archimedean Solids: Elliptic Curves and Dessins d'Enfants Part II Edray Herber Goins Department of Mathematics Purdue University September 7, 2012 Number Theory Seminar From Klein's Platonic Solids to Kepler's Archimedean Solids Dessin d'Enfants Examples due to Magot and Zvonkin Moduli Spaces Abstract In 1884, Felix Klein wrote his influential book, \Lectures on the Icosahedron," where he explained how to express the roots of any quintic polynomial in terms of elliptic modular functions. His idea was to relate rotations of the icosahedron with the automorphism group of 5-torsion points on a suitable elliptic curve. In fact, he created a theory which related rotations of each of the five regular solids (the tetrahedron, cube, octahedron, icosahedron, and dodecahedron) with the automorphism groups of 3-, 4-, and 5-torsion points. Using modern language, the functions which relate the rotations with elliptic curves are Bely˘ımaps. In 1984, Alexander Grothendieck introduced the concept of a Dessin d'Enfant in order to understand Galois groups via such maps. We will complete a circle of ideas by reviewing Klein's theory with an emphasis on the octahedron; explaining how to realize the five regular solids (the Platonic solids) as well as the thirteen semi-regular solids (the Archimedean solids) as Dessins d'Enfant; and discussing how the corresponding Bely˘ımaps relate to moduli spaces of elliptic curves. Number Theory Seminar From Klein's Platonic Solids to Kepler's Archimedean Solids Dessin d'Enfants Examples due to Magot and Zvonkin Moduli Spaces Outline of Talk 1 Dessin d'Enfants Platonic Solids Klein's Theory of Covariants Bely˘ı’sTheorem 2 Examples due to Magot and Zvonkin Rotation Group Dn Rotation Groups A4 and S4 Rotation Group A5 3 Moduli Spaces X (3), X (4), and X (5) X0(2), X (2), and X (2; 4) Torsion on Elliptic Curves Number Theory Seminar From Klein's Platonic Solids to Kepler's Archimedean Solids Dessin d'Enfants Platonic Solids Examples due to Magot and Zvonkin Klein's Theory of Covariants Moduli Spaces Bely˘ı’sTheorem Recap Number Theory Seminar From Klein's Platonic Solids to Kepler's Archimedean Solids Dessin d'Enfants Platonic Solids Examples due to Magot and Zvonkin Klein's Theory of Covariants Moduli Spaces Bely˘ı’sTheorem What is a Platonic Solid? A regular, convex polyhedron is one of the collections of vertices 1 V = (z1 : z0) 2 P (C) δ(z1; z0) = 0 in terms of the homogeneous polynomials 8 n n z1 + z0 for the regular polygon, > > >z z 3 − z 3 for the tetrahedron, > 1 1 0 > > 4 4 >z1 z0 z1 − z0 for the octahedron, <> δ(z ; z ) = 8 4 4 8 1 0 z1 + 14 z1 z0 + z0 for the cube, > > 10 5 5 10 >z1 z0 z1 − 11 z1 z0 − z0 for the icosahedron, > > 20 15 5 10 10 > z1 + 228 z1 z0 + 494 z1 z0 > for the dodecahedron. :> 5 15 20 − 228 z1 z0 + z0 2 We embed V ,! S (R) into the unit sphere via stereographic projection. Number Theory Seminar From Klein's Platonic Solids to Kepler's Archimedean Solids Dessin d'Enfants Platonic Solids Examples due to Magot and Zvonkin Klein's Theory of Covariants Moduli Spaces Bely˘ı’sTheorem http://mathworld.wolfram.com/RegularPolygon.html http://en.wikipedia.org/wiki/Platonic_solids Number Theory Seminar From Klein's Platonic Solids to Kepler's Archimedean Solids Dessin d'Enfants Platonic Solids Examples due to Magot and Zvonkin Klein's Theory of Covariants Moduli Spaces Bely˘ı’sTheorem Rigid Rotations of the Platonic Solids 1 1 Recall the action ◦ : PSL2(C) × P (C) ! P (C). We seek Galois extensions Q(ζn; z)=Q(ζn; j) for rational j(z). n 2 n 2 Zn = r r = 1 and Dn = r; s s = r = (s r) = 1 are the rigid rotations of the regular convex polygons, with n 1 n 6912 z r(z) = ζn z; s(z) = ; and j(z) = 1728 z or : z (zn + 1)2 2 3 3 A4 = r; s s = r = (s r) = 1 ' PSL2(F3) are the rigid rotations of the tetrahedron, with 1 − z 27 (8 z3 + 1)3 r(z) = ζ3 z; s(z) = ; and j(z) = − : 2 z + 1 z3 (z3 − 1)3 2 3 4 S4 = r; s s = r = (s r) = 1 ' PGL2(F3) ' PSL2(Z=4 Z) are the rigid rotations of the octahedron and the cube, with 8 4 3 ζ4 + z 1 − z 16 (z + 14 z + 1) r(z) = ; s(z) = ; and j(z) = : 4 4 4 ζ4 − z 1 + z z (z − 1) 2 3 5 A5 = r; s s = r = (s r) = 1 ' PSL2(F4) ' PSL2(F5) are the rigid rotations of the icosahedron and the dodecahedron, with 4 4 20 15 10 5 3 ζ5 + ζ5 ζ5 − z ζ5 + ζ5 − z (z + 228 z + 494 z − 228 z + 1) r(z) = ; s(z) = ; j(z) = : 4 4 5 10 5 5 ζ5 + ζ5 z + ζ5 ζ5 + ζ5 z + 1 z (z − 11 z − 1) Number Theory Seminar From Klein's Platonic Solids to Kepler's Archimedean Solids Dessin d'Enfants Platonic Solids Examples due to Magot and Zvonkin Klein's Theory of Covariants Moduli Spaces Bely˘ı’sTheorem Klein's Theory of Covariants Theorem (Felix Klein, 1884) The rational function 8 8 z3 + 13 >−27 for n = 3, > z3 (z3 − 1)3 > <> z8 + 14 z4 + 13 j(z) = 16 for n = 4, 4 4 4 > z (z − 1) > 20 15 10 5 3 > z + 228 z + 494 z − 228 z + 1 :> for n = 5; z5 (z10 − 11 z5 − 1)5 2 3 n is invariant under the group G = r; s s = r = (s r) = 1 expressed in terms of the generators 8 8 1 − z ζ3 z for n = 3, > for n = 3, > > 2 z + 1 > > <> ζ4 + z <> 1 − z r(z) = for n = 4, s(z) = for n = 4, ζ4 − z 1 + z > 4 > 4 > ζ5 + ζ5 ζ5 − z > ζ5 + ζ5 − z > for n = 5; > for n = 5. : 4 :> 4 ζ5 + ζ5 z + ζ5 ζ5 + ζ5 z + 1 In particular, Gal Q(ζn; z)=Q(ζn; j) ' G ' PSL2(Z=n Z). Number Theory Seminar From Klein's Platonic Solids to Kepler's Archimedean Solids Dessin d'Enfants Platonic Solids Examples due to Magot and Zvonkin Klein's Theory of Covariants Moduli Spaces Bely˘ı’sTheorem Elliptic Curves Associated to Principal Polynomials Theorem (Felix Klein, 1884; G, 1999) n n−3 Set n = 3; 4; 5. Let q(x) = x + A x + ··· + B x + C be over K = Q(ζn) with splitting field L, and assume that Gal(L=K) ' PSL2(Z=n Z). Then there exists j 2 K such that LK = K(E[n]x ) is the field generated by the x-coordinates of the n-torsion of an elliptic curve E with invariant j. If we define the rational functions 8 8 z3 + 1 > > for n = 3, > z (z3 − 1) > > > 2 2 2 <> (1 + ζ4) z − (1 + ζ4) z − ζ4 z − (1 − ζ4) z + ζ4 z + (1 + ζ4) z − ζ4 λ(z) = for n = 4, z (z4 − 1) > > > h i2 h i2 h i2 > z2 + 1 z2 + 2 ζ + ζ 4 z − 1 z2 + 2 ζ 2 + ζ 3 z − 1 > 5 5 5 5 > + 3 for n = 5; : z z10 − 11 z5 − 1 then we have the polynomials 8 3 1 >x + for n = 3, > > j > " # > Y 1 < 32 4 q(x) = x − = x4 + x + for n = 4, ν j j ν λ ζn z > > > > 5 40 2 5 1 :>x − x − x − for n = 5. j j j Number Theory Seminar From Klein's Platonic Solids to Kepler's Archimedean Solids Dessin d'Enfants Platonic Solids Examples due to Magot and Zvonkin Klein's Theory of Covariants Moduli Spaces Bely˘ı’sTheorem Motivating Question 1 Let X be a compact Riemann surface. Fix a function φ : X ! P (C). For each z in the inverse image of the thrice punctured sphere −1 1 φ P (C) − f0; 1; 1g ⊆ X form the elliptic curve 3 2 1728 E : y 2 = x 3 + x + where j(E) = : φ(z) − 1 φ(z) − 1 φ(z) What are the properties of this elliptic curve? 1 Which types of functions φ : X ! P (C) are allowed? If φ(z) has \lots of symmetries," how does this translate into properties of the torsion elements K(E[n]x )? Number Theory Seminar From Klein's Platonic Solids to Kepler's Archimedean Solids Dessin d'Enfants Platonic Solids Examples due to Magot and Zvonkin Klein's Theory of Covariants Moduli Spaces Bely˘ı’sTheorem Bely˘ıMaps Theorem (Andr´eWeil, 1956; Gennadi˘ıVladimirovich Bely˘ı,1979) A compact, connected Riemann surface X can be defined by a polynomial P i j equation i;j aij z w = 0 where the coefficients aij are not transcendental if 1 and only if there exists a rational function φ : X ! P (C) which has at most three critical values 0; 1; 1 . \This discovery, which is technically so simple, made a very strong impression on me, and it represents a decisive turning point in the course of my reflections, a shift in particular of my centre of interest in mathematics, which suddenly found itself strongly focused. I do not believe that a mathematical fact has ever struck me quite so strongly as this one, nor had a comparable psychological impact. { Alexander Grothendieck, Esquisse d'un Programme (1984) Definition 1 A rational function φ : X ! P (C) which has at most three critical values 0; 1; 1 is called a Bely˘ımap.
Recommended publications
  • Final Poster
    Associating Finite Groups with Dessins d’Enfants Luis Baeza, Edwin Baeza, Conner Lawrence, and Chenkai Wang Abstract Platonic Solids Rotation Group Dn: Regular Convex Polygon Approach Each finite, connected planar graph has an automorphism group G;such Following Magot and Zvonkin, reduce to easier cases using “hypermaps” permutations can be extended to automorphisms of the Riemann sphere φ : P1(C) P1(C), then composing β = φ f where S 2(R) P1(C). In 1984, Alexander Grothendieck, inspired by a result of f : 1( ) ! 1( )isaBely˘ımapasafunctionofeither◦ zn or ' P C P C Gennadi˘ıBely˘ıfrom 1979, constructed a finite, connected planar graph 4 zn/(zn +1)! 2 such that Aut(f ) Z or Aut(f ) D ,respectively. ' n ' n ∆β via certain rational functions β(z)=p(z)/q(z)bylookingatthe inverse image of the interval from 0 to 1. The automorphisms of such a Hypermaps: Rotation Group Zn graph can be identified with the Galois group Aut(β)oftheassociated 1 1 rational function β : P (C) P (C). In this project, we investigate how Rigid Rotations of the Platonic Solids I Wheel/Pyramids (J1, J2) ! w 3 (w +8) restrictive Grothendieck’s concept of a Dessin d’Enfant is in generating all n 2 I φ(w)= 1 1 z +1 64 (w 1) automorphisms of planar graphs. We discuss the rigid rotations of the We have an action : PSL2(C) P (C) P (C). β(z)= : v = n + n, e =2 n, f =2 − n ◦ ⇥ 2 !n 2 4 zn · Platonic solids (the tetrahedron, cube, octahedron, icosahedron, and I Zn = r r =1 and Dn = r, s s = r =(sr) =1 are the rigid I Cupola (J3, J4, J5) dodecahedron), the Archimedean solids, the Catalan solids, and the rotations of the regular convex polygons,with 4w 4(w 2 20w +105)3 I φ(w)= − ⌦ ↵ ⌦ 1 ↵ Rotation Group A4: Tetrahedron 3 2 Johnson solids via explicit Bely˘ımaps.
    [Show full text]
  • Archimedean Solids
    University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln MAT Exam Expository Papers Math in the Middle Institute Partnership 7-2008 Archimedean Solids Anna Anderson University of Nebraska-Lincoln Follow this and additional works at: https://digitalcommons.unl.edu/mathmidexppap Part of the Science and Mathematics Education Commons Anderson, Anna, "Archimedean Solids" (2008). MAT Exam Expository Papers. 4. https://digitalcommons.unl.edu/mathmidexppap/4 This Article is brought to you for free and open access by the Math in the Middle Institute Partnership at DigitalCommons@University of Nebraska - Lincoln. It has been accepted for inclusion in MAT Exam Expository Papers by an authorized administrator of DigitalCommons@University of Nebraska - Lincoln. Archimedean Solids Anna Anderson In partial fulfillment of the requirements for the Master of Arts in Teaching with a Specialization in the Teaching of Middle Level Mathematics in the Department of Mathematics. Jim Lewis, Advisor July 2008 2 Archimedean Solids A polygon is a simple, closed, planar figure with sides formed by joining line segments, where each line segment intersects exactly two others. If all of the sides have the same length and all of the angles are congruent, the polygon is called regular. The sum of the angles of a regular polygon with n sides, where n is 3 or more, is 180° x (n – 2) degrees. If a regular polygon were connected with other regular polygons in three dimensional space, a polyhedron could be created. In geometry, a polyhedron is a three- dimensional solid which consists of a collection of polygons joined at their edges. The word polyhedron is derived from the Greek word poly (many) and the Indo-European term hedron (seat).
    [Show full text]
  • Can Every Face of a Polyhedron Have Many Sides ?
    Can Every Face of a Polyhedron Have Many Sides ? Branko Grünbaum Dedicated to Joe Malkevitch, an old friend and colleague, who was always partial to polyhedra Abstract. The simple question of the title has many different answers, depending on the kinds of faces we are willing to consider, on the types of polyhedra we admit, and on the symmetries we require. Known results and open problems about this topic are presented. The main classes of objects considered here are the following, listed in increasing generality: Faces: convex n-gons, starshaped n-gons, simple n-gons –– for n ≥ 3. Polyhedra (in Euclidean 3-dimensional space): convex polyhedra, starshaped polyhedra, acoptic polyhedra, polyhedra with selfintersections. Symmetry properties of polyhedra P: Isohedron –– all faces of P in one orbit under the group of symmetries of P; monohedron –– all faces of P are mutually congru- ent; ekahedron –– all faces have of P the same number of sides (eka –– Sanskrit for "one"). If the number of sides is k, we shall use (k)-isohedron, (k)-monohedron, and (k)- ekahedron, as appropriate. We shall first describe the results that either can be found in the literature, or ob- tained by slight modifications of these. Then we shall show how two systematic ap- proaches can be used to obtain results that are better –– although in some cases less visu- ally attractive than the old ones. There are many possible combinations of these classes of faces, polyhedra and symmetries, but considerable reductions in their number are possible; we start with one of these, which is well known even if it is hard to give specific references for precisely the assertion of Theorem 1.
    [Show full text]
  • Chiral Polyhedra Derived from Coxeter Diagrams and Quaternions
    SQU Journal for Science, 16 (2011) 82-101 © 2011 Sultan Qaboos University Chiral Polyhedra Derived from Coxeter Diagrams and Quaternions Mehmet Koca, Nazife Ozdes Koca* and Muna Al-Shueili Department of Physics, College of Science, Sultan Qaboos University, P.O.Box 36, Al- Khoud, 123 Muscat, Sultanate of Oman, *Email: [email protected]. متعددات السطوح اليدوية المستمدة من أشكال كوكزتر والرباعيات مهمت كوجا، نزيفة كوجا و منى الشعيلي ملخص: هناك متعددات أسطح ٌدوٌان أرخمٌدٌان: المكعب المسطوح والثنعشري اﻷسطح المسطوح مع أشكالها الكتﻻنٌة المزدوجة: رباعٌات السطوح العشرونٌة الخماسٌة مع رباعٌات السطوح السداسٌة الخماسٌة. فً هذا البحث نقوم برسم متعددات السطوح الٌدوٌة مع مزدوجاتها بطرٌقة منظمة. نقوم باستخدام المجموعة الجزئٌة الدورانٌة الحقٌقٌة لمجموعات كوكستر ( WAAAWAWB(1 1 1 ), ( 3 ), ( 3 و WH()3 ﻻشتقاق المدارات الممثلة لﻷشكال. هذه الطرٌقة تقودنا إلى رسم المتعددات اﻷسطح التالٌة: رباعً الوجوه وعشرونً الوجوه و المكعب المسطوح و الثنعشري السطوح المسطوح على التوالً. لقد أثبتنا أنه بإمكان رباعً الوجوه وعشرونً الوجوه التحول إلى صورتها المرآتٌة بالمجموعة الثمانٌة الدورانٌة الحقٌقٌة WBC()/32. لذلك ﻻ ٌمكن تصنٌفها كمتعددات أسطح ٌدوٌة. من المﻻحظ أٌضا أن رؤوس المكعب المسطوح ورؤوس الثنعشري السطوح المسطوح ٌمكن اشتقاقها من المتجهات المجموعة خطٌا من الجذور البسٌطة وذلك باستخدام مجموعة الدوران الحقٌقٌة WBC()/32 و WHC()/32 على التوالً. من الممكن رسم مزدوجاتها بجمع ثﻻثة مدارات من المجموعة قٌد اﻻهتمام. أٌضا نقوم بإنشاء متعددات اﻷسطح الشبه منتظمة بشكل عام بربط متعددات اﻷسطح الٌدوٌة مع صورها المرآتٌة. كنتٌجة لذلك نحصل على مجموعة البٌروهٌدرال كمجموعة جزئٌة من مجموعة الكوكزتر WH()3 ونناقشها فً البحث. الطرٌقة التً نستخدمها تعتمد على الرباعٌات. ABSTRACT: There are two chiral Archimedean polyhedra, the snub cube and snub dodecahedron together with their dual Catalan solids, pentagonal icositetrahedron and pentagonal hexacontahedron.
    [Show full text]
  • BY S. RAMASESHAN Number of Diffaent Kinds of Planes Permitted By
    BY S. RAMASESHAN (From thy Department ef Physics, Indian Institute of Science, Bangalore) Received for publication June 20, 1916 (Communicated by Sir C. V. Raman, ~t.,F. R.s., N.L.) number of diffaent kinds of planes permitted by the law of rational indices to appear as faces on a crystal is practically unlimited. The number of "forms " actually observed, however, is limited and there is a decided preference for a few amongst them. This is one of the most striking facts of geometric crystallography and its explanation is obviously of importance. Pierre Curie (1885) stressed the role played by the surface energy of the faces in determining the " forms " of the crystal. According to him, the different faces of a crystal have different surface energies and the form of the crystal as a whole is determined by the condition that the total surface energy of the crystal should be a minimum. According to W. Gibbs (1877), on the other hand, it is the velocity of growth in different directions which is the determining factor, while the surface energy of the crystal plays a subordi- nate role and is only effective in the case of crystals of submicroscopic size, We have little direct knowledge as to how diamond is actually formed in nature. It is necessary, therefore, to rely upon the indications furnished by the observed forms of the crystals. One of the most remarkable facts about diamond is the curvature of the faces which is a very common and marked feature. This is particularly noticeable in the case of the diamonds found in the State of Panna in Central India.
    [Show full text]
  • How Platonic and Archimedean Solids Define Natural Equilibria of Forces for Tensegrity
    How Platonic and Archimedean Solids Define Natural Equilibria of Forces for Tensegrity Martin Friedrich Eichenauer The Platonic and Archimedean solids are a well-known vehicle to describe Research Assistant certain phenomena of our surrounding world. It can be stated that they Technical University Dresden define natural equilibria of forces, which can be clarified particularly Faculty of Mathematics Institute of Geometry through the packing of spheres. [1][2] To solve the problem of the densest Germany packing, both geometrical and mechanical approach can be exploited. The mechanical approach works on the principle of minimal potential energy Daniel Lordick whereas the geometrical approach searches for the minimal distances of Professor centers of mass. The vertices of the solids are given by the centers of the Technical University Dresden spheres. Faculty of Geometry Institute of Geometry If we expand this idea by a contrary force, which pushes outwards, we Germany obtain the principle of tensegrity. We can show that we can build up regular and half-regular polyhedra by the interaction of physical forces. Every platonic and Archimedean solid can be converted into a tensegrity structure. Following this, a vast variety of shapes defined by multiple solids can also be obtained. Keywords: Platonic Solids, Archimedean Solids, Tensegrity, Force Density Method, Packing of Spheres, Modularization 1. PLATONIC AND ARCHIMEDEAN SOLIDS called “kissing number” problem. The kissing number problem is asking for the maximum possible number of Platonic and Archimedean solids have systematically congruent spheres, which touch another sphere of the been described in the antiquity. They denominate all same size without overlapping. In three dimensions the convex polyhedra with regular faces and uniform vertices kissing number is 12.
    [Show full text]
  • The Crystal Forms of Diamond and Their Significance
    THE CRYSTAL FORMS OF DIAMOND AND THEIR SIGNIFICANCE BY SIR C. V. RAMAN AND S. RAMASESHAN (From the Department of Physics, Indian Institute of Science, Bangalore) Received for publication, June 4, 1946 CONTENTS 1. Introductory Statement. 2. General Descriptive Characters. 3~ Some Theoretical Considerations. 4. Geometric Preliminaries. 5. The Configuration of the Edges. 6. The Crystal Symmetry of Diamond. 7. Classification of the Crystal Forros. 8. The Haidinger Diamond. 9. The Triangular Twins. 10. Some Descriptive Notes. 11. The Allo- tropic Modifications of Diamond. 12. Summary. References. Plates. 1. ~NTRODUCTORY STATEMENT THE" crystallography of diamond presents problems of peculiar interest and difficulty. The material as found is usually in the form of complete crystals bounded on all sides by their natural faces, but strangely enough, these faces generally exhibit a marked curvature. The diamonds found in the State of Panna in Central India, for example, are invariably of this kind. Other diamondsJas for example a group of specimens recently acquired for our studies ffom Hyderabad (Deccan)--show both plane and curved faces in combination. Even those diamonds which at first sight seem to resemble the standard forms of geometric crystallography, such as the rhombic dodeca- hedron or the octahedron, are found on scrutiny to exhibit features which preclude such an identification. This is the case, for example, witb. the South African diamonds presented to us for the purpose of these studŸ by the De Beers Mining Corporation of Kimberley. From these facts it is evident that the crystallography of diamond stands in a class by itself apart from that of other substances and needs to be approached from a distinctive stand- point.
    [Show full text]
  • Sink Or Float? Thought Problems in Math and Physics
    AMS / MAA DOLCIANI MATHEMATICAL EXPOSITIONS VOL AMS / MAA DOLCIANI MATHEMATICAL EXPOSITIONS VOL 33 33 Sink or Float? Sink or Float: Thought Problems in Math and Physics is a collection of prob- lems drawn from mathematics and the real world. Its multiple-choice format Sink or Float? forces the reader to become actively involved in deciding upon the answer. Thought Problems in Math and Physics The book’s aim is to show just how much can be learned by using everyday Thought Problems in Math and Physics common sense. The problems are all concrete and understandable by nearly anyone, meaning that not only will students become caught up in some of Keith Kendig the questions, but professional mathematicians, too, will easily get hooked. The more than 250 questions cover a wide swath of classical math and physics. Each problem s solution, with explanation, appears in the answer section at the end of the book. A notable feature is the generous sprinkling of boxes appearing throughout the text. These contain historical asides or A tub is filled Will a solid little-known facts. The problems themselves can easily turn into serious with lubricated aluminum or tin debate-starters, and the book will find a natural home in the classroom. ball bearings. cube sink... ... or float? Keith Kendig AMSMAA / PRESS 4-Color Process 395 page • 3/4” • 50lb stock • finish size: 7” x 10” i i \AAARoot" – 2009/1/21 – 13:22 – page i – #1 i i Sink or Float? Thought Problems in Math and Physics i i i i i i \AAARoot" – 2011/5/26 – 11:22 – page ii – #2 i i c 2008 by The
    [Show full text]
  • Uniform Panoploid Tetracombs
    Uniform Panoploid Tetracombs George Olshevsky TETRACOMB is a four-dimensional tessellation. In any tessellation, the honeycells, which are the n-dimensional polytopes that tessellate the space, Amust by definition adjoin precisely along their facets, that is, their ( n!1)- dimensional elements, so that each facet belongs to exactly two honeycells. In the case of tetracombs, the honeycells are four-dimensional polytopes, or polychora, and their facets are polyhedra. For a tessellation to be uniform, the honeycells must all be uniform polytopes, and the vertices must be transitive on the symmetry group of the tessellation. Loosely speaking, therefore, the vertices must be “surrounded all alike” by the honeycells that meet there. If a tessellation is such that every point of its space not on a boundary between honeycells lies in the interior of exactly one honeycell, then it is panoploid. If one or more points of the space not on a boundary between honeycells lie inside more than one honeycell, the tessellation is polyploid. Tessellations may also be constructed that have “holes,” that is, regions that lie inside none of the honeycells; such tessellations are called holeycombs. It is possible for a polyploid tessellation to also be a holeycomb, but not for a panoploid tessellation, which must fill the entire space exactly once. Polyploid tessellations are also called starcombs or star-tessellations. Holeycombs usually arise when (n!1)-dimensional tessellations are themselves permitted to be honeycells; these take up the otherwise free facets that bound the “holes,” so that all the facets continue to belong to two honeycells. In this essay, as per its title, we are concerned with just the uniform panoploid tetracombs.
    [Show full text]
  • On Some Properties of Distance in TO-Space
    Aksaray University Aksaray J. Sci. Eng. Journal of Science and Engineering Volume 4, Issue 2, pp. 113-126 e-ISSN: 2587-1277 doi: 10.29002/asujse.688279 http://dergipark.gov.tr/asujse http://asujse.aksaray.edu.tr Available online at Research Article On Some Properties of Distance in TO-Space Zeynep Can* Department of Mathematics, Faculty of Science and Letters, Aksaray University, Aksaray 68100, Turkey ▪Received Date: Feb 12, 2020 ▪Revised Date: Dec 21, 2020 ▪Accepted Date: Dec 24, 2020 ▪Published Online: Dec 25, 2020 Abstract The aim of this work is to investigate some properties of the truncated octahedron metric introduced in the space in further studies on metric geometry. With this metric, the 3- dimensional analytical space is a Minkowski geometry which is a non-Euclidean geometry in a finite number of dimensions. In a Minkowski geometry, the unit ball is a certain symmetric closed convex set instead of the usual sphere in Euclidean space. The unit ball of the truncated octahedron geometry is a truncated octahedron which is an Archimedean solid. In this study, 2 first, metric properties of truncated octahedron distance, 푑푇푂, in ℝ has been examined by 3 metric approach. Then, by using synthetic approach some distance formulae in ℝ푇푂, 3- dimensional analytical space furnished with the truncated octahedron metric has been found. Keywords Metric, Convex polyhedra, Truncated octahedron, Distance of a point to a line, Distance of a point to a plane, Distance between two lines *Corresponding Author: Zeynep Can, [email protected], 0000-0003-2656-5555 2017-2020©Published by Aksaray University 113 Zeynep Can (2020).
    [Show full text]
  • Are Your Polyhedra the Same As My Polyhedra?
    Are Your Polyhedra the Same as My Polyhedra? Branko Gr¨unbaum 1 Introduction “Polyhedron” means different things to different people. There is very little in common between the meaning of the word in topology and in geometry. But even if we confine attention to geometry of the 3-dimensional Euclidean space – as we shall do from now on – “polyhedron” can mean either a solid (as in “Platonic solids”, convex polyhedron, and other contexts), or a surface (such as the polyhedral models constructed from cardboard using “nets”, which were introduced by Albrecht D¨urer [17] in 1525, or, in a more mod- ern version, by Aleksandrov [1]), or the 1-dimensional complex consisting of points (“vertices”) and line-segments (“edges”) organized in a suitable way into polygons (“faces”) subject to certain restrictions (“skeletal polyhedra”, diagrams of which have been presented first by Luca Pacioli [44] in 1498 and attributed to Leonardo da Vinci). The last alternative is the least usual one – but it is close to what seems to be the most useful approach to the theory of general polyhedra. Indeed, it does not restrict faces to be planar, and it makes possible to retrieve the other characterizations in circumstances in which they reasonably apply: If the faces of a “surface” polyhedron are sim- ple polygons, in most cases the polyhedron is unambiguously determined by the boundary circuits of the faces. And if the polyhedron itself is without selfintersections, then the “solid” can be found from the faces. These reasons, as well as some others, seem to warrant the choice of our approach.
    [Show full text]
  • Arxiv:2105.14305V1 [Cs.CG] 29 May 2021
    Efficient Folding Algorithms for Regular Polyhedra ∗ Tonan Kamata1 Akira Kadoguchi2 Takashi Horiyama3 Ryuhei Uehara1 1 School of Information Science, Japan Advanced Institute of Science and Technology (JAIST), Ishikawa, Japan fkamata,[email protected] 2 Intelligent Vision & Image Systems (IVIS), Tokyo, Japan [email protected] 3 Faculty of Information Science and Technology, Hokkaido University, Hokkaido, Japan [email protected] Abstract We investigate the folding problem that asks if a polygon P can be folded to a polyhedron Q for given P and Q. Recently, an efficient algorithm for this problem has been developed when Q is a box. We extend this idea to regular polyhedra, also known as Platonic solids. The basic idea of our algorithms is common, which is called stamping. However, the computational complexities of them are different depending on their geometric properties. We developed four algorithms for the problem as follows. (1) An algorithm for a regular tetrahedron, which can be extended to a tetramonohedron. (2) An algorithm for a regular hexahedron (or a cube), which is much efficient than the previously known one. (3) An algorithm for a general deltahedron, which contains the cases that Q is a regular octahedron or a regular icosahedron. (4) An algorithm for a regular dodecahedron. Combining these algorithms, we can conclude that the folding problem can be solved pseudo-polynomial time when Q is a regular polyhedron and other related solid. Keywords: Computational origami folding problem pseudo-polynomial time algorithm regular poly- hedron (Platonic solids) stamping 1 Introduction In 1525, the German painter Albrecht D¨urerpublished his masterwork on geometry [5], whose title translates as \On Teaching Measurement with a Compass and Straightedge for lines, planes, and whole bodies." In the book, he presented each polyhedron by drawing a net, which is an unfolding of the surface of the polyhedron to a planar layout without overlapping by cutting along its edges.
    [Show full text]