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 invariant is a quantity (in a broad sense) defined for each knot which is the same for equivalent knots. The equivalence is often given by ambient isotopy but can be given by homeomorphism. Some invariants are indeed numbers (algebraic), but invariants can range from the simple, such as a yes/no answer, to those as complex as a homology theory (for example, "a knot invariant is a rule that assigns to any knot K a quantity φ(K) such that if K and K' are equivalent then φ(K) = φ(K')."). Research on invariants is not only motivated by the basic problem of distinguishing one knot from another but also to understand fundamental properties of knots and their relations to other branches of mathematics. Knot invariants are thus used in knot classification, both in "enumeration" and "duplication removal".
A knot invariant is a quantity defined on the set of all knots, which takes the same value for any two equivalent knots. For example, a knot group is a knot invariant.
Typically a knot invariant is a combinatorial quantity defined on knot diagrams. Thus if two knot diagrams differ with respect to some knot invariant, they must represent different knots. However, as is generally the case with topological invariants, if two knot diagrams share the same values with respect to a [single] knot invariant, then we still cannot conclude that the knots are the same.
In mathematics, a knot is an embedding of the circle S1 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.
The Chern–Simons theory is a 3-dimensional topological quantum field theory of Schwarz type developed by Edward Witten. It was discovered first by mathematical physicist Albert Schwarz. It is named after mathematicians Shiing-Shen Chern and James Harris Simons, who introduced the Chern–Simons 3-form. In the Chern–Simons theory, the action is proportional to the integral of the Chern–Simons 3-form.
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 together 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 mathematics, the linking number is a numerical invariant that describes the linking of two closed curves in three-dimensional space. Intuitively, the linking number represents the number of times that each curve winds around the other. In Euclidean space, the linking number is always an integer, but may be positive or negative depending on the orientation of the two curves.
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 (1927) and, independently, James Waddell Alexander and Garland Baird Briggs (1926), 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 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 bracket polynomial is a polynomial invariant of framed links. Although it is not an invariant of knots or links, a suitably "normalized" version yields the famous knot invariant called the Jones polynomial. The bracket polynomial plays an important role in unifying the Jones polynomial with other quantum invariants. In particular, Kauffman's interpretation of the Jones polynomial allows generalization to invariants of 3-manifolds.
In the mathematical field of knot theory, Fox n-coloring is a method of specifying a representation of a knot group or a group of a link onto the dihedral group of order n where n is an odd integer by coloring arcs in a link diagram. Ralph Fox discovered this method "in an effort to make the subject accessible to everyone" when he was explaining knot theory to undergraduate students at Haverford College in 1956. Fox n-coloring is an example of a conjugation quandle.
In knot theory, a virtual knot is a generalization of knots in 3-dimensional Euclidean space, R3, to knots in thickened surfaces modulo an equivalence relation called stabilization/destabilization. Here is required to be closed and oriented. Virtual knots were first introduced by Kauffman (1999).
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 the mathematical field of knot theory, the tricolorability of a knot is the ability of a knot to be colored with three colors subject to certain rules. Tricolorability is an isotopy invariant, and hence can be used to distinguish between two different (non-isotopic) knots. In particular, since the unknot is not tricolorable, any tricolorable knot is necessarily nontrivial.
Louis Hirsch Kauffman is an American mathematician, topologist, and professor of mathematics in the Department of Mathematics, Statistics, and Computer science at the University of Illinois at Chicago. He is known for the introduction and development of the bracket polynomial and the Kauffman polynomial.
In the mathematical subject of knot theory, regular isotopy is the equivalence relation of link diagrams that is generated by using the 2nd and 3rd Reidemeister moves only. The notion of regular isotopy was introduced by Louis Kauffman. It can be thought of as an isotopy of a ribbon pressed flat against the plane which keeps the ribbon flat. For diagrams in the plane this is a finer equivalence relation than ambient isotopy of framed links, since the 2nd and 3rd Reidemeister moves preserve the winding number of the diagram. However, for diagrams in the sphere, the two notions are equivalent, due to the extra freedom of passing a strand through infinity.
In the mathematical field of quantum topology, the Reshetikhin–Turaev invariants (RT-invariants) are a family of quantum invariants of framed links. Such invariants of framed links also give rise to invariants of 3-manifolds via the Dehn surgery construction. These invariants were discovered by Nicolai Reshetikhin and Vladimir Turaev in 1991, and were meant to be a mathematical realization of Witten's proposed invariants of links and 3-manifolds using quantum field theory.
