Discrete Comput Geom 17:449–478 (1997) GeometryDiscrete & Computational © 1997 Springer-Verlag New York Inc. Regular Polytopes in Ordinary Space P. McMullen1 and E. Schulte2 1Department of Mathematics, University College London, Gower Street, London WC1E 6BT, England
[email protected] 2Department of Mathematics, Northeastern University, Boston, MA 02115, USA
[email protected] Abstract. The three aims of this paper are to obtain the proof by Dress of the completeness of the enumeration of the Gr¨unbaum–Dress polyhedra (that is, the regular apeirohedra, or 3 apeirotopes of rank 3) in ordinary space E in a quicker and more perspicuous way, to give presentations of those of their symmetry groups which are affinely irreducible, and to 3 describe all the discrete regular apeirotopes of rank 4 in E . The paper gives a complete classification of the discrete regular polytopes in ordinary space. 1. Introduction The theory of regular polytopes has undergone a number of changes since its origins in the classification by the Greeks of the five regular (“Platonic”) solids, but most particularly during this century. At the forefront of this development is Coxeter, whose book Regular Polytopes [3] covers what might be called the classical theory. However, already in Coxeter’s work a more abstract approach begins to be manifested. One generalization of regular polyhedron is that of a regular map (see, for example, [4]). The starting point of the present paper is 1926, when Petrie found the two dual regular apeirohedra (infinite polyhedra) 4, 6 4 and 6, 4 4 in E3, which have planar faces but skew vertex-figures (these technical{ | } terms{ are| defined} in Section 2).