In geometry, a net of a polyhedron is an arrangement of non-overlapping edge-joined polygons in the plane which can be folded (along edges) to become the faces of the polyhedron. Polyhedral nets are a useful aid to the study of polyhedra and solid geometry in general, as they allow for physical models of polyhedra to be constructed from material such as thin cardboard.
An early instance of polyhedral nets appears in the works of Albrecht Dürer, whose 1525 book A Course in the Art of Measurement with Compass and Ruler (Unterweysung der Messung mit dem Zyrkel und Rychtscheyd ) included nets for the Platonic solids and several of the Archimedean solids. These constructions were first called nets in 1543 by Augustin Hirschvogel.
Existence and uniqueness
Many different nets can exist for a given polyhedron, depending on the choices of which edges are joined and which are separated. The edges that are cut from a convex polyhedron to form a net must form a spanning tree of the polyhedron, but cutting some spanning trees may cause the polyhedron to self-overlap when unfolded, rather than forming a net. Conversely, a given net may fold into more than one different convex polyhedron, depending on the angles at which its edges are folded and the choice of which edges to glue together. If a net is given together with a pattern for gluing its edges together, such that each vertex of the resulting shape has positive angular defect and such that the sum of these defects is exactly 4π, then there necessarily exists exactly one polyhedron that can be folded from it; this is Alexandrov's uniqueness theorem. However, the polyhedron formed in this way may have different faces than the ones specified as part of the net: some of the net polygons may have folds across them, and some of the edges between net polygons may remain unfolded. Additionally, the same net may have multiple valid gluing patterns, leading to different folded polyhedra.
Does every convex polyhedron have a simple edge unfolding?
In 1975, G. C. Shephard asked whether every convex polyhedron has at least one net, or simple edge-unfolding. This question, which is also known as Dürer's conjecture, or Dürer's unfolding problem, remains unanswered. There exist non-convex polyhedra that do not have nets, and it is possible to subdivide the faces of every convex polyhedron (for instance along a cut locus) so that the set of subdivided faces has a net. In 2014 Mohammad Ghomi showed that every convex polyhedron admits a net after an affine transformation. Furthermore, in 2019 Barvinok and Ghomi showed that a generalization of Dürer's conjecture fails for pseudo edges, i.e., a network of geodesics which connect vertices of the polyhedron and form a graph with convex faces.
A related open question asks whether every net of a convex polyhedron has a blooming, a continuous non-self-intersecting motion from its flat to its folded state that keeps each face flat throughout the motion.
The shortest path over the surface between two points on the surface of a polyhedron corresponds to a straight line on a suitable net for the subset of faces touched by the path. The net has to be such that the straight line is fully within it, and one may have to consider several nets to see which gives the shortest path. For example, in the case of a cube, if the points are on adjacent faces one candidate for the shortest path is the path crossing the common edge; the shortest path of this kind is found using a net where the two faces are also adjacent. Other candidates for the shortest path are through the surface of a third face adjacent to both (of which there are two), and corresponding nets can be used to find the shortest path in each category.
Higher-dimensional polytope nets
A net of a 4-polytope, a four-dimensional polytope, is composed of polyhedral cells that are connected by their faces and all occupy the same three-dimensional space, just as the polygon faces of a net of a polyhedron are connected by their edges and all occupy the same plane. The net of the tesseract, the four-dimensional hypercube, is used prominently in a painting by Salvador Dalí, Crucifixion (Corpus Hypercubus) (1954). The same tesseract net is central to the plot of the short story "—And He Built a Crooked House—" by Robert A. Heinlein.
The number of combinatorially distinct nets of -dimensional hypercubes can be found by representing these nets as a tree on nodes describing the pattern by which pairs of faces of the hypercube are glued together to form a net, together with a perfect matching on the complement graph of the tree describing the pairs of faces that are opposite each other on the folded hypercube. Using this representation, the number of different unfoldings for hypercubes of dimensions 2, 3, 4, ..., have been counted as
- Wenninger, Magnus J. (1971), Polyhedron Models, Cambridge University Press
- Dürer, Albrecht (1525), Unterweysung der Messung mit dem Zyrkel und Rychtscheyd, Nürnberg: München, Süddeutsche Monatsheft, pp. 139–152. English translation with commentary in Strauss, Walter L. (1977), The Painter's Manual, New York
- Friedman, Michael (2018), A History of Folding in Mathematics: Mathematizing the Margins, Science Networks. Historical Studies, 59, Birkhäuser, p. 8, doi:10.1007/978-3-319-72487-4, ISBN 978-3-319-72486-7
- Demaine, Erik D.; O'Rourke, Joseph (2007), "Chapter 22. Edge Unfolding of Polyhedra", Geometric Folding Algorithms: Linkages, Origami, Polyhedra, Cambridge University Press, pp. 306–338
- Malkevitch, Joseph, "Nets: A Tool for Representing Polyhedra in Two Dimensions", Feature Columns, American Mathematical Society, retrieved 2014-05-14
- Demaine, Erik D.; Demaine, Martin L.; Lubiw, Anna; O'Rourke, Joseph (2002), "Enumerating foldings and unfoldings between polygons and polytopes", Graphs and Combinatorics, 18 (1): 93–104, arXiv:cs.CG/0107024, doi:10.1007/s003730200005, MR 1892436, S2CID 1489
- Shephard, G. C. (1975), "Convex polytopes with convex nets", Mathematical Proceedings of the Cambridge Philosophical Society, 78 (3): 389–403, Bibcode:1975MPCPS..78..389S, doi:10.1017/s0305004100051860, MR 0390915
- Weisstein, Eric W., "Shephard's Conjecture", MathWorld
- Moskovich, D. (June 4, 2012), "Dürer's conjecture", Open Problem Garden
- Ghomi, Mohammad (2018-01-01), "Dürer's Unfolding Problem for Convex Polyhedra", Notices of the American Mathematical Society, 65 (1): 25–27, doi:10.1090/noti1609
- Ghomi, Mohammad (2014), "Affine unfoldings of convex polyhedra", Geom. Topol., 18 (5): 3055–3090, arXiv:1305.3231, Bibcode:2013arXiv1305.3231G, doi:10.2140/gt.2014.18.3055, S2CID 16827957
- Barvinok, Nicholas; Ghomi, Mohammad (2019-04-03), "Pseudo-Edge Unfoldings of Convex Polyhedra", Discrete & Computational Geometry, 64 (3): 671–689, arXiv:1709.04944, doi:10.1007/s00454-019-00082-1, ISSN 0179-5376, S2CID 37547025
- Miller, Ezra; Pak, Igor (2008), "Metric combinatorics of convex polyhedra: Cut loci and nonoverlapping unfoldings", Discrete & Computational Geometry, 39 (1–3): 339–388, doi:10.1007/s00454-008-9052-3, MR 2383765
- O’Rourke, Joseph (2011), How to Fold It: The Mathematics of Linkages, Origami and Polyhedra, Cambridge University Press, pp. 115–116, ISBN 9781139498548
- Kemp, Martin (1 January 1998), "Dali's dimensions", Nature, 391 (6662): 27, Bibcode:1998Natur.391...27K, doi:10.1038/34063, S2CID 5317132
- Henderson, Linda Dalrymple (November 2014), "Science Fiction, Art, and the Fourth Dimension", in Emmer, Michele (ed.), Imagine Math 3: Between Culture and Mathematics, Springer International Publishing, pp. 69–84, doi:10.1007/978-3-319-01231-5_7
- Sloane, N. J. A. (ed.), "Sequence A091159 (Number of distinct nets for the n-hypercube)", The On-Line Encyclopedia of Integer Sequences, OEIS Foundation