DOCSLIB.ORG

FINITE TYPE INVARIANTS 1. Introduction Knots Belong to Sailors and Climbers and Upon Further Reflection, Perhaps Also to Geomete

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
FINITE TYPE INVARIANTS 1. Introduction Knots Belong to Sailors and Climbers and Upon Further Reflection, Perhaps Also to Geomete FINITE TYPE INVARIANTS DROR BAR-NATAN Abstract. This is an overview article on finite type invariants, written for the Encyclopedia of Mathematical Physics. 1. Introduction structure and are deeply related to Lie algebras (Sec- tion 2). There are several constructions for a “univer- Knots belong to sailors and climbers and upon sal finite type invariant” and those are related to con- further reflection, perhaps also to geometers, topolo- formal field theory, the Chern-Simons-Witten topo- gists or combinatorialists. Surprisingly, throughout logical quantum field theory and Drinfel’d’s theory the 1980s it became apparent that knots are also of associators and quasi-Hopf algebras (Section 3). closely related to several other branches of mathe- Finite type invariants have been studied extensively matics in general and mathematical physics in par- (Section 4) and generalized in several directions (Sec- ticular. Many of these connections (though not tion 5). But the first question on finite type invariants all!) factor through the notion of “finite type in- remains unanswered: variants” (aka “Vassiliev” or “Goussarov-Vassiliev” invariants) [Go1, Go2, Va1, Va2, BL, Ko1, BN2]. Problem 2. Honest polynomials are dense in the Let V be an arbitrary invariant of oriented knots space of functions. Are finite type invariants dense in oriented space with values in some Abelian group within the space of all knot invariants? Do they sep- A. Extend V to be an invariant of 1-singular knots, arate knots? knots that may have a single singularity that locally looks like a double point , using the formula In a similar way one may define finite type invari- ants of framed knots (and ask the same questions). (1) V ( ) = V (!) − V ("). 1.1. Acknowledgement. I wish to thank O. Das- m Further extend V to the set K of m-singular knots bach and A. Savage for comments and corrections. (knots with m double points) by repeatedly using (1). Definition 1. We say that V is of type m if its ex- 2. Basic facts tension V |Km+1 to (m + 1)-singular knots vanishes identically. We say that V is of finite type if it is of 2.1. Classical knot polynomials. The first (non type m for some m. trivial!) thing to notice is that there are plenty of fi- nite type invariants and they are at least as powerful Repeated differences are similar to repeated as all the standard knot polynomials1 combined: derivatives and hence it is fair to think of the defi- nition of V |Km as repeated differentiation. With this Theorem 3. [BN2, BL] Let J(K)(q) be the Jones in mind, the above definition imitates the definition polynomial of a knot K (it is a Laurent polynomial of polynomials of degree m. Hence finite type invari- in a variable q). Consider the power series expansion x P∞ m ants can be thought of as “polynomials” on the space J(K)(e ) = m=0 Vm(K)x . Then each coefficient of knots. Vm(K) is a finite type knot invariant. (And thus the As we shall see below, finite type invariants are Jones polynomial can be reconstructed from finite type plenty and powerful and they carry a rich algebraic information). Date: First edition: Aug. 13, 2004. This edition: Nov. 10, 2008 . This work was partially supported by NSERC grant RGPIN 262178. Electronic versions: http://www.math.toronto.edu/ ∼drorbn/papers/EMP/ and arXiv:math.GT/0408182. Copyright is retained by the author. 1Finite type invariants are like polynomials on the space of knots; the standard phrase “knot polynomials” refers to a different thing — knot invariants with polynomial values. 1 2 DROR BAR-NATAN A similar theorem holds for the Alexander- 2.3. The structure of A. Knots can be multiplied Conway, HOMFLY-PT and Kauffman polynomi- (the “connected sum” operation) and knot invariants als [BN2], and indeed, for arbitrary Reshetikhin- can be multiplied. This structure interacts well with Turaev invariants [RT], [Lin1]. Though it is still un- finite type invariants and induces the following struc- known if the signature of a knot can be expressed in ture on Ar and A: terms of its finite type invariants. Theorem 6. [Ko1, BN2, Wil, CDL] Ar and A 2.2. Chord diagrams and the Fundamental are commutative and cocommutative graded bialge- Theorem. The top derivatives of a multi-variable bras (i.e., each carries a commutative product and polynomial form a system of constants that determine a compatible cocommutative coproduct). Thus both r that polynomial up to polynomials of lower³ degree.´ A and A are graded polynomial algebras over their m r r Likewise the mth derivative V (m) := V ··· spaces of primitives, P = ⊕mPm and P = ⊕mPm. of³ a type m´ invariant³ V ´is a³ constant´ (for m m m+1 Framed knots differ from knots only by a single V ··· ! −V ··· " = V ··· = integer parameter (the “self linking”, itself a type 1 0 so V (m) is blind to 3D topology) and likewise V (m) invariant). Thus Pr and P are also closely related. determines V up to invariants of lower type. Hence r a primary tool in the study of finite type invariants Theorem 7. [BN2] P = P ⊕ hθi, where θ is the is the study of the “top derivative” V (m), also known unique 1-chord diagram . as “the weight system of V ”. 2.4. Bounds and computational results. The Blind to 3D topol- 3 following table (taken from [BN2, Kn]) shows the ogy, V (m) only sees the 4 3 number of type m invariants of knots and framed combinatorics of the 2 2 1 knots modulo type m − 1 invariants (dim Ar and circle that parametrizes 1 m 4 dim A ) and the number of multiplicative generators an m-singular knot. On m of the algebra A in degree m (dim P ) for m ≤ 12. this circle there are m pairs of points that are pair- m Some further tabulated results are in [BN5]. wise identified in the image; standardly one indicates those by drawing a circle with m chords marked (an m 0 1 2 3 4 5 6 7 8 9 10 11 12 r “m-chord diagram”) as on the right. dim Am 1 0 1 1 3 4 9 14 27 44 80 132 232 dim Am 1 1 2 3 6 10 19 33 60 104 184 316 548 Definition 4. Let Dm denote the space of all for- dim Pm 0 1 1 1 2 3 5 8 12 18 27 39 55 mal linear combinations with rational coefficients of r Little is known about these dimensions for large m-chord diagrams. Let Am be the quotient of Dm by all 4T and FI relations as drawn below (full details m. There is an explicit conjecture in [Br] but no in e.g. [BN2]), and let Aˆr be the graded completion of progress has been made in the direction of proving or L disproving it. The best asymptotic bounds available A := Ar . Let A , A and Aˆ be the same as Ar , m m m m are: Ar and Aˆr but without imposing the FI relations. √ c m Theorem 8. Forq large m, dim Pm > e (for 4T : FI : 2 any fixed c < π 3 ) [Da, Ko3] and dim Am < m √ 2m Theorem 5. (The Fundamental Theorem) 6 m! m/π [Sto, Za]. • (Easy part, [Va1, Go1, BL]). If V is a rational valued type m invariant then V (m) defines a linear 2.5. Jacobi diagrams and the relation with Lie r (m) algebras. Much of the richness of finite type invari- functional on Am. If in addition V ≡ 0, then V is of type m − 1. ants stems from their relationship with Lie algebras. • (Hard part, [Ko1] and Section 3). For any linear Theorem 9 below suggests this relationship on an ab- r stract level, Theorem 10 makes that relationship con- functional W on Am there is a rational valued type m invariant V so that V (m) = W . crete and Theorem 12 makes it a bit deeper. Thus to a large extent the study of finite type in- Theorem 9. [BN2] The algebra A is isomorphic to variants is reduced to the finite (though super ex- the algebra At generated by “Jacobi diagrams in a r ponential in m) algebraic study of Am. A similar circle” (chord diagrams that are also allowed to have theorem reduces the study of finite type invariants of oriented internal trivalent vertices) modulo the AS, framed knots to the study of Am. ST U and IHX relations. See the figure below. FINITE TYPE INVARIANTS 3 Note that B can be graded (by half the number of vertices in a Jacobi diagram) and that χ respects AS: + =0 degrees so it extends to an isomorphism χ : Bˆ → Aˆ STU: = − of graded completions. IHX: = − 3. Proofs of the Fundamental Theorem A Jacobi diagram in a circle The heart of all known proofs of Theorem 5 is al- Thinking of trivalent vertices as graphical analogs ways a construction of a “universal finite type invari- of the Lie bracket, the AS relation become the anti- ant” (see below); it is simple to show that the exis- commutativity of the bracket, ST U become the equa- tence of a universal finite type invariant is equivalent tion [x, y] = xy − yx and IHX becomes the Jacobi to Theorem 5. identity. This analogy is made concrete within the proof of the following: Definition 13. A universal finite type invariant is a map Z : {knots} → Aˆr whose extension to singular Theorem 10. [BN2] Given a finite dimensional knots satisfies Z(K) = D + (higher degrees) when- metrized Lie algebra g (e.g., any semi-simple Lie al- ever a singular knot K and a chord diagram D are gebra) there is a map T : A → U(g)g defined on A g related as in Section 2.2.
Load more

Recommended publications
  • Experimental Evidence for the Volume Conjecture for the Simplest Hyperbolic Non-2-Bridge Knot Stavros Garoufalidis Yueheng Lan
    ISSN 1472-2739 (on-line) 1472-2747 (printed) 379 Algebraic & Geometric Topology Volume 5 (2005) 379–403 ATG Published: 22 May 2005 Experimental evidence for the Volume Conjecture for the simplest hyperbolic non-2-bridge knot Stavros Garoufalidis Yueheng Lan Abstract Loosely speaking, the Volume Conjecture states that the limit of the n-th colored Jones polynomial of a hyperbolic knot, evaluated at the primitive complex n-th root of unity is a sequence of complex numbers that grows exponentially. Moreover, the exponential growth rate is proportional to the hyperbolic volume of the knot. We provide an efficient formula for the colored Jones function of the simplest hyperbolic non-2-bridge knot, and using this formula, we provide numerical evidence for the Hyperbolic Volume Conjecture for the simplest hyperbolic non-2-bridge knot. AMS Classification 57N10; 57M25 Keywords Knots, q-difference equations, asymptotics, Jones polynomial, Hyperbolic Volume Conjecture, character varieties, recursion relations, Kauffman bracket, skein module, fusion, SnapPea, m082 1 Introduction 1.1 The Hyperbolic Volume Conjecture The Volume Conjecture connects two very different approaches to knot theory, namely Topological Quantum Field Theory and Riemannian (mostly Hyper- bolic) Geometry. The Volume Conjecture states that for every hyperbolic knot K in S3 2πi log |J (n)(e n )| 1 lim K = vol(K), (1) n→∞ n 2π where ± • JK (n) ∈ Z[q ] is the Jones polynomial of a knot colored with the n- dimensional irreducible representation of sl2 , normalized so that it equals to 1 for the unknot (see [J, Tu]), and c Geometry & Topology Publications 380 Stavros Garoufalidis and Yueheng Lan • vol(K) is the volume of a complete hyperbolic metric in the knot com- plement S3 − K ; see [Th].
    [Show full text]
  • 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]
  • 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]
  • Arxiv:Math-Ph/0305039V2 22 Oct 2003
    QUANTUM INVARIANT FOR TORUS LINK AND MODULAR FORMS KAZUHIRO HIKAMI ABSTRACT. We consider an asymptotic expansion of Kashaev’s invariant or of the colored Jones function for the torus link T (2, 2 m). We shall give q-series identity related to these invariants, and show that the invariant is regarded as a limit of q being N-th root of unity of the Eichler integral of a modular form of weight 3/2 which is related to the su(2)m−2 character. c 1. INTRODUCTION Recent studies reveal an intimate connection between the quantum knot invariant and “nearly modular forms” especially with half integral weight. In Ref. 9 Lawrence and Zagier studied an as- ymptotic expansion of the Witten–Reshetikhin–Turaev invariant of the Poincar´ehomology sphere, and they showed that the invariant can be regarded as the Eichler integral of a modular form of weight 3/2. In Ref. 19, Zagier further studied a “strange identity” related to the half-derivatives of the Dedekind η-function, and clarified a role of the Eichler integral with half-integral weight. From the viewpoint of the quantum invariant, Zagier’s q-series was originally connected with a gener- ating function of an upper bound of the number of linearly independent Vassiliev invariants [17], and later it was found that Zagier’s q-series with q being the N-th root of unity coincides with Kashaev’s invariant [5, 6], which was shown [14] to coincide with a specific value of the colored Jones function, for the trefoil knot. This correspondence was further investigated for the torus knot, and it was shown [3] that Kashaev’s invariant for the torus knot T (2, 2 m + 1) also has a nearly arXiv:math-ph/0305039v2 22 Oct 2003 modular property; it can be regarded as a limit q being the root of unity of the Eichler integral of the Andrews–Gordon q-series, which is theta series with weight 1/2 spanning m-dimensional space.
    [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]
  • 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]
  • 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.
    [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]
  • 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.
    [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]
  • 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.
    [Show full text]