|
|
| Line 1: |
Line 1: |
| In the [[knot theory|mathematical theory of knots]], a '''finite type invariant''', or '''[[Victor Anatolyevich Vassiliev|Vassiliev]] invariant''', is a [[knot invariant]] that can be extended (in a precise manner to be described) to an invariant of certain singular knots that vanishes on singular knots with ''m'' + 1 singularities and does not vanish on some singular knot with 'm' singularities. It is then said to be of '''type''' or '''order m'''.
| | Alyson Meagher is the title her parents gave her but she doesn't like when individuals use her complete title. My spouse and I reside in Kentucky. To perform lacross is something he would never give up. She works as a journey agent but soon she'll be on her own.<br><br>Here is my web-site online psychic ([http://myoceancounty.net/groups/apply-these-guidelines-when-gardening-and-grow/ Learn More Here]) |
| | |
| We give the combinatorial definition of finite type invariant due to Goussarov, and (independently) [[Joan Birman]] and [[Xiao-Song Lin]]. Let ''V'' be a knot invariant. Define ''V''<sup>1</sup> to be defined on a knot with one transverse singularity.
| |
| | |
| Consider a knot ''K'' to be a smooth embedding of a circle into <math> \mathbb R^3</math>. Let ''K''' be a smooth [[immersion (mathematics)|immersion]] of a circle into <math> \mathbb R^3</math> with one transverse double point. Then <math> V^1(K') = V(K_+) - V(K_-)</math>, where <math>K_+</math> is obtained from ''K'' by resolving the double point by pushing up one strand above the other, and ''K_-'' is obtained similarly by pushing the opposite strand above the other. We can do this for maps with two transverse double points, three transverse double points, etc., by using the above relation. For ''V'' to be of finite type means precisely that there must be a positive integer m such that ''V'' vanishes on maps with ''m'' + 1 transverse double points.
| |
| | |
| Furthermore, note that there is notion of equivalence of knots with singularities being transverse double points and ''V'' should respect this equivalence. There is also a notion of finite type invariant for [[3-manifold]]s.
| |
| | |
| ==Examples==
| |
| The simplest nontrivial Vassiliev invariant of knots is given by the coefficient of the quadratic term of the [[Alexander–Conway polynomial]]. It is an invariant of order two. Modulo two, it is equal to the [[Arf invariant (knot)|Arf invariant]].
| |
| | |
| Any coefficient of the [[Kontsevich invariant]] is a finite type invariant.
| |
| | |
| The [[Milnor invariants]] are finite type invariants of [[string link]]s.<ref>{{citation
| |
| |title=The Kontsevich integral and Milnor's invariants
| |
| |journal=Topology
| |
| |first1=Nathan
| |
| |last1=Habegger
| |
| |first2=Gregor
| |
| |last2=Masbaum
| |
| |volume=39
| |
| |year=2000
| |
| |issue=6
| |
| |pages=1253–1289
| |
| |doi=10.1016/S0040-9383(99)00041-5
| |
| |postscript=, [http://people.math.jussieu.fr/~masbaum/K39.ps.gz preprint].
| |
| }}</ref>
| |
| | |
| ==Invariants representation==
| |
| Michael Polyak and [[Oleg Viro]] gave a description of the first nontrivial invariants of orders 2 and 3 by means of '''Gauss diagram representations'''. Mikhail N. Goussarov has proved that all Vassiliev invariants can be represented that way.
| |
| | |
| ==The universal Vassiliev invariant==
| |
| In 1993, [[Maxim Kontsevich]] proved the following important theorem about Vassiliev invariants: For every knot one can compute an integral, now called the [[Kontsevich integral]], which is a '''universal Vassiliev invariant''', meaning that every Vassiliev invariant can be obtained from it by an appropriate evaluation. It is not known at present whether the Kontsevich integral, or the totality of Vassiliev invariants, is a [[knot invariant#Complete Invariants|complete knot invariant]]. Computation of the Kontsevich integral, which has values in an [[Algebra over a field|algebra]] of [[chord diagram]]s, turns out to be rather difficult and has been done only for a few classes of knots up to now. There is no finite-type invariant of degree less than 11 which distinguishes [[mutant knot]]s.<ref>http://www.f.waseda.jp/murakami/papers/finitetype.pdf</ref>
| |
| | |
| ==References==
| |
| <references/>
| |
| | |
| *Victor A. Vassiliev, ''Cohomology of knot spaces.'' Theory of singularities and its applications, 23–69, Adv. Soviet Math., 1, [[American Mathematical Society|Amer. Math. Soc.]], Providence, RI, 1990.
| |
| *J. Birman and X-S Lin, ''Knot polynomials and Vassiliev's invariants.'' [[Inventiones Mathematicae|Invent. Math.]], 111, 225–270 (1993)
| |
| *{{cite journal|last=Bar-Natan|first=Dror|title=On the Vassiliev knot invariants|journal=Topology|date=1995|volume=34|issue=2|pages=423–472|doi=10.1016/0040-9383(95)93237-2|accessdate=21 December 2012}}
| |
| | |
| ==External links==
| |
| *{{mathworld | urlname = VassilievInvariant| title = Vassiliev Invariant}}
| |
| | |
| {{Knot theory}}
| |
| | |
| {{DEFAULTSORT:Finite Type Invariant}}
| |
| [[Category:Knot invariants]]
| |
| [[Category:3-manifolds]]
| |
Alyson Meagher is the title her parents gave her but she doesn't like when individuals use her complete title. My spouse and I reside in Kentucky. To perform lacross is something he would never give up. She works as a journey agent but soon she'll be on her own.
Here is my web-site online psychic (Learn More Here)