Keywords:Quantum Invariant; Jones Polynomial; Braid Knot
1. Introduction
The discovery of the Jones polynomial inspired many people to search for other skein relations compatible with Reidemeister moves and thus defined knot polynomials. This led to the introduction of the HOMFLY and Kauffmans polynomials. It soon became clear that all these polynomials are the first members of a vast family of knot invariants called quantum invariants.
The original idea of quantum invariants was proposed by E. Witten in [1]. Witten’s approach coming from physics was not completely justified from the mathematical viewpoint. The first mathematically definition of quantum invariants of links and 3-manifolds was given by Reshetikhin and Turaev [2,3], who used in their construction the notion of quantum groups introduced shortly before that by V. Drinfeld in [4] (see also [5]) and M. Jimbo in [6]. In fact, a quantum group is not a group at all. Instead, it is a family of algebras, more precisely, of Hopf algebras, depending on a complex parameter
and satisfying certain axioms. The quantum group
of a semisimple Lie algebra
is a remarkable deformation of the universal enveloping algebra of
(corresponding to the value
) in the class of Hopf algebras.
This paper is organized as follows: In Section 2, we give the basic ideas about knots, tangles, the Jones polynomial, Lie algebra representations, and construction of quantum invariants. In Section 3, we present the main result along with its specialization to the Jones polynomial.
2. Preliminary Notions
2.1. Basic Concepts of Knots
A knot is a circle embedded in
. Knots are usually studied via projecting them on a plan; a projection with extra information of overcrossing and undercrossing is called the knot diagram.
![](https://www.scirp.org/html/htmlimages\8-7401842x\3f76a3dd-8e37-477b-95e9-7b68bb379d76.png)
A crossing trivial knot trefoil knot Two knots are called isotopic if one of them can be transformed to the other by a diffeomorphism of the ambient space
onto itself. A fundamental result about the isotopic knot diagrams is:
Two unoriented knots
and
are equivalent if and only if a diagram of
can be transformed into a diagram of
by a finite sequence of ambient isotopies of the plane and three local (Reidemeister) moves:
![](https://www.scirp.org/html/htmlimages\8-7401842x\2bc36f02-d525-4db0-a0c1-96233b9c391e.png)
R1 R2 R3 The set of all knots that are equivalent to a knot
is called a class of
. By a knot
we shall always mean a class of the knot
.
The main question of knot theory is Which two links are equivalent and which are not? To address this question one needs a knot invariant, a function that gives one value on all knots that belong to a single class and gives different values (but not always) on knots that belong to different classes. The present work is concerned with this question.
2.2. Tangles
A tangle is a generalization of a knot which at the same time is simpler and more complicated than a knot. On one hand, knots are a particular case of tangles, on the other hand, knots can be represented as combinations of (simple) tangles.
A tangle in a knot projection is a region in the projection plane surrounded by a circle such that the knot crosses the circle exactly at four places.
![](https://www.scirp.org/html/htmlimages\8-7401842x\ab2037d0-a5a9-45bf-88e7-e3953f1b117b.png)
A tangle The following two operations are defined on tangles: When the bottom of a tangle
coincides with the top of another tangle
, the product
is defined by putting
on top of
. (For oriented tangles we also require the consistency of orientations.)
![](https://www.scirp.org/html/htmlimages\8-7401842x\ad4716a1-d18a-4ef0-8ae7-7499a6ede1b7.png)
The second operation, tensor product, is defined by placing one tangle next to the other tangle (of the same height).
![](https://www.scirp.org/html/htmlimages\8-7401842x\d216a0e7-9971-44ad-bfb1-f71704235621.png)
![](https://www.scirp.org/html/htmlimages\8-7401842x\0cabf1af-0550-4fea-a9b0-b0f989f171da.png)
2.3. The Jones Polynomial
In 1985, V. F. R. Jones revolutionized knot theory by defining the Jones polynomial as a knot invariant via Von Neumann algebras [7]. However, in 1987 L. H. Kauffman introduced in [8] a state-sum model construction of the Jones polynomial that was purely combinatorial and remarkably simple; we follow this approach.
Definition 1 [7-9] The Jones polynomial
of an oriented link
is a Laurent polynomial in the variable
satisfying the skein relation
![](https://www.scirp.org/html/htmlimages\8-7401842x\8de915e7-f8ce-42f7-a0bb-20ac7b3d35fd.png)
and that the value of the unknot is 1. Here
,
, and
are three oriented links having diagrams that are isotopic everywhere except at one crossing where they differ as in the figure below:
![](https://www.scirp.org/html/htmlimages\8-7401842x\51486e9b-96ec-4353-8614-bdca9950a4e3.png)
![](https://www.scirp.org/html/htmlimages\8-7401842x\a5140188-bd84-4bf9-9b0e-88bd06973db3.png)
For instance, it is easy to verify that the Jones polynomial of the left-handed trefoil knot (which is denoted by
in the knot table) is V
=
.
2.4. Lie Algebra Representations
Let
be a semisimple Lie algebra and let
be its finite-dimensional representation. One can view
as a representation of the universal enveloping algebra
. It is remarkable that this representation can also be deformed with parameter
to a representation of the quantum group
. The vector space
remains the same, but the action now depends on
. For a generic value of
all irreducible representations of
can be obtained in this way. However, when
is a root of unity the representation theory is different and resembles the representation theory of
in finite characteristic. It can be used to derive quantum invariants of 3-manifolds. For the purposes of knot theory it is enough to use generic values of
, that is, those which are not roots of unity.
An important property of quantum groups is that every representation gives rise to a solution
of the quantum Yang-Baxter equation
![](https://www.scirp.org/html/htmlimages\8-7401842x\d42a3b14-feef-4cd1-b22c-94ceb8f0fbe9.png)
where
(the
-matrix ) is an invertible linear operator
, and both sides of the equation are understood as linear transformations
.
In case of Lie algebra
and its standard two-dimensional representation, the
-matrix has the form
![](https://www.scirp.org/html/htmlimages\8-7401842x\f6800558-040b-4ff1-883d-e543005ac709.png)
for an appropriate basis
of the space
. The inverse of
is
![](https://www.scirp.org/html/htmlimages\8-7401842x\23cd7157-c364-47f7-9b93-5874a6ce146f.png)
2.5. Construction of Quantum Invariants
The general procedure of constructing quantum invariants is as follows (see details in [10]). Consider a knot diagram in the plane and take a generic horizontal line. To each intersection point of the line with the diagram assign either the representation space
or its dual
depending on whether the orientation of the knot at this intersection is directed upwards or downwards. Then take the tensor product of all such spaces over the whole horizontal line. If the knot diagram does not intersect the line, then the corresponding vector space is the ground field
.
A portion of a knot diagram between two such horizontal lines represents a tangle
. We assume that this tangle is framed by the black board framing. With
we associate a linear transformation
from the vector space corresponding to the bottom of
to the vector space corresponding to the top of
. The following three properties hold for the linear transformation
:
·
is an invariant of the isotopy class of the framed tangle
;
·
;
·
.
![](https://www.scirp.org/html/htmlimages\8-7401842x\ae3a6614-6d2a-4371-8278-0b49ca01baad.png)
![](https://www.scirp.org/html/htmlimages\8-7401842x\40a9caa5-a6dc-41b6-983b-0e88d5cc5b79.png)
Now we can define a knot invariant
regarding the knot
as a tangle between the two lines below and above
. In this case
would be a linear transformation from C to C. Since our linear transformations depend on the parameter
, this number is actually a function of
.
Because of the multiplicity property
it is enough to define
only for elementary tangles
such as a crossing, a minimum or a maximum point. This is precisely where quantum groups come in. Given a quantum group
and its finite-dimensional representation
, one can associate certain linear transformations with elementary tangles in a way consistent with the Turaev oriented moves [11]. The
-matrix appears here as the linear transformation corresponding to a positive crossing. Of course, for a trivial tangle consisting of a single string connecting the top and bottom, the corresponding linear operator should be the identity transformation. So we have the following correspondence valid for all quantum groups:
![](https://www.scirp.org/html/htmlimages\8-7401842x\c69e1fb8-9305-4fa8-a65a-bf7ab7d7f528.png)
![](https://www.scirp.org/html/htmlimages\8-7401842x\845aead2-8395-47b3-b831-c30a6e7c6229.png)
Using this one can verify that
remains invariant under all three Reidemeister moves, for details see [11].
To complete the construction of our quantum invariant we should assign appropriate operators to the minimum and maximum points. These depend on all the data involved: the quantum group, the representation and the
-matrix. For the quantum group
, its standard two-dimensional representation
and the
- matrix, these operators are:
![](https://www.scirp.org/html/htmlimages\8-7401842x\26561880-88d5-4688-a639-f90fc2c1629a.png)
![](https://www.scirp.org/html/htmlimages\8-7401842x\f9891def-e9ed-4928-b5b0-42b63f0a2d2c.png)
![](https://www.scirp.org/html/htmlimages\8-7401842x\be08f3d3-aa9e-4010-b038-c0397718c854.png)
![](https://www.scirp.org/html/htmlimages\8-7401842x\4399771a-2ea9-4b73-abbc-b7a93e679d06.png)
![](https://www.scirp.org/html/htmlimages\8-7401842x\4b2456d6-b996-4620-8c5b-2a2cdfd86844.png)
![](https://www.scirp.org/html/htmlimages\8-7401842x\68e37745-0d9b-48b9-a973-8b0c044c4b51.png)
![](https://www.scirp.org/html/htmlimages\8-7401842x\fbfc0f18-ffc3-442c-b59f-8af31a40cd27.png)
![](https://www.scirp.org/html/htmlimages\8-7401842x\71f0231a-5b8b-4a44-9a13-0c2fa875e9d8.png)
where
is the basis of
, dual to the basis
of
.
In the following example we compute the quantum
-invariant for the unknot.
Example 1 Let us compute the
-quantum invariant of the unknot. Represent the unknot as a product of two tangles and compute the composition of the corresponding transformations.
![](https://www.scirp.org/html/htmlimages\8-7401842x\64465b7c-c7df-4bc4-97c4-9042463b3ca3.png)
So,
. Therefore, in order to normalize our invariant so that its value on the unknot is equal to 1, we must divide
by
, and denote this normalized invariant by
. (We shall write the precise formula for
in the main result.)
3. Main Result
Here we give the general formulas of the quantum
-invariants of the braid knot
for odd
.
Proposition 1 The quantum invariant of
, when
is odd, is
(1.1)
Proof 1 We prove it by induction on
.
For
, we receive the following braid knot along with its tensor product.
![](https://www.scirp.org/html/htmlimages\8-7401842x\9311f669-396e-46ed-bbd0-4e739f713beb.png)
![](https://www.scirp.org/html/htmlimages\8-7401842x\4dc34032-77ae-4946-8c31-5648af48bd5d.png)
Note that the map
sends
into the tensor
. Also, the map
sends
into the tensor
.
Now applying
to each middle factor, we get
![](https://www.scirp.org/html/htmlimages\8-7401842x\def6dec2-bed0-47f4-b445-5d612158e2e8.png)
Finally, the two maps at the top contract the whole tensor into the linear transformation
![](https://www.scirp.org/html/htmlimages\8-7401842x\bc9f64e3-376b-43cf-95ff-180e5e8e7957.png)
Hence the unframed normalized
-quantum invariant of
is
![](https://www.scirp.org/html/htmlimages\8-7401842x\c0f31fda-d8be-495e-9a63-d2617b7f8b73.png)
To get a clear picture, we also compute the quantum invariant of the knots
(which is actually the left trefoil) and
. First of all, we proceed for
:
![](https://www.scirp.org/html/htmlimages\8-7401842x\f3d0f705-d25b-40de-b949-e14fc793aec9.png)
The map at the bottom sends 1
into the tensor ![](https://www.scirp.org/html/htmlimages\8-7401842x\baec7617-b143-4b7d-ae84-24259bf98cde.png)
Now the map
sends the above tensor into the tensor
![](https://www.scirp.org/html/htmlimages\8-7401842x\934c5c1e-2bf2-47fd-bb15-f4b076ee6151.png)
Then applying
to two tensor factors in the middle we get
![](https://www.scirp.org/html/htmlimages\8-7401842x\66c300ea-5358-4355-a3f4-5b0365b1de7f.png)
Finally, the two maps at the top contract the whole tensor into a number
![](https://www.scirp.org/html/htmlimages\8-7401842x\c8ced2b5-96b2-4357-b48b-2ee79fa28dcd.png)
Dividing by the normalizing factor
we get
![](https://www.scirp.org/html/htmlimages\8-7401842x\0e06493e-bb4b-4fa5-a859-f80791afac7a.png)
The invariant
remains unchanged under the second and third reidemeister moves. However it varies under the first reidemeister move and thus depends on the framing. One can deframe it, that is, manufacture an invariant of unframed knots out of it, according to the formula
![](https://www.scirp.org/html/htmlimages\8-7401842x\7b83ce21-cf0a-467f-b85e-dd32f5a6e52a.png)
where
is the writhe of the knot diagram and
is the quadratic Casimir number defined by the Lie algebra
and its representation. For
and the standard 2-dimensional representation
. Since the writhe of the left trefoil is
, the unframed normalized quantum invariant is
![](https://www.scirp.org/html/htmlimages\8-7401842x\72407d21-a36b-4447-b0db-1a1922b6db43.png)
This can be further written as
(1.2)
For
, the knot and the corresponding tensor products are:
![](https://www.scirp.org/html/htmlimages\8-7401842x\db3d8e20-d195-4fda-bfc2-2c9703b6a740.png)
![](https://www.scirp.org/html/htmlimages\8-7401842x\d583d14f-3038-4316-87fb-97333e53691f.png)
With some computations, similar to the computations of
, we get
(1.3)
Similarly,
(1.4)
We now assume the result (1.1) holds for
, that is
(1.5)
Now for
we have
![](https://www.scirp.org/html/htmlimages\8-7401842x\7ca70c94-1d31-4f7d-9e70-412c13847e36.png)
and the proof is finished.
Proposition 2 The Jones polynomial of the knot
, when
is odd, is
![](https://www.scirp.org/html/htmlimages\8-7401842x\acb03ca4-aa2d-4e63-8dc8-62ad5fdcd572.png)
Proof 2 Nothing to prove; just substitute
in place of
in
.