Trefoil, figure-8, unknot — Reidemeister moves and the Jones polynomial
V(t) = 1 (unknot is trivially knotted)
Crossing number: 0 | Genus: 0 | Unknotting number: 0
R1: Add/remove a loop (changes writhe by ±1)
R2: Slide two strands past each other
R3: Triangle move — slide strand over crossing
Jones polynomial is invariant under all three!
Jones polynomial = Chern-Simons path integral (Witten 1989)
Khovanov homology categorifies Jones: V(t) = Euler characteristic
Open question: Does Jones polynomial detect the unknot?