This shape is the 3d associahedron.
To get it, take a hexagon and triangulate it by drawing red lines between its corners - lines that don't cross each other. There are 14 ways to do this, and these are the vertices of the associahedron. You get an edge of the associahedron from two triangulations that have two red lines in common. You get a face from all the triangulations that have one red line in common.
If you replace the hexagon by a polygon with more sides, you get a higher-dimensional associahedron. The associahedra have many magical properties, and here's one of the most astounding.
Take a formal power series like this:
πΆ(π₯) = π₯ + πβπ₯Β² + πβπ₯Β³ + β―
If you take its inverse under composition, meaning the power series π· with
πΆ(π·(π₯)) = π₯
you get another formal power series of the same type:
π·(π₯) = π₯ + πβπ₯Β² +πβπ₯Β³ + β―
How are the numbers πβ related to the numbers πβ? Do some calculations:
πβ = βπβ
πβ = βπβ + 2πβΒ²
πβ = βπβ + 5πβπβ β 5πβΒ³
πβ =βπβ + 6πβπβ + 3πβΒ² β 21πβπβΒ² + 14πββ΄
What are these coefficients? They're controlled by the associahedra! I'll show how it works for πβ.
Call the n-dimensional associahedron πβββ, so that πβ is a point, πβ is an interval, πβ is a pentagon, and so on. From the picture notice that the 3d associahedron πβ has
β’ 1 face shaped like πβ (the whole thing)
β’ 6 faces shaped like πβ Γ πβ (pentagons) and 3 faces shaped like πβ Γ πβ (squares)
β’ 21 faces shaped like πβ Γ πβΓ πβ (the edges)
β’ 14 faces shaped like πβ Γ πβ Γ πβ Γ πβ (the vertices)
All this information is packed into here:
πβ = βπβ + 6πβπβ + 3πβΒ² β 21πβπβΒ² + 14πββ΄
Look at it!
We get the other πβ from the associahedra of other dimensions, in the same way!
(1/2)