# Icon

The original Clay Mathematics Institute icon took the form of the sculpture "Figureight Knot Complement vii/ CMI" by sculptor Helaman Ferguson. The CMI commissioned the sculpture in early 1999, and the sculptor himself unveiled the granite masterpiece on May 10, 1999. Smaller polished bronze versions have been presented in recognition of the annual Clay Research Awards. The bronze replicas were crafted using the lost wax process for molds made from the original. The master sculpture also served as a model for the larger sculpture carved in Inner Mongolian Black Granite and located at the CMI office in Oxford.

The figureight knot is presented as an esker curve winding with no self-intersections on a double torus. The complement of the figureight knot has the structure of a double quotient group, one of the groups being discrete.

The mathematical object which the sculpture represents is the orbifold X given as a quotient of three-dimensional hyperbolic space by a discrete group action, as described by the equations in the image, which are inscribed on the larger granite sculpture.

The current logo of the CMI echoes the esker curve.

## Note by Marc Lackenby

The first line says that the figure-eight knot complement (i.e. S^{3} \ 4_{1}) is a quotient of hyperbolic 3-space by a discrete group Γ of isometries. Viewing them as 2x2 matrices, an explicit generating set is given in the bottom line.

Lines 2-5 give a formula for the volume of this hyperbolic 3-manifold. Lines 3-5 say that

,

where *v*_{i} has the formula in line 2. This formula arises as follows. The figure-eight knot complement is obtained from two regular ideal tetrahedra. So, we just need a formula for the volume of such an ideal tetrahedron. It is

where *θ*_{1}, *θ*_{2} and* θ*_{3} are the dihedral angles of the tetrahedron and Λ is the "Lobachevsky function". In this case *θ*_{1} = *θ*_{2} =* θ*_{3 }=* π/3.* The Lobachevsky function is defined as an infinite sum, but in this case, because we're dealing with *θ _{i}* =

*π/3,*you get a periodicity and you get just the five terms

*v*

_{1 },...,

*v*

_{5}.

Milnor wrote a short chapter in Thurston's notes about this, which can be found here