{"id":2566,"date":"2016-06-15T01:00:57","date_gmt":"2016-06-15T01:00:57","guid":{"rendered":"http:\/\/blogs.ams.org\/visualinsight\/?p=2566"},"modified":"2018-08-12T07:25:49","modified_gmt":"2018-08-12T07:25:49","slug":"small-stellated-dodecahedron","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/visualinsight\/2016\/06\/15\/small-stellated-dodecahedron\/","title":{"rendered":"Small Stellated Dodecahedron"},"content":{"rendered":"
\n
\"Small

Small Stellated Dodecahedron – Robert Webb’s Stella software<\/a><\/p><\/div>\n<\/div>\n

The small stellated dodecahedron<\/b><\/a> is made of 12 pentagrams<\/b><\/a>, or 5-pointed stars, with 5 pentagrams meeting at each vertex. It is one of four nonconvex polyhedra with regular polygons or stars as faces, called Kepler\u2013Poinsot polyhedra<\/a>.<\/p>\n

The small stellated dodecahedron was studied by Kepler. It appears in his Harmonice Mundi<\/i>, published in 1619. However, it also can be found in a floor mosaic in St Mark’s Basilica in Venice, which seems to have been created by Paolo Uccello<\/a> as early as 1430.<\/p>\n

\n
\"Floor

Floor Mosaic, St Mark’s Basilica, Venice – Paolo Uccello<\/p><\/div>\n<\/div>\n

Later it was used by Escher in two of his prints: Constrast: Order and Chaos<\/i><\/a> and Gravitation<\/i><\/a>.<\/p>\n

The small stellated dodecahedron and other Kepler\u2013Poinsot solids posed a challenge to early topologists. If we treat the small stellated dodecahedron as having 12 five-sided faces, two meeting along each edge, then it should have \\(12 \\times 5 \/ 2 = 30 \\) edges. Since it has 12 vertices as well, its Euler characteristic should be<\/p>\n

$$ \\chi \\, =\\, V – E + F \\, =\\, 12 – 30 + 12 \\, = \\; – 6 $$<\/p>\n

Since the genus \\(g\\) of a surface is related to its Euler characteristic by \\(\\chi = 2 – 2g \\), the small stellated dodecahedron should have genus \\(4\\)! This was first noted by Poinsot, and it caused some confusion about the validity of Euler\u2019s formula \\(V – E + F = 2\\), which we now realize holds only for convex polyhedra.<\/p>\n

However, we can in fact treat the small stellated dodecahedron as the image of a continuous map from a surface \\(\\Sigma\\) of genus 4 into three-dimensional space. This map has branch points of order 2 at the center of each pentagram, hidden from view in the picture!<\/p>\n

Indeed, if we think of the stellated dodecahedron as defining a branched cover of the sphere, this branched cover becomes a Riemann surface. The orientation-preserving symmetries of the icosahedron clearly act as conformal transformations of this Riemann surface. It thus has at least the alternating group \\(\\mathrm{A}_5\\) as symmetries.<\/p>\n

This was observed by Klein in 1877:<\/p>\n

\u2022 Felix Klein, Weitere Untersuchungen \u00fcber das Ikosaeder, Math. Annalen<\/i> 12<\/b> (1877), 321\u2013384.<\/p>\n

The Riemann surface \\(\\Sigma\\) can be tiled by 12 pentagons, 5 meeting at each corner. These correspond to the 12 pentagrams of the small stellated dodecahedron. Thanks to this tiling, \\(\\Sigma\\) can also be thought of as a quotient of the hyperbolic plane<\/a> \\(\\mathbb{H}^2\\) by a discrete group \\(\\Gamma\\) acting as isometries. This group preserves a tiling of the hyperbolic plane by regular hyperbolic pentagons, 5 meeting at each corner:<\/p>\n

\n
\"{5,5}

{5,5} Tiling – Jeff Weeks<\/p><\/div>\n<\/div>\n

This tiling of the hyperbolic plane is called the {5,5} tiling<\/a><\/b>.<\/p>\n

The small stellated dodecahedron is the image of a certain map from the Riemann surface \\(\\Sigma\\) into \\(\\mathbb{R}^3\\). But this surface can also be mapped into \\(\\mathbb{R}^3\\) in a different way, giving another Kepler\u2013Poinsot polyhedron, the great dodecahedron<\/a>:<\/p>\n

\n
\"Great

Great Dodecahedron – Robert Webb’s Stella Software<\/p><\/div>\n<\/div>\n

This should not be surprising, because the great dodecahedron has 12 pentagonal faces, 5 meeting at each vertex. However, the ultimate explanation is that the great dodecahedron is the dual<\/a><\/b> of the small stellated dodecahedron \u2014 the vertices of one lie at the centers of the faces of the other \u2014 and the {5,5} tiling is its own dual!<\/p>\n

For more on the great dodecahedron see this post, which explains its connection to an exceptionally symmetrical code:<\/p>\n

\u2022 Golay code<\/a>.<\/p>\n

The Riemann surface \\(\\Sigma\\) also has an interesting connection to the quintic equation. A Riemann surface is also called a ‘complex curve’, since points on it can be locally described by a single complex number. Klein showed that \\(\\Sigma\\) is isomorphic to the complex curve described by these homogeneous equations:<\/p>\n

$$ \\sum_{i=1}^5 z_i = 0, \\qquad \\sum_{i=1}^5 z_i^2 = 0, \\qquad \\sum_{i=1}^5 z_i^3 = 0 .$$<\/p>\n

These three equations in five complex variables pick out a set of complex dimension two, but when we ‘projectivize’, identifying solutions that differ by a complex multiple, we obtain a complex curve embedded in the projective space \\(\\mathbb{C}\\mathrm{P}^4\\).<\/p>\n

This is called as Bring’s curve<\/b>, and it is famous because it has the largest possible symmetry group of any complex curve (or Riemann surface) of genus 4. In fact, this group is not just \\(\\mathrm{A}_5\\) but the symmetric group \\(\\mathrm{S}_5\\).<\/p>\n

We can see that \\(\\mathrm{S}_5\\) acts as symmetries by relating Bring’s surface to the quintic equation. Consider a quintic of the form<\/p>\n

$$ Q(z) = (z- z_1) \\cdots (z – z_5) $$<\/p>\n

If the three equations<\/p>\n

$$ \\sum_{i=1}^5 z_i = 0, \\qquad \\sum_{i=1}^5 z_i^2 = 0, \\qquad \\sum_{i=1}^5 z_i^3 = 0 $$<\/p>\n

hold, then \\(Q\\) takes the special form<\/p>\n

$$ Q(z) = z^5 + p z + q .$$<\/p>\n

Conversely, if \\(Q\\) takes this special form, its roots \\(z_1, \\dots, z_5\\) obey the three equations listed. Thus, Bring’s curve is the set of ordered 5-tuples \\((z_1, \\dots, z_5)\\), modulo scalar factors, that are roots of some quintic of the form \\(z^5 + p z + q\\).<\/p>\n

For more on these topics, see:<\/p>\n

\u2022 Matthias Weber, Kepler’s small stellated dodecahedron as a Riemann surface<\/a>, Pacific J. Math.<\/i> 220<\/b> (2005), 167\u2013182.<\/p>\n

Abstract.<\/b> We provide a new geometric computation for the Jacobian of the Riemann surface of genus 4 associated to the small stellated dodecahedron. Starting with Threlfall\u2019s description, we introduce other flat conformal geometries on this surface which are related to holomorphic 1-forms. They allow us to show that the Jacobian is isogenous to a fourfold product of a single elliptic curve whose lattice constant can be determined in two essentially different ways, yielding an unexpected relation between hypergeometric integrals. We also obtain a new platonic tessellation of the surface.<\/p><\/blockquote>\n

\n
\"Small

Small Stellated Dodecahedron – Cyp<\/p><\/div>\n<\/div>\n

The featured picture of the small stellated dodecahedron was created using Robert Webb’s Stella software<\/a> and placed on Wikicommons<\/a>. The same is true of the picture of the great dodecahedron<\/a>. Robert Webb allows anyone to use these pictures for any purpose, provided that the copyright holder is properly attributed. The picture of the floor mosaic in the Basilica of St Mark is from this page:<\/p>\n

\u2022 George Hart, Paolo Uccello’s Polyhedra<\/a>.<\/p>\n

but is available on Wikicommons<\/a>, where it is listed as being in the public domain. The picture of the {5,5} tiling was drawn by Tom Ruen<\/a> using Jeff Week’s KaleidoTile software<\/a> and placed in the public domain on Wikicommons<\/a>. The rotating image of the small stellated dodecahedron was created by Cyp<\/a> and placed on Wikicommons<\/a> under a Creative Commons Attribution-Share Alike 3.0 Unported<\/a> license.<\/p>\n

\n

Visual Insight<\/i> is a place to share striking images that help explain advanced topics in mathematics. I\u2019m always looking for truly beautiful images, so if you know about one, please drop a comment here<\/a> and let me know!<\/p>\n

<\/div>","protected":false},"excerpt":{"rendered":"

The small stellated dodecahedron<\/b><\/a>, drawn here using Robert Webb’s Stella software<\/a>, is made of 12 pentagrams<\/b><\/a>, or 5-pointed stars, with 5 pentagrams meeting at each vertex. <\/p>\n

<\/div>\n","protected":false},"author":66,"featured_media":2567,"comment_status":"open","ping_status":"closed","sticky":true,"template":"","format":"standard","meta":{"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[15,8,2,13],"tags":[],"class_list":["post-2566","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-algebraic-geometry","category-curves","category-images-library","category-polytopes"],"jetpack_featured_media_url":"https:\/\/blogs.ams.org\/visualinsight\/files\/2016\/05\/Small_stellated_dodecahedron.png","jetpack_shortlink":"https:\/\/wp.me\/p42Vmc-Fo","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/2566","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/users\/66"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/comments?post=2566"}],"version-history":[{"count":24,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/2566\/revisions"}],"predecessor-version":[{"id":3104,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/posts\/2566\/revisions\/3104"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/media\/2567"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/media?parent=2566"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/categories?post=2566"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/visualinsight\/wp-json\/wp\/v2\/tags?post=2566"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}