Kauffman Bracket, Writhe & Reidemeister Moves in Knot Theory

Polynomial invariants provide algebraic tools for distinguishing knots and links. The Alexander polynomial (1928) was the first knot invariant, followed by the Conway polynomial (1974) introducing skein relations. The Jones polynomial (1984) revolutionized knot theory by distinguishing many previously indistinguishable knots. The HOMFLY-PT polynomial (1985) generalized these to two variables. Skein relations provide recursive formulas: for the Kauffman bracket, L+, L-, and L0 relate diagrams differing only locally, reducing crossing numbers until reaching simple cases. The Jones polynomial emerges from the Kauffman bracket by setting t=q². These relations enable systematic computation and reveal deep algebraic structures connecting different knot polynomials.

The skein relation is the key recursive formula for the Alexander-Conway polynomial. It states that for a specific local change in a knot diagram (changing a crossing from positive to negative), the polynomial satisfies: Δ(K) - Δ(K+) = X·Δ(K-), where K+ and K- are the knots with positive and negative crossings respectively. The Alexander-Conway polynomial of the Hopf link is X, computed using the skein relation. The polynomial of the right trefoil knot is 1 + X², computed by relating the trefoil to the Hopf link and the trivial knot. Since this polynomial is not equal to 1 (the polynomial of the trivial knot), the trefoil is not equivalent to the trivial knot.

The Alexander polynomial (1923) was the first major knot invariant polynomial, relating three versions of a knot obtained by changing a single crossing. It satisfies Alexander(unknot)=1. Vaughan Jones discovered the Jones polynomial in 1984 while working on statistical mechanics algebra, earning the Fields Medal in 1990. Six mathematicians independently found the HOMFLY polynomial (two variables) shortly after. No single invariant distinguishes all knots; multiple invariants are combined like checking multiple identifiers. The unknot has Alexander polynomial 1 but Jones polynomial 1 as well. These polynomials provide increasingly powerful tools for distinguishing knots, though none are perfect alone.

The Jones polynomial is a knot invariant constructed from the R-matrix of V2. It satisfies skein relations: for a crossing, the polynomial is a linear combination of the polynomials of the two resolutions. The decomposition V2 ⊗ V2 = V3 ⊕ V1 with R-matrix action Q^(-1/2) on V3 and -Q^(3/2) on V1 leads to the skein relation R = Q^(-1/2) I + (Q^(-1/2) - Q^(3/2)) E, where E is the projector onto V1.

Khovanov homology is a powerful link invariant that categorifies the Jones polynomial by associating a bigraded complex of abelian groups to a planar diagram of a link, where the graded Poincaré polynomial of its homology yields the unnormalized Jones polynomial evaluated at t=-1; this invariant is proven to be independent up to quasi-isomorphism from the specific planar projection through invariance under Reidemeister moves, with the construction involving a cube of resolutions where vertices correspond to circle counts and edges encode circle splitting/merging operations using a Frobenius algebra structure on the vector space V = k⟨+, -⟩.

Khovanov homology categorifies the Jones polynomial combinatorially. Each crossing resolves into A-resolution or B-resolution, producing 2ⁿ resolutions for n crossings. Each resolution yields circles, which categorify to graded vector spaces. The algebra A = C[x]/(x²) with graded dimension 1 + q² categorifies the unknot Jones polynomial. Chain complexes with multiplication and comultiplication maps define differentials. The graded Euler characteristic recovers the Jones polynomial. This construction was pioneered by Mikhail Khovanov and has been reinterpreted through algebraic geometry, representation theory, and category O theory. Beyond ordinary categorification, 2-categorification replaces categories with 2-categories. Aaron Lauda categorified Uq(sl2) as a 2-category, and independently Khovanov-Lauda and Rouquier did so for Uq(sln). Objects are integers, 1-morphisms are functors, and 2-morphisms are natural transformations. While conceptually elegant, it was shown by Stroppel that it contains the same information as Khovanov homology. Current research explores categorifying quantum groups at roots of unity, aiming to construct 3+1 TQFTs from Crane-Frenkel's original vision.

Khovanov homology is a categorification of the Jones polynomial, developed by Mikhail Khovanov in 1999, which assigns a graded homology theory to knots and links by constructing a chain complex from the state cube of a link diagram, where each state corresponds to a smoothing of crossings and the complex's homology provides a more powerful invariant that detects the unknot and has applications in proving the three-colorability conjecture and slice genus conjecture.

Categorification replaces algebraic invariants with homological ones, providing richer structural information. For the Jones polynomial, this means constructing a chain complex whose Euler characteristic recovers the polynomial. Each state receives a graded vector space, typically two-dimensional with basis elements for each smoothing choice. Tensor products combine vector spaces across crossings, while multiplication and comultiplication maps encode how states relate through crossing changes. Boundary maps move between states by changing one crossing smoothing at a time. Once bases are chosen, boundary maps become matrices. Computing homology requires finding kernels and images through matrix operations. The graded Euler characteristic—the alternating sum of homology dimensions weighted by grading—recovers the original Jones polynomial. Khovanov homology is the specific homology theory obtained, assigning to each knot a bigraded vector space. Beyond mathematics, categorification techniques appear in gauge theory and quantum field theory. However, the Jones polynomial remains incomplete—it cannot distinguish all knots (e.g., Conway's nine knots). This limitation motivates stronger invariants and continues driving research in low-dimensional topology, with the question of whether the Jones polynomial distinguishes all knots remaining open.

Khovanov homology is a powerful knot invariant that categorifies the Jones polynomial by associating a bi-graded chain complex to a knot diagram, where the graded Euler characteristic of this complex recovers the Jones polynomial; this homology was defined by Mikhail Khovanov in 2000 and proven to be a knot invariant by Jacob Rasmussen, Ciprian Manolescu, and others, providing a stronger invariant than the Jones polynomial alone as it can distinguish knots that have identical Jones polynomials.

The Jones polynomial, discovered by Vaughan Jones in the early 1980s, revolutionized knot theory by connecting von Neumann algebras to statistical mechanics. Jones constructed his polynomial using braid group representations with complex parameter q, creating invariants through trace operations on braids glued to form knots. Tsuchiya and Kanie later showed that these Jones representations emerge naturally from decomposing genus-zero correlation functions of the Wess-Zumino-Witten (WZW) model into conformal blocks. Chern-Simons theory provides a three-dimensional topological quantum field theory framework where the action is defined without metric tensors, relying only on orientation. Wilson loop operators create knot invariants when evaluated in R³. A fundamental equivalence exists between the space of physical states of Chern-Simons theory and the space of conformal blocks of the WZW model. The volume conjecture relates the Jones polynomial limit as k→∞ to hyperbolic volumes of 3-manifolds, motivating exploration of higher-dimensional gauge theories.

This section traces the evolution of knot theory from classical invariants to modern applications. J.W. Alexander discovered the Alexander polynomial in the 1920s, which could distinguish some knots but not all. More recently, physicists and mathematicians developed new polynomial invariants using quantum field theory and operator algebras. The HOMFLY paper presented powerful new link invariants. These tools now apply to understanding DNA knotting, demonstrating how pure mathematics finds practical applications in biology.

Knot invariants are properties unchanged by knot manipulation. Tricolorability determines if a knot can be colored with three colors following specific rules at crossings. The trefoil knot is tricolorable while the unknot is not. The Alexander polynomial, discovered in 1923, provides a unique algebraic representation for each knot. In 1984, Vaughan Jones discovered the Jones polynomial, which could distinguish more knots. Shortly after, six mathematicians independently discovered the Homfly polynomial with two variables, providing even greater distinguishing power. This polynomial can distinguish knots that other invariants cannot.

In 1973, Kenneth Perko discovered that two knots listed separately in original tables were actually equivalent—the only correction in 75 years. This revealed limitations of visual inspection. Modern computational methods use algorithms to generate candidate knots and invariants to eliminate duplicates. Dennis Weeks and collaborators tabulated knots up to 16 crossings in the 1980s. In 2020, Benjamin Burton independently tabulated knots with 17-19 crossings, reaching approximately 352 million prime knots. Alternating knots were enumerated to 24 crossings, yielding ~159 billion distinct knots. In 1989, Jean-Marie Lehn created the first synthetic molecular trefoil knot around copper ions. The most complex molecular knot contains 192 atoms in an 8-crossing configuration around a chloride ion. DNA molecules are long, circular chains that can become knotted during replication. Bacteria use topoisomerase enzymes to cut and reconnect DNA strands, resolving knots. Antibiotics called quinolones inhibit bacterial topoisomerases, killing bacteria. Human topoisomerases differ sufficiently to avoid affecting human cells, making them targets for cancer chemotherapy.

This section traces the evolution from classical knot invariants to modern quantum field theory approaches. Crossing number is a weak invariant—distinct knots share the same count. The Jones polynomial improved classification but couldn't distinguish mutant knots (related by 180-degree tangle rotations). Chern-Simons theory provides a powerful framework where Wilson loop operators serve as knot observables. Different gauge groups yield different invariants: SU(2) fundamental gives Jones, SU(n) fundamental gives HOMFLY-PT, and SO(n) vector gives Kauffman. Witten proved this reproduces Jones polynomial recursion relations. The framework allows computation for arbitrary gauge groups and representations without recursive skein relations.