It's a Long Way to the Stars
or, The Sorry State of Polyhedron Theory Today

Recent changes

9 May 2022: Theoretical reappraisal essentially complete.

13 Apr 2021: Minor revisions.

Introduction

It's taking me a long time. The stellations of the regular icosahedron caught my imagination in the late 1990s. Stellation theory seemed to have been pretty much wrapped up by then, with the last word being spoken in 1938 when Coxeter, Du Val, Flather and Petrie published The Fifty-Nine Icosahedra. But on close examination of their work I was dissatisfied, their results didn't seem quite right. I set out to get to the bottom of things and to provide a more useful enumeration – it seemed straightforward enough, a nice little project. But what a journey it has turned out to be! I published a couple of essays and my web pages on stellation and facetting continued to flourish for a while but then went quiet. Recently they have begun to pick up again, as a way forward is at last beginning to shape itself. In the meantime, this note tries to explain what has been going on.

Historical overview

The ancient Greeks started it all. By the time of Plato the five convex regular solids had been discovered. Euclid went on to synthesise the geometry of space, constructing Plato's polyhedra as his crowning glory. Star and other non-convex polyhedra become popular during the Renaissance, leading eventually to Kepler's idea of stellation and his discovery of regular stars. A great explosion of synthetic geometry during the 18th and 19th Centuries, mainly in France and Germany, led to Cayley's understanding of the polar or dual relationships between the regular stars, and of their densities. At about the same time, Schläfli discovered higher-dimensional analogues of polygons and polyhedra which Stott later dubbed polytopes; polygons and polyhedra could now be understood as two- and three- dimensional examples of a more general theory of polytopes in any number of dimensions. Along the way various stellations of the regular bodies had been found and the dual relationship between the processes of stellation and facetting discovered. But it was not until JCP Miller proposed his set of rules that Coxeter and Du Val could enumerate those of the icosahedron. The final coda seemed to have been written when Bridge enumerated the facettings of the regular dodecahedron.

Broken theories

As I traced these developments laboriously back through the archives, I became more and more astonished. Only the ideas of non-convexity and higher dimensions stood up to rigorous scrutiny. Every one of the rest is at best half-baked and incomplete, and some are fatally flawed.

Miller's rules turn out to bear little relation to the Keplerian idea of stellation, ox extending edges or faces. Rather, they are based on ideas of spatial decomposition developed centuries later by Wheeler and others. They jump into the narrative of The Fifty-Nine Icosahedra as if from nowhere. Worse, they deliberately forbid any idea of internal structure and the idea of a "face" was changed subtly in meaning, greatly affecting the result.

Bridge enumerated only a handful of the possible facettings of the dodecahedron, confining himself to what we might call a tidiness of form. He even rejected certain facettings because the dual icosahedra were not tidy enough for him. Many of the fifty-nine icosahedra have duals which were evidently not tidy enough for him either. Even so, in some cases he described the duals of several distinct stellations, all sharing the same outward form as the same example of the fifty-nine, while differing in their internal structure. Meanwhile Wenninger observed that dualising the "hemi" uniform polyhedra created infinite stellation-like forms which appeared not to be polyhedra at all.

The question, "What is a polyhedron?" has never been properly answered, though it has been asked often enough. Definitions have ranged from solids to surfaces to skeleta to combinatorial point sets, to "realisations" of partially-ordered sets (abstract polytopes), while all sorts of features such as infinite extent, coincident elements and so on allowed by some investigators but not by others. Some definitions even contrast a polyhedron of any number of dimensions with a polytope of the same number, the difference (on which they cannot agree among themselves) being the relative treatment of the bounding surface. Today the debate rages perhaps stronger than ever (e.g. Abrams & Elkind, 2019). Particularly unfortunate is the habit of defining a polyhedron as a solid, then later describing tilings of the plane as "infinite polyhedra", remarking that they differ only in not being solids. This boils down to the logical absurdity that "a tiling is a solid which is not a solid": of course what has actually happened is an unconscious slip from polyhedra as solids to polyhedra as surfaces.

Our ideas of inside and outside are clouded by the popularity of two different and incompatible approaches; the one based on the idea of "outside" as containing infinitely many straight lines or flat planes, and the other on the idea of the surface wrapping round a dense interior. The idea works well enough for convex polytopes, but not in non-convex (re-entrant or self-intersecting) cases. The densities determined for regions within self-intersecting polygons and polyhedra depend on which of these approaches we take, whether the surface is orientable or not, how we choose to interpret a density of zero, and even what kind of space we placed our polyhedron in to start with.

The synthesis of geometry leads first not to Euclidean space but to general projective space. This latter space is the home of polarity, and in general the polar or reciprocal of some polyhedron is not at all what we have been led to believe: polyhedral duals are evidently something else.

Bad habits

I am not alone in seeking some way through the mess that is polyhedron theory today, and along with other investigators have noticed various obscuring principles at work.

One class of problem comes from our failure to define the things we are talking about, with any rigour. From the days of Euclid we have consistently failed to define a "polyhedron". Other ideas, such as their reciprocity or the kind of space we are putting them in, have since fallen into the same trap.

A related class of problem comes from a habit of twisting some well-understood term to a new meaning inconsistent with the old. Miller's rules are a prime example. Another is the way that modern analytical disciplines have adopted various definitions of polyhedra and polytopes which are quite alien to their origins in pure geometry and often inconsistent with each other.

Many principles first enunciated in ages past have become detached from their original context, in which they are perfectly valid, and enshrined in mathematical folklore. They then get applied willy-nilly out of context. The slip from solids to surfaces is one example. Others include: various of those specialised definitions being applied in another discipline, the assumption of Euclidean space, and the idea that every polyhedron has a dual which may be found by reciprocating it about a concentric sphere.

That last is also an example of the more general fault of unjustified generalisation from the particular. Prime examples here include taking results from the study of convex, symmetrical polyhedra and assuming that they apply also to non-convex or asymmetric polyhedra such as star pyramids. For the most part, they do not.

Then there is the habit of concept transfer (noted by Lakatos), a modern example being to provide some rather abstract but at least rigorous algebraic definition, then declaring a geometric polyhedron to be a "realisation" of the abstract form and assuming that the rigour of the abstract concept has solved all the problems. However at best this merely transfers all the old questions onto "what is a realisation?" Worse, it can disguise the fact that some of these abstract forms may not be what we want anyway – the theory of abstract polytopes allows figures which are inconsistent with Euler's and Poincaré's approaches and therefore have no definite surface topology.

And finally there can be a blindness to fundamental mathematical ideas such as continuity (a particular preoccupation of Grünbaum's), or to the distinction between regular polytopes and configurations (seen in that between the quadrilateral polygon and the complete quadrilateral and complete tetragon configurations) and even a deliberate blindness as to whether such blind spots matter.

Stating the problem

The whole thing is utterly shambolic and I am, as I said, astonished that this sorry state of affairs has been allowed to develop. The starting point goes right back to the foundations of geometry itself. As you have just seen, polyhedron theory really is that broken.

I came up with nine questions that needed answering, with each tending to build on the previous ones. I have now found answers to most of them, which I expand on elsewehere: a summary is given in the last section.

  1. What kinds of space can we do geometry in?
  2. The most basic kinds are incidence spaces, which may be discrete or continuous, finite or infinite. We can do quite a bit of geometry in these, for example we can construct certain partially-ordered sets called abstract polyhedra (or, more generally, abstract polytopes). Beyond these are what I call morphic spaces, which have a smooth continuity but no idea of absolute measurement, such as projective and affine spaces, and beyond these are concrete metric geometries with measurable lengths and angles, such as Euclidean, spherical, hyperbolic, elliptic and many others.

  3. Of these, which might be suitable for constructing polyhedra?
  4. Incidence spaces are too simple to be able to distinguish polyhedra from other constructions such as configurations. All the other kinds mentioned above are suitable, with projective space being the best starting point.

  5. What exactly is a polyhedron? And for that matter, what is a polygon or any polytope?
  6. A polyhedron is basically a lump of stuff whose surface is divided into faces, edges and corner points (vertices). The "stuff" is best thought of as magic rubber - not only can it stretch and shrink but it can pass through itself to allow star surfaces. Crucially, I follow abstract theory and relax the usual assumption that a polygonal face is necessarily disc-like, for example a star face may be a Möbius band. Similarly, the interior of the polyhedron may be inherently twisted. Indeed, to fully define a given polytope the interior of every element may have an arbitrary (but contiguous) topology and has to be defined. Typically we will want to map a polyhedron into ordinary Euclidean 3-space so that we can see it, although that is not strictly necessary. If our main interest lies with traditional (flat, disc-like faced or epipedal) polyhedra in 3-space, we must be explicit that we are confining ourselves to this variety.

  7. What are the "inside" and "outside" of a polyhedron?
  8. The inside is just the lump of magic rubber (contained within its outer surface). When it is placed in ordinary space, it may be twisted up to create a non-convex figure such as a star. Because we can choose different manifolds (such as a Möbius band) to "fill" inside a given boundary, the resulting star may or may not obey the usual "density" rule, depending on which manifold we choose and how it is then twisted up. The outside is merely the space where there is no rubber. Of course, we may choose to focus on the surface as our area (sic) of interest, but it is foolish in the extreme to forget that the solid filling is there and to ignore it entirely.

  9. Can a polyhedron have holes that are not topologically toroidal?
  10. Yes and no. All faces must be contiguous, unbroken surfaces, so holes made by cutting or precing the surface are forbidden. But some faces can be twisted up to leave toroidal holes in the middle even though the Euler value may disagree. And there can sometimes be "false" holes where the body wraps around some part of empty space, such as a long sausage shape bent round until the ends overlap.

  11. What exactly are polyhedral duality and reciprocation?
  12. Duality as we understand it is an unhappy blend of disparate notions. Structurally, as in graph and abstract theories, it is a property of any graph or abstract polytope. Geometrically, it is a deep theorem of projective geometry and the associated polar reciprocity. As such, its home is projective space and when we try to trasfer it to Euclidean geometry it is badly broken. Polyhedral reciprocation is broadly similar to projective polarity except that the edge, polar to a vertex, is that segment, of some line, which does not cross infinity (and likewise for faces). Commonly, the polyhedron is reciprocated about a concentric sphere or, if there is no centre of symmetry, the centre of gravity (average position) of its vertices; the result may be called the standard dual of that polyhedron and, if all edges of both polyhedra are tangent to the sphere then it is known as the canonical dual. Duality and reciprocation do not affect the interior characteristics of a polyhedron.

  13. Can we now say that any figure reciprocal to some polyhedron is also a polyhedron?
  14. Yes and no. Reciprocation is a purely geometrical operation whose home is in morphic projective space. Here, the answer is yes. But in other spaces the principle of reciprocity is broken and it can result in degenerate figures in which elements of the dual polyhedron may be duplicated or missing and so the answer there is no. Such a degenerate image can sometimes still have a valid "morphic" structure, in which case it is a morphic polyhedron but not a geometrical one.

  15. What exactly are the (reciprocal) processes of stellation and facetting?
  16. Stellation is the process of extending the faces of a polyhedron until they meet at new vertices to form a new polyhedron or set of polyhedra. The topology of the resulting figure may be radically different from the original. Facetting is the dual process of reducing the interior angles at each vertex to create new faces which form a new polyhedron or set of polyhedra. Both processes require a concrete or metric space such as Euclidean or one of the non-Euclidean geometries, in which flat sub-spaces can be constructed. They are thus alien to the abstract and morphic principles which underlie the previous answers. The essentially metric approach of spatial decomposition into cell sets is a symptom of this alien nature. Various special cases arise in consequence, and these still need careful investigation before I can say more.

  17. Which are the usefully distinct stellations and facettings of the regular polyhedra?
  18. Morphic theory acknowledges that several distinct star polyhedra may share the same outward form and that elements may overlap or even coincide. This adds significant complexity to any enumeration. My longstanding approach of working with precursors still looks like it is heading in the right direction (but at the time of writing needs radical revision). One can at least distinguish between a true stellation or facetting which encloses the original core at the centre of a new polyhedron or concentric compound, from a constellation in which the polyhedra are discrete. We might also define a cage, in which individual polyhedra are disposed externally to the original core but are also tangent to each other or intersect. Typically, a constellation will be dual to some cage, but the reverse is not always true.

Only the last two questions deal with stellation – the rest are all to do with the general theory of polyhedra. You can perhaps now understand why it is taking me such a long time to get to the bottom of things, especially as I am not in any way a professional mathematician.

A programme of work

Once I had at last found the starting point, I could begin to build back up towards something that might hold together a little better and perhaps even stand the test of time. A sequence of distinct stages of work grew out of the above analysis:

  1. Analyse the problem. This note has pretty much outlined that, though I ought perhaps to flesh out some more detail.
  2. Develop a foundational theory of polyhedra. I call this morphic theory and give a brief pointer below.
  3. Clarify polyhedral duality and its relation to polyhedral reciprocation. This is done, but I still need to write up the more advanced details.
  4. Understand the dual relationships of stellations and facettings and redefine them accordingly. Progress ongoing.
  5. Apply this understanding to the Platonic solids (the regular tetrahedron, cube, octahedron, icosahedron and dodecahedron. Still waiting.

A morphic theory of polyhedra

I have been developing an approach which I believe can bring all this together into a coherent picture. I call it morphic theory and the rubber objects it deals in morphic polyhedra or, more generally, morphic polytopes. In essence it extends the topological approach by, as mentioned, allowing faces or cells which are not simple, while embroidering the abstract approach with a more developed theory of realization. Moreover, it does these in such a way as to bring them together to yield a consistent overall picture, and has been resolving many more puzzles and inconsistencies than originally foreseen.

It has led me to the discovery of a whole new class of regular star polytopes, including various new regular dodecahedra and icosahedra. Many if not all of these regular stars are valid stellations, though universally forbidden by Miller's unfortunate rules. You see, I'm only trying to stellate the icosahedron the way it should be stellated, and look where the journey has been taking me!

The road ahead

My theoretical reappraisal is now largely complete, however my investigations into the processes of stellation and facetting are progressing at a snail's pace. At least morphic theory provides me with a starting point, which is more than Kepler and his successors ever had. But where polyhedron theory is grounded in the morphic world of topology, stellation theory is grounded in the metric world of Euclidean space. They sit uneasily together (which is surely why over two thousand years of study have still left us floundering). This part of the journey is going to be a very different one.

Suggested reading

If you get fed up waiting or prefer to tread the path for yourself, here is some suggested reading, broadly in order of progress from the ground up:

Coxeter, HSM; Projective geometry, 2nd edn, Springer Verlag (1974)

Hilbert, D & Cohn-Vossen, S; Geometry and the imagination, 2nd ed, Chelsea (1999)

Richeson, D; Euler's Gem - The polyhedron formula and the birth of topology, Princeton (2010)

Stewart, B; Adventures among the toroids, self-published (1970). =

Lakatos, I; Proofs and Refutations: The logic of Mathematical Discovery, CUP (1976)

Abrams, L. and Elkind, L.D.C.; "Word Choice in Mathematical Practice: a Case Study in Polyhedra", Synthese, Vol. 198, (2019). pp. 3413–3441.

Grünbaum, B; "Are your polyhedra the same as my polyhedra?" Discrete and Comput. Geom.: the Goodman-Pollack Festschrift, ed. B. Aronov et al, Springer (2003), pp. 461-488.

Grünbaum, B; "'New' uniform polyhedra", Discrete Geometry, in Honor of W Kuperberg’s 60th Birthday: Monographs and Textbooks in Pure and Applied Mathematics 253, Dekker, New York, (2003), pp. 331–350.

Grünbaum, B; "Graphs of polyhedra; polyhedra as graphs", Discrete Mathematics 307, (2007), 445 – 463

Inchbald, G.; "Morphic Polytopes", ongoing web page.

Inchbald, G; "Morphic Polytopes and Symmetries". In Darvas, György (Ed.); Complex Symmetries, Birkhäuser, 2022. Pages 57-70. Hardcover ISBN 978-3-030-88058-3. Softcover ISBN 978-3-030-88061-3. eBook ISBN 978-3-030-88059-0. DOI https://doi.org/10.1007/978-3-030-88059-0.

Gailiunas, P & Sharp, J; "Duality of polyhedra", Internat. Journ. of Math. Ed. in Science and Technology, 36, No. 6 (2005), pp. 617-642.

Grünbaum, B & Shephard, G; "Duality of polyhedra", Shaping Space – A Polyhedral Approach, ed. Senechal and Fleck, Birkhäuser (1988), pp. 205-211

Wenninger, M; Dual Models, CUP, 1983

Coxeter, HSM et. al.; The Fifty-Nine Icosahedra", 3rd edn, Tarquin, (1999).

Bridge, NJ; "Facetting" the dodecahedron, Acta Crystallographica A30 (1974), pp. 548-552.

Inchbald, G; "Facetting diagrams", The Mathematical Gazette, 90, No. 518, (July 2006), pp.253-261.