Introduction to Vassiliev Knot Invariants First Draft. Comments

Total Page:16

File Type:pdf, Size:1020Kb

Introduction to Vassiliev Knot Invariants First Draft. Comments Introduction to Vassiliev Knot Invariants First draft. Comments welcome. July 20, 2010 S. Chmutov S. Duzhin J. Mostovoy The Ohio State University, Mansfield Campus, 1680 Univer- sity Drive, Mansfield, OH 44906, USA E-mail address: [email protected] Steklov Institute of Mathematics, St. Petersburg Division, Fontanka 27, St. Petersburg, 191011, Russia E-mail address: [email protected] Departamento de Matematicas,´ CINVESTAV, Apartado Postal 14-740, C.P. 07000 Mexico,´ D.F. Mexico E-mail address: [email protected] Contents Preface 8 Part 1. Fundamentals Chapter 1. Knots and their relatives 15 1.1. Definitions and examples 15 § 1.2. Isotopy 16 § 1.3. Plane knot diagrams 19 § 1.4. Inverses and mirror images 21 § 1.5. Knot tables 23 § 1.6. Algebra of knots 25 § 1.7. Tangles, string links and braids 25 § 1.8. Variations 30 § Exercises 34 Chapter 2. Knot invariants 39 2.1. Definition and first examples 39 § 2.2. Linking number 40 § 2.3. Conway polynomial 43 § 2.4. Jones polynomial 45 § 2.5. Algebra of knot invariants 47 § 2.6. Quantum invariants 47 § 2.7. Two-variable link polynomials 55 § Exercises 62 3 4 Contents Chapter 3. Finite type invariants 69 3.1. Definition of Vassiliev invariants 69 § 3.2. Algebra of Vassiliev invariants 72 § 3.3. Vassiliev invariants of degrees 0, 1 and 2 76 § 3.4. Chord diagrams 78 § 3.5. Invariants of framed knots 80 § 3.6. Classical knot polynomials as Vassiliev invariants 82 § 3.7. Actuality tables 88 § 3.8. Vassiliev invariants of tangles 91 § Exercises 93 Chapter 4. Chord diagrams 95 4.1. Four- and one-term relations 95 § 4.2. The Fundamental Theorem 98 § 4.3. Bialgebras of knots and Vassiliev knot invariants 100 § 4.4. Bialgebra of chord diagrams 103 § 4.5. Bialgebra of weight systems 108 § 4.6. Primitive elements in fr 111 § A 4.7. Linear chord diagrams 113 § 4.8. Intersection graphs 114 § Exercises 121 Part 2. Diagrammatic Algebras Chapter 5. Jacobi diagrams 127 5.1. Closed Jacobi diagrams 127 § 5.2. IHX and AS relations 130 § 5.3. Isomorphism fr 135 § A ≃C 5.4. Product and coproduct in 137 § C 5.5. Primitive subspace of 138 § C 5.6. Open Jacobi diagrams 141 § 5.7. Linear isomorphism 145 § B≃C 5.8. Relation between and 151 § B C 5.9. The three algebras in small degrees 153 § 5.10. Jacobi diagrams for tangles 154 § 5.11. Horizontal chord diagrams 161 § Exercises 163 Contents 5 Chapter 6. Lie algebra weight systems 167 6.1. Lie algebra weight systems for the algebra fr 167 § A 6.2. Lie algebra weight systems for the algebra 179 § C 6.3. Lie algebra weight systems for the algebra 190 § B 6.4. Lie superalgebra weight systems 196 § Exercises 199 Chapter 7. Algebra of 3-graphs 205 7.1. The space of 3-graphs 206 § 7.2. Edge multiplication 206 § 7.3. Vertex multiplication 211 § 7.4. Action of Γ on the primitive space 213 § P 7.5. Lie algebra weight systems for the algebra Γ 215 § 7.6. Vogel’s algebra Λ 220 § Exercises 223 Part 3. The Kontsevich Integral Chapter 8. The Kontsevich integral 227 8.1. First examples 227 § 8.2. The construction 230 § 8.3. Example of calculation 233 § 8.4. The Kontsevich integral for tangles 236 § 8.5. Convergence of the integral 238 § 8.6. Invariance of the integral 239 § 8.7. Changing the number of critical points 245 § 8.8. Proof of the Kontsevich theorem 246 § 8.9. Symmetries and the group-like property of Z(K) 248 § 8.10. Towards the combinatorial Kontsevich integral 252 § Exercises 254 Chapter 9. Framed knots and cabling operations 259 9.1. Framed version of the Kontsevich integral 259 § 9.2. Cabling operations 263 § 9.3. The Kontsevich integral of a (p,q)-cable 268 § 9.4. Cablings of the Lie algebra weight systems 271 § Exercises 272 6 Contents Chapter 10. The Drinfeld associator 275 10.1. The KZ equation and iterated integrals 275 § 10.2. Calculation of the KZ Drinfeld associator 284 § 10.3. Combinatorial construction of the Kontsevich integral 298 § 10.4. General associators 310 § Exercises 316 Part 4. Other Topics Chapter 11. The Kontsevich integral: advanced features 321 11.1. Mutation 321 § 11.2. Canonical Vassiliev invariants 324 § 11.3. Wheeling 327 § 11.4. The unknot and the Hopf link 339 § 11.5. Rozansky’s rationality conjecture 344 § Exercises 345 Chapter 12. Braids and string links 351 12.1. Basics of the theory of nilpotent groups 352 § 12.2. Vassiliev invariants for free groups 360 § 12.3. Vassiliev invariants of pure braids 363 § 12.4. String links as closures of pure braids 367 § 12.5. Goussarov groups of knots 372 § 12.6. Goussarov groups of string links 376 § 12.7. Braid invariants as string link invariants 380 § Exercises 383 Chapter 13. Gauss diagrams 385 13.1. The Goussarov theorem 385 § 13.2. Canonical actuality tables 396 § 13.3. The Polyak algebra for virtual knots 397 § 13.4. Examples of Gauss diagram formulae 400 § 13.5. The Jones polynomial via Gauss diagrams 407 § Exercises 409 Chapter 14. Miscellany 411 14.1. The Melvin–Morton Conjecture 411 § 14.2. The Goussarov–Habiro theory revisited 419 § Contents 7 14.3. Willerton’s fish and bounds for c and j 427 § 2 3 14.4. Bialgebra of graphs 428 § 14.5. Estimates for the number of Vassiliev knot invariants 432 § Exercises 440 Chapter 15. The space of all knots 443 15.1. The space of all knots 444 § 15.2. Complements of discriminants 446 § 15.3. The space of singular knots and Vassiliev invariants 452 § 15.4. Topology of the diagram complex 456 § 15.5. Homology of the space of knots and Poisson algebras 462 § Appendix 465 A.1. Lie algebras and their representations 465 § A.2. Bialgebras and Hopf algebras 473 § A.3. Free algebras and free Lie algebras 487 § Bibliography 491 Notations 505 Index 509 8 Contents Preface This book is a detailed introduction to the theory of finite type (Vassiliev) knot invariants, with a stress on its combinatorial aspects. It is intended to serve both as a textbook for readers with no or little background in this area, and as a guide to some of the more advanced material. Our aim is to lead the reader to understanding by means of pictures and calculations, and for this reason we often prefer to convey the idea of the proof on an instructive example rather than give a complete argument. While we have made an effort to make the text reasonably self-contained, an advanced reader is sometimes referred to the original papers for the technical details of the proofs. Historical remarks. The notion of a finite type knot invariant was in- troduced by Victor Vassiliev (Moscow) in the end of the 1980’s and first appeared in print in his paper [Va1] (1990). Vassiliev, at the time, was not specifically interested in low-dimensional topology. His main concern was the general theory of discriminants in the spaces of smooth maps, and his description of the space of knots was just one, though the most spectacu- lar, application of a machinery that worked in many seemingly unrelated contexts. It was V. I. Arnold [Ar2] who understood the importance of fi- nite type invariants, coined the name “Vassiliev invariants” and popularized the concept; since that time, the term “Vassiliev invariants” has become standard. A different perspective on the finite type invariants was developed by Mikhail Goussarov (St. Petersburg). His notion of n-equivalence, which first appeared in print in [G2] (1993), turned out to be useful in different situa- tions, for example, in the study of the finite type invariants of 3-manifolds.1 Nowadays some people use the expression “Vassiliev-Goussarov invariants” for the finite type invariants. Vassiliev’s definition of finite type invariants is based on the observation that knots form a topological space and the knot invariants can be thought of as the locally constant functions on this space. Indeed, the space of knots is an open subspace of the space M of all smooth maps from S1 to R3; its complement is the so-called discriminant Σ which consists of all maps that fail to be embeddings. Two knots are isotopic if and only if they can be connected in M by a path that does not cross Σ. 1Goussarov cites Vassiliev’s works in his earliest paper [G1]. Nevertheless, according to O. Viro, Goussarov first mentioned finite type invariants in a talk at the Leningrad topological seminar as early as in 1987. Preface 9 Using simplical resolutions, Vassiliev constructs a spectral sequence for the homology of Σ. After applying the Alexander duality this spectral se- quence produces cohomology classes for the space of knots M Σ; in di- − mension zero these are precisely the Vassiliev knot invariants. Vassiliev’s approach, which is technically rather demanding, was sim- plified by J. Birman and X.-S. Lin in [BL]. They explained the relation between the Jones polynomial and finite type invariants and emphasized the role of the algebra of chord diagrams. M. Kontsevich showed that the study of real-valued Vassiliev invariants can, in fact, be reduced entirely to the combinatorics of chord diagrams [Kon1]. His proof used an ana- lytic tool (the Kontsevich integral) which may be thought of as a powerful generalization of the Gauss linking formula. D. Bar-Natan was the first to give a comprehensive treatment of Vassiliev knot and link invariants. In his preprint [BN0] and PhD thesis [BNt] he found the relationship between finite type invariants and the topological quantum field theory developed by his thesis advisor E.
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]
  • Finite Type Invariants for Knots 3-Manifolds
    Pergamon Topology Vol. 37, No. 3. PP. 673-707, 1998 ~2 1997 Elsevier Science Ltd Printed in Great Britain. All rights reserved 0040-9383/97519.00 + 0.00 PII: soo4o-9383(97)00034-7 FINITE TYPE INVARIANTS FOR KNOTS IN 3-MANIFOLDS EFSTRATIA KALFAGIANNI + (Received 5 November 1993; in revised form 4 October 1995; final version 16 February 1997) We use the Jaco-Shalen and Johannson theory of the characteristic submanifold and the Torus theorem (Gabai, Casson-Jungreis)_ to develop an intrinsic finite tvne__ theory for knots in irreducible 3-manifolds. We also establish a relation between finite type knot invariants in 3-manifolds and these in R3. As an application we obtain the existence of non-trivial finite type invariants for knots in irreducible 3-manifolds. 0 1997 Elsevier Science Ltd. All rights reserved 0. INTRODUCTION The theory of quantum groups gives a systematic way of producing families of polynomial invariants, for knots and links in [w3 or S3 (see for example [18,24]). In particular, the Jones polynomial [12] and its generalizations [6,13], can be obtained that way. All these Jones-type invariants are defined as state models on a knot diagram or as traces of a braid group representation. On the other hand Vassiliev [25,26], introduced vast families of numerical knot invariants (Jinite type invariants), by studying the topology of the space of knots in [w3. The compu- tation of these invariants, involves in an essential way the computation of related invariants for special knotted graphs (singular knots). It is known [l-3], that after a suitable change of variable the coefficients of the power series expansions of the Jones-type invariants, are of Jinite type.
    [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]
  • 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]
  • Finite Type Invariants of W-Knotted Objects Iii: the Double Tree Construction
    FINITE TYPE INVARIANTS OF W-KNOTTED OBJECTS III: THE DOUBLE TREE CONSTRUCTION DROR BAR-NATAN AND ZSUZSANNA DANCSO Abstract. This is the third in a series of papers studying the finite type invariants of various w-knotted objects and their relationship to the Kashiwara-Vergne problem and Drinfel’d associators. In this paper we present a topological solution to the Kashiwara- Vergne problem.AlekseevEnriquezTorossian:ExplicitSolutions In particular we recover via a topological argument the Alkeseev-Enriquez- Torossian [AET] formula for explicit solutions of the Kashiwara-Vergne equations in terms of associators. We study a class of w-knotted objects: knottings of 2-dimensional foams and various associated features in four-dimensioanl space. We use a topological construction which we name the double tree construction to show that every expansion (also known as universal fi- nite type invariant) of parenthesized braids extends first to an expansion of knotted trivalent graphs (a well known result), and then extends uniquely to an expansion of the w-knotted objects mentioned above. In algebraic language, an expansion for parenthesized braids is the same as a Drin- fel’d associator Φ, and an expansion for the aforementionedKashiwaraVergne:Conjecture w-knotted objects is the same as a solutionAlekseevTorossian:KashiwaraVergneV of the Kashiwara-Vergne problem [KV] as reformulated by AlekseevAlekseevEnriquezTorossian:E and Torossian [AT]. Hence our result provides a topological framework for the result of [AET] that “there is a formula for V in terms of Φ”, along with an independent topological proof that the said formula works — namely that the equations satisfied by V follow from the equations satisfied by Φ.
    [Show full text]
  • Computing the Writhing Number of a Polygonal Knot
    Computing the Writhing Number of a Polygonal Knot ¡ ¡£¢ ¡ Pankaj K. Agarwal Herbert Edelsbrunner Yusu Wang Abstract Here the linking number, , is half the signed number of crossings between the two boundary curves of the ribbon, The writhing number measures the global geometry of a and the twisting number, , is half the average signed num- closed space curve or knot. We show that this measure is ber of local crossing between the two curves. The non-local related to the average winding number of its Gauss map. Us- crossings between the two curves correspond to crossings ing this relationship, we give an algorithm for computing the of the ribbon axis, which are counted by the writhing num- ¤ writhing number for a polygonal knot with edges in time ber, . A small subset of the mathematical literature on ¥§¦ ¨ roughly proportional to ¤ . We also implement a different, the subject can be found in [3, 20]. Besides the mathemat- simple algorithm and provide experimental evidence for its ical interest, the White Formula and the writhing number practical efficiency. have received attention both in physics and in biochemistry [17, 23, 26, 30]. For example, they are relevant in under- standing various geometric conformations we find for circu- 1 Introduction lar DNA in solution, as illustrated in Figure 1 taken from [7]. By representing DNA as a ribbon, the writhing number of its The writhing number is an attempt to capture the physical phenomenon that a cord tends to form loops and coils when it is twisted. We model the cord by a knot, which we define to be an oriented closed curve in three-dimensional space.
    [Show full text]
  • Dehn Filling of the “Magic” 3-Manifold
    communications in analysis and geometry Volume 14, Number 5, 969–1026, 2006 Dehn filling of the “magic” 3-manifold Bruno Martelli and Carlo Petronio We classify all the non-hyperbolic Dehn fillings of the complement of the chain link with three components, conjectured to be the smallest hyperbolic 3-manifold with three cusps. We deduce the classification of all non-hyperbolic Dehn fillings of infinitely many one-cusped and two-cusped hyperbolic manifolds, including most of those with smallest known volume. Among other consequences of this classification, we mention the following: • for every integer n, we can prove that there are infinitely many hyperbolic knots in S3 having exceptional surgeries {n, n +1, n +2,n+3}, with n +1,n+ 2 giving small Seifert manifolds and n, n + 3 giving toroidal manifolds. • we exhibit a two-cusped hyperbolic manifold that contains a pair of inequivalent knots having homeomorphic complements. • we exhibit a chiral 3-manifold containing a pair of inequivalent hyperbolic knots with orientation-preservingly homeomorphic complements. • we give explicit lower bounds for the maximal distance between small Seifert fillings and any other kind of exceptional filling. 0. Introduction We study in this paper the Dehn fillings of the complement N of the chain link with three components in S3, shown in figure 1. The hyperbolic structure of N was first constructed by Thurston in his notes [28], and it was also noted there that the volume of N is particularly small. The relevance of N to three-dimensional topology comes from the fact that by filling N, one gets most of the hyperbolic manifolds known and most of the interesting non-hyperbolic fillings of cusped hyperbolic manifolds.
    [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]
  • 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]
  • Hyperbolic Structures from Link Diagrams
    University of Tennessee, Knoxville TRACE: Tennessee Research and Creative Exchange Doctoral Dissertations Graduate School 5-2012 Hyperbolic Structures from Link Diagrams Anastasiia Tsvietkova [email protected] Follow this and additional works at: https://trace.tennessee.edu/utk_graddiss Part of the Geometry and Topology Commons Recommended Citation Tsvietkova, Anastasiia, "Hyperbolic Structures from Link Diagrams. " PhD diss., University of Tennessee, 2012. https://trace.tennessee.edu/utk_graddiss/1361 This Dissertation is brought to you for free and open access by the Graduate School at TRACE: Tennessee Research and Creative Exchange. It has been accepted for inclusion in Doctoral Dissertations by an authorized administrator of TRACE: Tennessee Research and Creative Exchange. For more information, please contact [email protected]. To the Graduate Council: I am submitting herewith a dissertation written by Anastasiia Tsvietkova entitled "Hyperbolic Structures from Link Diagrams." I have examined the final electronic copy of this dissertation for form and content and recommend that it be accepted in partial fulfillment of the equirr ements for the degree of Doctor of Philosophy, with a major in Mathematics. Morwen B. Thistlethwaite, Major Professor We have read this dissertation and recommend its acceptance: Conrad P. Plaut, James Conant, Michael Berry Accepted for the Council: Carolyn R. Hodges Vice Provost and Dean of the Graduate School (Original signatures are on file with official studentecor r ds.) Hyperbolic Structures from Link Diagrams A Dissertation Presented for the Doctor of Philosophy Degree The University of Tennessee, Knoxville Anastasiia Tsvietkova May 2012 Copyright ©2012 by Anastasiia Tsvietkova. All rights reserved. ii Acknowledgements I am deeply thankful to Morwen Thistlethwaite, whose thoughtful guidance and generous advice made this research possible.
    [Show full text]