Bodies of Constant Width With Particular Symmetries
Last time we introduced bodies of constant width and showed several examples, as well as hinted at constructing 3D bodies with the same symmetries as several familiar solids. This time we will discuss that method in detail and produce a number of interesting solids. All we will need is some linear algebra, group theory, and a little invariant theory.
We previously gave an example of a body of constant width with the support function . That was a particular example of a general method of constructing bodies of constant width using support functions of the form , where f is any odd function (from to ) and is sufficiently small. Notice that for odd :
So any support function like this defines a body of constant width 2. The condition on just ensures the body is convex. (Given some odd function f, we can determine the upper bound on such that defines a convex body by requiring that the triangle equality holds).
For example, say our odd function is . This gives the following body of constant width:
This is nice, as there are any number of simple odd functions to choose from. However, it would be cool to construct bodies which have some chosen symmetries. How about bodies which have any choice of symmetry group (subgroups of , i.e. orientation preserving rigid rotations in )? A theorem of Fillmore (1969) tells us that every finite subgroup of is the group of symmetries of some body of constant width. In particular, if we choose a subgroup and an odd function which is invariant under the action of , then the body defined by the support function has the symmetries of . The set of polynomials invariant under the actions of a given group form a ring, any odd member of which we can use to create a -symmetric body of constant width.
Fortunately, the theory of G-invariant polynomials is well-developed, and mathematical software such as Sage and Magma have efficient ways to compute the ring of polynomial invariants of a given matrix group. So all we need to do is determine three-dimensional matrix representations of our favorite symmetry group. Our options include the tetrahedral, octahedral, and icosahedral groups, among a few others–let’s focus on the octahedral group .
The set of symmetries of an octahedron is the same as the symmetries of a cube, since they are dual polyhedra. Consider that there are only two actions needed to generate all the orientation preserving symmetries of the cube: rotation by 90 degrees around the axis and rotation by 90 degrees around the axis. These rotations act on the unit vectors (pointing to three of the faces) in the following ways:
We will use Magma to compute the generators of the ring of polynomials invariant under O:
> F := Rationals(); > S := [0,1,0,-1,0,0,0,0,1]; > T := [0,0,1,0,1,0,-1,0,0]; > G := MatrixGroup<3, F|S,T>; > R := InvariantRing(G); > PrimaryInvariants(R); [ x1^2 + x2^2 + x3^2, x1^4 + x2^4 + x3^4, x1^6 + x2^6 + x3^6 ] > SecondaryInvariants(R); [ 1, x1^5*x2^3*x3 - x1^5*x2*x3^3 - x1^3*x2^5*x3 + x1^3*x2*x3^5 + x1*x2^5*x3^3 - x1*x2^3*x3^5 ]
In general, the ring of invariants has primary invariants which are algebraically independent. Thus the algebra of primary invariants is a polynomial subalgebra of . If are the secondary invariants of , then there is an A-module decomposition of as
Thus, to determine an F-basis all homogeneous degree polynomials in , we just need to enumerate all the products of primary and secondary invariants homogeneous of degree , with the restriction that exactly one secondary invariant can appear in each product (note that the first secondary invariant is always 1, and so a product with ‘only’ primary invariants still has one secondary invariant). For example, in the above Magma computation, our invariants are:
Every degree 4 polynomial in the ring can be written as a linear combination of and . These happen to be linearly independent and so form a basis (writing as ):
Note that since we only really care about the behavior of these polynomials on the unit sphere, we can simplify our basis with the substitution , giving us:
However, this particular vector space contains no polynomials we can use to create bodies of constant width, since the degree of each of them is even. The smallest odd degree polynomial vector space in this ring has degree 9 and the vector space of such elements has basis:
Now, we can choose any polynomial in this space to define a body of constant width with octahedral symmetry. For example, the body below has support function
This whole process can be repeated for any other finite subgroup of . Below are some bodies with tetrahedral and icosahedral symmetries respectively:
Here’s a list of the primary and secondary generators we found this way for the polynomials invariant under the groups T, O, and I.
With this theory laid down, it’s straightforward to compute any number of support functions of interesting bodies of constant width with these symmetries. Next time, we’ll walk through the process of realizing one of these bodies, from initial choice of symmetry to final 3D-printed product.← Back to Project Project Home