We introduce a formula for the action of Dehn twists on the HOMFLY-PT type skein module of a surface. As an application of the formula to mapping class group, we give an embedding from the Torelli group of a surface $Σ_{g,1}$ of genus $g$ with non-empty connected boundary into the completed HOMFLY-PT type skein algebra. As an application of the formula to integral homology $3$-spheres, we construct an invariant $z(M) \in \mathbb{Q} [ρ] [[h]]$ for an integral homology $3$-sphere $M$. The invariant $z(M) \mod (h^{n+1})$ is a finite type invariant of order $n$.
This paper is a presentation, where we compute the HOMFLYPT Skein module of singular links in the 3-sphere. This calculation is based on some results previously proved by Rabenda and the author on Markov traces on singular Hecke algebras, as well as on classical techniques that allow to pass from the framework of Markov traces on Hecke algebras to the framework of HOMFLYPT Skein modules. Some open problems on singular Hecke algebras are also presented.
For a ring $R$, we denote by $R[\mathcal L]$ the free $R$-module spanned by the isotopy classes of singular links in $\mathbb S^3$. Given two invertible elements $x,t \in R$, the HOMFLY-PT skein module of singular links in $\mathbb S^3$ (relative to the triple $(R,t,x)$) is the quotient of $R[\mathcal L]$ by local relations, called skein relations, that involve $t$ and $x$. We compute the HOMFLY-PT skein module of singular links for any $R$ such that $(t^{-1}-t+x)$ and $(t^{-1}-t-x)$ are invertible. In particular, we deduce the Conway skein module of singular links.
We prove that, in order to derive the HOMFLYPT skein module of the lens spaces $L(p,1)$ from the HOMFLYPT skein module of the solid torus, $\mathcal{S}({\rm ST})$, it suffices to solve an infinite system of equations obtained by imposing on the Lambropoulou invariant $X$ for knots and links in the solid torus, braid band moves that are performed only on the first moving strand of elements in a set $Λ^{aug}$, augmenting the basis $Λ$ of $\mathcal{S}({\rm ST})$.
A homology cylinder of a surface induces an automorphism of the completed group ring of the fundamental group of the surface. We introduce a new method of computing the automorphism by using the Goldman Lie algebra of the surface or some skein algebra. In particular, we give a refinement of a formula by Kuno and Massuyeau.
We give an explicit formula for the action of the Dehn twist along a simple closed curve in a compact connected oriented surface on the completion of the filtered skein modules. To do this, we introduce filtrations of the Kauffman bracket skein algebra and the Kauffman bracket skein modules on the surface.
The oriented framed Homfly skein C of the annulus provides the natural parameter space for the Homfly satellite invariants of a knot. It contains a submodule C+ isomorphic to the algebra of the symmetric functions. We collect and expand formulae relating elements expressed in terms of symmetric functions to Turaev's geometrical basis of C+. We reformulate the formulae of Rosso and Jones for quantum sl(N) invariants of cables in terms of plethysms of symmetric functions, and use the connection between quantum sl(N) invariants and C+ to give a formula for the satellite of a cable as an element o…
We work in the reduced SU(N,K) modular category as constructed recently by Blanchet. We define spin type and cohomological refinements of the Turaev-Viro invariants of closed oriented 3-manifolds and give a formula relating them to Blanchet's invariants. Roberts' definition of the Turaev-Viro state sum is exploited. Furthermore, we construct refined Turaev-Viro and Reshetikhin-Turaev TQFT's and study the relationship between them.
In this paper we present recent results toward the computation of the HOMFLYPT skein module of the lens spaces $L(p,1)$, $\mathcal{S}\left(L(p,1) \right)$, via braids. Our starting point is the knot theory of the solid torus ST and the Lambropoulou invariant, $X$, for knots and links in ST, the universal analogue of the HOMFLYPT polynomial in ST. The relation between $\mathcal{S}\left(L(p,1) \right)$ and $\mathcal{S}({\rm ST})$ is established in \cite{DLP} and it is shown that in order to compute $\mathcal{S}\left(L(p,1) \right)$, it suffices to solve an infinite system of equations obtained b…
In this paper, we study the properties of the colored HOMFLY polynomials via HOMFLY skein theory. We prove some limit behaviors and symmetries of the colored HOMFLY polynomial predicted in some physicists' recent works.
In \cite{GZ}, Gilmer and Zhong established the existence of an invariant for links in $S^1\times S^2$ which is a rational function in variables $a$ and $s$ and satisfies the HOMFLY-PT skein relations. We give formulas for evaluating this invariant in terms of a standard, geometrically simple basis for the HOMFLY-PT skein module of the solid torus. This allows computation of the invariant for arbitrary links in $S^1\times S^2$ and shows that the invariant is in fact a Laurent polynomial in $a$ and $z= s -s^{-1}$. Our proof uses connections between HOMFLY-PT skein modules and invariants of Legen…
We show that relations in Homflypt type skein theory of an oriented $3$-manifold $M$ are induced from a $2$-groupoid defined from the fundamental $2$-groupoid of a space of singular links in $M$. The module relations are defined by homomorphisms related to string topology. They appear from a representation of the groupoid into free modules on a set of model objects. The construction on the fundamental $2$-groupoid is defined by the singularity stratification and relates Vassiliev and skein theory. Several explicit properties are discussed, and some implications for skein modules are derived.
In this paper we work toward the Homflypt skein module of the lens spaces $L(p,1)$, $\mathcal{S}(L(p,1))$, using braids. In particular, we establish the connection between $\mathcal{S}({\rm ST})$, the Homflypt skein module of the solid torus ST, and $\mathcal{S}(L(p,1))$ and arrive at an infinite system, whose solution corresponds to the computation of $\mathcal{S}(L(p,1))$. We start from the Lambropoulou invariant $X$ for knots and links in ST, the universal analogue of the Homflypt polynomial in ST, and a new basis, $Λ$, of $\mathcal{S}({\rm ST})$ presented in \cite{DL1}. We show that $\math…
The meridian maps of the full Homfly skein of the annulus are linear endomorphisms induced by the insertion of a meridian loop, with either orientation, around a diagram in the annulus. The eigenvalues of the meridian maps are known to be distinct, and are indexed by pairs of partitions of integers p and n into k and k* parts respectively. We give here an explicit formula for a corresponding eigenvector as the determinant of a (k*+k)x(k*+k) matrix whose entries are skein elements corresponding to partitions with a single part. This extends the results of Kawagoe and Lukac, for the case p=0, gi…
By using the HOMFLY skein theory. We prove a strong integrality theorem for the reduced colored HOMFLYPT invariants defined by a basis in the full HOMFLY skein of the annulus.
If M is an oriented 3-manifold, let S(M) denote the Homflypt skein module of M. We show that S(M_1 connect sum M_2) is isomorphic to S(M_1) tensor S(M_2) modulo torsion. In fact, we show that S(M_1 connect sum M_2) is isomorphic to S(M_1) tensot S(M_2) if we are working over a certain localized ring. We show the similar result holds for relative skein modules. If M contains a separating 2-sphere, we give conditions under which certain relative skein modules of M vanish over specified localized rings.
New invariants of links are constructed using the skein invariant polynomial of colored links defined by the author in [1]. These invariants are stronger than the homflypt polynomial.
In this paper, we investigate the properties of the full colored HOMFLYPT invariants in the full skein of the annulus $\mathcal{C}$. We show that the full colored HOMFLYPT invariant has a nice structure when $q\rightarrow 1$. The composite invariant is a combination of the full colored HOMFLYPT invariants. In order to study the framed LMOV type conjecture for composite invariants, we introduce the framed reformulated composite invariant $\check{\mathcal{R}}_{p}(\mathcal{L})$. By using the HOMFLY skein theory, we prove that $\check{\mathcal{R}}_{p}(\mathcal{L})$ lies in the ring $2\mathbb{Z}[(q…
In this paper we work toward the HOMFLYPT skein module of $L(p, 1)$, $\mathcal{S}(L(p,1))$, via braids. Our starting point is the linear Turaev-basis, $Λ^{\prime}$, of the HOMFLYPT skein module of the solid torus ST, $\mathcal{S}({\rm ST})$, which can be decomposed as the tensor product of the "positive" ${Λ^{\prime}}^+$ and the "negative" ${Λ^{\prime}}^-$ sub-modules, and the Lambropoulou invariant, $X$, for knots and links in ST, that captures $S({\rm ST})$. It is a well-known result by now that $\mathcal{S}(L(p, 1))=\frac{\mathcal{S}(ST)}{<bbm's>}$, where bbm's (braid band moves) denotes th…
Colored HOMFLY-PT invariant, the generalization of the colored Jones polynomial, is one of the most important quantum invariants of links. This paper is devoted to investigating the basic structures of the colored HOMFLY-PT invariants of links. By using the HOMFLY-PT skein theory, firstly, we show that the (reformulated) colored HOMFLY-PT invariants actually lie in the ring $\mathbb{Z}[(q-q^{-1})^2,t^{\pm 1}]$. Secondly, we establish some symmetric formulas for colored HOMFLY-PT invariants of links, which include the rank-level duality as an easy consequence. Finally, motivated by the Labastid…
The Murphy operators in the Hecke algebra H_n of type A are explicit commuting elements, whose symmetric functions are central in H_n. In [Skein theory and the Murphy operators, J. Knot Theory Ramif. 11 (2002), 475-492] I defined geometrically a homomorphism from the Homfly skein C of the annulus to the centre of each algebra H_n, and found an element P_m in C, independent of n, whose image, up to an explicit linear combination with the identity of H_n, is the m-th power sum of the Murphy operators. The aim of this paper is to give simple geometric representatives for the elements P_m, and to …
In this paper we give a new basis, $Λ$, for the Homflypt skein module of the solid torus, $\mathcal{S}({\rm ST})$, which was predicted by Jozef Przytycki, using topological interpretation. The basis $Λ$ is different from the basis $Λ^{\prime}$, discovered independently by Hoste--Kidwell \cite{HK} and Turaev \cite{Tu} with the use of diagrammatic methods. For finding the basis $Λ$ we use the generalized Hecke algebra of type B, $\textrm{H}_{1,n}$, defined by the second author in \cite{La2}, which is generated by looping elements and braiding elements and which is isomorphic to the affine Hecke …
Let $k$ be a subring of the field of rational functions in $x, v, s$ which contains $x^{\pm 1}, v^{\pm 1}, s^{\pm 1}$. If $M$ is an oriented 3-manifold, let $S(M)$ denote the Homflypt skein module of $M$ over $k$. This is the free $k$-module generated by isotopy classes of framed oriented links in $M$ quotiented by the Homflypt skein relations: (1) $x^{-1}L_{+}-xL_{-}=(s-s^{-1})L_{0}$; (2) $L$ with a positive twist $=(xv^{-1})L$; (3) $L\sqcup O=(\frac{v-v^{-1}}{s-s^{-1}})L$ where $O$ is the unknot. We give two bases for the relative Homflypt skein module of the solid torus with 2 points in the…
The Kauffman bracket skein module $K(M)$ of a $3$-manifold $M$ is the quotient of the $\mathbb{Q}(A)$-vector space spanned by isotopy classes of links in $M$ by the Kauffman relations. A conjecture of Witten states that if $M$ is closed then $K(M)$ is finite dimensional. We introduce a version of this conjecture for manifolds with boundary and prove a stability property for generic Dehn-filling of knots. As a result we provide the first hyperbolic examples of the conjecture, proving that almost all Dehn-fillings of any two-bridge knot satisfies the conjecture.
We introduce higher skein modules of links generalizing the Conway skein module. We show that these modules are closely connected to the HOMFLY polynomial.
Given any oriented link diagram, one can construct knot invariants using skein relations. Usually such a skein relation contains three or four terms. In this paper, the author introduces several new ways to smooth a crossings, and uses a system of skein equations to construct link invariant. This invariant can also be modified by writhe to get a more powerful invariant. The modified invariant is a generalization of both the HOMFLYPT polynomial and the two-variable Kauffman polynomial. Using the diamond lemma, a simplified version of the modified invariant is given. It is easy to compute and is…
Given an invariant J(K) of a knot K, the corresponding (1,1)-tangle invariant J'(K)=J(K)/J(U) is defined as the quotient of J(K) by its value J(U) on the unknot U. We prove here that J' is always an integer 2-variable Laurent polynomial when J is the Homfly satellite invariant determined by decorating K with any eigenvector of the meridian map in the Homfly skein of the annulus. Specialisation of the 2-variable polynomials for suitable choices of eigenvector shows that the (1,1)-tangle irreducible quantum sl(N) invariants of K are integer 1-variable Laurent polynomials.
We prove the existence of a polynomial invariant that satisfies the HOMFLY skein relation for links in a lens space. In the process we also develop a skein theory of toroidal grid diagrams in a lens space.
The main goal is to find the Homfly polynomial of a link formed by decorating each component of the Hopf link with the closure of a directly oriented tangle. Such decorations are spanned in the Homfly skein of the annulus by elements Q_λ, depending on partitions λ. We show how to find the 2-variable Homfly invariant <λ,μ> of the Hopf link arising from decorations Q_λand Q_μin terms of the Schur symmetric function s_μof an explicit power series depending on λ. We show also that the quantum invariant of the Hopf link coloured by irreducible sl(N)_q modules V_λand V_μ, which is a 1-variable speci…
We define the singular Hecke algebra ${\mathcal H} (SB_n)$ as the quotient of the singular braid monoid algebra ${\mathbb C} (q) [SB_n]$ by the Hecke relations $σ_k^2 = (q-1) σ_k +q$, $1 \le k\le n-1$, and define the Markov traces on the sequence $\{{\mathcal H}(SB_n)\}_{n=1}^{+\infty}$ in the same way as for the Markov traces on the tower of (non-singular) Hecke algebras of the symmetric groups. We prove that the Markov traces are in one-to-one correspondance with the invariants that satisfies some skein relation, and compute an explicit classification of the Markov traces. Thanks to this cla…
In this survey paper we present results about link diagrams in Seifert manifolds using arrow diagrams, starting with link diagrams in $F\times S^1$ and $N\hat{\times}S^1$, where $F$ is an orientable and $N$ an unorientable surface. Reidemeister moves for such arrow diagrams make the study of link invariants possible. Transitions between arrow diagrams and alternative diagrams are presented. We recall results about %the knot group presentation for lens spaces and the Kauffman bracket and HOMFLYPT skein modules of some Seifert manifolds using arrow diagrams, namely lens spaces, a product of a di…
We introduce the deformed fermionic numbers, corresponding to the skein relations, the main characteristics of knots and links. These fermionic numbers allow one to restore the skein relations. For the Alexander (Jones) skein relation we introduce corresponding Alexander (Jones) fermionic q-numbers, and for the HOMFLY skein relation - the HOMFLY deformed (p,q)-numbers with one fermionic parameter.
The aim of this paper is to define two link invariants satisfying cubic skein relations. In the hierarchy of polynomial invariants determined by explicit skein relations they are the next level of complexity after Jones, HOMFLY, Kauffman and Kuperberg's $G_2$ quantum invariants. Our method consists in the study of Markov traces on a suitable tower of quotients of cubic Hecke algebras extending Jones approach.
Starting from the free field realization of Kac-Moody Lie algebra, we define a generalized Yang-Yang function. Then for the Lie algebra of type $A_{n}$, we derive braiding and fusion matrix by braiding the thimble from the generalized Yang-Yang function. One can construct a knots invariant $H(K)$ from the braiding and fusion matrix. It is an isotropy invariant and obeys a skein relation. From them, we show that the corresponding knots invariant is HOMFLY polynomial.
We introduce new skein invariants of links based on a procedure where we first apply the skein relation only to crossings of distinct components, so as to produce collections of unlinked knots. We then evaluate the resulting knots using a given invariant. A skein invariant can be computed on each link solely by the use of skein relations and a set of initial conditions. The new procedure, remarkably, leads to generalizations of the known skein invariants. We make skein invariants of classical links, $H[R]$, $K[Q]$ and $D[T]$, based on the invariants of knots, $R$, $Q$ and $T$, denoting the reg…
Given any oriented link diagram, two types of new knot invariants are constructed. They satisfy some generalized skein relations. The coefficients of each invariant is from a commutative ring. Homomorphisms and representations of those rings define new link invariants. For example, the HOMFLYPT polynomial with three variables. In this sense, type one invariant is a generalization of the HOMFLYPT polynomial. Those invariants can also be modified by writhe and parameterized to get more powerful invariants. For example, the modified type one invariant distinguishes mutants, and the parameterized …
We study the skein relation that governs the HOMFLYPT invariant of links colored by one-column Young diagrams. Our main result is a categorification of this colored skein relation. This takes the form of a homotopy equivalence between two one-sided twisted complexes constructed from Rickard complexes of singular Soergel bimodules associated to braided webs. Along the way, we prove a conjecture of Beliakova--Habiro relating the colored 2-strand full twist complex with the categorical ribbon element for quantum $\mathfrak{sl}_2$.
The generalized Dehn twist along a closed curve in an oriented surface is an algebraic construction which involves intersections of loops in the surface. It is defined as an automorphism of the Malcev completion of the fundamental group of the surface. As the name suggests, for the case where the curve has no self-intersection, it is induced from the usual Dehn twist along the curve. In this expository article, after explaining their definition, we review several results about generalized Dehn twists such as their realizability as diffeomorphisms of the surface, their diagrammatic description …
In this paper, we present several new structures for the colored HOMFLY-PT invariants of framed links. First, we prove the strong integrality property for the normalized colored HOMFLY-PT invariants by purely using the HOMFLY-PT skein theory developed by H. Morton and his collaborators. By this strong integrality property, we immediately obtain several symmetric properties for the full colored HOMFLY-PT invariants of links. Then, we apply our results to refine the mathematical structures appearing in the Labastida-Mariño-Ooguri-Vafa (LMOV) integrality conjecture for framed links. As another ap…
In~\cite{Kim} the author generalized the Conway algebra and constructed the invariant valued in the generalized Conway algebra defined by applying two skein relations to crossings, which is called a generalized Conway type invariant. The generalized Conway type invariant is a generalization of Homflypt polynomial. In this paper we show that an example of links, which have the same value of Homflypt polynomial, but have different values of the generalized Conway type invariant. We study a properties of Conway type invariant related to Vassiliev invariant. In section 3 we discuss about further r…
Let k be an integral domain containing the invertible elements α, s and \frac{1}{s-s^{-1}}. If M is an oriented 3-manifold, let K(M) denote the Kauffman skein module of M over k. Based on the work on Birman-Murakami-Wenzl algebra by Beliakova and Blanchet, we give an ``idempotent-like'' basis for the Kauffman skein module of handlebodies. Gilmer and Zhong have studied the Homflypt skein modules of a connected sum of two 3-manifolds, here we study the case for the Kauffman skein module and show that K(M_1 # M_2) is isomorphic to K(M_1) tensor K(M_2) over a certain localized ring, where M_1 # M_…
The Homflypt and Kauffman skein modules of the projective space are computed. Both are free and generated by some infinite set of links. This set may be chosen to be L_n, where L_n is an arbitrary link consisting of n projective lines for n>0, and L_0 is an affine unknot.
Following the recent work by Chan, and by Morton and Hadji on the Homflypt polynomials of some generalized Hopf links, we investigate the Kauffman polynomials of generalized Hopf links. By studying the Kauffman skein module of the solid torus S^1\times D^2, we establish a similar skein map on the Kauffman skein module of S^1\times D^2 which has distinct eigenvalues. Furthermore we are able to calculate the Kauffman polynomials of some specific generalized Hopf links.
We equip a knot $K$ with a set of colored bonds, that is, colored intervals properly embedded into $\mathbb{R}^3 \setminus K$. Such a construction can be viewed as a structure that topologically models a closed protein chain including any type of bridges connecting the backbone residues. We introduce an invariant of such colored bonded knots that respects the HOMFLYPT relation, namely the HOMFLYPT skein module of colored bonded knots. We show that the rigid version of the module is freely generated by colored $Θ$-curves and handcuff links, while the non-rigid version is freely generated by the…
We introduce a new class of quantum enhancements we call biquandle brackets, which are customized skein invariants for biquandle colored links.Quantum enhancements of biquandle counting invariants form a class of knot and link invariants that includes biquandle cocycle invariants and skein invariants such as the HOMFLY-PT polynomial as special cases, providing an explicit unification of these apparently unrelated types of invariants. We provide examples demonstrating that the new invariants are not determined by the biquandle counting invariant, the knot quandle, the knot group or the traditio…
We study relations between cluster algebra invariants and link invariants. First, we show that several constructions of positroid links (permutation links, Richardson links, grid diagram links, plabic graph links) give rise to isotopic links. For a subclass of permutations arising from concave curves, we also provide isotopies with the corresponding Coxeter links. Second, we associate a point count polynomial to an arbitrary locally acyclic quiver. We conjecture an equality between the top $a$-degree coefficient of the HOMFLY polynomial of a plabic graph link and the point count polynomial of …
We study a topological aspect of rank-1 double affine Hecke algebra (DAHA). Clarified is a relationship between the DAHA of A1-type (resp. CC1-type) and the skein algebra on a once-punctured torus (resp. a 4-punctured sphere), and the SL(2;Z) actions of DAHAs are identified with the Dehn twists on the surfaces. Combining these two types of DAHA, we construct the DAHA representation for the skein algebra on a genus-two surface, and we propose a DAHA polynomial for a double-torus knot, which is a simple closed curve on a genus two Heegaard surface in S3. Discussed is a relationship between the D…
