A holonomic knot is a knot in 3-space which arises as the 2-jet extension of a smooth function on the circle. A holonomic knot associated to a generic function is naturally framed by the blackboard framing of the knot diagram associated to the 1-jet extension of the function. There are two classical invariants of framed knot diagrams: the Whitney index (rotation number) W and the self linking number S. For a framed holonomic knot we show that W is bounded above by the negative of the braid index of the knot, and that the sum of W and |S| is bounded by the negative of the Euler characteristic of any Seifert surface of the knot. The invariant S restricted to framed holonomic knots with W=m, is proved to split into n, where n is the largest natural number with 2n < |m|+1, integer invariants. Using this, the framed holonomic isotopy classification of framed holonomic knots is shown to be more refined than the regular isotopy classification of their diagrams.
We show that for a large class of contact 3-manifolds the groups of Vassiliev invariants of Legendrian and of framed knots are canonically isomorphic. As a corollary, we obtain that the group of finite order Arnold's $J^+$-type invariants of wave fronts on a surface $F$ is isomorphic to the group of Vassiliev invariants of framed knots in the spherical cotangent bundle $ST^*F$ of $F$. On the other hand we construct the first examples of contact manifolds for which Vassiliev invariants of Legendrian knots can distinguish Legendrian knots that realize isotopic framed knots and are homotopic as L…
We extend knot contact homology to a theory over the ring $\mathbb{Z}[λ^{\pm 1},μ^{\pm 1}]$, with the invariant given topologically and combinatorially. The improved invariant, which is defined for framed knots in $S^3$ and can be generalized to knots in arbitrary manifolds, distinguishes the unknot and can distinguish mutants. It contains the Alexander polynomial and naturally produces a two-variable polynomial knot invariant which is related to the $A$-polynomial.
Let $f:S^1\to R$ be a generic map. We may use $f$ to define a new map $\tilde{f}:S^1\to R^3$ by $\tilde{f}(t) = (-f(t),f'(t),-f''(t))$, and if $f$ is an embedding then the image of $\tilde{f}$ will be a knot. Knots defined by such parametrizations are called holonomic knots. They were introduced in 1997 by Vassiliev, who proved that every knot type can be represented by a holonomic knot. Our main result is that any two holonomic knots which represent the same knot type are isotopic in the space of holonomic knots. A second result emerges through the techniques used to prove the main result: st…
We show that for a big class of contact manifolds the groups of order $\leq n$ invariants (with values in an arbitrary Abelian group) of Legendrian, of transverse and of framed knots are canonically isomorphic. On the other hand for an arbitrary cooriented contact structure on $S^1\times S^2$ with the nonzero Euler class of the contact bundle we construct examples of Legendrian homotopic Legendrian knots $K_1$ and $K_2$ such that they realize isotopic framed knots but can be distinguished by finite order invariants of Legendrian knots in $S^1\times S^2$. We construct similar examples for a big…
We consider the following question: when is the manifold obtained by gluing together two knot complements an $L$-space? Hedden and Levine proved that splicing 0-framed complements of nontrivial knots never produces an $L$-space. We extend this result to allow for arbitrary integer framings. We find that splicing two integer framed nontrivial knot complements only produces an $L$-space if both knots are $L$-space knots and the framings lie in an appropriate range. The proof involves a careful analysis of the bordered Heegaard Floer invariants of each knot complement.
A. Henrich proved the existence of the universal finite-type invariant of order one for virtual knots. We extend the construction and the methods of her paper to framed virtual knots. To do so, we introduce the notions of virtual strings and based matrices for framed flat virtual 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.
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 …
The study of the Vassiliev invariants of Legendrian knots was started by D. Fuchs and S. Tabachnikov who showed that the groups of complex-valued Vassiliev invariants of Legendrian and of framed knots in the standard contact $R^3$ are canonically isomorphic. Recently we constructed the first examples where Vassiliev invariants of Legendrian and of framed knots are different, and Vassiliev invariants of Legendrian knots distinguish Legendrian knots that are isotopic as framed knots and homotopic as Legendrian immersions. This raised the question what information about Legendrian knots can be ca…
We generalize Ng's two-variable algebraic/combinatorial $0$-th framed knot contact homology for framed oriented knots in $S^3$ to knots in $S^1 \times S^2$, and prove that the resulting knot invariant is the same as the framed cord algebra of knots. Actually, our cord algebra has an extra variable, which potentially corresponds to the third variable in Ng's three-variable knot contact homology. Our main tool is Lin's generalization of the Markov theorem for braids in $S^3$ to braids in $S^1 \times S^2$. We conjecture that our framed cord algebras are always finitely generated for non-local kno…
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.
It is well-known that self-linking is the only Z valued Vassiliev invariant of framed knots in S^3. However for most 3-manifolds, in particular for the total spaces of S^1-bundles over an orientable surface F not S^2, the space of Z-valued order one invariants is infinite dimensional. We give an explicit formula for the order one invariant I of framed knots in orientable total spaces of S^1-bundles over an orientable not necessarily compact surface F not S^2. We show that if F is not S^2 or S^1 X S^1, then I is the universal order one invariant, i.e. it distinguishes every two framed knots tha…
We introduce a new knot diagram invariant called the Self-Crossing Index (SCI). Using SCI, we provide bounds for unknotting two families of framed unknots. For one of these families, unknotting using framed Reidemeister moves is significantly harder than unknotting using regular Reidemeister moves. We also investigate the relation between SCI and Arnold's curve invariant St, as well as the relation with Hass and Nowik's invariant, which generalizes cowrithe. In particular, the change of SCI under Ω3 moves depends only on the forward/backward character of the move, similar to how the change of …
We present an invariant of a three-dimensional manifold with a framed knot in it based on the Reidemeister torsion of an acyclic complex of Euclidean geometric origin. To show its nontriviality, we calculate the invariant for some framed (un)knots in lens spaces. Our invariant is related to a finite-dimensional fermionic topological quantum field theory.
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.
We introduce BV-algebra structures on the homology of the space of framed long knots in $\mathbb{R}^n$ in two ways. The first one is given in a similar fashion to Chas-Sullivan's string topology. The second one is defined on the Hochschild homology associated with a cyclic, multiplicative operad of graded modules. The latter can be applied to Bousfield-Salvatore spectral sequence converging to the homology of the space of framed long knots. Conjecturally these two structures coincide with each other.
The number $|K|$ of non-isotopic framed knots that correspond to a given unframed knot $K\subset S^3$ is infinite. This follows from the existence of the self-linking number $\slk$ of a zerohomologous framed knot. We use the approach of Vassiliev-Goussarov invariants to construct ``affine self-linking numbers'' that are extensions of $\slk$ to the case of nonzerohomologous framed knots. As a corollary we get that $|K|=\infty$ for all knots in an oriented (not necessarily compact) 3-manifold $M$ that is not realizable as a connected sum $(S^1\times S^2) # M'$. This result for compact manifolds …
We introduce and study the writhe of a permutation, a circular variant of the well-known inversion number. This simple permutation statistics has several interpretations, which lead to some interesting properties. For a permutation sampled uniformly at random, we study the asymptotics of the writhe, and obtain a non-Gaussian limit distribution. This work is motivated by the study of random knots. A model for random framed knots is described, which refines the Petaluma model. The distribution of the framing in this model is equivalent to the writhe of random permutations.
The following is a long-standing open question: "If the zero-framed surgeries on two knots in the 3-sphere are integral homology cobordant, are the knots themselves concordant?" We show that an obvious rational version of this question has a negative answer. Namely, we give examples of knots whose zero-framed surgeries are rational homology cobordant 3-manifolds, wherein the knots are not rationally concordant (that is not concordant in any rational homology S^3 x [0,1]). Specifically, we prove that, for any positive integer p and any knot K, the zero framed surgery on K is Z[1/p]-homology cob…
We define two concordance invariants of knots using framed instanton homology. These invariants $ν^\sharp$ and $τ^\sharp$ provide bounds on slice genus and maximum self-linking number, and the latter is a concordance homomorphism which agrees in all known cases with the $τ$ invariant in Heegaard Floer homology. We use $ν^\sharp$ and $τ^\sharp$ to compute the framed instanton homology of all nonzero rational Dehn surgeries on: 20 of the 35 nontrivial prime knots through 8 crossings, infinite families of twist and pretzel knots, and instanton L-space knots; and of 19 of the first 20 closed hyper…
The Yokonuma-Hecke algebras are quotients of the modular framed braid group and they support Markov traces. In this paper, which is sequel to Juyumaya and Lambropoulou (2007), we explore further the structures of the $p$-adic framed braids and the $p$-adic Yokonuma-Hecke algebras constructed in Juyumaya and Lambropoulou (2007), by means of dense sub-structures approximating $p$-adic elements. We also construct a $p$-adic Markov trace on the $p$-adic Yokonuma-Hecke algebras and we approximate the values of the $p$-adic trace on $p$-adic elements. Surprisingly, the Markov traces do not re-scale …
Kirchhoff energy is a classical functional on the space of arclength-parameterized framed curves whose critical points approximate configurations of springy elastic rods. We introduce a generalized functional on the space of framed curves of arbitrary parameterization, which model rods with axial stretch or cross-sectional inflation. Our main result gives explicit parameterizations for all periodic critical framed curves for this generalized functional. The main technical tool is a correspondence between the moduli space of shape similarity classes of closed framed curves and an infinite-dimen…
A sequence $f_n(q)$ is $q$-holonomic if it satisfies a nontrivial linear recurrence with coefficients polynomials in $q$ and $q^n$. Our main theorems state that $q$-holonomicity is preserved under twisting, i.e., replacing $q$ by $ωq$ where $ω$ is a complex root of unity, and under the substitution $q \to q^α$ where $α$ is a rational number. Our proofs are constructive, work in the multivariate setting of $\partial$-finite sequences and are implemented in the Mathematica package HolonomicFunctions. Our results are illustrated by twisting natural $q$-holonomic sequences which appear in quantum …
Let $\mathcal {M}$ be the space of all, including singular, long knots in 3-space and for which a fixed projection into the plane is an immersion. Let $cl(Σ^{(1)}_{iness})$ be the closure of the union of all singular knots in $\mathcal {M}$ with exactly one ordinary double point and such that the two resolutions represent the same (non singular) knot type. We call $Σ^{(1)}_{iness}$ the {\em inessential walls} and we call $\mathcal {M}_{ess} = \mathcal {M} \setminus cl(Σ^{(1)}_{iness})$ the {\em essential diagram space}. We construct a non trivial class in $H^1(\mathcal {M}_{ess}; \mathbb{Z}[A,…
We produce a facial state sum on plane diagrams of a knot or a link which admits an invariant specialization under Polyak's recent set of generating of 4 Reidemeister moves. Thus an isotopy invariant of framed links is obtained. Each state is a complete coloring of the faces of the diagram into white and black faces so that no two black faces share an edge. Each state induces a monomial in a ring of 16 variables. The sum of the states, properly specialized defines the new invariant. In despite of its simplicity it complements Jones invariant in distinguishing mirror pairs of links. In particul…
We prove that the colored HOMFLY polynomial of a link, colored by symmetric or exterior powers of the fundamental representation, is q-holonomic with respect to the color parameters. As a result, we obtain the existence of an (a,q) super-polynomial of all knots in 3-space. Our result has implications on the quantization of the SL(2,C) character variety of knots using ideal triangulations or the topological recursion, and motivates questions on the web approach to representation theory.
We consider the question: "If the zero-framed surgeries on two oriented knots in the 3-sphere are integral homology cobordant, preserving the homology class of the positive meridians, are the knots themselves concordant?" We show that this question has a negative answer in the smooth category, even for topologically slice knots. To show this we first prove that the zero-framed surgery on K is Z-homology cobordant to the zero-framed surgery on many of its winding number one satellites P(K). Then we prove that in many cases the tau and s-invariants of K and P(K) differ. Consequently neither tau …
For a knot $K,$ a slope $r$ is said to be characterizing if for no other knot $J$ does $r$-framed surgery along $J$ yield the same manifold as $r$-framed surgery on $K.$ Applying a condition of Baker and Motegi, we show that the knots $T_{2,2n+3}\#T_{-2,2n+1}$ have infinitely many non-characterizing slopes.
This article addresses the two significant aspects of Ozsváth and Szabó's knot Floer cube of resolutions that differentiate it from Khovanov and Rozansky's HOMFLY-PT chain complex: (1) the use of twisted coefficients and (2) the appearance of a mysterious non-local ideal. Our goal is to facilitate progress on Rasmussen's conjecture that a spectral sequence relates the two knot homologies. We replace the language of twisted coefficients with the more quantum topological language of framings on trivalent graphs. We define a homology theory for framed trivalent graphs with boundary that -- for a …
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 SL_3 colored Jones polynomial of the trefoil knot is a $q$-holonomic sequence of two variables with natural origin, namely quantum topology. The paper presents an explicit set of generators for the annihilator ideal of this $q$-holonomic sequence as a case study. On the one hand, our results are new and useful to quantum topology: this is the first example of a rank 2 Lie algebra computation concerning the colored Jones polynomial of a knot. On the other hand, this work illustrates the applicability and computational power of the employed computer algebra methods.
We prove that the HOMFLYPT polynomial of a link, colored by partitions with a fixed number of rows is a $q$-holonomic function. Specializing to the case of knots colored by a partition with a single row, it proves the existence of an $(a,q)$ super-polynomial of knots in 3-space, as was conjectured by string theorists. Our proof uses skew Howe duality that reduces the evaluation of web diagrams and their ladders to a Poincare-Birkhoff-Witt computation of an auxiliary quantum group of rank the number of strings of the ladder diagram.
The colored Jones function of a knot is a sequence of Laurent polynomials in one variable, whose n-th term is the Jones polynomial of the knot colored with the n-dimensional irreducible representation of SL(2). It was recently shown by TTQ Le and the author that the colored Jones function of a knot is q-holonomic, ie, that it satisfies a nontrivial linear recursion relation with appropriate coefficients. Using holonomicity, we introduce a geometric invariant of a knot: the characteristic variety, an affine 1-dimensional variety in C^2. We then compare it with the character variety of SL_2(C) r…
We generalize H. Seifert's algorithm for finding a Seifert surface for a knot or link. The generalization applies to "framed oriented measured lamination links." For knots, a Seifert surface determines a unique framing. In our setting, we analyze the set of framed lamination links which bound Seifert laminations and are carried by an $S^1$-fibered tube neighborhood of an oriented train track embedded in a 3-manifold.
We recursively determine the homotopy type of the space of any irreducible framed link in the 3-sphere, modulo rotations. This leads us to the homotopy type of the space of any knot in the solid torus, thus answering a question posed by Arnold. We similarly study spaces of unframed links in the 3-sphere, modulo rotations, and spaces of knots in the thickened torus. The subgroup of meridional rotations splits as a direct factor of the fundamental group of the space of any framed link except the unknot. Its generators can be viewed as generalizations of the Gramain loop in the space of long knot…
This paper establishes a new technique that enables us to access some fundamental structural properties of instanton Floer homology. As an application, we establish, for the first time, a relation between the instanton Floer homology of a $3$-manifold or a null-homologous knot inside a $3$-manifold and the Heegaard diagram of that $3$-manifold or knot. We further use this relation to compute the instanton knot homology of some families of $(1,1)$-knots, including all torus knots in $S^3$, which were mostly unknown before. As a second application, we also study the relation between the instanto…
We define a coalgebra structure for open strings transverse to any framed codimension 2 submanifold. When the submanifold is a knot in R^3, we show this structure recovers a specialization of the Ng cord algebra, a non-trivial knot invariant which is not determined by a number of other knot invariants.
We study the representation spaces $R(K;\bf{i})$ as appearing in Kronheimer and Mrowka's framed instanton knot Floer homology, for a class of pretzel knots. In particular, for pretzel knots $P(p,q,r)$ with $p, q, r$ pairwise coprime, these appear to be non-degenerate and comprise representations in SU(2) that are not binary dihedral.
We give a method for obtaining infinitely many framed knots which represent a diffeomorphic 4-manifold. We also study a relationship between the $n$-shake genus and the 4-ball genus of a knot. Furthermore we give a construction of homotopy 4-spheres from a slice knot with unknotting number one.
The Witten-Reshetikhin-Turaev invariant of classical link diagrams is generalized to virtual link diagrams. This invariant is unchanged by the framed Reidemeister moves and the Kirby calculus. As a result, it is also an invariant of the 3-manifolds represented by the classical link diagrams. This generalization is used to demonstrate that there are virtual knot diagrams with a non-trivial Witten-Reshetikhin-Turaev invariant and trivial 3-manifold fundamental group.
Let $M_n$ be the topological moduli space of all parallel n-cables of long framed oriented knots in 3-space. We construct in a combinatorial way for each natural number $n>1$ a 1-cocycle $R_n$ which represents a non trivial class in $H^1(M_n; \mathbb{Z} [x_1,x_2,...,x_1^{-1},x_2^{-1},...])$, where the number of variables $x_m$ depends on $n$. To each generic point in $M_n$ we associate in a canonical way an arc {\em scan} in $M_n$, such that $R_n(scan)$ is already a polynomial knot invariant. We show that $R_3(scan)$ detects the non-invertibility of the knot $8_{17}$ in a very simple way and w…
We extend to the long virtual knot case the constructions first presented by A. Henrich and later generalized by the author to the framed virtual knot case. These consist of three Vassiliev invariants of order one, including a universal one, as well as the notions of a based matrix and a singular based matrix and their relation to long flat virtual knots.
In this paper we construct a new basis for the cyclotomic completion of the center of the quantum $\mathfrak{gl}_N$ in terms of the interpolation Macdonald polynomials. Then we use a result of Okounkov to provide a dual basis with respect to the quantum Killing form (or Hopf pairing). The main applications are: 1) cyclotomic expansions for the $\mathfrak{gl}_N$ Reshetikhin--Turaev link invariants and the universal $\mathfrak{gl}_N$ knot invariant; 2) an explicit construction of the unified $\mathfrak{gl}_N$ invariants for integral homology 3-spheres using universal Kirby colors. These results …
It is well-known that a knot in a contact manifold $(M,C)$ transverse to a trivialized contact structure possesses the natural framing given by the first of the trivialization vectors along the knot. If the Euler class $e_C\in H^2(M)$ of $C$ is nonzero, then $C$ is nontrvivializable and the natural framing of transverse knots does not exist. We construct a new framing-type invariant of transverse knots called relative framing. It is defined for all tight $C$, all closed irreducible atoroidal $M$, and many other cases when $e_C\neq 0$ and the classical framing invariant is not defined. We show …
We investigate the $q$-holonomic properties of a class of link invariants based on quantum group representations with vanishing quantum dimensions, motivated by the search for the invariants' realization in physics. Some of the best known invariants of this type, constructed from `typical' representations of the unrolled quantum group $\mathcal U^H_{ζ_{2r}}(\mathfrak{sl}_2)$ at a $2r$-th root of unity, were introduced by Akutsu-Deguchi-Ohtsuki (ADO). We prove that the ADO invariants for $r\geq 2$ are a $q$-holonomic family, implying in particular that they satisfy recursion relations that are …
We define homotopy-theoretic invariants of knots in prime 3-manifolds. Fix a knot J in a prime 3-manifold M. Call a knot K in M concordant to J if it cobounds a properly embedded annulus with J in MxI, and call K J-characteristic if there is a degree-one map f:M --> M throwing K onto J and mapping M-K to M-J. These invariants are invariants of concordance and of J-characteristicness when f induces the identity on the fundamental group of M, and may be viewed as extensions of Milnor's invariants. We do not require the knots considered here to be rationally null-homologous or framed.
