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.
We modify the definition of spherical knotoids to include a framing, in analogy to framed knots, and define a further modification that includes a secondary 'coframing' to obtain 'biframed' knotoids. We exhibit topological spaces whose ambient isotopy classes are in one-to-one correspondence with framed and biframed knotoids respectively. We then show how framed and biframed knotoids allow us to generalize quantum knot invariants to a knotoid setting, leading to the construction of general Reshetikhin-Turaev type biframed knotoid invariants.
We discuss Vassiliev invariants for virtual knots, expanding upon the theory of quantum virtual knot invariants developed in arXiv:1509.00578. In particular, following the theory of quantum invariants we work with 'rotational' virtual knots. We define chord diagrams, weight systems, and give examples of Lie algebra weight systems of rotational virtual knots. We end with a discussion of extended quantum invariants, which capture information that standard quantum invariants of rotational virtuals cannot.
A connect sum formula for the two variable series invariant of a complement of knot is proposed. We provide two kinds of numerical evidence for the proposed formula by examining various torus knots.
We study the Vassiliev knot invariant v_2 of degree 2. We present it via the degrees of maps of various configuration spaces related to a knot to products of spheres. This gives rise to numerous geometrical and combinatorial formulas for this invariant.
We define counting and cocycle enhancement invariants of virtual knots using parity biquandles. These invariants are determined by pairs consisting of a biquandle 2-cocycle ϕ^0 and a map ϕ^1 with certain compatibility conditions leading to one-variable or two-variable polynomial invariants of virtual knots. We provide examples to show that the parity cocycle invariants can distinguish virtual knots which are not distinguished by the corresponding non-parity invariants.
We give necessary conditions of a surface-knot to be ribbon concordant to another, by introducing a new variant of the cocycle invariant of surface-knots in addition to using the invariant already known. We demonstrate that twist-spins of some torus knots are not ribbon concordant to their orientation reversed images.
We construct smooth concordance invariants of knots which take the form of piecewise linear maps from [0,1] to R, one for each n greater than or equal to 2. These invariants arise from sl(n) knot cohomology. We verify some properties which are analogous to those of the invariant Upsilon (which arises from knot Floer homology), and some which differ. We make some explicit computations and give some topological applications. Further to this, we define a concordance invariant from equivariant sl(n) knot cohomology which subsumes many known concordance invariants arising from quantum knot cohomolo…
We show that two knots have matching Vassiliev invariants of order less than n if and only if they are equivalent modulo the nth group of the lower central series of some pure braid group, thus characterizing Vassiliev's knot invariants in terms of the structure of the braid groups. We also prove some results about knots modulo the nth derived subgroups of the pure braid groups, and about knots modulo braid subgroups in general.
The state-sum invariants for knots and knotted surfaces defined from quandle cocycles are described using the Kronecker product between cycles represented by colored knot diagrams and a cocycle of a finite quandle used to color the diagram. Such an interpretation is applied to evaluating the invariants. Algebraic interpretations of quandle cocycles as deformations of extensions are also given. The proofs rely on colored knot diagrams.
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 theory of quandle (co)homology and cocycle knot invariants is rapidly being developed. We begin with a summary of these recent advances. One such advance is the notion of a dynamical cocycle. We show how dynamical cocycles can be used to color knotted surfaces that are obtained from classical knots by twist-spinning. We also demonstrate relations between cocycle invariants and Alexander matrices.
Three new knot invariants are defined using cocycles of the generalized quandle homology theory that was proposed by Andruskiewitsch and Graña. We specialize that theory to the case when there is a group action on the coefficients. First, quandle modules are used to generalize Burau representations and Alexander modules for classical knots. Second, 2-cocycles valued in non-abelian groups are used in a way similar to Hopf algebra invariants of classical knots. These invariants are shown to be of quantum type. Third, cocycles with group actions on coefficient groups are used to define quandle co…
I follow Y. Yokota to explain how to obtain a tetrahedron decomposition of the complement of a hyperbolic knot and compare it with the asymptotic behavior of Kashaev's link invariant using the figure-eight knot as an example.
The 2-twist spun trefoil is an example of a sphere that is knotted in 4-dimensional space. Here this example is shown to be distinct from the same sphere with the reversed orientation. To demonstrate this fact a state-sum invariant for classical knots and knotted surfaces is developed via a cohomology theory of racks and quandles (also known as distributive groupoids). A quandle is a set with a binary operation --- the axioms of which model the Reidemeister moves in the classical theory of knotted and linked curves in 3-space. Colorings of diagrams of knotted curves and surfaces by quandle ele…
We define an invariant of welded virtual knots from each finite crossed module by considering crossed module invariants of ribbon knotted surfaces which are naturally associated with them. We elucidate that the invariants obtained are non trivial by calculating explicit examples. We define welded virtual graphs and consider invariants of them defined in a similar way.
Kashaev's invariants for a knot in a three sphere are generalized to invariants of a knot in a three manifold. A relation between the newly constructed invariants and the hyperbolic volume of the knot complement is observed for some knots in lens spaces.
We define and study a bigraded knot invariant whose Euler characteristic is the Alexander polynomial, closely connected to knot Floer homology. The invariant is the homology of a chain complex whose generators correspond to Kauffman states for a knot diagram. The definition uses decompositions of knot diagrams: to a collection of points on the line, we associate a differential graded algebra; to a partial knot diagram, we associate modules over the algebra. The knot invariant is obtained from these modules by an appropriate tensor product.
To each rail knotoid we associate two unoriented knots along with their oriented counterparts, thus deriving invariants for rail knotoids based on these associations. We then translate them to invariants of rail isotopy for rail arcs.
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…
We introduce shadow structures for singular knot theory. Precisely, we define \emph{two} invariants of singular knots and links. First, we introduce a notion of action of a singquandle on a set to define a shadow counting invariant of singular links which generalize the classical shadow colorings of knots by quandles. We then define a shadow polynomial invariant for shadow structures. Lastly, we enhance the shadow counting invariant by combining both the shadow counting invariant and the shadow polynomial invariant. Explicit examples of computations are given.
We construct knot invariants categorifying the quantum knot variants for all representations of quantum groups. We show that these invariants coincide with previous invariants defined by Khovanov for sl(2) and sl(3) and by Mazorchuk-Stroppel and Sussan for sl(n). Our technique uses categorifications of the tensor product representations of Kac-Moody algebras and quantum groups, constructed a prequel to this paper. These categories are based on the pictorial approach of Khovanov and Lauda. In this paper, we show that these categories are related by functors corresponding to the braiding and (co…
We introduce two sequences of two-variable polynomials $\{ L^n_K (t, \ell)\}_{n=1}^{\infty}$ and $\{ F^n_K (t, \ell)\}_{n=1}^{\infty}$, expressed in terms of index value of a crossing and $n$-dwrithe value of a virtual knot $K$, where $t$ and $\ell$ are variables. Basing on the fact that $n$-dwrithe is a flat virtual knot invariant we prove that $L^n_K$ and $F^n_K$ are virtual knot invariants containing Kauffman affine index polynomial as a particular case. Using $L^n_K$ we give sufficient conditions when virtual knot does not admit cosmetic crossing change.
This paper deals with the study of a new family of knot invariants: the $L^2$-Alexander invariant. A main result is to give a method of computation of the $L^2$-Alexander invariant of a knot complement using any presentation of default 1 of the knot group.
A homogeneous knot is a generalization of alternating knots and positive knots. We determine the Rasmussen invariant of a homogeneous knot. This is a new class of knots such that the Rasmussen invariant is explicitly described in terms of its diagrams. As a corollary, we obtain some characterizations of a positive knot. In particular, we recover Baader's theorem which states that a knot is positive if and only if it is homogeneous and strongly quasipositive.
A relation between the two-variable series knot invariant and the Akutus-Deguchi-Ohtsuki(ADO)-invariant was conjectured recently. We reinforce the conjecture by presenting explicit formulas and/or an algorithm for certain ADO-invariants of torus knots obtained from the series invariant of complement of a knot. Furthermore, one parameter deformation of ADO_3-polynomial of torus knots is provided.
We construct graph-valued analogues of the Kuperberg sl(3) and G2 invariants for virtual knots. The restriction of the sl(3) or G2 invariants for classical knots coincides with the usual Homflypt sl(3) invariant and G2 invariants. For virtual knots and graphs these invariants provide new graphical information that allows one to prove minimality theorems and to construct new invariants for free knots (unoriented and unlabeled Gauss codes taken up to abstract Reidemeister moves). A novel feature of this approach is that some knots are of sufficient complexity that they evaluate themselves in the…
We define and study Vassiliev invariants for (long) Morse knots. It is shown that there are Vassiliev invariants which can distinguish some topologically equivalent Morse knots. In particular, there is an invariant of order 3 for Morse knots with one maximum that distinguishes two different representations of the figure eight knot. We also present the results of computer calculations for some invariants of low order. It turns out that for Morse knots with two maxima there is a Z/2-valued invariant of order 6 which is not a reduction of any integer-valued invariant.
We construct a new order 1 invariant for knot diagrams. We use it to determine the minimal number of Reidemeister moves needed to pass between certain pairs of knot diagrams.
We give a formula of the Upsilon invariant of any L-space cable knot $K_{p,q}$ using $p,Υ_K$ and $Υ_{T_{p,q}}$. The integral value of the Upsilon invariant gives a ${\mathbb Q}$-valued knot concordance invariant. We compute the integral values for L-space iterated cable knots.
It is known that knot Floer homology detects the genus and Alexander polynomial of a knot. We investigate whether knot Floer homology of $K$ detects more structure of minimal genus Seifert surfaces for $K$. We define an invariant of algebraically slice, genus one knots and provide examples to show that knot Floer homology does not detect this invariant. Finally, we remark that certain metabelian $L^2$-signatures bound this invariant from below.
For a knot in the 3-sphere, the Upsilon invariant is a piecewise linear function defined on the interval [0,2]. For an L-space knot, the Upsilon invariant is determined only by the Alexander polynomial of the knot. We exhibit infinitely many pairs of hyperbolic L-space knots such that two knots of each pair have distinct Alexander polynomials, so they are not concordant, but share the same Upsilon invariant. Conversely, we examine the restorability of the Alexander polynomial of an L-space knot from the Upsilon invariant through the Legendre-Fenchel transformation.
This paper introduces two virtual knot theory ``analogues'' of a well-known family of invariants for knots in thickened surfaces: the Grishanov-Vassiliev finite-type invariants of order two. The first, called the three loop isotopy invariant, is an invariant of virtual knots while the second, called the three loop framed isotopy invariant, is a regular isotopy invariant of framed virtual knots. The properties of these invariants are investigated at length. In addition, we make precise the informal notion of ``analogue''. Using this formal definition, it is proved that a generalized three loop …
Using the theory of involutive Heegaard Floer knot theory developed by Hendricks-Manolescu, we define two involutive analogs of the Upsilon knot concordance invariant of Ozsvath-Stipsicz-Szabo. These involutive invariants are piecewise linear functions defined on the interval [0,2]. Each is a concordance invariant and provides bounds on the three-genus of a knot.
We look into computational aspects of two classical knot invariants. We look for ways of simplifying the computation of the coloring invariant and of the Alexander module. We support our ideas with explicit computations on pretzel knots.
The knot invariant Upsilon, defined by Ozsvath, Stipsicz, and Szabo, induces a homomorphism from the smooth knot concordance group to the group of piecewise linear functions on the interval [0,2]. Here we define a set of related secondary invariants, each of which assigns to a knot a piecewise linear function on [0,2]. These secondary invariants provide bounds on the genus and concordance genus of knots. Examples of knots for which Upsilon vanishes but which are detected by these secondary invariants are presented.
In this work we describe a new invariant of virtual knots. We show that this transcendental function invariant generalizes several polynomial invariants of virtual knots, such as the writhe polynomial, the affine index polynomial and the zero polynomial.
We refine the Polyak-Viro Gauss diagram formula for the Vassiliev invariant of order two in a very simple way for the 2-cable of a framed long knot. Surprisingly, the resulting isotopy invariant of framed knots can detect already the non-invertibility of knots. This makes the natural generalization of our invariant for all n-component string link satellites of a framed long knot to a candidate for distinguishing all classical knots.
State-sum invariants for knotted curves and surfaces using quandle cohomology were introduced by Laurel Langford and the authors in math.GT/9903135 In this paper we present methods to compute the invariants and sample computations. Computer calculations of cohomological dimensions for some quandles are presented. For classical knots, Burau representations together with Maple programs are used to evaluate the invariants for knot table. For knotted surfaces in 4-space, movie methods and surface braid theory are used. Relations between the invariants and symmetries of knots are discussed.
We present two different constructions of invariants for Legendrian knots in the standard contact space $\R^3$. These invariants are defined combinatorially, in terms of certain planar projections, and are useful in distinguishing Legendrian knots that have the same classical invariants but are not Legendrian isotopic.
We set forth a definition of hyperfinite knots. Loosely speaking, these are limits of certain sequences of knots with increasing crossing number. These limits exist in appropriate closures of quotient spaces of knots. We give examples of hyperfinite knots. These examples stem from an application of the Thermodynamic Limit to the CJKLS invariant of knots.
We introduce a new algebraic topological technique to detect non-fibred knots in the three sphere using the twisted Alexander invariants. As an application, we show that for any Seifert matrix of a knot with a nontrivial Alexander polynomial, there exist infinitely many non-fibered knots with the given Seifert matrix. We illustrate examples of knots that have trivial Alexander polynomials but do not have twisted Alexander invariants of fibred knots.
Vassiliev introduced filtered invariants of knots using an unknotting operation, called crossing changes. Goussarov, Polyak, and Viro introduced other filtered invariants of virtual knots, which order is called GPV-order, using an unknotting operation, called virtualization. We defined other filtered invariants, which order is called $F$-order, of virtual knots using an unknotting operation, called forbidden moves. In this paper, we show that the set of virtual knot invariants of $F$-order $\le n+1$ is strictly stronger than that of $F$-order $\le n$ and that of GPV-order $\le 2n+1$. To obtain…
I present a formula for the Casson invariant of knots associated with divides. The formula is written in terms of Arnold's invariants of pieces of the divide. Various corollaries are discussed.
In this article, we consider the maximal value of the Thurston--Bennequin invariant of Legendrian knots which topologically represent a fixed knot type in the standard contact 3-space and we prove a formula of the value under the connected sum operation of knots.
We generalize C. Van Cott's results on the $τ$ and $s$-invariants of cabled knots to apply to general satellite knots. This paper uses no Heegaard-Floer homology, relying on more geometric techniques.
We introduce a theory of virtual Legendrian knots. A virtual Legendrian knot is a cooriented wavefront on an oriented surface up to Legendrian isotopy of its lift to the unit cotangent bundle and stabilization and destablization of the surface away from the wavefront. We show that the groups of Vassiliev invariants of virtual Legendrian knots and of virtual framed knots are isomorphic. In particular, Vassiliev invariants cannot be used to distinguish virtual Legendrian knots that are isotopic as virtual framed knots and have equal virtual Maslov numbers.
The knot coloring polynomial defined by Eisermann for a finite pointed group is generalized to an infinite pointed group as the longitudinal mapping invariant of a knot. In turn this can be thought of as a generalization of the quandle 2-cocycle invariant for finite quandles. If the group is a topological group then this invariant can be thought of a topological generalization of the 2-cocycle invariant. The longitudinal mapping invariant is based on a meridian-longitude pair in the knot group. We also give an interpretation of the invariant in terms of quandle colorings of a 1-tangle for gene…
We construct an invariant of virtual knots which is a sliceness obstruction and sensitive to the $Δ$-move. This invariants works if $\Z_{2}\oplus \Z_{2}$-index of chords is present.
For ordinary knots in R3, there are no degree one Vassiliev invariants. For virtual knots, however, the space of degree one Vassiliev invariants is infinite dimensional. We introduce a sequence of three degree one Vassiliev invariants of virtual knots of increasing strength. We demonstrate that the strongest invariant is a universal Vassiliev invariant of degree one for virtual knots in the sense that any other degree one Vassiliev invariant can be recovered from it by a certain natural construction. To prove these results, we extend the based matrix invariant introduced by Turaev for virtual …