A Tangled Web: An Introduction to Knot Theory and the Jones Polynomial

Knot theory is a branch of topology that studies mathematical knots, which are embeddings of a circle in three-dimensional space. The primary goal is to classify knots and determine whether two seemingly different knots are equivalent, meaning one can be continuously deformed into the other without cutting. This is a difficult problem, and the main tools for solving it are knot invariants—properties that remain unchanged under such deformations. If two knots have a different invariant, they are definitively not equivalent. In 1984, Vaughan Jones discovered a groundbreaking knot invariant known as the Jones polynomial. This invariant assigns a unique polynomial to a knot, which is calculated from a 2D diagram of the knot using a set of rules called skein relations. The Jones polynomial is far more powerful than its predecessors, notably because it can often distinguish a knot from its mirror image, a property known as chirality. For example, it successfully proves that the left-handed and right-handed trefoil knots are fundamentally different. While not a 'complete' invariant (as some distinct knots share the same polynomial), the Jones polynomial revolutionized the field. Its discovery unveiled surprising and profound connections between topology and theoretical physics, particularly quantum field theory, as well as applications in molecular biology for studying the complex knotting of DNA strands. It stands as a prime example of how abstract mathematical research can lead to deep insights across scientific disciplines.

1. What is a Knot?

In everyday language, a knot is a fastening made by tying a piece of string, rope, or something similar. In mathematics, specifically in the field of topology, a knot is a more precise concept: it is an embedding of a circle (a 1-dimensional sphere, S¹) into 3-dimensional Euclidean space (R³). Imagine taking a piece of string, tangling it up, and then fusing the ends together. The resulting closed loop is a mathematical knot. The simplest knot, which is just a simple, un-knotted loop, is called the unknot.

The central question in knot theory is: given two knots, how can we determine if they are the same? 'Sameness' here means that one knot can be continuously deformed into the other without cutting or passing the string through itself. This type of continuous deformation is called an ambient isotopy. Two knots that can be deformed into one another are considered equivalent. The challenge is proving that two knots are not equivalent. How can we be certain that no matter how we twist and pull a trefoil knot, it will never become an unknot?

To formalize this, we work with knot diagrams, which are 2D projections of the 3D knot onto a plane. These diagrams have crossings where one part of the string passes over another. In the 1920s, Kurt Reidemeister proved that two knot diagrams represent the same knot if and only if one can be transformed into the other through a sequence of three specific moves, now called Reidemeister moves:

2. The Need for Knot Invariants

While Reidemeister moves provide a complete description of knot equivalence, they are difficult to use in practice to prove that two knots are different. You might try thousands of moves and fail to transform one knot into another, but that doesn't prove it's impossible. This is where knot invariants come in. A knot invariant is a quantity (a number, a polynomial, a group, etc.) that you can calculate from a knot diagram, which remains the same for any equivalent knot. If two knots have a different value for a particular invariant, they are definitively not the same knot.

Early invariants included the crossing number (the minimum number of crossings in any diagram of the knot) and the unknotting number (the minimum number of times you must pass the string through itself to untie it). However, these are notoriously hard to compute. The search was on for more powerful and more easily computable invariants.

3. The Jones Polynomial: A Quantum Leap

In 1984, New Zealand mathematician Vaughan Jones made a revolutionary discovery while working on a completely unrelated area of mathematics (von Neumann algebras). He found a new, powerful knot invariant: the Jones polynomial, denoted V(L)(t). It assigns to each oriented knot L a Laurent polynomial in the variable t^(1/2).

What made the Jones polynomial so special was its ability to distinguish between knots that older invariants, like the Alexander polynomial, could not. Most notably, it could often distinguish a knot from its mirror image (its chiral partner). For example, the left-handed trefoil knot and the right-handed trefoil knot are not equivalent, and the Jones polynomial proves this by assigning them different polynomials.

4. Calculating the Jones Polynomial via the Kauffman Bracket

While Jones's original formulation was highly abstract, a more combinatorial and accessible method for calculation was soon developed by Louis Kauffman, using a related polynomial called the Kauffman bracket, denoted <L>. The Jones polynomial can be derived from the Kauffman bracket.

The Kauffman bracket is calculated by applying a set of simple rules, called skein relations, that systematically resolve the crossings in a knot diagram until only simple, disjoint unknots remain.

The rules are as follows, using a variable A:

  1. The Unknot Rule: The bracket of a single unknot is 1. <O> = 1.
  2. The Disjoint Union Rule: Adding a disjoint unknot to a diagram multiplies its bracket by a factor δ = -A² - A⁻². <L ∪ O> = δ<L>.
  3. The Skein Relation: This is the core rule for resolving a crossing. For any crossing, we can resolve it in two ways: horizontally (A-smoothing) or vertically (B-smoothing).
  4. <L+> = A<L₀> + A⁻¹<L∞> Here, <L+> is the bracket of the original diagram at a specific crossing. <L₀> is the bracket of the diagram where the crossing is resolved horizontally, and <L∞> is the bracket of the diagram where it's resolved vertically.

By repeatedly applying the skein relation, any knot diagram is reduced to a sum of diagrams of unknots, which can then be evaluated.

Example: Calculating the bracket for the Trefoil Knot Let's take the right-handed trefoil (3₁). It has 3 positive crossings. Applying the skein relation to one crossing gives two simpler diagrams. Applying it again to the remaining crossings in those diagrams will eventually result in a collection of unknots. The final calculation for the trefoil knot yields: <Trefoil> = A⁷ - A³ - A⁻⁵

To get the actual Jones polynomial V(L)(t), we need to account for the orientation of the knot. This is done using the writhe of the diagram, w(L), which is the sum of the signs of its crossings (+1 for over-crossing left-to-right, -1 for over-crossing right-to-left). The Jones polynomial is then defined as: V(L)(t) = (-A³)^(-w(L)) <L> where we substitute A = t^(-1/4).

For the right-handed trefoil, w(L) = +3. The resulting Jones polynomial is V(t) = t⁻¹ + t⁻³ - t⁻⁴. The left-handed trefoil has a different polynomial, t¹ + t³ - t⁴, proving they are distinct.

5. Significance and Applications

The Jones polynomial was more than just a new entry in the catalog of invariants. Its discovery revealed profound and unexpected connections between topology and other fields.

Key points

  • A mathematical knot is a closed loop in 3D space that cannot intersect itself.
  • The central problem in knot theory is distinguishing non-equivalent knots, formalised by Reidemeister moves.
  • A knot invariant is a property (e.g., a number or polynomial) that is the same for all equivalent knots.
  • The Jones polynomial is a powerful algebraic knot invariant discovered by Vaughan Jones in 1984.
  • It is calculated using skein relations (often via the Kauffman bracket), which systematically resolve crossings in a knot diagram.
  • A key strength of the Jones polynomial is its ability to distinguish a knot from its mirror image (chirality), which many older invariants could not.
  • The Jones polynomial is not a complete invariant; there exist distinct non-trivial knots that have the same Jones polynomial.
  • Its discovery revealed deep connections between pure mathematics and other fields, including quantum field theory, statistical mechanics, and molecular biology (e.g., analyzing DNA knots).

Browse public study notes