Finite Type Invariants

On the Goussarov-Polyak-Viro Finite-Type Invariants and the Virtualization Move

In this paper, it is shown that there are no nonconstant Goussarov-Polyak-Viro finite-type invariants that are invariant under the virtualization move. As an immediate corollary, we obtain the theorem which states none of the Birman coefficients of the Jones-Kauffman polynomial are of GPV finite type.

Free groups and finite type invariants of pure braids

Finite type invariants (also known as Vassiliev invariants) of pure braids are considered from a group-theoretic point of view. New results include a construction of a universal invariant with integer coefficients based on the Magnus expansion of a free group and a calculation of numbers of independent invariants of each type for all pure braid groups.

Hyperbolic three-manifolds with trivial finite type invariants

We construct a hyperbolic three-manifold with trivial finite type invariants up to a given degree.

Goussarov-Polyak-Viro combinatorial formulas for finite type invariants

Goussarov, Polyak, and Viro proved that finite type invariants of knots are ``finitely multi-local'', meaning that on a knot diagram, sums of quantities, defined by local information, determine the value of the knot invariant. The result implies the existence of Gauss diagram combinatorial formulas for finite type invariants. This article presents a simplified account of the original approach. The simplifications provide an easy generalization to the cases of pure tangles and pure braids. The associated problem on group algebras is introduced and used to prove the existence of ``multi-local wo…

Finite type invariants of nanowords and nanophrases

Homotopy classes of nanowords and nanophrases are combinatorial generalizations of virtual knots and links. Goussarov, Polyak and Viro defined finite type invariants for virtual knots and links via semi-virtual crossings. We extend their definition to nanowords and nanophrases. We study finite type invariants of low degrees. In particular, we show that the linking matrix and T invariant defined by Fukunaga are finite type of degree one and degree two respectively. We also give a finite type invariant of degree 4 for open homotopy of Gauss words.

同调3-球面中纽结的泛有限型不变量

A universal finite type invariant of knots in homology 3-spheres

针对同调3-球面中纽结的泛有限型不变量问题，本文指出现有候选不变量在一般情况下不够强大，通过细化其构造提出了一种严格更强的新不变量，并证明其为同调3-球面中纽结的泛有限型不变量。

Link-homotopy Invariants of Finite Type

An explicit polynomial in the linking numbers $l_{ij}$ and Milnor's triple linking numbers $μ(rst)$ on six component links is shown to be a well-defined finite type link-homotopy invariant. This solves a problem raised by B. Mellor and D. Thurston. An extension of our construction also produces a finite type link invariant which detects the invertibility for some links.

Cubic complexes and finite type invariants

Cubic complexes appear in the theory of finite type invariants so often that one can ascribe them to basic notions of the theory. In this paper we begin the exposition of finite type invariants from the `cubic' point of view. Finite type invariants of knots and homology 3-spheres fit perfectly into this conception. In particular, we get a natural explanation why they behave like polynomials.

Finite type invariants for knotoids

We extend the theory of Vassiliev (or finite type) invariants for knots to knotoids using two different approaches. Firstly, we take closures on knotoids to obtain knots and we use the Vassiliev invariants for knots, proving that these are knotoid isotopy invariant. Secondly, we define finite type invariants directly on knotoids, by extending knotoid invariants to singular knotoid invariants via the Vassiliev skein relation. Then, for spherical knotoids we show that there are non-trivial type-1 invariants, in contrast with classical knot theory where type-1 invariants vanish. We give a complet…

On the Existence of Finite Type Link Homotopy Invariants

We show that for links with at most 5 components, the only finite type homotopy invariants are products of the linking numbers. In contrast, we show that for links with at least 9 components, there must exist finite type homotopy invariants which are not products of the linking numbers. This corrects previous errors of the first author.

Finite type invariants and Milnor invariants for Brunnian links

A link L in the 3-sphere is called Brunnian if every proper sublink of L is trivial. In a previous paper, the first author proved that the restriction to Brunnian links of any Goussarov-Vassiliev finite type invariant of (n+1)-component links of degree<2n is trivial. The purpose of this paper is to study the first nontrivial case. We will show that the restriction of an invariant of degree 2n to (n+1)-component Brunnian links can be expressed as a quadratic form on the Milnor link-homotopy invariants of length n+1.

Finite-type Invariants of Long and Framed Virtual Knots

We generalize three invariants, first discovered by A. Henrich, to the long and/or framed virtual knot case. These invariants are all finite-type invariants of order one, and include a universal one. The generalization will require us to extend the notion of a based matrix of a virtual string, first introduced by V. Turaev and later generalized by Henrich, to the long and framed cases.

Brunnian links, claspers and Goussarov-Vassiliev finite type invariants

We prove that if n\ge1, then an (n+1)-component Brunnian link L in a connected, oriented 3-manifold is C_n-equivalent to an unlink. We also prove that if n\ge2, then L can not be distinguished from an unlink by any Goussarov-Vassiliev finite type invariant of degree<2n.

Finite type invariants of 3-manifolds

A theory of finite type invariants for arbitrary compact oriented 3-manifolds is proposed, and illustrated through many examples arising from both classical and quantum topology. The theory is seen to be highly non-trivial even for manifolds with large first betti number, encompassing much of the complexity of Ohtsuki's theory for homology spheres. (For example, it is seen that the quantum SO(3) invariants, though not of finite type, are determined by finite type invariants.) The algebraic structure of the set of all finite type invariants is investigated, along with a combinatorial model for …

Some computational results on mod 2 finite-type invariants of knots and string links

We publish a table of primitive finite-type invariants of order less than or equal to six, for knots of ten or fewer crossings. We note certain mod-2 congruences, one of which leads to a chirality criterion in the Alexander polynomial. We state a computational result on mod-2 finite-type invariants of 2-strand string links.

Finite Type Link Homotopy Invariants

Bar-Natan used Chinese characters to show that finite type invariants classify string links up to homotopy. In this paper, I construct the correct spaces of chord diagrams and Chinese characters for links up to homotopy. I use these spaces to show that the only rational finite type invariants of link homotopy are the pairwise linking numbers of the components.

Finite type invariants of knots via their Seifert matrices

We define a filtration on the vector space spanned by Seifert matrices of knots related to Vassiliev's filtration on the space of knots. Further we show that the invariants of knots derived from the filtration can be expressed by coefficients of the Alexander polynomial.

A Representation Theorem for Knots and a Generalization of the Fundamental Theorem of Finite Type Invariants

We provide a way to produce knots in $S^3$ from signed chord diagrams, and prove that every knot can be produced in this way. Using these diagrams, we generalize the fundamental theorem of finite type invariants. We also provide moves for the diagrams so that any two diagrams for the same knot are connected by a sequence of moves.

Theta-curve polynomials and finite-type invariants

The normalized Yamada polynomial is a polynomial invariant in variable A for theta-curves. In this work, we show that the coefficients of the power series obtained from this polynomial by the substitution A=e^x=1+x+x^2/2+x^3/6+... are finite-type invariants for theta-curves although the coefficients of original polynomial are not. A similar result can be obtained in the case of Yokota polynomial for theta-curves.

Link invariants from finite categorical groups

We define an invariant of tangles and framed tangles given a finite crossed module and a pair of functions, called a Reidemeister pair, satisfying natural properties. We give several examples of Reidemeister pairs derived from racks, quandles, rack and quandle cocycles, and central extensions of groups. We prove that our construction includes all rack and quandle cohomology (framed) link invariants, as well as the Eisermann invariant of knots. We construct a class of Reidemeister pairs which constitute a lifting of the Eisermann invariant, and show through an example that this class is strictl…

Free Knots, Groups, and Finite-Type Invariants

Based on a recently introduced by the author notion of {\em parity}, in the present paper we construct a sequence of invariants (indexed by natural numbers $m$) of long virtual knots, valued in certain simply-defined group ${\tilde G}_{m}$ (the Cayley graphs of these groups are represented by grids in the $(m+1)$-space); the conjugacy classes of elements of $G_{m}$ play the role of invariants of {\em compact} virtual knots. By construction, all invariants do not change under {\em virtualization}. Factoring the group algebra of the corresponding group by certain polynomial relations leads to fi…

A Lattice of Finite-Type Invariants of Virtual Knots

We construct an infinite commutative lattice of groups whose dual spaces give Kauffman finite-type invariants of long virtual knots. The lattice is based "horizontally" upon the Polyak algebra and extended "vertically" using Manturov's functorial map $f$. For each $n$, the $n$-th vertical line in the lattice contains an infinite dimensional subspace of Kauffman finite-type invariants of degree $n$. Moreover, the lattice contains infinitely many inequivalent extensions of the Conway polynomial to long virtual knots, all of which satisfy the same skein relation. Bounds for the rank of each group…

Twisting $L^2$-invariants with finite-dimensional representations

We investigate how one can twist L^2-invariants such as L^2-Betti numbers and L^2-torsion with finite-dimensional representations. As a special case we assign to the universal covering of a finite connected CW-complex X together with an element phi in H^1(X;R) a phi-twisted L^2-torsion function from R^{>0} to R, provided that the fundamental group of X is residually finite and its universal covering is L^2-acyclic.

Finite Type Link Concordance Invariants

This paper is a generalization of the author's previous work on link homotopy to link concordance. We show that the only real-valued finite type link concordance invariants are the linking numbers of the components.

A formula in the theory of finite type invariants

A formula for the difference of Vassiliev invariants of degree k+1 of two knots all of whose Vassiliev invariants of degree k agree is proven. The proof uses K. Habiro's C-moves and his theorem which relates them to Vassiliev invariants.

L^2-Invariants of Finite Aspherical CW-Complexes

Let $X$ be a finite aspherical CW-complex whose fundamental group $π_1(X)$ possesses a subnormal series $π_1(X) \rhd G_m \rhd ... \rhd G_0$ with a non-trivial elementary amenable group $G_0$. We investigate the $L^2$-invariants of the universal covering of such a CW-complex $X$. We show that the Novikov-Shubin invariants $α_n({\tilde X})$ are positive. We further prove that the $L^2$-torsion $ρ^{(2)}({\tilde X})$ vanishes if $π_1(X)$ has semi-integral determinant.

Milnor and finite type invariants of plat-closures

We show that for an $n$-component, $n$-bridge link and a positive integer $m$, the following is true: If the longitudes of $L$ lie in the $(m+2)$-th term of the lower central series of the link group then all the finite type invariants of orders $\leq m$ for $L$ are the same as these of the $n$-component unlink.

Quantum invariants and finite group actions on three-manifolds

A 3-manifold $M$ is said to be $p$-periodic ($p\geq 2$ an integer) if and only if the finite cyclic group of order $p$ acts on $M$ with a circle as the set of fixed points. This paper provides a criterion for periodicity of rational homology three-spheres. Namely, we give a necessary condition for a rational homology three-sphere to be periodic with a prime period. This condition is given in terms of the quantum SU(3) invariant. We also discuss similar results for the Murakami-Ohtsuki-Okada invariant.

拓扑同胚与有限型不变量

Topological isotopy and finite type invariants

研究证明有限型不变量能够区分$S^3$中的PL链接当且仅当Rolfen问题有肯定答案，并讨论了相关不变量的性质。

Finite Order q-Invariants of Immersions of Surfaces into 3-Space

Given a surface F, we are interested in Z/2 valued invariants of immersions of F into R^3, which are constant on each connected component of the complement of the quadruple point discriminant in Imm(F,R^3). Such invariants will be called ``q-invariants.'' Given a regular homotopy class A in Imm(F,R^3), we denote by V_n(A) the space of all q-invariants on A of order <= n. We show that if F is orientable, then for each regular homotopy class A and each n, dim(V_n(A) / V_{n-1}(A)) <= 1.

On knot invariants which are not of finite type

We observe that most known results of the form "v is not a finite-type invariant" follow from two basic theorems. Among those invariants which are not of finite type, we discuss examples which are "ft-independent" and examples which are not. We introduce (n,q)-finite invariants, which are generalizations of finite-type invariants based on Fox's (n,q) congruence classes of knots.

A polynomial invariant of finite quandles

We define a two-variable polynomial invariant of finite quandles. In many cases this invariant completely determines the algebraic structure of the quandle up to isomorphism. We use this polynomial to define a family of link invariants which generalize the quandle counting invariant.

Finite type invariants of 3-manifolds

This is a survey article on finite type invariants of 3-manifolds written for the Encyclopedia of Mathematical Physics to be published by Elsevier.

Braid commutators and delta finite-type invariants

Delta finite-type invariants are defined analogously to finite-type invariants, using delta moves instead of crossing changes. We show that they are closely related to the lower central series of the commutator subgroup of the pure braid group.

Link invariants from finite racks

We define ambient isotopy invariants of oriented knots and links using the counting invariants of framed links defined by finite racks. These invariants reduce to the usual quandle counting invariant when the rack in question is a quandle. We are able to further enhance these counting invariants with 2-cocycles from the coloring rack's second rack cohomology satisfying a new degeneracy condition which reduces to the usual case for quandles.

Link invariants from finite Coxeter racks

We study Coxeter racks over $\mathbb{Z}_n$ and the knot and link invariants they define. We exploit the module structure of these racks to enhance the rack counting invariants and give examples showing that these enhanced invariants are stronger than the unenhanced rack counting invariants.

Finite Type Invariants of Links with Fixed Linking Matrix

In this paper we introduce two theories of finite type invariants for framed links with fixed linking matrix. We show that these thepries are related to the theory of Vassiliev invariants of framed links. We also study the corresponding spaces of ``chord diagrams''.

Triviality of the Odd-Degree Part of the Space of Three-Loop Finite-Type Invariants

Withdrawn by the author in favour of math.GT/0511602

An invariant of finite group actions on shifts of finite type

We describe a pair of invariants for actions of finite groups on shifts of finite type, the left-reduced and right-reduced shifts. The left-reduced shift was first constructed by U. Fiebig, who showed that its zeta function is an invariant, and in fact equal to the zeta function of the quotient dynamical system. We also give conditions for expansivity of the quotient, and applications to combinatorial group theory, knot theory and topological quantum field theory.

Braids on surfaces and finite type invariants

We prove that there is no functorial universal finite type invariant for braids in $Σ\times I$ if the genus of $Σ$ is positive.

Some Dimensions of Spaces of Finite Type Invariants of Virtual Knots

We compute many dimensions of spaces of finite type invariants of virtual knots (of several kinds) and the dimensions of the corresponding spaces of "weight systems", finding everything to be in agreement with the conjecture that "every weight system integrates".

Link invariants from finite biracks

A birack is an algebraic structure with axioms encoding the blackboard-framed Reidemeister moves, incorporating quandles, racks, strong biquandles and semiquandles as special cases. In this paper we extend the counting invariant for finite racks to the case of finite biracks. We introduce a family of biracks generalizing Alexander quandles, $(t,s)$-racks, Alexander biquandles and Silver-Williams switches, known as $(τ,σ,ρ)$-biracks. We consider enhancements of the counting invariant using writhe vectors, image subbiracks, and birack polynomials.

Finite Type Invariants of Classical and Virtual Knots

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 at most n in the classical sense. A universal invariant of degree at most 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…

The Lagrangian filtration of the mapping class group and finite-type invariants of homology spheres

In a recent paper we defined a new filtration of the mapping class group--the "Lagrangian" filtration. We here determine the successive quotients of this filtration, up to finite index. As an application we show that, for any additive invariant of finite-type (e.g. the Casson invariant), and any level of the Lagrangian filtration, there is a homology 3-sphere which has a Heegaard decomposition whose gluing diffeomorphism lies at that level, on which this invariant is non-zero. In a final section we examine the relationship between the Johnson and Lagrangian filtrations.

Finite type knot invariants and calculus of functors

We associate a Taylor tower supplied by calculus of the embedding functor to the space of long knots and study its cohomology spectral sequence. The combinatorics of the spectral sequence along the line of total degree zero leads to chord diagrams with relations as in finite type knot theory. We show that the spectral sequence collapses along this line and that the Taylor tower represents a universal finite type knot invariant.

Detecting the orientation of long links by finite type invariants

We prove the existence of a degree 7 Vassiliev invariant of long (or string) two-component links which is not preserved under the simultaneous change of orientation of both components. The non-invertibility of this invariant can be detected by the standard weight system with values in the tensor square of the universal enveloping algebra for $\gl(n)$.

Simplified numerical form of universal finite type invariant of Gauss words

In the present paper, we study the finite type invariants of Gauss words. In the Polyak algebra techniques, we reduce the determination of the group structure to transformation of a matrix into its Smith normal form and we give the simplified form of a universal finite type invariant by means of the isomorphism of this transformation. The advantage of this process is that we can implement it as a computer program. We obtain the universal finite type invariant of degree 4, 5, and 6 explicitly. Moreover, as an application, we give the complete classification of Gauss words of rank 4 and the part…

Finite Type Enhancements

We enhance the biquandle counting invariant using elements of truncated biquandle-labeled Polyak algebras. These finite type enhancements reduce to the finite type enhancements defined by Goussarov, Polyak and Viro for the trivial biquandle of one element and determine (but are not determined by) the biquandle counting invariant for general biquandles. Unlike the unlabeled case, biquandle labeled finite type invariants of degree 1 are nontrivial and are related to biquandle cocycle invariants.

Branched cyclic covers and finite type invariants

This work identifies a class of moves on knots which translate to $m$-equivalences of the associated $p$-fold branched cyclic covers, for a fixed $m$ and any $p$ (with respect to the Goussarov-Habiro filtration.) These moves are applied to give a flexible (if specialised) construction of knots for which the Casson-Walker-Lescop invariant (for example) of their $p$-fold branched cyclic covers may be readily calculated, for any choice of $p$. In the second part of this paper, these operations are illustrated by some theorems concerning the relationship of knot invariants obtained from finite typ…

Link invariants from finite categorical groups and braided crossed modules

We define an invariant of tangles and framed tangles given a finite crossed module and a pair of functions, called a Reidemeister pair, satisfying natural properties. We give several examples of Reidemeister pairs derived from racks, quandles, rack and quandle cocycles, 2-crossed modules and braided crossed modules. We prove that our construction includes all rack and quandle cohomology (framed) link invariants, as well as the Eisermann invariant of knots, for which we also find a lifting by using braided crossed modules.

On volume-preserving vector fields and finite type invariants of knots

We consider the general nonvanishing, divergence-free vector fields defined on a domain in three space and tangent to its boundary. Based on the theory of finite type invariants, we define a family of invariants for such fields, in the style of Arnold's asymptotic linking number. Our approach is based on the configuration space integrals due to Bott and Taubes.

The Witten-Reshetikhin-Turaev invariants of finite order mapping tori II

We identify the leading order term of the asymptotic expansion of the Witten-Reshetikhin-Turaev invariants for finite order mapping tori with classical invariants for all simple and simply-connected compact Lie groups. The square root of the Reidemeister torsion is used as a density on the moduli space of flat connections and the leading order term is identified with the integral over this moduli space of this density weighted by a certain phase for each component of the moduli space. We also identify this phase in terms of classical invariants such as Chern-Simons invariants, eta invariants, …