Goussarov, Mikhail; Polyak, Michael; Viro, Oleg Finite-type invariants of classical and virtual knots. (English) Zbl 1006.57005 Topology 39, No. 5, 1045-1068 (2000). Summary: We observe that any knot invariant extends to virtual knots. The isotopy classification problem for virtual knots is reduced to an algebraic problem formulated in terms of an algebra of arrow diagrams. We introduce a new notion of finite type invariant and show that the restriction of any such invariant of degree \(n\) to classical knots is an invariant of degree \(\leq n\) in the classical sense. A universal invariant of degree \(\leq n\) is defined via a Gauss diagram formula. This machinery is used to obtain explicit formulas for invariants of low degrees. The same technique is also used to prove that any finite type invariant of classical knots is given by a Gauss diagram formula. We introduce the notion of \(n\)-equivalence of Gauss diagrams and announce virtual counterparts of results concerning classical \(n\)-equivalence. Cited in 16 ReviewsCited in 242 Documents MSC: 57M27 Invariants of knots and \(3\)-manifolds (MSC2010) 57M25 Knots and links in the \(3\)-sphere (MSC2010) Keywords:Vassiliev invariants; Gauss diagram PDFBibTeX XMLCite \textit{M. Goussarov} et al., Topology 39, No. 5, 1045--1068 (2000; Zbl 1006.57005) Full Text: DOI arXiv