Topological String Theory Methods of Computer-aided Drug Design/Knots, HOMFLY-PT Polynomial, Chern-Simons Theory and Surgery/Knot theory

In this section we are going to review the basics of knot theory. The history of knot theory dates back to ancient times, but the modern mathematical take on the theory started during the early 20th century. The following video offers a good introduction to knot theory: Knots In mathematics a knot is a continuous homeomorphism of a circle () to the -sphere () is also called the one-point compactification of the Euclidean -dimensional space (), which one can view as the usual Euclidean -dimensional space, but with the points at infinity identified as one, i.e. assuming there are no other barriers, a person inside the manifold can see his back, because the light rays that come from his back goes through the point at infinity and comes back in the opposite direction and reaches his eyes. Some examples of knots are given below. alt=Knot table|none|thumb|Table of knots up to crossings|550x550pxTwo knots and are called the same, denoted , if there is an ambient isotopy, i.e. a continuous mapping such that For each , the mapping is an orientation-preserving homeomorphism. for all In other words, two knots are the same if one can be continuously deformed into the other without crossing each other. Links In knot theory, it is natural to generalize the concept of knots to links, where, instead of circle, we consider copies of the circle in , where , with no self-intersections in . Each circle in the link is called a component, and the number of components is usually denoted by . Examples of links are given below:The equivalence of links is similar to that for knots, i.e. by the existence of an ambient isotopy. Regular diagrams and Reidemeister moves Links are usually visualized using projections onto a plane that have intersection points between only two portions of the curves. The portion at a higher altitude is drawn continuously, and that at a lower altitude is drawn broken by convention. Diagrams obtained this way are called regular diagrams of a link . An important question in knot theory is the so-called recognition problem: given two links and , prove or disprove that . It is therefore natural to ask if one can reduce the problem of showing into that of showing for some equivalence relation . The answer is yes: we denote if can be converted to by a finite sequence of Reidemeister moves, their inverses and planar isotopy. The Reidemeister moves are given by: For example, the following shows how to convert a regular diagram into an unknot: none|thumb|360x360px|Unknotting a complicated regular diagram It is Reidemeister's theorem that . Disproving that two links are not the same, i.e. proving , is much more difficult, and will be discussed in the next section.