Inspired by a post from John Baez, here is an interactive visualization of the 27 lines on a Clebsch diagonal cubic surface rendered using Three.js and presented with MathCell:

The figure can be rotated by clicking and dragging with a mouse or swiping on a touch device, as well as zoomed in or out with a mouse wheel or pinching on a touch device. Click here to open the graphic in a separate window.

As stated in the post, the isosurface is defined by

81 ( x 3 + y 3 + z 3 ) - 189 ( x 2 y + x 2 z + x y 2 + x z 2 + y 2 z + y z 2 ) + 54 x y z + 126 ( x y + x z + y z ) - 9 ( x 2 + y 2 + z 2 ) - 9 ( x + y + z ) + 1 = 0

The marching cubes implementation in MathCell works in Cartesian coordinates. To achieve the smooth edge in radial extent, the Cartesian coordinates of the isosurface are replaced with their spherical equivalents when determining the geometry of the surface. The resulting vertices are then transformed back to Cartesian coordinates before rendering. The total number of vertices is limited to allow rendering on mobile devices, resulting in visible irregularities in the cubic surface.

Not discussed in the post are the explicit equations for the lines and locations of the visible Eckardt points. Unfortunately the Bruce Hunt reference mentioned in the post is only partially helpful for this, as will be explained shortly. Since the focus of this presentation is the visualization itself and not the mathematics behind cubic surfaces, the most expedient paths to explicit equations of the lines will be pursued here.

As developed by Hunt, the particular parametrization of the isosurface comes from the general cubic

y 1 3 + y 2 3 + y 3 3 + y 4 3 + y 5 3 = 0

with the intermediate definitions

y 1 = u 0 - y 5 y 2 = u 1 - y 5 y 3 = u 2 - y 5 y 4 = u 3 - y 5 y 5 = u 0 + u 1 + u 2 + u 3 3

and the choices

u 0 = x u 1 = y u 2 = z u 3 = 1 - x - y - z 4

In terms of the affine coordinates, the quantities comprising the cubic surface are

y 1 = 9 x - 3 y - 3 z - 1 12 y 2 = − 3 x + 9 y - 3 z - 1 12 y 3 = − 3 x - 3 y + 9 z - 1 12 y 4 = − 6 x - 6 y - 6 z + 2 12 y 5 = 3 x + 3 y + 3 z + 1 12

This differs from Hunt’s statement at the very end of Section 4.1.3 in some overall factors, but these expressions are clearly consistent with one another.

As given in Hunt’s Proposition 4.1.12, the first fifteen of the lines on the cubic surface are determined by the intersections of pairs of planes given by combinations of these quantities,

y i + y j = 0 = y k + y l y i + y j = 0 = y k + y 5

where indices have the values [1,2,3,4] and all indices have distinct values in these equalities. The pairs of planes in the first equation contribute three lines, and the pairs in the other equation contribute twelve lines. Forming pairs on each side of each equation requires the consistent quantities previously given with correct relative factors, but once the planes are determined overall factors can be freely adjusted.

The distinct pairs of planes, with overall multiplicative factors adjusted to keep leading coefficients positive and remove common factors, are

3 x + 3 y - 3 z - 1 = 0 = 9 x + 9 y - 3 z - 1 3 x - 3 y + 3 z - 1 = 0 = 9 x - 3 y + 9 z - 1 3 x - 3 y - 3 z + 1 = 0 = 3 x - 9 y - 9 z + 1 3 x + 3 y - 3 z - 1 = 0 = z 3 x + 3 y - 3 z - 1 = 0 = x + y + z - 1 3 x - 3 y + 3 z - 1 = 0 = y 3 x - 3 y + 3 z - 1 = 0 = x + y + z - 1 3 x - 3 y - 3 z + 1 = 0 = x 3 x - 3 y - 3 z + 1 = 0 = x + y + z - 1 3 x - 9 y - 9 z + 1 = 0 = y 3 x - 9 y - 9 z + 1 = 0 = z 9 x - 3 y + 9 z - 1 = 0 = x 9 x - 3 y + 9 z - 1 = 0 = z 9 x + 9 y - 3 z - 1 = 0 = x 9 x + 9 y - 3 z - 1 = 0 = y

A parametric representation of the line of intersection of planes is found by forming the cross product of the two normals, which will be the directional vector of the line, and then determining any single point common to the two planes. Related sets of planes will have similar solutions that can be found by inspection after determining a first case.

With the same ordering as pairs of planes, the first fifteen lines in simple parametric forms are

[ 1 , − 1 , 0 ] t + [ 0 , 0 , − 1 3 ] [ 1 , 0 , − 1 ] t + [ 0 , − 1 3 , 0 ] [ 0 , 1 , − 1 ] t + [ − 1 3 , 0 , 0 ] [ 1 , − 1 , 0 ] t + [ 1 6 , 1 6 , 0 ] [ 1 , − 1 , 0 ] t + [ 1 3 , 1 3 , 1 3 ] [ 1 , 0 , − 1 ] t + [ 1 6 , 0 , 1 6 ] [ 1 , 0 , − 1 ] t + [ 1 3 , 1 3 , 1 3 ] [ 0 , 1 , − 1 ] t + [ 0 , 1 6 , 1 6 ] [ 0 , 1 , − 1 ] t + [ 1 3 , 1 3 , 1 3 ] [ 3 , 0 , 1 ] t + [ 1 6 , 0 , 1 6 ] [ 3 , 1 , 0 ] t + [ 1 6 , 1 6 , 0 ] [ 0 , 3 , 1 ] t + [ 0 , 1 6 , 1 6 ] [ 1 , 3 , 0 ] t + [ 1 6 , 1 6 , 0 ] [ 0 , 1 , 3 ] t + [ 0 , 1 6 , 1 6 ] [ 1 , 0 , 3 ] t + [ 1 6 , 0 , 1 6 ]

The seven visible Eckardt points are now evident: the points

[ 1 6 , 1 6 , 0 ] [ 1 6 , 0 , 1 6 ] [ 0 , 1 6 , 1 6 ] [ 1 3 , 1 3 , 1 3 ]

each appear explicitly in three different parametric forms, and the points

[ − 1 3 , 0 , 0 ] [ 0 , − 1 3 , 0 ] [ 0 , 0 , − 1 3 ]

are seen to lie along two of each of the last six lines by setting t = − 1 6 in each.

Determining the twelve remaining lines is a bit more problematic if one follows Hunt exclusively. The quantities α i j k l , β i j k and γ i j k defined in Proposition 4.1.12 are planes that cut the cubic surface along lines already determined above, as can be seen immediately in a visualization of each plane. More disturbingly, the quantities δ i j do not even appear to cut the cubic surface in straight lines at all, and intersect the other quantities outside the cubic surface. This is quite surprising, given that this text is cited as authoritative on this subject.

Fortunately another reference by Irene Polo-Blanco and Jaap Top provides a way out of the impasse. Section 5.1 in that reference gives the determining equation

y i + 1 + 5 2 y j + y k = 0 = y j + 1 + 5 2 y i + y l

where again indices have the values [1,2,3,4] and all indices have distinct values. Maddeningly enough, the immediately preceding equation in the reference determining the first fifteen lines differs noticeably from those given by Hunt: one would expect more consistency among mathematicians on such a seminal topic.

The distinct pairs of planes, with overall multiplicative factors adjusted to remove common factors and leading negative signs, are

3 ( 3 - 5 ) x - 3 ( 1 - 3 5 ) y + 3 ( 3 - 5 ) z - 5 - 5 = 0 = 9 ( 1 - 5 ) x - 3 ( 1 - 5 ) y + 3 ( 7 + 5 ) z - 1 + 5 3 ( 1 - 5 ) x - 9 ( 1 - 5 ) y - 3 ( 7 + 5 ) z + 1 - 5 = 0 = 3 ( 1 - 3 5 ) x - 3 ( 3 - 5 ) y - 3 ( 3 - 5 ) z + 5 + 5 3 ( 3 - 5 ) x + 3 ( 3 - 5 ) y - 3 ( 1 - 3 5 ) z - 5 - 5 = 0 = 9 ( 1 - 5 ) x + 3 ( 7 + 5 ) y - 3 ( 1 - 5 ) z - 1 + 5 3 ( 1 - 5 ) x - 3 ( 7 + 5 ) y - 9 ( 1 - 5 ) z + 1 - 5 = 0 = 3 ( 1 - 3 5 ) x - 3 ( 3 - 5 ) y - 3 ( 3 - 5 ) z + 5 + 5 3 ( 1 - 5 ) x + 3 ( 1 - 5 ) y - 3 ( 3 + 5 ) z - 1 + 5 = 0 = 9 ( 1 - 5 ) x + 3 ( 7 + 5 ) y - 3 ( 1 - 5 ) z - 1 + 5 3 ( 1 - 5 ) x - 3 ( 3 + 5 ) y + 3 ( 1 - 5 ) z - 1 + 5 = 0 = 9 ( 1 - 5 ) x - 3 ( 1 - 5 ) y + 3 ( 7 + 5 ) z - 1 + 5 3 ( 3 - 5 ) x + 3 ( 3 - 5 ) y - 3 ( 1 - 3 5 ) z - 5 - 5 = 0 = 3 ( 7 + 5 ) x + 9 ( 1 - 5 ) y - 3 ( 1 - 5 ) z - 1 + 5 3 ( 7 + 5 ) x - 3 ( 1 - 5 ) y + 9 ( 1 - 5 ) z - 1 + 5 = 0 = 3 ( 3 - 5 ) x - 3 ( 1 - 3 5 ) y + 3 ( 3 - 5 ) z - 5 - 5 3 ( 1 - 5 ) x + 3 ( 1 - 5 ) y - 3 ( 3 + 5 ) z - 1 + 5 = 0 = 3 ( 7 + 5 ) x + 9 ( 1 - 5 ) y - 3 ( 1 - 5 ) z - 1 + 5 3 ( 3 + 5 ) x - 3 ( 1 - 5 ) y - 3 ( 1 - 5 ) z + 1 - 5 = 0 = 3 ( 1 - 5 ) x - 9 ( 1 - 5 ) y - 3 ( 7 + 5 ) z + 1 - 5 3 ( 1 - 5 ) x - 3 ( 3 + 5 ) y + 3 ( 1 - 5 ) z - 1 + 5 = 0 = 3 ( 7 + 5 ) x - 3 ( 1 - 5 ) y + 9 ( 1 - 5 ) z - 1 + 5 3 ( 3 + 5 ) x - 3 ( 1 - 5 ) y - 3 ( 1 - 5 ) z + 1 - 5 = 0 = 3 ( 1 - 5 ) x - 3 ( 7 + 5 ) y - 9 ( 1 - 5 ) z + 1 - 5

The parametric representations of lines of intersection are here found by setting z equal to the affine parameter and solving the system for the other two variables in terms of it, so that common points occur for z = 0 . The remaining twelve lines are

[ 1 + 3 5 , − 1 5 , 1 ] t + [ 5 + 5 30 , 5 + 3 5 30 , 0 ] [ − 1 5 , 1 + 3 5 , 1 ] t + [ 5 + 3 5 30 , 5 + 5 30 , 0 ] [ − 3 - 5 , − 5 , 1 ] t + [ 7 + 3 5 6 , 3 + 5 6 , 0 ] [ − 3 + 5 4 , − 5 + 3 5 4 , 1 ] t + [ 3 + 5 12 , 1 - 5 12 , 0 ] [ − 5 - 3 5 4 , − 3 - 5 4 , 1 ] t + [ 1 + 5 12 , 3 - 5 12 , 0 ] [ 5 , − 3 + 5 , 1 ] t + [ 3 - 5 6 , 7 - 3 5 6 , 0 ] [ − 5 , − 3 - 5 , 1 ] t + [ 3 + 5 6 , 7 + 3 5 6 , 0 ] [ − 5 + 3 5 4 , − 3 + 5 4 , 1 ] t + [ 1 - 5 12 , 3 + 5 12 , 0 ] [ − 3 - 5 4 , − 5 - 3 5 4 , 1 ] t + [ 3 - 5 12 , 1 + 5 12 , 0 ] [ − 3 + 5 , 5 , 1 ] t + [ 7 - 3 5 6 , 3 - 5 6 , 0 ] [ 1 5 , 1 - 3 5 , 1 ] t + [ 5 - 3 5 30 , 5 - 5 30 , 0 ] [ 1 - 3 5 , 1 5 , 1 ] t + [ 5 - 5 30 , 5 - 3 5 30 , 0 ]

And that completes the mathematics necessary for the visualization. Enjoy!

Uploaded 2017.09.17 analyticphysics.com