Knot invariants and higher representation theory I: diagrammatic and geometric categorification of tensor products
Ben Webster
备注：
62 pages, numerous TikZ figures. DVI will not view correctly on all machines, PDF is preferred. v7: incorporated work of Cautis and Lauda along with typo fixes, etc; v8: material on quivers moved elsewhere, and other minor fixes; v9: clarifications about 2-categories and reference to current work with Losev added
In this paper, we study 2-representations of 2-quantum groups (in the sense of Rouquier and Khovanov-Lauda) categorifying tensor products of irreducible representations. Our aim is to construct knot homologies categorifying Reshetikhin-Turaev invariants of knots for arbitrary representations, which will be done in a follow-up paper.
We consider an algebraic construction of these categories, via an explicit diagrammatic presentation, generalizing the cyclotomic quotient of the quiver Hecke algebra. One of our primary results is that these categories coincide when both are defined.
We also investigate finer structure of these categories. Like many similar representation-theoretic categories, they are standardly stratified and satisfy a double centralizer property with respect to their self-dual modules. The standard modules of the stratification play an important role, as Vermas do in more classical representation theory, as test objects for functors.
The existence of these representations has consequences for the structure of previously studied categorifications; it allows us to prove the non-degeneracy of Khovanov and Lauda's 2-category (that its Hom spaces have the expected dimension) in all symmetrizable types, and that the cyclotomic quiver Hecke algebras are symmetric Frobenius.
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…
Two categorifications are given for the arrow polynomial, an extension of the Kauffman bracket polynomial for virtual knots. The arrow polynomial extends the bracket polynomial to infinitely many variables, each variable corresponding to an integer {\it arrow number} calculated from each loop in an oriented state summation for the bracket. The categorifications are based on new gradings associated with these arrow numbers, and give homology theories associated with oriented virtual knots and links via extra structure on the Khovanov chain complex. Applications are given to the estimation of vi…
Using a modified foam evaluation, we give a categorification of the Alexander polynomial of a knot. We also give a purely algebraic version of this knot homology which makes it appear as the infinite page of a spectral sequence starting at the reduced triply graded link homology of Khovanov--Rozansky.
Let $E_{k}^{F}(D)$ be the spectral sequence induced by the oriented cube of resolutions on knot Floer homology. We prove that $E_{2}^{F}(D)$ is a triply graded link invariant whose graded Euler characteristic is the HOMFLY-PT polynomial and that the higher pages are link invariants. By construction, the spectral sequence converges to knot Floer homology. We show that the rank of the torsion-free part of $E_{2}^{F}(D)$ is the rank of HOMFLY-PT homology.
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.
There is a $p$-differential on the triply-graded Khovanov--Rozansky homology of knots and links over a field of positive characteristic $p$ that gives rise to an invariant in the homotopy category finite-dimensional $p$-complexes. A differential on triply-graded homology discovered by Cautis is compatible with the $p$-differential structure. As a consequence we get a categorification of the colored Jones polynomial evaluated at a $2p$th root of unity.
We investigate an application of crossing parity for the bracket expansion of the Jones polynomial for virtual knots. In addition we consider an application of parity for the arrow polynomial as well as for the categorifications of both polynomials. We present a number of examples found through our calculations. We provide tables of calculations for these invariants on virtual knots with at most 4 real crossings.
Given a transverse knot $K$ in a three dimensional contact manifold $(Y,α)$, in [13] Colin, Ghiggini, Honda and Hutchings define a hat version of embedded contact homology for $K$, that we call $\widehat{ECK}(K,Y,α)$, and conjecture that it is isomorphic to the knot Floer homology $\widehat{HFK}(K,Y)$. We define here a full version $ECK(K,Y,α)$ and generalise the definitions to the case of links. We prove then that, if $Y = S^3$, $ECK$ and $\widehat{ECK}$ categorify the (multivariable) Alexander polynomial of knots and links, obtaining expressions analogue to that for knot and link Floer homol…
The Jones polynomial is a famous link invariant that can be defined diagrammatically via a skein relation. Khovanov homology is a richer link invariant that categorifies the Jones polynomial. Using spectral sequences, we obtain a skein-type relation satisfied by the Khovanov homology. Thanks to this relation, we are able to generalize the Khovanov homology in order to obtain a categorification of the $θ$-invariant, which is itself a generalization of the Jones polynomial.
Let K in S^3 be a knot, and let \widetilde{K} denote the preimage of K inside its double branched cover, Σ(K). We prove, for each integer n > 1, the existence of a spectral sequence from Khovanov's categorification of the reduced n-colored Jones polynomial of the mirror of K to the knot Floer homology of (Σ(K),\widetilde{K}) (when n odd) and to (S^3, K # K) (when n even). A corollary of our result is that Khovanov's categorification of the reduced n-colored Jones polynomial detects the unknot whenever n>1.
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.
In the classical knot theory there is a well-known notion of descending diagram. From an arbitrary diagram one can easily obtain, by some crossing changes, a descending diagram which is a diagram of the unknot or unlink. In this paper the notion of descending diagram for knots and links in the real space is extended to the case of nonoriented knots and links in the projective space. It is also shown that this notion cannot be extended to oriented links.
We construct elements of the third quandle homology groups of knot quandles, which are called the shadow fundamental classes. They play the same roles for the shadow quandle cocycle invariants of knots as the fundamental classes of knot quandles does for the quandle cocycle invariants. As an application of the shadow fundamental classes, we show the relation between the shadow quandle cocycle invariants and the based shadow quandle cocycle invariants. Moreover, we will show, for a prime knot, that any third quandle homology classes are considered as images of the shadow fundamental classes of …
This paper is an introduction to virtual knot theory and an exposition of new ideas and constructions, including the parity bracket polynomial, the arrow polynomial, the parity arrow polynomial and categorifications of the arrow polynomial. The paper is relatively self-contained and it describes virtual knot theory both combinatorially and in terms of the knot theory in thickened surfaces. The arrow polynomial (of Dye and Kauffman) is a natural generalization of the Jones polynomial, obtained by using the oriented structure of diagrams in the state sum. The paper discusses uses of parity pione…
We provide a diagrammatic computation for the bilinear form, which is defined as the pairing between the (relative) cup products with every local coefficients and every integral homology 2-class of every links in the 3-sphere. As a corollary, we construct bilinear forms on the twisted Alexander modules of links.
In 1999, Khovanov showed that a link invariant known as the Jones polynomial is the Euler characteristic of a homology theory. The knot categorification problem is to find a general construction of knot homology groups, and to explain their meaning -- what are they homologies of? Homological mirror symmetry, formulated by Kontsevich in 1994, naturally produces hosts of homological invariants. Typically though, it leads to invariants which have no particular interest outside of the problem at hand. I showed recently that there is a new family of mirror pairs of manifolds, for which homological …
In recent years, several families of hyperbolic knots have been shown to have both volume and $λ_1$ (first eigenvalue of the Laplacian) bounded in terms of the twist number of a diagram, while other families of knots have volume bounded by a generalized twist number. We show that for general knots, neither the twist number nor the generalized twist number of a diagram can provide two-sided bounds on either the volume or $λ_1$. We do so by studying the geometry of a family of hyperbolic knots that we call double coil knots, and finding two-sided bounds in terms of the knot diagrams on both the …
The working mathematician fears complicated words but loves pictures and diagrams. We thus give a no-fancy-anything picture rich glimpse into Khovanov's novel construction of `the categorification of the Jones polynomial'. For the same low cost we also provide some computations, including one that shows that Khovanov's invariant is strictly stronger than the Jones polynomial and including a table of the values of Khovanov's invariant for all prime knots with up to 11 crossings.
Using quantum skew-Howe duality, we study the category $\operatorname{Rep}(\mathfrak{gl}(m|n))$ of tensor products of exterior powers of the standard representation of $U_q(\mathfrak{gl}(m|n))$, and prove that it is equivalent to a category of ladder diagrams modulo one extra family of relations. We then construct a categorification of $\operatorname{Rep}(\mathfrak{gl}(m|n))$ using the theory of foams. In the case of $n=0$, we show that we can recover $\mathfrak{sl}(m)$ foams introduced by Queffelec and Rose to define Khovanov-Rozansky $\mathfrak{sl}(m)$ link homology. We also define a categor…
We construct a bigraded spectral sequence from the gl(0)-homology to knot Floer homology. This spectral sequence is of Bockstein type and comes from a subtle manipulation of coefficients. The main tools are quantum traces of foams and of singular Soergel bimodules.
We define and compare several natural ways to compute the bridge number of a knot diagram. We study bridge numbers of crossing number minimizing diagrams, as well as the behavior of diagrammatic bridge numbers under the connected sum operation. For each notion of diagrammatic bridge number considered, we find crossing number minimizing knot diagrams which fail to minimize bridge number. Furthermore, we construct a family of minimal crossing diagrams for which the difference between diagrammatic bridge number and the actual bridge number of the knot grows to infinity.
In this survey paper we present the $L$--moves between braids and how they can adapt and serve for establishing and proving braid equivalence theorems for various diagrammatic settings, such as for classical knots, for knots in knot complements, in c.c.o. 3--manifolds and in handlebodies, as well as for virtual knots, for flat virtuals, for welded knots and for singular knots. The $L$--moves are local and they provide a uniform ground for formulating and proving braid equivalence theorems for any diagrammatic setting where the notion of braid and diagrammatic isotopy is defined, the statements…
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 is to study 2-representations of 2-quantum groups (in the sense of Rouquier and Khovanov-Lauda) categorifying tensor products of irreducible representations. These are the representation categories of certain finite dimensional algebras with an explicit diagrammatic presentation, generalizing the cyclotomic quotient of the …
The AJ Conjecture relates a quantum invariant, a minimal order recursion for the colored Jones polynomial of a knot (known as the $\hat{A}$ polynomial), with a classical invariant, namely the defining polynomial $A$ of the $\psl$ character variety of a knot. More precisely, the AJ Conjecture asserts that the set of irreducible factors of the $\hat{A}$-polynomial (after we set $q=1$, and excluding those of $L$-degree zero) coincides with those of the $A$-polynomial. In this paper, we introduce a version of the $\hat{A}$-polynomial that depends on a planar diagram of a knot (that conjecturally a…
In this paper, we show an isomorphism of homological knot invariants categorifying the Reshetikhin-Turaev invariants for $\mathfrak{sl}_n$. Over the past decade, such invariants have been constructed in a variety of different ways, using matrix factorizations, category $\mathcal{O}$, affine Grassmannians, and diagrammatic categorifications of tensor products. While the definitions of these theories are quite different, there is a key commonality between them which makes it possible to prove that they are all isomorphic: they arise from a skew Howe dual action of $\mathfrak{gl}_\ell$ for some $…
We employ the sl(2) foam cohomology to define a cohomology theory for oriented framed tangles whose components are labelled by irreducible representations of U_q(sl(2)). We show that the corresponding colored invariants of tangles can be assembled into invariants of bigger tangles. For the case of knots and links, the corresponding theory is a categorification of the colored Jones polynomial, and provides a tool for efficient computations of the resulting colored invariant of knots and links. Our theory is defined over the Gaussian integers Z[i] (and more generally over Z[i][a,h], where a,h ar…
We give a new construction of the one-variable Alexander polynomial of an oriented knot or link, and show that it generalizes to a vector valued invariant of oriented tangles.
Recently, Bigelow defined a diagrammatic method for calculating the Alexander polynomial of a knot or link by resolving crossings in a planar algebra. I will present my multivariate version of Bigelow's calculation. The advantage to my algorithm is that it generalizes to a multivariate tangle invariant up to Reidemeister I. I will conclude with a possible link to subfactor planar algebras from the work of Jones and Penneys.
Topological gauge theories in four dimensions which admit surface operators provide a natural framework for realizing homological knot invariants. Every such theory leads to an action of the braid group on branes on the corresponding moduli space. This action plays a key role in the construction of homological knot invariants. We illustrate the general construction with examples based on surface operators in N=2 and N=4 twisted gauge theories which lead to a categorification of the Alexander polynomial, the equivariant knot signature, and certain analogs of the Casson invariant. This paper is …
We introduce and explore the relation between quivers and 3-manifolds with the topology of the knot complement. This idea can be viewed as an adaptation of the knots-quivers correspondence to Gukov-Manolescu invariants of knot complements (also known as $F_K$ or $\hat{Z}$). Apart from assigning quivers to complements of $T^{(2,2p+1)}$ torus knots, we study the physical interpretation in terms of the BPS spectrum and general structure of 3d $\mathcal{N}=2$ theories associated to both sides of the correspondence. We also make a step towards categorification by proposing a $t$-deformation of all …
We consider a quiver structure on the set of quandle colorings of an oriented knot or link diagram. This structure contains a wealth of knot and link invariants and provides a categorification of the quandle counting invariant in the most literal sense, i.e., giving the set of quandle colorings the structure of a small category which is unchanged by Reidemeister moves. We derive some new enhancements of the counting invariant from this quiver structure and show that the enhancements are proper with explicit examples.
We argue how to identify supersymmetric quiver quantum mechanics description of BPS states, which arise in string theory in brane systems representing knots. This leads to a surprising relation between knots and quivers: to a given knot we associate a quiver, so that various types of knot invariants are expressed in terms of characteristics of a moduli space of representations of the corresponding quiver. This statement can be regarded as a novel type of categorification of knot invariants, and among its various consequences we find that Labastida-Mariño-Ooguri-Vafa (LMOV) invariants of a knot…
Springer varieties appear in both geometric representation theory and knot theory. Motivated by knot theory and categorification Khovanov provides a topological construction of $(n/2, n/2)$ Springer varieties. We extend Khovanov's construction to all two-row Springer varieties. Using the combinatorial and diagrammatic properties of this construction we provide a particularly useful homology basis and construct the Springer representation using this basis. We also provide a skein-theoretic formulation of the representation in this case.
This paper contains a categorification of the sl(k) link invariant using parabolic singular blocks of category O. Our approach is intended to be as elementary as possible, providing combinatorial proofs of the main results of Sussan. We first construct an exact functor valued invariant of webs or 'special' trivalent graphs labelled with 1, 2, k-1, k satisfying the MOY relations. Afterwards we extend it to the sl(k)-invariant of links by passing to the derived categories. The approach using foams appears naturally in this context. More generally, we expect that our approach provides a represent…
A categorification of a polynomial link invariant is an homological invariant which contains the polynomial one as its graded Euler characteristic. This field has been initiated by Khovanov categorification of the Jones polynomial. Later, P. Ozsvath and Z. Szabo gave a categorification of Alexander polynomial. Besides their increased abilities for distinguishing knots, this new invariants seem to carry many geometrical informations. On the other hand, Vassiliev works gives another way to study link invariant, by generalizing them to singular links i.e. links with a finite number of rigid trans…
Khovanov homology ist a new link invariant, discovered by M. Khovanov, and used by J. Rasmussen to give a combinatorial proof of the Milnor conjecture. In this thesis, we give examples of mutant links with different Khovanov homology. We prove that Khovanov's chain complex retracts to a subcomplex, whose generators are related to spanning trees of the Tait graph, and we exploit this result to investigate the structure of Khovanov homology for alternating knots. Further, we extend Rasmussen's invariant to links. Finally, we generalize Khovanov's categorifications of the colored Jones polynomial…
We recently discovered a relationship between the volume density spectrum and the determinant density spectrum for infinite sequences of hyperbolic knots. Here, we extend this study to new quantum density spectra associated to quantum invariants, such as Jones polynomials, Kashaev invariants and knot homology. We also propose related conjectures motivated by geometrically and diagrammatically maximal sequences of knots.
In their paper entitled "Quantum Enhancements and Biquandle Brackets," Nelson, Orrison, and Rivera introduced biquandle brackets, which are customized skein invariants for biquandle-colored links. These invariants generalize the Jones polynomial, which is categorified by Khovanov homology. At the end of their paper, Nelson, Orrison, and Rivera asked if the methods of Khovanov homology could be extended to obtain a categorification of biquandle brackets. We outline herein a Khovanov homology-style construction that is an attempt to obtain such a categorification of biquandle brackets. The resul…
Virtual knots are defined diagrammatically as a collection of figures, called virtual knot diagrams, that are considered equivalent up to finite sequences of extended Reidemeister moves. By contrast, knots in $\mathbb{R}^3$ can be defined geometrically. They are the points of a space $\mathbb{K}$ of knots. The knot space has a topology so that equivalent knots lie in the same path component. The aim of this paper is to use sheaf theory to obtain a fully geometric model for virtual knots. The geometric model formalizes the intuitive notion that a virtual knot is an actual knot residing in a var…
We show that bilinear cup products with local coefficients of closed 3-manifolds recover some twisted pairings of infinite covers and the Casson-Gordon local signatures. As a result, we further give diagrammatic computations of the pairings and signatures.
We survey some tools and techniques for determining geometric properties of a link complement from a link diagram. In particular, we survey the tools used to estimate geometric invariants in terms of basic diagrammatic link invariants. We focus on determining when a link is hyperbolic, estimating its volume, and bounding its cusp shape and cusp area. We give sample applications and state some open questions and conjectures.
In the 1920's Artin defined the braid group in an attempt to understand knots in a more algebraic setting. A braid is a certain arrangement of strings in three-dimensional space. It is a celebrated theorem of Alexander that every knot is obtainable from a braid by identifying the endpoints of each string. Because of this correspondence, the Jones and Alexander polynomials, two of the most important knot invariants, can be described completely using the braid group. There has been a recent growth of interest in other diagrammatic algebras, whose elements have a similar topological flavor to the…
We discuss the fundamental (relative) 3-classes of knots (or hyperbolic links), and provide diagrammatic descriptions of the push-forwards with respect to every link-group representation. The point is an observation of a bridge between the relative group homology and quandle homology from the viewpoints of Inoue--Kabaya map \cite{IK}. Furthermore, we give an algorithm to algebraically describe the fundamental 3-class of any hyperbolic knot.
In this paper a classification of Reidemeister moves, which is the most refined, is introduced. In particular, this classification distinguishes some $Ω_3$-moves that only differ in how the three strands that are involved in the move are ordered on the knot. To transform knot diagrams of isotopic knots into each other one must in general use $Ω_3$-moves of at least two different classes. To show this, knot diagram invariants that jump only under $Ω_3$-moves are introduced. Knot diagrams of isotopic knots can be connected by a sequence of Reidemeister moves of only six, out of the total of 24, …
In the previous paper we constructed the local system of Khovanov complexes on the Vassiliev space of knots and extended it to the singular locus. In this paper we introduce the definition of the homology theory (local system) of finite type and prove the first finiteness result: the Khovanov local system restricted to the subcategory of knots of the crossing number at most n is the theory of type less or equal to n. This result can be further generalized to the categorification of Birman-Lin theorem.
We derive bounds on the length of the meridian and the cusp volume of hyperbolic knots in terms of the topology of essential surfaces spanned by the knot. We provide an algorithmically checkable criterion that guarantees that the meridian length of a hyperbolic knot is below a given bound. As applications we find knot diagrammatic upper bounds on the meridian length and the cusp volume of hyperbolic adequate knots and we obtain new large families of knots with meridian lengths bounded above by four. We also discuss applications of our results to Dehn surgery.
We show that the triply graded Khovanov-Rozansky homology of knots and links over a field of positive odd characteristic $p$ descends to an invariant in the homotopy category finite-dimensional $p$-complexes. A $p$-extended differential on the triply graded homology discovered by Cautis is compatible with the $p$-DG structure. As a consequence we get a categorification of the Jones polynomial evaluated at an odd prime root of unity
