In the mathematical field of knot theory, the Jones polynomial is a knot polynomial discovered by Vaughan Jones in 1984. Specifically, it is an invariant of an oriented knot or link which assigns to each oriented knot or link a Laurent polynomial in the variable t 1 / 2 {\displaystyle t^{1/2}} with integer coefficients.
Definition by the bracket
Suppose we have an oriented link L {\displaystyle L} , given as a knot diagram. We will define the Jones polynomial V ( L ) {\displaystyle V(L)} by using Louis Kauffman's bracket polynomial, which we denote by ⟨ ⟩ {\displaystyle \langle ~\rangle } . Here the bracket polynomial is a Laurent polynomial in the variable A {\displaystyle A} with integer coefficients. First, we define the auxiliary polynomial (also known as the normalized bracket polynomial)
X ( L ) = ( − A 3 ) − w ( L ) ⟨ L ⟩ , {\displaystyle X(L)=(-A^{3})^{-w(L)}\langle L\rangle ,}
where w ( L ) {\displaystyle w(L)} denotes the writhe of L {\displaystyle L} in its given diagram. The writhe of a diagram is the number of positive crossings ( L + {\displaystyle L_{+}} in the figure below) minus the number of negative crossings ( L − {\displaystyle L_{-}} ). The writhe is not a knot invariant.
X ( L ) {\displaystyle X(L)} is a knot invariant since it is invariant under changes of the diagram of L {\displaystyle L} by the three Reidemeister moves. Invariance under type II and III Reidemeister moves follows from invariance of the bracket under those moves. The bracket polynomial is known to change by a factor of − A ± 3 {\displaystyle -A^{\pm 3}} under a type I Reidemeister move. The definition of the X {\displaystyle X} polynomial given above is designed to nullify this change, since the writhe changes appropriately by + 1 {\displaystyle +1} or − 1 {\displaystyle -1} under type I moves. Now make the substitution A = t − 1 / 4 {\displaystyle A=t^{-1/4}} in X ( L ) {\displaystyle X(L)} to get the Jones polynomial V ( L ) {\displaystyle V(L)} . This results in a Laurent polynomial with integer coefficients in the variable t 1 / 2 {\displaystyle t^{1/2}} .
Jones polynomial for tangles This construction of the Jones polynomial for tangles is a simple generalization of the Kauffman bracket of a link. The construction was developed by Vladimir Turaev and published in 1990. Let k {\displaystyle k} be a non-negative integer and S k {\displaystyle S_{k}} denote the set of all isotopic types of tangle diagrams, with 2 k {\displaystyle 2k} ends, having no crossing points and no closed components (smoothings). Turaev's construction makes use of the previous construction for the Kauffman bracket and associates to each 2 k {\displaystyle 2k} -end oriented tangle an element of the free R {\displaystyle \mathrm {R} } -module R [ S k ] {\displaystyle \mathrm {R} [S_{k}]} , where R {\displaystyle \mathrm {R} } is the ring of Laurent polynomials with integer coefficients in the variable t 1 / 2 {\displaystyle t^{1/2}} .
… excerpt ends here. Continue reading the full article.



