DOCSLIB.ORG

Finite Type Invariants

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Finite Type Invariants Finite Type Invariants Lena Folwaczny (UIC) Joint Meetings, Boston January 7, 2012 Lena Folwaczny (UIC) Finite Type Invariants 1 3 A knot is a smooth embedding f : S ! R . We have various methods of encoding knot informaiton in an effort to help understand them. Planar Diagrams Braids Tangles Lena Folwaczny (UIC) Finite Type Invariants Knots as Planar Diagrams In 1926 Kurt Reidemeister showed that given two knots K1 and K2, then K1 ∼ K2 (K1 is isotopic to K2) if and only if they can be related by a sequence of the three Reidemeister moves and planar isotopy. Lena Folwaczny (UIC) Finite Type Invariants + + 1 2 ? Knots as Gauss Diagrams To every knot, we can associate a Gauss Code, which we can then draw as a Gauss Diagram. From every Gauss Diagram, we can always "try" to draw the knot diagram! Lena Folwaczny (UIC) Finite Type Invariants + + 1 2 ? Knots as Gauss Diagrams To every knot, we can associate a Gauss Code, which we can then draw as a Gauss Diagram. From every Gauss Diagram, we can always "try" to draw the knot diagram! Lena Folwaczny (UIC) Finite Type Invariants A geometric way to interpret virtual knots is that they are knots drawn on surfaces, and the virtual crossing occurs when project through the surface into the plane, we have an "appearance" of the crossing a crossing in the planar diagram. Virtual Knots We can use a special symbol to denote a crossing that isn't really there. This knot is now called a virtual knot. Virtual Knots can be though of as the completion of knot diagrams. ? Lena Folwaczny (UIC) Finite Type Invariants Virtual Knots We can use a special symbol to denote a crossing that isn't really there. This knot is now called a virtual knot. Virtual Knots can be though of as the completion of knot diagrams. ? A geometric way to interpret virtual knots is that they are knots drawn on surfaces, and the virtual crossing occurs when project through the surface into the plane, we have an "appearance" of the crossing a crossing in the planar diagram. Lena Folwaczny (UIC) Finite Type Invariants Vassiliev Invariants Definition A Vassiliev Invariant is an invariant V of singular knots that satisfies the following relation: Notice that invariants of knots are automatically invariants of graphs (singular knots) under this definition. Lena Folwaczny (UIC) Finite Type Invariants Let's calculate the Conway polynomial of the following singular knot. Lena Folwaczny (UIC) Finite Type Invariants Let's calculate the Conway polynomial of the following singular knot. Lena Folwaczny (UIC) Finite Type Invariants For example, the nth coefficient of the Conway Polynomial is a Vassiliev Invariant of type n. Dror Bar-Natan has related finite types invariants to derivatives. Definition A Vassiliev Invariant V has finite type ≤ n if it vanishes (i.e. is constantly zero) on all knots that have more than n singular points. Lena Folwaczny (UIC) Finite Type Invariants Dror Bar-Natan has related finite types invariants to derivatives. Definition A Vassiliev Invariant V has finite type ≤ n if it vanishes (i.e. is constantly zero) on all knots that have more than n singular points. For example, the nth coefficient of the Conway Polynomial is a Vassiliev Invariant of type n. Lena Folwaczny (UIC) Finite Type Invariants Definition A Vassiliev Invariant V has finite type ≤ n if it vanishes (i.e. is constantly zero) on all knots that have more than n singular points. For example, the nth coefficient of the Conway Polynomial is a Vassiliev Invariant of type n. Dror Bar-Natan has related finite types invariants to derivatives. Lena Folwaczny (UIC) Finite Type Invariants More Examples of Finite Type Invariants 1 By substituting t = ex into the Jones polynomial, and considering the formal Taylor series in x of ex , we get a polynomial where the coefficient of xk is a type k Vassiliev invariant. 2 Similar theorems hold for Kauffman and HOMFLYPT polynomials, and arbitrary Reshetikhin-Turaev invariants. Lena Folwaczny (UIC) Finite Type Invariants Conclusion: There are plenty of finite type invariants! And they are at least as powerful as all the knot polynomial invariants. Lena Folwaczny (UIC) Finite Type Invariants Conclusion: There are plenty of finite type invariants! And they are at least as powerful as all the knot polynomial invariants. Lena Folwaczny (UIC) Finite Type Invariants Let V be a Vassiliev invariant. Considering Rediemeister moves on the diagram, we see that Vassiliev invariants must satisfy the following two relations: The one term relation is: Lena Folwaczny (UIC) Finite Type Invariants Similarly, considering the following planar isotopies: we get the four term relation Lena Folwaczny (UIC) Finite Type Invariants Proof: Let V be a Vassiliev invariant of order ≤ n. Let K1, K2 be knots with n singular points, where K1 ∼ K2 except for a crossing change somewhere in the diagram. Let's compare V (K1) and V (K2). V (K1)- V (K2) = V (Kx ) = 0 Therefore, V (K1) = V (K2) Theorem The value of a Vassiliev invariant of order ≤ n on a knot with n singular points does not vary when one (or several) crossings are changed to opposite crossings. Lena Folwaczny (UIC) Finite Type Invariants V (K1)- V (K2) = V (Kx ) = 0 Therefore, V (K1) = V (K2) Theorem The value of a Vassiliev invariant of order ≤ n on a knot with n singular points does not vary when one (or several) crossings are changed to opposite crossings. Proof: Let V be a Vassiliev invariant of order ≤ n. Let K1, K2 be knots with n singular points, where K1 ∼ K2 except for a crossing change somewhere in the diagram. Let's compare V (K1) and V (K2). Lena Folwaczny (UIC) Finite Type Invariants Theorem The value of a Vassiliev invariant of order ≤ n on a knot with n singular points does not vary when one (or several) crossings are changed to opposite crossings. Proof: Let V be a Vassiliev invariant of order ≤ n. Let K1, K2 be knots with n singular points, where K1 ∼ K2 except for a crossing change somewhere in the diagram. Let's compare V (K1) and V (K2). V (K1)- V (K2) = V (Kx ) = 0 Therefore, V (K1) = V (K2) Lena Folwaczny (UIC) Finite Type Invariants The Power of the Theorem 1 The value of an nth order invariant of a knot with n singular points is unaffected by changes in crossings. Thus, its value does not depend on the phenomenon of knotting, but only on the order (a combinatorial concept!) in which the singular points appear when following the curve of the knot! 2 Let Vn be the set of all Vassiliev invariants of type ≤ n. Notice that Vn has a natural vector space structure, and that V0 ⊂ V1 ⊂ V2 ⊂ ::: We would like to better understand the structure of Vn. The theorem suggests that chord diagrams might help us do so. Lena Folwaczny (UIC) Finite Type Invariants Definition A chord diagram of order n is an oriented circle with n pairs of distinct points (regarded up to orientation-preserving diffeomorphism of the circle). CDn = set of all chord diagrams of order n. Lena Folwaczny (UIC) Finite Type Invariants Definition A chord diagram of order n is an oriented circle with n pairs of distinct points (regarded up to orientation-preserving diffeomorphism of the circle). CDn = set of all chord diagrams of order n. Lena Folwaczny (UIC) Finite Type Invariants Definition A chord diagram of order n is an oriented circle with n pairs of distinct points (regarded up to orientation-preserving diffeomorphism of the circle). CDn = set of all chord diagrams of order n. Lena Folwaczny (UIC) Finite Type Invariants Definition A chord diagram of order n is an oriented circle with n pairs of distinct points (regarded up to orientation-preserving diffeomorphism of the circle). CDn = set of all chord diagrams of order n. Lena Folwaczny (UIC) Finite Type Invariants The Algebra of Chord Diagrams Chord diagrams have a Hopf Algebra Sturcture (a graded bi-algebra). Product: Connected sum of two knots Co-Product: X 0 δ(D) = DJ ⊗ DJ JC[D] Lena Folwaczny (UIC) Finite Type Invariants Theorem The value of v 2 Vn (Vassiliev invariant of order ≤ n) on a knot K with n singular points depends only on the chord diagram of K. This theorem tells us we have a well-defined map αn : Vn ! CDn. To understand the size and structure of the space Vn, it is useful to have a description of the Kernel and Image of αn. Notice that by definition of Vassiliev invariant, Ker(αn) = Vn−1 Singular Knots to Chord Diagrams Drawing singular knots as chord diagrams is similar to constructing the Gauss diagram. Singular points in the knot diagram get connected by a chord in the chord diagram. Lena Folwaczny (UIC) Finite Type Invariants This theorem tells us we have a well-defined map αn : Vn ! CDn. To understand the size and structure of the space Vn, it is useful to have a description of the Kernel and Image of αn. Notice that by definition of Vassiliev invariant, Ker(αn) = Vn−1 Singular Knots to Chord Diagrams Drawing singular knots as chord diagrams is similar to constructing the Gauss diagram. Singular points in the knot diagram get connected by a chord in the chord diagram. Theorem The value of v 2 Vn (Vassiliev invariant of order ≤ n) on a knot K with n singular points depends only on the chord diagram of K. Lena Folwaczny (UIC) Finite Type Invariants Singular Knots to Chord Diagrams Drawing singular knots as chord diagrams is similar to constructing the Gauss diagram. Singular points in the knot diagram get connected by a chord in the chord diagram.
Load more

Recommended publications
  • Jones Polynomial for Graphs of Twist Knots
    Available at Applications and Applied http://pvamu.edu/aam Mathematics: Appl. Appl. Math. An International Journal ISSN: 1932-9466 (AAM) Vol. 14, Issue 2 (December 2019), pp. 1269 – 1278 Jones Polynomial for Graphs of Twist Knots 1Abdulgani ¸Sahinand 2Bünyamin ¸Sahin 1Faculty of Science and Letters 2Faculty of Science Department Department of Mathematics of Mathematics Agrı˘ Ibrahim˙ Çeçen University Selçuk University Postcode 04100 Postcode 42130 Agrı,˘ Turkey Konya, Turkey [email protected] [email protected] Received: January 1, 2019; Accepted: March 16, 2019 Abstract We frequently encounter knots in the flow of our daily life. Either we knot a tie or we tie a knot on our shoes. We can even see a fisherman knotting the rope of his boat. Of course, the knot as a mathematical model is not that simple. These are the reflections of knots embedded in three- dimensional space in our daily lives. In fact, the studies on knots are meant to create a complete classification of them. This has been achieved for a large number of knots today. But we cannot say that it has been terminated yet. There are various effective instruments while carrying out all these studies. One of these effective tools is graphs. Graphs are have made a great contribution to the development of algebraic topology. Along with this support, knot theory has taken an important place in low dimensional manifold topology. In 1984, Jones introduced a new polynomial for knots. The discovery of that polynomial opened a new era in knot theory. In a short time, this polynomial was defined by algebraic arguments and its combinatorial definition was made.
    [Show full text]
  • Arxiv:1608.01812V4 [Math.GT] 8 Nov 2018 Hc Ssrne Hntehmytplnma.Teindeterm the Polynomial
    A NEW TWO-VARIABLE GENERALIZATION OF THE JONES POLYNOMIAL D. GOUNDAROULIS AND S. LAMBROPOULOU Abstract. We present a new 2-variable generalization of the Jones polynomial that can be defined through the skein relation of the Jones polynomial. The well-definedness of this invariant is proved both algebraically and diagrammatically as well as via a closed combinatorial formula. This new invariant is able to distinguish more pairs of non-isotopic links than the original Jones polynomial, such as the Thistlethwaite link from the unlink with two components. 1. Introduction In the last ten years there has been a new spark of interest for polynomial invariants for framed and classical knots and links. One of the concepts that appeared was that of the framization of a knot algebra, which was first proposed by J. Juyumaya and the second author in [22, 23]. In their original work, they constructed new 2-variable polynomial invariants for framed and classical links via the Yokonuma–Hecke algebras Yd,n(u) [34], which are quotients of the framed braid group . The algebras Y (u) can be considered as framizations of the Iwahori–Hecke Fn d,n algebra of type A, Hn(u), and for d = 1, Y1,n(u) coincides with Hn(u). They used the Juyumaya trace [18] with parameters z,x1,...,xd−1 on Yd,n(u) and the so-called E-condition imposed on the framing parameters xi, 1 i d 1. These new invariants and especially those for classical links had to be compared to other≤ ≤ known− invariants like the Homflypt polynomial [30, 29, 11, 31].
    [Show full text]
  • A Remarkable 20-Crossing Tangle Shalom Eliahou, Jean Fromentin
    A remarkable 20-crossing tangle Shalom Eliahou, Jean Fromentin To cite this version: Shalom Eliahou, Jean Fromentin. A remarkable 20-crossing tangle. 2016. hal-01382778v2 HAL Id: hal-01382778 https://hal.archives-ouvertes.fr/hal-01382778v2 Preprint submitted on 16 Jan 2017 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. A REMARKABLE 20-CROSSING TANGLE SHALOM ELIAHOU AND JEAN FROMENTIN Abstract. For any positive integer r, we exhibit a nontrivial knot Kr with r− r (20·2 1 +1) crossings whose Jones polynomial V (Kr) is equal to 1 modulo 2 . Our construction rests on a certain 20-crossing tangle T20 which is undetectable by the Kauffman bracket polynomial pair mod 2. 1. Introduction In [6], M. B. Thistlethwaite gave two 2–component links and one 3–component link which are nontrivial and yet have the same Jones polynomial as the corre- sponding unlink U 2 and U 3, respectively. These were the first known examples of nontrivial links undetectable by the Jones polynomial. Shortly thereafter, it was shown in [2] that, for any integer k ≥ 2, there exist infinitely many nontrivial k–component links whose Jones polynomial is equal to that of the k–component unlink U k.
    [Show full text]
  • Alexander Polynomial, Finite Type Invariants and Volume of Hyperbolic
    ISSN 1472-2739 (on-line) 1472-2747 (printed) 1111 Algebraic & Geometric Topology Volume 4 (2004) 1111–1123 ATG Published: 25 November 2004 Alexander polynomial, finite type invariants and volume of hyperbolic knots Efstratia Kalfagianni Abstract We show that given n > 0, there exists a hyperbolic knot K with trivial Alexander polynomial, trivial finite type invariants of order ≤ n, and such that the volume of the complement of K is larger than n. This contrasts with the known statement that the volume of the comple- ment of a hyperbolic alternating knot is bounded above by a linear function of the coefficients of the Alexander polynomial of the knot. As a corollary to our main result we obtain that, for every m> 0, there exists a sequence of hyperbolic knots with trivial finite type invariants of order ≤ m but ar- bitrarily large volume. We discuss how our results fit within the framework of relations between the finite type invariants and the volume of hyperbolic knots, predicted by Kashaev’s hyperbolic volume conjecture. AMS Classification 57M25; 57M27, 57N16 Keywords Alexander polynomial, finite type invariants, hyperbolic knot, hyperbolic Dehn filling, volume. 1 Introduction k i Let c(K) denote the crossing number and let ∆K(t) := Pi=0 cit denote the Alexander polynomial of a knot K . If K is hyperbolic, let vol(S3 \ K) denote the volume of its complement. The determinant of K is the quantity det(K) := |∆K(−1)|. Thus, in general, we have k det(K) ≤ ||∆K (t)|| := X |ci|. (1) i=0 It is well know that the degree of the Alexander polynomial of an alternating knot equals twice the genus of the knot.
    [Show full text]
  • Deep Learning the Hyperbolic Volume of a Knot
    Physics Letters B 799 (2019) 135033 Contents lists available at ScienceDirect Physics Letters B www.elsevier.com/locate/physletb Deep learning the hyperbolic volume of a knot ∗ Vishnu Jejjala a,b, Arjun Kar b, , Onkar Parrikar b,c a Mandelstam Institute for Theoretical Physics, School of Physics, NITheP, and CoE-MaSS, University of the Witwatersrand, Johannesburg, WITS 2050, South Africa b David Rittenhouse Laboratory, University of Pennsylvania, 209 S 33rd Street, Philadelphia, PA 19104, USA c Stanford Institute for Theoretical Physics, Stanford University, Stanford, CA 94305, USA a r t i c l e i n f o a b s t r a c t Article history: An important conjecture in knot theory relates the large-N, double scaling limit of the colored Jones Received 8 October 2019 polynomial J K ,N (q) of a knot K to the hyperbolic volume of the knot complement, Vol(K ). A less studied Accepted 14 October 2019 question is whether Vol(K ) can be recovered directly from the original Jones polynomial (N = 2). In this Available online 28 October 2019 report we use a deep neural network to approximate Vol(K ) from the Jones polynomial. Our network Editor: M. Cveticˇ is robust and correctly predicts the volume with 97.6% accuracy when training on 10% of the data. Keywords: This points to the existence of a more direct connection between the hyperbolic volume and the Jones Machine learning polynomial. Neural network © 2019 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY license 3 Topological field theory (http://creativecommons.org/licenses/by/4.0/).
    [Show full text]
  • Signatures of Links and Finite Type Invariants of Cyclic Branched Covers
    SIGNATURES OF LINKS AND FINITE TYPE INVARIANTS OF CYCLIC BRANCHED COVERS STAVROS GAROUFALIDIS Dedicated to Mel Rothenberg. Abstract. Recently, Mullins calculated the Casson-Walker invariant of the 2-fold cyclic branched cover of an oriented link in S3 in terms of its Jones polynomial and its signature, under the assumption that the 2-fold branched cover is a rational homology 3-sphere. Using elementary principles, we provide a similar calculation for the general case. In addition, we calculate the LMO invariant of the p-fold branched cover of twisted knots in S3 in terms of the Kontsevich integral of the knot. Contents 1. Introduction 1 2. A reduction of Theorem 1 3 3. Some linear algebra 4 4. ProofofTheorem1 5 4.1. The Casson-Walker-Lescop invariant of 3-manifolds 5 4.2. A construction of 2-fold branched covers 6 4.3. Proof of Claim 2.1 7 5. ProofofTheorem2 8 References 10 1. Introduction Given an oriented link L in (oriented) S3, one can associate to it a family of (oriented) p 3-manifolds, namely its p-fold cyclic branched covers ΣL,wherepis a positive integer. Using these 3-manifolds, one can associate a family of integer-valued invariants of the link L, namely its p-signatures, σp(L). These signatures, being concordance invariants, play a key role in the approach to link theory via surgery theory. On the other hand, any numerical invariant of 3-manifolds, evaluated at the p-fold branched cover, gives numerical invariants of oriented links. The seminal ideas of mathematical physics, initiated by Witten [Wi] have recently produced two axiomatizations (and construc- tions) of numerical invariants of links and 3-manifolds; one under the name of topological Date: This edition: September 1, 1998; First edition: November 10, 1997 .
    [Show full text]
  • The Jones Polynomial Through Linear Algebra
    The Jones polynomial through linear algebra Iain Moffatt University of South Alabama Workshop in Knot Theory Waterloo, 24th September 2011 I. Moffatt (South Alabama) UW 2011 1 / 39 What and why What we’ll see The construction of link invariants through R-matrices. (c.f. Reshetikhin-Turaev invariants, quantum invariants) Why this? Can do some serious math using material from Linear Algebra 1. Illustrates how math works in the wild: start with a problem you want to solve; figure out an easier problem that you can solve; build up from this to solve your original problem. See the interplay between algebra, combinatorics and topology! It’s my favourite bit of math! I. Moffatt (South Alabama) UW 2011 2 / 39 What we’re trying to do A knot is a circle, S1, sitting in 3-space R3. A link is a number of disjoint circles in 3-space R3. Knots and links are considered up to isotopy. This means you can “move then round in space, but you can’t cut or glue them”. I. Moffatt (South Alabama) UW 2011 3 / 39 What we’re trying to do A knot is a circle, S1, sitting in 3-space R3. A link is a number of disjoint circles in 3-space R3. Knots and links are considered up to isotopy. This means you can “move then round in space, but you can’t cut or glue them”. The fundamental problem in knot theory is to determine whether or not two links are isotopic. =? =? I. Moffatt (South Alabama) UW 2011 3 / 39 To do this we need knot invariants: F : Links (a set) such (Isotopy) ! that F(L) = F(L0) = L = L0, Aim: construct6 link invariants) 6 using linear algebra.
    [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]
  • Jones Polynomial of Knots
    KNOTS AND THE JONES POLYNOMIAL MATH 180, SPRING 2020 Your task as a group, is to research the topics and questions below, write up clear notes as a group explaining these topics and the answers to the questions, and then make a video presenting your findings. Your video and notes will be presented to the class to teach them your findings. Make sure that in your notes and video you give examples and intuition, along with formal definitions, theorems, proofs, or calculations. Make sure that you point out what the is most important take away message, and what aspects may be tricky or confusing to understand at first. You will need to work together as a group. You should all work on Problem 1. Each member of the group must be responsible for one full example from problem 2. Then you can split up problem 3-7 as you wish. 1. Resources The primary resource for this project is The Knot Book by Colin Adams, Chapter 6.1 (page 147-155). An Introduction to Knot Theory by Raymond Lickorish Chapter 3, could also be helpful. You may also look at other resources online about knot theory and the Jones polynomial. Make sure to cite the sources you use. If you find it useful and you are comfortable, you can try to write some code to help you with computations. 2. Topics and Questions As you research, you may find more examples, definitions, and questions, which you defi- nitely should feel free to include in your notes and/or video, but make sure you at least go through the following discussion and questions.
    [Show full text]
  • Knot Polynomials
    Knot Polynomials André Schulze & Nasim Rahaman July 24, 2014 1 Why Polynomials? First introduced by James Wadell Alexander II in 1923, knot polynomials have proved themselves by being one of the most efficient ways of classifying knots. In this spirit, one expects two different projections of a knot to have the same knot polynomial; one therefore demands that a good knot polynomial be invariant under the three Reide- meister moves (although this is not always case, as we shall find out). In this report, we present 5 selected knot polynomials: the Bracket, Kauffman X, Jones, Alexander and HOMFLY polynomials. 2 The Bracket Polynomial 2.1 Calculating the Bracket Polynomial The Bracket polynomial makes for a great starting point in constructing knotpoly- nomials. We start with three simple rules, which are then iteratively applied to all crossings in the knot: A direct application of the third rule leads to the following relation for (untangled) unknots: The process of obtaining the Bracket polynomial can be streamlined by evaluating the contribution of a particular sequence of actions in undoing the knot (states) and summing over all such contributions to obtain the net polynomial. 2.2 The Problem with Bracket Polynomials The bracket polynomials can be shown to be invariant under types 2 and 3Reidemeis- ter moves. However by considering type 1 moves, its one major drawback becomes apparent. From: 1 we conclude that that the Bracket polynomial does not remain invariant under type 1 moves. This can be fixed by introducing the writhe of a knot, as we shallsee in the next section.
    [Show full text]
  • Local Moves and Restrictions on the Jones Polynomial 1
    LOCAL MOVES AND RESTRICTIONS ON THE JONES POLYNOMIAL SANDY GANZELL Abstract. We analyze various local moves on knot diagrams to show that Jones polynomials must have certain algebraic properties. In partic- ular, we show that the Jones polynomial of a knot cannot be a nontrivial monomial. 1. Introduction A local move on a link diagram is the substitution of a given subdiagram for another, that results in another link diagram. Reidemeister moves are the standard examples of local moves, but a local move need not preserve the link type, or even the number of components of the link. A local move M is called an unknotting move if repeated applications of M, together with Reidemeister moves, will unknot every knot. The simplest unknotting move is a crossing change; a standard exercise in undergraduate knot theory is to show that any diagram of a knot can be transformed into a diagram of the unknot by crossing changes. The ∆-move, shown in figure 1, is also an Figure 1. The ∆-move. unknotting move [9], [10]. In section 2 we will examine the effect of the ∆-move on the Jones polynomial. We assume the reader is familiar with Kauffman’s construction of the Jones polynomial ([7], [1], etc.). For the knot diagram K, the bracket polynomial is denoted hKi, and the Jones polynomial is denoted fK(A) = (−A3)−whKi, where w is the writhe of K. We use A = t−1/4 for the inde- terminate, and let d = −A2 − A−2, so that h Ki = dhKi. It is understood that “polynomial” is to mean Laurent polynomial, since hKi∈ Z[A, A−1].
    [Show full text]
  • Jones Polynomials and Classical Conjectures in Knot Theory
    Topology Vol. 26. No. 1. pp. 187-194. I987 oo40-9383,87 53.00 + al Pruned in Great Bmain. c 1987 Pcrgamon Journals Ltd. JONES POLYNOMIALS AND CLASSICAL CONJECTURES IN KNOT THEORY K UNIO M URASUGI (Received 28 Jnnuary 1986) 51. INTRODUCTION AND IMAIN THEOREMS LETL bea tame link in S3 and VL(f) the Jones polynomial of L defined in [Z]. For a projection E of L, c(L) denotes the number of double points in L and c(L) the minimum number of double points among all projections of L. A link projection t is called proper if L does not contain “removable” double points -. like ,<_: or /.+_,\/;‘I . In this paper, we will prove some of the outstanding classical conjectures due to P.G. Tait [7]. THEOREMA. (P. G. Tait Conjecture) Two (connected and proper) alternating projections of an alternating link have the same number of double points. THEOREMB. The minimal projection of an alternating link is alternating. In other words, an alternating link always has an alternating projection that has the minimum number of double points among all projections. Moreover, a non-alternating projection of a prime alternating link cannot be minimal. The primeness is necessary in the last statement ofTheorem B, since the connected sum of two figure eight knots is alternating, but it has a minimal non-alternating projection. Note that the figure eight knot is amphicheiral. Theorems A and B follow easily from Theorems l-4 (stated below) which show strong connections between c(L) and the Jones polynomial Vr(t). Let d maxVL(t) and d,i,v~(t) denote the maximal and minimal degrees of V,(t), respectively, and span V,(t) = d,,, Vr(t) - d,;,VL(t).
    [Show full text]