[Paper Review] An almost trivial observation about the icosahedron

Jürgen Richter-Gebert|arXiv (Cornell University)|Mar 20, 2026

Quasicrystal Structures and Properties0 citations

TL;DR

The paper proves that, given coplanarity constraints on the icosahedron’s vertex pentagons, there are exactly two realizations up to projective equivalence, corresponding to the great dodecahedron and the small stellated dodecahedron, linked via the pentagram map.

ABSTRACT

We consider the incidence structure formed by the twelve pentagons given by the vertex neighborhoods of the icosahedron. Interpreting this structure purely in terms of coplanarity conditions, we show that -- up to projective equivalence -- it admits exactly two realizations. Both realizations coincide with the vertex set of the regular icosahedron and interpreted as cell complex they correspond to the great dodecahedron and the small stellated dodecahedron. The key step is to reinterpret the configuration via the pentagram map. We prove that any realization gives rise to a pentagon $X$ satisfying a homothety relation $P^2(X)\sim X$, and show that this condition forces $X$ to be an affine image of either a regular pentagon or a regular pentagram. This reduces the problem to a quadratic constraint and explains the rigidity of the configuration.

Motivation & Objective

• Motivate and formalize the observation that the icosahedron’s vertex pentagon coplanarities are highly restrictive.
• Show that these coplanarity conditions yield a realization space that is zero-dimensional (two points) up to projective equivalence.
• Connect the configuration to Kepler–Poinsot polyhedra and the incidence structure of pentagons.
• Reveal a link between the configuration’s rigidity and the dynamics of the pentagram map.

Proposed method

• Define the twelve pentagons from the icosahedron’s vertex neighborhoods to obtain a purely combinatorial incidence structure.
• Formulate a non-degeneracy condition to realize the matroid associated to the icosahedron.
• Translate the problem into a planarity and parallelism constraint via projective normalization.
• Use a planar pentagram map construction to relate neighboring pentagons and derive a homothety relation P^2(X) ~ X.
• Perform explicit coordinate-based (affine/homogeneous) calculations to derive a quadratic condition.
• Show that the resulting realizations correspond to the great dodecahedron and the small stellated dodecahedron.

Figure 1: The edge graph of the great dodecahedron (left) $\mathcal{G}$ is identical to the edge graph of the icosahedron. The small stellated dodecahedron $\mathcal{G^{*}}$ (right) also has the same edge graph, however with a geometrically different embedding. The embedding can be derived from $\ma

Experimental results

Research questions

• RQ1 What are the realizations, up to projective equivalence, of the combinatorial pentagon structure induced by the icosahedron’s vertex neighborhoods under the constraint that each pentagon’s five vertices are coplanar?
• RQ2 How does the pentagram map constrain these realizations, and what are the two resulting geometric configurations?
• RQ3 Can the realization space be characterized as zero-dimensional under the non-degeneracy conditions?
• RQ4 How do the two realizations relate to Kepler–Poinsot solids and their vertex/edge incidence structures?

Key findings

• There exist exactly two realizations up to projective equivalence for the given coplanarity configuration, both coinciding with the icosahedron’s vertex set.
• The two realizations correspond to the great dodecahedron and the small stellated dodecahedron.
• The two realizations are related by a specific vertex permutation and share the same edge graph.
• A pentagram-map argument shows that P^2(X) is homothetic to X, severely restricting possible pentagon realizations.
• If a pentagon satisfies P^2(X) ~ X, then it must be an affine image of a regular pentagon or a regular pentagram, yielding the two realizations.

Figure 3: The projection of $(\overline{1}^{*},\ldots,\overline{5}^{*})$ to $(\underline{1},\ldots,\underline{5})$ .