Introduction to Knots Knot Theory Is a Huge Subject Withing Topology. We'll Sample Some of the Easier, Fun Parts. Let's Take

Total Page:16

File Type:pdf, Size:1020Kb

Introduction to Knots Knot Theory Is a Huge Subject Withing Topology. We'll Sample Some of the Easier, Fun Parts. Let's Take Introduction to Knots Knot theory is a huge subject withing topology. We'll sample some of the easier, fun parts. Let's take a look at knots. What exactly is a knot? Well, informally it's a string that might wind around itself. But we have to be careful. If we leave the ends free, they can move around and the knot will untie itself. So we will define a knot to be a continuous image of a circle in three-dimensional space. We have to be careful that our continuous functions are nice. We don't want any infinite crazy things going on. We will only deal with \tame" knots, which are ones we could build with a finite number of straight sticks if we had to. Equivalently, we could require that the knot be made out of a tube of fixed finite diameter, instead of being infinitely thin. Avoid wild knots like this! We will study knots by looking at knot diagrams which are basically pictures of knots. These are going to be curves in a plane, except at a finite number of places the curve is broken to indicate that another part of the curve goes \over" it at that point. The above wild knot is shown as a knot diagram, and it should be pretty clear what's going on. To be specific, the rules are: 1) a knot diagram consists of a finite number of curves in the plane, each of which has two ends; 2) ends can only appear in pairs near each other, with a strand of the knot passing between them|that is, the only parts of a diagram that are not just curves are crossings which look like the picture below. You are not allowed to have another strand of the knot near a crossing, because we do not wish to be confused by what piece goes where. We also need to know some rules so that we can tell when two different pictures really represent the same knot. For instance, the picture below is \obviously" an unknot, a circle which is not really knotted at all. 1 An unknot Two knots will be considered the same if they are ambient isotopic which is a really fancy way of saying that you can stretch and rotate space so that the diagram of one becomes the diagram of the other. There's a lot of fancy defintions behind the scenes here. We're just going to concentrate on taking a string tied into one of the knots (with its ends fused together) and manipulting it so that it turns into the other knot. The rules we will use apply to knot diagrams, so that if two knots are the same, you can turn a diagram for one into a diagram for the other by a finite number of applications of these rules. These rules are called the Reidemeister moves and each changes part of a knot diagram. You can do (or undo) any of these moves and you have another diagram for the same knot. 2 For instance, to turn the diagram above into an obvious unknot, \unpoke" the bottom left, then \untwist" the top right. The third move, which re-arranges the crossings in a diagram by sliding one strand of a diagram across a crossing, is not necessary in this particular case. Try your luck on the diagram below, which was discovered by Kenneth Millett. It is a diagram for an unknot, but cannot be simplified (in terms of how many crossings there are, anyway) without first making it more complicated! Sometimes, we will consider not just knots, but links which are sets of knots, which may or may not intertwine with each other. These guys can also be represented with knot diagrams, and are also the same if two diagrams are connected by a sequence of Reidemeister moves. We might also give our knots or links an orientation, by drawing arrows on the diagram to indicate which direction we want to go around the knot (or each piece of a link). In general, it is very hard to tell from a pair of diagrams whether or not they represent the same knot. The above unknot is one example of this. As another, can you determine whether the simple trefoil knot is equivalent to its mirror image? How about the Figure-of-eight knot? If we orient them, is either equivalent to its reverse? 3.
Recommended publications
  • Knots and Links in Lens Spaces
    Alma Mater Studiorum Università di Bologna Dottorato di Ricerca in MATEMATICA Ciclo XXVI Settore Concorsuale di afferenza: 01/A2 Settore Scientifico disciplinare: MAT/03 Knots and links in lens spaces Tesi di Dottorato presentata da: Enrico Manfredi Coordinatore Dottorato: Relatore: Prof.ssa Prof. Giovanna Citti Michele Mulazzani Esame Finale anno 2014 Contents Introduction 1 1 Representation of lens spaces 9 1.1 Basic definitions . 10 1.2 A lens model for lens spaces . 11 1.3 Quotient of S3 model . 12 1.4 Genus one Heegaard splitting model . 14 1.5 Dehn surgery model . 15 1.6 Results about lens spaces . 17 2 Links in lens spaces 19 2.1 General definitions . 19 2.2 Mixed link diagrams . 22 2.3 Band diagrams . 23 2.4 Grid diagrams . 25 3 Disk diagram and Reidemeister-type moves 29 3.1 Disk diagram . 30 3.2 Generalized Reidemeister moves . 32 3.3 Standard form of the disk diagram . 36 3.4 Connection with band diagram . 38 3.5 Connection with grid diagram . 42 4 Group of links in lens spaces via Wirtinger presentation 47 4.1 Group of the link . 48 i ii CONTENTS 4.2 First homology group . 52 4.3 Relevant examples . 54 5 Twisted Alexander polynomials for links in lens spaces 57 5.1 The computation of the twisted Alexander polynomials . 57 5.2 Properties of the twisted Alexander polynomials . 59 5.3 Connection with Reidemeister torsion . 61 6 Lifting links from lens spaces to the 3-sphere 65 6.1 Diagram for the lift via disk diagrams . 66 6.2 Diagram for the lift via band and grid diagrams .
    [Show full text]
  • Knot Theory and the Alexander Polynomial
    Knot Theory and the Alexander Polynomial Reagin Taylor McNeill Submitted to the Department of Mathematics of Smith College in partial fulfillment of the requirements for the degree of Bachelor of Arts with Honors Elizabeth Denne, Faculty Advisor April 15, 2008 i Acknowledgments First and foremost I would like to thank Elizabeth Denne for her guidance through this project. Her endless help and high expectations brought this project to where it stands. I would Like to thank David Cohen for his support thoughout this project and through- out my mathematical career. His humor, skepticism and advice is surely worth the $.25 fee. I would also like to thank my professors, peers, housemates, and friends, particularly Kelsey Hattam and Katy Gerecht, for supporting me throughout the year, and especially for tolerating my temporary insanity during the final weeks of writing. Contents 1 Introduction 1 2 Defining Knots and Links 3 2.1 KnotDiagramsandKnotEquivalence . ... 3 2.2 Links, Orientation, and Connected Sum . ..... 8 3 Seifert Surfaces and Knot Genus 12 3.1 SeifertSurfaces ................................. 12 3.2 Surgery ...................................... 14 3.3 Knot Genus and Factorization . 16 3.4 Linkingnumber.................................. 17 3.5 Homology ..................................... 19 3.6 TheSeifertMatrix ................................ 21 3.7 TheAlexanderPolynomial. 27 4 Resolving Trees 31 4.1 Resolving Trees and the Conway Polynomial . ..... 31 4.2 TheAlexanderPolynomial. 34 5 Algebraic and Topological Tools 36 5.1 FreeGroupsandQuotients . 36 5.2 TheFundamentalGroup. .. .. .. .. .. .. .. .. 40 ii iii 6 Knot Groups 49 6.1 TwoPresentations ................................ 49 6.2 The Fundamental Group of the Knot Complement . 54 7 The Fox Calculus and Alexander Ideals 59 7.1 TheFreeCalculus ...............................
    [Show full text]
  • How Can We Say 2 Knots Are Not the Same?
    How can we say 2 knots are not the same? SHRUTHI SRIDHAR What’s a knot? A knot is a smooth embedding of the circle S1 in IR3. A link is a smooth embedding of the disjoint union of more than one circle Intuitively, it’s a string knotted up with ends joined up. We represent it on a plane using curves and ‘crossings’. The unknot A ‘figure-8’ knot A ‘wild’ knot (not a knot for us) Hopf Link Two knots or links are the same if they have an ambient isotopy between them. Representing a knot Knots are represented on the plane with strands and crossings where 2 strands cross. We call this picture a knot diagram. Knots can have more than one representation. Reidemeister moves Operations on knot diagrams that don’t change the knot or link Reidemeister moves Theorem: (Reidemeister 1926) Two knot diagrams are of the same knot if and only if one can be obtained from the other through a series of Reidemeister moves. Crossing Number The minimum number of crossings required to represent a knot or link is called its crossing number. Knots arranged by crossing number: Knot Invariants A knot/link invariant is a property of a knot/link that is independent of representation. Trivial Examples: • Crossing number • Knot Representations / ~ where 2 representations are equivalent via Reidemester moves Tricolorability We say a knot is tricolorable if the strands in any projection can be colored with 3 colors such that every crossing has 1 or 3 colors and or the coloring uses more than one color.
    [Show full text]
  • Knots and Seifert Surfaces
    GRAU DE MATEMÀTIQUES Treball final de grau Knots and Seifert surfaces Autor: Eric Vallespí Rodríguez Director: Dr. Javier José Gutiérrez Marín Realitzat a: Departament de Matemàtiques i Informàtica Barcelona, 21 de juny de 2020 Agraïments Voldria agraïr primer de tot al Dr. Javier Gutiérrez Marín per la seva ajuda, dedicació i respostes immediates durant el transcurs de tot aquest treball. Al Dr. Ricardo García per tot i no haver pogut tutoritzar aquest treball, haver-me recomanat al Dr. Javier com a tutor d’aquest. A la meva família i als meus amics i amigues que m’han fet costat en tot moment (i sobretot en aquests últims mesos força complicats). I finalment a aquelles persones que "m’han descobert" aquest curs i que han fet d’aquest un de molt especial. 3 Abstract Since the beginning of the degree that I think that everyone should have the oportunity to know mathematics as they are and not as they are presented (or were presented) at a high school level. In my opinion, the answer to the question "why do we do this?" that a student asks, shouldn’t be "because is useful", it should be "because it’s interesting" or "because we are curious". To study mathematics (in every level) should be like solving an enormous puzzle. It should be a playful experience and satisfactory (which doesn’t mean effortless nor without dedication). It is this idea that brought me to choose knot theory as the main focus of my project. I wanted a theme that generated me curiosity and that it could be attrac- tive to other people with less mathematical background, in order to spread what mathematics are to me.
    [Show full text]
  • On the Jones Polynomial and the Kauffman Bracket
    On the Jones Polynomial constructing link invariants via braids & von Neumann algebras A Monica Queen Thesis Summer 2021 Abstract This expository essay is aimed at introducing the Jones polynomial. We will see the encapsu- lation of the Jones polynomial, which will involve topics in functional analysis and geometrical topology; making this essay an interdisciplinary area of mathematics. The presentation is based on a lot of different sources of material (check references), but we will mainly be giving an account on Jones’ papers ([25],[26],[27],[28],[29]) and Kauffman’s papers ([33],[34],[35]). A background in undergraduate Linear Algebra, Linear Analysis, Abstract Algebra, Commutative Algebra, & Topology is essential. It would also be useful if the reader has a background in Knot Theory & Operator Algebras. arXiv:2108.13835v2 [math.QA] 2 Sep 2021 Ars longa, vita brevis. This essay is dedicated to my grandmother Grace, who passed away during the start of writing this. CONTENTS 3 Contents A Introduction 6 B Knots & links 8 B.I Definingaknotandlink ................................ 8 B.II Linkequivalency.................................... 10 B.III Link diagrams and Reidemeister’s theorem . ...... 11 B.IV Orientation....................................... 14 B.V Invariants ........................................ 17 C The Kauffman bracket construction 19 C.I ‘states model’ and the Kauffman bracket polynomial . ...... 19 C.II Kauffman’s bracket polynomial definition of the Jones polynomial ......... 25 C.III The skein relation definition of the Jones polynomial . ....... 27 D The braid group Bn 31 D.I Braids .......................................... 32 D.II Representationsofgroups. ...... 33 D.III Thebraidgroup................................... .. 34 E The link between links & braids 41 E.I Motivation........................................ 46 F von Neumann algebras 47 F.I Background ......................................
    [Show full text]
  • On the Study of Chirality of Knots Through Polynomial Invariants
    Treball final de grau GRAU DE MATEMÀTIQUES Facultat de Matemàtiques i Informàtica Universitat de Barcelona KNOT THEORY: On the study of chirality of knots through polynomial invariants Autor: Sergi Justiniano Claramunt Director: Dr. Javier José Gutiérrez Marín Realitzat a: Departament de Matemàtiques i Informàtica Barcelona, January 18, 2019 Contents Abstract ii Introduction iii 1 Mathematical bases 1 1.1 Definition of a knot . .1 1.2 Equivalence of knots . .4 1.3 Knot projections and diagrams . .6 1.4 Reidemeister moves . .8 1.5 Invariants . .9 1.6 Symmetries, properties and generation of knots . 11 1.7 Tangles and Conway notation . 12 2 Jones Polynomial 15 2.1 Introduction . 15 2.2 Rules of bracket polynomial . 16 2.3 Writhe and invariance of Jones polynomial . 18 2.4 Main theorems and applications . 22 3 HOMFLY and Kauffman polynomials on chirality detection 25 3.1 HOMFLY polynomial . 25 3.2 Kauffman polynomial . 28 3.3 Testing chirality . 31 4 Conclusions 33 Bibliography 35 i Abstract In this project we introduce the theory of knots and specialize in the compu- tation of the knot polynomials. After presenting the Jones polynomial, its two two-variable generalizations are also introduced: the Kauffman and HOMFLY polynomial. Then we study the ability of these polynomials on detecting chirality, obtaining a knot not detected chiral by the HOMFLY polynomial, but detected chiral by the Kauffman polynomial. Introduction The main idea of this project is to give a clear and short introduction to the theory of knots and in particular the utility of knot polynomials on detecting chirality of knots.
    [Show full text]
  • Arxiv:2011.01409V1 [Math.GT] 3 Nov 2020 Theorem 1
    TOPOLOGICAL ISOTOPY AND COCHRAN'S DERIVED INVARIANTS SERGEY A. MELIKHOV Abstract. We construct a link in the 3-space that is not isotopic to any PL link (non-ambiently). In fact, there exist uncountably many I-equivalence classes of links. The paper also includes some observations on Cochran's invariants βi. 1. Introduction An m-component link is an injective continuous map S1 × f1; : : : ; mg ! R3.A knot is a one-component link. A link is called tame if it is equivalent (i.e. ambient isotopic) to a PL link; otherwise it is called wild. Two m-component (PL) links are called (PL) isotopic if they are (PL) homotopic through links. It is not hard to see that PL isotopy as an equivalence relation on PL links is generated by ambient isotopy and introduction of local knots. In 1974, D. Rolfsen asked: \If L0 and L1 are PL links connected by a topological isotopy, are they PL isotopic?" [32]. This question is also implicit in Milnor's 1957 paper [30; cf. Remark 2 and Theorem 10]. It was shown by the author that the affir- mative answer is implied by the following conjecture: PL isotopy classes of links are separated by finite type invariants that are well-defined up to PL isotopy [26]. Here finite type invariants of links may be understood either in the usual sense (of Vassiliev and Goussarov) or in the weaker sense of Kirk and Livingston [20]. In the same paper [32] Rolfsen also asked the following question: \All PL knots are isotopic to one another.
    [Show full text]
  • 1 Basic Definitions
    MA3F2 Definitions These notes for MA3F2 are an adaptation of Brian Sanderson’s notes, posted with his permission. The originals are available on the web at maths.warwick.ac.uk/ bjs/MA3F2-page.html. Any errors below are∼due to me; please inform me of such via email at [email protected]. 1 Basic definitions 1.1 Knots and their diagrams A knot K is a smooth loop in three-space which does not self-intersect itself. A more precise definition might read: Let S1 = (x, y) R2 x2 + y2 = 1 be the unit circle in the plane. A knot { ∈ | } K R3 is the image of a smooth embedding f : S1 R3. ⊂ → Since it is difficult to draw in R3, and easy to draw in the plane, we will visualize knots by projecting onto the xy–plane, and recording crossing information. So we define a knot diagram D to be a smooth loop in the plane which is allowed to transversely self-intersect at crossings. At each crossing there is exactly one overpassing and one underpassing arc. Here are a few examples: Figure 1: Diagrams of the unknot, the trefoil, and the figure eight. These are drawn as diagrams of polygonal knots. The unknot is special: it is the only knot which is not knotted. Here are a few drawings which are not diagrams of knots: Figure 2: Projections of an arc, a wild knot, a self-intersecting loop, and a loop with a triple point. We can generalize the notion of a knot to include links: a link L is a collection of pairwise disjoint knots in R3.
    [Show full text]
  • Torus Links and the Bracket Polynomial by Paul Corbitt [email protected] Advisor: Dr
    Torus Links and the Bracket Polynomial By Paul Corbitt [email protected] Advisor: Dr. Michael McLendon [email protected] April 2004 Washington College Department of Mathematics and Computer Science A picture of some torus knots and links. The first several (n,2) links have dots in their center. [1] 1 Table of Contents Abstract 3 Chapter 1: Knots and Links 4 History of Knots and Links 4 Applications of Knots and Links 7 Classifications of Knots 8 Chapter 2: Mathematics of Knots and Links 11 Knot Polynomials 11 Developing the Bracket Polynomial 14 Chapter 3: Torus Knots and Links 16 Properties of Torus Links 16 Drawing Torus Links 18 Writhe of Torus Link 19 Chapter 4: Computing the Bracket Polynomial Of (n,2) Links 21 Computation of Bracket Polynomial 21 Recurrence Relation 23 Conclusion 27 Appendix A: Maple Code 28 Appendix B: Bracket Polynomial to n=20 29 Appendix C: Braids and (n,2) Torus Links 31 Appendix D: Proof of Invariance Under R III 33 Bibliography 34 Picture Credits 35 2 Abstract In this paper torus knots and links will be investigated. Links is a more generic term than knots, so a reference to links includes knots. First an overview of the study of links is given. Then a method of analysis called the bracket polynomial is introduced. A specific class called (n,2) torus links are selected for analysis. Finally, a recurrence relation is found for the bracket polynomial of the (n,2) links. A complete list of sources consulted is provided in the bibliography. 3 Chapter 1: Knots and Links Knot theory belongs to a branch of mathematics called topology.
    [Show full text]
  • Arxiv:2002.00564V2 [Math.GT] 26 Jan 2021 Links 22 4.1
    A SURVEY OF THE IMPACT OF THURSTON'S WORK ON KNOT THEORY MAKOTO SAKUMA Abstract. This is a survey of the impact of Thurston's work on knot the- ory, laying emphasis on the two characteristic features, rigidity and flexibility, of 3-dimensional hyperbolic structures. We also lay emphasis on the role of the classical invariants, the Alexander polynomial and the homology of finite branched/unbranched coverings. Contents 1. Introduction 3 2. Knot theory before Thurston 6 2.1. The fundamental problem in knot theory 7 2.2. Seifert surface 8 2.3. The unique prime decomposition of a knot 9 2.4. Knot complements and knot groups 10 2.5. Fibered knots 11 2.6. Alexander invariants 12 2.7. Representations of knot groups onto finite groups 15 3. The geometric decomposition of knot exteriors 17 3.1. Prime decomposition of 3-manifolds 17 3.2. Torus decomposition of irreducible 3-manifolds 17 3.3. The Geometrization Conjecture of Thurston 19 3.4. Geometric decompositions of knot exteriors 20 4. The orbifold theorem and the Bonahon{Siebenmann decomposition of arXiv:2002.00564v2 [math.GT] 26 Jan 2021 links 22 4.1. The Bonahon{Siebenmann decompositions for simple links 23 4.2. 2-bridge links 25 4.3. Bonahon{Siebenmann decompositions and π-orbifolds 26 4.4. The orbifold theorem and the Smith conjecture 28 4.5. Branched cyclic coverings of knots 29 5. Hyperbolic manifolds and the rigidity theorem 33 Date: January 27, 2021. 2010 Mathematics Subject Classification. Primary 57M25; Secondary 57M50. 1 5.1. Hyperbolic space 33 5.2.
    [Show full text]
  • KNOTS and KNOT GROUPS Herath B
    Southern Illinois University Carbondale OpenSIUC Research Papers Graduate School 8-12-2016 KNOTS AND KNOT GROUPS Herath B. Senarathna Southern Illinois University Carbondale, [email protected] Follow this and additional works at: http://opensiuc.lib.siu.edu/gs_rp Recommended Citation Senarathna, Herath B. "KNOTS AND KNOT GROUPS." (Aug 2016). This Article is brought to you for free and open access by the Graduate School at OpenSIUC. It has been accepted for inclusion in Research Papers by an authorized administrator of OpenSIUC. For more information, please contact [email protected]. KNOTS AND KNOT GROUPS by H B M K Hiroshani Senarathna B.S., University of Peradeniya, 2011 A Research Paper Submitted in Partial Fulfillment of the Requirements for the Master of Science Department of Mathematics in the Graduate School Southern Illinois University Carbondale December, 2016 RESEARCH PAPER APPROVAL KNOTS AND KNOT GROUPS By Herath Bandaranayake Mudiyanselage Kasun Hiroshani Senarathna A Research Paper Submitted in Partial Fulfillment of the Requirements for the Degree of Master of Science in the field of Mathematics Approved by: Prof. Michael Sullivan, Chair Prof. H. R. Hughes Prof. Jerzy Kocik Graduate School Southern Illinois University Carbondale August 10, 2016 TABLE OF CONTENTS ListofFigures ...................................... ii Introduction....................................... 1 1 History......................................... 2 1.1 EarlyWorks................................... 2 1.2 Laterwork.................................... 5 1.3
    [Show full text]
  • Geometric Aspects in the Development of Knot Theory
    CHAPTER 11 Geometric Aspects in the Development of Knot Theory Moritz Epple AG Geschichte der exakten Wissenschaften, Fachbereich 17 - Mathematik, University of Mainz, Germany E-mail: Epple @ mat mathematik. uni-mainz. de 1. Introduction § 1. Among the most widely noticed achievements of knot theory are certainly the fa­ mous knot tables produced by the Scottish tabulating tradition in the late 19th century, the polynomial invariant invented by James W. Alexander in the 1920's, and the series of new polynomial invariants that came into existence after Vaughan F. Jones discovered a new knot polynomial in 1984. It might seem that these results easily fit into a story centered around plane knot diagrams, symbolical codings of such diagrams and the operations one can perform with them, and combinatorial techniques to draw conclusions from the infor­ mation that is thereby encoded.^ In this contribution, I will first outline such a narrative and then show that it fails to account for important causal and intentional links in the fabric of events in which these achievements were produced. Indeed, a striking feature of knot theory is that, even if a significant number of its results may be stated and proved in a direct, combinatorial fashion, the research that produced those results was often motivated by and directed toward geometric considerations of varying complexity. In many cases, these geometric ideas alone provided the links to other topics of serious mathematical in­ terest and thus could induce mathematicians to devote their time to knots. Moreover, only by taking into account the surrounding geometric aspects can historians reach a position from which they may judge the relations between the steps in the formation of knot theory and the broader mathematical and scientific culture in which these steps were taken.
    [Show full text]