DOCSLIB.ORG

Problems on Invariants of Knots and 3-Manifolds Preface

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

i Problems on invariants of knots and 3-manifolds Edited by T. Ohtsuki Preface The workshop and seminars on “Invariants of knots and 3-manifolds” was held at Research Institute for Mathematical Sciences, Kyoto University in September 2001. There were 25 talks in the workshop in September 17–21, and there were 27 talks in the seminars in the other weeks of September. Each speaker was requested to give his/her open problems in a short problem session after his/her talk, and many interesting open problems were given and discussed by the speakers and participants in the workshop and the seminars. Contributors of the open problems were also requested to give kind expositions of history, background, significance, and/or importance of the problems. This problem list was made by editing these open problems and such expositions.1 Since the interaction between geometry and mathematical physics in the 1980s, many invariants of knots and 3-manifolds have been discovered and studied. The discovery and analysis of the enormous number of these invariants yielded a new area: the study of invariants of knots and 3-manifolds (from another viewpoint, the study of the sets of knots and 3-manifolds). Recent works have almost completed the topological reconstruction of the invariants derived from the Chern-Simons field theory, which was one of main problems of this area. Further, relations among these invariants have been studied enough well, and these invariants are now well-organized. For the future developments of this area, it might be important to consider various streams of new directions;2 this is a reason why the editor tried to make the problem list expository. The editor hopes this problem list will clarify the present frontier of this area and assist readers when considering future directions. The editor will try to keep up-to-date information on this problem list at his web site.3 If the reader knows a (partial) solution of any problem in this list, please let him4 know it. February, 2003 T. Ohtsuki The logo for the workshop and the seminars was designed by N. Okuda. 1Open problems on the Rozansky-Witten invariant were written in a separate manuscript [349]. Some fundamental problems are quoted from other problem lists such as [188], [220], [262], [285], [286], [388, Pages 571–572]. 2For example, directions related to other areas such as hyperbolic geometry via the volume conjecture and the theory of operator algebras via invariants arising from 6j-symbols. 3http://www.kurims.kyoto-u.ac.jp/~tomotada/proj01/ 4Email address of the editor is: [email protected] eometry & opology onographs, Volume 4 (2002) G T M ii Contents Preface 1 0 Introduction 377 1 Polynomial invariants of knots 380 1.1 TheJonespolynomial ............................ 380 1.1.1 Does the Jones polynomial distinguish the trivial knot? ..... 381 1.1.2 Characterization and interpretation of the Jones polynomial . 382 1.1.3 Numericalexperiments. 387 1.1.4 Categorificationof the Jones polynomial . 390 1.2 TheHOMFLY,Q,andKauffmanpolynomials. 390 1.3 Thevolumeconjecture.. .. .. .. .. .. .. .. .. .. .. .. 393 2 Finite type invariants of knots 398 2.1 TorsionandVassilievinvariants . 399 2.2 Do Vassiliev invariants distinguish knots? . ....... 401 2.3 Can Vassiliev invariants detect other invariants? . .........402 2.4 Vassiliev invariants and crossing numbers . ...... 403 2.5 Dimensions of spaces of Vassiliev invariants . ....... 405 2.6 Milnorinvariants ............................... 408 2.7 Finite type invariants of virtual knots . .. .. 409 2.8 Finite type invariants derived from local moves . ....... 412 2.9 Loopfinitetypeinvariants. 415 2.10 Goussarov-Habirotheoryforknots . 418 2.11Otherproblems................................ 422 3 The Kontsevich invariant 424 3.1 Calculation of the Kontsevich invariant . .. .. 424 3.2 Does the Kontsevich invariant distinguish knots? . ........425 3.3 Characterization and interpretation of the Kontsevich invariant . 425 3.4 The Kontsevich invariant in a finite field . 426 3.5 The Kontsevichinvariant in arrow diagrams . .. .. 427 3.6 The Chern-Simons series of configuration space integrals.........429 3.7 Associators ..................................432 3.8 Graphcohomology .............................. 435 3.9 The loop expansion of the Kontsevich invariant . ...... 437 3.10 The Kontsevich invariant of links in Σ [0, 1]...............443 × eometry & opology onographs, Volume 4 (2002) G T M iii 4 Skein modules 445 4.1 TheKauffmanbracketskeinmodule . 446 4.2 TheHomflyptskeinmodule . 447 4.3 TheKauffmanskeinmodule. 448 4.4 The q-homotopyskeinmodule . 449 4.5 The (4, )skeinmodule........................... 450 ∞ 4.6 Otherproblems................................ 453 5 Quandles 455 5.1 Classificationofquandles . 455 5.2 Representationsofknotquandles . 458 5.3 (Co)homologyofquandles . 459 5.4 Quandlecocycleinvariant . 461 5.5 Quantumquandles .............................. 464 5.6 Rack(co)homology.............................. 465 6 Braid group representations 466 6.1 TheTemperley-Liebalgebra. 466 6.2 TheBuraurepresentation . 467 6.3 TheHeckeandBMWalgebras . 468 6.4 Otherproblems................................ 469 7 Quantum and perturbative invariants of 3-manifolds 471 7.1 Witten-Reshetikhin-Turaev invariants and quantum invariants . 471 7.2 Theasymptoticexpansionconjecture. 474 7.3 Thevolumeconjecture.. .. .. .. .. .. .. .. .. .. .. .. 481 7.4 Quantum hyperbolic invariants of 3-manifolds . ....... 485 7.5 Perturbativeinvariants. 488 8 Topological quantum field theory 493 8.1 Classification and characterization of TQFT’s . ....... 494 8.2 SpinTQFT’s .................................495 8.3 HomotopyQFT’s............................... 496 8.4 GeometricconstructionofTQFT’s . 496 8.5 Half-projective andhomologicalTQFT’s . .. .. 498 9 The state-sum invariants of 3-manifolds derived from 6j -symbols 506 9.1 Monoidal categories, 6j -symbols,andsubfactors . 506 9.2 Turaev-Viro invariants and the state-sum invariants derived from monoidal categories508 eometry & opology onographs, Volume 4 (2002) G T M iv 9.3 The state-sum invariants derived from ribbon categories .........511 9.4 Turaev-Viro-Ocneanuinvariants. 512 10 Casson invariant and finite type invariants of 3-manifolds 514 10.1 CassonandRokhlininvariants . 514 10.2 Finitetypeinvariants . 517 10.2.1 Torsionandfinitetypeinvariants . 518 10.2.2 Do finite type invariants distinguish homology 3-spheres? . 518 10.2.3 Dimensions of spaces of finite type invariants . .. .. 518 10.2.4 Vogel’salgebra . 520 10.2.5 Otherproblems. 522 10.3 Goussarov-Habirotheory. 523 10.3.1 Goussarov-Habiro theory for 3-manifolds . .. .. 523 10.3.2 Goussarov-Habiro theory for spin and spinc 3-manifolds . 525 11 The LMO invariant 527 11.1 CalculationoftheLMOinvariant. 527 11.2 Does the LMO invariant distinguish integral homology 3-spheres? . 527 11.3 Characterization of the image of the LMO invariant . ....... 528 11.4 VariationsoftheLMOinvariant . 528 11.5 RefinementsoftheLMOinvariant . 528 11.6Otherproblems................................ 529 12 Other problems 530 12.1 (Pseudo)Legendrianknotinvariants . .. .. 530 12.2 Knotsandfinitegroups . .. .. .. .. .. .. .. .. .. .. .. 531 12.3 The numbers of 3-, 5-colorings and some local moves . ....... 532 12.4 Knottedtrivalentgraphs. 533 12.5Quantumgroups ............................... 537 12.6Otherproblems................................ 538 Bibliography 543 Index of contributors 567 Index 568 eometry & opology onographs, Volume 4 (2002) G T M ISSN 1464-8997 (on line) 1464-8989 (printed) 377 eometry & opology onographs G T M Volume 4: Invariants of knots and 3-manifolds (Kyoto 2001) Pages 377–572 Problems on invariants of knots and 3-manifolds Edited by T. Ohtsuki Abstract This is a list of open problems on invariants of knots and 3- manifolds with expositions of their history, background, significance, or importance. This list was made by editing open problems given in prob- lem sessions in the workshop and seminars on “Invariants of Knots and 3-Manifolds” held at Kyoto in 2001. AMS Classification 20F36, 57M25, 57M27, 57R56; 13B25, 17B10, 17B37, 18D10, 20C08, 20G42, 22E99, 41A60, 46L37, 57M05, 57M50, 57N10, 57Q10, 81T18, 81T45 Keywords Invariant, knot, 3-manifold, Jones polynomial, Vassiliev in- variant, Kontsevich invariant, skein module, quandle, braid group, quantum invariant, perturbative invariant, topological quantum field theory, state- sum invariant, Casson invariant, finite type invariant, LMO invariant 0 Introduction The study of quantum invariants of links and three-manifolds has a strange status within topology. When it was born, with Jones’ 1984 discovery of his famous polynomial [186], it seemed that the novelty and power of the new invariant would be a wonderful tool with which to resolve some outstanding questions of three-dimensional topology. Over the last 16 years, such hopes have been largely unfulfilled, the only obvious exception being the solution of the Tait conjectures about alternating knots (see for example [281]). This is a disappointment, and particularly so if one expects the role of the quan- tum invariants in mathematics to be the same as that of the classical invariants of three-dimensional topology. Such a comparison misses the point that most of the classical invariants were created specifically in order to distinguish between things; their definitions are mainly intrinsic, and it is therefore clear what kind of topological properties they reflect, and how to attempt to use them to solve topological problems. Chapter 0 was written by J. Roberts. Published
Recommended publications
  • Finite Type Invariants for Knots 3-Manifolds

    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.
  • Tait's Flyping Conjecture for 4-Regular Graphs

    Tait's Flyping Conjecture for 4-Regular Graphs

    CORE Metadata, citation and similar papers at core.ac.uk Provided by Elsevier - Publisher Connector Journal of Combinatorial Theory, Series B 95 (2005) 318–332 www.elsevier.com/locate/jctb Tait’s flyping conjecture for 4-regular graphs Jörg Sawollek Fachbereich Mathematik, Universität Dortmund, 44221 Dortmund, Germany Received 8 July 1998 Available online 19 July 2005 Abstract Tait’s flyping conjecture, stating that two reduced, alternating, prime link diagrams can be connected by a finite sequence of flypes, is extended to reduced, alternating, prime diagrams of 4-regular graphs in S3. The proof of this version of the flyping conjecture is based on the fact that the equivalence classes with respect to ambient isotopy and rigid vertex isotopy of graph embeddings are identical on the class of diagrams considered. © 2005 Elsevier Inc. All rights reserved. Keywords: Knotted graph; Alternating diagram; Flyping conjecture 0. Introduction Very early in the history of knot theory attention has been paid to alternating diagrams of knots and links. At the end of the 19th century Tait [21] stated several famous conjectures on alternating link diagrams that could not be verified for about a century. The conjectures concerning minimal crossing numbers of reduced, alternating link diagrams [15, Theorems A, B] have been proved independently by Thistlethwaite [22], Murasugi [15], and Kauffman [6]. Tait’s flyping conjecture, claiming that two reduced, alternating, prime diagrams of a given link can be connected by a finite sequence of so-called flypes (see [4, p. 311] for Tait’s original terminology), has been shown by Menasco and Thistlethwaite [14], and for a special case, namely, for well-connected diagrams, also by Schrijver [20].
  • Finite Type Invariants of W-Knotted Objects Iii: the Double Tree Construction

    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 Φ.
  • Loop Polynomial of Knots

    Loop Polynomial of Knots

    Geometry & Topology 11 (2007) 1357–1475 1357 On the 2–loop polynomial of knots TOMOTADA OHTSUKI The 2–loop polynomial of a knot is a polynomial characterizing the 2–loop part of the Kontsevich invariant of the knot. An aim of this paper is to give a methodology to calculate the 2–loop polynomial. We introduce Gaussian diagrams to calculate the rational version of the Aarhus integral explicitly, which constructs the 2–loop polynomial, and we develop methodology of calculating Gaussian diagrams showing many basic formulas of them. As a consequence, we obtain an explicit presentation of the 2–loop polynomial for knots of genus 1 in terms of derivatives of the Jones polynomial of the knots. Corresponding to quantum and related invariants of 3–manifolds, we can formulate equivariant invariants of the infinite cyclic covers of knots complements. Among such equivariant invariants, we can regard the 2–loop polynomial of a knot as an “equivariant Casson invariant” of the infinite cyclic cover of the knot complement. As an aspect of an equivariant Casson invariant, we show that the 2–loop polynomial of a knot is presented by using finite type invariants of degree 3 of a spine of a Ä Seifert surface of the knot. By calculating this presentation concretely, we show that the degree of the 2–loop polynomial of a knot is bounded by twice the genus of the knot. This estimate of genus is effective, in particular, for knots with trivial Alexander polynomial, such as the Kinoshita–Terasaka knot and the Conway knot. 57M27; 57M25 Dedicated to Professor Yukio Matsumoto on the occasion of his 60th birthday 1 Introduction The Kontsevich invariant is a very strong invariant of knots, which dominates all quantum invariants and all Vassiliev invariants, and it is expected that the Kontsevich invariant classifies knots.
  • The Kontsevich Integral

    The Kontsevich Integral

    THE KONTSEVICH INTEGRAL S. CHMUTOV, S. DUZHIN 1. Introduction The Kontsevich integral was invented by M. Kontsevich [11] as a tool to prove the fundamental theorem of the theory of finite type (Vassiliev) invariants (see [1, 3]). It provides an invariant exactly as strong as the totality of all Vassiliev knot invariants. The Kontsevich integral is defined for oriented tangles (either framed or unframed) in R3, therefore it is also defined in the particular cases of knots, links and braids. A tangle A braid A link A knot As a starter, we give two examples where simple versions of the Kontsevich in- tegral have a straightforward geometrical meaning. In these examples, as well as in the general construction of the Kontsevich integral, we represent 3-space R3 as the product of a real line R with coordinate t and a complex plane C with complex coordinate z. Example 1. The number of twists in a braid with two strings z1(t) and z2(t) placed in the slice 0 ≤ t ≤ 1 is equal to 1 1 dz − dz z (t) z2 (t) 1 2 . 1 2πi Z0 z1 − z2 Example 2. The linking number of two spatial curves K and K′ can be computed as ′ ′ 1 d(zj(t) − zj(t)) lk(K,K )= εj , 2πi Z z (t) − z′ (t) m<t<M Xj j j where m and M are the minimum and the maximum values of zj (t) zj' (t) t on the link K ∪ K′, j is the index that enumerates all possible ′ choices of a pair of strands of the link as functions zj(t), zj(t) ′ corresponding to K and K , respectively, and εj = ±1 according to the parity of the number of chosen strands that are oriented downwards.
  • Coefficients of Homfly Polynomial and Kauffman Polynomial Are Not Finite Type Invariants

    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).
  • On Finite Type 3-Manifold Invariants Iii: Manifold Weight Systems

    On Finite Type 3-Manifold Invariants Iii: Manifold Weight Systems

    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Pergamon Top&y?. Vol. 37, No. 2, PP. 221.243, 1998 ~2 1997 Elsevw Science Ltd Printed in Great Britain. All rights reserved 0040-9383/97 $19.00 + 0.00 PII: SOO40-9383(97)00028-l ON FINITE TYPE 3-MANIFOLD INVARIANTS III: MANIFOLD WEIGHT SYSTEMS STAVROSGAROUFALIDIS and TOMOTADAOHTSUKI (Received for publication 9 June 1997) The present paper is a continuation of [11,6] devoted to the study of finite type invariants of integral homology 3-spheres. We introduce the notion of manifold weight systems, and show that type m invariants of integral homology 3-spheres are determined (modulo invariants of type m - 1) by their associated manifold weight systems. In particular, we deduce a vanishing theorem for finite type invariants. We show that the space of manifold weight systems forms a commutative, co-commutative Hopf algebra and that the map from finite type invariants to manifold weight systems is an algebra map. We conclude with better bounds for the graded space of finite type invariants of integral homology 3-spheres. 0 1997 Elsevier Science Ltd. All rights reserved 1. INTRODUCTION 1.1. History The present paper is a continuation of [ll, 63 devoted to the study of finite type invariants of oriented integral homology 3-spheres. There are two main sources of motivation for the present work: (perturbative) Chern-Simons theory in three dimensions, and Vassiliev invariants of knots in S3. Witten [16] in his seminal paper, using path integrals (an infinite dimensional “integra- tion” method) introduced a topological quantum field theory in three dimensions whose Lagrangian was the Chern-Simons function on the space of all connections.
  • Introduction to Vassiliev Knot Invariants First Draft. Comments

    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.
  • Some Remarks on the Chord Index

    Some Remarks on the Chord Index

    Some remarks on the chord index Hongzhu Gao A joint work with Prof. Zhiyun Cheng and Dr. Mengjian Xu Beijing Normal University Novosibirsk State University June 17-21, 2019 1 / 54 Content 1. A brief review on virtual knot theory 2. Two virtual knot invariants derived from the chord index 3. From the viewpoint of finite type invariant 4. Flat virtual knot invariants 2 / 54 A brief review on virtual knot theory Classical knot theory: Knot types=fknot diagramsg/fReidemeister movesg Ω1 Ω2 Ω3 Figure 1: Reidemeister moves Virtual knot theory: Besides over crossing and under crossing, we add another structure to a crossing point: virtual crossing virtual crossing b Figure 2: virtual crossing 3 / 54 A brief review on virtual knot theory Virtual knot types= fall virtual knot diagramsg/fgeneralized Reidemeister movesg Ω1 Ω2 Ω3 Ω10 Ω20 Ω30 s Ω3 Figure 3: generalized Reidemeister moves 4 / 54 A brief review on virtual knot theory Flat virtual knots (or virtual strings by Turaev) can be regarded as virtual knots without over/undercrossing information. More precisely, a flat virtual knot diagram can be obtained from a virtual knot diagram by replacing all real crossing points with flat crossing points. By replacing all real crossing points with flat crossing points in Figure 3 one obtains the flat generalized Reidemeister moves. Then Flat virtual knot types= fall flat virtual knot diagramsg/fflat generalized Reidemeister movesg 5 / 54 A brief review on virtual knot theory Virtual knot theory was introduced by L. Kauffman. Roughly speaking, there are two motivations to extend the classical knot theory to virtual knot theory.
  • The Hyperbolic Volume of Knots from Quantum Dilogarithm

    The Hyperbolic Volume of Knots from Quantum Dilogarithm

    The hyperbolic volume of knots from quantum dilogarithm R.M. Kashaev∗ Laboratoire de Physique Th´eorique enslapp† ENSLyon, 46 All´ee d’Italie, 69007 Lyon, FRANCE E-mail: [email protected] January, 1996 Abstract The invariant of a link in three-sphere, associated with the cyclic quantum dilogarithm, depends on a natural number N. By the analysis of particular examples it is argued that for a hyperbolic knot (link) the absolute value of this invariant grows exponentially at large N, the hyperbolic volume of the knot (link) complement being the growth rate. arXiv:q-alg/9601025v2 25 Mar 1996 ENSLAPP-L-577/96 ∗On leave of absence from St. Petersburg Branch of the Steklov Mathematical Institute, Fontanka 27, St. Petersburg 191011, RUSSIA †URA 14-36 du CNRS, associ´ee `al’E.N.S. de Lyon, au LAPP d’Annecy et `al’Universit`e de Savoie 1 1 Introduction Many known knot and link invariants, including Alexander [1] and Jones [2] polynomials, can be obtained from R-matrices, solutions to the Yang-Baxter equation (YBE) [3, 4]. Remarkably, many R-matrices in turn appear in quantum 3-dimensional Chern-Simons (CS) theory as partition functions of a 3-manifold with boundary, and with properly chosen Wilson lines [8]. The corresponding knot invariant acquires an interpretation in terms of a meanvalue of a Wilson loop. Note, that the quantum CS theory is an example of the topological quantum field theory (TQFT) defined axiomatically in [9]. Thurston in his theory of hyperbolic 3-manifolds [5] introduces the notion of a hyperbolic knot: a knot that has a complement that can be given a metric of negative constant curvature.
  • The Alexander Polynomial and Finite Type 3-Manifold Invariants 3

    The Alexander Polynomial and Finite Type 3-Manifold Invariants 3

    THE ALEXANDER POLYNOMIAL AND FINITE TYPE 3-MANIFOLD INVARIANTS STAVROS GAROUFALIDIS AND NATHAN HABEGGER Abstract. Using elementary counting methods, we calculate the universal perturbative invariant (also known as the LMO invariant) of a 3-manifold M, satisfying H1(M, Z)= Z, in terms of the Alexander polynomial of M. We show that +1 surgery on a knot in the 3-sphere induces an injective map from finite type invariants of integral homology 3-spheres to finite type invariants of knots. We also show that weight systems of degree 2m on knots, obtained by applying finite type 3m invariants of integral homology 3-spheres, lie in the algebra of Alexander-Conway weight systems, thus answering the questions raised in [Ga]. Contents 1. Introduction 1 1.1. History 1 1.2. Statement of the results 2 1.3. Acknowledgment 3 2. Preliminaries 4 2.1. Preliminaries on Chinese characters 4 2.2. The Alexander-Conway polynomial and its weight system 5 2.3. Preliminaries on the LMO invariant 7 3. Proofs 8 References 10 arXiv:q-alg/9708002v2 2 Apr 1998 1. Introduction 1.1. History. In their fundamental paper, T.T.Q. Le, J. Murakami and T. Ohtsuki [LMO] constructed a map ZLMO which associates to every oriented 3-manifold an element of the graded (completed) Hopf algebra A(∅) of trivalent graphs.1 The restriction of this map to the set of oriented integral homology 3-spheres was shown in [Le1] to be the universal finite type invariant of integral homology 3-spheres (i.e., it classifies such invariants). Thus ZLMO is a rich (though not fully understood) invariant of integral homology 3-spheres.
  • Alternating Knots

    Alternating Knots

    ALTERNATING KNOTS WILLIAM W. MENASCO Abstract. This is a short expository article on alternating knots and is to appear in the Concise Encyclopedia of Knot Theory. Introduction Figure 1. P.G. Tait's first knot table where he lists all knot types up to 7 crossings. (From reference [6], courtesy of J. Hoste, M. Thistlethwaite and J. Weeks.) 3 ∼ A knot K ⊂ S is alternating if it has a regular planar diagram DK ⊂ P(= S2) ⊂ S3 such that, when traveling around K , the crossings alternate, over-under- over-under, all the way along K in DK . Figure1 show the first 15 knot types in P. G. Tait's earliest table and each diagram exhibits this alternating pattern. This simple arXiv:1901.00582v1 [math.GT] 3 Jan 2019 definition is very unsatisfying. A knot is alternating if we can draw it as an alternating diagram? There is no mention of any geometric structure. Dissatisfied with this characterization of an alternating knot, Ralph Fox (1913-1973) asked: "What is an alternating knot?" black white white black Figure 2. Going from a black to white region near a crossing. 1 2 WILLIAM W. MENASCO Let's make an initial attempt to address this dissatisfaction by giving a different characterization of an alternating diagram that is immediate from the over-under- over-under characterization. As with all regular planar diagrams of knots in S3, the regions of an alternating diagram can be colored in a checkerboard fashion. Thus, at each crossing (see figure2) we will have \two" white regions and \two" black regions coming together with similarly colored regions being kitty-corner to each other.