ConceptComplete

The Jones and Alexander Polynomials - Examples and Constructions

Computing polynomial invariants efficiently requires systematic algorithms exploiting their algebraic structure.

Example

Computing Alexander Polynomial via Seifert Matrix: For the figure-eight knot 414_1, construct a Seifert surface from the standard diagram using Seifert's algorithm:

  1. Orient the knot and smooth all crossings
  2. Count Seifert circles: s=3s = 3 for 414_1
  3. Identify crossing bands connecting circles
  4. Build Seifert matrix VV encoding linking numbers

For 414_1, one Seifert matrix is: V=(βˆ’110βˆ’1)V = \begin{pmatrix} -1 & 1 \\ 0 & -1 \end{pmatrix}

The Alexander polynomial: Ξ”41(t)=det⁑(tVβˆ’VT)=det⁑(βˆ’t+1tβˆ’1βˆ’t+1)\Delta_{4_1}(t) = \det(tV - V^T) = \det\begin{pmatrix} -t+1 & t \\ -1 & -t+1 \end{pmatrix} =(βˆ’t+1)2+t=t2βˆ’2t+1+t=t2βˆ’t+1= (-t+1)^2 + t = t^2 - 2t + 1 + t = t^2 - t + 1

Normalizing to Ξ”(1)=1\Delta(1) = 1 gives Ξ”41(t)=βˆ’t+3βˆ’tβˆ’1\Delta_{4_1}(t) = -t + 3 - t^{-1} in symmetric form.

Definition

Skein tree algorithm for computing Jones polynomial:

  1. Start with oriented diagram DD with nn crossings
  2. Apply skein relation at one crossing: VL=tβˆ’1VL++tVLβˆ’+β‹―V_L = t^{-1}V_{L_+} + tV_{L_-} + \cdots
  3. Recursively compute for both resolutions
  4. Base cases: unknot (V=1V = 1) and unlink (V=(βˆ’tβˆ’1/2βˆ’t1/2)nβˆ’1V = (-t^{-1/2} - t^{1/2})^{n-1})
  5. Combine using skein relations

Complexity: O(2n)O(2^n) in worst case, but optimizations reduce this significantly in practice.

Example

Mutant knots: The Conway knot CC and Kinoshita-Terasaka knot KTKT are mutantsβ€”they differ by a 180Β° rotation of a tangle. Mutant knots have identical:

  • Alexander polynomial: Ξ”C=Ξ”KT=1\Delta_C = \Delta_{KT} = 1
  • Jones polynomial: VC=VKTV_C = V_{KT}
  • HOMFLY-PT polynomial
  • All Vassiliev invariants of degree <10< 10

Yet they are distinct knots! Piccirillo (2020) proved CC is not slice while KTKT is slice, using Khovanov homology to distinguish them. This shows polynomial invariants have fundamental limitations.

Remark

Computational efficiency: Modern software (KnotInfo, SnapPy) uses optimized algorithms:

  • Gaussian elimination for Alexander via Seifert matrices
  • Dynamic programming for Jones via skein trees with memoization
  • Quantum group representations for HOMFLY-PT
  • Linear algebra over polynomial rings

These enable computing invariants for knots with 15+ crossings in seconds, though asymptotic complexity remains exponential.

Example

Ribbon knots are knots bounding smoothly embedded disks in D4D^4 with only ribbon singularities. For ribbon knots:

  • Alexander polynomial has form Ξ”K(t)=f(t)f(tβˆ’1)\Delta_K(t) = f(t)f(t^{-1}) for some polynomial ff
  • Signature Οƒ(K)=0\sigma(K) = 0

The slice-ribbon conjecture asks if all slice knots are ribbon. The figure-eight 414_1 is slice (hence ribbon if conjecture holds), consistent with Ξ”41(t)=βˆ’t+3βˆ’tβˆ’1\Delta_{4_1}(t) = -t + 3 - t^{-1} having appropriate form.

Definition

The colored Jones polynomial JN(K;q)J_N(K; q) is computed using NN-dimensional representations of quantum sl2\mathfrak{sl}_2: JN(K;q)=TrN(ρN(βK))J_N(K; q) = \text{Tr}_N(\rho_N(\beta_K)) where ρN\rho_N is the NN-dimensional irrep and βK\beta_K is a braid representing KK.

For N=2N=2: J2(K;q)=VK(t)∣t=q2J_2(K; q) = V_K(t)|_{t=q^2} (standard Jones polynomial)

The colored Jones polynomials contain vastly more information, conjecturally detecting the unknot and encoding hyperbolic volume.

These constructions demonstrate how polynomial invariants transition from abstract algebraic definitions to concrete computational tools, enabling practical knot classification and verification.