Abstract
One key problem in the theory of abstract polytopes is the so-called amalgamation problem. In its most general form, this is the problem of characterising the polytopes with given facets \(\mathcal {K}\) and vertex figures ℒ. The first step in solving it for particular \(\mathcal{K}\) and ℒ is to find the universal such polytope, which covers all the others. This article explains a construction that may be attempted on an arbitrary polytope ℘, which often yields an infinite family of finite polytopes covering ℘ and sharing its facets and vertex figures. The existence of such an infinite family proves that the universal polytope is infinite; alternatively, the construction can produce an explicit example of an infinite polytope of the desired type. An algorithm for attempting the construction is explained, along with sufficient conditions for it to work. The construction is applied to a few \(\mathcal{K}\) and ℒ for which it was previously not known whether or not the universal polytope was infinite, or for which only a finite number of finite polytopes was previously known. It is conjectured that the construction is quite broadly applicable.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Aschbacher, M.: Finite Group Theory. Cambridge University Press, Cambridge (2000)
Coxeter, H.S.M.: Ten toroids and fifty-seven hemi-dodecahedra. Geom. Dedic. 13, 87–99 (1982)
Coxeter, H.S.M.: A symmetrical arrangement of eleven hemi-icosahedra. Ann. Discrete Math. 20, 103–114 (1984)
Grünbaum, B.: Regularity of graphs, complexes and designs. In: Problèmes Combinatoires et Théorie des Graphes. Coll. Int. CNRS, vol. 260, pp. 191–197 (1977)
Hartley, M.I.: Combinatorially regular Euler polytopes. Ph.D. Dissertation, University of Western Australia (1996)
Hartley, M.I.: An atlas of small regular abstract polytopes. Period. Math. Hung. 53, 149–156 (2006). Web-based atlas at http://www.abstract-polytopes.com/atlas/
Hartley, M.I., Leemans, D.: Quotients of a universal locally projective polytope of type {5,3,5}. Math. Z. 247, 663–674 (2004)
Hartley, M.I., Leemans, D.: On the thin regular geometries of rank four for the Janko group J 1. Innov. Incid. Geom. 1, 181–190 (2005)
Hartley, M.I., Leemans, D.: On locally spherical polytopes of type {5,3,5}. Discrete Math. 309, 247–254 (2009)
Leemans, D., Vauthier, L.: An atlas of abstract regular polytopes for small groups. Aequ. Math. 72, 313–320 (2006)
McMullen, P., Schulte, E.: Abstract Regular Polytopes. Cambridge University Press, Cambridge (2002)
Monson, B., Schulte, E.: Modular reduction in abstract polytopes. Can. Math. Bull. 52, 425–450 (2009)
The GAP Group: GAP—Groups, Algorithms, and Programming, Version 4.4, http://www.gap-system.org (2005)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hartley, M.I. Covers ℘ for Abstract Regular Polytopes \(\mathcal {Q}\) such that \(\mathcal{Q}=\mathcal{P}/\mathbf{Z}_{p}^{k}\) . Discrete Comput Geom 44, 844–859 (2010). https://doi.org/10.1007/s00454-009-9234-7
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-009-9234-7