ScalingStacks

2.4 Kauffman bracket

In this section we review the Kauffman bracket and its relation to the Jones polynomial following Kauffman [Ka]. Fix an orientation of the 3-space ℝ3\mathbb{R}^{3}. A plane projection DD of an oriented link LL in ℝ3\mathbb{R}^{3} is called generic if it has no triple intersections, no tangencies and no cusps. In this paper by a plane projection we will mean a generic plane projection. Given a plane projection D,D, we assign a Laurent polynomial <D>∈ℤ⁡[q,q−1]<D>\in\mathbb{Z}[q,q^{-1}] to DD by the following rules

  1. 1.

    A simple closed loop evaluates to q+q−1:q+q^{-1}:

    [Uncaptioned image]
  2. 2.

    Each over and undercrossing is a linear combination of two simple resolutions of this crossing:

    [Uncaptioned image]
  3. 3.

    <D1​⨆D2>=<D1><D2><D_{1}\bigsqcup D_{2}>=<D_{1}><D_{2}> where <D1​⨆D2><D_{1}\bigsqcup D_{2}> stands for the disjoint union of the diagrams D1D_{1} and D2.D_{2}.

From these rules we deduce that

[Uncaptioned image]
[Uncaptioned image]
[Uncaptioned image]

Curves of the diagram DD inherit orientations from that of L.L. Let x⁡(D)x(D) be the number of double points in the diagram DD that look like

[Uncaptioned image]

and y⁡(D)y(D) the number of double points that look like

[Uncaptioned image]

Then the quantity

K⁡(D)=(−1)x⁡(D)​qy⁡(D)−2​x​(D)<D>K(D)=(-1)^{x(D)}q^{y(D)-2x(D)}<D> (21)

does not depend on the choice of a diagram DD of the oriented link LL and is an invariant of L.L. We denote this invariant by K⁡(L).K(L). Up to a simple normalization, K⁡(L)K(L) is the Kauffman bracket of link LL and equal to the Jones polynomial of L.L. The Kauffman bracket, f⁡[L],f[L], as defined in [Ka], is a Laurent polynomial in an indeterminate AA (this AA has no relation to the algebra AA in Section 2.2 of this paper). One easily sees that setting our qq to −A−2-A^{-2} and dividing by (−A2−A−2)(-A^{2}-A^{-2}) we get f⁡[L]f[L]:

K​(L)(q=−A−2)=(−A2−A−2)​f​[L]K(L)_{(q=-A^{-2})}=(-A^{2}-A^{-2})f[L] (22)

In this paper we will call K⁡(L)K(L) the scaled Kauffman bracket.

Let L1,L2L_{1},L_{2} and L3L_{3} be three oriented links that differ as shown below.

[Uncaptioned image]

The rules for computing the Kauffman bracket imply

q−2​K​(L1)−q2​K​(L2)=(q−1−q)​K​(L3)q^{-2}K(L_{1})-q^{2}K(L_{2})=(q^{-1}-q)K(L_{3}) (23)

Moreover, K⁡(L)=q+q−1K(L)=q+q^{-1} if LL is the unknot.

The Jones polynomial V⁡(L)V(L) of an oriented link LL is determined by two properties:

  1. 1.

    The Jones polynomial of the unknot is 1.1.

  2. 2.

    For oriented links L1,L2,L3L_{1},L_{2},L_{3} as above

    t−1​V​(L1)−t​V​(L2)=(t−1t)​V​(L3)t^{-1}V(L_{1})-tV(L_{2})=(\sqrt{t}-\frac{1}{\sqrt{t}})V(L_{3}) (24)

Therefore, the scaled Kauffman bracket and the Jones polynomial are related by

V​(L)t=−q=K⁡(L)q+q−1V(L)_{\sqrt{t}=-q}=\frac{K(L)}{q+q^{-1}} (25)

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Mikhail Khovanov

Original source: arXiv:math/9908171v2