Post History
#4: Post edited
by
ziggurism
·
2023-11-29T18:00:08Z (5 months ago)
- The abstract polytopes which admit realizations are special, and the very concept of an abstract polytope exists to generalize and categorize the polytopes first understood through their realizations.
- The classical proof by Euclid that there are only five regular convex polyhedra is considered so beautiful, so divine, that Kepler incorporated it into his proposed laws of planetary motion. The orbits of the 5 planets are inscribed/circumscribed by consecutive tetrahedron, cube, octahedron, dodecahedron, icosahedron.
- (Of course that theory had to eventually be discarded after it couldn't be made to fit the data, and more than 5 planets were discovered.)
- So discovering a new geometric regular polytope is, for a certain medieval mindset, like discovering a new planet or a new god in heaven. Even if you just like classifying shapes or counting unique combinatorial objects, it's notable.
- Regular tessellations of the plane are a mild generalization of regular convex polyhedra, in the sense that polyhedra are what you get if you arrange polygons in a vertex with angles adding up to strictly less than 360º, while a tessellation is polygons arranged adding up to exactly 360º. Also polyhedra can be viewed as tessellations of the sphere, which leads to tessellations of the other symmetric spaces such as the projective plane and hyperbolic space. From that point of view regular tessellations of the plane might even be viewed as _more_ natural than regular polyhedra. But tessellations of noncompact space, viewed as polytopes, have infinitely many cells. As polytopes therefore they are called apeirotopes.
- Anyway, once you allow for those mild generalizations, let's recap the [well-known results](https://en.wikipedia.org/wiki/List_of_regular_polytopes_and_compounds) for rank 3 polytopes.
- We have the Platonic solids: tetrahedron, cube, octahedron, dodecahedron, icosahedron. For the tilings of the sphere, you have these same five cases, as well as two infinite families of n-gonal hosohedra and n-gonal dihedra; and you have the regular tessellations of the plane, the square tiling, the triangle tiling, and the hexagonal tiling. You also have the apeirogonal dihedronal and apeirogonal hosohedronal tiling. There are infinitely many tilings of the hyperbolic plane. And of the tilings of the sphere, four of them descend to tilings of the projective plane, the hemicube, hemi-octohedron, hemi-dodecahedron, and the hemi-icosahedron. The tetrahedron does not because it is not centrally symmetric.
- In addition to these cases, you can drop the convexity and find stellated regular polyhedra, and star tilings, but let's skip over that.
- Now when we move to rank 4, we find a pretty similar picture. Six regular convex polychora with polyhedra faces. Of those, four also descend to projective space. There's only one tiling of flat space, the cubic honeycomb. Now there are only finitely many tilings of hyberbolic space, which is interesting.
And what Grünbaum and Coxeter discovered, is that you can also make regular polychora out of the projective polyhedra, the 11-cell out of hemi-icosahedra, and the 57-cell out of hemi-dodecahedra. What's special about them among all abstract rank 4 regular polytopes is that they admit geometric realizations, and are built out of fundamental regular polytopes with just some mild generalizations from the classical case.
- The abstract polytopes which admit realizations are special, and the very concept of an abstract polytope exists to generalize and categorize the polytopes first understood through their realizations.
- The classical proof by Euclid that there are only five regular convex polyhedra is considered so beautiful, so divine, that Kepler incorporated it into his proposed laws of planetary motion. The orbits of the 5 planets are inscribed/circumscribed by consecutive tetrahedron, cube, octahedron, dodecahedron, icosahedron.
- (Of course that theory had to eventually be discarded after it couldn't be made to fit the data, and more than 5 planets were discovered.)
- So discovering a new geometric regular polytope is, for a certain medieval mindset, like discovering a new planet or a new god in heaven. Even if you just like classifying shapes or counting unique combinatorial objects, it's notable.
- Regular tessellations of the plane are a mild generalization of regular convex polyhedra, in the sense that polyhedra are what you get if you arrange polygons in a vertex with angles adding up to strictly less than 360º, while a tessellation is polygons arranged adding up to exactly 360º. Also polyhedra can be viewed as tessellations of the sphere, which leads to tessellations of the other symmetric spaces such as the projective plane and hyperbolic space. From that point of view regular tessellations of the plane might even be viewed as _more_ natural than regular polyhedra. But tessellations of noncompact space, viewed as polytopes, have infinitely many cells. As polytopes therefore they are called apeirotopes.
- Anyway, once you allow for those mild generalizations, let's recap the [well-known results](https://en.wikipedia.org/wiki/List_of_regular_polytopes_and_compounds) for rank 3 polytopes.
- We have the Platonic solids: tetrahedron, cube, octahedron, dodecahedron, icosahedron. For the tilings of the sphere, you have these same five cases, as well as two infinite families of n-gonal hosohedra and n-gonal dihedra; and you have the regular tessellations of the plane, the square tiling, the triangle tiling, and the hexagonal tiling. You also have the apeirogonal dihedronal and apeirogonal hosohedronal tiling. There are infinitely many tilings of the hyperbolic plane. And of the tilings of the sphere, four of them descend to tilings of the projective plane, the hemicube, hemi-octohedron, hemi-dodecahedron, and the hemi-icosahedron. The tetrahedron does not because it is not centrally symmetric.
- In addition to these cases, you can drop the convexity and find stellated regular polyhedra, and star tilings, but let's skip over that.
- Now when we move to rank 4, we find a pretty similar picture. Six regular convex polychora with polyhedra faces. Of those, four also descend to projective space. There's only one tiling of flat space, the cubic honeycomb. Now there are only finitely many tilings of hyberbolic space, which is interesting.
- And what Grünbaum and Coxeter discovered, is that you can also make regular polychora out of the projective polyhedra, the 11-cell out of hemi-icosahedra, and the 57-cell out of hemi-dodecahedra. They are not projective polytopes, but they are locally projective. What's special about them among all abstract rank 4 regular polytopes is that they admit geometric realizations, and are built out of fundamental regular polytopes with just some mild generalizations from the classical case.
#3: Post edited
by
ziggurism
·
2023-11-29T17:11:10Z (5 months ago)
The 11-cell and the 57-cell are _regular_ 4-polytopes. They are the only ones aside from the 6 convex Euclidean 4-polytopes. There are also regular stellated polytopes and tessellations. Most of the 800 4-polytopes on that list are not regularThe classical proof by Euclid that there are only five regular polyhedra is considered so beautiful, so obviously divine, that Kepler incorporated it into his proposed laws of planetary motion. The orbits of the 5 planets are inscribed/circumscribed by consecutive tetrahedron, cube, octahedron, dodecahedron, icosahedron.- (Of course that theory had to eventually be discarded after it couldn't be made to fit the data, and more than 5 planets were discovered.)
So asking what's so notable about discovering the 11-cell and the 57-cell is, from the classical viewpoint that views the platonic solids as significant, beautiful, or even divine, like asking what's notable about discovering a new planet in the solar system, or a new god in heaven. on the other hand, it's all perspective. it's also just another case.
- The abstract polytopes which admit realizations are special, and the very concept of an abstract polytope exists to generalize and categorize the polytopes first understood through their realizations.
- The classical proof by Euclid that there are only five regular convex polyhedra is considered so beautiful, so divine, that Kepler incorporated it into his proposed laws of planetary motion. The orbits of the 5 planets are inscribed/circumscribed by consecutive tetrahedron, cube, octahedron, dodecahedron, icosahedron.
- (Of course that theory had to eventually be discarded after it couldn't be made to fit the data, and more than 5 planets were discovered.)
- So discovering a new geometric regular polytope is, for a certain medieval mindset, like discovering a new planet or a new god in heaven. Even if you just like classifying shapes or counting unique combinatorial objects, it's notable.
- Regular tessellations of the plane are a mild generalization of regular convex polyhedra, in the sense that polyhedra are what you get if you arrange polygons in a vertex with angles adding up to strictly less than 360º, while a tessellation is polygons arranged adding up to exactly 360º. Also polyhedra can be viewed as tessellations of the sphere, which leads to tessellations of the other symmetric spaces such as the projective plane and hyperbolic space. From that point of view regular tessellations of the plane might even be viewed as _more_ natural than regular polyhedra. But tessellations of noncompact space, viewed as polytopes, have infinitely many cells. As polytopes therefore they are called apeirotopes.
- Anyway, once you allow for those mild generalizations, let's recap the [well-known results](https://en.wikipedia.org/wiki/List_of_regular_polytopes_and_compounds) for rank 3 polytopes.
- We have the Platonic solids: tetrahedron, cube, octahedron, dodecahedron, icosahedron. For the tilings of the sphere, you have these same five cases, as well as two infinite families of n-gonal hosohedra and n-gonal dihedra; and you have the regular tessellations of the plane, the square tiling, the triangle tiling, and the hexagonal tiling. You also have the apeirogonal dihedronal and apeirogonal hosohedronal tiling. There are infinitely many tilings of the hyperbolic plane. And of the tilings of the sphere, four of them descend to tilings of the projective plane, the hemicube, hemi-octohedron, hemi-dodecahedron, and the hemi-icosahedron. The tetrahedron does not because it is not centrally symmetric.
- In addition to these cases, you can drop the convexity and find stellated regular polyhedra, and star tilings, but let's skip over that.
- Now when we move to rank 4, we find a pretty similar picture. Six regular convex polychora with polyhedra faces. Of those, four also descend to projective space. There's only one tiling of flat space, the cubic honeycomb. Now there are only finitely many tilings of hyberbolic space, which is interesting.
- And what Grünbaum and Coxeter discovered, is that you can also make regular polychora out of the projective polyhedra, the 11-cell out of hemi-icosahedra, and the 57-cell out of hemi-dodecahedra. What's special about them among all abstract rank 4 regular polytopes is that they admit geometric realizations, and are built out of fundamental regular polytopes with just some mild generalizations from the classical case.
#2: Post edited
by
ziggurism
·
2023-11-29T05:17:08Z (5 months ago)
The 11-cell and the 57-cell are _regular_ 4-polytopes. They are the only ones aside from the 6 convex Euclidean 4-polytopes. There are also regular stellated polytopes and tessellations. Most of the 800 4-polytopes on that list are not regular
- The 11-cell and the 57-cell are _regular_ 4-polytopes. They are the only ones aside from the 6 convex Euclidean 4-polytopes. There are also regular stellated polytopes and tessellations. Most of the 800 4-polytopes on that list are not regular
- The classical proof by Euclid that there are only five regular polyhedra is considered so beautiful, so obviously divine, that Kepler incorporated it into his proposed laws of planetary motion. The orbits of the 5 planets are inscribed/circumscribed by consecutive tetrahedron, cube, octahedron, dodecahedron, icosahedron.
- (Of course that theory had to eventually be discarded after it couldn't be made to fit the data, and more than 5 planets were discovered.)
- So asking what's so notable about discovering the 11-cell and the 57-cell is, from the classical viewpoint that views the platonic solids as significant, beautiful, or even divine, like asking what's notable about discovering a new planet in the solar system, or a new god in heaven. on the other hand, it's all perspective. it's also just another case.
#1: Initial revision
by
ziggurism
·
2023-11-27T22:24:56Z (5 months ago)
The 11-cell and the 57-cell are _regular_ 4-polytopes. They are the only ones aside from the 6 convex Euclidean 4-polytopes. There are also regular stellated polytopes and tessellations. Most of the 800 4-polytopes on that list are not regular