Jones polynomial

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

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}}$ .

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.^[3]

Let $k$ be a non-negative integer and $S_k$ denote the set of all isotopic types of tangle diagrams, with $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 $2k$ -end oriented tangle an element of the free $\mathrm{R}$ -module $\mathrm{R}[S_k]$ , where $\mathrm{R}$ is the ring of Laurent polynomials with integer coefficients in the variable $t^{{1/2}}$ .

Definition by braid representation

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, B_n, into the Temperley–Lieb algebra TL_n 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 Louis 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

The Jones polynomial is characterized by taking 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:

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 amphicheiral 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.

Another remarkable property of this invariant states that the Jones polynomial of an alternating link is an alternating polynomial. This property was proved by Morwen Thistlethwaite ^[4] in 1987. Another proof of this last property is due to Hernando Burgos-Soto, who also gave an extension to tangles^[5] of the property.

Colored Jones polynomial

N colored Jones Polynomial: The N cables of L are parallel with each other along the knot L and each is colored a different color.

For a positive integer N a N-colored Jones polynomial $V_{N}(L,t)$ can be defined as the Jones polynomial for N cables of the knot $L$ as depicted in the right figure. It is associated with an (N + 1)-dimensional irreducible representation of $SU(2)$ . The label N stands for coloring. Like the ordinary Jones polynomial it can be defined by Skein relation and is a Laurent polynomial in one variable t . The N-colored Jones polynomial $V_{N}(L,t)$ has the following properties:

$V_{{X\oplus Y}}(L,t)=V_{X}(L,t)+V_{Y}(L,t)$ where $X,Y$ are two representation space.
$V_{{X\otimes Y}}(L,t)$ equals the Jones polynomial of the 2-cables of L with two components labeled by $X$ and $Y$ . So the N-colored Jones polynomial equals the original Jones polynomial of the N cables of $L$ .
The original Jones polynomial appears as a special case: $V(L,t)=V_{1}(L,t)$ .

Relationship to other theories

Link with Chern–Simons theory

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)$ .

Link with quantum knot invariants

By substituting $e^{h}$ the variable $t$ of the Jones polynomial and expanding it as the series of h each of the coefficients turn to be the Vassiliev invariant of the knot K. In order to unify the Vassiliev invariants(finite type invariant) Maxim Kontsevich constructed the Kontsevich integral. The value of the Kontsevich integral, which is the infinite sum of 1, 3-valued chord diagram, named the Jacobi chord diagram, reproduces the Jones polynomial along with the $sl_{2}$ weight system which was deeply studied by Dror Bar-Natan.

Link with the volume conjecture

By numerical examinations on some hyperbolic knots Roman M. Kashaev discovered that substituting the n-th root of unity the parameter of the colored Jones polynomial corresponding to the N-dimensional representation and limiting it as N grows to the infinity　its limit value would give the hyperbolic volume of the knot complement. (See Volume conjecture.)

Link with Khovanov homology

In 2000 Mikhail Khovanov constructed a certain chain complex for knots and links and showed that the homology induced from it is a knot invariant (see Khovanov homology). The Jones polynomial is described as the Euler characteristic for this homology.

Open problems

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.

Problem（Extension of Jones polynomial togeneral 3-manifolds）

``The original Jones polynomial was defined for 1-links in the 3-sphere(the 3-ball, the 3-space R3). Can you define the Jones polynomial for 1-links in any 3-manifold?’’

See section 1.1 of this paper ^[6] for the background and the history of this problem. Kauffman submitted a solution in the case of the product manifold of closed oriented surface and the closed interval, by introducing virtual 1-knots ^[7]. It is open in the other cases. Witten’s path integral for Jones polynomial is written for links in any compact 3-manifold formally, but the calculus is not done even in physics level in any case other than the 3-sphere (the 3-ball, the 3-space R3). This problem is also open in physics level. In the case of Alexander polynomial, this problem is solved.

Notes

↑ Jones, V.F.R. (1985). "A polynomial invariant for knots via von Neumann algebra". Bulletin of the American Mathematical Society (N.S.). 12: 103–111. doi:10.1090/s0273-0979-1985-15304-2.
↑ "Jones Polynomials, Volume and Essential Knot Surfaces: A Survey" (PDF).
↑ Turaev, Vladimir G. (1990). "Jones-type invariants of tangles". Journal of Mathematical Sciences. 52: 2806–2807. doi:10.1007/bf01099242.
↑ Thistlethwaite, Morwen B. (1987). "A spanning tree expansion of the jones polynomial". Topology. 26 (3): 297–309. doi:10.1016/0040-9383(87)90003-6.
↑ Burgos-Soto, Hernando (2010). "The Jones polynomial and the planar algebra of alternating links". Journal of Knot Theory and its Ramifications. 19 (11): 1487–1505. arXiv:0807.2600. doi:10.1142/s0218216510008510.
↑ Kauffman, L.H; Ogasa, E; Shcneider, J (2018), A spinning construction for virtual 1-knots and 2-knots, and the fiberwise and welded equivalence of virtual 1-knots, arXiv:1808.03023
↑ Kauffman, L.E., Talks at MSRI Meeting in January 1997, AMS Meeting at University of Maryland, College Park in March 1997, Isaac Newton Institute Lecture in November 1997, Knots in Hellas Meeting in Delphi, Greece in July 1998, APCTP-NANKAI Symposium on Yang-Baxter Systems, Non-Linear Models and Applications at Seoul, Korea in October 1998, Virtual knot theory, European J. Combin. 20 (1999) 663-690, arXiv:math/9811028 line feed character in |title= at position 329 (help)

References

Vaughan Jones, The Jones Polynomial
Colin Adams, The Knot Book, American Mathematical Society, ISBN 0-8050-7380-9
Kauffman, Louis H. (1987). "State models and the Jones polynomial". Topology. 26 (3): 395–407. doi:10.1016/0040-9383(87)90009-7. Retrieved 22 December 2012. (explains the definition by bracket polynomial and its relation to Jones' formulation by braid representation)
Lickorish, W. B. Raymond (1997). An introduction to knot theory. New York; Berlin; Heidelberg; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer. p. 175. ISBN 978-0-387-98254-0.
Thistlethwaite, Morwen (2001). "Links with trivial Jones polynomial". Journal of Knot Theory and Its Ramifications. 10 (04): 641–643. doi:10.1142/S0218216501001050.
Eliahou, Shalom; Kauffman, Louis H.; Thistlethwaite, Morwen B. (2003). "Infinite families of links with trivial Jones polynomial". Topology. 42 (1): 155–169. doi:10.1016/S0040-9383(02)00012-5.

External links

Hazewinkel, Michiel, ed. (2001) [1994], "Jones-Conway polynomial", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
Links with trivial Jones polynomial by Morwen Thistlethwaite
"The Jones Polynomial", The Knot Atlas.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Jones, V.F.R. (1985). "A polynomial invariant for knots via von Neumann algebra". Bulletin of the American Mathematical Society (N.S.). 12: 103–111. doi:10.1090/s0273-0979-1985-15304-2.

[2] "Jones Polynomials, Volume and Essential Knot Surfaces: A Survey" (PDF).

[3] Turaev, Vladimir G. (1990). "Jones-type invariants of tangles". Journal of Mathematical Sciences. 52: 2806–2807. doi:10.1007/bf01099242.

[4] Thistlethwaite, Morwen B. (1987). "A spanning tree expansion of the jones polynomial". Topology. 26 (3): 297–309. doi:10.1016/0040-9383(87)90003-6.

[5] Burgos-Soto, Hernando (2010). "The Jones polynomial and the planar algebra of alternating links". Journal of Knot Theory and its Ramifications. 19 (11): 1487–1505. arXiv:0807.2600. doi:10.1142/s0218216510008510.

[6] Kauffman, L.H; Ogasa, E; Shcneider, J (2018), A spinning construction for virtual 1-knots and 2-knots, and the fiberwise and welded equivalence of virtual 1-knots, arXiv:1808.03023

[7] Kauffman, L.E., Talks at MSRI Meeting in January 1997, AMS Meeting at University of Maryland, College Park in March 1997, Isaac Newton Institute Lecture in November 1997, Knots in Hellas Meeting in Delphi, Greece in July 1998, APCTP-NANKAI Symposium on Yang-Baxter Systems, Non-Linear Models and Applications at Seoul, Korea in October 1998, Virtual knot theory, European J. Combin. 20 (1999) 663-690, arXiv:math/9811028 line feed character in |title= at position 329 (help)

Knot theory (knots and links)
Hyperbolic	Figure-eight (4₁) Three-twist (5₂) Stevedore (6₁) 6₂ 6₃ Endless (7₄) Carrick mat (8₁₈) Perko pair (10₁₆₁) (−2,3,7) pretzel (12n242) Whitehead (5² ₁) Borromean rings (6³ ₂) L10a140
Satellite	Composite knots Granny Square Knot sum
Torus	Unknot (0₁) Trefoil (3₁) Cinquefoil (5₁) Septafoil (7₁) Unlink (0² ₁) Hopf (2² ₁) Solomon's (4² ₁)
Invariants	Alternating Arf invariant Bridge no. 2-bridge Brunnian Chirality Invertible Crosscap no. Crossing no. Finite type invariant Hyperbolic volume Khovanov homology Genus Knot group Link group Linking no. Polynomial Alexander Bracket HOMFLY Jones Kauffman Pretzel Prime list Stick no. Tricolorability Unknotting no. and problem
Notation and operations	Alexander–Briggs notation Conway notation Dowker notation Flype Mutation Reidemeister move Skein relation Tabulation
Other	Alexander's theorem Berge Braid theory Conway sphere Complement Double torus Fibered Knot List of knots and links Ribbon Slice Sum Tait conjectures Twist Wild Writhe Surgery theory
Category Commons