Knot Theory Talk

Total Page:16

File Type:pdf, Size:1020Kb

Knot Theory Talk A brief Incursion into Knot Theory Eduardo Balreira Trinity University Mathematics Department Major Seminar, Fall 2008 (Balreira - Trinity University) Knot Theory Major Seminar 1 / 31 Outline 1 A Fundamental Problem (Balreira - Trinity University) Knot Theory Major Seminar 2 / 31 Outline 1 A Fundamental Problem 2 Knot Theory (Balreira - Trinity University) Knot Theory Major Seminar 2 / 31 Outline 1 A Fundamental Problem 2 Knot Theory 3 Reidemeister Moves (Balreira - Trinity University) Knot Theory Major Seminar 2 / 31 Outline 1 A Fundamental Problem 2 Knot Theory 3 Reidemeister Moves 4 Invariants Colorability The Knot Group (Balreira - Trinity University) Knot Theory Major Seminar 2 / 31 A Fundamental Problem Given two objects, how to tell them apart? When are two surfaces homeomorphic? ? (Balreira - Trinity University) Knot Theory Major Seminar 3 / 31 A Fundamental Problem Given two objects, how to tell them apart? When are two surfaces homeomorphic? ? When are two knots equivalent? ? (Balreira - Trinity University) Knot Theory Major Seminar 3 / 31 A Fundamental Problem Main Research Area Injectivity via Geometric and Topological Methods Foliation Theory (Balreira - Trinity University) Knot Theory Major Seminar 4 / 31 A Fundamental Problem Main Research Area Injectivity via Geometric and Topological Methods Foliation Theory Spectral Theory (Balreira - Trinity University) Knot Theory Major Seminar 4 / 31 A Fundamental Problem Main Research Area Injectivity via Geometric and Topological Methods Foliation Theory Spectral Theory Variational Calculus (Balreira - Trinity University) Knot Theory Major Seminar 4 / 31 A Fundamental Problem Main Research Area Injectivity via Geometric and Topological Methods Foliation Theory Spectral Theory Variational Calculus Global Embedding of Submanifolds (Balreira - Trinity University) Knot Theory Major Seminar 4 / 31 Sample Topics (Balreira - Trinity University) Knot Theory Major Seminar 5 / 31 Sample Topics Project Problem (Foliation Theory) Discuss Fibrations versus Foliations, e.g., characterize the foliations of the Euclidean Plane, that is, R2. (Balreira - Trinity University) Knot Theory Major Seminar 5 / 31 Sample Topics Project Problem (Foliation Theory) Discuss Fibrations versus Foliations, e.g., characterize the foliations of the Euclidean Plane, that is, R2. Project Problem (Spectral Theory) Discuss the eigenvalues of the Laplacian on a bounded region of Rn, e.g., Rayleigh and Min-Max Methods. (Balreira - Trinity University) Knot Theory Major Seminar 5 / 31 Sample Topics (Balreira - Trinity University) Knot Theory Major Seminar 6 / 31 Sample Topics Project Problem (Variational Calculus) Discuss any result in the Geometric Analysis report, e.g., understand the MPT and its proof. (Balreira - Trinity University) Knot Theory Major Seminar 6 / 31 Sample Topics Project Problem (Variational Calculus) Discuss any result in the Geometric Analysis report, e.g., understand the MPT and its proof. Project Problem (Geometry) Learn about Classification of Surfaces via the Euler Characteristic and/or understand the Gauss-Bonnet formula K dA = 2πχ(M) ZM (Balreira - Trinity University) Knot Theory Major Seminar 6 / 31 Knot Theory When can tell the difference between Knots? Are the knots below the same? (Balreira - Trinity University) Knot Theory Major Seminar 7 / 31 Knot Theory When can tell the difference between Knots? How about these? (Balreira - Trinity University) Knot Theory Major Seminar 8 / 31 Knot Theory Some Formalism A knot is an injective map h : S1 → R3 Picture in the plane (or slide) - Diagram with crossing (Balreira - Trinity University) Knot Theory Major Seminar 9 / 31 Knot Theory Some Formalism A knot is an injective map h : S1 → R3 Picture in the plane (or slide) - Diagram with crossing Tame Knots (Balreira - Trinity University) Knot Theory Major Seminar 9 / 31 Knot Theory Some Formalism A knot is an injective map h : S1 → R3 Picture in the plane (or slide) - Diagram with crossing Tame Knots ◮ Finite Number of arcs (Balreira - Trinity University) Knot Theory Major Seminar 9 / 31 Knot Theory Some Formalism A knot is an injective map h : S1 → R3 Picture in the plane (or slide) - Diagram with crossing Tame Knots ◮ Finite Number of arcs ◮ Only two strands at a crossing (Balreira - Trinity University) Knot Theory Major Seminar 9 / 31 Knot Theory Some Formalism A knot is an injective map h : S1 → R3 Picture in the plane (or slide) - Diagram with crossing Tame Knots ◮ Finite Number of arcs ◮ Only two strands at a crossing ◮ “nice” (Balreira - Trinity University) Knot Theory Major Seminar 9 / 31 Knot Theory Some Formalism A knot is an injective map h : S1 → R3 Picture in the plane (or slide) - Diagram with crossing Tame Knots ◮ Finite Number of arcs ◮ Only two strands at a crossing ◮ “nice” Invariant Property: K1 ∼ K2 if, (Balreira - Trinity University) Knot Theory Major Seminar 9 / 31 Knot Theory Some Formalism A knot is an injective map h : S1 → R3 Picture in the plane (or slide) - Diagram with crossing Tame Knots ◮ Finite Number of arcs ◮ Only two strands at a crossing ◮ “nice” Invariant Property: K1 ∼ K2 if, There is a homeomorphism ϕ : R3 → R3 such that ϕ(K1)= K2 (Balreira - Trinity University) Knot Theory Major Seminar 9 / 31 Knot Theory Isotopy Problem The map ϕ itself must be “nice” ←→ Isotopic to the Identity No situations such as: (Balreira - Trinity University) Knot Theory Major Seminar 10 / 31 Knot Theory - Diagrams Two Knots with similar Diagram must be the same. Trefoil Braided Trefoil (Balreira - Trinity University) Knot Theory Major Seminar 11 / 31 Knot Theory - Diagrams Two Knots with similar Diagram must be the same. Trefoil Braided Trefoil (Balreira - Trinity University) Knot Theory Major Seminar 11 / 31 Knot Theory - Diagrams Two Knots with similar Diagram must be the same. Trefoil Braided Trefoil (Balreira - Trinity University) Knot Theory Major Seminar 11 / 31 Knot Theory - Diagrams Two Knots with similar Diagram must be the same. Trefoil Braided Trefoil (Balreira - Trinity University) Knot Theory Major Seminar 11 / 31 Knot Theory - Diagrams Two Knots with similar Diagram must be the same. Trefoil Braided Trefoil (Balreira - Trinity University) Knot Theory Major Seminar 11 / 31 Knot Theory - Diagrams Even if not exactly the diagram same, they could be the same... (Balreira - Trinity University) Knot Theory Major Seminar 12 / 31 Moves that preserve the Knot Reidemeister Moves Type I: Put or Take out a kink. (Balreira - Trinity University) Knot Theory Major Seminar 13 / 31 Moves that preserve the Knot Reidemeister Moves Type I: Put or Take out a kink. Type II: Slide a strand over/under to creat/remove two crossings. (Balreira - Trinity University) Knot Theory Major Seminar 13 / 31 Moves that preserve the Knot Reidemeister Moves Type I: Put or Take out a kink. Type II: Slide a strand over/under to creat/remove two crossings. Type III: Slide a strand across a crossing. (Balreira - Trinity University) Knot Theory Major Seminar 13 / 31 Type I Put or Take out a kink. (Balreira - Trinity University) Knot Theory Major Seminar 14 / 31 Type II Slide a strand over/under to creat/remove two crossings. (Balreira - Trinity University) Knot Theory Major Seminar 15 / 31 Type III Slide a strand across a crossing (Balreira - Trinity University) Knot Theory Major Seminar 16 / 31 Unknotting a Knot Using Reidemeister moves (Balreira - Trinity University) Knot Theory Major Seminar 17 / 31 Unknotting a Knot Using Reidemeister moves (Balreira - Trinity University) Knot Theory Major Seminar 17 / 31 Unknotting a Knot Using Reidemeister moves (Balreira - Trinity University) Knot Theory Major Seminar 17 / 31 Unknotting a Knot Using Reidemeister moves (Balreira - Trinity University) Knot Theory Major Seminar 17 / 31 Knot Theory A Possible classification? (Balreira - Trinity University) Knot Theory Major Seminar 18 / 31 Knot Theory A Possible classification? Theorem (Reidemeister, 1932) Two Knot diagrams of the same knot can be deformed into each other by a finite number of moves of Type I, II, and III. (Balreira - Trinity University) Knot Theory Major Seminar 18 / 31 Knot Theory A Possible classification? Theorem (Reidemeister, 1932) Two Knot diagrams of the same knot can be deformed into each other by a finite number of moves of Type I, II, and III. Project Problem Discuss the result above, its proof, and its significance in other areas. For instance, Physics - the structure of the atom and Chemistry - the structure of the DNA replication. (Balreira - Trinity University) Knot Theory Major Seminar 18 / 31 Invariants Colorability (Balreira - Trinity University) Knot Theory Major Seminar 19 / 31 Invariants Colorability Unknotting number (Balreira - Trinity University) Knot Theory Major Seminar 19 / 31 Invariants Colorability Unknotting number Genus of a knot (Balreira - Trinity University) Knot Theory Major Seminar 19 / 31 Invariants Colorability Unknotting number Genus of a knot Knot Group (Balreira - Trinity University) Knot Theory Major Seminar 19 / 31 Invariants Colorability Unknotting number Genus of a knot Knot Group Polynomial Invariants (Balreira - Trinity University) Knot Theory Major Seminar 19 / 31 Sample Problems in Knot Theory (Balreira - Trinity University) Knot Theory Major Seminar 20 / 31 Sample Problems in Knot Theory Project Problem (Colorability) Understand the definition and application as well as generalizations for mod p colorability. This project has a Topological and Number Theoretical flavor. (Balreira - Trinity University) Knot Theory Major Seminar 20 / 31 Sample Problems in Knot
Recommended publications
  • Conservation of Complex Knotting and Slipknotting Patterns in Proteins
    Conservation of complex knotting and PNAS PLUS slipknotting patterns in proteins Joanna I. Sułkowskaa,1,2, Eric J. Rawdonb,1, Kenneth C. Millettc, Jose N. Onuchicd,2, and Andrzej Stasiake aCenter for Theoretical Biological Physics, University of California at San Diego, La Jolla, CA 92037; bDepartment of Mathematics, University of St. Thomas, Saint Paul, MN 55105; cDepartment of Mathematics, University of California, Santa Barbara, CA 93106; dCenter for Theoretical Biological Physics , Rice University, Houston, TX 77005; and eCenter for Integrative Genomics, Faculty of Biology and Medicine, University of Lausanne, 1015 Lausanne, Switzerland Edited by* Michael S. Waterman, University of Southern California, Los Angeles, CA, and approved May 4, 2012 (received for review April 17, 2012) While analyzing all available protein structures for the presence of ers fixed configurations, in this case proteins in their native folded knots and slipknots, we detected a strict conservation of complex structures. Then they may be treated as frozen and thus unable to knotting patterns within and between several protein families undergo any deformation. despite their large sequence divergence. Because protein folding Several papers have described various interesting closure pathways leading to knotted native protein structures are slower procedures to capture the knot type of the native structure of and less efficient than those leading to unknotted proteins with a protein or a subchain of a closed chain (1, 3, 29–33). In general, similar size and sequence, the strict conservation of the knotting the strategy is to ensure that the closure procedure does not affect patterns indicates an important physiological role of knots and slip- the inherent entanglement in the analyzed protein chain or sub- knots in these proteins.
    [Show full text]
  • A Knot-Vice's Guide to Untangling Knot Theory, Undergraduate
    A Knot-vice’s Guide to Untangling Knot Theory Rebecca Hardenbrook Department of Mathematics University of Utah Rebecca Hardenbrook A Knot-vice’s Guide to Untangling Knot Theory 1 / 26 What is Not a Knot? Rebecca Hardenbrook A Knot-vice’s Guide to Untangling Knot Theory 2 / 26 What is a Knot? 2 A knot is an embedding of the circle in the Euclidean plane (R ). 3 Also defined as a closed, non-self-intersecting curve in R . 2 Represented by knot projections in R . Rebecca Hardenbrook A Knot-vice’s Guide to Untangling Knot Theory 3 / 26 Why Knots? Late nineteenth century chemists and physicists believed that a substance known as aether existed throughout all of space. Could knots represent the elements? Rebecca Hardenbrook A Knot-vice’s Guide to Untangling Knot Theory 4 / 26 Why Knots? Rebecca Hardenbrook A Knot-vice’s Guide to Untangling Knot Theory 5 / 26 Why Knots? Unfortunately, no. Nevertheless, mathematicians continued to study knots! Rebecca Hardenbrook A Knot-vice’s Guide to Untangling Knot Theory 6 / 26 Current Applications Natural knotting in DNA molecules (1980s). Credit: K. Kimura et al. (1999) Rebecca Hardenbrook A Knot-vice’s Guide to Untangling Knot Theory 7 / 26 Current Applications Chemical synthesis of knotted molecules – Dietrich-Buchecker and Sauvage (1988). Credit: J. Guo et al. (2010) Rebecca Hardenbrook A Knot-vice’s Guide to Untangling Knot Theory 8 / 26 Current Applications Use of lattice models, e.g. the Ising model (1925), and planar projection of knots to find a knot invariant via statistical mechanics. Credit: D. Chicherin, V.P.
    [Show full text]
  • CROSSING CHANGES and MINIMAL DIAGRAMS the Unknotting
    CROSSING CHANGES AND MINIMAL DIAGRAMS ISABEL K. DARCY The unknotting number of a knot is the minimal number of crossing changes needed to convert the knot into the unknot where the minimum is taken over all possible diagrams of the knot. For example, the minimal diagram of the knot 108 requires 3 crossing changes in order to change it to the unknot. Thus, by looking only at the minimal diagram of 108, it is clear that u(108) ≤ 3 (figure 1). Nakanishi [5] and Bleiler [2] proved that u(108) = 2. They found a non-minimal diagram of the knot 108 in which two crossing changes suffice to obtain the unknot (figure 2). Lower bounds on unknotting number can be found by looking at how knot invariants are affected by crossing changes. Nakanishi [5] and Bleiler [2] used signature to prove that u(108)=2. Figure 1. Minimal dia- Figure 2. A non-minimal dia- gram of knot 108 gram of knot 108 Bernhard [1] noticed that one can determine that u(108) = 2 by using a sequence of crossing changes within minimal diagrams and ambient isotopies as shown in figure. A crossing change within the minimal diagram of 108 results in the knot 62. We then use an ambient isotopy to change this non-minimal diagram of 62 to a minimal diagram. The unknot can then be obtained by changing one crossing within the minimal diagram of 62. Bernhard hypothesized that the unknotting number of a knot could be determined by only looking at minimal diagrams by using ambient isotopies between crossing changes.
    [Show full text]
  • An Introduction to Knot Theory and the Knot Group
    AN INTRODUCTION TO KNOT THEORY AND THE KNOT GROUP LARSEN LINOV Abstract. This paper for the University of Chicago Math REU is an expos- itory introduction to knot theory. In the first section, definitions are given for knots and for fundamental concepts and examples in knot theory, and motivation is given for the second section. The second section applies the fun- damental group from algebraic topology to knots as a means to approach the basic problem of knot theory, and several important examples are given as well as a general method of computation for knot diagrams. This paper assumes knowledge in basic algebraic and general topology as well as group theory. Contents 1. Knots and Links 1 1.1. Examples of Knots 2 1.2. Links 3 1.3. Knot Invariants 4 2. Knot Groups and the Wirtinger Presentation 5 2.1. Preliminary Examples 5 2.2. The Wirtinger Presentation 6 2.3. Knot Groups for Torus Knots 9 Acknowledgements 10 References 10 1. Knots and Links We open with a definition: Definition 1.1. A knot is an embedding of the circle S1 in R3. The intuitive meaning behind a knot can be directly discerned from its name, as can the motivation for the concept. A mathematical knot is just like a knot of string in the real world, except that it has no thickness, is fixed in space, and most importantly forms a closed loop, without any loose ends. For mathematical con- venience, R3 in the definition is often replaced with its one-point compactification S3. Of course, knots in the real world are not fixed in space, and there is no interesting difference between, say, two knots that differ only by a translation.
    [Show full text]
  • Dynamics, and Invariants
    k k On Groups Gn and Γn: A Study of Manifolds, Dynamics, and Invariants Vassily O. Manturov, Denis A. Fedoseev, Seongjeong Kim, Igor M. Nikonov A long time ago, when I first encountered knot tables and started un- knotting knots “by hand”, I was quite excited with the fact that some knots may have more than one minimal representative. In other words, in order to make an object simpler, one should first make it more complicated, for example, see Fig. 1 [72]: this diagram represents the trivial knot, but in order to simplify it, one needs to perform an increasing Reidemeister move first. Figure 1: Culprit knot Being a first year undergraduate student (in the Moscow State Univer- sity), I first met free groups and their presentation. The power and beauty, arXiv:1905.08049v4 [math.GT] 29 Mar 2021 and simplicity of these groups for me were their exponential growth and ex- tremely easy solution to the word problem and conjugacy problem by means of a gradient descent algorithm in a word (in a cyclic word, respectively). Also, I was excited with Diamond lemma (see Fig. 2): a simple condition which guarantees the uniqueness of the minimal objects, and hence, solution to many problems. Being a last year undergraduate and teaching a knot theory course for the first time, I thought: “Why do not we have it (at least partially) in knot theory?” 1 A A1 A2 A12 = A21 Figure 2: The Diamond lemma By that time I knew about the Diamond lemma and solvability of many problems like word problem in groups by gradient descent algorithm.
    [Show full text]
  • Results on Nonorientable Surfaces for Knots and 2-Knots
    University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Dissertations, Theses, and Student Research Papers in Mathematics Mathematics, Department of 8-2021 Results on Nonorientable Surfaces for Knots and 2-knots Vincent Longo University of Nebraska-Lincoln, [email protected] Follow this and additional works at: https://digitalcommons.unl.edu/mathstudent Part of the Geometry and Topology Commons Longo, Vincent, "Results on Nonorientable Surfaces for Knots and 2-knots" (2021). Dissertations, Theses, and Student Research Papers in Mathematics. 111. https://digitalcommons.unl.edu/mathstudent/111 This Article is brought to you for free and open access by the Mathematics, Department of at DigitalCommons@University of Nebraska - Lincoln. It has been accepted for inclusion in Dissertations, Theses, and Student Research Papers in Mathematics by an authorized administrator of DigitalCommons@University of Nebraska - Lincoln. RESULTS ON NONORIENTABLE SURFACES FOR KNOTS AND 2-KNOTS by Vincent Longo A DISSERTATION Presented to the Faculty of The Graduate College at the University of Nebraska In Partial Fulfillment of Requirements For the Degree of Doctor of Philosophy Major: Mathematics Under the Supervision of Professors Alex Zupan and Mark Brittenham Lincoln, Nebraska May, 2021 RESULTS ON NONORIENTABLE SURFACES FOR KNOTS AND 2-KNOTS Vincent Longo, Ph.D. University of Nebraska, 2021 Advisor: Alex Zupan and Mark Brittenham A classical knot is a smooth embedding of the circle S1 into the 3-sphere S3. We can also consider embeddings of arbitrary surfaces (possibly nonorientable) into a 4-manifold, called knotted surfaces. In this thesis, we give an introduction to some of the basics of the studies of classical knots and knotted surfaces, then present some results about nonorientable surfaces bounded by classical knots and embeddings of nonorientable knotted surfaces.
    [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]
  • On L-Space Knots Obtained from Unknotting Arcs in Alternating Diagrams
    New York Journal of Mathematics New York J. Math. 25 (2019) 518{540. On L-space knots obtained from unknotting arcs in alternating diagrams Andrew Donald, Duncan McCoy and Faramarz Vafaee Abstract. Let D be a diagram of an alternating knot with unknotting number one. The branched double cover of S3 branched over D is an L-space obtained by half integral surgery on a knot KD. We denote the set of all such knots KD by D. We characterize when KD 2 D is a torus knot, a satellite knot or a hyperbolic knot. In a different direction, we show that for a given n > 0, there are only finitely many L-space knots in D with genus less than n. Contents 1. Introduction 518 2. Almost alternating diagrams of the unknot 521 2.1. The corresponding operations in D 522 3. The geometry of knots in D 525 3.1. Torus knots in D 525 3.2. Constructing satellite knots in D 526 3.3. Substantial Conway spheres 534 References 538 1. Introduction A knot K ⊂ S3 is an L-space knot if it admits a positive Dehn surgery to an L-space.1 Examples include torus knots, and more broadly, Berge knots in S3 [Ber18]. In recent years, work by many researchers provided insight on the fiberedness [Ni07, Ghi08], positivity [Hed10], and various notions of simplicity of L-space knots [OS05b, Hed11, Krc18]. For more examples of L-space knots, see [Hom11, Hom16, HomLV14, Mot16, MotT14, Vaf15]. Received May 8, 2018. 2010 Mathematics Subject Classification. 57M25, 57M27.
    [Show full text]
  • The Conway Knot Is Not Slice
    THE CONWAY KNOT IS NOT SLICE LISA PICCIRILLO Abstract. A knot is said to be slice if it bounds a smooth properly embedded disk in B4. We demonstrate that the Conway knot, 11n34 in the Rolfsen tables, is not slice. This com- pletes the classification of slice knots under 13 crossings, and gives the first example of a non-slice knot which is both topologically slice and a positive mutant of a slice knot. 1. Introduction The classical study of knots in S3 is 3-dimensional; a knot is defined to be trivial if it bounds an embedded disk in S3. Concordance, first defined by Fox in [Fox62], is a 4-dimensional extension; a knot in S3 is trivial in concordance if it bounds an embedded disk in B4. In four dimensions one has to take care about what sort of disks are permitted. A knot is slice if it bounds a smoothly embedded disk in B4, and topologically slice if it bounds a locally flat disk in B4. There are many slice knots which are not the unknot, and many topologically slice knots which are not slice. It is natural to ask how characteristics of 3-dimensional knotting interact with concordance and questions of this sort are prevalent in the literature. Modifying a knot by positive mutation is particularly difficult to detect in concordance; we define positive mutation now. A Conway sphere for an oriented knot K is an embedded S2 in S3 that meets the knot 3 transversely in four points. The Conway sphere splits S into two 3-balls, B1 and B2, and ∗ K into two tangles KB1 and KB2 .
    [Show full text]
  • Transverse Unknotting Number and Family Trees
    Transverse Unknotting Number and Family Trees Blossom Jeong Senior Thesis in Mathematics Bryn Mawr College Lisa Traynor, Advisor May 8th, 2020 1 Abstract The unknotting number is a classical invariant for smooth knots, [1]. More recently, the concept of knot ancestry has been defined and explored, [3]. In my research, I explore how these concepts can be adapted to study trans- verse knots, which are smooth knots that satisfy an additional geometric condition imposed by a contact structure. 1. Introduction Smooth knots are well-studied objects in topology. A smooth knot is a closed curve in 3-dimensional space that does not intersect itself anywhere. Figure 1 shows a diagram of the unknot and a diagram of the positive trefoil knot. Figure 1. A diagram of the unknot and a diagram of the positive trefoil knot. Two knots are equivalent if one can be deformed to the other. It is well-known that two diagrams represent the same smooth knot if and only if their diagrams are equivalent through Reidemeister moves. On the other hand, to show that two knots are different, we need to construct an invariant that can distinguish them. For example, tricolorability shows that the trefoil is different from the unknot. Unknotting number is another invariant: it is known that every smooth knot diagram can be converted to the diagram of the unknot by changing crossings. This is used to define the smooth unknotting number, which measures the minimal number of times a knot must cross through itself in order to become the unknot. This thesis will focus on transverse knots, which are smooth knots that satisfy an ad- ditional geometric condition imposed by a contact structure.
    [Show full text]
  • An Index-Type Invariant of Knot Diagrams and Bounds for Unknotting Framed Knots
    An Index-Type Invariant of Knot Diagrams and Bounds for Unknotting Framed Knots Albert Yue Abstract We introduce a new knot diagram invariant called self-crossing in- dex, or SCI. We found that SCI changes by at most ±1 under framed Reidemeister moves, and specifically provides a lower bound for the num- ber of Ω3 moves. We also found that SCI is additive under connected sums, and is a Vassiliev invariant of order 1. We also conduct similar calculations with Hass and Nowik's diagram invariant and cowrithe, and present a relationship between forward/backward, ascending/descending, and positive/negative Ω3 moves. 1 Introduction A knot is an embedding of the circle in the three-dimensional space without self- intersection. Knot theory, the study of these knots, has applications in multiple fields. DNA often appears in the form of a ring, which can be further knotted into more complex knots. Furthermore, the enzyme topoisomerase facilitates a process in which a part of the DNA can temporarily break along the phos- phate backbone, physically change, and then be resealed [13], allowing for the regulation of DNA supercoiling, important in DNA replication for both grow- ing fork movement and in untangling chromosomes after replication [12]. Knot theory has also been used to determine whether a molecule is chiral or not [18]. In addition, knot theory has been found to have connections to mathematical models of statistic mechanics involving the partition function [13], as well as with quantum field theory [23] and string theory [14]. Knot diagrams are particularly of interest because we can construct and calculate knot invariants and thereby determine if knots are equivalent to each other.
    [Show full text]