Hyperboloidal Representation of Torus Knots

Written by Timi Patterson (2024 Summer Research Scholar), added to by Elizabeth Denne.

A polygonall (3,5) torus knot arranged on a hyperboloid of one sheet

A T(3,5) torus knot arranged on two hyperboloids of one sheet.

In his book Knots and Links, Peter Cromwell details a representation of torus knots embedded in a parameterization on the union of two hyperboloids. He provides these instructions in Section 1.5:

Choose an angle θ in [0, π/2] and construct two points: \[ A=(\cos\theta, -\sin\theta, -1), \ \ B=(\cos\theta, \sin\theta, 1).\] The straight line through A and B is defined by \[x=\cos\theta, y=z\sin\theta.\] Rotating this line about the z-axis gives the hyperboloid \[x^2+y^2-z^2\sin^2\theta = \cos^2\theta.\] Let Ht denote the annulus obtained by restricting z between the interval from -1 to 1. The boundary curves of the annulus are unit circles: \[ x^2+y^2=1, \ \ z=\pm 1.\] Take the union of two of these Ht annuli with different values of t=theta. This new surface is topologically a torus.

The (p,q) torus knot with p strictly greater than q (and q greater than or equal 2) can be embedded in one of these “hyperboloidal” tori as follows. Choose t=theta and s=phi such that \[ \frac{q}{p}\cdot \frac{\pi}{2} <\theta < \min\{ \frac{\pi}{2}, \frac{q}{p} \pi\} \ \ \ \text{and} \ \ \ \phi = \frac{q}{p}\pi -\theta  .\]  The knot will lie in the torus which is the union of Ht and Hs.

Now take i in {0, 1, 2, … , 2p}. If i is odd, the vertices of the knot are \[ v_i=( \cos((i-1)\pi\frac{q}{p} + 2\theta), \sin((i-1)\pi\frac{q}{p}+2\theta), 1), \] and if i is even, the vertices of the knot are \[v_i =  (\cos((i\pi\frac{q}{p}), \sin(i\pi\frac{q}{p}), -1) .\]

Black and white image of a knot made of 6 edges.

Polygonal (3,2) torus knot whose edges lie on hyperboloids of one sheet.

Following these instructions for the trefoil knot viewed as a T(3,2) torus knot, with\[ \theta = \frac{2\pi}{5} \ \ \text{and} \ \  \phi = \frac{4\pi}{15},\]

I constructed the following vertices:
x y z
1 -0.8090169944 0.5877852523 1.0
2 -0.5 -0.8660254038 -1.0
3 0.9135454576 0.4067366431 1.0
4 -0.5 0.8660254038 -1.0
5 -0.1045284633 -0.9945218954 1.0
6 1.0 0.0 -1.0
Black and white photo of a 4 stick unknot

One component of the T(4,2) torus link.

I first constructed the T(5,3) torus knot in Cinema 4D, as the vertices were detailed in the book. I did this by creating splines using the vertices created by the functions, and using Cinema 4D’s sweep function to create a model with a thickness. I used the Chamfer tool to smooth out the corners. I then went on to create the trefoil knot, the T(10,8) torus knot, the T(4,2), T(12,3), and T(10,8) torus links all in Cinema 4D with the same technique.

Black and white image of 8 line segments, some connected.

The T(4,2) torus link. Note the two components differ by a 90 degree rotation.

To create the links, I had to separate the functions into the different components. Take for example the T(4,2) torus link. When evaluating the formulas, the q/p reduces to 1/2. To then create the two different components of T(2,1), the first component uses the vertices constructed as described above. To construct the vertices of the second component, simply add π/2 to the inside of the trig function in each component. (For example cos(iπ/2 +π/2) for the first term in the even index vertex.) Therefore, I had two components with these vertices (for theta=3π/8 and phi=π/8).

Component 1:

x y z
1 -0.7071067812 0.7071067812 1.0
2 -1.0 0.0 -1.0
3 0.7071067812 -0.7071067812 1.0
4 1.0 0.0 -1.0

Component 2:

x y z
1 0.7071067812 0.7071067812 1.0
2 0.0 -1.0 -1.0
3 -0.7071067812 -0.7071067812 1.0
4 0.0 1.0 -1.0
black and white image of a large number of intersecting line segments

One version of the T(10,8) torus link.

A black and white image of a series of nested interleaved line segments.

A different version of the T(10,8) torus link.

One thing that I experimented with some when working with the T(10,8) torus link is manipulating the theta value to try and reduce any intersections of the model. I created two different models, one with theta=5π/11, the other with theta=5π/12. They varied a lot with where the self-intersections of the tubes were, but alas both of the tubes did self intersect. That will most likely happen with a lot of torus knots or links with p’s and q’s of closer value, but some self-intersections may be able to be avoided by manipulating the theta value,

White knot on brown background

The T(10,3) torus knot.

White link on brown background

The T(10,8) torus link.

I then went on to print out most of these 3D models. The T(10,3) torus knot and T(10,8) torus link are shown above. It turned turns out that these models are surprisingly difficult to print. Take a look at the models. There is only a small area on the base of each V shape. The edges of the knots have to “grow” from this small base. This means the models are unstable. So even though the angle of the edges is high with respect to the ground, the models still need support. We printed several without supports and had some spectacular failures, as shown below. After the edges of the knots fell over on the print bed, the printer kept going leaving a squiggly mess of filament.  The solution to this problem was to increase the angle for the supports from 43 to 55 degrees.

two distinct white spiky shapes on black platforms

Several of the builds failed as the edges of the knots fell over during 3D printing.