Arxiv:Math/0408182V3 [Math.GT] 17 Aug 2004

arXiv:math/0408182v3 [math.GT] 17 Aug 2004 eiaie n ec ti art hn ftedefi- the of think to fair is of nition it hence and derivatives nmn,teaoedfiiiniiae h definition the degree imitates of polynomials definition of above the mind, in type lnyadpwru n hycryarc algebraic rich a carry they and powerful and plenty space the on “polynomials” knots. as of of thought be can ants dnial.W a that say We identically. ute extend Further ento 1. Definition with (knots http://www.math.toronto.edu/ (1) tension ieettig—ko nainswt oyoilvalues. polynomial with invariants knot — thing different nt htmyhv igesnuaiyta locally point that double singularity a single like a looks have may that knots noine pc ihvle nsm bla group Abelian some in values A with space oriented in in- BN2]. Ko1, type BL, Va2, “finite Va1, not of Go2, “Goussarov-Vassiliev” [Go1, (though notion or invariants) “Vassiliev” the connections (aka through these variants” factor of par- Many in all!) physics mathe- also mathematical of are and ticular. branches general knots other in that several matics to apparent related became closely it throughout 1980s Surprisingly, the combinatorialists. topolo- geometers, or to gists also perhaps reflection, further Extend . eetddffrne r iia orepeated to similar are differences Repeated sw hl e eo,fiietp nainsare invariants type finite below, see shall we As hswr a atal upre yNECgatRPN26217 RGPIN grant NSERC by supported partially was work This Date 1 Let upon and climbers and sailors to belong Knots iietp nainsaelk oyoil ntesaeo k of space the on polynomials like are invariants type Finite m is dto:Ag 3 04 hseiin coe 1 201 31, October edition: This 2004. 13, Aug. edition: First : V o some for Abstract. Physics V V ea rirr nain foine knots oriented of invariant arbitrary an be | K | V K m m m +1 ob nivrato -iglrknots, 1-singular of invariant an be to obepit)b eetdyuig(1). using repeatedly by points) double . V srpae ieetain ihthis With differentiation. repeated as esythat say We V ( o( to 1. m

oteset the to hsi noeve ril nﬁietp nains writte invariants, type ﬁnite on article overview an is This . = ) Introduction m V )snua nt vanishes knots 1)-singular + m V (

! ec nt yeinvari- type finite Hence . ∼ sn h formula the using , so nt yei ti of is it if type finite of is ) V drorbn/papers/EMP/ K − m so type of is V of ( " m IIETP INVARIANTS TYPE FINITE ) . snua knots -singular m fisex- its if RRBAR-NATAN DROR n ri:ahG/488.Cprgti eandb h au the by retained is Copyright arXiv:math.GT/0408182. and 1 oyoilo knot a of polynomial hoe 3. Theorem polynomials powerful knot as fi- standard least of the at plenty all are are as they there and invariants that type is nite notice to thing trivial!) questions). 1.1. same the ask (and knots framed of ants sep- they Do invariants? dense knot knots? invariants all arate type of space finite the Are within functions. of space 2. Problem invariants type finite on unanswered: question remains first the (Sec- But directions 5). several tion in extensively generalized and studied 3). 4) been (Section (Section have invariants algebras type theory quasi-Hopf Finite Drinfel’d’s and and associators theory of field topo- quantum Chern-Simons-Witten the logical con- theory, to related field are those formal “univer- and invariant” a type for finite constructions sal several (Sec- are algebras There Lie 2). to tion related deeply are and structure 2.1. correction. a for bach V oe oyoilcnb eosrce rmfiietype information). finite from reconstructed be can polynomial Jones J variable a in m ( os h tnadprs ko oyoil”rfr oa to refers polynomials” “knot phrase standard the nots; K nasmlrwyoemydfiefiietp invari- type finite define may one way similar a In ( K 8. )( Acknowledgement. lsia ntpolynomials. knot Classical ) e x safiietp ntivrat Adtu the thus (And invariant. knot type finite a is = ) o the for n P q .Cnie h oe eisexpansion series power the Consider ). oetplnmasaednei the in dense are polynomials Honest B2 BL] [BN2, m ∞ =0 2. nylpdao Mathematical of Encyclopedia V m ai facts Basic K ( K .Eetoi versions: Electronic 8. i saLuetpolynomial Laurent a is (it ) Let x iht hn .Das- O. thank to wish I m hnec coefficient each Then . J ( K )( 1 q ) h rt(non first The combined: eteJones the be thor. 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 diﬀer 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. universal enveloping algebra (g) of g.U Given also 3.1. The Kontsevich Integral. The first construc- a finite dimensional representationU R of g there is a tion of a universal finite type invariant was given by linear functional Wg : Q. ,R A → Kontsevich [Ko1] (see also [BN2, CD]). It is known as The last assertion along with Theorem 5 show that “the Kontsevich Integral” and up to a normalization associated with any g, R and m there is a weight factor it is given by system and hence a knot invariant. Thus knots are m ∞ unexpectedly linked with Lie algebras. 1 #P↓ dzi dzi′ Z1(K)= m ( 1) DP − , The hope [BN2] that all finite type invariants arise (2πi) Z − zi z′ mX=0 X i^=1 i t1<...

3.2. Perturbative Chern-Simons-Witten the- Problem 14. Does the perturbative expansion of the ory and configuration space integrals. Histor- Chern-Simons-Witten theory converge (or is asymp- ically the first approach to the construction of a totic to) the exact solution due to Witten [Wit] and universal finite type invariant was to use perturba- Reshetikhin-Turaev [RT] when the parameter k con- tion theory with the Chern-Simons-Witten topologi- verges to infinity? cal quantum field theory; this is also how the relationship with Lie algebras first arose [BN1]. But taming 3.3. Associators and trivalent graphs. There is the integrals involved turned out to be difficult and also an entirely algebraic approach for the construc- working constructions using this approach appeared tion of a universal finite type invariant Z3. The idea is only a bit later [BoTa, Th1, AF]. to find some algebraic context within which knot the- In short, one writes a perturbative expansion for ory is finitely presented — i.e., presented by finitely the large k asymptotics of the Chern-Simons-Witten many generators subject to finitely many relations. If path integral for some metrized Lie algebra g with a the algebraic context at hand is compatible with the Wilson loop in some representation R of g, definitions of finite type invariants and of chord diagrams, one may hope to define Z3 by defining it on the generators in such a way that the relations are satis- A tr hol (A)exp ik tr A dA+ 2 A A A . R K 4π ( ∧ 3 ∧ ∧ ) Zg-connectionsD RR3 fied. Thus the problem of defining Z3 is reduced to finding finitely many elements of -like spaces which The result is of the form solve certain finitely many equations.A A concrete realization of this idea is in [LM2, BN4] Wg (D) (D),R Z E (following ideas from [Dr1, Dr2] on quasitriangular D: FeynmanX X diagram Quasi-Hopf algebras). The relevant “algebraic context” is a category with certain extra operations, and where (D) is a very messy integral expression and within it, knot theory is generated by just two ele-

E 8 the diagrams D as well as the weights Wg(D),R are ments, the braiding ! and the re-association . Thus

as in Section 2.5. Replacing Wg(D),R by simply D in to define Z3 it is enough to find R = Z3(!) and the above formula we get an expression with values “an associator” Φ = Z3(8) which satisfy certain nor- in ˆ: malization conditions as well as the pentagon and A hexagon equations Z2(K) := D (D) ˆ. Z E ∈ A XD X Φ123 (1∆1)(Φ) Φ234 = (∆11)(Φ) (11∆)(Φ), · · · For formal reasons Z2(K) ought to be a univer- 123 23 1 132 13 312 sal finite type invariant, and after much work taming (∆1)(R±)=Φ (R±) (Φ− ) (R±) Φ . the (D) factors and after multiplying by a further As it turns out the solution for R is easy and nearly framing-dependentE renormalization term Zanomaly, canonical. But finding an associator Φ is a lot harder. the result is indeed a universal finite type invariant. There is a closed form integral expression ΦKZ due Upon further inspection the (D) factors can be to [Dr1] but one encounters the same not-too-well- reinterpreted as integrals of certainE spherical vol- understood multiple ζ numbers of Section 3.1. There ume forms on certain (compactified) configuration is a rather complicated iterative procedure for find- spaces [BoTa]. These integrals can be further inter- ing an associator [Dr2, BN4, BN8]. On a computer preted as counting certain “tinker toy constructions” it had been used to find an associator up to degree 7. built on top of K [Th1]. The latter viewpoint makes There is also closed form associator that works only the construction of Z2 visually appealing [BN9], but with the Lie super-algebra gl(1 1) [Lie2]. But it re- there is no satisfactory writeup of this perspective mains an open problem to find a| closed form formula yet. for a rational associator (existence by [Dr2, BN8]). We note that the precise form of the renormaliza- On the positive side we should note that the end anomaly tion term Z remains an open problem. An result, the invariant Z3, is independent of the choice anomaly 1 appealing conjecture is that Z = exp 2 ±. If of Φ and that Z3 = Z1 [LM2]. this is true then Z2 = Z1 [Po]; but the conjecture There is an alternative (more symmetric and in- is only verified up to degree 6 [Les] (there’s also an trinsicly 3-dimensional, but less well documented) unconfirmed verification to all orders [Ya]). description of the theory of associators in terms of The most important open problem about pertur- knotted trivalent graphs [BNT, Th2]. There ought bative Chern-Simons-Witten theory is not directly to be a perturbative invariant associated with knot- about finite type invariants, but it is nevertheless ted trivalent graphs in the spirit of Section 3.2 and worthwhile to recall it here: such an invariant should lead to a simple proof that FINITE TYPE INVARIANTS 5

Z2 = Z3 = Z1. But the (D) factors remain untamed in it correspond to finite type invariants. This later in this case. E got related to the Goodwillie calculus and back to the configuration spaces of Section 3.2. See [Vol]. 3.4. Step by step integration. The last approach for proving the Fundamental Theorem is the most natural and historically the first. But here it is last 4.2. Interdependent modifications. The stan- because it is yet to lead to an actual proof. A weight dard definition of finite type invariants is based on r system W : m Q is an invariant of m-singular modifying a knot by replacing over (or under) cross- knots. We wantA to→ show that it is the mth derivative ings with under (or over) crossings. In [Go3] Gous- of an invariant V of non-singular knots. It is natu- sarov generalized this by allowing arbitrary modifi- ral to try to integrate W step by step, first finding an cations done to a knot — just take any segment of m 1 invariant V − of (m 1)-singular knots whose deriv- the knot and move it anywhere else in space. The − m 2 ative in the sense of (1) is W , then an invariant V − resulting new “finite type” theory turns out to be m 1 of (m 2)-singular knots whose derivative is V − , equivalent to the old one though with a factor of 2 and so− on all the way up to an invariant V 0 = V applied to the grading (so an “old” type m invariant whose mth derivative will then be W . If proven, the is a “new” type 2m invariant and vice versa). See following conjecture would imply that such an induc- also [BN10, Co]. tive procedure can be made to work: Conjecture 15. [Hu] If V r is a once-integrable in- 4.3. n-equivalence, commutators and claspers. variant of r-singular knots then it is also twice in- While little is known about the overall power of finite r 1 tegrable. That is, if there is an invariant V − of type invariants, much is known about the power of (r 1)-singular knots whose derivative is V r, then type n invariants for any given n. Goussarov [Go2] − r 2 there is an invariant V − of (r 2)-singular knots defined the notion of n-equivalence: two knots are whose second derivative is V r. − said to be “n-equivalent” if all their type n invariants are the same. This equivalence relation is well In [Hu] Hutchings reduced this conjecture to a understood both in terms of commutator subgroups certain appealing topological statement and further of the pure braid group [Sta, NS] and in terms of to a certain combinatorial-algebraic statement about 1 Habiro’s calculus of surgery over “claspers” [Ha] (the the vanishing of a certain homology group H which latter calculus also gives a topological explanation for is probably related to Kontsevich’s graph homol- the appearance of Jacobi diagrams as in Section 2.5). ogy complex [Ko2] (Kontsevich’s H0 is , so this A In particular, already Goussarov [Go2] shows that is all in the spirit of many deformation theory prob- the set of equivalence classes of knots modulo n- lems where H0 enumerates infinitesimal deformations equivalence is a finitely generated Abelian group Gn and H1 is the obstruction to globalization). Hutch- 1 under the operation of connected sum, and the rank ings [Hu] was also able to prove the vanishing of H of that group is equal to the dimension of the space (and hence reprove the Fundamental Theorem) in the of type n invariants. simpler case of braids. But no further progress has Ng [Ng] has shown that ribbon knots generate an been made along these lines since [Hu]. index 2 subgroup of Gn. 4. Some further directions 4.4. Polynomiality and Gauss sums. Gous- We would like to touch on a number of significant sarov [Go4] (see also [GPV]) found an intriguing way further directions in the theory of finite type invari- to compute finite type invariants from a Gauss di- ants. We will only say a few words on each of those agram presentation of a knot, showing in particular and refer the reader to the literature for further in- that finite type invariants grow as polynomials in the formation. number of crossings n and can be computed in poly- 4.1. The original “Vassiliev” perspective. nomial time in n (though actual computer programs V.A. Vassiliev came to the study of finite type knot are still missing!). invariants by studying the infinite dimensional space Gauss diagrams are obtained from knot diagrams of all immersions of a circle into R3 and the topol- in much of the same way as Chord diagrams are ob- ogy of the “discriminant”, the locus of all singular tained from singular knots, except all crossings are immersions within the latter space [Va1, Va2]. Vas- counted and not just the double points, and certain siliev studied the topology of the complement of the over/under and sign information is associated with discriminant (the space of embeddings) using a cer- each crossing/chord so that the knot diagram can be tain spectral sequence and found that certain terms recovered from its Gauss diagram. In the example 6 DROR BAR-NATAN

below, we also dashed a subdiagram of the Gauss di- 4.6. Taming the Kontsevich Integral. While ex- agram equivalent to the chord diagram : plicit calculations are rare, there is a nice structure theorem for the values of the Kontsevich integral, say- 4 3 ing that for a knot K and up to any fixed number 4 5 2 1 3− − of loops in the Jacobi diagrams, χ− Z1(K) can be − + described by finitely many rational functions (with + 1 1 + denominators powers of the Alexander polynomial) 5 6 + + 2 2 5 which dictate the placement of the legs. This struc- + − + ture theorem was conjectured in [Ro], proven in [Kr] 1 6 6 and partially generalized to links in [GK]. + 4 3 If G is a Gauss diagram and D is a chord diagram 4.7. The Rozansky-Witten theory. One way to we let D, G be the number of subdiagrams of G construct linear functionals on (and hence finite A equivalenth toiD, counted with appropriate signs (to type invariants) is using Lie algebras and represen- be precise, we also need to base the diagrams involved tations as in Section 2.5; much of our insight about and respect the basing). comes this way. But there is another construc- tionA for such functional (and hence invariants), due Theorem 16. [Go4, GPV] If V is a type m invariant to Rozansky and Witten [RozWit], using contrac- then there are finitely many (based) chord diagrams tions of curvature tensors on hyper-Kähler manifolds. Di with at most m chords and rational numbers αi Very little is known about the Rozansky-Witten ap- so that V (K)= αi Di, G whenever G is a Gauss proach; in particular, it is not known if it is stronger i h i diagram representingP a knot K. or weaker than the Lie algebraic approach. For an application of the Rozansky-Witten theory back to 4.5. Computing the Kontsevich Integral. While hyper-Kähler geometry check [HS] and for a unifi- the Kontsevich Integral Z is a cornerstone of the the- 1 cation of the Rozansky-Witten approach with the ory of finite type invariants, it has been computed for Lie algebraic approach (albeit at a categorical level) surprisingly few knots. Even for the unknot the result check [RobWil]. is non-trivial:

Theorem 17. (“Wheels”, [BGRT1, BLT]) The 4.8. The Melvin-Morton conjecture and the framed Kontsevich integral of the unknot, ZF ( ), ex- volume conjecture. The Melvin-Morton conjec- 1 pressed in terms of diagrams in ˆ, is given by Ω = ture (stated [MeMo], proven [BNG]) says that B exp n∞=1 b2nω2n, where the ‘modified Bernoulli the Alexander polynomial can be read off cer- ∪· numbers’P b2n are defined by the power series expan- tain coefficients of the coloured Jones polynomial. 1 sinh x/2 ∞ 2n The Kashaev-Murakami-Murakami volume conjec- sion n=0 b2nx = 2 log x/2 , the ‘2n-wheel’ ω2n is theP free Jacobi diagram made of a 2n-gon with 2n ture (stated [Ka, MuMu], unproven) says that a certain asymptotic growth rate of the coloured Jones legs (so e.g., ω6 = ) and where exp means ‘ex- ∪· polynomial is the hyperbolic volume of the knot com- ponential in the disjoint union sense’. plement. Closed form formulas have also been given for the Both conjectures are not directly about finite type Kontsevich integral of framed unknots, the Hopf link invariants but both have ramifications to the theory and Hopf chains [BNL] and for torus knots [Ma]. of finite type invariants. The Melvin-Morton conjec- Theorem 17 has a companion that utilizes the ture was first proven using finite type invariants and same element Ω, the “wheeling” theorem [BGRT1, several later proofs and generalizations (see [BN6]) BLT]. The wheeling theorem “upgrades” the vector also involve finite type invariants. The volume conjec- space isomorphism χ : to an algebra isomor- ture would imply, in particular, that the hyperbolic phism and is related toB the → Duflo A isomorphism of the volume of a knot complement can be read from that theory of Lie algebras. It is amusing to note that knot’s finite type invariants, and hence finite type in- the wheeling theorem (and hence Duflo’s theorem in variants would be at least as strong as the volume the metrized case) follows using finite type techniques invariant. from the “1+1 = 2 on an abacus” identity A particularly noteworthy result and direction for further research is Gukov’s [Gu] recent unification of these two conjectures under the Chern-Simons um- # . brella (along with some relations to three dimensional quantum gravity). FINITE TYPE INVARIANTS 7

5. Beyond knots [BN5] D. Bar-Natan, Some computations related to Vas- siliev invariants, electronic publication, http: For the lack of space we have restricted ourselves //www.math.toronto.edu/∼drorbn/LOP.html# here to a discussion of finite type invariants of knots. Computations. But the basic “differentiation” idea of Section 1 calls [BN6] D. Bar-Natan, Bibliography of Vassiliev invariants, for generalization, and indeed it has been generalized http://www.math.toronto.edu/∼drorbn/VasBib. [BN7] D. Bar-Natan, Vassiliev and quantum invariants of extensively. We will only make a few quick comments. braids, in Proc. of Symp. in Appl. Math. 51 (1996) 129– Finite type invariants of homotopy links (links 144, The interface of knots and physics, (L. H. Kauff- where each component is allowed to move across it- man, ed.), Amer. Math. Soc., Providence. self freely) and of braids are extremely well behaved. [BN8] D. Bar-Natan, On Associators and the Grothendieck- They separate, they all come from Lie algebraic con- Teichmuller Group I, Selecta Mathematica, New Series 4 (1998) 183–212. structions [BN3, Lin2, BN7] and in the case of braids, [BN9] D. Bar-Natan, From astrology to topology via Feyn- step by step integration as in Section 3.4 works [Hu] man diagrams and Lie algebras, Rendiconti Del Circolo (for homotopy links the issue was not studied). Matematico Di Palermo Serie II 63 (2000) 11–16, http: Finite type invariants of 3-manifolds and especially //www.math.toronto.edu/∼drorbn/Talks/Srni-9901. of integral and rational homology spheres have been [BN10] D. Bar-Natan, Bracelets and the Goussarov filtra- tion of the space of knots, Invariants of knots and studied extensively and the picture is nearly a com- 3-manifolds (Kyoto 2001), Geometry and Topology plete parallel of the picture for knots. There are Monographs 4 1–12, arXiv:math.GT/0111267. several competing definitions of finite type invariants [BNG] D. Bar-Natan and S. Garoufalidis, On the Melvin- (due to [Oh] and then [Go4, Ga, GGP] and more), Morton-Rozansky conjecture, Invent. Math. 125 (1996) and they all agree up to regrading. There are weight 103–133. [BGRT1] D. Bar-Natan, S. Garoufalidis, L. Rozansky and systems and they are linear functionals on a space D. P. Thurston, Wheels, wheeling, and the Kontsevich ( ) which is a close cousin of and and is re- A ∅ A B integral of the unknot, Israel Journal of Mathematics lated to Lie algebras and hyper-Kähler manifolds in 119 (2000) 217–237, arXiv:q-alg/9703025. a similar way. There is a notion of a “universal” in- [BGRT2] D. Bar-Natan, S. Garoufalidis, L. Rozansky and variant, and there are several constructions (due to D. P. Thurston, The Arhus˚ integral of rational homology 3-spheres I–III, Selecta Mathematica, New Se- [LMO, Le] and then [BGRT2, KT]), they all agree or ries 8 (2002) 315–339, arXiv:q-alg/9706004, 8 (2002) are conjectured to agree, and they are related to the 341–371, arXiv:math.QA/9801049, to appear, arXiv: Chern-Simons-Witten theory. math.QA/9808013. Finite type invariants were studied for several [BNL] D. Bar-Natan and R. Lawrence, A Rational Surgery other types of topological objects, including knots Formula for the LMO Invariant, Israel Jour- nal of Mathematics 140 (2004) 29–60, arXiv: within other manifolds, higher dimensional knots, math.GT/0007045. virtual knots, plane curves and doodles and more. [BLT] D. Bar-Natan, T. Q. T. Le and D. P. Thurston, Two See [BN6]. applications of elementary knot theory to Lie algebras and Vassiliev invariants, Geometry and Topology 7-1 (2003) 1–31, arXiv:math.QA/0204311. References [BNT] D. Bar-Natan and D. Thurston, Algebraic Structures on Knotted Objects and Universal Finite Type Invari- The reference [BN6] is an extensive bibliography of fi- ants, in prepartion, http://www.math.toronto.edu/ nite type invariants, listing more than 500 further ref- ∼drorbn/papers/AlgebraicStructures. erences. [BL] J. S. Birman and X-S. Lin, Knot polynomials and Vas- siliev’s invariants, Invent. Math. 111 (1993) 225–270. [AF] D. Altschuler and L. Freidel, Vassiliev knot invari- [BoTa] R. Bott and C. Taubes, On the self-linking of knots, ants and Chern-Simons perturbation theory to all or- Jour. Math. Phys. 35 (1994). ders, Comm. Math. Phys. 187 (1997) 261–287, arXiv: [Br] D. J. Broadhurst, Conjectured enumeration of Vas- q-alg/9603010. siliev invariants, preprint, September 1997, arXiv:q- [BN1] D. Bar-Natan, Perturbative aspects of the Chern- alg/9709031. Simons topological quantum field theory, Ph.D. thesis, [CD] S. V. Chmutov and S. V. Duzhin, The Kontsevich inte- Princeton Univ., June 1991. gral, Acta Applicandae Mathematicae 66 (2001) 155– [BN2] D. Bar-Natan, On the Vassiliev knot invariants, Topol- 190. ogy 34 (1995) 423–472. [CDL] S. V. Chmutov, S. V. Duzhin and S. K. Lando, [BN3] D. Bar-Natan, Vassiliev homotopy string link invari- Vassiliev knot invariants I. Introduction, in Adv. in ants, Jour. of Knot Theory and its Ramifications 4 Soviet Math., 21 (1994) Singularities and curves, (1995) 13–32. (V. I. Arnold, ed.), 117–126. [BN4] D. Bar-Natan, Non-associative tangles, in Geomet- [Co] J. Conant, On a theorem of Goussarov, Jour. of Knot ric topology (proceedings of the Georgia international Theory and its Ramifications 12-1 (2003) 47–52, arXiv: topology conference), (W. H. Kazez, ed.), 139–183, math.GT/0110057. Amer. Math. Soc. and International Press, Providence, [Da] O. T. Dasbach, On the combinatorial structure of 1997. primitive Vassiliev invariants III — a lower bound, 8 DROR BAR-NATAN

Comm. in Cont. Math. 2-4 (2000) 579–590, arXiv: [Ko2] M. Kontsevich, Feynman diagrams and low- math.GT/9806086. dimensional topology, First European Congress of [Dr1] V. G. Drinfel’d, Quasi-Hopf algebras, Leningrad Math. Mathematics II 97–121, Birkhäuser Basel 1994. J. 1 (1990) 1419–1457. [Ko3] M. Kontsevich, unpublished. [Dr2] V. G. Drinfel’d, On quasitriangular Quasi-Hopf alge- [Kr] A. Kricker, The lines of the Kontsevich integral and bras and a group closely connected with Gal(Q¯ /Q), Rozansky’s rationality conjecture, preprint, May 2000, Leningrad Math. J. 2 (1991) 829–860. arXiv:math.GT/0005284. [Ga] S. Garoufalidis, On finite type 3-manifold invariants I, [KT] G. Kuperberg and D. P. Thurston, Perturba- Jour. of Knot Theory and its Ramifications 5 (1996) tive 3-manifold invariants by cut-and-paste topology, 441–462. preprint, December 1999, arXiv:math.GT/9912167. [GGP] S. Garoufalidis, M. Goussarov and M. Polyak, Calcu- [Le] T. Q. T. Le, An invariant of integral homology 3- lus of clovers and finite type invariants of 3-manifolds, spheres which is universal for all finite type invariants, Geometry and Topology 5-3 (2001) 75–108, arXiv: in Solitons, geometry and topology: on the crossroad, math.GT/0005192. (V. Buchstaber and S. Novikov, eds.) AMS Translations [GK] S. Garoufalidis and A. Kricker, A rational non- Series 2, Providence, arXiv:q-alg/9601002. commutative invariant of boundary links, Geom- [LM1] T. Q. T. Le and J. Murakami, On Kontsevich’s integral etry and Topology 8-4 (2004) 115–204, arXiv: for the HOMFLY polynomial and relations of multiple math.GT/0105028. ζ-numbers, Topology and its Applications 62 (1995) [Go1] M. Goussarov, A new form of the Conway-Jones poly- 193–206. nomial of oriented links, Zapiski nauch. sem. POMI [LM2] T. Q. T. Le and J. Murakami, The universal 193 (1991) 4–9 (English translation in Topology of Vassiliev-Kontsevich invariant for framed oriented manifolds and varieties (O. Viro, editor), Amer. Math. links, Compositio Math. 102 (1996), 41–64, arXiv:hep- Soc., Providence 1994, 167–172). th/9401016. [Go2] M. Goussarov, On n-equivalence of knots and invari- [LMO] T. Q. T. Le, J. Murakami and T. Ohtsuki, On a univer- ants of finite degree, Zapiski nauch. sem. POMI 208 sal quantum invariant of 3-manifolds, Topology 37-3 (1993) 152–173 (English translation in Topology of (1998) 539–574, arXiv:q-alg/9512002. manifolds and varieties (O. Viro, editor), Amer. Math. [Les] C. Lescop, On configuration space integrals for links, Soc., Providence 1994, 173–192). Invariants of knots and 3-manifolds (Kyoto 2001), Ge- [Go3] M. Goussarov, Interdependent modifications of links ometry and Topology Monographs 4 183-199, arXiv: and invariants of finite degree, Topology 37-3 (1998) math.GT/0211062. 595–602. [Lie1] J. Lieberum, On Vassiliev invariants not coming [Go4] M. Goussarov, Finite type invariants are presented from semisimple Lie algebras, Jour. of Knot Theory by Gauss diagram formulas, preprint (translated and its Ramifications 8-5 (1999) 659–666, arXiv:q- from Russian by O. Viro), December 1998, http:// alg/9706005. www.math.toronto.edu/∼drorbn/Goussarov/. [Lie2] J. Lieberum, The Drinfeld associator of gl(1|1), [Go5] M. Goussarov, Finite type invariants and n-equivalence preprint, April 2002, arXiv:math.QA/0204346. of 3-manifolds, C. R. Acad. Sci. Paris Sér. I Math. [Lin1] X-S. Lin, Vertex models, quantum groups and Vas- 329(6) (1999) 517–522. siliev’s knot invariants, preprint, 1991, http:// [GPV] M. Goussarov, M. Polyak and O. Viro, Finite type in- math.ucr.edu/∼xl/cv-html/pub.html. variants of classical and virtual knots, Topology 39 [Lin2] X-S. Lin, Power series expansions and invariants of (2000) 1045–1068, arXiv:math.GT/9810073. links, in Geometric topology (proceedings of the Geor- [Gu] S. Gukov, Three-dimensional quantum gravity, Chern- gia international topology conference), (W. H. Kazez, Simons theory, and the A-polynomial, preprint, arXiv: ed.), 184–202, Amer. Math. Soc. and International hep-th/0306165. Press, Providence, 1997. [Ha] K. Habiro, Claspers and finite type invariants of links, [Ma] J. Marche, A computation of Kontsevich inte- Geometry and Topology 4 (2000) 1–83. gral of torus knots, preprint, April 2004, arXiv: [HS] N. Hitchin and J. Sawon, Curvature and characteris- math.GT/0404264. tic numbers of hyperkhler manifolds, Duke Math. Jour. [MeMo] P. M. Melvin and H. R. Morton, The coloured Jones 106-3 (2001) 599–615, arXiv:math.DG/9908114. function, Comm. Math. Phys. 169 (1995) 501–520. [Hu] M. Hutchings, Integration of singular braid invariants [MuMu] J. Murakami and H. Murakami, The colored Jones and graph cohomology, Transactions of the AMS 350 polynomials and the simplicial volume of a knot, Acta (1998) 1791–1809. Math. 186-1 (2001) 85–104, arXiv:math.GT/9905075. [Ka] R. M. Kashaev, The hyperbolic volume of knots from [Ng] K.Y.Ng, Groups of ribbon knots, Topology 37 (1998) quantum dilogarithm, Lett. Math. Phys. 39 (1997) 269– 441–458, arXiv:q-alg/9502017 (with an addendum at 275, arXiv:q-alg/9601025. arXiv:math.GT/0310074). [Kn] J. A. Kneissler, The number of primitive Vassiliev [NS] K. Y. Ng and T. Stanford, On Gusarov’s groups of invariants up to degree twelve, preprint, June 1997, knots, Proc. Camb. Phil. Soc. 126-1 (1999) 63–76. arXiv:q-alg/9706022. [Oh] T. Ohtsuki, Finite type invariants of integral homology [KZ] V. G. Knizhnik and A. B. Zamolodchikov, Current alge- 3-spheres, Jour. of Knot Theory and its Ramifications bra and Wess-Zumino model in two dimensions, Nucl. 5(1) (1996) 101–115. Phys. B247 (1984) 83–103. [Po] S. Poirier, The limit configuration space integral for [Ko1] M. Kontsevich, Vassiliev’s knot invariants, Adv. in tangles and the Kontsevich integral, preprint, February Sov. Math., 16(2) (1993) 137–150. 1999, arXiv:math.GT/9902058. FINITE TYPE INVARIANTS 9

[RT] N. Yu. Reshetikhin and V. G. Turaev, Ribbon graphs [Va1] V. A. Vassiliev, Cohomology of knot spaces, in The- and their invariants derived from quantum groups, ory of Singularities and its Applications (Providence) Commun. Math. Phys. 127 (1990) 1–26. (V. I. Arnold, ed.), Amer. Math. Soc., Providence, [RobWil] J. Roberts and S. Willeton, in preparation. 1990. [Ro] L. Rozansky, A rationality conjecture about Kontsevich [Va2] V. A. Vassiliev, Complements of discriminants of integral of knots and its implications to the structure of smooth maps: topology and applications, Trans. of the colored Jones polynomial, Proccedings of the Pacific Math. Mono. 98, Amer. Math. Soc., Providence, 1992. Institute for the Mathematical Sciences Workshop (Cal- [Vo1] P. Vogel, Algebraic structures on modules of dia- gary 1999), Topology and its Applications 127 (2003) grams, preprint, July 1995 (revised 1997), http:// 47–76, arXiv:math.GT/0106097. www.math.jussieu.fr/∼vogel/. [RozWit] L. Rozansky and E. Witten, Hyper-Kähler geome- [Vo2] P. Vogel, The universal Lie algebra, preprint, June try and invariants of three-manifolds, Selecta Math- 1999, http://www.math.jussieu.fr/∼vogel/. ematica, New Series, 3 (1997) 401–458, arXiv:hep- [Vol] I. Volic, Configuration space integrals and Taylor tow- th/9612216. ers for spaces of knots, preprint, January 2004, arXiv: [Sta] T. Stanford, Vassiliev invariants and knots modulo math.GT/0401282. pure braid subgroups, preprint, May 1998, arXiv: [Wil] S. Willerton, Vassiliev invariants and the Hopf algebra math.GT/9805092. of chord diagrams, Math. Proc. Camb. Phil. Soc. 119 [Sto] A. Stoimenow, Enumeration of chord diagrams and an (1996) 55–65. upper bound for Vassiliev invariants, Jour. of Knot [Wit] E. Witten, Quantum field theory and the Jones poly- Theory and its Ramifications 7(1) (1998) 94–114. nomial, Commun. Math. Phys. 121 (1989) 351–399. [Th1] D. Thurston, Integral expressions for the Vassiliev [Ya] S.-W. Yang, Feynman integral, knot invariant and de- knot invariants, Harvard University senior thesis, April gree theory of maps, preprint, September 1997, arXiv: 1995, arXiv:math.QA/9901110. q-alg/9709029. [Th2] D. Thurston, The algebra of knotted trivalent graphs [Za] D. Zagier, Vassiliev invariants and a strange identity and Turaev’s shadow world, Invariants of knots and related to the Dedekind eta-function, Topology 40(5) 3-manifolds (Kyoto 2001), Geometry and Topology (2001) 945–960. Monographs 4 337–362, arXiv:math.GT/0311458.

Department of Mathematics, University of Toronto, Toronto Ontario M5S 3G3, Canada E-mail address: [email protected] URL: http://www.math.toronto.edu/~drorbn