Arxiv:Math/0408182V3 [Math.GT] 17 Aug 2004
Total Page:16
File Type:pdf, Size:1020Kb
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 ( ). − Further extend V to the set m of m-singular knots 1.1. Acknowledgement. I wish to thank O. Das- (knots with m double points)K by repeatedly using (1). bach for a correction. Definition 1. We say that V is of type m if its ex- 2. Basic facts tension V m+1 to (m + 1)-singular knots vanishes identically.|K 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- arXiv:math/0408182v3 [math.GT] 17 Aug 2004 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 m as repeated differentiation. With this Theorem 3. [BN2, BL] Let J(K)(q) be the Jones in mind, the|K 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 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 finiteP 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: October 31, 2018. 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 . Knots can be multiplied Conway, HOMFLY-PT and Kauffman polynomi- (the “connected sum” operation)A 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 r and : terms of its finite type invariants. A A Theorem 6. [Ko1, BN2, Wil, CDL] r and A 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. and are graded polynomial algebras over their m A A r r (m) spaces of primitives, = m m and = m m. Likewise the mth derivative V := V ( ) of a P ⊕ P P ⊕ P ···m ! type m invariant V is a constant (for V ( ) ··· − Framed knots differ from knots only by a single m m+1 (m) " V ( ) = V ( ) = 0so V is blind to integer parameter (the “self linking”, itself a type 1 ··· ··· 3D topology) and likewise V (m) determines V up to invariant). Thus r and are also closely related. invariants of lower type. Hence a primary tool in the P P study of finite type invariants is the study of the “top Theorem 7. [BN2] = r θ , where θ is the (m) P P ⊕ h i derivative” V , also known as “the weight system unique 1-chord diagram . of V ”. 2.4. Bounds and computational results. The Blind to 3D topol- 3 ogy, V (m) only sees the 4 3 following table (taken from [BN2, Kn]) shows the number of type m invariants of knots and framed combinatorics of the 2 2 1 1 knots modulo type m 1 invariants (dim r and circle that parametrizes 4 − Am an m-singular knot. On dim m) and the number of multiplicative generators of theA algebra in degree m (dim ) for m 12. this circle there are m pairs of points that are pair- A Pm ≤ wise identified in the image; standardly one indicates Some further tabulated results are in [BN5]. 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 denote the space of all for- m dim Pm 0 1 1 1 2 3 5 8 12 18 27 39 55 mal linear combinationsD with rational coefficients of r m-chord diagrams. Let m be the quotient of m by Little is known about these dimensions for large all 4T and F I relationsA as drawn below (fullD details m. There is an explicit conjecture in [Br] but no in e.g. [BN2]), and let ˆr be the graded completion of progress has been made in the direction of proving or A := r . Let , and ˆ be the same as r , disproving it. The best asymptotic bounds available A m Am Am A A Am r andL ˆr but without imposing the F I relations. are: A A Theorem 8. For large m, dim > ec√m (for 4T : F I : Pm 2 any fixed c < π 3 ) [Da, Ko3] and dim m < q A Theorem 5. (The Fundamental Theorem) 6mm!√m/π2m [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 m. If in addition V 0, then V is of type m A1. ≡ 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- functional• W on r there is a rational valued type stract level, Theorem 10 makes that relationship con- Am m invariant V so that V (m) = W . crete and Theorem 12 make is a bit deeper. Thus to a large extent the study of finite type in- Theorem 9. [BN2] The algebra is isomorphic to variants is reduced to the finite (though super ex- the algebra t generated by “JacobiA diagrams in a r A ponential in m) algebraic study of m. A similar circle” (chord diagrams that are also allowed to have theorem reduces the study of finite typeA invariants of oriented internal trivalent vertices) modulo the AS, framed knots to the study of . STU and IHX relations. See the figure below. Am FINITE TYPE INVARIANTS 3 Note that can be graded (by half the number of vertices inB a Jacobi diagram) and that χ respects AS: + =0 degrees so it extends to an isomorphism χ : ˆ ˆ B → A STU: = − of graded completions. IHX: = − A Jacobi diagram in a circle 3. Proofs of the Fundamental Theorem Thinking of trivalent vertices as graphical analogs The heart of all known proofs of Theorem 5 is al- of the Lie bracket, the AS relation become the anti- ways a construction of a “universal finite type invari- commutativity of the bracket, STU become the equa- ant” (see below); it is simple to show that the exis- tion [x, y] = xy yx and IHX becomes the Jacobi tence of a universal finite type invariant is equivalent identity. This analogy− is made concrete within the to Theorem 5. proof of the following: Definition 13. A universal finite type invariant is a Theorem 10. map Z : knots ˆr whose extension to singular [BN2] Given a finite dimensional { } → A metrized Lie algebra g (e.g., any semi-simple Lie al- knots satisfies Z(K) = D + (higher degrees) when- g gebra) there is a map g : (g) defined on ever a singular knot K and a chord diagram D are and taking values in theT invariantA→U part (g)g of theA related as in Section 2.2.