Pulling back the weight system associated with the exceptional Lie algebra G_2 by a modification of the universal Vassiliev-Kontsevich invariant yields a link invariant; extending it to 3-nets, we derive a recursive algorithm for its evaluation.
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.
We calculate the Kauffman bracket skein module (KBSM) of the complement of all two-bridge links. For a two-bridge link, we show that the KBSM of its complement is free over the ring $\BC[t^{\pm 1}]$ and when reducing $t=-1$, it is isomorphic to the ring of regular functions on the character variety of the link group.
Michigan State University(密歇根州立大学);Section de Mathématiques, Université de Genève(日内瓦大学数学系);Beijing Institute of Mathematical Sciences and Applications(北京应用数学与计算科学研究所)
We introduce higher skein modules of links generalizing the Conway skein module. We show that these modules are closely connected to the HOMFLY polynomial.
We study the behavior of the Witten-Reshetikhin-Turaev SU(2) invariants of links in L(p,q) as a function of the level r-2. They are given by 1 over the square root of r times one of p Laurent polynomials evaluated at e to the 2 pi i divided by 4pr. The congruence class of r modulo p determines which polynomial is applicable. If p is zero modulo four, the meridian of L(p,q) is non-trivial in the skein module but has trivial Witten-Reshetikhin-Turaev SU(2) invariants. On the other hand, we show that one may recover the element in the Kauffman bracket skein module of L(p,q) represented by a link …
Pulling back the weight systems associated with the exceptional Lie algebras and their standard representations by a modification of the universal Vassiliev-Kontsevich invariant yields link invariants; extending them to coloured 3-nets, we derive for each of them a skein relation.
We generalize our previous work on categorification of Kauffman bracket skein module of surfaces, by extending our homology to tangles in cylinders over surfaces, F x [0,1]. Our homology of 0-tangles and 1-tangles in D^3 coincides (up to normalization) with Khovanov link homology and the reduced Khovanov link homology. We prove the basic properties of our homology. In particular, the short exact sequence of homologies of skein related tangles and the Kunneth formula for the tensor product of tangles.
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.
Graded spherical skein 2+1-G-HQFT and modified Turaev-Viro invariants
Institut de Mathématiques de Toulouse(图卢兹数学研究所);Utah State University(犹他州立大学);Univ Bretagne Sud, CNRS UMR 6205, LMBA(布列塔尼南部大学,法国国家科学研究中心联合研究单位6205,LMBA)
本文提出基于 G 分级的染色映射和 skein 模块,用于定义 2+1-G-HQFT,并恢复修改后的 Turaev-Viro 三维不变量。
Algebra Situs is a branch of mathematics which has its roots in Jones' construction of his polynomial invariant of links and Drinfeld's work on quantum groups. It encompasses the theory of quantum invariants of knots and 3-manifolds, algebraic topology based on knots, operads, planar algebras, q-deformations, quantum groups, and overlaps with algebraic geometry, non-commutative geometry and statistical mechanics. Algebraic topology based on knots may be characterized as a study of properties of manifolds by considering links (submanifolds) in a manifold and their algebraic structure. The main …
We describe in this chapter (Chapter IX) the idea of building an algebraic topology based on knots (or more generally on the position of embedded objects). That is, our basic building blocks are considered up to ambient isotopy (not homotopy or homology). For example, one should start from knots in 3-manifolds, surfaces in 4-manifolds, etc. However our theory is, until now, developed only in the case of links in 3-manifolds, with only a glance towards 4-manifolds. The main object of the theory is a skein module and we devote this chapter mostly to the description of skein modules in 3-dimensio…
For any n>1 we define an isotopy invariant, <Gamma>_n, for a certain set of n-valent ribbon graphs Gamma in R^3, including all framed oriented links. We show that our bracket coincides with the Kauffman bracket for n=2 and with the Kuperberg's bracket for n=3. Furthermore, we prove that for any n, our bracket of a link L is equal, up to normalization, to the SU_n-quantum invariant of L. We show a number of properties of our bracket extending those of the Kauffman's and Kuperberg's brackets, and we relate it to the bracket of Murakami-Ohtsuki-Yamada. Finally, on the basis of the skein relations…
We consider hyperbolic links that admit alternating projections on surfaces in compact, irreducible 3-manifolds. We show that, under some mild hypotheses, the volume of the complement of such a link is bounded below in terms of a Kauffman bracket function defined on link diagrams on the surface. In the case that the 3-manifold is a thickened surface, this Kauffman bracket function leads to a Jones-type polynomial that is an isotopy invariant of links. We show that coefficients of this polynomial provide 2-sided linear bounds on the volume of hyperbolic alternating links in the thickened surfac…
In this paper, we use skein-theoretic techniques to classify all virtual knot polynomials and trivalent graph invariants with certain smallness conditions. The first half of the paper classifies all virtual knot polynomials giving non-trivial invariants strictly smaller than the one given by the Higman-Sims spin model. In particular, we exhibit a family of skein theories coming from $\text{Rep}(O(2))$ with an interesting braiding. In addition, all skein theories of oriented virtual tangles with some smallness conditions are classified. In the second half of the paper, we classify all non-trivi…
In this paper we introduce the notion of admissible skein modules associated to an ideal in a pivotal category. We explain how these modules are generalizations of the Kauffman skein algebra and how they relate to renormalized quantum invariants coming from non-semisimple categories.
We determine the skein-valued Gromov-Witten partition function for a single toric Lagrangian brane in $\mathbb{C}^3$ or the resolved conifold. We first show geometrically they must satisfy a certain skein-theoretic recursion, and then solve this equation. The recursion is a skein-valued quantization of the equation of the mirror curve. The solution is the expected hook-content formula.
We define the Conway skein module C(M) of ordered based links in a 3-manifold M. This module gives rise to C(M)-valued invariants of usual links in M. We determine a basis of the Z[z]-module C(F x [0,1])/Tor(C(F x [0,1])) where F is the real projective plane or a surface with boundary. For cylinders over the Moebius strip or the projective plane we derive special properties of the Conway skein module, including a refinement of a theorem of Kawauchi and Hartley about the Conway polynomial of strongly positive amphicheiral knots in S^3. We also determine the Homfly and Kauffman skein modules of …
We show that we can release the rigidity of the skew Howe duality process for ${\mathfrak sl}_n$ knot invariants by rescaling the quantum Weyl group action, and recover skein modules for web-tangles. This skew Howe duality phenomenon can be extended to the affine ${\mathfrak sl}_m$ case, corresponding to looking at tangles embedded in a solid torus. We investigate the relations between the invariants constructed by evaluation representations (and affinization of them) and usual skein modules, and give tools for interpretations of annular skein modules as sub-algebras of intertwiners for partic…
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…
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…
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.
Khovanov defined graded homology groups for links L in R^3 and showed that their polynomial Euler characteristic is the Jones polynomial of L. Khovanov's construction does not extend in a straightforward way to links in I-bundles M over surfaces F not D^2 (except for the homology with Z/2 coefficients only). Hence, the goal of this paper is to provide a nontrivial generalization of his method leading to homology invariants of links in M with arbitrary rings of coefficients. After proving the invariance of our homology groups under Reidemeister moves, we show that the polynomial Euler character…
For every oriented surface of finite type, we construct a functorial Khovanov homology for links in a thickening of the surface, which takes values in a categorification of the corresponding gl(2) skein module. The latter is a mild refinement of the Kauffman bracket skein algebra, and its categorification is constructed using a category of gl(2) foams that admits an interesting non-negative grading. We expect that the natural algebra structure on the gl(2) skein module can be categorified by a tensor product that makes the surface link homology functor monoidal. We construct a candidate bifunc…
We compute two-term skein modules of framed oriented links in oriented 3-manifolds. They contain the self-writhe and total linking number invariants of framed oriented links in a universal way. The relations in a natural presentation of the skein module are interpreted as monodromies in the space of immersions from circles to the 3-manifold.
For each closed, orientable surface F, we construct a local, diffeomorphism invariant trace on the Kauffman bracket skein module K_t(F x [0,1]). The trace is defined when |t| is neither 0 nor 1, and at certain roots of unity. At t = - 1, the trace is integration against the symplectic measure on the SU(2) character variety of the fundamental group of F.
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…
Biquandle brackets define invariants of classical and virtual knots and links using skein invariants of biquandle-colored knots and links. Biquandle coloring quivers categorify the biquandle counting invariant in the sense of defining quiver-valued enhancements which decategorify to the counting invariant. In this paper we unite the two ideas to define biquandle bracket quivers, providing new categorifications of biquandle brackets. In particular, our construction provides an infinite family of categorifications of the Jones polynomial and other classical skein invariants.
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$.
We define an associative algebra AS_h(S) generated by framed arcs and links over a punctured surface S which is a quantization of the Poisson algebra C(S) of arcs and curves on S. We then construct a Poisson algebra homomorphism from C(S) to the space of smooth functions on the decorated Teichmuller space endowed with the Weil-Petersson Poisson structure. The construction relies on a collection of geodesic lengths identities in hyperbolic geometry which generalize Penner's Ptolemy relation, the trace identities and Wolpert's cosine formula. As a consequence, we derive an explicit formula for t…
We present an easy example of mutant links with different Khovanov homology. The existence of such an example is important because it shows that Khovanov homology cannot be defined with a skein rule similar to the skein relation for the Jones polynomial.
We construct the skein category $\mathcal{S}$ of the annulus and show that it is equivalent to the affine Temperley-Lieb category of Graham and Lehrer. It leads to a skein theoretic description of the extended affine Temperley-Lieb algebras. We construct an endofunctor of $\mathcal{S}$ that corresponds, on the level of tangle diagrams, to the insertion of an arc connecting the inner and outer boundary of the annulus. We use it to define and construct towers of extended affine Temperley-Lieb algebra modules. It allows us to construct a tower of modules acting on spaces of link patterns on the p…
We introduce an infinite family of quantum enhancements of the biquandle counting invariant we call biquandle virtual brackets. Defined in terms of skein invariants of biquandle colored oriented knot and link diagrams with values in a commutative ring $R$ using virtual crossings as smoothings, these invariants take the form of multisets of elements of $R$ and can be written in a "polynomial" form for convenience. The family of invariants defined herein includes as special cases all quandle and biquandle 2-cocycle invariants, all classical skein invariants (Alexander-Conway, Jones, HOMFLYPT and…
For the one-parameter Alexander (Jones) skein relation we introduce the Alexander (Jones) "bosonic" q-numbers, and for the two-parameter HOMFLY skein relation we propose the HOMFLY "bosonic" (q,p)-numbers ("bosonic" numbers connected with deformed bosonic oscillators). With the help of these deformed "bosonic" numbers, the corresponding skein relations can be reproduced. Analyzing the introduced "bosonic" numbers, we point out two ways of obtaining the two-parameter HOMFLY skein relation ("bosonic" (q,p)-numbers) from the one-parameter Alexander and Jones skein relations (from the correspondin…
We give skein theoretic formulas for minimal idempotents in the Birman-Murakami-Wenzl algebras. These formulas are then applied to derive various known results needed in the construction of quantum invariants and modular categories. In particular, an elementary proof of the Wenzl formula for quantum dimensions is given. This proof does not use the representation theory of quantum groups and the character formulas.
We study framed links in irreducible 3-manifolds that are $Z$-homology 3-spheres or atoroidal $Q$-homology 3-spheres. We calculate the dual of the Kauffman skein module over the ring of two variable power series with complex coefficients. For links in $S^3$ we give a new construction of the classical Kauffman polynomial.
The expectation value of a Wilson loop in a Chern--Simons theory is a knot invariant. Its skein relations have been derived in a variety of ways, including variational methods in which small deformations of the loop are made and the changes evaluated. The latter method only allowed to obtain approximate expressions for the skein relations. We present a generalization of this idea that allows to compute the exact form of the skein relations. Moreover, it requires to generalize the resulting knot invariants to intersecting knots and links in a manner consistent with the Mandelstam identities sat…
We compare two associative algebras which encode the "quantum topology" of Legendrian curves in contact threefolds of product type $S\times\mathbb R$. The first is the skein algebra of graded Legendrian links and the second is the Hall algebra of the Fukaya category of $S$. We construct a natural homomorphism from the former to the latter, which we show is an isomorphism if $S$ is a disk with marked points and injective if $S$ is the annulus.
We develop an explicit skein theoretical algorithm to compute the Alexander polynomial of a 3-manifold from a surgery presentation employing the methods used in the construction of quantum invariants of 3-manifolds. As a prerequisite we establish and prove a rather unexpected equivalence between the topological quantum field theory constructed by Frohman and Nicas using the intersection homology of U(1)-representation varieties on the one side and the combinatorially constructed Hennings-TQFT based on the quasitriangular Hopf algebra ${\cal N}=\Z/2\ltimes \ext *\R^2$ on the other side. We find…
This paper defines several algebras associated to an oriented surface $S$ with a finite set of marked points on the boundary. The first is the skein algebra $Sk_q(S)$, which is spanned by links in the surface which are allowed to have endpoints at the marked points, modulo several locally defined relations. The product is given by superposition of links. A basis of this algebra is given, as well as several algebraic results. When $S$ is triangulable, the quantum cluster algebra $A_q(S)$ and quantum upper cluster algebra U_q(S) can be defined. These are algebras coming from the triangulations o…
We consider a deformation of the Robert-Wagner foam evaluation formula, with an eye toward a relation to formal groups. Integrality of the deformed evaluation is established, giving rise to state spaces for planar GL(N) MOY graphs (Murakami-Ohtsuki-Yamada graphs). Skein relations for the deformation are worked out in details in the GL(2) case. These skein relations deform GL(2) foam relations of Beliakova, Hogancamp, Putyra and Wehrli. We establish the Reidemeister move invariance of the resulting chain complexes assigned to link diagrams, giving us a link homology theory.
We give an exposition of how the Kauffman bracket arises for certain systems of anyons, and do so outside the usual arena of Temperley-Lieb-Jones categories. This is further elucidated through the discussion of the Iwahori-Hecke algebra and its relation to modular tensor categories. We then proceed to classify the framed link-invariants associated to a system of self-dual anyons $q$ with $\sum_{x}N_{qq}^{x}\leq2$. In particular, we construct a trace on the HOMFLY skein algebra which can be expanded via gauge-invariant quantities, thereby generalising the case of the Kauffman bracket. Various e…
We use an explicit isomorphism from the representation ring of the quantum group U_q(sl(N)) to the Homfly skein of the annulus, to determine an element of the skein which is the image of the mth Adams operator, ψ_m, on the fundamental representation, c_1. This element is a linear combination of m very simple m-string braids. Using this skein element, we show that the Vassiliev invariant of degree n in the power series expansion of the U_q(sl(N)) quantum invariant of a knot coloured by ψ_m(c_1) is the canonical Vassiliev invariant with weight system W_nψ_m^{(n)} where W_n is the weight system f…
We use Khovanov-Rozansky gl(N) link homology to define invariants of oriented smooth 4-manifolds, as skein modules constructed from certain 4-categories with well-behaved duals. The technical heart of this construction is a proof of the sweep-around property, which makes these link homologies well defined in the 3-sphere.
We compute the factorisation homology of the four-punctured sphere and punctured torus over the quantum group $\mathcal{U}_q(\mathfrak{sl}_2)$ explicitly as categories of equivariant modules using the framework of `Integrating Quantum Groups over Surfaces' by Ben-Zvi, Brochier, and Jordan. We identify the algebra of invariants (quantum global sections) with the spherical double affine Hecke algebra of type $(C^\vee_1,C_1)$, in the four-punctured sphere case, and with the `cyclic deformation' of $U(su_2)$ in the punctured torus case. In both cases, we give an identification with the correspondi…
We give a combinatorial description of the ``$D_{2n}$ planar algebra,'' by generators and relations. We explain how the generator interacts with the Temperley-Lieb braiding. This shows the previously known braiding on the even part extends to a `braiding up to sign' on the entire planar algebra. We give a direct proof that our relations are consistent (using this `braiding up to sign'), give a complete description of the associated tensor category and principal graph, and show that the planar algebra is positive definite. These facts allow us to identify our combinatorial construction with the…
The correspondence of the braid group on a handlebody of arbitrary genus to the algebra of Yang-Baxter and extended reflection equation operators is shown. Representations of the infinite dimensional extended reflection equation algebra in terms of direct products of quantum algebra generators are derived, they lead to a representation of this braid group in terms of $R$-matrices. Restriction to the reflection equation operators only gives the coloured braid group. The reflection equation operators, describing the effect of handles attached to a 3-ball, satisfy characteristic equations which g…
This is the first paper in a general program to automate skein theoretic arguments. In this paper, we study skein theoretic invariants of planar trivalent graphs. Equivalently, we classify trivalent categories, which are nondegenerate pivotal tensor categories over $\mathbb C$ generated by a symmetric self-dual simple object $X$ and a rotationally invariant morphism $1 \rightarrow X \otimes X \otimes X$. Our main result is that the only trivalent categories with $\dim \operatorname{Hom}(1, X^{\otimes n})$ bounded by $1,0,1,1,4,11,40$ for $0 \leq n \leq 6$ are quantum $SO(3)$, quantum $G_2$, a …