CALIFORNIA STATE UNIVERSITY, NORTHRIDGE P-Coloring Of

Total Page:16

File Type:pdf, Size:1020Kb

CALIFORNIA STATE UNIVERSITY, NORTHRIDGE P-Coloring Of CALIFORNIA STATE UNIVERSITY, NORTHRIDGE P-Coloring of Pretzel Knots A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science in Mathematics By Robert Ostrander December 2013 The thesis of Robert Ostrander is approved: |||||||||||||||||| |||||||| Dr. Alberto Candel Date |||||||||||||||||| |||||||| Dr. Terry Fuller Date |||||||||||||||||| |||||||| Dr. Magnhild Lien, Chair Date California State University, Northridge ii Dedications I dedicate this thesis to my family and friends for all the help and support they have given me. iii Acknowledgments iv Table of Contents Signature Page ii Dedications iii Acknowledgements iv Abstract vi Introduction 1 1 Definitions and Background 2 1.1 Knots . .2 1.1.1 Composition of knots . .4 1.1.2 Links . .5 1.1.3 Torus Knots . .6 1.1.4 Reidemeister Moves . .7 2 Properties of Knots 9 2.0.5 Knot Invariants . .9 3 p-Coloring of Pretzel Knots 19 3.0.6 Pretzel Knots . 19 3.0.7 (p1, p2, p3) Pretzel Knots . 23 3.0.8 Applications of Theorem 6 . 30 3.0.9 (p1, p2, p3, p4) Pretzel Knots . 31 Appendix 49 v Abstract P coloring of Pretzel Knots by Robert Ostrander Master of Science in Mathematics In this thesis we give a brief introduction to knot theory. We define knot invariants and give examples of different types of knot invariants which can be used to distinguish knots. We look at colorability of knots and generalize this to p-colorability. We focus on 3-strand pretzel knots and apply techniques of linear algebra to prove theorems about p-colorability of these knots. Lastly, we use the same techniques to prove similar results for 4-strand pretzel knots. vi Introduction In Chapter 1 we talk about basic concepts of knots and their definitions. We define knots both intuitively and mathematically and show how knots can be represented as projections onto a plane. In this thesis, we represent knots by their diagrams which are projections with added information at each crossing. We introduce the idea of "adding" two knots and from that define a prime knot. Also we define links and how they relate to knots. We describe specific types of knots, such as torus knots. Finally we define Reidemeister moves and describe how to apply them to knot diagrams. In Chapter 2 we define knot invariants, which are properties of knots. We ex- plain how to prove a property is a knot invariant. We introduce several types of knot invariants, including the crossing number of a knot, and the Alexander Polynomial. The focus of this chapter is to look at colorability of knots and showing that this is a knot invariant. We also give examples of how to compute certain invariants for specific knots. In Chapter 3 we define tangles and the addition of tangles. We define pretzel knots and look at their properties. We give examples of pretzel knots and apply previous definitions to this class of knots. We prove theorems on the equivalence of pretzel knots. We also find simple ways to work with knot invariants on pretzel knots. Finally we prove theorems about p-colorability of pretzel knots. 1 Chapter 1 Definitions and Background 1.1 Knots A mathematical knot is much like the concept of a knotted rope with both ends fused together. This definition gives us a very intuitive idea of what we are dealing with but in order to make a more accurate definition we use various topological definitions. First we introduce the idea of a homeomorphism in order to properly define a knot. This allows us to give a mathematical foundation to the intuitive explanation behind a knot. Definition 1 (Homeomorphism) A homeomorphism is a continuous bijection such that its inverse is continuous. Definition 2 (Knot) A Knot is a homeomorphic image of S1 in R3 Given two knots it is important to be able to distinguish the knots. This is the major focus of this paper. From the definition of homomorphism we give a unique name to the knot that is formed from the identity on S1, we call it the unknot. Next we expand upon the idea of two knots being the same. Definition 3 ( Ambient Isotopy) An Ambient Isotopy is a continuous distortion in 3 R . Given knots K1 and K2, an ambient isotopy from K1 to K2 is a continuous 3 3 function F: R X [0,1] ! R such that F(K1, 0) = K1 and F(K1, 1) = K2 and 8 t 2 [0,1] Ft is a homeomorphism. Definition 4 (Knot Equivalence) Two Knots are equivalent if there is an ambient isotopy between the two knots. When examining knots it is difficult to deal with the embedding of the knot in R3. In order to simplify this problem we look at the projection of a knot onto a plane. This can lead to a few problems which can be solved by rotating the original knot slightly. The figure below illustrates one of the problems and a solution when projecting a knot onto a plane. 2 Also, when projecting onto a plane important information about the knot is lost. After projecting onto a plane the over-crossing and under-crossing can not be distin- guished. We modify the projection slightly in order to retain this information. In order to accomplish this we remove a portion of the under-crossing so that it can be distinguished from the over-crossing. This is further illustrated in the figure below. Definition 5 (Knot Diagram) Given a knot, any projection onto the plane such that there is at most double points and at each crossing part of the under crossing is removed is called a knot diagram. Once we have a knot diagram we can orient the knot. This involves choosing a di- rection to go around the knot. It is easy to see that given a knot there are only two possible orientations for it. The figures below shows the two possible types of crossing for an oriented knot, the right-hand and left-hand crossings. Right-handed crossing Left-handed crossing 3 Example 1 The figures below are two diagrams of the trefoil knot. The trefoil knot is the only non-trivial knot that can be represented as a three crossing knot. The example above shows the trefoil knot and its mirror image. At first glance it is hard to see that they are different knots and harder to prove that they are not equivalent knots. A knot that is not equivalent to its mirror image is called a chiral knot, otherwise it is achiral. A knot is called invertible if given both possible orientations of a knot, they are equivalent. 1.1.1 Composition of knots If you have knot diagrams of two knots it is possible to define the composition of the two knots. After removing a small arc from each knot and connect each endpoint to an endpoint on the other knot we obtain a new knot. The standard notation for the composition of two knots K1 and K2 is K1 # K2. We assume that the arc chosen on each knot is on the outermost strand for each so that no new crossings are formed. This is illustrated in the figure below. K1 K2 K1#K2 4 If you cannot express a knot as the composition of two nontrivial knots it is called a prime knot. A non-prime knot is called a composite knot. This leads to the ques- tion can you ever get the trivial knot from the composition of two non trivial knots? This is an important question because if it was possible then every knot would be a composite knot which would remove the usefulness of this definition. It can be shown that the composition of two non-trivial knots can not be the unknot. Hence the set of knots is not a group under the operation #. This is outside the scope of this paper so we will take it as fact. Also note that all of the knots in the table at the end of this paper are prime knots. As one would think, the idea of prime knots parallels the idea of prime numbers and as with positive integers we can factor composite knots into the composition of prime knots. Unlike integers we can not say that composing two knots two different ways will give us the same knot. In order to fix this we will first need to give both knots an orientation. Given two oriented knots, removing a small arc from both knots and connecting them in such a way that the orientation of the two knots match will always give us the same knot. This leads to the idea that given two knots if one of the knots is invertible then the composition of them will always be the same knot[1]. 1.1.2 Links Thinking of knots as closed curves in R3 we can also think of multiple knots in R3. An n-component link is a set of n homeomorphic images of S1 in R3 such that none of them intersect each other. Note that a knot is a one-component link. A link is called splittable if the components of a link can be deformed so that they are on different sides of a plane in R3. A link is called Brunnian if the link itself is nontrivial, but if any of the components are taken away you get the trivial unlink. Definition 6 (Unlink) A link is said to be the un-link of n components if it is split- table and each individual component is equivalent to the unknot.
Recommended publications
  • Complete Invariant Graphs of Alternating Knots
    Complete invariant graphs of alternating knots Christian Soulié First submission: April 2004 (revision 1) Abstract : Chord diagrams and related enlacement graphs of alternating knots are enhanced to obtain complete invariant graphs including chirality detection. Moreover, the equivalence by common enlacement graph is specified and the neighborhood graph is defined for general purpose and for special application to the knots. I - Introduction : Chord diagrams are enhanced to integrate the state sum of all flype moves and then produce an invariant graph for alternating knots. By adding local writhe attribute to these graphs, chiral types of knots are distinguished. The resulting chord-weighted graph is a complete invariant of alternating knots. Condensed chord diagrams and condensed enlacement graphs are introduced and a new type of graph of general purpose is defined : the neighborhood graph. The enlacement graph is enriched by local writhe and chord orientation. Hence this enhanced graph distinguishes mutant alternating knots. As invariant by flype it is also invariant for all alternating knots. The equivalence class of knots with the same enlacement graph is fully specified and extended mutation with flype of tangles is defined. On this way, two enhanced graphs are proposed as complete invariants of alternating knots. I - Introduction II - Definitions and condensed graphs II-1 Knots II-2 Sign of crossing points II-3 Chord diagrams II-4 Enlacement graphs II-5 Condensed graphs III - Realizability and construction III - 1 Realizability
    [Show full text]
  • On Spectral Sequences from Khovanov Homology 11
    ON SPECTRAL SEQUENCES FROM KHOVANOV HOMOLOGY ANDREW LOBB RAPHAEL ZENTNER Abstract. There are a number of homological knot invariants, each satis- fying an unoriented skein exact sequence, which can be realized as the limit page of a spectral sequence starting at a version of the Khovanov chain com- plex. Compositions of elementary 1-handle movie moves induce a morphism of spectral sequences. These morphisms remain unexploited in the literature, perhaps because there is still an open question concerning the naturality of maps induced by general movies. In this paper we focus on the spectral sequences due to Kronheimer-Mrowka from Khovanov homology to instanton knot Floer homology, and on that due to Ozsv´ath-Szab´oto the Heegaard-Floer homology of the branched double cover. For example, we use the 1-handle morphisms to give new information about the filtrations on the instanton knot Floer homology of the (4; 5)-torus knot, determining these up to an ambiguity in a pair of degrees; to deter- mine the Ozsv´ath-Szab´ospectral sequence for an infinite class of prime knots; and to show that higher differentials of both the Kronheimer-Mrowka and the Ozsv´ath-Szab´ospectral sequences necessarily lower the delta grading for all pretzel knots. 1. Introduction Recent work in the area of the 3-manifold invariants called knot homologies has il- luminated the relationship between Floer-theoretic knot homologies and `quantum' knot homologies. The relationships observed take the form of spectral sequences starting with a quantum invariant and abutting to a Floer invariant. A primary ex- ample is due to Ozsv´athand Szab´o[15] in which a spectral sequence is constructed from Khovanov homology of a knot (with Z=2 coefficients) to the Heegaard-Floer homology of the 3-manifold obtained as double branched cover over the knot.
    [Show full text]
  • Deep Learning the Hyperbolic Volume of a Knot Arxiv:1902.05547V3 [Hep-Th] 16 Sep 2019
    Deep Learning the Hyperbolic Volume of a Knot Vishnu Jejjalaa;b , Arjun Karb , Onkar Parrikarb aMandelstam Institute for Theoretical Physics, School of Physics, NITheP, and CoE-MaSS, University of the Witwatersrand, Johannesburg, WITS 2050, South Africa bDavid Rittenhouse Laboratory, University of Pennsylvania, 209 S 33rd Street, Philadelphia, PA 19104, USA E-mail: [email protected], [email protected], [email protected] Abstract: An important conjecture in knot theory relates the large-N, double scaling limit of the colored Jones polynomial JK;N (q) of a knot K to the hyperbolic volume of the knot complement, Vol(K). A less studied question is whether Vol(K) can be recovered directly from the original Jones polynomial (N = 2). In this report we use a deep neural network to approximate Vol(K) from the Jones polynomial. Our network is robust and correctly predicts the volume with 97:6% accuracy when training on 10% of the data. This points to the existence of a more direct connection between the hyperbolic volume and the Jones polynomial. arXiv:1902.05547v3 [hep-th] 16 Sep 2019 Contents 1 Introduction1 2 Setup and Result3 3 Discussion7 A Overview of knot invariants9 B Neural networks 10 B.1 Details of the network 12 C Other experiments 14 1 Introduction Identifying patterns in data enables us to formulate questions that can lead to exact results. Since many of these patterns are subtle, machine learning has emerged as a useful tool in discovering these relationships. In this work, we apply this idea to invariants in knot theory.
    [Show full text]
  • THE JONES SLOPES of a KNOT Contents 1. Introduction 1 1.1. The
    THE JONES SLOPES OF A KNOT STAVROS GAROUFALIDIS Abstract. The paper introduces the Slope Conjecture which relates the degree of the Jones polynomial of a knot and its parallels with the slopes of incompressible surfaces in the knot complement. More precisely, we introduce two knot invariants, the Jones slopes (a finite set of rational numbers) and the Jones period (a natural number) of a knot in 3-space. We formulate a number of conjectures for these invariants and verify them by explicit computations for the class of alternating knots, the knots with at most 9 crossings, the torus knots and the (−2, 3,n) pretzel knots. Contents 1. Introduction 1 1.1. The degree of the Jones polynomial and incompressible surfaces 1 1.2. The degree of the colored Jones function is a quadratic quasi-polynomial 3 1.3. q-holonomic functions and quadratic quasi-polynomials 3 1.4. The Jones slopes and the Jones period of a knot 4 1.5. The symmetrized Jones slopes and the signature of a knot 5 1.6. Plan of the proof 7 2. Future directions 7 3. The Jones slopes and the Jones period of an alternating knot 8 4. Computing the Jones slopes and the Jones period of a knot 10 4.1. Some lemmas on quasi-polynomials 10 4.2. Computing the colored Jones function of a knot 11 4.3. Guessing the colored Jones function of a knot 11 4.4. A summary of non-alternating knots 12 4.5. The 8-crossing non-alternating knots 13 4.6.
    [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]
  • A Symmetry Motivated Link Table
    Preprints (www.preprints.org) | NOT PEER-REVIEWED | Posted: 15 August 2018 doi:10.20944/preprints201808.0265.v1 Peer-reviewed version available at Symmetry 2018, 10, 604; doi:10.3390/sym10110604 Article A Symmetry Motivated Link Table Shawn Witte1, Michelle Flanner2 and Mariel Vazquez1,2 1 UC Davis Mathematics 2 UC Davis Microbiology and Molecular Genetics * Correspondence: [email protected] Abstract: Proper identification of oriented knots and 2-component links requires a precise link 1 nomenclature. Motivated by questions arising in DNA topology, this study aims to produce a 2 nomenclature unambiguous with respect to link symmetries. For knots, this involves distinguishing 3 a knot type from its mirror image. In the case of 2-component links, there are up to sixteen possible 4 symmetry types for each topology. The study revisits the methods previously used to disambiguate 5 chiral knots and extends them to oriented 2-component links with up to nine crossings. Monte Carlo 6 simulations are used to report on writhe, a geometric indicator of chirality. There are ninety-two 7 prime 2-component links with up to nine crossings. Guided by geometrical data, linking number and 8 the symmetry groups of 2-component links, a canonical link diagram for each link type is proposed. 9 2 2 2 2 2 2 All diagrams but six were unambiguously chosen (815, 95, 934, 935, 939, and 941). We include complete 10 tables for prime knots with up to ten crossings and prime links with up to nine crossings. We also 11 prove a result on the behavior of the writhe under local lattice moves.
    [Show full text]
  • Knot Theory: an Introduction
    Knot theory: an introduction Zhen Huan Center for Mathematical Sciences Huazhong University of Science and Technology USTC, December 25, 2019 Knots in daily life Shoelace Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 2 / 40 Knots in daily life Braids Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 3 / 40 Knots in daily life Knot bread Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 4 / 40 Knots in daily life German bread: the pretzel Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 5 / 40 Knots in daily life Rope Mat Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 6 / 40 Knots in daily life Chinese Knots Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 7 / 40 Knots in daily life Knot bracelet Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 8 / 40 Knots in daily life Knitting Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 9 / 40 Knots in daily life More Knitting Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 10 / 40 Knots in daily life DNA Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 11 / 40 Knots in daily life Wire Mess Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 12 / 40 History of Knots Chinese talking knots (knotted strings) Inca Quipu Zhen Huan (HUST) Knot theory: an introduction USTC, December 25, 2019 13 / 40 History of Knots Endless Knot in Buddhism Zhen Huan (HUST) Knot theory: an introduction
    [Show full text]
  • Knots: a Handout for Mathcircles
    Knots: a handout for mathcircles Mladen Bestvina February 2003 1 Knots Informally, a knot is a knotted loop of string. You can create one easily enough in one of the following ways: • Take an extension cord, tie a knot in it, and then plug one end into the other. • Let your cat play with a ball of yarn for a while. Then find the two ends (good luck!) and tie them together. This is usually a very complicated knot. • Draw a diagram such as those pictured below. Such a diagram is a called a knot diagram or a knot projection. Trefoil and the figure 8 knot 1 The above two knots are the world's simplest knots. At the end of the handout you can see many more pictures of knots (from Robert Scharein's web site). The same picture contains many links as well. A link consists of several loops of string. Some links are so famous that they have names. For 2 2 3 example, 21 is the Hopf link, 51 is the Whitehead link, and 62 are the Bor- romean rings. They have the feature that individual strings (or components in mathematical parlance) are untangled (or unknotted) but you can't pull the strings apart without cutting. A bit of terminology: A crossing is a place where the knot crosses itself. The first number in knot's \name" is the number of crossings. Can you figure out the meaning of the other number(s)? 2 Reidemeister moves There are many knot diagrams representing the same knot. For example, both diagrams below represent the unknot.
    [Show full text]
  • The Multivariable Alexander Polynomial on Tangles by Jana
    The Multivariable Alexander Polynomial on Tangles by Jana Archibald A thesis submitted in conformity with the requirements for the degree of Doctor of Philosophy Graduate Department of Mathematics University of Toronto Copyright c 2010 by Jana Archibald Abstract The Multivariable Alexander Polynomial on Tangles Jana Archibald Doctor of Philosophy Graduate Department of Mathematics University of Toronto 2010 The multivariable Alexander polynomial (MVA) is a classical invariant of knots and links. We give an extension to regular virtual knots which has simple versions of many of the relations known to hold for the classical invariant. By following the previous proofs that the MVA is of finite type we give a new definition for its weight system which can be computed as the determinant of a matrix created from local information. This is an improvement on previous definitions as it is directly computable (not defined recursively) and is computable in polynomial time. We also show that our extension to virtual knots is a finite type invariant of virtual knots. We further explore how the multivariable Alexander polynomial takes local infor- mation and packages it together to form a global knot invariant, which leads us to an extension to tangles. To define this invariant we use so-called circuit algebras, an exten- sion of planar algebras which are the ‘right’ setting to discuss virtual knots. Our tangle invariant is a circuit algebra morphism, and so behaves well under tangle operations and gives yet another definition for the Alexander polynomial. The MVA and the single variable Alexander polynomial are known to satisfy a number of relations, each of which has a proof relying on different approaches and techniques.
    [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]
  • Categorified Invariants and the Braid Group
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 143, Number 7, July 2015, Pages 2801–2814 S 0002-9939(2015)12482-3 Article electronically published on February 26, 2015 CATEGORIFIED INVARIANTS AND THE BRAID GROUP JOHN A. BALDWIN AND J. ELISENDA GRIGSBY (Communicated by Daniel Ruberman) Abstract. We investigate two “categorified” braid conjugacy class invariants, one coming from Khovanov homology and the other from Heegaard Floer ho- mology. We prove that each yields a solution to the word problem but not the conjugacy problem in the braid group. In particular, our proof in the Khovanov case is completely combinatorial. 1. Introduction Recall that the n-strand braid group Bn admits the presentation σiσj = σj σi if |i − j|≥2, Bn = σ1,...,σn−1 , σiσj σi = σjσiσj if |i − j| =1 where σi corresponds to a positive half twist between the ith and (i + 1)st strands. Given a word w in the generators σ1,...,σn−1 and their inverses, we will denote by σ(w) the corresponding braid in Bn. Also, we will write σ ∼ σ if σ and σ are conjugate elements of Bn. As with any group described in terms of generators and relations, it is natural to look for combinatorial solutions to the word and conjugacy problems for the braid group: (1) Word problem: Given words w, w as above, is σ(w)=σ(w)? (2) Conjugacy problem: Given words w, w as above, is σ(w) ∼ σ(w)? The fastest known algorithms for solving Problems (1) and (2) exploit the Gar- side structure(s) of the braid group (cf.
    [Show full text]
  • Coefficients of Homfly Polynomial and Kauffman Polynomial Are Not Finite Type Invariants
    COEFFICIENTS OF HOMFLY POLYNOMIAL AND KAUFFMAN POLYNOMIAL ARE NOT FINITE TYPE INVARIANTS GYO TAEK JIN AND JUNG HOON LEE Abstract. We show that the integer-valued knot invariants appearing as the nontrivial coe±cients of the HOMFLY polynomial, the Kau®man polynomial and the Q-polynomial are not of ¯nite type. 1. Introduction A numerical knot invariant V can be extended to have values on singular knots via the recurrence relation V (K£) = V (K+) ¡ V (K¡) where K£, K+ and K¡ are singular knots which are identical outside a small ball in which they di®er as shown in Figure 1. V is said to be of ¯nite type or a ¯nite type invariant if there is an integer m such that V vanishes for all singular knots with more than m singular double points. If m is the smallest such integer, V is said to be an invariant of order m. q - - - ¡@- @- ¡- K£ K+ K¡ Figure 1 As the following proposition states, every nontrivial coe±cient of the Alexander- Conway polynomial is a ¯nite type invariant [1, 6]. Theorem 1 (Bar-Natan). Let K be a knot and let 2 4 2m rK (z) = 1 + a2(K)z + a4(K)z + ¢ ¢ ¢ + a2m(K)z + ¢ ¢ ¢ be the Alexander-Conway polynomial of K. Then a2m is a ¯nite type invariant of order 2m for any positive integer m. The coe±cients of the Taylor expansion of any quantum polynomial invariant of knots after a suitable change of variable are all ¯nite type invariants [2]. For the Jones polynomial we have Date: October 17, 2000 (561).
    [Show full text]