## On Finite Type 3-Manifold Invariants I (1996)

Venue: | II, Math. Annalen |

Citations: | 27 - 8 self |

### BibTeX

@ARTICLE{Garoufalidis96onfinite,

author = {Stavros Garoufalidis},

title = {On Finite Type 3-Manifold Invariants I},

journal = {II, Math. Annalen},

year = {1996},

volume = {5},

pages = {691--718}

}

### OpenURL

### Abstract

. Recently Ohtsuki [Oh2], motivated by the notion of finite type knot invariants, introduced the notion of finite type invariants for oriented, integral homology 3-spheres (ZHS for short). In the present paper we propose another definition of finite type invariants of ZHS and give equivalent reformulations of our notion. We show that our invariants form a filtered commutative algebra and are of finite type in in the sense of Ohtsuki and thus conclude that the associated graded algebra is a priori finite dimensional in each degree. We discover a new set of restrictions that Ohtsuki's invariants satisfy and give a set of axioms that characterize the Casson invariant. Finally, we pose a set of questions relating the finite type 3-manifold invariants with the (Vassiliev) knot invariants. Contents 1. Introduction 2 1.1. History 1.2. A review of Ohtsuki's definition 1.3. Variations for finite type 3-manifold invariants 1.4. Statement of the results 1.5. Plan of the proof 1.6. Acknowledgmen...

### Citations

612 |
Quantum field theory and the Jones polynomial
- Witten
- 1989
(Show Context)
Citation Context ...ly and combinatorially) knot and 3-manifold invariants. A unifying approach to these invariants is the concept of a topological quantum field theory (TQFT for short) in 2 + 1 dimensions, [At]. Witten =-=[Wi2]-=-, using path integrals with a Chern-Simons action (a not yet defined infinite dimensional integration) gave examples of such theories depending on a semisimple compact Lie group and an integer. Shortl... |

374 |
Quantum Groups
- Kassel
(Show Context)
Citation Context ...f knots in S 3 one has: ffl an axiomatic definition, ffl a general existence theorem [B-N1], [Ko1], [LM], ffl a comparison theorem to the above mentioned nonperturbative kont invariants [B-N1], [Dr], =-=[Ka]-=-, and to the Chern-Simons theory perturbative knot invariants [BT], and finally ffl ways of calculating them, from combinatorics of chord diagrams [B-N2]. The situation with perturbative (or finite ty... |

245 |
Ribbon graphs and their invariants derived from quantum groups
- Reshetikhin, Turaev
- 1990
(Show Context)
Citation Context ...rn-Simons action (a not yet defined infinite dimensional integration) gave examples of such theories depending on a semisimple compact Lie group and an integer. Shortly afterwards, Reshetikhin-Turaev =-=[RT1]-=-, [RT2], (and simultaneously many other authors [Koh], [Ku], [KR], [Po], [TW]), used equivalent initial data (namely semisimple Lie algebra and a primitive complex root of unity) as in Witten's ChernS... |

205 |
On quasitriangular quasi-Hopf algebras and on a group that is closely connected with Gal(Q/Q), Algebra i Analiz 2
- Drinfeld
- 1990
(Show Context)
Citation Context ...ants of knots in S 3 one has: ffl an axiomatic definition, ffl a general existence theorem [B-N1], [Ko1], [LM], ffl a comparison theorem to the above mentioned nonperturbative kont invariants [B-N1], =-=[Dr]-=-, [Ka], and to the Chern-Simons theory perturbative knot invariants [BT], and finally ffl ways of calculating them, from combinatorics of chord diagrams [B-N2]. The situation with perturbative (or fin... |

121 |
Topological quantum field theories
- Atiyah
- 1989
(Show Context)
Citation Context ... (geometrically and combinatorially) knot and 3-manifold invariants. A unifying approach to these invariants is the concept of a topological quantum field theory (TQFT for short) in 2 + 1 dimensions, =-=[At]-=-. Witten [Wi2], using path integrals with a Chern-Simons action (a not yet defined infinite dimensional integration) gave examples of such theories depending on a semisimple compact Lie group and an i... |

116 |
Knot polynomials and Vassiliev’s invariants
- Birman, Lin
- 1993
(Show Context)
Citation Context ..., [RT1]. Examples of nonperturbative 3-manifold invariants are the Reshetikhin-Turaev invariants [RT2]. Examples of perturbative (or finite type) knot invariants are the Vassiliev invariants, [B-N1], =-=[BL]-=-, [Va]. For the Vassiliev invariants of knots in S 3 one has: ffl an axiomatic definition, ffl a general existence theorem [B-N1], [Ko1], [LM], ffl a comparison theorem to the above mentioned nonpertu... |

103 |
Casson’s invariant for oriented homology 3–spheres. An exposition
- Akbulut, McCarthy
- 1990
(Show Context)
Citation Context ...tion 1.2 (2) with the notation of section 1.2, (F 2 M) = 0 6 STAVROS GAROUFALIDIS (3)s2 F Oh 3 L (4)s2 F Oh 4 L (5) There are constants a; b such thats= a+bCasson where Casson is the Casson invariant =-=[AM]-=-. Remark 1.5. Ohtsuki [Oh2] had previously proved that (3) is equivalent to (5). 1.5. Plan of the proof. In section 2 we review the definition and a few properties of finite type knot invariants, othe... |

92 |
The universal Vassiliev-Kontsevich invariant for framed oriented links, preprint hep-th/9401016
- Le, Murakami
(Show Context)
Citation Context ...pe) knot invariants are the Vassiliev invariants, [B-N1], [BL], [Va]. For the Vassiliev invariants of knots in S 3 one has: ffl an axiomatic definition, ffl a general existence theorem [B-N1], [Ko1], =-=[LM]-=-, ffl a comparison theorem to the above mentioned nonperturbative kont invariants [B-N1], [Dr], [Ka], and to the Chern-Simons theory perturbative knot invariants [BT], and finally ffl ways of calculat... |

86 |
Vassiliev’s knot invariants, Adv
- Kontsevich
- 1993
(Show Context)
Citation Context ...nite type) knot invariants are the Vassiliev invariants, [B-N1], [BL], [Va]. For the Vassiliev invariants of knots in S 3 one has: ffl an axiomatic definition, ffl a general existence theorem [B-N1], =-=[Ko1]-=-, [LM], ffl a comparison theorem to the above mentioned nonperturbative kont invariants [B-N1], [Dr], [Ka], and to the Chern-Simons theory perturbative knot invariants [BT], and finally ffl ways of ca... |

56 |
H.Wenzl, Quantum invariants of 3-manifolds associated with classical simple Lie algebras
- Turaev
- 1993
(Show Context)
Citation Context ...mples of such theories depending on a semisimple compact Lie group and an integer. Shortly afterwards, Reshetikhin-Turaev [RT1], [RT2], (and simultaneously many other authors [Koh], [Ku], [KR], [Po], =-=[TW]-=-), used equivalent initial data (namely semisimple Lie algebra and a primitive complex root of unity) as in Witten's ChernSimons theory and combinatorially defined TQFT in 2 + 1 dimensions. TQFT s in ... |

38 | An extension of Casson’s invariant - Walker - 1992 |

33 | Quantum SU(2)-invariants dominate Casson’s SU(2)invariant - Murakami - 1994 |

27 |
Topological invariants for 3-manifolds using representations of mapping class groups I, Topology 31
- Kohno
- 1992
(Show Context)
Citation Context ...nal integration) gave examples of such theories depending on a semisimple compact Lie group and an integer. Shortly afterwards, Reshetikhin-Turaev [RT1], [RT2], (and simultaneously many other authors =-=[Koh]-=-, [Ku], [KR], [Po], [TW]), used equivalent initial data (namely semisimple Lie algebra and a primitive complex root of unity) as in Witten's ChernSimons theory and combinatorially defined TQFT in 2 + ... |

23 |
Invariants of 3-manifolds derived from finite dimensional Hopf algebras
- Kauffman, Radford
- 1995
(Show Context)
Citation Context ...on) gave examples of such theories depending on a semisimple compact Lie group and an integer. Shortly afterwards, Reshetikhin-Turaev [RT1], [RT2], (and simultaneously many other authors [Koh], [Ku], =-=[KR]-=-, [Po], [TW]), used equivalent initial data (namely semisimple Lie algebra and a primitive complex root of unity) as in Witten's ChernSimons theory and combinatorially defined TQFT in 2 + 1 dimensions... |

23 | Non-involutory Hopf algebras and 3-manifold invariants
- Kuperberg
- 1996
(Show Context)
Citation Context ...egration) gave examples of such theories depending on a semisimple compact Lie group and an integer. Shortly afterwards, Reshetikhin-Turaev [RT1], [RT2], (and simultaneously many other authors [Koh], =-=[Ku]-=-, [KR], [Po], [TW]), used equivalent initial data (namely semisimple Lie algebra and a primitive complex root of unity) as in Witten's ChernSimons theory and combinatorially defined TQFT in 2 + 1 dime... |

14 |
A 1994 Complements of Discriminants of Smooth Maps
- Vassiliev
(Show Context)
Citation Context ...]. Examples of nonperturbative 3-manifold invariants are the Reshetikhin-Turaev invariants [RT2]. Examples of perturbative (or finite type) knot invariants are the Vassiliev invariants, [B-N1], [BL], =-=[Va]-=-. For the Vassiliev invariants of knots in S 3 one has: ffl an axiomatic definition, ffl a general existence theorem [B-N1], [Ko1], [LM], ffl a comparison theorem to the above mentioned nonperturbativ... |

12 | On the 3-manifold invariants of ReshetikhinTuraev for sl(2 - Kirby, Melvin - 1991 |

10 |
of 3-manifolds via link polynomials and quantum
- Invariants
- 1991
(Show Context)
Citation Context ...ns action (a not yet defined infinite dimensional integration) gave examples of such theories depending on a semisimple compact Lie group and an integer. Shortly afterwards, Reshetikhin-Turaev [RT1], =-=[RT2]-=-, (and simultaneously many other authors [Koh], [Ku], [KR], [Po], [TW]), used equivalent initial data (namely semisimple Lie algebra and a primitive complex root of unity) as in Witten's ChernSimons t... |

9 |
On the Melvin-Morton-Rozansky Conjecture, preprint
- Bar-Natan, Garoufalidis
- 1994
(Show Context)
Citation Context ...4 5 dimGmW 1 0 1 1 3 4 Let us denote by \Delta (m) (K) := d m dhm j h=0 \Delta(K )(e h ) the m th derivative of the AlexanderConway polynomial \Delta(K ) of a knot K [Ro] with the normalization as in =-=[B-NG]-=-, example 2:8. It is clear that \Delta (m) 2 FmV. Let us denote by F Special m V the vector space of special Vassiliev invariants, i.e., these whose degree m part (i.e., whose image in GmV) consists o... |

4 |
A polynomial invariant of integral homology spheres
- Ohtsuki
- 1995
(Show Context)
Citation Context ...[Ko2]. However, these invariants do not solve any of the above mentioned problems,essentially due to the absence of surgery formulas. 1.2. A review of Ohtsuki's definition. On the other hand, Ohtsuki =-=[Oh1]-=- recently defined finite type invariants for integral homology 3-spheres (ZHS for short). His definition was inspired by the notion of finite type knot invariants. Let us review his definition and int... |

3 |
On the Vassiliev Knot Invariants Preprint
- Bar-Natan
- 1992
(Show Context)
Citation Context ...of knots, [RT1]. Examples of nonperturbative 3-manifold invariants are the Reshetikhin-Turaev invariants [RT2]. Examples of perturbative (or finite type) knot invariants are the Vassiliev invariants, =-=[B-N1]-=-, [BL], [Va]. For the Vassiliev invariants of knots in S 3 one has: ffl an axiomatic definition, ffl a general existence theorem [B-N1], [Ko1], [LM], ffl a comparison theorem to the above mentioned no... |

3 |
homotopical algebra, and low-dimensional topology
- Graphs
- 1992
(Show Context)
Citation Context ...nal homology 3-sphere and ae 2 Hom( 1 (M); G) ON FINITE TYPE 3-MANIFOLD INVARIANTS I 3 (G is a fixed compact semisimple Lie group here). In cases of acyclic ae one has such invariants [AxS1], [AxS2], =-=[Ko2]-=-. However, these invariants do not solve any of the above mentioned problems,essentially due to the absence of surgery formulas. 1.2. A review of Ohtsuki's definition. On the other hand, Ohtsuki [Oh1]... |

2 |
Perturbative aspects of Chern-Simons topological quantum field theory
- Axelrod, Singer
- 1994
(Show Context)
Citation Context ... a rational homology 3-sphere and ae 2 Hom( 1 (M); G) ON FINITE TYPE 3-MANIFOLD INVARIANTS I 3 (G is a fixed compact semisimple Lie group here). In cases of acyclic ae one has such invariants [AxS1], =-=[AxS2]-=-, [Ko2]. However, these invariants do not solve any of the above mentioned problems,essentially due to the absence of surgery formulas. 1.2. A review of Ohtsuki's definition. On the other hand, Ohtsuk... |

2 |
Surgery on knots
- Lickorish
- 1976
(Show Context)
Citation Context ... type 3 knot invariant satisfying the assumptions of proposition 1.4. Figure 15 shows two knots K 3 and K 4 with the property that \Gamma1 surgery on them gives diffeomorphic ZHS. The knots appear in =-=[Li]-=- as an example of distinct knots in S 3 whose \Gamma1 surgery gives diffeomorphicsZhomology spheres. We are indebted to R. Kirby for pointing out this reference to us. Since (K \Gamma1 3 ; S 3 ) and (... |

1 |
Chern-Simons pertrubation theory
- Axelrod, Singer
- 1991
(Show Context)
Citation Context ...ere M is a rational homology 3-sphere and ae 2 Hom( 1 (M); G) ON FINITE TYPE 3-MANIFOLD INVARIANTS I 3 (G is a fixed compact semisimple Lie group here). In cases of acyclic ae one has such invariants =-=[AxS1]-=-, [AxS2], [Ko2]. However, these invariants do not solve any of the above mentioned problems,essentially due to the absence of surgery formulas. 1.2. A review of Ohtsuki's definition. On the other hand... |

1 |
On the self linking of knots, preprint
- Bott, Taubes
- 1994
(Show Context)
Citation Context ... existence theorem [B-N1], [Ko1], [LM], ffl a comparison theorem to the above mentioned nonperturbative kont invariants [B-N1], [Dr], [Ka], and to the Chern-Simons theory perturbative knot invariants =-=[BT]-=-, and finally ffl ways of calculating them, from combinatorics of chord diagrams [B-N2]. The situation with perturbative (or finite type) 3-manifold invariants is puzzling. On the one hand perturbativ... |

1 |
poly.c, available at millett@math.ucsb.edu
- Ewing, Millett
(Show Context)
Citation Context ...at J (2) (K 3 ) = J (2) (K 4 ) = \Gamma6 (this is not a surprise, since the Casson invariant exists!) but J (3) (K 3 ) = 0 6= J (3) (K 4 ) = \Gamma180. Therefore, 3 There are various programs [B-N2], =-=[EM]-=-, [Och] that calculate the Jones polynomial of knots. As a check, we used all of the above mentioned and got the same results. We thank D. Dar-Natan, L. Kauffman, K. Millet and M. Ochiai for their hel... |

1 |
Knot theory by computer, available at ochai@ics.nara-wu.ac.jp
- Ochiai
(Show Context)
Citation Context ...2) (K 3 ) = J (2) (K 4 ) = \Gamma6 (this is not a surprise, since the Casson invariant exists!) but J (3) (K 3 ) = 0 6= J (3) (K 4 ) = \Gamma180. Therefore, 3 There are various programs [B-N2], [EM], =-=[Och]-=- that calculate the Jones polynomial of knots. As a check, we used all of the above mentioned and got the same results. We thank D. Dar-Natan, L. Kauffman, K. Millet and M. Ochiai for their help in di... |

1 | A graphical approach to the 3-manifold invariants of Turaev and Viro - Polyak - 1992 |