Jones polynomial

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In the mathematical field of knot theory, the Jones polynomial is a knot polynomial discovered by Vaughan Jones in 1984.[1] 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} with integer coefficients.[2]

Definition by the bracket[edit]

Type I Reidemeister move

Suppose we have an oriented link L, given as a knot diagram. We will define the Jones polynomial, V(L), using Kauffman's bracket polynomial, which we denote by \langle~\rangle. Note that here the bracket polynomial is a Laurent polynomial in the variable A with integer coefficients.

First, we define the auxiliary polynomial (also known as the normalized bracket polynomial)

X(L) = (-A^3)^{-w(L)}\langle L \rangle ,

where w(L) denotes the writhe of L in its given diagram. The writhe of a diagram is the number of positive crossings (L_{+} in the figure below) minus the number of negative crossings (L_{-}). The writhe is not a knot invariant.

X(L) is a knot invariant since it is invariant under changes of the diagram of 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 multiplication by -A^{\pm 3} under a type I Reidemeister move. The definition of the X polynomial given above is designed to nullify this change, since the writhe changes appropriately by +1 or -1 under type I moves.

Now make the substitution A = t^{-1/4} in X(L) to get the Jones polynomial V(L). This results in a Laurent polynomial with integer coefficients in the variable t^{1/2}.

Definition by braid representation[edit]

Jones' original formulation of his polynomial came from his study of operator algebras. In Jones' approach, it resulted from a kind of "trace" of a particular braid representation into an algebra which originally arose while studying certain models, e.g. the Potts model, in statistical mechanics.

Let a link L be given. A theorem of Alexander's states that it is the trace closure of a braid, say with n strands. Now define a representation \rho of the braid group on n strands, Bn, into the Temperley–Lieb algebra TLn with coefficients in \mathbb Z [A, A^{-1}] and \delta = -A^2 - A^{-2}. The standard braid generator \sigma_i is sent to A\cdot e_i + A^{-1}\cdot 1, where 1, e_1, \dots, e_{n-1} are the standard generators of the Temperley–Lieb algebra. It can be checked easily that this defines a representation.

Take the braid word \sigma obtained previously from L and compute \delta^{n-1} tr \rho(\sigma) where tr is the Markov trace. This gives \langle L \rangle, where \langle \rangle is the bracket polynomial. This can be seen by considering, as Kauffman did, the Temperley–Lieb algebra as a particular diagram algebra.

An advantage of this approach is that one can pick similar representations into other algebras, such as the R-matrix representations, leading to "generalized Jones invariants".

Properties[edit]

The Jones polynomial is characterized by the fact that it takes the value 1 on any diagram of the unknot and satisfies the following skein relation:

 (t^{1/2} - t^{-1/2})V(L_0)  = t^{-1}V(L_{+}) - tV(L_{-}) \,

where L_{+}, L_{-}, and L_{0} are three oriented link diagrams that are identical except in one small region where they differ by the crossing changes or smoothing shown in the figure below:

Skein (HOMFLY).svg

The definition of the Jones polynomial by the bracket makes it simple to show that for a knot K, the Jones polynomial of its mirror image is given by substitution of t^{-1} for t in V(K). Thus, an amphichiral knot, a knot equivalent to its mirror image, has palindromic entries in its Jones polynomial. See the article on skein relation for an example of a computation using these relations.

Link with Chern–Simons theory[edit]

As first shown by Edward Witten, the Jones polynomial of a given knot \gamma can be obtained by considering Chern–Simons theory on the three-sphere with gauge group SU(2), and computing the vacuum expectation value of a Wilson loop W_F(\gamma), associated to \gamma, and the fundamental representation F of \mathrm{SU}(2).

Open problems[edit]

  • Is there a nontrivial knot with Jones polynomial equal to that of the unknot? It is known that there are nontrivial links with Jones polynomial equal to that of the corresponding unlinks by the work of Morwen Thistlethwaite.

See also[edit]

Notes[edit]

  1. ^ Jones, V.F.R. (1985). "A polynomial invariant for knots via von Neumann algebra". Bull. Amer. Math. Soc.(N.S.) 12: 103–111. 
  2. ^ JONES POLYNOMIALS, VOLUME AND ESSENTIAL KNOT SURFACES: A SURVEY [1]

References[edit]

External links[edit]