Skein relations are often used to give a simple definition of knot polynomials. A skein relation gives a linear relation between the values of a knot polynomial on a collection of three links which differ from each other only in a small region. For some knot polynomials, such as the Conway, Alexander, and Jones polynomials, the relevant skein relations are sufficient to calculate the polynomial recursively.
Definition
A skein relationship requires three link diagrams that are identical except at one crossing. The three diagrams must exhibit the three possibilities that could occur for the two line segments at that crossing, one of the lines could pass under, the same line could be over or the two lines might not cross at all. Link diagrams must be considered because a single skein change can alter a diagram from representing a knot to one representing a link and vice versa. Depending on the knot polynomial in question, the links (or tangles) appearing in a skein relation may be oriented or unoriented.
The three diagrams are labelled as follows. Turn the three link diagram so the directions at the crossing in question are both roughly northward. One diagram will have northwest over northeast, it is labelled L−. Another will have northeast over northwest, it's L+. The remaining diagram is lacking that crossing and is labelled L0.
(The labelling is independent of direction insofar as it remains the same if all directions are reversed. Thus polynomials on undirected knots are unambiguously defined by this method. However, the directions on links are a vital detail to retain as one recurses through a polynomial calculation.)
It is also sensible to think in a generative sense, by taking an existing link diagram and "patching" it to make the other two—just so long as the patches are applied with compatible directions.
To recursively define a knot (link) polynomial, a function F is fixed and for any triple of diagrams and their polynomials labelled as above,
or more pedantically
for all
(Finding an F which produces polynomials independent of the sequences of crossings used in a recursion is no trivial exercise.)
More formally, a skein relation can be thought of as defining the kernel of a quotient map from the planar algebra of tangles. Such a map corresponds to a knot polynomial if all closed diagrams are taken to some (polynomial) multiple of the image of the empty diagram.
Example
Sometime in the early 1960s, Conway showed how to compute the Alexander polynomial using skein relations. As it is recursive, it is not quite so direct as Alexander's original matrix method; on the other hand, parts of the work done for one knot will apply to others. In particular, the network of diagrams is the same for all skein-related polynomials.
Let function P from link diagrams to Laurent series in be such that and a triple of skein-relation diagrams satisfies the equation
Then P maps a knot to one of its Alexander polynomials.
In this example, we calculate the Alexander polynomial of the cinquefoil knot (), the alternating knot with five crossings in its minimal diagram. At each stage we exhibit a relationship involving a more complex link and two simpler diagrams. Note that the more complex link is on the right in each step below except the last. For convenience, let A = x−1/2−x1/2.
To begin, we create two new diagrams by patching one of the cinquefoil's crossings (highlighted in yellow) so
P() = A × P() + P()
The second diagram is actually a trefoil; the first diagram is two unknots with four crossings. Patching the latter
P() = A × P() + P()
gives, again, a trefoil, and two unknots with two crossings (the Hopf link). Patching the trefoil
P() = A × P() + P()
gives the unknot and, again, the Hopf link. Patching the Hopf link
P() = A × P() + P()
gives a link with 0 crossings (unlink) and an unknot. The unlink takes a bit of sneakiness:
P() = A × P() + P()
Computations
We now have enough relations to compute the polynomials of all the links we've encountered, and can use the above equations in reverse order to work up to the cinquefoil knot itself. The calculation is described in the table below, where ? denotes the unknown quantity we are solving for in each relation:
knot name
diagrams
P (diagram)
skein equation
?
P in full
unknot
defined as 1
x→1
unlink
1=A?+1
0
x→0
Hopf link
0=A1+?
-A
x→x1/2-x−1/2
trefoil
1=A(-A)+?
1+A2
x→x−1-1+x
4 crossing link
-A=A(1+A2)+?
-A(2+A2)
x→-x−3/2+x−1/2-x1/2+x3/2
cinquefoil
1+A2=A(-A(2+A2))+?
1+3A2+A4
x→x−2-x−1+1-x+x2
Thus the Alexander polynomial for a cinquefoil is P(x) = x−2 -x−1 +1 -x +x2.
In the mathematical theory of knots, the unknot, not knot, or trivial knot, is the least knotted of all knots. Intuitively, the unknot is a closed loop of rope without a knot tied into it, unknotted. To a knot theorist, an unknot is any embedded topological circle in the 3-sphere that is ambient isotopic to a geometrically round circle, the standard unknot.
In topology, knot theory is the study of mathematical knots. While inspired by knots which appear in daily life, such as those in shoelaces and rope, a mathematical knot differs in that the ends are joined so it cannot be undone, the simplest knot being a ring. In mathematical language, a knot is an embedding of a circle in 3-dimensional Euclidean space, . Two mathematical knots are equivalent if one can be transformed into the other via a deformation of upon itself ; these transformations correspond to manipulations of a knotted string that do not involve cutting it or passing it through itself.
In the mathematical field of knot theory, a knot polynomial is a knot invariant in the form of a polynomial whose coefficients encode some of the properties of a given knot.
In mathematics, a knot is an embedding of the circle into three-dimensional Euclidean space, R3. Often two knots are considered equivalent if they are ambient isotopic, that is, if there exists a continuous deformation of R3 which takes one knot to the other.
In knot theory, a branch of mathematics, the trefoil knot is the simplest example of a nontrivial knot. The trefoil can be obtained by joining the two loose ends of a common overhand knot, resulting in a knotted loop. As the simplest knot, the trefoil is fundamental to the study of mathematical knot theory.
In the mathematical field of knot theory, the HOMFLY polynomial or HOMFLYPT polynomial, sometimes called the generalized Jones polynomial, is a 2-variable knot polynomial, i.e. a knot invariant in the form of a polynomial of variables m and l.
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 with integer coefficients.
In mathematics, the Alexander polynomial is a knot invariant which assigns a polynomial with integer coefficients to each knot type. James Waddell Alexander II discovered this, the first knot polynomial, in 1923. In 1969, John Conway showed a version of this polynomial, now called the Alexander–Conway polynomial, could be computed using a skein relation, although its significance was not realized until the discovery of the Jones polynomial in 1984. Soon after Conway's reworking of the Alexander polynomial, it was realized that a similar skein relation was exhibited in Alexander's paper on his polynomial.
In the mathematical area of knot theory, a Reidemeister move is any of three local moves on a link diagram. Kurt Reidemeister and, independently, James Waddell Alexander and Garland Baird Briggs, demonstrated that two knot diagrams belonging to the same knot, up to planar isotopy, can be related by a sequence of the three Reidemeister moves.
In mathematical knot theory, a link is a collection of knots which do not intersect, but which may be linked together. A knot can be described as a link with one component. Links and knots are studied in a branch of mathematics called knot theory. Implicit in this definition is that there is a trivial reference link, usually called the unlink, but the word is also sometimes used in context where there is no notion of a trivial link.
In mathematics, a Seifert surface is an orientable surface whose boundary is a given knot or link.
In knot theory, a branch of mathematics, a knot or link in the 3-dimensional sphere is called fibered or fibred if there is a 1-parameter family of Seifert surfaces for , where the parameter runs through the points of the unit circle , such that if is not equal to then the intersection of and is exactly .
In knot theory, the Whitehead link, named for J. H. C. Whitehead, is one of the most basic links. It can be drawn as an alternating link with five crossings, from the overlay of a circle and a figure-eight shaped loop.
In mathematics, Khovanov homology is an oriented link invariant that arises as the cohomology of a cochain complex. It may be regarded as a categorification of the Jones polynomial.
In the mathematical field of knot theory, the Arf invariant of a knot, named after Cahit Arf, is a knot invariant obtained from a quadratic form associated to a Seifert surface. If F is a Seifert surface of a knot, then the homology group H1(F, Z/2Z) has a quadratic form whose value is the number of full twists mod 2 in a neighborhood of an embedded circle representing an element of the homology group. The Arf invariant of this quadratic form is the Arf invariant of the knot.
In knot theory, the Kauffman polynomial is a 2-variable knot polynomial due to Louis Kauffman. It is initially defined on a link diagram as
In knot theory, the cinquefoil knot, also known as Solomon's seal knot or the pentafoil knot, is one of two knots with crossing number five, the other being the three-twist knot. It is listed as the 51 knot in the Alexander-Briggs notation, and can also be described as the (5,2)-torus knot. The cinquefoil is the closed version of the double overhand knot.
In knot theory, a branch of mathematics, a twist knot is a knot obtained by repeatedly twisting a closed loop and then linking the ends together. The twist knots are an infinite family of knots, and are considered the simplest type of knots after the torus knots.
This page is based on this Wikipedia article Text is available under the CC BY-SA 4.0 license; additional terms may apply. Images, videos and audio are available under their respective licenses.
