Abstract
We describe the universal target of annular Khovanov–Rozansky link homology functors as the homotopy category of a free symmetric monoidal linear category generated by one object and one endomorphism. This categorifies the ring of symmetric functions and admits categorical analogues of plethystic transformations, which we use to characterize the annular invariants of Coxeter braids. Further, we prove the existence of symmetric group actions on the Khovanov–Rozansky invariants of cabled tangles and we introduce spectral sequences that aid in computing the homologies of generalized Hopf links. Finally, we conjecture a characterization of the horizontal traces of Rouquier complexes of Coxeter braids in other types.
Similar content being viewed by others
1 Introduction
The positive part of the HOMFLYPT skein algebra of the annulus is defined as a linear span of annular closures of braids, modulo certain skein relations. A classical result of Turaev [59] states that this skein algebra is isomorphic to the algebra \(\Lambda _q\) of symmetric functions in infinitely many variables over \({\mathbb {Z}}[q^{\pm 1}]\). In particular, to any braid one can associate a symmetric function which is invariant under conjugation of the braid.
Conversely, many interesting symmetric functions and relationships between them can be represented in terms of (colored) braid closures. For example, if Schur functions correspond to the colored unknots, then certain “plethystically transformed” skew Schur functions \(s_{\lambda /\mu }[X(qq^{1})]\) are represented by “Coxeter braids” (see Sect. 2 for precise definitions).
Furthermore, the skein of the annulus acts on the (relative) skein of the disk. In particular, after an extension of scalars, there is a homomorphism of \(\Lambda _q\) to the Hecke algebra \(H_n\) for any n, and its image coincides with the center of \(H_n\).
The motivation for this paper is to study lifts of this homomorphism to the categorified level.
1.1 The annular category
In a series of recent papers [46, 47] Queffelec, Rose and Sartori categorified the skein of the annulus using annular Khovanov–Rozansky homology. The target for this annular link homology functor is a monoidal category whose objects are (complexes of) oriented webs in the annulus, and the morphisms are given by annular foams. They prove that this category is generated by collections of \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^k\)colored essential unknots, and provide an explicit algorithm of simplification of a given web to this basis. The monoidal structure is given by placing one annulus inside another. We reformulate their result and prove the following:
Theorem 1.1
The Karoubi completion (or bounded homotopy category) of the category of positive annular webs and foams is equivalent to (the bounded homotopy category of) the free symmetric monoidal graded Karoubian category \(\hat{\text{ P }}\) generated by a single object E (corresponding to the uncolored essential circle) with an endomorphism \(x\in {{\,\textrm{End}\,}}(E)\) (corresponding to a dotted cylinder on the circle) of degree two. Under this equivalence, the \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^k\)colored unknot corresponds to the antisymmetric component in \(E^{\otimes k}\).
In other words, the target of the annular Khovanov–Rozansky invariant can be thought of as a category of complexes of Schur functors of E, which categorify the corresponding symmetric functions in \(\Lambda _q\). We will call the bounded homotopy category \(\text{ K}^b(\hat{\text{ P }})\) the annular category.
Remark 1.2
It is important to mention that we work in characteristic zero, where the representation theory of \(S_n\) is semisimple, and Schur functors are welldefined. In finite characteristic, one may need to use the formalism of strict polynomial functors [21, 26,27,28], but we do not pursue it in this paper.
It is conjectured [46, Conjecture 5.4] that every annular web is actually isomorphic to a direct sum of collections of \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^k\)colored essential unknots (that is, to a complex concentrated in one homological degree). Here we prove that at least after Karoubi completion this is indeed the case:
Theorem 1.3
Every positive annular web is isomorphic in the Karoubi completion of the positive annular foam category to a direct sum of Schur functors of the uncolored essential circle E.
We prove this theorem as Corollary 4.20. As a consequence, any annular chain complex, in particular the invariant of an annular braid closure, is isomorphic (and not just homotopy equivalent) to a complex of such Schur functors. Two further consequences are the following.
Corollary 1.4
The symmetric function corresponding to any annular web in the skein of the annulus is Schur positive.
Corollary 1.5
The Karoubi completion of the horizontal (i.e. monoidal) trace of the monoidal category of Soergel bimodules of type \(A_{n1}\) is equivalent to \({\mathbb {C}}[S_n]\ltimes {\mathbb {C}}[x_1,\dots ,x_n]\textrm{gpmod}\).
See Sect. 7.1 for more details on horizontal traces.
1.2 Spectral sequences
The annular simplification of Khovanov–Rozansky invariants is still possible if the annular link appears as a cabling of a component of a framed link in \({\mathbb {R}}^3\). To make sense of this claim, we first need to explain what Schur functors are in this framework. Let L be a framed link and K a distinguished component and \(\lambda \) a partition of n. Consider the link \(L(K^n)\) given by the nfold parallel cabling of the component K in L (this uses the framing). By functoriality of the Khovanov–Rozansky functor, the braid group \(B_n\) on nstrands acts on \(\textrm{KhR}(L(K^n))\) by braiding parallel circles in the cabling around each other through isotopycobordisms. Moreover, the braid group actions associated to cablings of different components of L commute. In fact, these braid group actions factor through the symmetric group. This generalizes a result of Grigsby–Licata–Wehrli [25] for \(\mathfrak {sl}_{2}\) Khovanov homology.
Theorem 1.6
The action of \(B_n\) on \(\textrm{KhR}(L(K^n))\) factors through the symmetric group \(S_n\).
We can now define colorings by Young diagrams. For this, let L be a link with components \(K_1,\dots ,K_l\) and we denote by \(L(K_1^{n_1},\dots ,K_l^{n_l})\) the result of \(n_i\)fold parallel cabling of the components \(K_i\) in L for \(1\le i\le l\).
Definition 1.7
Let L be as above and \(\lambda _1\dots ,\lambda _l\) Young diagrams with \(\lambda _i=n_i\). Let \(L(K_1^{\lambda _1}\cdots K_l^{\lambda _l})\) denote the link L with color label \(\lambda _i\) on the component \(K_i\) for \(1\le i \le l\). Then we define \(\textrm{KhR}(L(K_1^{\lambda _1}\cdots K_l^{\lambda _l}))\) as the image of the tensor product of Young idempotents of shape \(\lambda _i\) in \({\mathbb {C}}[S_{n_i}]\) for \(1\le i \le l\) on \(\textrm{KhR}(L(K_1^{n_1}\cdots K_l^{n_l}))\).
Note that these colored link homologies are distinct from the colored homologies constructed by inserting categorified projectors into cables of knots. In particular, in the case of finiterank Khovanov–Rozansky homology, the colored homologies described here are finitedimensional for all colors.
Next, we show how annular simplification can be used to approximate the homology of links L which split into a Hopf pairing of sub links \(L_1\) and \(L_2\) via a spectral sequence.
Theorem 1.8
Let L be a link which is a satellite of a framed Hopf link \(H(L_1,L_2)\) where \(L_1\) and \(L_2\) are annular links and \(L_1\) is a braid closure. Suppose that the annular invariant of \(L_1\) is isomorphic to a chain complex \(C^*(L_1)\) of Schur functors of E. Then the chain complex associated to \(H(L_1,L_2)\) is homotopy equivalent to a filtered chain complex, whose associated graded is given by a direct sum of complexes associated to \(H(C^i(L_1),L_2)\), where \(C^i(L_1)\) is a direct sum of Schurcolored unknots as specified by the chain groups of \(C^*(L_1)\). Moreover, the differential of filtration degree one is induced by the differential on \(C^*(L_1)\).
The following is a direct consequence.
Corollary 1.9
For \(L=H(L_1,L_2)\) and the annular complex of Schur functors \(C^*(L_1)\) as in the theorem above, there exists a spectral sequence computing \(\textrm{KhR}(H(L_1,L_2))\), whose \(E_1\) page has chain groups \(\textrm{KhR}(H({\mathbb {S}}^\lambda ,L_2))\) where the Schur functors \({\mathbb {S}}^\lambda \) range through the chain groups of \(C^*(L_1)\), and the differential \(d_1\) is induced by the differential in \(C^*(L_1)\).
Remark 1.10
An important caveat regarding Theorem 1.8 is that the annular chain complex of \(L_1\) may in general not be assumed to be a minimal complex. Gaussian elimination on the annular complex of \(L_1\) typically breaks the filtration which is the main point of the theorem. Thus we restrict to isomorphic replacements by complexes of Schur functors.
1.3 Positive Coxeter braids
Next, we describe another natural generating set in the annular category, which appears in the image of annular Khovanov–Rozansky functors, namely the images of closures of Coxeter braids.
Theorem 1.11
Let \(C^+_n\) denote the annular Khovanov–Rozansky invariant of the closure of the braid \(\sigma _{n1}\cdots \sigma _1\) on n strands in \(\text{ K}^b(\hat{\text{ P }})\). Then
We describe the differential in this complex explicitly. We also describe the spaces of morphisms between various products of \(C^+_n\).
Theorem 1.12
We have
where \(\xi _i\) are odd variables of homological degree \(1\) and qdegree \(2i2\) and x has qdegree 2.
Moreover, there are natural “merge" and “split maps"
and we expect that all morphisms between tensor products of \(C^+_n\) are generated by these and the action of \(\xi _i\) and x.
1.4 Other Coxeter lifts
We also describe the annular homology of other lifts of the Coxeter element \(s_{n1}\cdots s_1\in S_n\) to the braid group. Such lifts \(\sigma _\epsilon :=\sigma _{n1}^{\epsilon _{n1}}\cdots \sigma _{1}^{\epsilon _{1}}\) are parametrized by binary sequences \(\epsilon \in \{+1,1\}^{n1}\). Given such a sequence \(\epsilon \), consider a ribbon \(\nu ({\epsilon })\), a skew Young diagram obtained by the following rule: we start from a box, move right if we see a \(+1\) in \(\epsilon \) and move down if we see a \(1\). For example, for \(\epsilon =(+1,+1,1,+1,1,1,+1)\) we get the following shape (which represents the skew shape 5443/332):
To such skew shape one can associate a skew Schur function \(s_{\nu (\epsilon )}\) [35] which decomposes into usual Schur functions with positive coefficients. For example, the shape above corresponds to
More precisely (see Sect. 5.3 for details) for ribbon skew shapes there exists a canonical left ideal \(V_{\epsilon }\subset {\mathbb {C}}[S_n]\) with Frobenius character \(s_{\nu (\epsilon )}\), and \({\mathbb {C}}[S_n]\cong \oplus _{\epsilon }V_{\epsilon }\). We let \(p_{\epsilon }\in {\mathbb {C}}[S_n]\) denote the idempotent projecting to \(V_{\epsilon }\).
Theorem 1.13
(Theorem 5.25) Let \(U_n=\text {Span}(x_ix_{i+1})\) be the \((n1)\)dimensional reflection representation of \(S_n\), there is a natural \(S_n\)equivariant map \(D:U_n\otimes E^{\otimes n}\rightarrow E^{\otimes n}\). Consider the Koszul complex
Then the annular Khovanov–Rozansky complex \(C_\epsilon \) of \(\sigma _1^{\epsilon _1}\cdots \sigma _{n1}^{\epsilon _{n1}}\) satisfies
where \(\epsilon _+\) denotes the number of entries \(+1\) in \(\epsilon \).
Example 1.14
For \(\epsilon =(+1,\cdots ,+1)\) the skew shape \(\nu (\epsilon )\) has one row, so \(s_{\nu (\epsilon )}=s_{n}\), the corresponding representation \(V_{\epsilon }\) is trivial, and the corresponding projector \(p_{\epsilon }\) is the symmetrizer. Therefore \(p_{\epsilon }\cdot \textrm{Cube}_n=(\textrm{Cube}_n)^{S_n}\). In Lemma 3.20 we check that this indeed agrees, up to a homological shift, with the description of the annular complex for the positive Coxeter lift in Theorem 1.11, and yields immediately the differentials in it.
By a result of Solomon, the analogues of the projectors \(p_{\epsilon }\) can be defined for all finite Coxeter groups. We conjecture that Theorem 1.13 can be generalized too, see Conjecture 7.4.
1.5 Organization of the paper
In Sect. 2 we list various important results about the skein algebra of the annulus, following Turaev [59], Aiston and Morton [3, 38]. We identify this skein with the algebra of symmetric functions in infinitely many variables, and identify certain closed braids with explicit symmetric functions. In particular, we prove Theorem 2.20 which is a decategorified version of Theorem 1.13. In Sect. 3 we use Schur functors in symmetric monoidal categories to describe an explicit categorification of the algebra of symmetric functions and a plethystic transformation. In Sect. 4 we define and study the category of webs and foams and the corresponding Khovanov–Rozansky functor. We prove Theorems 1.1 and 1.3 .
In Sect. 5 we identify the annular complexes for all lifts of the Coxeter element to the braid group and prove Theorems 1.11 and 1.13.
In Sect. 6 we describe the operation of “wrapping” an annular link around a braid, and prove Theorem 1.9. In Sect. 7 we briefly discuss a conjectural description of annular homology (or, rather, a class in the horizontal trace) for Coxeter lifts outside of type A. Finally, in the appendix we list some useful facts from homological algebra, in particular, on splitting of homotopy idempotents and triangulated Karoubian categories.
2 The classical story
In this section we recall the classical constructions related to the skein algebra of the annulus.
2.1 The skein of the annulus
Let A denote an annulus on the plane. The closure of a braid is a link in \(A\times [0,1]\). We define the positive part of the skein of the annulus \({{\,\textrm{Sk}\,}}^{+}(A)\) as the \({\mathbb {Z}}[q^{\pm 1}]\)linear span of all braid closures, considered up to regular isotopy, modulo the HOMFLY skein relation:
This can be given an algebra structure by stacking \((A\times [0,1])\sqcup (A\times [1,2])=A\times [0,2]\). We will refer to this operation as to skein product, which should not be confused with the product of braids. The skein product of two braid closures is isotopic to the disjoint union of the two braid closures, considered as living in two annuli, one outside of another. An Eckmann–Hilton argument then implies that \({{\,\textrm{Sk}\,}}^{+}(A)\) is a commutative algebra with respect to the skein product.
Theorem 2.1
[59] The skein algebra \({{\,\textrm{Sk}\,}}^{+}(A)\) is isomorphic to the algebra \(\Lambda _q\) of symmetric functions in infinitely many variables over \({\mathbb {Z}}[q^{\pm 1}]\).
There are several versions of the isomorphism in Theorem 2.1 which differ by automorphisms of the symmetric function ring, possibly after extending scalars. We outline one of them in the next section.
2.2 Universal Hecke trace and symmetric functions
The Hecke algebra \(H_n\) is defined as the quotient of \({\mathbb {Z}}[q^{\pm 1}]\textrm{Br}_n\) by the HOMFLY skein relation shown above. It is easy to see that \(H_n\) is spanned by the images of positive permutation braids. Moreover, taking braid closures in the annulus defines a linear map \({{\,\textrm{Tr}\,}}:H_n\rightarrow {{\,\textrm{Sk}\,}}^{+}(A)\). Since the closures of conjugate braids represent the same link in the annulus, we have \({{\,\textrm{Tr}\,}}(ab)={{\,\textrm{Tr}\,}}(ba)\). In fact, it is easy to see from the construction that
In other words, any linear map \(f:H_n\rightarrow V\) such that \(f(ab)=f(ba)\) factors through the map \({{\,\textrm{Tr}\,}}:H_n\rightarrow {{\,\textrm{Sk}\,}}^{+}(A)\).
The identification of \({{\,\textrm{Sk}\,}}^{+}(A)\) with \(\Lambda _q\) is also transparent in this construction. Indeed, the irreducible representations \(V_{\lambda }\) of \(H_n\) are classified by Young diagrams \(\lambda \) with n boxes. Define the map
where \(s_{\lambda }\) is the Schur function. Clearly, \({{\,\textrm{Tr}\,}}_{\Lambda _q}(ab)={{\,\textrm{Tr}\,}}_{\Lambda _q}(ba)\), so by the above \({{\,\textrm{Tr}\,}}_{\Lambda _q}\) factors through \({{\,\textrm{Sk}\,}}^{+}(A)\):
Theorem 2.1 states that i is an isomorphism.
Remark 2.2
The Hecke algebra can also be used to study invariants of oriented tangles with n inputs and n outputs. More precisely, we consider the ring \(\mathbb {k}:={\mathbb {Z}}[q^{\pm 1}, a^{\pm 1}, (q^kq^{k})^{1}]\) for all \(k>1\), and the \(\mathbb {k}\)module \({{\,\textrm{Sk}\,}}(n,n)\) spanned by all framed oriented tangles in an axisparallel rectangle in \({\mathbb {R}}^2\), with n inputs on the bottom boundary and n outputs on the top, modulo the HOMFLY skein relation and:
It is known [3, 39] that \({{\,\textrm{Sk}\,}}(n,n)\) (with respect to composition) is isomorphic to the Hecke algebra \(H_n\otimes \mathbb {k}\) with scalars extended to \(\mathbb {k}\). The extended trace is denoted by \({{\,\textrm{Tr}\,}}_{\Lambda _{a,q}}:{{\,\textrm{Sk}\,}}(n,n) \rightarrow \Lambda _q\otimes \mathbb {k}=: \Lambda _{a,q}\).
The universal trace can be specialized to the Jones–Ocneanu trace on the Hecke algebra which yields the HOMFLYPT polynomial or \(\mathfrak {sl}_{N}\) Reshetikhin–Turaev invariants of links \(L\subset S^3\) presented as braid closures.
Proposition 2.3
Let \(f_L\in \Lambda _q\) correspond to a braid closure L in the thickened annulus under the isomorphism (2). Then the \(\mathfrak {sl}_{N}\) Reshetikhin–Turaev invariants \(\langle L\rangle _{N}\) and the HOMFLYPT polynomial \(\langle L\rangle \) can be computed as follows:

(a)
\(\langle L\rangle _{N}=f_L(q^{N1},q^{N3},\ldots ,q^{1N})\)

(b)
\(\langle L\rangle = \varepsilon (f_L),\) where \(\varepsilon :\Lambda _q\rightarrow \Lambda _{a,q}\) is the ring homomorphism defined by
$$\begin{aligned} \varepsilon (p_k)=(a^{k}a^{k})/(q^kq^{k}). \end{aligned}$$
Here \(p_k\) denotes the kth power sum symmetric function.
Proof
Part (a) is wellknown. To obtain (b), observe that by (a)
\(\square \)
2.3 Coxeter braids
In this section we compute the images of braid lifts of Coxeter elements in \(\Lambda _q\). To this end, we introduce a particular plethysm operation. Recall that the power sum symmetric functions \(p_n\) for \(n>1\) give an algebraically independent set of generators of \(\Lambda _q\otimes _{{\mathbb {Z}}} {\mathbb {Q}}\).
Lemma 2.4
There exists a unique \({\mathbb {Z}}[q^{\pm 1}]\)algebra endomorphism of \(\Lambda _q\) which sends \(p_k\) to its scalar multiple \(p_k(q^{k}q^{k})\) for all \(k\ge 1\).
If \(f\in \Lambda _q\) is a symmetric function, we denote its image under this endomorphism by \(f[X(q^{1}q)]\).
Proof
After extending to scalars to \({\mathbb {Q}}[q^{\pm 1}]\), it is clear that there is a unique endomorphism with these properties. The fact that it is welldefined over \({\mathbb {Z}}[q^{\pm 1}]\) follows from the following lemma, which can be used to compute the images of the algebraically independent integral generators given by the elementary (or complete) symmetric functions \(e_n\) (or \(h_n\)) for \(n\ge 0\). \(\square \)
Lemma 2.5
We have
Proof
Consider the identity of generating functions
which implies
By taking the coefficient at \(z^n\), we get
The other identity admits an analogous proof. \(\square \)
The following proposition describes the trace of the positive Coxeter braid \(\sigma _{n1}\cdots \sigma _{1}\) in terms of the plethysm operation introduced above.
Proposition 2.6
We have \({{\,\textrm{Tr}\,}}_{\Lambda _q}(\sigma _{n1}\cdots \sigma _{1})=(1)^{n1}h_n[X(q^{1}q)]/(q^{1}q)\).
Proof
The traces of \(\sigma _{n1}\cdots \sigma _{1}\) in various representations of the Hecke algebra can be found in [30, Section 9]. Such a trace in \(V_{\lambda }\) vanishes if \(\lambda \) is not a hook, and equals \((1)^{i}q^{n12i}\) for the hook \(\lambda _i=(ni,1^i)\). It remains to apply Lemma 2.5. \(\square \)
Remark 2.7
In [38, Theorem 3.6] Morton obtained this result (in the form of equation (3)) by purely skeintheoretic methods.
Remark 2.8
In [59] Turaev identified the entire skein of the annulus \({{\,\textrm{Sk}\,}}(A)\) with a polynomial algebra in variables \(l_k\) with \(k\in {\mathbb {Z}}\setminus \{0\}\). These \(l_k\) can be chosen to be the images of the closures of positive Coxeter braids on k strands, winding positively or negatively around the annulus. The positive half has generators \(l_k\) for \(k\ge 1\) and is thus isomorphic to the ring of symmetric functions.
We can also describe the annular invariants for all lifts of the Coxeter element \(s_{n1}\cdots s_{1}\in S_n\). Such a lift has the form \(\sigma _{n1}^{\epsilon _{n1}}\cdots \sigma _{1}^{\epsilon _{1}}\) for some \(\epsilon _i=\pm 1\).
Definition 2.9
Consider the bijection between the set \(\{\pm 1\}^{n1}\) and the set C(n) of compositions of n with strictly positive parts, given as follows. To a sequence \(\epsilon =(\epsilon _1,\dots , \epsilon _{n1})\) we associate the composition \((a_1,\ldots ,a_s)\) of n, which is determined by
and \(\epsilon _i=+1\) for all other i. Note that this implies \(a_s=n(a_1+\cdots +a_{s1})\).
For example,
For a composition \((a_1,\ldots ,a_s)\) we define its length \(l(a)=s\). We will use the partial order on C(n): \(a\preceq b\) if a refines b. In this order, (n) is the maximal element (it corresponds to a sequence of \(+1\)’s) and \((1,\ldots ,1)\) is the minimal one (it corresponds to a sequence of \(1\)’s).
Definition 2.10
Let a be a composition of n. We define a symmetric function
where \(h_k\) are complete symmetric functions and l(a), l(b) are the lengths of a and b as above.
Example 2.11
In the above example \(a=(3,2,1,2)\) we get
Lemma 2.12
We have \(\Psi (a)=\det M(a)\), where
Proof
Straightforward from the recursive formula
\(\square \)
Example 2.13
In our running example we get
Corollary 2.14
For \(\epsilon =(\underbrace{+1,\ldots ,+1}_{k},\underbrace{1,\ldots , 1}_{nk1})\) we have \(a=(k+1,\underbrace{1,\ldots ,1}_{nk1})\) and \(\Psi (a)=s_{k+1,1^{nk1}}\).
Proof
Follows from the determinantal formula for \(\Psi (a)\) and the JacobiTrudy formula for \(s_{k+1,1^{nk1}}\). \(\square \)
For general a, the Schur expansion for \(\Psi (a)\) is more complicated.
Example 2.15
One can check that
In particular, \(\Psi (3,2,1,2)\) expands as a nonnegative linear combination of Schur functions. To see that this is the case for any composition \(a=(a_1,\ldots ,a_s)\), consider a pair of partitions
It is easy to see that \(\mu \subset \lambda \) and \(\lambda \mu \) is a connected nribbon with rows of size \(a_i\). Now, the determinantal expression for \(\Psi (a)\) in Lemma 2.12 is precisely the Jacobi–Trudi formula defining the skew Schur function \(s_{\lambda /\mu }\) [35]:
Example 2.16
In our running example for \(a=(3,2,1,2)\) we get \(\lambda =(5,4,4,3)\), \(\mu =(3,3,2)\) (see figure in Sect. 1.4) and \(\Psi (a)=s_{5443/332}\).
Corollary 2.17
For all compositions a the coefficients of \(\Psi (a)\) in the Schur basis are nonnegative.
Proof
We have \(\Psi (a)=s_{\lambda /\mu }\) with \(\lambda \) and \(\mu \) as described above. The lemma now follows since skew Schur polynomials expand in Schur polynomials with nonnegative coefficients given by the Littlewood–Richardson rule: \((s_{\lambda /\mu },s_{\nu })=(s_{\lambda },s_{\mu }s_{\nu }).\) \(\square \)
Example 2.18
Let us determine the polynomials \(\Psi (a)\) for \(n=4\). We get the following table:
\(\epsilon \)  a  \(\lambda \)  \(\mu \)  \(\Psi (a)=s_{\lambda /\mu }\) 

\((+1,+1,+1)\)  4  4  \(\emptyset \)  \(s_4\) 
\((+1,+1,1)\)  31  33  2  \(s_{3,1}\) 
\((+1,1,+1)\)  22  32  1  \(s_{2,2}+s_{3,1}\) 
\((1,+1,+1)\)  13  31  \(\emptyset \)  \(s_{3,1}\) 
\((+1,1,1)\)  211  222  11  \(s_{2,1,1}\) 
\((1,+1,1)\)  121  221  1  \(s_{2,1,1}+s_{2,2}\) 
\((1,1,+1)\)  112  211  \(\emptyset \)  \(s_{2,1,1}\) 
\((1,1,1)\)  1111  1111  \(\emptyset \)  \(s_{1,1,1,1}\) 
Lemma 2.19
We have \(\sum _{a\in C(n)} \Psi (a)=h_1^n\).
Proof
By definition, we have
If one fixes b, it is easy to see that the sum over a with \({a\preceq b}\) vanishes unless all parts of b have size 1. \(\square \)
We are ready to connect these combinatorial results to knot theory.
Theorem 2.20
The annular invariant of the generalized Coxeter braid \(\sigma _{\epsilon }=\sigma _{n1}^{\epsilon _{n1}}\cdots \sigma _{1}^{\epsilon _{1}}\) equals
where the composition a corresponds to \(\epsilon \) as in Definition 2.9 and \(\epsilon _+\) is the number of \(+1\) entries in \(\epsilon \).
In the following, we use the notation \(c_a\) for the annular closure of \(\sigma _\epsilon \) and \(a_+:=\epsilon _+\).
Proof
Let us prove the statement by induction on the number of entries \(1\) in \(\epsilon \). If \(\epsilon =(+1,\cdots ,+1)\), this follows from Proposition 2.6. Otherwise, let \(a=(a_1,\ldots ,a_s)\) be the corresponding composition. The rightmost negative crossing in \(\sigma _{\epsilon }\) is at position \(a_1+\cdots +a_{s1}\). If we replace it by a positive one, we get the composition \(a'=(a_1,\ldots ,a_{s2},a_{s1}+a_{s})\). If we erase that crossing, we get a disjoint union of a Coxeter braid for the composition \(a''=(a_1,\ldots ,a_{s1})\) and a positive Coxeter braid on \(a_s\) strands. Now, by the skein relation the we get
The last equation follows from the recursive formula (4). \(\square \)
Corollary 2.21
For \(\epsilon =(\underbrace{+1,\ldots ,+1}_{k},\underbrace{1,\ldots ,1}_{nk1})\) we get
Proof
Follows from Theorem 2.20 and Corollary 2.14. \(\square \)
Corollary 2.22
We have
Proof
This follows from Corollary 2.21 and the equations
\(\square \)
Remark 2.23
This corollary was proved by Aiston [2] by different methods, see also [38].
2.4 From skein to the center of Hecke algebra
The skein of the annulus is closely related to the center of the Hecke algebra, as exemplified by Morton [38]. Recall that the Jucys–Murphy braids are defined as \({\mathcal {L}}_i=\sigma _{i1}\cdots \sigma _1\sigma _1\cdots \sigma _{i1}\). It is easy to see that \({\mathcal {L}}_i{\mathcal {L}}_j={\mathcal {L}}_j{\mathcal {L}}_i\) for all \(1\le i,j\le n\). Note that \({\mathcal {L}}_1\) is a trivial braid. It is well known that the center of \(H_n\) is spanned by the symmetric polynomials in \({\mathcal {L}}_1,\ldots ,{\mathcal {L}}_n\).
There is a natural homomorphism \(T_n\) from \({{\,\textrm{Sk}\,}}^{+}(A)\) to \(H_n\otimes \mathbb {k}\cong {{\,\textrm{Sk}\,}}(n,n)\) given by wrapping annular links L around the identity braid on n strands as in the following picture:
It is easy to see that for any annular link L the tangle \(T_n(L)\) is central in \({{\,\textrm{Sk}\,}}(n,n)\) (and hence in \(H_n\otimes \mathbb {k}\)), and \(T_n(L_1\sqcup L_2)=T_n(L_1)T_n(L_2)\).
Theorem 2.24
[38, Theorem 3.9] Under the identification \({{\,\textrm{Sk}\,}}^{+}(A)\otimes \mathbb {k}\cong \Lambda _{a,q}\) one has \(T_n(f)=\phi _n(f)({\mathcal {L}}_1,\ldots ,{\mathcal {L}}_n)\), where \(f\in \Lambda _q\) and \(\phi :\Lambda _{a,q}\rightarrow \Lambda _{a,q}\) is an endomorphism defined by
where \(\varepsilon \) is the evaluation homomorphism defined in Proposition 2.3.^{Footnote 1}
It is sometimes helpful to rewrite (6) in terms of the eigenvalues of central elements \(T_n(f)\). Recall that \({\mathcal {L}}_i\) can be simultaneously diagonalized using Jones–Wenzltype projectors. For each standard Young tableau T there is an element \(p_T\in {{\,\textrm{Sk}\,}}(n,n)\) such that \({\mathcal {L}}_i\cdot p_T=q^{2 c_i(T)} p_T\), where \(c_i\) denotes the content of the box labeled by i in T, see e.g. [50, Equation (3.20)] (Fig. 1).
Lemma 2.25
Assume that \(\lambda \) has at most N parts. Given a symmetric function \(f\in \Lambda _q\) and a standard tableau T of shape \(\lambda \), one has
Proof
Since \(p_T\) is an eigenvector for all \({\mathcal {L}}_i\), by Theorem 6 it is an eigenvector for \(T_n(f)\) for any f, so
for some scalar \(\mu _T(f)\). Clearly, the assignment \(f\mapsto \mu _T(f)\) is a ring homomorphism, so it is sufficient to compute the image of power sums. We have
so the eigenvalue of \(({\mathcal {L}}_1^k+\cdots +{\mathcal {L}}_n^{k})\) on \(p_T\) equals
By applying (6) we get
and
\(\square \)
2.5 Generalized Hopf links
We can use the above results to describe the polynomial invariants of generalized Hopf links. Consider the standard genus one Heegaard decomposition of \(S^3\) with two annular links \(L_1,L_2\) in the two genus one handlebodies. Their union \(H(L_1,L_2)\) is a link in \(S^3\) which we call a generalized Hopf link (indeed, the cores of the two solid tori yield a Hopf link). Note that it is naturally framed by framings of \(L_1\) and \(L_2\). The following is clear from the definition:
Proposition 2.26
The \(\mathfrak {sl}_{N}\) polynomial \(\langle H(L_1,L_2)\rangle _N\) depends only on classes of \(L_1\) and \(L_2\) in \({{\,\textrm{Sk}\,}}^{+}(A)\), and it is bilinear in these classes.
To compute this invariant, it is then sufficient to choose a basis in \({{\,\textrm{Sk}\,}}^{+}(A)\simeq \Lambda _q\) and to compute the bilinear form in this basis. Lemma 2.25 immediately implies the following:
Proposition 2.27
The invariants of the generalized Hopf links are completely determined by either of the following:

(a)
If both components are colored by Schur functions then
$$\begin{aligned} \langle H(s_{\lambda },s_{\mu })\rangle _N=s_{\lambda }(q^{(N1)},\ldots ,q^{(N1)})s_{\mu }(q^{2\lambda _1(N1)},\ldots ,q^{2\lambda _N+(N1)}). \end{aligned}$$(7) 
(b)
If one component is colored by a Schur function \(s_{\lambda }\) and the other by an arbitrary symmetric function f then
$$\begin{aligned} \langle H(s_{\lambda },f)\rangle _N=s_{\lambda }(q^{(N1)},\ldots ,q^{(N1)})f(q^{2\lambda _1(N1)}\ldots ,q^{2\lambda _N+(N1)}). \end{aligned}$$(8)
Remark 2.28
It follows that the right hand side of (7) is symmetric in \(\lambda \) and \(\mu \) for all N.
3 General facts about symmetric monoidal categories
3.1 A free symmetric monoidal category
We start by defining a useful PROP—a graded, additive version of a product and permutations category [37, Chapter V, 2.4].
Definition 3.1
Let \(\text{ P }\) denote the graded, strict symmetric monoidal \({\mathbb {C}}\)linear additive category that is freely generated by a single object E and a degree two endomorphism x. We will use the notation \(\hat{\text{ P }}={{\,\textrm{Kar}\,}}(\text{ P})\) for its idempotent completion.
The objects of \(\text{ P }\) are formal direct sums of grading shifts of tensor powers of E and we denote such grading shifts by powers of q. The morphisms of \(\text{ P }\) are matrices whose entries can be interpreted as \({\mathbb {C}}\)linear combinations of string diagrams built from identity endomorphisms of copies of E, the morphism \(x:q^k E\rightarrow q^{k2} E\) and the basic braiding morphism \(\sigma :q^k E\otimes E \rightarrow q^k E \otimes E\). (We think of such string diagrams as dotted permutations). Explicitly, we have:
Here, the subscript \(kl\) indicates taking the degree \(kl\) component of this algebra, which is graded by putting all \(x_i\) in degree two and all permutations in degree zero. In other words, we have:
Lemma 3.2
\(\hat{\text{ P }}\) is equivalent to \(\bigoplus _{n\ge 0}{\mathbb {C}}[S_n]\ltimes {\mathbb {C}}[x_1,\dots ,x_n]\textrm{gpmod}\).
In the following \(K_0({\mathcal {C}})\) denotes the split Grothendieck group (ring) of an additive (monoidal) category \({\mathcal {C}}\) and \(\Lambda _q\) is the \({\mathbb {Z}}[q^{\pm 1}]\)algebra of symmetric functions in infinitely many variables.
Lemma 3.3
We have ring isomorphisms \(K_0(\text{ P})\cong {\mathbb {Z}}[q^{\pm 1},e]\) where \([E]\mapsto e\), and \(K_0(\hat{\text{ P }})\cong \Lambda _q\) where \([E]\mapsto e_1\).
Proof
By definition, \(\text{ P }\) is additively generated by \(q^k E^{\otimes n}\) and there are no isomorphisms between distinct such objects, so \(K_0(\text{ P})\cong {\mathbb {Z}}[q^{\pm 1},e]\) and \([E^{\otimes k}]=e^k\).
To compute the Grothendieck group of \(\hat{\text{ P }}\), we need to classify the idempotent endomorphisms of objects of the form \(q^k E^{\otimes n}\) in \(\text{ P }\). Since x has positive degree, (9) implies that idempotents appear only in \({\mathbb {C}}[S_n]\) and they are exactly the Young idempotents \({\textbf{e}}_{\lambda }\), which are parametrized (up to isomorphism) by Young diagrams \(\lambda \) with \(\lambda =n\). Then \(K_0(\hat{\text{ P }})\) has a basis given by the classes of such pairs \((q^k E^{\otimes n},{\textbf{e}}_{\lambda })\). The fact that this gives a ring homomorphism follows from the next section. \(\square \)
3.2 Schur functors and evaluation
Let \({\mathcal {C}}\) be a \({\mathbb {C}}\)linear strict symmetric monoidal Karoubian category, and let \({\mathcal {E}}\) be an object in \({\mathcal {C}}\). For every \(n\ge 1\) there is an action of \(S_n\) on \({\mathcal {E}}^{\otimes n}\) given by the permutation of the factors. In other words, we have a homomorphism \(\phi _n:S_n\rightarrow {{\,\textrm{End}\,}}({\mathcal {E}}^{\otimes n})\). For every partition \(\lambda \) of n we pick the primitive Young idempotent \({\textbf{e}}_{\lambda }\in {\mathbb {C}}[S_n]\) corresponding to a fixed Young tableau of shape \(\lambda \). Its image \(\phi _n({\textbf{e}}_{\lambda })\) is an idempotent endomorphism of \(E^{\otimes n}\). Since \({\mathcal {C}}\) is Karoubian, we can define the Schur functor of \({\mathcal {E}}\) as the image of this idempotent:
For more details on Schur functors see [14]. We will write \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^n({\mathcal {E}})={\mathbb {S}}^{(1^n)}({\mathcal {E}})\) and \(S^n({\mathcal {E}})={\mathbb {S}}^{(n)}({\mathcal {E}})\).
Definition 3.4
We say that the object \({\mathcal {E}}\) has rank at most N, if \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^{N+1}({\mathcal {E}})\cong 0\).
For example, \({\mathbb {C}}^N\) is of rank at most N in the symmetric monoidal category of complex vector spaces.
Proposition 3.5
If \({\mathcal {E}}\) is an object of rank at most N and \(\lambda \) is a partition with more than N parts then \({\mathbb {S}}^{\lambda }({\mathcal {E}})\cong 0\).
Proof
Follows from [14, Corollaire 1.7]. \(\square \)
Proposition 3.6
Let \({\mathcal {C}}\) be a graded, strict symmetric monoidal \({\mathbb {C}}\)linear additive category, and let \({\mathcal {E}}\) be an object in \({\mathcal {C}}\) with an endomorphism X. Then there is a unique braided monoidal \({\mathbb {C}}\)linear additive functor \(\text{ P }\rightarrow {\mathcal {C}}\) which sends E to \({\mathcal {E}}\) and x to X. If, in addition, \({\mathcal {C}}\) is Karoubian then this functor extends to a functor \(\hat{\text{ P }}\rightarrow {\mathcal {C}}\).
Proof
By the assumptions, there is an action of \({\mathbb {C}}[X_1,\ldots ,X_n]\rtimes {\mathbb {C}}[S_n]\) on \({\mathcal {E}}^{\otimes n}\), so we can define a monoidal functor \(\text{ P }\rightarrow {\mathcal {C}}\) sending \(E^{\otimes n}\) to \({\mathcal {E}}^{\otimes n}\). It uniquely extends to the Karoubi completions. \(\square \)
Remark 3.7
More generally, let \({\mathcal {C}}\) be a \({\mathbb {C}}\)linear additive monoidal (but not necessary symmetric) Karoubian category. We shall say that an object \({\mathcal {E}}\in {\mathcal {C}}\) with an endomorphism X is selfcommuting with symmetry \(s:{\mathcal {E}}\otimes {\mathcal {E}}\rightarrow {\mathcal {E}}\otimes {\mathcal {E}}\) if there is an additive monoidal functor \(\hat{\text{ P }}\rightarrow {\mathcal {C}}\) sending E to \({\mathcal {E}}\), \(\sigma \) to s, and x to X.
3.3 Complexes
The constructions from the previous subsection directly extend to the category \(\text{ Kom }({\mathcal {C}})\) of complexes of objects in \({\mathcal {C}}\) and to the homotopy category of complexes \(\text{ K}^b({\mathcal {C}})\). We will frequently use the following fact which is wellknown to experts (e. g. [4]). For completeness, we prove it in the appendix as Theorem A.10.
Theorem 3.8
The bounded homotopy category of a Karoubian category is Karoubian.
The category of complexes \(\text{ Kom }({\mathcal {C}})\) is symmetric monoidal if the original category \({\mathcal {C}}\) was so. To fix the sign conventions, we define the differential on the tensor product by the equation
The braiding \(\Sigma \) on \(\text{ Kom }({\mathcal {C}})\) differs from the braiding \(\sigma \) in \({\mathcal {C}}\) by sign placements.
This allows one to define arbitrary Schur functors for complexes. One can check that Schur functors of homotopy equivalent complexes are homotopy equivalent, see e.g. Theorem A.5. We refer to the appendix for more details on Schur functors for complexes. Also, we record the following fact which immediately follows from the above discussion.
Proposition 3.9
Let \({\mathcal {C}}\) be a \({\mathbb {C}}\)linear additive monoidal (but not necessary symmetric) Karoubian category, assume \({\mathcal {E}}\) is a selfcommuting complex in the bounded homotopy category \(\text{ K}^b({\mathcal {C}})\). Then the Schur functors \({\mathbb {S}}^{\lambda }({\mathcal {E}})\) are well defined.
The Schur functors interact nontrivially with the shift functor [1], for which we use the convention \(A[1]=\textrm{id}[1]\otimes A\). First, note that for two complexes A and B the isomorphism \(s:A[1]\otimes B[1]\rightarrow (A\otimes B)[2]\) sends \(a\otimes b\mapsto (1)^{deg(a)1}a\otimes b\). Indeed, in agreement with (10), the isomorphism
is given by the braiding \(c_{23}\).
Similarly, one can check that the chain of isomorphisms
differs from the composition of the braiding \(A\otimes B\cong B\otimes A\) and the shift [2] by a factor of \(1\). Therefore the representations of \(S_k\) on \((A^{\otimes k})[k]\) and on \((A[1])^{\otimes k}\) differ by sign, and
This shows that the notion of the Schur functor of a complex is sensitive to the parity of homological degrees of its terms.
Example 3.10
Let , where \({\mathcal {E}}\) is in homological degree 1 and \({\mathcal {F}}\) is in degree 0. Then:
where \(S^k({\mathcal {E}})\) has homological degree k. However,
where \(S^k({\mathcal {F}})\) has homological degree \(k\).
Example 3.11
Consider a twoterm complex over the category \({\mathcal {C}}[t]\) of \({\mathbb {C}}[t]\)modules
Since \({\mathbb {C}}[t]\otimes _{{\mathbb {C}}[t]}{\mathbb {C}}[t]={\mathbb {C}}[t]\), we have \(S^2({\mathbb {C}}[t])\cong {\mathbb {C}}[t]\) and \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^2({\mathbb {C}}[t])\cong 0\). Similarly, \(S^k({\mathbb {C}}[t])={\mathbb {C}}[t]\) and \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^k({\mathbb {C}}[t])=0\) for \(k\ge 2\). Therefore
We will need the following result:
Theorem 3.12
Let \(\overline{\text{ P }}\) be the full tensor subcategory of \(\hat{\text{ P }}\) generated by \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^i(E)\). Then the bounded homotopy categories of \(\overline{\text{ P }}\) and of \(\hat{\text{ P }}\) are equivalent.
Proof
Since \(\overline{\text{ P }}\) is a full subcategory of \(\hat{\text{ P }}\), the homotopy category of \(\overline{\text{ P }}\) is a full subcategory of the homotopy category of \(\hat{\text{ P }}\). Furthermore, \(\text{ K}^b(\overline{\text{ P }})\) is dense (in the sense of [57]) in \(\text{ K}^b(\hat{\text{ P }})\) since every complex in \(\text{ K}^b(\hat{\text{ P }})\) is even isomorphic to a direct summand in a complex in \(\text{ K}^b(\text{ P})\), i.e. a complex built out of several copies of \(E^{\otimes n}\).
Every Schur functor of E is homotopy equivalent to a complex built out of \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^i(E)\). Indeed, the Schur functor \({\mathbb {S}}^{\lambda }(E)\) appears as a unique summand in \(\bigotimes _{j}\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^{\lambda _j}(E)\) and all other summands are smaller than \(\lambda \) in dominance order, so we can inductively resolve \({\mathbb {S}}^{\lambda }(E)\) by the products of \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^i(E)\).
This means that \(K_0(\text{ K}^b(\overline{\text{ P }}))\cong K_0(\text{ K}^b(\hat{\text{ P }}))\) and by Theorem A.1 we get \(\text{ K}^b(\overline{\text{ P }})\simeq \text{ K}^b(\hat{\text{ P }})\).
\(\square \)
3.4 Affine extensions and plethysms
Consider a symmetric monoidal Karoubian \({\mathbb {C}}\)linear category \({\mathcal {C}}\). We define its affine extension \({\mathcal {C}}[t]\) as (the Karoubi completion of) the category with the objects \({\mathcal {E}}[t]\) where \({\mathcal {E}}\) ranges over objects of \({\mathcal {C}}\), and the hom spaces have the form
In particular, each object \({\mathcal {E}}[t]\) in \({\mathcal {C}}[t]\) has endomorphisms \(t^k\) for \(k\ge 0\). The tensor product on \({\mathcal {C}}\) naturally induces a tensor product in \({\mathcal {C}}[t]\). We define pullback and pushforward functors
We assume that \({\mathcal {C}}\) is graded, and t has some nontrivial grading, so that the direct sum in the definition of \(\pi _*({\mathcal {E}})\) makes sense in an appropriate completion with respect to this grading (we allow infinite direct sums which are finite in each grading).
Clearly, \(\pi ^*\) is monoidal, and left adjoint to \(\pi _*\). These functors naturally extend to functors between the homotopy categories of complexes of objects in \({\mathcal {C}}\) and \({\mathcal {C}}[t]\), respectively.
Example 3.13
If R is an algebra and \({\mathcal {C}}=Rmod\), then \({\mathcal {C}}[t]\simeq R[t]mod\). The functors \(\pi _*\) and \(\pi ^*\) are given by (derived) restriction and induction functors. In particular, if \({\mathcal {E}}\) is a free Rmodule then \({\mathcal {E}}[t]\) is a free R[t]module, and all free R[t]modules appear this way. Furthermore, the restriction of \({\mathcal {E}}[t]\) to R is isomorphic (as an Rmodule) to \({\mathcal {E}}\otimes {\mathbb {C}}[t]\), and
We now use affine extensions to define functors which model certain plethystic transformations. We define a twoterm complex over \(\hat{\text{ P }}[t]\):
Observe that K(E, x) still has an action of x as an endomorphism of a complex. By Proposition 3.6, we can define an evaluation functor from \(\hat{\text{ P }}\) to \(\text{ K}^b(\hat{\text{ P }}[t])\) which sends an object F of \(\hat{\text{ P }}\) to F(K(E, x)).
Definition 3.14
We define the functor \(\Phi : \hat{\text{ P }}\rightarrow \text{ K}^b(\hat{\text{ P }})\) as the composite:
Example 3.15
Recall that we have \(K_0(\hat{\text{ P }})\cong \Lambda _q\) and the functor \(\Phi \) induces the following map on the level of Grothendieck rings:
Note that the first map is a ring homomorphism (induced by a monoidal functor), but the second is not.
The “plethysm” functor \(\Phi \) can be combined with the evaluation in the following way. Let \({\mathcal {E}}\) be an object in a symmetric monoidal Karoubian category \({\mathcal {C}}\) with an endomorphism X. As above, this data defines a braided monoidal functor \(\hat{\text{ P }}\rightarrow {\mathcal {C}}\) which sends E to \({\mathcal {E}}\) and x to X, which can be extended to a functor from \(\text{ K}^b(\hat{\text{ P }})\) to \(\text{ K}^b({\mathcal {C}})\). By the functoriality of affine extension, we can also construct functors \(\hat{\text{ P }}[t]\rightarrow {\mathcal {C}}[t]\) and \(\text{ K}^b(\hat{\text{ P }}[t])\rightarrow \text{ K}^b({\mathcal {C}}[t])\). It is easy to see that for any object F of \(\hat{\text{ P }}\) these send
3.5 Examples of plethysms
Let us compute the action of \(\Phi \) on some objects and morphisms.
Example 3.16
We have
where the last homotopy equivalence follows from “infinite Gaussian elimination”.
Definition 3.17
Let \(U\simeq {\mathbb {C}}^{n1}\) denote the reflection representation of \(S_n\). Then we define the Koszul complex
where the differential
is induced by the linear map \(U\rightarrow {{\,\textrm{End}\,}}(E^{\otimes n})\) which sends the ith basis vector in U to \(x_ix_{i+1}\).
From the definition it is immediate that \(\textrm{Cube}_n\) admits an action of \(S_n\), which restricts to the symmetryinduced action \(S_n\rightarrow {{\,\textrm{End}\,}}(E^{\otimes n})\) in homological degree zero.
Proposition 3.18
Proof
Note that is also a Koszul complex, and as such it can be recovered from its last differential, which is the \({\mathbb {C}}\)linear map
by taking the exterior algebra on \((E^{\otimes n})^{\oplus n}\) and defining the differential as contraction with S. We can obtain an isomorphic Koszul complex after a change of basis from:
Considering this as a complex of \({\mathbb {C}}[x_1,\dots ,x_n]\)modules, we can apply Gaussian elimination along the component \(t\) of the differential to obtain \(\textrm{Cube}_n\). \(\square \)
Corollary 3.19
Let \(\textrm{Cube}_n^\lambda \) denote the chain complex obtained as the image of our chosen Young idempotent \({\textbf{e}}_{\lambda }\) of shape \(\lambda \) acting on \(\textrm{Cube}_n\). Then we have:
Proof
The functor \(\pi _*\) commutes with the action of \({\mathbb {C}}[S_n]\), so
\(\square \)
We now describe a categorified version of the identity in Lemma 2.5.
Lemma 3.20
The \(S_n\)–invariant part of \(\textrm{Cube}_n\) can be written as
Proof
It is well known that the exterior powers of U are irreducible representations of \(S_n\) labeled by the hook Young diagrams. Then we have \((\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^{i}U\otimes E^{\otimes n})^{S_n}\cong {{\,\textrm{Hom}\,}}_{S_n}(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^iU,E^{\otimes n})\cong {\mathbb {S}}^{ni,1^{i}}(E)\). \(\square \)
Similarly, one can prove the following.
Lemma 3.21
The signisotypic component of \(\textrm{Cube}_n\) can be written as
As we will see in Theorem 5.1, the complexes shown in the previous lemmas agrees (up to a homological shift) with the annular invariants of the \((n1)\)fold positively and negatively stabilized unknots respectively.
Next, we consider particular evaluations of these complexes.
Example 3.22
Let \({\mathcal {C}}=\textrm{Vect}_{\mathbb {C}}\). Consider an object \({\mathcal {E}}={\mathbb {C}}[X]/X^k\). Observe that \({\mathcal {C}}[t]\simeq {\mathbb {C}}[t]mod\), and
The shown homotopy equivalence holds in the category of complexes of free \({\mathbb {C}}[t]\)modules. We can write \({\mathbb {C}}[X,t]/X^k\) as a direct sum of k copies of \({\mathbb {C}}[t]\) with the action of X shifting them by one. Then we get the following complex of \({\mathbb {C}}[t]\)modules:
Here the horizontal arrows are given by multiplication by t and the diagonal ones correspond to X and hence are multiplications by \((\pm 1)\). Gaussian elimination cancels everything except the top left and bottom right copies of \({\mathbb {C}}[t]\), which are then connected by \(t^k\).
Now by Example 3.11 we have
for all \(n\ge 1\).
Remark 3.23
The same proof applies to \({\mathcal {E}}={\mathbb {C}}[X]/p(X)\) for an arbitrary polynomial p(X). Indeed,
so
Generalizing the previous example, let \({\mathcal {E}}\) be a vector space with the action of a nilpotent operator X with Jordan blocks of size \(k_1,\ldots ,k_n\). Then we can write \({\mathcal {E}}=\oplus _{i}{\mathbb {C}}[X]/X^{k_i}\), and . Therefore
The effect of \(\pi _*\) on the terms in the sum can be computed using the previous example.
Example 3.24
Suppose that \({\mathcal {E}}\) is a vector space with an endomorphism X which has two Jordan blocks of sizes \(k_1\) and \(k_2\). Then \(S^n(K({\mathcal {E}},X))\) has \((n+1)\) direct summands: , and \((n1)\) more summands of the form
After applying the forgetful functor \(\pi _*\), the latter complexes are isomorphic to their homology which have dimension \(\min (k_1,k_2)\) both in homological degrees one and zero. Therefore
4 Khovanov–Rozansky theory
4.1 Webs
The Reshetikhin–Turaev invariants of knots, links and tangles are defined as certain intertwiners of representations of quantum groups. In type A, these intertwiners and the relations satisfied by them can be described by a graphical calculus of webs, see [13, 40]. The basic building blocks in the cases of \(\mathfrak {sl}_N\) and \(\mathfrak {gl}_N\) are the fundamental representations \(\bigwedge _q^a {\mathbb {C}}_q^N\) and their identity endomorphisms, as well as two types of natural intertwiners \(\bigwedge _q^a {\mathbb {C}}_q^N\otimes \bigwedge _q^b {\mathbb {C}}_q^N \rightarrow \bigwedge _q^{a+b} {\mathbb {C}}_q^N\) and \(\bigwedge _q^{a+b} {\mathbb {C}}_q^N\rightarrow \bigwedge _q^a {\mathbb {C}}_q^N\otimes \bigwedge _q^b {\mathbb {C}}_q^N\) which are called merge and split respectively:
Other intertwiners can be built by taking tensor products and composites of identities, merges and splits, and such composites quickly become linearly dependent. Analogously, complicated webs can be built by gluing together the shown basic pieces, which then satisfy corresponding linear relations. We illustrate a few relations here and refer to [13] for a complete list of web relations for \(\mathfrak {sl}_N\) and to [58] for the case of \(\mathfrak {gl}_{N}\).
Definition 4.1
Let \(N\varvec{\textrm{Web}}\) denote the additive, \({\mathbb {C}}(q)\)linear category with:

Objects: finite sequences \({\underline{a}}:=(a_1,\dots , a_m)\) with \(a_i\in \{1,\dots , N\}\).

Morphisms: \({{\,\textrm{Hom}\,}}_{\varvec{\textrm{Web}}}({\underline{a}},{\underline{b}})\) is the \({\mathbb {C}}(q)\)module of webs properly embedded in the horizontal strip \({\mathbb {R}}\times [0,1]\), with upward pointing boundary points with labels \({\underline{a}}\) in \({\mathbb {R}}\times \{0\}\) and \({\underline{b}}\) in \({\mathbb {R}}\times \{1\}\), considered modulo planar isotopy and the \(\mathfrak {gl}_N\) web relations from [58].

Composition: the \({\mathbb {C}}(q)\)bilinear extension of stacking webs.
Theorem 4.2
\(N\varvec{\textrm{Web}}\) is equivalent to the full subcategory of representations of \(\textbf{U}_q(\mathfrak {gl}_N)\) whose objects are the tensor products of exterior power representations \(\bigwedge _q^a {\mathbb {C}}_q^N\) for \(0\le a \le N\). The equivalence sends the object \({\underline{a}}:=(a_1,\dots , a_m)\) to \(\bigwedge _q^{a_1} {\mathbb {C}}_q^N\otimes \cdots \otimes \bigwedge _q^{a_m} {\mathbb {C}}_q^N\).
Proof
This is a \(\mathfrak {gl}_N\) variant of the main result of [13], see also [48, 58]. \(\square \)
Now let S be an oriented surface of finite type, possibly with marked points on the boundary with a labeling and a choice of inward or outward orientation. We denote by \(N\varvec{\textrm{Web}}(S)\) the \({\mathbb {Z}}[q^{\pm 1}]\)module spanned by properly embedded webs in S, with boundary matching the data on the marked points, modulo isotopy rel boundary and web relations supported in discs \(D^2\subset S\).
\(N\varvec{\textrm{Web}}(S)\) is a version of the \(\mathfrak {gl}_N\) skein module of the surface S. Oriented, framed links embedded in \(S\times [0,1]\) can be evaluated in \(N\varvec{\textrm{Web}}(S)\) by projecting to S (enforcing the blackboard framing) and resolving all crossings into alternating sums of webs according to the following rule.
Negative crossings are resolved using an analogous formula with q inverted.
The class in \(N\varvec{\textrm{Web}}(S)\) represented by an embedded link is invariant under regular isotopy in \(S\times [0,1]\). Framing changes and fork twists act by powers of q, but all fork slides hold on the nose:
4.2 Foams
We still let S denote an oriented surface of finite type. The \({\mathbb {Z}}[q^{\pm 1}]\)module \(N\varvec{\textrm{Web}}(S)\) admits a graded, additive, \({\mathbb {C}}\)linear categorification \(N\varvec{\textrm{Foam}}(\textrm{S})\) that is closely related to the canopolis \(N\varvec{\textrm{Foam}}\) of \(\mathfrak {gl}_N\) foams defined in [15] using the closed foam evaluation formula of Robert–Wagner [52]. Here we only describe the essential features of \(N\varvec{\textrm{Foam}}(\textrm{S})\) and comment on the necessary variations relative to \(N\varvec{\textrm{Foam}}\).
Definition 4.3
\(N\varvec{\textrm{Foam}}(\textrm{S})\) is the additive closure of the graded, additive, \({\mathbb {C}}\)linear category determined by the following data:

The objects are formal qgrading shifts of webs \(q^k W\) embedded in S, without allowing any isotopies.

The morphisms are \({\mathbb {C}}\)linear combinations of degreepreserving foams \(F:q^l V\rightarrow q^k W\) embedded in \(S\times [0,1]\), modulo isotopy relative to the boundary and modulo additional local relations supported in embedded 3balls \(B^3\subset S\times [0,1]\).

The composition is given by the bilinear extension of the natural gluing of foams.
The foams making up the morphisms are decorated 2dimensional CWcomplexes, which are carefully defined in [15, Definition 2.7]. They are graded and their facets are labeled and may carry decorations by symmetric polynomials as explained in and just before [15, Definition 2.11].^{Footnote 2} The first elementary symmetric polynomial on a 1labeled facet is called a dot. The local foam relations in embedded 3balls \(B^3\subset S\times [0,1]\) are precisely the relations that hold in the canopolis \(\varvec{\textrm{Foam}}\) as defined in [15, Definition 2.14].
A direct consequence of the local foam relations in \(N\varvec{\textrm{Foam}}(\textrm{S})\) is that we have explicit isomorphisms between webs, which induce the web relations (13) after passing to the Grothendieck group.
Remark 4.4
The use of foams in the categorification of link and tangle invariants has a long history, starting with Bar–Natan’s use of linearized cobordism categories in his description of Khovanov homology [5]. Khovanov’s categorification of the \(\mathfrak {sl}_{3}\) link polynomial [31] is the first one that uses foams with singularities. The matrix factorization categories underlying Khovanov–Rozansky \(\mathfrak {gl}_{N}\) link homologies were given a topological interpretation via foams in [32], which was used in a new construction of \(\mathfrak {gl}_{N}\) link homologies by Mackaay–Stošić–Vaz [36]. Blanchet demonstrated that \(\mathfrak {gl}_{2}\) foams support a version of Khovanov homology that is functorial under link cobordisms [11]. Better control over \(\mathfrak {gl}_{N}\) foam categories was gained by Lauda–Queffelec–Rose through their connections to categorified quantum groups [33, 45]. Finally, Robert–Wagner [52] found a mathematically rigorous and entirely combinatorial construction of \(\mathfrak {gl}_{N}\) foams, which is the basis for the foam categories used here and in the proof of the functoriality of Khovanov–Rozansky homologies under cobordisms in [15].
4.3 Categorical invariants for links in a thickened surface
It is now a routine task to define a categorical invariant of links (or tangles) in \(S\times [0,1]\) (with boundary in \(\partial (S)\times \{1/2\}\)) that takes values in \(\text{ K}^b(N\varvec{\textrm{Foam}}(\textrm{S}))\), the homotopy category of chain complexes over \(N\varvec{\textrm{Foam}}(\textrm{S})\). Indeed, for a generic tangle embedding, the natural projection \(S\times [0,1] \rightarrow S\) gives a tangle diagram. The alternating sum in the crossing formula (14) gets lifted to a chain complex and if several crossings occur, the alternating multisums become tensor product chain complexes. In fact, there are two natural conventions for the chain complexes that can be associated to a positive^{Footnote 3} uncolored crossing:
In both cases the differential is given by an unzip foam. For more details about these Khovanov–Rozansky constructions using foams, see e.g. [15, Section 3.1] and [49, Section 4].
Definition 4.5
Let \(T_D\) be a tangle diagram in S, then we denote the chain complexes constructed based on the local models (16) and (17) (and their colored versions) by \(\llbracket T_D \rrbracket \) and \(\llbracket T_D \rrbracket ^{\textrm{fr}}\) respectively. We shall consider these complexes as objects in \(\text{ K}^b(N\varvec{\textrm{Foam}}(\textrm{S}))\).
The chain complex \(\llbracket T_D \rrbracket \) is invariant under all Reidemeister moves up to chain homotopy equivalence, see e.g. [15, Theorem 3.5]. The chain complex \(\llbracket T_D \rrbracket ^{\textrm{fr}}\) is invariant under framed Reidemeister moves up to chain homotopy equivalence. While we favour the framed version \(\llbracket T_D \rrbracket ^{\textrm{fr}}\) in this paper, we also introduce \(\llbracket T_D \rrbracket \) since it is known to admit a functorial assignment of chain maps to tangle cobordisms as we describe next.
Definition 4.6
We denote by \(\textrm{S}\varvec{\textrm{Tan}}\) the category with objects given by tangles that are properly embedded in \(S\times [0,1]\) and with morphisms given by isotopy classes of tangle cobordisms embedded in \(S\times [0,1]^2\). For surfaces without specified boundary points, we also denote \(\textrm{S}\varvec{\textrm{Tan}}\) by \(\textrm{S}\varvec{\textrm{Link}}\).
Theorem 4.7
([15, Theorem 4.5], [49, Theorem 4.4]) The Khovanov–Rozansky construction extends to a functor \(\textrm{S}\varvec{\textrm{Tan}}\rightarrow \text{ K}^b( N\varvec{\textrm{Foam}}(\textrm{S}))\), under which the image of a tangle T with diagram \(T_D\) is given by \(\llbracket T_D \rrbracket \).
Since \(\llbracket T_D \rrbracket ^{\textrm{fr}}\) differs from \(\llbracket T_D \rrbracket \) only in grading shifts in tensor factors, this implies that \(\llbracket  \rrbracket ^{\textrm{fr}}\) can also be equipped with functorial cobordism maps. However, we currently do not know whether there is a unique (or at least a distinguished) way of lifting Theorem 4.7 to the framed setting. Another open question is the following.
Conjecture 4.8
[49, Conjecture 4.8] The Khovanov–Rozansky functor extends to a functor from the category of tangled webs and framed foams in fourdimensional space to \(\text{ K}^b( N\varvec{\textrm{Foam}}(\textrm{S}))\).
4.4 Annular links, webs, and foams
In this section we consider the case \(S=A:=S^1\times [0,1]\) without marked points on the boundary, and fix an orientation of the core circle of A.
We define a monoidal structure on \(\textrm{A}\varvec{\textrm{Link}}\) as follows. Given two annular links \(L_1\) and \(L_2\) in \(A\times [0,1]=S^1 \times [0,1] \times [0,1]\), we relabel the copy in which \(L_2\) lives as \(S^1 \times [1,2]\times [0,1]\). The tensor product \(L_1\boxtimes L_2\) is defined by taking the disjoint union \(L_1\sqcup L_2\) in \(S^1 \times [0,2]\times [0,1]\) and shrinking the second coordinate back to \(S^1 \times [0,1]\times [0,1]\). The definition of \(\boxtimes \) on morphisms is analogous. It is a simple exercise to check that this defines a monoidal structure with unit given by the empty link and with unitors and associators given by isotopies. In fact, the existence of “vertical” and “horizontal” isotopies give rise to a (nonsymmetric) braiding on \(\textrm{A}\varvec{\textrm{Link}}\).
We say an annular link is consistently oriented if it is given as the closure of a braid with orientation matching the orientation of the core circle. We then denote by \(\textrm{A}\varvec{\textrm{Link}}^{+}\) the subcategory of \(\textrm{A}\varvec{\textrm{Link}}\) given by consistently oriented links and cobordisms whose timeslices are consistently oriented.
It is clear that two braids closures are isotopic in the annulus (and the corresponding objects in \(\textrm{A}\varvec{\textrm{Link}}^{+}\) are isomorphic) if and only if the braids are conjugate.
For consistently oriented annular links, there exists a universal categorified link invariant from which all annular and planar Khovanov–Rozansky homologies can be recovered. In order to describe its target category, we say a web W in A is consistently oriented if the tangent vectors project positively to the core circle.
The subcategory \(N\textrm{A}\varvec{\textrm{Foam}}^+\) of \(N\textrm{A}\varvec{\textrm{Foam}}\) is cut out by requiring webs to be consistently oriented and foams to have generic crosssections that are isotopic to such consistently oriented webs.
We denote by \(\textrm{A}\varvec{\textrm{Foam}}^+\) the category obtained from \(N\textrm{A}\varvec{\textrm{Foam}}^+\) by stabilizing \(N\rightarrow \infty \). In other words, \(\textrm{A}\varvec{\textrm{Foam}}^+\) is the category of consistently oriented annular webs and foams, without restriction on the labeling set and with a free action of the dot on 1labeled facets. The component of \(\textrm{A}\varvec{\textrm{Foam}}^+\) of winding degree n can be identified with the horizontal trace (see Sect. 7.1) of the category of singular Soergel bimodules of type \(A_{n1}\).
Theorem 4.9
[46] The annular Khovanov–Rozansky homologies factor through the functor
Furthermore, the annular disjoint union yields a natural monoidal structure on \(\textrm{A}\varvec{\textrm{Foam}}^+\) and its homotopy category, which is respected by the Khovanov–Rozansky functor.
Proposition 4.10
The annular Khovanov–Rozansky functor \(\textrm{A}\varvec{\textrm{Link}}^{+}\rightarrow \text{ K}^b( \textrm{A}\varvec{\textrm{Foam}}^+)\) is monoidal.
4.5 Reduction to essential circles
Definition 4.11
We define \(\textrm{A}\varvec{\textrm{Foam}}^+_{S_1}\) to be the full subcategory of \(\textrm{A}\varvec{\textrm{Foam}}^+\) whose objects are direct sums of grading shifts of webs that are collections of essential concentric circles in the annulus.
The notation \(\textrm{A}\varvec{\textrm{Foam}}^+_{S_1}\) is to suggest that the objects in this category are \(S^1\)equivariant, i.e. that they are invariant under rotation along the core of the annulus. In fact, the same is true for morphisms.
Theorem 4.12
[47, Theorem 3.2] The morphism spaces in \(\textrm{A}\varvec{\textrm{Foam}}^+_{S_1}\) are generated by \(S^1\)equivariant, decorated foams. In particular, they are nonnegatively graded.
Queffelec–Rose conjecture that the inclusion \(\textrm{A}\varvec{\textrm{Foam}}^+_{S_1}\hookrightarrow \textrm{A}\varvec{\textrm{Foam}}^+\) is an equivalence of categories [46, Conjecture 5.4]. They prove a slightly weaker result.
Proposition 4.13
[46, Proposition 5.1] The inclusion \(\textrm{A}\varvec{\textrm{Foam}}^+_{S_1}\hookrightarrow \textrm{A}\varvec{\textrm{Foam}}^+\) induces an equivalence of categories \(\text{ K}^b( \textrm{A}\varvec{\textrm{Foam}}^+) \simeq \text{ K}^b(\textrm{A}\varvec{\textrm{Foam}}^+_{S_1})\).
The main step in the proof of this result is that each annular web, considered as a complex concentrated in homological degree zero, is isomorphic in \(\text{ K}^b( \textrm{A}\varvec{\textrm{Foam}}^+)\) to a chain complex built out of concentric circle webs. In fact, this is true more generally, see Proposition 6.6. For now, we take note of the implication that the categorical invariants of braid closures can be assumed to take values in \(\text{ K}^b( \textrm{A}\varvec{\textrm{Foam}}^+_{S_1})\). In the next session we will obtain an alternative description of this category.
4.6 Decorated webs
We can now take quotients of the webs and foams in \(\textrm{A}\varvec{\textrm{Foam}}^+_{S_1}\) by their free \(S^1\)symmetry. Under this dimensional reduction, collections of labeled concentric circles are mapped to finite sequences of labeled points on a line \({\mathbb {R}}\). Rotationally symmetric foams are mapped to isotopy classes of webs in the strip \({\mathbb {R}}\times [0,1]\), whose edges inherit the decorations by symmetric functions of the foam facets.
Definition 4.14
Let \(\varvec{\textrm{DecWeb}}\) denote the nonnegatively graded, additive, \({\mathbb {C}}\)linear category of decorated webs in \({\mathbb {R}}\times [0,1]\) that is isomorphic to \(\textrm{A}\varvec{\textrm{Foam}}^+_{S_1}\) via the functor
that takes boundary sequences to collections of concentric circles and decorated webs to decorated rotationally symmetric foams.
Lemma 4.15
The degree zero part of \(\varvec{\textrm{DecWeb}}\) satisfies the first, third and fourth web relation from (13) and isotopies relative to the boundary which preserve the upwarddirectedness of webs.
Proof
See [47, Section 4.5]. \(\square \)
Lemma 4.16
The following relations hold in \(\varvec{\textrm{DecWeb}}\).
Lemma 4.17
\(\varvec{\textrm{DecWeb}}\) admits a symmetric monoidal structure.
Proof
The tensor product is given by placing webs side by side. The symmetry is an isomorphism of degree zero and given on objects of the form (k, l) by the \(q=1\) specialization of (14), with a :
The symmetry on other pairs of objects is constructed as composition of these basic symmetries. For checking the naturality of the symmetry, note that vertices still slide through other strands as in (15) despite the sign correction. It remains to verify that decorations migrate through such crossings. In the case \(k=l=1\), this follows directly from (19). In the more general case, one first blows up both strands into blisters of parallel 1labeled strands via relation (13). These blisters forkslide underneath the crossing, decorations migrate onto the 1labeled strands by (18) and then through all remaining 11crossings. Then one reverses the process on the other side. \(\square \)
In Theorem 4.19, we will get a more intrinsic characterisation of \(\varvec{\textrm{DecWeb}}\). To prove this theorem, we take a technical detour through modules for Schur quotients of current algebras. Let \(\dot{\text{ U }}(\mathfrak {gl}_{m}[t])\) denote Lusztig’s idempotent form of the universal enveloping algebra of the current algebra \(\mathfrak {gl}_{m}[t]\), which can be considered as a category with objects given by \(\mathfrak {gl}_{m}\)weights \([a_1,\dots ,a_m]\). The superscript \(\ge 0\) indicates that we have taken the Schur quotient by morphisms which factor through an object with negative entries. For every \(m'\ge m\), there exists an embedding \(\iota :\dot{\text{ U }}(\mathfrak {gl}_{m}[t])^{\ge 0} \rightarrow \dot{\text{ U }}(\mathfrak {gl}_{m'}[t])^{\ge 0}\) given on objects by \([a_1,\dots ,a_m]\mapsto [a_1,\dots ,a_m,0\dots ,0]\).
Proposition 4.18
\(\varvec{\textrm{DecWeb}}\) is isomorphic to the direct limit \({\mathcal {U}}\) of \(\dot{\text{ U }}(\mathfrak {gl}_{m}[t])^{\ge 0}\) for \(m\rightarrow \infty \) with transition functors \(\iota \).
Proof
Queffelec–Rose–Sartori [47, Diagram (4.6)], building on work of Beliakova–Habiro–LaudaWebster [7], proved that there is a system of functors \({{\,\textrm{vTr}\,}}(\Phi _\infty ):\dot{\text{ U }}(\mathfrak {gl}_{m}[t])^{\ge 0}\rightarrow \varvec{\textrm{DecWeb}}\) compatible with the inclusions \(\iota \), which become eventually full and eventually faithful. Eventual fullness means that for any morphism F in \(\varvec{\textrm{DecWeb}}\) we have \(F={{\,\textrm{vTr}\,}}(\Phi _\infty )(f)\) for a morphism f in \(\dot{\text{ U }}(\mathfrak {gl}_{m}[t])^{\ge 0}\) in a sufficiently large \(m\ge 0\). Eventual faithfulness means that for morphisms with coinciding images \({{\,\textrm{vTr}\,}}(\Phi _\infty )(f)={{\,\textrm{vTr}\,}}(\Phi _\infty )(g)\), there exists an \(m\ge 0\) such that \(\iota (f)=\iota (g)\) in \(\dot{\text{ U }}(\mathfrak {gl}_{m}[t])^{\ge 0}\). This implies that the system of functors \({{\,\textrm{vTr}\,}}(\Phi _\infty )\) defines an isomorphism as claimed. \(\square \)
We denote this isomorphism from \({\mathcal {U}}\) to \(\varvec{\textrm{DecWeb}}\) again by \({{\,\textrm{vTr}\,}}(\Phi _\infty )\).
Theorem 4.19
\(\varvec{\textrm{DecWeb}}\) is isomorphic to a full subcategory of the symmetric monoidal Karoubian \({\mathbb {C}}\)linear category \(\hat{\text{ P }}\), which is freely generated by a single object and an endomorphism of degree 2. More specifically, it is isomorphic to the full subcategory \(\overline{\text{ P }}\) whose objects are tensor products of antisymmetric Schur functors in the generating object.
The following proof is inspired by Cautis–Kamnitzer–Morrison’s use of skew Howe duality (a generalisation of Schur–Weyl duality) to describe diagrammatic categories in [13]. For an instance of Schur–Weyl duality for current algebras, see [22, Section 6].
Proof
There is an obvious full, essentially surjective functor \(\Psi \) from the said full subcategory \(\overline{\text{ P }}\) of \(\hat{\text{ P }}\) to \(\varvec{\textrm{DecWeb}}\), but it remains to show that it is faithful. This will follow from the fact that there is an isomorphism \(\alpha :\overline{\text{ P }}\rightarrow {\mathcal {U}}\) such that \(\Psi ={{\,\textrm{vTr}\,}}(\Phi _\infty )\circ \alpha \). It suffices to prove this for \(\text{ P }\), the free symmetric monoidal category on one object E and one endomorphism x (without insisting on any partial idempotentcompleteness), and \({\mathcal {U}}'\), the direct limit of idempotent truncations of the form \(1_{[1,\dots , 1,0,\dots 0]}\dot{\text{ U }}(\mathfrak {gl}_{m}[t])^{\ge 0}1_{[1,\dots , 1,0,\dots , 0]}\).
We define a functor \(\alpha :\text{ P }\rightarrow {\mathcal {U}}'\) by sending:

\(E^{\otimes m}\) to \(1_{[1,\dots , 1]}\) in \(\dot{\text{ U }}(\mathfrak {gl}_{m}[t])^{\ge 0}\),

an x on the ith component of \(E^{\otimes m}\) to \(E_{m}\cdots E_{i}F_{i}[t] F_{i+1}\cdots F_{m}1_{[1,\dots , 1,0]}\) in \(\dot{\text{ U }}(\mathfrak {gl}_{m+1}[t])^{\ge 0}\),

the transposition \(\sigma _i\) on \(E^{\otimes m}\) to \(1_{[1,\dots ,1]}E_iF_i1_{[1,\dots ,1]}\) in \(\dot{\text{ U }}(\mathfrak {gl}_{m}[t])^{\ge 0}\).
and then onward to \({\mathcal {U}}'\) via the component maps. With this definition of \(\alpha \), we have \(\Psi ={{\,\textrm{vTr}\,}}(\Phi _\infty )\circ \alpha \).
A standard argument shows that \(\alpha \) is surjective. Namely, a spanning set for morphism spaces in \({\mathcal {U}}'\) is given by the images of dotted permutations \(\bigsqcup _{m\ge 0}\{\alpha (\sigma x_1^{n_1}\cdots x_m^{n_m}) \sigma \in S_m, n_i\ge 0\}\). It suffices to show that these remain linear independent. To this end, consider \(\text{ U }(\mathfrak {gl}_{m}[t])\) as an algebra and the \(\text{ U }(\mathfrak {gl}_{m}[t])\)module \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^a({\mathbb {C}}^m\otimes {\mathbb {C}}[X])\), which decomposes into \(\mathfrak {gl}_{m}\)weight spaces \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^{a_1}({\mathbb {C}}[X])\otimes \cdots \otimes \mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^{a_m}({\mathbb {C}}[X])\). For the weight \([1,\dots ,1]\) we simply get the weight space \({\mathbb {C}}[X_1,\dots , X_m]\). Since only nonnegative weights arise, this descends to a \(\text{ U }(\mathfrak {gl}_{m}[t])^{\ge 0}\)module. It is straightforward to check that precomposing with \(\alpha \), we obtain the natural action of \(\text{ P }\) where permutations act on indices and x on the ith strand acts by multiplication by \(X_i\). It is then clear that the \(\alpha \)images of dotted permutations act by linearly independent operators, and are thus linearly independent. \(\square \)
Corollary 4.20
There is an equivalence of graded \({\mathbb {C}}\)linear tensor categories \({{\,\textrm{Kar}\,}}(\textrm{A}\varvec{\textrm{Foam}}^+) \simeq \hat{\text{ P }}\).
Proof
We already know that there exists a fully faithful functor \(\hat{\text{ P }}\rightarrow {{\,\textrm{Kar}\,}}(\varvec{\textrm{DecWeb}}) \rightarrow {{\,\textrm{Kar}\,}}(\textrm{A}\varvec{\textrm{Foam}}^+)\) and we shall show that it is essentially surjective. To this end, let W be an annular web. Proposition 4.13 allows us to express W as a chain complex, whose chain groups are collections of concentric circles. After proceeding to the Karoubi envelope, we can decompose these further into Schur functors of a single circle. When considered as a chain complex concentrated in homological degree zero, W is homotopy equivalent to an object C(W) in \(\text{ K}^b(\hat{\text{ P }})\). We may assume this object to be represented by a minimal chain complex. Since \(\hat{\text{ P }}\) is nonnegatively graded and semisimple in degree zero, the homotopy equivalence between W and C(W) is an isomorphism of chain complexes, and thus C(W) is concentrated in degree zero. This shows that every object in \(\textrm{A}\varvec{\textrm{Foam}}^+\) is isomorphic to an object in \(\hat{\text{ P }}\), and since the latter is idempotent complete by definition, the same holds for every object in \({{\,\textrm{Kar}\,}}(\textrm{A}\varvec{\textrm{Foam}}^+)\). This verifies essential surjectivity and finishes the proof. \(\square \)
Remark 4.21
It might be helpful to give a more direct explanation why an arbitrary annular web is isomorphic to an object in \(\hat{\text{ P }}\), and not just in the homotopy category. Indeed, we can follow the annular simplification algorithm from [46] and use bubble removal and square switch relations to reduce a web to a collection of essential circles. At each step of the algorithm, one either replaces a web by an isomorphic one, or presents it as a direct sum of simpler webs, or presents it as a direct summand in a simpler web. Since \(\hat{\text{ P }}\) is Karoubian, all these steps show that a web is isomorphic to an object in \(\hat{\text{ P }}\), if the simpler webs are.
Note that in [46] Queffelec and Rose used a slightly different algorithm where, if a web is presented as a direct summand in a simpler web, it is expressed as a cone of the inclusion of complimentary summands. This way [46] avoids Karoubi completion, but steps into the homotopy category. By Theorem 3.12 the two algorithms actually agree in the homotopy category of the Karoubi completion \(\hat{\text{ P }}\).
4.7 Braiding for annular webs
The category of annular links and cobordisms between them has a natural braided monoidal structure. The annular Khovanov–Rozansky functor from this category to the homotopy category of complexes of annular webs and foams preserves the monoidal structure, but a priori it is not clear whether the latter has any braiding.
Proposition 4.22
\(\text{ K}^b( \textrm{A}\varvec{\textrm{Foam}}^+)\) has a symmetric braiding.
Proof
By Lemma 4.17, \(\varvec{\textrm{DecWeb}}\) and thus \(\textrm{A}\varvec{\textrm{Foam}}^+_{S_1}\) have a symmetric braiding. This immediately extends to \(\text{ K}^b( \textrm{A}\varvec{\textrm{Foam}}^+_{S_1})\). Then we use the equivalence of Proposition 4.13 to transport this symmetric braiding to \(\text{ K}^b( \textrm{A}\varvec{\textrm{Foam}}^+)\). \(\square \)
Note that every object W in \(\textrm{A}\varvec{\textrm{Foam}}^+\) and thus \(\text{ K}^b( \textrm{A}\varvec{\textrm{Foam}}^+)\) has a grading \([W]\in {\mathbb {N}}\) by weighted winding number around the annulus. Besides the braiding \(\sigma _{V,W}:V\otimes W \rightarrow W\otimes V\) on \(\text{ K}^b( \textrm{A}\varvec{\textrm{Foam}}^+)\) that was obtained in Proposition 4.22, we will also consider the signtwisted braiding \({\overline{\sigma }}\), which is defined by \({\overline{\sigma }}_{V,W}=(1)^{[V][W]}\sigma _{V,W}\). Transported back to \(\varvec{\textrm{DecWeb}}\), this braiding is described by the \(q=1\) specialization of (14), i.e. the formula shown in Lemma 4.17 without .
For the following, let \(\textrm{A}\varvec{\textrm{Link}}^{+}_{S_1}\) denote the full subcategory of \(\textrm{A}\varvec{\textrm{Link}}^{+}\) with objects being collections of concentric colored circles.
Theorem 4.23
The restricted annular Khovanov–Rozansky functor \(\llbracket  \rrbracket :\textrm{A}\varvec{\textrm{Link}}^{+}_{S_1}\rightarrow \text{ K}^b( \textrm{A}\varvec{\textrm{Foam}}^+)\) is braided with respect to the standard braiding on \(\text{ K}^b( \textrm{A}\varvec{\textrm{Foam}}^+)\). The framed version \(\llbracket  \rrbracket ^{\textrm{fr}}\) is braided with respect to the signtwisted braiding.
Proof
The braiding on \(\textrm{A}\varvec{\textrm{Link}}^{+}\) is given by braiding isotopies, i.e. certain cobordisms which braid annular links radially past each other. Under the Khovanov–Rozansky functor \(\llbracket  \rrbracket \), such maps induce invertible morphisms in \(\text{ K}^b( \textrm{A}\varvec{\textrm{Foam}}^+)\), and we shall check that these morphisms agree with the symmetric braiding morphisms in \(\text{ K}^b( \textrm{A}\varvec{\textrm{Foam}}^+)\) that were defined in Proposition 4.22. (The case of \(\llbracket  \rrbracket ^{\textrm{fr}}\) is analogous and will be omitted.) It suffices to compare these braiding morphisms on pairs of monoidal generators, i.e. two colored circles.
For two uncolored circles, the computation of the maps induced by the braiding cobordism and its inverse is simple—both involve two Reidemeister II moves—and they agree with the braiding from Proposition 4.22. A version of this argument (without foams) appears in Grigsby–Licata–Wehrli [25]. We show the details here for convenience. The braiding of two uncolored circles can be described as a movie of annular link diagrams as follows:
This is a composite of a Reidemeister II move, an isotopy of the positive crossing around the annulus, and an inverse Reidemeister II move. In order to compute the composite chain map, we will recall the Reidemeister II chain maps. Here and in the following, we borrow notation from Soergel bimodules for the webs that appear:
Consider the cube of resolutions chain complex for a Reidemeister II tangle:
Here, the Koszul signs in the tensor product depend on an (arbitrary) ordering of the crossings of the tangle, which is shown on the left. The Reidemeister II chain maps, which connect the complex \(R\otimes R\) of the trivial tangle to this complex (and vice versa), are given by identities on \(R\otimes R\), as well as the negative of the following more complicated composite foam (and its reflection in a horizontal plane):
Similarly, the other variant of the Reidemeister II move relates the invariant of the tangle
to the trivial tangle diagram. The corresponding chain maps are again assembled from the identities on \(R\otimes R\), the negative of the foam in (21), or its reflection respectively. Here we have chosen an ordering of the crossings which is compatible with previously chosen ordering under the isotopy in (20). The composite of the chain maps in (20) thus is a difference of two terms, an identity foam over the two concentric circles, as well as a foam built as a composition of (21), the foam realising the isotopy of one copy of B around the annulus, and a reflected version of (21):
This agrees with the braiding on \(\textrm{A}\varvec{\textrm{Foam}}^+\) defined in Proposition 4.22.
An analogous argument applies in the case of two colored circles—it uses an explicit description of the chain maps associated to colored Reidemeister II moves—and shows that the braiding of such is given by the rotation foam generated by the linear combination of webs shown in the proof of Lemma 4.17. \(\square \)
In fact, we expect that the annular Khovanov–Rozansky functors are braided on the entire annular link category, but we do not know how to prove this without assuming a stronger functoriality property, which has not been established yet.
Conjecture 4.24
The annular Khovanov–Rozansky functors \(\textrm{A}\varvec{\textrm{Link}}^{+}\rightarrow \text{ K}^b( \textrm{A}\varvec{\textrm{Foam}}^+)\) are braided.
For later use, we also record the following observation, where we write \(\sigma \) for the linear combination of foams shown in (22).
Lemma 4.25
In the Karoubi envelope of \(\textrm{A}\varvec{\textrm{Foam}}^+\) the image of the antisymmetrizer in \({\mathbb {Q}}[S_k]\) under \(\llbracket  \rrbracket \) is isomorphic to the kcolored essential circle.
Proof
For \(k=2\), the antisymmetrizer is \((\textrm{id}\sigma )/2\). Note that this is exactly 1/2 times the foam shown on the lefthand side of (22). Cutting this foam in half by a horizontal plane produces a merge foam M and a splitter foam S. We have \((\textrm{id}\sigma )/2 = S\circ M/2\) and \(M/2 \circ S=\textrm{id}_2 \). This implies that S and M/2 represent the desired mutually inverse isomorphisms in \({{\,\textrm{Kar}\,}}(\textrm{A}\varvec{\textrm{Foam}}^+)\).
The case \(k>2\) follows, since the antisymmetrizers in \({\mathbb {C}}[S_k]\) and also the projections onto kcolored essential circles in \(\textrm{A}\varvec{\textrm{Foam}}^+\) can be constructed from the \(k=2\) cases in the same way. \(\square \)
Everything in this subsection works in the finiterank case, i.e. for annular \(\mathfrak {gl}_{N}\) foam categories \(N\textrm{A}\varvec{\textrm{Foam}}^+\). In this setting, essential circles of label \(N+1\) are isomorphic to the zero object, which implies that the uncolored essential circle is of rank (at most) N in the sense of Definition 3.4.
Remark 4.26
An analogue of Lemma 4.25 shows that the framed Khovanov–Rozansky functors \(\llbracket  \rrbracket ^{\textrm{fr}}\) send the symmetrizer in \({\mathbb {C}}[S_k]\) to the kcolored unknot. This is at odds with our interpretation of that colored circle as corresponding to the exterior power \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^k\) of the uncolored circle. The origin for this discrepancy is the relative homological shift between the two conventions for crossings (16) and (17), which translates into a signtwist on the braiding.
4.8 Evaluation
Here we recall the evaluation of annular homology developed by Queffelec and Rose. Let L be an annular link, then Khovanov–Rozansky functor sends it to a complex of webs, and by Corollary 4.20 we can replace it by a complex of Schur functors of E in \(\text{ K}^b(\hat{\text{ P }})\). The object E appears as the invariant of the essential planar unknot in the annulus and the endomorphism X encodes information about the \({\mathbb {C}}[X]\)actions in link homologies that are typically associated with the choice of a base point on the link. Proposition 2.3 now immediately implies the following:
Theorem 4.27
Let \({\mathcal {C}}\) be an arbitrary additive symmetric monoidal category, and let \(\text{ K}^b({\mathcal {C}})\) be the corresponding homotopy category. Suppose that \({\mathcal {E}}\) is an object of \({\mathcal {C}}\) with an endomorphism X. Then there is a unique functor
which factors through the Khovanov–Rozansky functor, sends the essential planar unknot to \({\mathcal {E}}\), the base point action to X, and the braiding of two unknots to the symmetry on \({\mathcal {E}}\otimes {\mathcal {E}}\).
The results of [46] can be then rephrased in the following way:
Theorem 4.28
[46] If \({\mathcal {C}}=\textrm{gr}^{\mathbb {Z}}\textrm{Vect}\), the category of \({\mathbb {Z}}\)graded vector spaces (with the swap symmetry), \({\mathcal {E}}={\mathbb {C}}[X]/X^N\), and X is the endomorphism given by multiplication by x, then the functor \(\textrm{AKhR}({\mathcal {E}},X)\) agrees with the \(\mathfrak {gl}_N\) Khovanov–Rozansky homology. If \({\mathcal {E}}={\mathbb {C}}[X]/P(X)\) for a degree N monic polynomial, then \(\textrm{AKhR}({\mathcal {E}},X)\) agrees with the deformed Khovanov–Rozansky homology studied in [53, 62]. If \({\mathcal {C}}=\textrm{gr}^{\mathbb {Z}}{{\,\textrm{Rep}\,}}(U(\mathfrak {gl}_{N}))\) and \({\mathcal {E}}=V={\mathbb {C}}^N\) is the vector representation of \(U(\mathfrak {gl}_{N})\), then the functor \(\textrm{AKhR}({\mathcal {E}},0)\) agrees with the annular Khovanov–Rozansky homology.
5 Coxeter braids, categorified
5.1 Positive Coxeter braids
The purpose of this section is to prove the following theorem.
Theorem 5.1
Let now \(C_n^\) and \(C_n^+\) denote the annular complexes of the \((n1)\)fold negatively and positively stabilized unknots. Then we have:
Lemma 5.2
Upon evaluation as in Theorem 4.28, these complexes compute the planar \(\mathfrak {gl}_{N}\) Khovanov–Rozansky homologies of stabilized unknots.
Proof
This follows from Example 3.22. \(\square \)
To start the proof of Theorem 5.1, note that it suffices to prove one of the homotopy equivalences. The other one follows by symmetry. We focus on the positive stabilization and consider the shifted complex \({\overline{C}}^+_n:=q^{n1} C_n^+[n1]\), which has its terminal chain group in homological and qdegree zero. We also define annular complexes \(X_{n,l}\) as in Fig. 2. Clearly, \(X_{n,0}={\overline{C}}^+_n\).
Lemma 5.3
For \(l\ge 0\) and \(n>1\) we have
where \([l+1]_q=(1+q^2+\cdots +q^{2l})\) is an asymmetric quantum integer.
Proof
The isomorphism for \(X_{1,l}\) is due to a bigon removal. To check the homotopy equivalence for \(X_{n,l}\), we resolve the rightmost crossing \(\sigma _{n1}\) and simplify as follows.
In the second step we have used the bigon relation, and in the last step the squareswitch relation. The degree zero components of the differential between the copies of \({\overline{C}}^+_{n1}\otimes \mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^{l+1}(E)\) are identities up to nonzero scalars [62, Direct Sum Decomposition (IV)], and after Gaussian elimination, we obtain the claimed form. \(\square \)
Corollary 5.4
There is a natural map \(a:{\overline{C}}^+_{n1}\otimes E\rightarrow X_{n,0}={\overline{C}}^+_n\).
Corollary 5.5
One can write
where \([n]_q\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^n(E):=\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^n(E)\oplus q^2 \mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^n(E)\oplus \cdots \oplus q^{2n2} \mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^n(E)\). The differential D consists of the internal differential in \({\overline{C}}^+_i\), degree zero maps \({\overline{C}}^+_{k1}\otimes \mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^{nk+1}(E)\rightarrow {\overline{C}}^+_{k}\otimes \mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^{nk}(E)\) obtained as compositions
and some differentials out of \([n]_q\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^n(E)\), as well as possibly some higher differentials.
Proof
We prove by induction the existence of a more general expression
where the differentials are described as above. Indeed, for \(n=1\) we get \(X_{1,l}\cong [l+1]_{q}\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^{l+1}(E)\), and for \(n>1\) we use the induction hypothesis and
Now, for \(l=0\) we get \(X_{n,0}={\overline{C}}^+_n\). \(\square \)
Theorem 5.6
We have
Note that Theorem 5.1 follows from Theorem 5.6 by grading shifts and symmetry. We will prove Theorem 5.6 by induction in n using the recursive description (23). To illustrate this, we first consider the examples \(n=2,3\).
Example 5.7
For \(n=2\) the complex (23) has the form , and after cancellation we get .
Example 5.8
For \(n=3\) the complex (23) has the form
The degree zero differentials are organized in three subquotient complexes:
and \(q^4\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^3(E)\). Here, in cancelling, we assume that the shown differentials are nonzero. Then we get
The case where some of the shown degree zero differentials are zero can be excluded, because then, in specialization \(E={\mathbb {C}}[x]/x^N\), the homology would be larger than expected, contradicting Lemma 5.2.
Proof of Theorem 5.6
Assume that (24) holds for all \(k<n\). The terms in (23) in homological degree k are assembled from the terms in \({\overline{C}}^+_{nj}\otimes \mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^{j}(E)\) in homological degree \(k+1j\). By the induction hypothesis, the latter is homotopic to \(q^{2k+22j}{\mathbb {S}}^{nk1,1^{k+1j}}(E)\otimes \mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^j(E)\). The differential decreases the homological degree k by one, and acts between \({\overline{C}}^+_{nj}\otimes \mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^{j}(E)\rightarrow {\overline{C}}^+_{nj'}\otimes \mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^{j'}(E)\) with \(j'\le j\). For \(j'<j1\) we get \(kj'>k+1j\), and such a differential can be ruled out as it would have negative qdegree. Therefore, in this presentation, the only surviving differentials are internal for \({\overline{C}}^+_{nj}\) (that is, \(j'=j\)) of qdegree two, and between the neighbors \(j'=j1\), of qdegree zero. The example for \(n=3\) above illustrates this point.
This means that we have explicitly identified all differentials in (23) except for the ones connecting the leftmost copies of \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^n(E)\) to \({\overline{C}}^+_{nj}\otimes \mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^{j}(E)\).
To simplify this complex, we first consider the degree zero differentials. In qdegree 2t we get the following complex (ignoring the leftmost term), terminating in homological degree t:
The differentials are induced by compositions
and, in particular, they are nontrivial. One can check that these cancel almost everything, except for a copy of \(q^{2t}\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^n(E)\) in homological degree \((n2)\) and \(q^{2t}{\mathbb {S}}^{nt,1^{t}}(E)\) in homological degree t.
We claim that the leftmost term \([n]_q\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^n(E)\) cancels all \(q^{2j}\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^n(E)\) except for \(q^{2n2}\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^n(E)\). Moreover, the remaining differentials are all nonzero and, thus, determined up to scalars. Both claims hold because otherwise, in specialization \({\mathcal {E}}={\mathbb {C}}[X]/X^N\), the homology would be larger than expected, contradicting Lemma 5.2. \(\square \)
Remark 5.9
The annular \(\mathfrak {sl}_{2}\) homology of the stabilized unknot was computed by Grigsby, Licata and Wehrli [25]. It agrees with our computation up to conventions, as we shall now explain. Let \(V_n\) denote the \((n+1)\)dimensional irreducible representation of \(\mathfrak {sl}_{2}\). Note that \({\mathbb {S}}^{n}(V_1)\cong V_{n}\), \({\mathbb {S}}^{n1,1}(V_1)\cong V_{n2}\) and \({\mathbb {S}}^{ni,1^{i}}(V_2)=0\) for \(i>1\). Thus, for \(E=V_1\) and \(x=0\) we evaluate . As in [25, Section 9.2], the annular \(\mathfrak {sl}_{2}\) homology of the nfold stabilized unknot consists of the two irreducible \(\mathfrak {sl}_{2}\)representations \(V_{n+1}\) and \(V_{n1}\) in adjacent homological degrees, with a difference in qdegrees of 2.
5.2 Morphisms
We shall now describe the hom spaces between the annular complexes associated to closures of Coxeter braids. We start by describing basic chain maps between complexes associated to braids. In doing so, we again borrow notation from the theory of Soergel bimodules.
Definition 5.10
Consider the following chain map:
The distinguished triangle is called the skein triangle. Here we have
Note that the annular closure of \(\textrm{Cone}(f)\) is precisely \(\textrm{Cube}_2\). We have seen that \(\textrm{Cube}_2 \cong \textrm{Cube}_2^{S_2}\oplus \textrm{Cube}_2^{\textrm{sign}} \simeq C^+_2[1] \oplus C^_2\). In other words, under annular closure, the skein triangle splits:
Here we want to emphasize that the dashed maps only appear in the annular closure.
Remark 5.11
There are also nonzero cobordisminduced maps \(R \rightarrow q \llbracket \sigma \rrbracket ^{\textrm{fr}} [1]\) and \(q^{1}\llbracket \sigma ^{1} \rrbracket ^{\textrm{fr}}[1] \rightarrow R\), which can be interpreted as gluing in a twisted band that increases the writhe:
In the \(\mathfrak {gl}_{N}\)evaluations, there also exist nontrivial maps \(R \rightarrow q^{12N} \llbracket \sigma ^{1} \rrbracket ^{\textrm{fr}}[1]\) and \(q^{2N1}\llbracket \sigma \rrbracket ^{\textrm{fr}} [1]\rightarrow R\) associated to twisted bands that decrease the writhe.
In both cases, these cobordisminduced chain maps are unrelated to the maps in the skein triangle.
Remark 5.12
Under \(\mathfrak {gl}_{N}\)evaluation, we have a partially topological description of the chain map f in the skein triangle. We start with \(\llbracket \sigma \rrbracket ^{\textrm{fr}}\) and follow the Reidemeister II chain map to \(\llbracket \sigma ^{1}\sigma \sigma \rrbracket ^{\textrm{fr}}\) and then a saddle cobordism map to \(q^{1N}\llbracket \sigma ^{1}\#H \rrbracket ^{\textrm{fr}}\) where H denotes a positive Hopf link and the connect sum is taken on the new overstrand. Finally, the projection to the top degree generator of the reduced Hopf link homology (which is not cobordisminduced) induces an onward map to \(\llbracket \sigma ^{1} \rrbracket ^{\textrm{fr}}\). The composition is the chain map f.
Lemma 5.13
Let \(U_n\) be the \((n1)\)dimensional reflection representation of \(S_n\). Let \(p_1,\ldots ,p_n\) be an algebraically independent generating set for \(({\mathbb {C}}[x_1,\ldots ,x_n])^{S_n}\), for example, power sum symmetric polynomials. Then \({{\,\textrm{Hom}\,}}_{S_n}(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^kU_n,{\mathbb {C}}[x_1,\ldots ,x_n])\) is a free module over \(({\mathbb {C}}[x_1,\ldots ,x_n])^{S_n}\) generated by the coefficients of \(dp_{i_1}\wedge \cdots \wedge dp_{i_k}\) for all \(2\le i_1<i_2<\cdots <i_k\le n\).
Proof
Clearly, \({{\,\textrm{Hom}\,}}_{S_n}(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^kU_n,{\mathbb {C}}[x_1,\ldots ,x_n])\) is free over \(\sum x_i\), so we can consider \({{\,\textrm{Hom}\,}}_{S_n}(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^kU_n,{\mathbb {C}}[U_n])\) instead. It can be identified with the space of \(S_n\)–invariant differential forms on \(U_n\), which by a theorem of Solomon [55] is isomorphic to the space of differential forms on \(U_n/S_n=\textrm{Spec}\ {\mathbb {C}}[p_2,\ldots ,p_n]\). \(\square \)
Let \(\textrm{Cube}_n\), as before, denote the Koszul complex for \(x_ix_{i+1}\) acting on \(E^{\otimes n}\). Then we have:
Theorem 5.14
The morphisms between the tensor products of \(\textrm{Cube}_n\) can be described as follows:

The endomorphism algebra of \(\textrm{Cube}_n\) is:
$$\begin{aligned} {{\,\textrm{End}\,}}(\textrm{Cube}_n)\cong \mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^{\bullet }(U_n)\otimes {\mathbb {C}}[x]\rtimes {\mathbb {C}}[S_n], \end{aligned}$$where \(U_n\) is the \((n1)\)dimensional reflection representation of \(S_n\) and \(S_n\) acts trivially on x. Moreover, x is of qdegree 2 and \(U_n\) is supported in homological degree \(1\) and qdegree \(2\).

The spaces of morphisms between \(\textrm{Cube}_{n}\otimes \textrm{Cube}_{m}\) and \(\textrm{Cube}_{n+m}\) are generated by the canonical maps implicit in the description of
The actions of \(x\in {{\,\textrm{End}\,}}(\textrm{Cube}_i)\) on this space agree (up to homotopy) for \(i=n,m,n+m\), and the actions of exterior algebras are naturally identified under the induction and restriction maps between \(U_n\oplus U_m\) and \(U_{n+m}\).

All other morphisms are induced by these.
Proof
Let us compute the endomorphism ring of \(\textrm{Cube}_n\). We have \({{\,\textrm{End}\,}}(E^{\otimes n})={\mathbb {C}}[x_1,\ldots ,x_n]\rtimes {\mathbb {C}}[S_n]\), so \({{\,\textrm{End}\,}}(\textrm{Cube}_n)\) is isomorphic to a complex built out of these. Since the differential does not involve the action of \(S_n\), we can ignore the \({\mathbb {C}}[S_n]\) factor for a while. Now
Here we have identified \(U_n\) with its dual via the \(S_n\)–invariant nondegenerate bilinear form. This space of maps carries the natural differential
where d is the Koszul differential on \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^{\bullet }(U_n)\otimes {\mathbb {C}}[x_1,\ldots ,x_n]\). Since \((x_1x_2,\dots ,x_{n1}x_n)\) is a regular sequence in \(R={\mathbb {C}}[x_1,\ldots ,x_n]\), the homology of \((\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^{\bullet }(U_n)\otimes R,d)\) is isomorphic to \({\mathbb {C}}[x]\).
Equation (25) presents D as a sum of two anticommuting differentials, which induces a spectral sequence. The first differential has homology \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^{\bullet }(U_n)\otimes {\mathbb {C}}[x]\rtimes {\mathbb {C}}[S_n]\). Now the second differential vanishes, so the spectral sequence collapses at \(E_2\) page, and
Here x has qdegree 2 and homological degree 0 while the generators \(\epsilon _1,\ldots ,\epsilon _{n1}\) of \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^{\bullet }(U_n)\) have homological degree \(1\) and qdegree \(2\). See also Example 5.17 for an alternative computation of \({{\,\textrm{End}\,}}(\textrm{Cube}_n)\).
We can apply the same method in a more general situation. To compute \({{\,\textrm{Hom}\,}}(\otimes _i \textrm{Cube}_{n_i},\otimes _j \textrm{Cube}_{m_j})\) (with \(\sum n_i=\sum m_j=n\)), we first observe that both complexes consist of several copies of \(E^{\otimes n}\). Now we replace the \({{\,\textrm{Hom}\,}}\) space between two such copies by \({{\,\textrm{End}\,}}(E^{\otimes n})={\mathbb {C}}[x_1,\ldots ,x_n]\rtimes {\mathbb {C}}[S_n]\), and write two sets of differentials. The first differential is given by multiplication by \(x_ix_{i+1}\) if \(i,i+1\) are in the same block of the partition \(n=\sum n_i\), and the second is given by multiplication by \(x_ix_{i+1}\) if \(i,i+1\) are in the same block of the partition \(n=\sum m_i\).
Although the differentials do not involve \({\mathbb {C}}[S_n]\), we still need to keep track of its action. Let
denote the space of polynomial maps, that is, the ones induced by the polynomial action on \(E^{\otimes n}\). Any endomorphism of \(E^{\otimes n}\) can be uniquely written as \(f=\sum _{\sigma \in S_n} f_{\sigma }\sigma \) for some polynomials \(f_{\sigma }\). Similarly, any morphism \({{\,\textrm{Hom}\,}}(\otimes _i \textrm{Cube}_{n_i},\otimes _j \textrm{Cube}_{m_j})\) can be uniquely written as \(f=\sum _{\sigma \in S_n} f_{\sigma }\sigma \) where \(f_{\sigma }\) are polynomial chain maps. The space of such \(f_{\sigma }\) is isomorphic to \({{\,\textrm{Hom}\,}}_{pol}(\sigma (\otimes _i \textrm{Cube}_{n_i}),\otimes _j \textrm{Cube}_{m_j})\). To sum up, to describe all morphisms between products of cubes it is sufficient to describe the polynomial morphisms between products of cubes where the variables in one product are possibly relabeled. Note that before we did not have this problem since \(S_n\) preserves \(\textrm{Cube}_n\).
After relabeling, we get two set partitions \(\Pi \) and \(\Pi '\) with r blocks of size \(n_i\) and s blocks of size \(m_j\) respectively. We will refer to the products of cubes as to \(\textrm{Cube}_{\Pi }\) and \(\textrm{Cube}_{\Pi '}\). Let \(\Pi ''\) be the finest set partition which is a coarsening of both \(\Pi \) and \(\Pi '\). If \(\Pi ''\) has more than one block then \({{\,\textrm{Hom}\,}}_{pol}(\textrm{Cube}_{\Pi },\textrm{Cube}_{\Pi '})\) factors over the blocks of \(\Pi ''\) and we can proceed by induction.
From now on we will assume that \(\Pi ''=\{1,\ldots ,n\}\). Let us compute \({{\,\textrm{Hom}\,}}_{pol}(\textrm{Cube}_{\Pi },\textrm{Cube}_{\Pi '})\) using the spectral sequence as above. After applying the first differential we get a polynomial algebra with one variable per block in \(\Pi \). After applying the second differential we identify all these variables and obtain an exterior algebra with generators \(\epsilon _{ij}\) for all i, j such that i, j are in the same block in both partitions \(\Pi ,\Pi '\).
We can describe all these chain maps and their gradings more explicitly. Recall that
so there are natural chain maps
By combining these, we get maps
Every polynomial morphism from \(\textrm{Cube}_{\Pi }\) to \(\textrm{Cube}_{\Pi '}\) can be obtained as a composition of these merge and split maps with a polynomial endomorphism in \({{\,\textrm{End}\,}}_{pol}(\textrm{Cube}_n)=\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^{\bullet }(U_n)\otimes {\mathbb {C}}[x].\) In particular, the identity on \(\textrm{Cube}_n\) induces a chain map of qdegree \(s+r2\) and homological degree \(s1\). The odd variable \(\epsilon _{ij}\) can be identified with \(\epsilon _i+\cdots +\epsilon _{j1}\) in \(U_n\) dual to
which acts on \(\textrm{Cube}_n\). Note that if i and j are not in the same block for \(\Pi \) or \(\Pi '\) then \(\epsilon _{ij}\) acts by 0. For i, j, k in the same block for both partitions \(\Pi ,\Pi '\) the actions of \(\epsilon _{ij}\), \(\epsilon _{jk}\) and \(\epsilon _{ik}\) satisfy an obvious linear relation. \(\square \)
Corollary 5.15
\(\dim _q{{\,\textrm{Hom}\,}}(\textrm{Cube}_n^\lambda , \textrm{Cube}_n^\mu ) \in \delta _{\lambda , \mu }+q^2{\mathbb {N}}[q]\).
Example 5.16
Let us describe the endomorphisms of \(\textrm{Cube}_2=[qE^{\otimes 2}\xrightarrow {x_1x_2}q^{1}E^{\otimes 2}].\) In homological degree zero we have \({\mathbb {C}}[x_1,x_2]\ltimes {\mathbb {C}}[S_2]\). In homological degree \(1\) we have a chain map \(\epsilon \) of qdegree \(2\) which sends the first copy of \(E^{\otimes 2}\) to the second one, and the right copy to zero:
Note that in this case the projection to the first copy of \(E^{\otimes 2}\) yields the split map \(\textrm{Cube}_2\rightarrow qE^2[1]\) while the inclusion of the second copy yields the merge \(q^{1}E^2\rightarrow \textrm{Cube}_2\). The composition of split and merge coincides with \(\epsilon \). There is also another map h of homological degree one:
This is not a chain map, but \([d,h]=x_1x_2\). Similarly, \([d,h\epsilon ]=(x_1x_2)\epsilon =d\). So the endomorphism ring of \(\textrm{Cube}_2\) in the homotopy category is isomorphic to
Example 5.17
Similarly to Example 5.16, for \(\textrm{Cube}_n\) we have chain maps \(\epsilon _1,\ldots ,\epsilon _{n1}\) and homotopies \(h_1,\ldots ,h_{n1}\), and \([d,h_i]=x_ix_{i+1}\), so \({{\,\textrm{End}\,}}(\textrm{Cube}_n)\cong {\mathbb {C}}[x]\otimes \mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}(\epsilon _1,\ldots ,\epsilon _{n1})\rtimes {\mathbb {C}}[S_n].\) As above, \(\epsilon _i\) span a copy of the reflection representation \(U_n\).
Example 5.18
Let us illustrate the difference between polynomial morphisms (which were discussed in the proof of Theorem 5.14) and all morphisms. For example, let us compute
We have the following diagram:
Now \([d,\alpha ]=(x_1x_2)\epsilon ,\ [d,\beta ]=(x_2x_3)\epsilon ,\ [d,h]=(x_1x_2)\beta (x_2x_3)\alpha ,\ [d,\epsilon ]=0\). The homology of \(({\mathbb {C}}[x_1,x_2,x_3]\langle \alpha ,\beta ,h,\epsilon \rangle ,[d,])\) is isomorphic to
Here \(\epsilon \) has qdegree \(2\) and homological degree \(1\).
Alternatively, \(\epsilon \) can be obtained as a composition of the split and merge maps:
Finally, observe that the transposition \((1\ 3)\in S_3\) yields an obvious degree zero isomorphism between \(\textrm{Cube}_1\otimes \textrm{Cube}_2\) and \(\textrm{Cube}_2\otimes \textrm{Cube}_1\). This isomorphism is not polynomial, in fact, the above computation shows that there are no polynomial morphisms of degree zero.
Example 5.19
Let us use the description of \({{\,\textrm{End}\,}}(\textrm{Cube}_2)\) to describe \({{\,\textrm{End}\,}}(C^+_2)\). Recall that \(C^+_2[1]\simeq (\textrm{Cube}_2)^{S_2}\). The maps \(\epsilon \) and h are not \(S_2\)–invariant and vanish when symmetrized. However, \(\epsilon (x_1x_2)\) and \(h(x_1x_2)\) are \(S_2\)–invariant. Since \([d,h(x_1x_2)]\cong (x_1x_2)^2\), we get
where \(\xi =\epsilon (x_1x_2)\) and \(x=x_1+x_2\). Note that \(\xi \) has qdegree zero and homological degree \(1\).
We can now describe \({{\,\textrm{End}\,}}(C^+_n)\) in a similar fashion.
Theorem 5.20
We have \({{\,\textrm{End}\,}}(C^+_n)\cong \mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}(\xi _1,\ldots ,\xi _{n1})\otimes {\mathbb {C}}[x]\), where \(\xi _i\) have qdegree \(2i2\) and homological degree \(1\).
Proof
Observe that the \(h_i\) and \(\epsilon _i\) from Example 5.17 both span copies of the reflection representation \(U_n\) under the action of \(S_n\). Therefore by Lemma 5.13\(S_n\)–invariant chain endomorphisms of \(\textrm{Cube}_n\) are given by
where
Note that \(p_{i+1}\) has qdegree \(2i+2\), so its partial derivatives have degree 2i and hence \(\xi _i\) have qdegree \(2i2\) and homological degree \(1\). Similarly, the \(S_n\)–invariant homotopies are built out of \(h_i\) so that
By construction, \([d,h_i]=(x_ix_{i+1})\), so \([d,H_i]=p_{i+1}(x_1,\ldots ,x_n).\) Therefore we have
\(\square \)
Remark 5.21
It is easy to see that the split and merge maps between \(\textrm{Cube}_n\) induce similar split and merge maps between \(C^+_n\). Since \(\epsilon _i\) can be obtained as a composition \(\textrm{Cube}_n\rightarrow q\textrm{Cube}_{i}\otimes \textrm{Cube}_{ni}[1]\rightarrow q^2\textrm{Cube}_n[1]\), the seemingly mysterious endomorphisms \(\xi _k\) can be obtained as sums over all i of compositions
for some explicit polynomials \(\phi _{i,k}(x)\) of degree k.
It is likely that all morphisms between various tensor products of \(C^+_n\) are generated by splits, merges and the action of polynomials. It would be interesting to describe all relations between these morphisms, categorifying Turaev’s description of the skein of the annulus (Theorem 2.1). We plan to pursue this in a future work.
Example 5.22
Let us describe the maps from to . Since \(C^_2\) is a summand in \(\textrm{Cube}_2\), every such map factors through \(\textrm{Cube}_2\). Thus we have a map
Now we have \({{\,\textrm{Hom}\,}}(\textrm{Cube}_2,\textrm{Cube}_1^2)={\mathbb {C}}[x]\otimes {\mathbb {C}}[S_2]\). But \(C^_2\) is the antisymmetric component of \(\textrm{Cube}_2\), so we get \({{\,\textrm{Hom}\,}}(C^_2, q C^_1\otimes C^_1[1])\cong {\mathbb {C}}[x]\). A generator of minimal degree is given by the twisted band map from Remark 5.11.
Let \({\textbf{e}}_{\lambda }\in S_n\) denote our chosen Young symmetrizer in \({\mathbb {C}}[S_n]\) of shape \(\lambda \). As before, we denote by \(\textrm{Cube}_n^\lambda ={\textbf{e}}_{\lambda } \textrm{Cube}_n\) the direct summand of \(\textrm{Cube}_n\) cut out by the action of \({\textbf{e}}_{\lambda }\). Then we have the following corollary of Theorem 5.14.
Remark 5.23
The category \(\text{ K}^b(\hat{\text{ P }})\) has a tstructure, whose heart is given by the complexes whose chain groups are qshifted by twice the homological degree. \(\textrm{Cube}_n\) as well as all \(\textrm{Cube}_n^\lambda \) are shifted perverse.
5.3 Other Coxeter braids
To categorify the formula from Theorem 2.20, we would like to give a more categorical perspective on ribbon skew Schur functions, following Solomon [56]. Given a binary sequence \(\epsilon \) of length n, we can define two parabolic subgroups \(W_{\epsilon },W'_{\epsilon }\) of \(S_n\) generated by simple reflections with positive (resp. negative) signs. Let \(s_{\epsilon }\) and \({\overline{s}}_{\epsilon }\) denote the symmetrizer for \(W_{\epsilon }\) and antisymmetrizer for \(W'_{\epsilon }\).
Theorem 5.24
[56] The group algebra \({\mathbb {C}}[S_n]\) can be presented as a direct sum of left ideals:
Furthermore, the character of the \(S_n\)–representation \({\mathbb {C}}[S_n]s_{\epsilon }{\overline{s}}_{\epsilon }\) equals the ribbon skew Schur function \(\Psi (a)\) for the composition a corresponding to \(\epsilon \).
We denote by \(p_{\epsilon }\in {\mathbb {C}}[S_n]\) the idempotent projecting to \({\mathbb {C}}[S_n]s_{\epsilon }{\overline{s}}_{\epsilon }\). Now we are ready to describe the annular invariants of the Coxeter braids \(\sigma _\epsilon = \sigma _1^{\epsilon _1}\cdots \sigma _{n1}^{\epsilon _{n1}} \).
Theorem 5.25
The annular complex \(C_{\epsilon }\) of the Coxeter braid \(\sigma _\epsilon \) is determined by
Proof
We induct on the length of \(\epsilon \) and the number of minus signs in \(\epsilon \). Suppose there is just one minus sign in the ath place. Then the skein triangle gives us a homotopy equivalence:
Now we use that the righthand side is a direct summand in
cut out by the idempotent \(p_a\otimes p_b\in {\mathbb {C}}[S_{a1}\times S_{b1}] \subset {\mathbb {C}}[S_{n1}]\). We also know that \(C^+_n[n1]\) is a direct summand in \(\textrm{Cube}_n\) cut out by the idempotent \(p_n\in {\mathbb {C}}[S_{n1}]\). The projection onto this summand \(\textrm{Cube}_n\rightarrow C^+_n[n1]\) factors through the right hand side of (27), so the skein triangle (27) splits and \(C^+_n[n1]\) is a direct summand in the right hand side. Hence \(C_{\epsilon }[n2]\) is also a direct summand in \(\textrm{Cube}_n\) defined by the difference of the two idempotents \(p_np_a\otimes p_b = p_\epsilon \).
A similar argument works for the induction step. Here we use the skein triangle to get:
Then we use the induction hypothesis to find \(C_{\alpha }\otimes C_{\beta }[\epsilon _+]\) as a direct summand in \(\textrm{Cube}_{a}\otimes \textrm{Cube}_{b}\), such that the inclusion intertwines the operators \(xy\). If follows that the cones are direct summands of \(\textrm{Cube}_n\), and so is \(C_{\epsilon '}[\epsilon '_+]\) and hence \(C_{\epsilon }[\epsilon _+]\).
It remains to check that the projectors for all these summands agree with \(p_{\epsilon }\). Indeed, they can be computed recursively by successively subtracting induced smaller projectors from the bigger ones (this categorifies (4)). On the other hand, \(p_{\epsilon }\) satisfy the same recursion by [56, Theorem 3]. \(\square \)
We are now in a position to prove a conjecture of Hunt–Keese–Licata–Morrison about the annular Khovanov homology of Coxeter braids and the spectral sequence to planar Khovanov homology.
For this, we will use that the annular Khovanov homology can be computed via annular evaluation along the functor \(\textrm{AKhR}(V_1,0)\) where \(V_1\) is considered as the vector representation of \(\mathfrak {sl}_{2}\) with graded dimension \(q z+ q^{1}z^{1}\) and z encodes the weight space grading. The planar Khovanov homology can similarly be obtained via \(\textrm{AKhR}(V_1,e)\), with \(e\in {{\,\textrm{End}\,}}(V_1)\) provided by the \(\mathfrak {sl}_{2}\) action. The spectral sequence from annular to planar Khovanov homology arises by filtering \(\textrm{AKhR}(V_1,e)\) along the weight space grading.
Theorem 5.26
[29, Conjecture 4.1] The generators of the annular Khovanov homology of \(C_\epsilon \) that survive to planar Khovanov homology have tridegree \( (t q^2 z)^{n12\epsilon _+}(q z+q^{1}z^{1})\).
Proof
We first use that the symmetric function \((1)^{\epsilon _+}\Psi (a)[X(q^{1}q)]/(q^{1}q)\) evaluates on the variables \((q,q^{1},0,\dots )\) to the Jones polynomial of \(C_\epsilon \), namely \((q^2)^{n12\epsilon _+}(q+q^{1})\). Framing considerations imply that the surviving generators are supported in homological degree \(t^{n12\epsilon _+}\). Since the annular complex \(C_\epsilon \) becomes perverse after a shift by \(q^{n1} t^{\epsilon _+} \), this implies that the surviving generators live in the chain group with shift \((t q)^{n12\epsilon _+}\). We also have the following bigraded dimension of the \(\mathfrak {sl}_{2}\)evaluations \(\dim _{q,z}({\mathbb {S}}^{ni,i}(V_1))=\dim _{q,z}(V_{n2i})=h_{n2i}(q z, q^{1} z^{1})\). In particular, the \(\mathfrak {sl}_{2}\)weight shift inside these Schur functor evaluations is always equal the internal shift in qgrading. Thus, the \(z=1\) and \(t=1\) specialization \((q^2)^{n12\epsilon _+}(q+q^{1})\) of the desired formula and the knowledge of the chain group shift \((t q)^{n12\epsilon _+}\) determine the internal qshift uniquely as \(q^{n12\epsilon _+}\), and thus also \(z^{n12\epsilon _+}\). \(\square \)
6 Annuli in tangle diagrams
In this section we study applications of annular evaluation to Khovanov–Rozansky invariants of tangles which contain a cabling of a framed unknot as a sublink. This includes tangles obtained by wrapping an annular link around a tangle as in (5).
6.1 A symmetric group action on cables
The following theorem is due to Grigsby–Wehrli–Licata in the context of Khovanov homology [25]. The version here applies to all sufficiently functorial Khovanov–Rozansky link homologies of type A.
Theorem 6.1
Let T be a link or a tangle, which has n parallel closed 1colored components. Then T carries an action of \(Br_n\) by endocobordisms that braid these parallel components around each other. Let \(\textrm{KhR}\) denote a Khovanov–Rozanskytype invariant, which is functorial under such cobordisms.^{Footnote 4} Then the induced action of \(Br_n\) on \(\textrm{KhR}(T)\) factors through \(S_n\).
Proof
It suffices to prove that the braiding is symmetric on two parallel components. We have already seen this in the proof of Theorem 4.23 for the case when L has the two components as a disjoint split factor. Now, we consider the general case, which can be modelled as follows.
Here, T is compressed into the small box shown, except for the two parallel components in question (if the tangle is not a link, then some additional strands might connect this box to the boundary). The braiding of the two circles starts with a Reidemeister II move, followed by isotoping the 1labeled crossing all the way through the rest of T, and then eliminating both crossings again by an inverse Reidemeister II move. Contrary to the case treated in Theorem 4.23, we do not intend to compute this chain map \(\sigma \) explicitly. We only need to show that it is equivalent to its inverse \(\sigma ^{1}\), which has a movie description as in (28), except that the bottom strand passes over the top strand first, and it is a negative crossing instead of a positive crossing that slides all the way through T. In the absence of other components, we have seen that these chain maps are plainly equal, since the different Reidemeister II chain maps uses in these variants agree (up to to cancelling signs).
In the present case, we additionally have to take into account moving the crossing labeled 1 through the box, i.e. through the rest of T. There are three key observations which allow to compare the contributions of this process to \(\sigma \) and \(\sigma ^{1}\).
First, isotoping the crossing through the rest of T is realized as a sequence of braidlike Reidemeister III moves. A braidlike Reidemeister III move is one in which the relevant local tangle 6ended tangle has the following sequence of boundary orientations up to cyclic reordering: outoutoutininin. In contrast, a starlike Reidemeister III tangle would have an alternating sequence of boundary orientations outinoutinoutin.
Second, the intermediate chain complexes in (28) can be seen as total complexes of double complexes, with a horizontal differential contributed by the crossings in T, and a vertical differential contributed by the extra crossings created by the initial Reidemeister II move. Note that the initial and the final chain complex in this sequence are supported in the single vertical degree zero.
Third, the chain maps associated to the braidlike Reidemeister III moves are filtered with respect to the vertical degree. This means that these chain maps are sums of components that preserve the vertical degree, and components which, at most, increase the vertical degree, but never decrease it. Moreover, in a pair of Reidemeister III moves, which differ only in the sign of the 1labeled crossing which is pushed under (or over) another strand in T, the filtrationpreserving components agree. For 1colored strands, this is wellknown to experts and can be read off from the explicit descriptions of Reidemeister III chain maps for Rouquier complexes in [17]. The general case follows via the strategy of exploding strands of higher color into 1colored strands before sliding the crossing, see e.g. [63, Section 14.1].
The chain maps obtained by isotoping a positive or a negative crossing through the rest of T are both filtered, and their filtrationpreserving components agree. Finally, \(\sigma \) and \(\sigma ^{1}\) are obtained from these chain maps by pre and postcomposing with Reidemeister II chain maps. Since the latter have nonzero components only in vertical degree zero, these composite only depend on the filtrationpreserving parts of the intermediate Reidemeister III chain maps. As noted above, these agree. \(\square \)
In particular, Theorem 6.1 holds for the the \(\mathfrak {gl}_{N}\) Khovanov–Rozansky invariants \(\llbracket T \rrbracket \) and \(\llbracket T \rrbracket ^{\textrm{fr}}\) valued in \(\text{ K}^b(N\varvec{\textrm{Foam}})\). In the following, we write \(T=T(E^{\otimes {n}})\) for tangles as in the theorem.
Corollary 6.2
The Schurcolored invariants \(\llbracket T({\mathbb {S}}^\lambda (E)) \rrbracket \) and \(\llbracket T({\mathbb {S}}^\lambda (E)) \rrbracket ^{\textrm{fr}}\) are well defined in \(\text{ K}^b({{\,\textrm{Kar}\,}}(N\varvec{\textrm{Foam}}))\).
Proof
By Theorem A.10, we have that \(\text{ K}^b({{\,\textrm{Kar}\,}}(N\varvec{\textrm{Foam}}))\) is Karoubian. By Theorem 4.7 there is a braid group action on \(\llbracket T(E^{\otimes n}) \rrbracket ^{\textrm{fr}}\), which factors through the symmetric group. Hence by Proposition A.12 the Schur functors are well defined up to homotopy equivalence. \(\square \)
Corollary 6.3
For a tangle as in the theorem, \(\llbracket T(E^{\otimes n}) \rrbracket \) and \(\llbracket T(E^{\otimes n}) \rrbracket ^{\textrm{fr}}\) have actions of \({\mathbb {C}}[x_1,\dots , x_n]\rtimes {\mathbb {C}}[S_n]\).
Proof
The \({\mathbb {C}}[S_n]\) part is obtained by linearising the symmetric group action from the theorem. In the polynomial part, \(x_i\) acts by a dot on the ith component of the cable. The proof of the theorem and the fact that dots slide through crossings up to homotopy implies that stated compatibility. \(\square \)
We can summarize the two corollaries as follows.
Corollary 6.4
Each tangle as in Theorem 6.1 provides an additive functor from \(\hat{\text{ P }}\) to \(\text{ K}^b({{\,\textrm{Kar}\,}}(N\varvec{\textrm{Foam}}))\).
As before, we also get a version of Lemma 4.25 in the presence of other strands. For this, let \(T(E_n)\) denote the tangle T with a ncolored component in place of the n parallel uncolored components.
Corollary 6.5
We have isomorphisms \(\llbracket T(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^n(E)) \rrbracket \cong \llbracket T(E_n) \rrbracket \) and \(\llbracket T(S^n(E)) \rrbracket ^{\textrm{fr}}\cong \llbracket T(E_n) \rrbracket ^{\textrm{fr}}\) in \(\text{ K}^b({{\,\textrm{Kar}\,}}(N\varvec{\textrm{Foam}}))\).
Proof
The proof proceeds analogous to the one for Lemma 4.25 by identifying the chain map for the \(k=2\) antisymmetrizer on \(\llbracket T(E\otimes E) \rrbracket ^{\textrm{fr}}\) with the projection onto \(\llbracket T(E_2) \rrbracket ^{\textrm{fr}}\). \(\square \)
This implies that cobordisminduced braiding is also symmetric for colored circles, as proved for uncolored circles in Theorem 6.1.
6.2 Annular simplification
If an annular link L appears as a sublink of a tangle T which is a cabling of a framed unknot, then the associated Khovanov–Rozansky chain complex \(\llbracket T \rrbracket ^{\textrm{fr}}\) can be simplified to a complex in which the annular link L is replaced by the a complex of \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}\)colored concentric circles or Schur functors. Here we prove that this induces filtrations and spectral sequences as claimed in Theorem 1.8 and Corollary 1.9.
Proposition 6.6
Let L denote a link diagram in the thickened annulus, T a tangle diagram with a blackboardframed unknot component without selfcrossings, and T(L) the tangle diagram obtained by cabling this unknot component in T by L. Then the chain complex \(\llbracket T(L) \rrbracket ^{\textrm{fr}}\) is isomorphic in \(\text{ K}^b(N\varvec{\textrm{Foam}})\) to a filtered chain complex \({\tilde{C}}\), whose associated graded is isomorphic to a formal direct sum of grading shifts of chain complexes of the form \(\llbracket T(CC) \rrbracket ^{\textrm{fr}}\) where CC denotes the collections of concentric \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}\)colored circles that appear in the annular simplification of L. Moreover, the component of the differential that increases the filtration degree by one is induced by the corresponding annular differential.
Interesting examples of tangles T(L) are tangles obtained by wrapping as in (5) and cabled Hopf links \(H(L,L_2)\) as in the introduction.
Proof
We write \(C:=\llbracket T(L) \rrbracket ^{\textrm{fr}}\). The key idea of the proof is that annular simplification is still possible in the presence of additional strands. Indeed, the annular simplification algorithm of Queffelec–Rose [46, Proposition 5.1] utilizes two types of web isomorphisms, which both continue to hold in these settings: namely certain local isomorphisms (rung combination and square switch) which hold on the nose, and the global rung slide move, which uses forkslide moves in the presence of additional strands.
The chain complex C can be viewed as a total complex of a tricomplex with one direction (horizontal) corresponding to crossings internal to the annular link \(L_1\), the second direction (vertical) to crossings of that annular link and the rest, and the third direction (depth) to crossings purely in the rest. Since the third direction will not play an important role, we will suppress it and consider C as total complex of a bicomplex \(C^{*,*}\). The columns \(C^{*,i}\) in such bicomplexes are complexes in their own right, which are isomorphic to the invariants of the annular webs appearing in the cube of resolutions of \(L_1\), interacting with other additional link and tangle components.
By annular simplification, each column \(C^{*,i}\) is homotopy equivalent to the total complex \(\tilde{C^{*,i}}\) of a bicomplex whose columns are of the form T(CC), where CC is a collection of concentric circles. Now we substitute the columns in the bicomplex \(C^{*,*}\) by the homotopy equivalent complexes \({\tilde{C}}^{*,i}\). In doing so, we collapse the two “horizontal” directions: the one already present in \(C^{*,*}\) and the additional direction in each \({\tilde{C}}^{*,i}\). Because of the column substitutions, \({\tilde{C}}^{*,*}\) will typically no longer be a bicomplex. Besides the vertical differential \(d_0:{\tilde{C}}^{*,*} \rightarrow {\tilde{C}}^{*+1,*}\) and the horizontal component \(d_1:{\tilde{C}}^{*,*}\rightarrow {\tilde{C}}^{*,*+1}\), there are now also higher components \(d_k :{\tilde{C}}^{*,*} \rightarrow {\tilde{C}}^{*+1k,*+k}\). In Fig. 3, we illustrate the result of a single column substitution.
The perturbed bicomplex \(\tilde{C^{*,*}}\) still carries the horizontal filtration \({{\mathcal {F}}}_{j} = \bigoplus _{j'\ge j} {\tilde{C}}^{*,j'}\), whose associated graded is isomorphic to the direct sum of the columns, with differential \(d_0\), which we identify with the invariants of collections of colored circles interacting with the remaining strands. The filtration degree one component of the total differential is \(d_1\) and its components originate from crossings in the annular link or the resolution of annular webs by concentric circles— in this sense, it is induced by the annular differential computed by the annular simplification algorithm of Queffelec–Rose. \(\square \)
Example 6.7
If we apply Proposition 6.6 in the case of the Hopf link cable \(H(L_1, \emptyset )\), we obtain \({\tilde{C}}^{*,*}={\tilde{C}}^{0,*}\) and the only nontrivial component of the differential is \(d_1\).
Corollary 6.8
The complex \({\tilde{C}}\) from Proposition 6.6, considered as an object of \(\text{ K}^b({{\,\textrm{Kar}\,}}(N\varvec{\textrm{Foam}}))\), can be decomposed further into a filtered complex \(C'\) with associated graded given by Schurcolored unknots interacting with the remaining strands.
Proof
This follows from Proposition 6.6 and Corollary 6.5, which identifies colored circles with tensor products of antisymmetric Schur functors, which we can then decompose further. \(\square \)
This completes the proof of Theorem 1.8 and implies Corollary 1.9.
Remark 6.9
Corollary 6.8 can also be proved directly following the strategy of the proof of Proposition 6.6, but with the Queffelec–Rose annular evaluation algorithm replaced by the alternative annular evaluation algorithm outlined in Remark 4.21.
6.3 Generalized Hopf links, categorified
Here we show how the above results can be used to compute Khovanov–Rozansky homologies of generalized Hopf links. First, we consider annular links wrapped around a single vertical strand colored by \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^k\). We reduce on this vertical strand, so that the corresponding tangle has no nontrivial endomorphisms, and the invariants in question are valued in complexes of graded vector spaces. For the definition of reduced colored Khovanov–Rozansky homologies, we refer to [61].
Theorem 6.10
Let L be an annular link diagram and let \(T(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^i,L)\) be the tangle consisting of L wrapped around the reduced vertical strand colored by \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^i\). Consider the following bigraded vector space with an action of \({\mathbb {C}}[X]\):
Then there is a spectral sequence with the \(E_2\) page given by the evaluation of the annular complex of L at \({\mathcal {E}}_{\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^i}\) and \(E_\infty \) page isomorphic to \(\llbracket T(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^i,L) \rrbracket ^{\textrm{fr}}\).
Note that we have \(\dim _{q,t}{\mathcal {E}}_{\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^i} = q^i [Ni] + t^{2}q^{i2N} [i]\), where \([n]=\frac{q^nq^{n}}{qq^{1}}\).
Proof
If L is a single \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^j\)colored unknot, then the invariant of \(T(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^i,L)\) was computed by second author in [60, Proposition 4.15]. For \(j=1\), it agrees with \({\mathcal {E}}_{\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^i}\) as a bigraded vector space. The action of the dot on L can be easily computed, and it agrees with the action of X above.
Suppose that now L is an arbitrary annular link. By Proposition 6.6 the Khovanov–Rozansky complex of \(T(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^i,L)\) is filtered with associated graded given by the evaluation of the annular complex of L at \(({\mathcal {E}}_{\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^i},X)\). More precisely, the differential splits into two parts: the annular differential \(d_{\textrm{ann}}\) for L and the additional differential \(d_{\textrm{wrap}}\) responsible for the crossings between the webs in the resolution of L and the vertical strand. We get a spectral sequence by first applying \(d_{\textrm{wrap}}\) and then the induced differential \(d_{\textrm{ann}}^*\). It converges to the homology of the total complex. By Proposition 6.6 the homology with respect to \(d_{\textrm{wrap}}\) is isomorphic to the evaluation of the annular complex for L at \(({\mathcal {E}}_{\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^i},X)\) (with no differential). On the next page of the spectral sequence we compute the homology with respect to \(d^*_{\textrm{ann}}\), which is just the homology of the annular complex for L evaluated at \(({\mathcal {E}}_{\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^i},X)\). \(\square \)
Corollary 6.11
Let L be a \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^i\)colored unknot, and \(T(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^i,\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^j)=T(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^i,L)\) as above. Then the Khovanov–Rozansky homology of \(T(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^i,\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^j)\) is isomorphic to \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^j({\mathcal {E}}_{\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^i})\) as above. In particular, its graded dimension is
This agrees with [60, Proposition 4.15].
We expect that Theorem 6.10 can be generalized to other projectors, categorifying Lemma 2.25. Specifically, Elias and Hogancamp recently constructed [16] a family of projectors \(P_{\lambda }\) in the homotopy category of Soergel bimodules which categorify the projectors \(p_{\lambda }\) from Sect. 2. These are idempotent complexes which are bounded from above. Let \(\langle P_{\lambda }\rangle \) be the smallest triangulated subcategory of the homotopy category containing \(P_{\lambda }\). After specialising to the \(\mathfrak {gl}_N\) theory, we expect the following.
Conjecture 6.12
Let L be an annular link and let \(T(P_{\lambda },L)\) denote the tangle consisting of L wrapped around \(P_{\lambda }\). Then \(\llbracket T(P_{\lambda },L) \rrbracket ^{\textrm{fr}}\) is an object of the category \(\langle P_{\lambda }\rangle \). If L is a single unknot then
for some differential D.
Example 6.13
If \(\lambda =(1^i)\) then (29) can be interpreted as saying that L acts on \(P_{\lambda }\) with “eigenvalue”
This agrees with Theorem 6.10.
Remark 6.14
At \(t=1\) equation (29) specializes to Lemma 2.25.
Remark 6.15
This conjecture gives a precise categorical context to the “refined Smatrix” defined by Aganagic and Shakirov, see [1]. Specifically, they conjecture that (a) the projectors \(P_{\lambda }\) in certain sense correspond to Macdonald polynomials \(H_{\lambda }(x;q,t)\), and (b) the “refined Chern–Simons invariant” of the generalized Hopf link with components labeled by \(P_{\lambda }\) and \(P_{\mu }\) equals
While we are unable to comment on (a) at the moment, we can interpret (b) by cutting the component with \(P_{\lambda }\) open. Then the invariant of the corresponding tangle equals
Since this is linear in \(H_{\mu }\), we can instead consider a tangle where one component is colored by \(P_{\lambda }\) and the other is a closed circle colored by an arbitrary symmetric function f. The “refined Chern–Simons invariant” of this tangle equals
which agrees with a certain decategorification of (29).
We would like to comment on possible (but yet mostly conjectural) connections between the results of this paper and the work of the first author, Neguț and Rasmussen [24], as well as the series of papers of Oblomkov and Rozansky [42,43,44]. One of the main conjectures of [24] assumes the existence of a monoidal functor
where \({{\,\textrm{Hilb}\,}}^n({\mathbb {C}}^2)\) is the Hilbert scheme of n points on the plane and \(D^b{{\,\textrm{Coh}\,}}\) denotes the derived category of coherent sheaves. On the Hilbert scheme of points we have two important sheaves: \({\mathcal {T}}\) is the tautological bundle of rank n while \({\mathcal {I}}\) is the tautological ideal sheaf (of infinite rank). The fibers of \({\mathcal {T}}\) and \({\mathcal {I}}\) over a given ideal \(I\subset {\mathbb {C}}[x,y]\) are equal to \({\mathbb {C}}[x,y]/I\) and to I, respectively. Both \({\mathcal {T}}\) and \({\mathcal {I}}\) enjoy the action of two commuting endomorphisms X and Y.
Conjecture 6.16
The \(\mathfrak {gl}_N\) invariant of a single unknot wrapped around n vertical strands is isomorphic to the \(\mathfrak {gl}_N\) reduction of the object \( \iota ^*({\mathcal {I}}/(Y,X^N){\mathcal {I}}). \)
As explained in [24], the projectors \(P_{\lambda }\) should correspond to the fixed points of the torus action on \({{\,\textrm{Hilb}\,}}^n({\mathbb {C}}^2)\), that is, to the monomial ideals \(I_{\lambda ^t}\).^{Footnote 5} At such a monomial ideal, the fiber of \({\mathcal {I}}/(Y,X^N){\mathcal {I}}\) has a bigraded character which agrees with (29). This means that Conjectures 6.12 and 6.16 are compatible with each other. See also [41] for more detailed relation between the refined Smatrix and the geometry of the Hilbert scheme of points.
Finally, we would like to comment on the relation between this work and [19]. There, Elias constructed a family of objects \({\mathcal {X}}_{\lambda }\) (labeled by Young diagrams \(\lambda \)) in the Drinfeld center of the category of (extended) affine Soergel bimodules. It is expected that \({\mathcal {X}}_{\lambda }\) descend to the homotopy category of Soergel bimodules, and their images are filtered by the products of Jucys–Murphy braids \({\mathcal {L}}_i\) according to the weight decomposition of the irreducible representation \(V_{\lambda }\) of \(\mathfrak {gl}_N\). For example, for \(\lambda =\square \) the complex \({\mathcal {X}}_{\square }\) is filtered by \({\mathcal {L}}_i\), each with multiplicity one.
We expect \({\mathcal {X}}_{\lambda }\) to be closely related, but not identical to our annular links wrapped around vertical strands. In the notations of Conjecture 6.16 we expect
in particular, \({\mathcal {X}}_{\square }=\iota ^*({\mathcal {T}})\). This relation is expected to categorify Lemma 6.
6.4 A note on wrapping
The initial motivation for this paper was to categorify the wrapping operation (1). In HOMFLYPT skein theory, the action of encircling braids by positive annular links descends to an action of the cocenter of all Hecke algebras \(H_m\) of type A on the center of \(H_n\otimes \mathbb {k}\). On the topological level, and with a view towards categorification, the encircling operation can be described as a functor from \(\textrm{A}\varvec{\textrm{Link}}^{+}\), the 1cocenter (horizontal trace, see Sect. 7.1) of the braided monoidal 2category of braids and their cobordisms, to the centralizer \({\mathcal {Z}}(\varvec{\textrm{Braid}}_n)\) of the 2category of braids (and their cobordisms) on n coherently oriented strands inside the 2category of tangles \(\varvec{\textrm{Tan}}_n\) with the same boundary data.
In this paper, we have described and studied the universal target for the currently available Khovanov–Rozansky functors for positive annular links, namely the category \(\text{ K}^b(\hat{\text{ P }})\). The categorified analog of the Hecke algebra \(H_n\) is the homotopy category of Soergel bimodules \(\text{ K}^b({{\,\textrm{SBim}\,}}_n)\). A first approximation to what a categorification of the wrapping operation could be is given in Fig. 4, ignoring the second column.
Unfortunately, \(\text{ K}^b(\hat{\text{ P }})\) does not seem to be rich enough to admit a functor to the Drinfeld center \({\mathcal {Z}}(\text{ K}^b({{\,\textrm{SBim}\,}}_n))\) that intertwines the Khovanov–Rozansky functors for annular links and partial braid closures, as we will explain next.
Example 6.17
Let L be an annular link and T a tangle. Consider the cobordism that rotates L once around the annulus. This cobordism induces the identity map on the annular invariant in \(\text{ K}^b(\hat{\text{ P }})\). However, after wrapping L around the tangle T, the cobordism that rotates L around T is not expected to induce the identity map on the tangle invariant in \(\text{ K}^b({{\,\textrm{SBim}\,}}_n)\).
To get a categorified wrapping operation, we thus need an upgraded annular Khovanov–Rozansky functor with a target category that remembers such rotation cobordisms. A natural candidate for such a category is the derived horizontal trace of the dg category \({{\,\textrm{SBim}\,}}^{\textrm{dg}}_n\) of complexes of Soergel bimodules. This and a related notion of derived center feature in the second column of Fig. 4 and are the focus of the followup paper [23] of the authors with Matthew Hogancamp.
7 Traces outside of type A
7.1 Categorical traces
We briefly review the definitions of categorical traces following [8].
If \({\mathcal {C}}\) is a \({\textbf{k}}\)linear category, its vertical trace \({{\,\textrm{vTr}\,}}({\mathcal {C}})\) (also known as zeroth Hochschild homology) is a \({\textbf{k}}\)vector space spanned by all possible \(f\in {{\,\textrm{End}\,}}_{\mathcal {C}}(X)\) for \(X\in \textrm{Ob}\ {\mathcal {C}}\) modulo the relations \(fg\sim gf\) for any \(f\in {{\,\textrm{Hom}\,}}(X,Y)\) and \(g\in {{\,\textrm{Hom}\,}}(Y,X)\). If \({\mathcal {C}}\) is monoidal then \({{\,\textrm{vTr}\,}}({\mathcal {C}})\) has a natural algebra structure.
If \({\mathcal {C}}\) is a monoidal \({\textbf{k}}\)linear category, one can also define its horizontal trace \({{\,\textrm{hTr}\,}}({\mathcal {C}})\). This is a \({\textbf{k}}\)linear category where the objects are the same as the objects in \({\mathcal {C}}\), and the morphisms are defined by
where for any \(f\in {{\,\textrm{Hom}\,}}_{{\mathcal {C}}}(X\otimes Z,W\otimes Y)\) and \(g\in {{\,\textrm{Hom}\,}}_{{\mathcal {C}}}(W,Z)\) we identify the compositions
and
It is easy to see from this definition that
For the definition of composition of morphisms and further details we refer to [8]. There is a natural trace functor
which sends any object of \({\mathcal {C}}\) to the namesake object in \({{\,\textrm{hTr}\,}}({\mathcal {C}})\). If \({\mathcal {C}}\) has duals then \({{\,\textrm{hTr}\,}}(X\otimes Y)\simeq {{\,\textrm{hTr}\,}}(Y\otimes X)\).
Informally, one can think of objects of \({{\,\textrm{hTr}\,}}({\mathcal {C}})\) as of annular closures of objects in \({\mathcal {C}}\). In particular, the horizontal trace for the category of webs (with morphisms given by foams) is the category of annular webs (with morphisms given by annular foams).
Finally, there is a derived version of the above definitions developed in detail in the followup paper [23]. The vertical trace is replaced by full Hochschild homology of \({\mathcal {C}}\), while the horizontal trace becomes a dg category.
7.2 Cubes and Coxeter braids in other types
Let (W, S) be a Coxeter system of rank r with a realization ( [20]) consisting of a \({\mathbb {R}}\)linear representation \(\mathfrak {h}=\bigoplus _{s\in S} {\mathbb {R}}\alpha _s^\vee \) of W and simple roots \(\{ \alpha _s \;  \; s \in S\} \subset \mathfrak {h}^* = {{\,\textrm{Hom}\,}}_{{\mathbb {R}}}(\mathfrak {h},{\mathbb {R}})\) defined such that \(\langle \alpha _t^\vee , \alpha _s \rangle = 2\cos (\pi /m_{st})\) where \(m_{ss} =1\) and \(\pi /\infty = 0\). The Coxeter group W acts on \(\mathfrak {h}\) by reflections.
for \(s\in S\) and \(v \in \mathfrak {h}\). We let \(R:={\mathbb {C}}[\mathfrak {h}]= \bigoplus _{k\ge 0}\textrm{Sym}_{{\mathbb {C}}}^k(\mathfrak {h}^*\otimes {\mathbb {C}})\) denote the coordinate ring of the representation, i.e. the polynomial ring generated by the simple roots. We let \({{\,\textrm{SBim}\,}}\) (and \({{\,\textrm{SSBim}\,}}\)) denote the category of (singular) Soergel bimodules associated to (W, S) and the above realization.
Definition 7.1
Let \(\textrm{Cube}_W\) denote the Koszul complex of \({\mathbb {C}}[W]\)modules determined by its degree one differential \(\mathfrak {h}^*\otimes _{{\mathbb {C}}} R \rightarrow R\) given by multiplication \(m :\alpha _s\otimes x \mapsto \alpha _s x\). More explicitly
with differentials induced by comultiplication and multiplication
Recall that R is the monoidal unit in \({{\,\textrm{SBim}\,}}\), and we will think of \(\textrm{Cube}_W\) as a complex in \(\text{ K}^b({{\,\textrm{SBim}\,}})\), and in particular, as a complex of \(RR\)bimodules. To this, we can apply the horizontal trace functor termwise. Here, the horizontal trace is nothing but \(HH_0\), i.e. the functor of tensoring with R over \(R\otimes R\), which identifies the left and right actions. We consider the resulting objects as Rmodules.
Since \(\textrm{Cube}_W\) is built from copies of R and \({{\,\textrm{hTr}\,}}(R)=R\), we could identify it with its image \({{\,\textrm{hTr}\,}}(\textrm{Cube}_W)\) in \(\text{ K}^b({{\,\textrm{hTr}\,}}({{\,\textrm{SBim}\,}}))\). Note that \({\mathbb {C}}[W]\ltimes R\) acts on R and the differentials in \({{\,\textrm{hTr}\,}}(\textrm{Cube}_W)\) are equivariant for this action, so we will consider \({{\,\textrm{hTr}\,}}(\textrm{Cube}_W)\) as a complex of \({\mathbb {C}}[W]\ltimes R\)modules.
Next we chose a total ordering on S and consider the corresponding Coxeter element \(s_k\cdots s_1\in W\) as well as the Coxeter braids \(\sigma _{\epsilon }:=\sigma _k^{\epsilon _k}\cdots \sigma _1^{\epsilon _1}\) for \(\epsilon =(\epsilon _1,\dots , \epsilon _k)\in \{\pm 1\}^k\) in the Artin–Tits group corresponding to (W, S).
Definition 7.2
Let \(C_{\epsilon }\) denote the chain complex in \(\text{ K}^b({{\,\textrm{hTr}\,}}({{\,\textrm{SBim}\,}}))\) obtained from the (suitably normalized^{Footnote 6}) Rouquier complex [54] of \(\sigma _{\epsilon }\) by applying the horizontal trace functor termwise.
Let \(\epsilon \in \{\pm 1\}^k\) and partition the set \(S=S_+\sqcup S_\) according to the chosen order of simple roots. We denote the corresponding parabolic subgroups by \(W_\epsilon \) and \(W'_\epsilon \). Let \(s_\epsilon \in {\mathbb {C}}[W]\) be the symmetrizer corresponding to \(W_\epsilon \), and \({\overline{s}}_{\epsilon }\in {\mathbb {C}}[W]\) the antisymmetrizer corresponding to \(W'_\epsilon \). The following is a generalization of Theorem 5.24.
Theorem 7.3
[56, Theorem 2] The group algebra \({\mathbb {C}}[W]\) can be presented as a direct sum of left ideals:
Let \(p_\epsilon \in {\mathbb {C}}[W]\) denote the idempotent projecting onto the summand \({\mathbb {C}}[W]s_{\epsilon }{\overline{s}}_{\epsilon }\).
Conjecture 7.4
\(C_{\epsilon }[\epsilon _+]\simeq p_{\epsilon }{{\,\textrm{hTr}\,}}(\textrm{Cube}_W)\) in \(\text{ K}^b({{\,\textrm{hTr}\,}}({{\,\textrm{SBim}\,}}))\).
In particular, we expect that \(C_{1,\cdots ,1}\) is homotopy equivalent to \({{\,\textrm{hTr}\,}}(\textrm{Cube}_W)^{\textrm{sign}}\) and \(C_{+1,\cdots ,+1}[r]\) is homotopy equivalent to \({{\,\textrm{hTr}\,}}(\textrm{Cube}_W)^{W}\).
7.3 Annular simplification in other types
In type \(A_{n1}\), we know (and have made ample use of the fact) that \({{\,\textrm{Kar}\,}}({{\,\textrm{hTr}\,}}({{\,\textrm{SBim}\,}}))\cong {\mathbb {C}}[S_n]\ltimes R\textrm{gpmod}\). In this section, we pursue an analogous description for other finite Coxeter groups.
A key tool is EliasLauda’s computation [18] of the vertical trace decategorification of \({{\,\textrm{SBim}\,}}\). To describe this, we consider \({{\,\textrm{SBim}\,}}^*\), the category whose objects are objects in \({{\,\textrm{SBim}\,}}\) without grading shifts, and hom spaces are graded by \({{\,\textrm{Hom}\,}}_{{{\,\textrm{SBim}\,}}^*}(A,B)\cong \bigoplus _m {{\,\textrm{Hom}\,}}_{{{\,\textrm{SBim}\,}}}(A,q^{m}B)\). The vertical trace is the quotient
where the span is taken over pairs of \(f\in {{\,\textrm{Hom}\,}}_{{{\,\textrm{SBim}\,}}^*}(A,B)\) and \(g \in {{\,\textrm{Hom}\,}}_{{{\,\textrm{SBim}\,}}^*}(B,A)\). Since \({{\,\textrm{SBim}\,}}^*\) is graded and monoidal, \({{\,\textrm{vTr}\,}}({{\,\textrm{SBim}\,}}^*)\) has the structure of a graded algebra.
Theorem 7.5
[18, Theorem 3.2] There is an isomorphism \(\phi :{{\,\textrm{vTr}\,}}({{\,\textrm{SBim}\,}}^*) \rightarrow {\mathbb {C}}[W] \ltimes R\) of graded algebras.
Recall that the 2category of singular Soergel bimodules \({{\,\textrm{SSBim}\,}}\) for (W, S) is the closure under grading shifts, taking direct sums and summands of the 2category of bimodules generated by singular Bott–Samelson bimodules \(R^I\otimes _{R^{I\cup J}} R^J\) for \(I,J\subset S\). Here we denote by \(R^I\) the ring of invariants for the parabolic subgroup \(W_I\subset W\) generated by reflections in I.
We identify the objects of \({{\,\textrm{SSBim}\,}}\) with subsets \(I\subset S\) and 1morphisms from J to I are \(R^IR^J\)bimodules. The full 2subcategory of \({{\,\textrm{SSBim}\,}}\) generated by the object \(\emptyset \subset S\) is canonically identified with \({{\,\textrm{SBim}\,}}\). We can think of \({{\,\textrm{SSBim}\,}}\) as a partial idempotent completion of \({{\,\textrm{SBim}\,}}\) in the 1morphism direction.
Lemma 7.6
Considering the vertical trace of the bicategory \({{\,\textrm{SSBim}\,}}\) as an idempotented algebra, we have an algebra isomorphism given on idempotent truncations by \(\psi :{{\,\textrm{vTr}\,}}({{\,\textrm{SSBim}\,}}(I,J)) \cong 1_I ({\mathbb {C}}[W] \ltimes R) 1_J\). Here I and J denote subsets of S and \(1_I\) and \(1_J\) are the corresponding symmetrizers in \({\mathbb {C}}[W]\).
Proof
All singular Soergel \((R^I,R^J)\)bimodules \(B, B'\) can be turned into ordinary Soergel bimodules by tensoring on both sides with R, considered as an \((R,R^I)\)bimodule or as an \((R^J,R)\)bimodule respectively. For \(I\subset S\) we let \(r_I\) denote the rank of \(R^I\otimes R \otimes R^I\) as a free \(R^I\)module (this is the size of the double coset \(W_I\backslash W/W_I\)). For morphisms \(B\xrightarrow {f}B'\xrightarrow {g}B\), we now define
It is straightforward to check that this defines an algebra map and \(\psi \) agrees with \(\phi \) on the traces of endomorphisms of Soergel bimodules. Furthermore, the image of \({{\,\textrm{vTr}\,}}({{\,\textrm{SSBim}\,}}(I,J))\) under \(\psi \) lands in \(1_I ({\mathbb {C}}[q^{\pm 1}][W] \ltimes R) 1_J\) since \(\phi ([\textrm{id}_{R\otimes _{R^I} R}])=r_I 1_I\in {\mathbb {C}}[W]\). An analogous argument shows that \(\psi \) is injective and surjective. \(\square \)
The following is straightforward:
Proposition 7.7
The natural functors \({{\,\textrm{vTr}\,}}({{\,\textrm{SSBim}\,}})\hookrightarrow {{\,\textrm{hTr}\,}}({{\,\textrm{SBim}\,}})\) and \(\text{ K}^b({{\,\textrm{vTr}\,}}({{\,\textrm{SSBim}\,}})) \hookrightarrow \text{ K}^b({{\,\textrm{hTr}\,}}({{\,\textrm{SBim}\,}}))\) are fully faithful.
In type A, these functors yield a subcategory of the horizontal trace generated by collections of circles colored by \(\mathchoice{{\textstyle \bigwedge }}{{\bigwedge }}{{\textstyle \wedge }}{{\scriptstyle \wedge }}^i\), and by complexes thereof. Proposition 4.13 then implies that the latter functor is an equivalence. As explained in Sect. 4, this is related to the fact that every representation of \(S_n\) can be resolved by representations induced from the trivial representations of the parabolic subgroups.
Outside of type A, this is no longer true. For example, if \(W=I_n\) is a dihedral group of order 2n, then it has four parabolic subgroups \(\{e\},\{s\},\{t\},W\). The corresponding induced trivial representations have dimensions 2n, n, n and 1 and it is easy to see that for \(n>3\) the irreducible twodimensional representation \(\mathfrak {h}\) cannot be resolved by these. On the other hand, by Conjecture 7.4 the horizontal trace of the positive Coxeter braid corresponds to the complex
where we identify an irreducible representation \(\tau \) of W with \({{\,\textrm{Hom}\,}}_{W}(\tau , {{\,\textrm{hTr}\,}}(R))\). Therefore we do not expect the functor \(\text{ K}^b({{\,\textrm{vTr}\,}}({{\,\textrm{SSBim}\,}})) \hookrightarrow \text{ K}^b({{\,\textrm{hTr}\,}}({{\,\textrm{SBim}\,}}))\) to be essentially surjective.
Remark 7.8
The category \(\text{ K}^b({{\,\textrm{hTr}\,}}({{\,\textrm{SBim}\,}}))\) is expected to be closely related to the category of character sheaves [34, 51] in the corresponding type. The object E, or the trace of identity object in \({{\,\textrm{SBim}\,}}\), corresponds to socalled Springer sheaf, and its endomorphisms match the vertical trace \({{\,\textrm{vTr}\,}}({{\,\textrm{SBim}\,}}^*)\) from Theorem 7.5. In type A, it is known that the summands of the Springer sheaf generate the category of character sheaves, but this is no longer true in other types due to the existence of socalled cuspidal sheaves.
By analogy, we do not expect the functor \(\text{ K}^b({{\,\textrm{vTr}\,}}({{\,\textrm{SSBim}\,}})) \hookrightarrow \text{ K}^b({{\,\textrm{hTr}\,}}({{\,\textrm{SBim}\,}}))\) to become essentially surjective even after Karoubi completion on both sides. The cuspidal sheaves should correspond to certain objects in \({{\,\textrm{Kar}\,}}(\text{ K}^b({{\,\textrm{hTr}\,}}({{\,\textrm{SBim}\,}})))\) which do not belong to the essential image of \({{\,\textrm{Kar}\,}}(\text{ K}^b({{\,\textrm{vTr}\,}}({{\,\textrm{SSBim}\,}})))\). It would be very interesting to construct cuspidal objects explicitly by Soergeltheoretic methods. See also [23, Section 1.4] and [9, 10] for a further discussion.
Data availability
All data generated or analysed during this study are included in this published article.
Notes
To compare with Morton’s conventions, note that his crossings are the negatives of ours, \(s=q^{1}\), and \(v=a\).
Note, however, that we use the opposite convention to denote grading shifts. E.g. a foam F of degree 2 maps from a shifted web \(q^k W\) to another shifted web \(q^{k2} V\).
Sometimes the shown complexes are associated to negative crossings, but we strongly prefer the convention here. For this convention, the triplygraded homology of positive torus knots satisfies a parity condition.
E.g. for the triplygraded homology, we require that L is represented as a partial braid closure.
Note that the diagram \(\lambda \) should be transposed.
We use the following convention for Rouquier complexes: for \(s\in S\).
References
Aganagic, M., Shakirov, S.: Knot homology and refined Chern–Simons index. Commun. Math. Phys. 333(1), 187–228 (2015)
Aiston, A.K.: Adams operators and knot decorations. arXiv:qalg/971101 (1997)
Aiston, A.K., Morton, H.R.: Idempotents of Hecke algebras of type \(A\). J. Knot Theory Ramif. 7(4), 463–487 (1998)
Balmer, P., Schlichting, M.: Idempotent completion of triangulated categories. J. Algebra 236(2), 819–834 (2001)
BarNatan, D.: Khovanov’s homology for tangles and cobordisms. Geom. Topol. 9, 1443–1499 (2005)
Beilinson, A., Vologodsky, V.: A DG guide to Voevodsky’s motives. Geom. Funct. Anal. 17(6), 1709–1787 (2008)
Beliakova, A., Habiro, K., Lauda, A.D., Webster, B.: Current algebras and categorified quantum groups. J. Lond. Math. Soc. (2) 95(1), 248–276 (2017)
Beliakova, A., Habiro, K., Lauda, A.D., Živković, M.: Trace decategorification of categorified quantum \(\mathfrak{sl} _2\). Math. Ann. 367(1–2), 397–440 (2017)
Bezrukavnikov, R., Tolmachov, K.: Exterior powers of a parabolic Springer sheaf. arXiv preprint arXiv:2209.01603 (2022)
Bezrukavnikov, R., Tolmachov, K.: Monodromic model for Khovanov–Rozansky homology. Journal für die reine und angewandte Mathematik (Crelle’s Journal) 2022(787), 79–124 (2022)
Blanchet, C.: An oriented model for Khovanov homology. J. Knot Theory Ramif. 19(2), 291–312 (2010)
Bökstedt, M., Neeman, A.: Homotopy limits in triangulated categories. Compos. Math. 86(2), 209–234 (1993)
Cautis, S., Kamnitzer, J., Morrison, S.: Webs and quantum skew Howe duality. Math. Ann. 360(1–2), 351–390 (2014)
Deligne, P.: Catégories tensorielles. Mosc. Math. J. 2(2), 227–248 (2002)
Ehrig, M., Tubbenhauer, D., Wedrich, P.: Functoriality of colored link homologies. Proc. Lond. Math. Soc. (3) 117(5), 996–1040 (2018)
Elias, B., Hogancamp, M.: Categorical diagonalization of full twists. arXiv:1801.00191 (2017)
Elias, B., Krasner, D.: Rouquier complexes are functorial over braid cobordisms. Homol. Homot. Appl. 12(2), 109–146 (2010)
Elias, B., Lauda, A.D.: Trace decategorification of the Hecke category. J. Algebra 449, 615–634 (2016)
Elias, B.: Gaitsgory’s central sheaves via the diagrammatic Hecke category. arXiv:1811.06188 (2018)
Elias, B., Williamson, G.: Soergel calculus. Represent. Theory 20, 295–374 (2016)
Friedlander, E.M., Suslin, A.: Cohomology of finite group schemes over a field. Invent. Math. 127(2), 209–270 (1997)
Gorbunov, V.G., Korff, Ch., Stroppel, C.: Yang–Baxter algebras, convolution algebras, and Grassmannians. Uspekhi Mat. Nauk 75(5(455)), 3–58 (2020)
Gorsky, E., Hogancamp, M., Wedrich, P.: Derived traces of Soergel categories. Int. Math. Res. Not, IMRN (2021)
Gorsky, E., Neguţ, A., Rasmussen, J.: Flag Hilbert schemes, colored projectors and Khovanov–Rozansky homology. Adv. Math. 378, Paper No. 107542, 115 (2021)
Grigsby, J.E., Licata, A.M., Wehrli, S.M.: Annular Khovanov homology and knotted Schur–Weyl representations. Compos. Math. 154(3), 459–502 (2018)
Hong, J., Touzé, A., Yacobi, O.: Polynomial functors and categorifications of Fock space. In: Symmetry: Representation Theory and Its Applications, Progr. Math., vol. 257, pp. 327–352. Birkhäuser/Springer, New York (2014)
Hong, J., Yacobi, O.: Polynomial functors and categorifications of Fock space II. Adv. Math. 237, 360–403 (2013)
Hong, J., Yacobi, O.: Polynomial representations and categorifications of Fock space. Algebr. Represent. Theory 16(5), 1273–1311 (2013)
Hunt, H., Keese, H., Licata, A., Morrison, S.: Computing annular Khovanov homology. arXiv:1505.04484 (2015)
Jones, V.F.R.: Hecke algebra representations of braid groups and link polynomials. Ann. Math. (2) 126(2), 335–388 (1987)
Khovanov., M.: \({{\mathfrak{s}}}{{\mathfrak{l}}}(3)\) link homology. Algebr. Geom. Topol. 4, 1045–1081 (2004)
Khovanov, M., Rozansky, L.: Topological Landau–Ginzburg models on the worldsheet foam. Adv. Theor. Math. Phys. 11(2), 233–259 (2007)
Lauda, A.D., Queffelec, H., Rose, D.E.V.: Khovanov homology is a skew Howe \(2\)representation of categorified quantum \({{\mathfrak{s} }}{{\mathfrak{l} }}(m)\). Algebr. Geom. Topol. 15(5), 2517–2608 (2015)
Lusztig, G.: Intersection cohomology complexes on a reductive group. Invent. Math. 75(2), 205–272 (1984)
Macdonald, I.G.: Symmetric functions and Hall polynomials. Oxford Mathematical Monographs, 2nd edn. The Clarendon Press, Oxford University Press, New York (1995). With contributions by A. Zelevinsky, Oxford Science Publications (1995)
Mackaay, M., Stošić, M., Vaz, P.: \({{\mathfrak{s} }}{{\mathfrak{l} }}_{N}\)link homology \((N\ge 4)\) using foams and the KapustinLi formula. Geom. Topol. 13(2), 1075–1128 (2009)
MacLane, S.: Categorical algebra. Bull. Am. Math. Soc. 71(1), 40–106, 01 (1965)
Morton, H.R.: Skein theory and the Murphy operators, vol. 11, pp. 475–492 (2002). Knots 2000 Korea, vol. 2 (Yongpyong)
Morton, H., Traczyk, P.: Knots and algebras. Contribuciones matemáticas en homenaje al profesor D. Antonio Plans Sanz de Bremond, pp. 201–220 (1990)
Murakami, H., Ohtsuki, T., Yamada, S.: Homfly polynomial via an invariant of colored plane graphs. Enseign. Math. (2) 44(3–4), 325–360 (1998)
Nakajima, H.: Refined Chern–Simons theory and Hilbert schemes of points on the plane. In: Perspectives in Representation Theory, Contemp. Math., vol. 610, pp. 305–331. Amer. Math. Soc., Providence (2014)
Oblomkov, A., Rozansky, L.: Knot homology and sheaves on the Hilbert scheme of points on the plane. Sel. Math. 24(3), 2351–2454 (2018)
Oblomkov, A., Rozansky, L.: Affine braid group, JM elements and knot homology. Transf. Groups 24(2), 531–544 (2019)
Oblomkov, A., Rozansky, L.: Soergel bimodules and matrix factorizations. arXiv preprint arXiv:2010.14546 (2020)
Queffelec, H., Rose, D.E.V.: The \({{\mathfrak{s} }}{{\mathfrak{l} }}_n\) foam \(2\)category: a combinatorial formulation of Khovanov–Rozansky homology via categorical skew Howe duality. Adv. Math. 302, 1251–1339 (2016)
Queffelec, H., Rose, D.E.V.: Sutured annular Khovanov–Rozansky homology. Trans. Am. Math. Soc. 370(2), 1285–1319 (2018)
Queffelec, H., Rose, D.E.V., Sartori, A.: Annular evaluation and link homology. arXiv:1802.04131 (2018)
Queffelec, H., Sartori, A.: Mixed quantum skew Howe duality and link invariants of type \(A\). J. Pure Appl. Algebra 223(7), 2733–2779 (2019)
Queffelec, H., Wedrich, P.: Khovanov homology and categorification of skein modules. Quantum Topol. 12(1), 129–209 (2021)
Ram, A.: Seminormal representations of Weyl groups and Iwahori–Hecke algebras. Proc. Lond. Math. Soc. (3) 75(1), 99–133 (1997)
Rider, L., Russell, A.: Formality and Lusztig’s generalized Springer correspondence. Algebras Represent. Theory 24(3), 699–714 (2021)
Robert, L.H., Wagner, E.: A closed formula for the evaluation of foams. Quantum Topol. 11(3), 411–487 (2020)
Rose, D.E.V., Wedrich, P.: Deformations of colored \({{\mathfrak{s} }}{{\mathfrak{l} }}(n)\) link homologies via foams. Geom. Topol. 20(6), 3431–3517 (2016)
Rouquier, R.: Categorification of \(\mathfrak{sl}_2\) and braid groups. In: Trends in Representation Theory of Algebras and Related Topics, Contemp. Math., vol. 406, pp. 137–167. Amer. Math. Soc., Providence (2006)
Solomon, L.: Invariants of finite reflection groups. Nagoya Math. J. 22, 57–64 (1963)
Solomon, L.: A decomposition of the group algebra of a finite Coxeter group. J. Algebra 9, 220–239 (1968)
Thomason, R.W.: The classification of triangulated subcategories. Compos. Math. 105(1), 1–27 (1997)
Tubbenhauer, D., Vaz, P., Wedrich, P.: Super \(q\)Howe duality and web categories. Algebr. Geom. Topol. 17(6), 3703–3749 (2017)
Turaev, V.G.: The Conway and Kauffman modules of the solid torus. Zapiski Nauchnykh Seminarov POMI 167, 79–89 (1988)
Wedrich, P.: Categorified \(\mathfrak{sl} _N\) invariants of colored rational tangles. Algebr. Geom. Topol. 16(1), 427–482 (2016)
Wedrich, P.: Exponential growth of colored HOMFLYPT homology. Adv. Math. 353, 471–525 (2019)
Wu, H.: Equivariant colored \({{\mathfrak{s}}}{{\mathfrak{l}}}(N)\)homology for links. J. Knot Theory Ramif. 21(2), 1250012, 104 (2012)
Wu, H.: A colored \({{\mathfrak{s}}}{{\mathfrak{l}}}(N)\) homology for links in \(S^3\). Dissert. Math. (Rozprawy Mat.) 499, 217 (2014)
Acknowledgements
This paper would not have happened without Jake Rasmussen, and started as a joint project with him. We would like to thank Anna Beliakova, Michael Ehrig, Ben Elias, Matt Hogancamp, Tony Licata, Scott Morrison, Andrei Neguț, Hoel Queffelec, Dave Rose, and Catharina Stroppel for useful discussions. Part of the work on this article was conducted during the program “Homology theories in low dimensional topology” at the Isaac Newton Institute for Mathematical Sciences [EPSRC Grant Number EP/K032208/1] and workshops at the American Institute of Mathematics, the Erwin Schrödinger Institute, and the Hausdorff Research Institute for Mathematics. We thank these institutions for their hospitality and excellent working conditions.
Funding
The work of E. G. was partially supported by the NSF grants DMS1700814 , DMS1760329, and the Russian Academic Excellence Project 5100. The work of E. G. in Sect. 5 was also supported by the grant RSF161110018. The work of P. W. was supported by the Leverhulme Trust [Research Grant RP2013K017] and the Australian Research Council Discovery Projects “Braid groups and higher representation theory” and “Low dimensional categories” [DP140103821, DP160103479].
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A: Some facts from homological algebra
Appendix A: Some facts from homological algebra
1.1 A.1. Thomason’s theorem
Suppose that \({\mathcal {C}}\) is a full triangulated subcategory of a triangulated category \({\mathcal {A}}\). Following Thomason [57], we say that \({\mathcal {C}}\) is dense in \({\mathcal {A}}\) if every object of \({\mathcal {A}}\) is a direct summand of an object isomorphic to an object in \({\mathcal {C}}\).
Theorem A.1
[57] Let \({\mathcal {A}}\) be a triangulated category. There is a bijective correspondence between full dense triangulated subcategories of \({\mathcal {A}}\) and the subgroups of the Grothendieck group \(K_0({\mathcal {A}})\).
Given a subgroup \(H\subset K_0({\mathcal {A}})\), the corresponding full subcategory \({\mathcal {C}}_H\) consists of objects of \({\mathcal {A}}\) with equivalence classes in H. The theorem states that \({\mathcal {C}}_H\) is actually triangulated and dense in \({\mathcal {A}}\), and all full dense triangulated subcategories appear this way.
Corollary A.2
Suppose that \({\mathcal {C}}\) is a full dense triangulated subcategory of \({\mathcal {A}}\) and \(K_0({\mathcal {C}})=K_0({\mathcal {A}})\). Then \({\mathcal {C}}={\mathcal {A}}\).
1.2 A.2. Strict idempotents
Suppose now that \({\mathcal {C}}\) is Karoubian. Suppose that we are given an idempotent endomorphism \(\epsilon : X\rightarrow X\). Then \({\overline{\epsilon }}=1\epsilon \) is also an idempotent. There is a canonical splitting
such that \(\epsilon =\textrm{id}\) on \(X_{\epsilon }\) and \(\epsilon =0\) on \(X_{{\overline{\epsilon }}}\).
Lemma A.3
Suppose that \(a:X\rightarrow Y\) is a morphism in \({\mathcal {C}}\), and X, Y have idempotent endomorphisms \(\epsilon \) (which we will denote by the same letter) such that \(a\epsilon =\epsilon a\). Then a preserves the splitting (31).
Proof
Since \({\mathcal {C}}\) is additive, a morphism between direct sums is determined by its components. It is easy to see that the components \(X_{\epsilon }\rightarrow Y_{{\overline{\epsilon }}}\) and \(X_{{\overline{\epsilon }}}\rightarrow Y_{\epsilon }\) vanish. \(\square \)
Similarly, if A is a chain complex over \({\mathcal {C}}\) and \(\epsilon :A\rightarrow A\) is an idempotent chain endomorphism of A then by Lemma A.3 we have a splitting \(A=A_{\epsilon }\oplus A_{{\overline{\epsilon }}}\). If \(f:A\rightarrow B\) is a chain map and A, B have two idempotent endomorphisms \(\epsilon :A\rightarrow A\) and \(\epsilon :B\rightarrow B\) then f preserves the splitting.
Remark A.4
Here we need to use that \(\epsilon ^2=\textrm{id}\) exactly, not up to a homotopy.
Suppose now that \({\mathcal {C}}\) is not only Karoubian, but also symmetric monoidal.
Theorem A.5
Suppose that A and B are two chain complexes over \({\mathcal {C}}\), then the following are true:

(a)
If \(f:A\rightarrow B\) is a chain map, then there is a chain map
$$\begin{aligned} {\mathbb {S}}^{\lambda }(f):{\mathbb {S}}^{\lambda }(A)\rightarrow {\mathbb {S}}^{\lambda }(B). \end{aligned}$$ 
(b)
If f and g are homotopic then \({\mathbb {S}}^{\lambda }(f)\) and \({\mathbb {S}}^{\lambda }(g)\) are homotopic

(c)
If A and B are homotopy equivalent, then so are \({\mathbb {S}}^{\lambda }(A)\) and \({\mathbb {S}}^{\lambda }(B)\).
Proof
For (a) observe that there is an \(S_n\)equivariant morphism \(f^{\otimes n}:A^{\otimes n}\rightarrow B^{\otimes n}\). Since it is \(S_n\)equivariant, it commutes with all the idempotents in \({\mathbb {C}}[S_n]\), and hence defines a map between Schur functors. For (b), observe that there is an \(S_n\)equivariant homotopy between \(f^{\otimes n}\) and \(g^{\otimes n}\), so it defines a homotopy between \({\mathbb {S}}^{\lambda }(f)\) and \({\mathbb {S}}^{\lambda }(g)\). Finally, (c) is a straightforward consequence of (b). \(\square \)
1.3 A.3. Homotopy idempotents
Recall that to any additive category \({\mathcal {K}}\), one can associate another category \({{\,\textrm{Kar}\,}}({\mathcal {K}})\) called its Karoubi completion. The objects of \({{\,\textrm{Kar}\,}}({\mathcal {K}})\) are pairs (A, e) where \(e:A\rightarrow A\) is an idempotent. A morphism between (A, e) and \((A',e')\) is a morphism \(f:A\rightarrow A'\) such that \(fe=e'f=f\). There is a natural functor \(i:{\mathcal {K}}\rightarrow {{\,\textrm{Kar}\,}}({\mathcal {K}})\) which sends A to \((A,\textrm{id}_A)\).
The following is well known (e.g. [4, Proposition 1.3]).
Proposition A.6
Let \({\mathcal {K}}\) be an additive category, let \({{\,\textrm{Kar}\,}}({\mathcal {K}})\) denote the Karoubi completion of \({\mathcal {K}}\). Then \({{\,\textrm{Kar}\,}}({\mathcal {K}})\) is additive and Karoubian. The natural functor \(i:{\mathcal {K}}\rightarrow {{\,\textrm{Kar}\,}}({\mathcal {K}})\) is additive and fully faithful.
The next theorem is the main result of [4].
Theorem A.7
[4, Theorem 1.12] Let \({\mathcal {K}}\) be a triangulated category. Then \({{\,\textrm{Kar}\,}}({\mathcal {K}})\) is also triangulated, and the natural functor \({\mathcal {K}}\rightarrow {{\,\textrm{Kar}\,}}({\mathcal {K}})\) is triangulated.
Let \({\mathcal {C}}\) be an additive category, and let \({\mathcal {K}}\) be the bounded homotopy category of \({\mathcal {C}}\).
Lemma A.8
Let A be an object in \({\mathcal {K}}\) with an idempotent endomorphism represented by a chain map \(p:A\rightarrow A\)—in other words, \(p^2\) is homotopic to p. For all odd \(n\ge 1\) there exist objects \(P_n,Q_n\) in \({\mathcal {K}}\) such that \(P_n\oplus Q_n\simeq A\oplus A[n]\), where p acts as the identity on \(P_n\) and by zero on \(Q_n\).
Proof
We construct \(P_n\) and \(Q_n\) inductively. For \(n=1\) let \(P_1:={{\,\textrm{Cone}\,}}(1p)\) and \(Q_1:={{\,\textrm{Cone}\,}}(p)\). It is easy to see that they satisfy the desired properties.
Assume that we constructed \(P_n\) and \(Q_n\). We will construct \(P_{n+2}\) and \(Q_{n+2}\) as cones \(P_{n+2}={{\,\textrm{Cone}\,}}[P_1[n]\xrightarrow {f_n} P_{n}]\) and \(Q_{n+2}={{\,\textrm{Cone}\,}}[Q_1[n]\xrightarrow {g_n} Q_n]\) for certain chain maps \(f_n\) and \(g_n\), which we will also construct.
Let us embed \({\mathcal {K}}\) into its Karoubi completion \({{\,\textrm{Kar}\,}}({\mathcal {K}})\). By Theorem A.7 the latter is triangulated. Since A has a homotopy idempotent p, we can split \(A\simeq P'\oplus Q'\) for some objects \(P',Q'\) in \({{\,\textrm{Kar}\,}}({\mathcal {K}})\) such that p acts by 1 on \(P'\) and by 0 on \(Q'\). Now
Similarly, \(Q_1\simeq Q'\oplus Q[1]\). Observe that in \({{\,\textrm{Kar}\,}}({\mathcal {K}})\) there is a chain map \(f_1:P_1[1]\rightarrow P_1\) such that \({{\,\textrm{Cone}\,}}(f_1)\simeq P'\oplus P'[3]\). Since the embedding \({\mathcal {K}}\rightarrow {{\,\textrm{Kar}\,}}({\mathcal {K}})\) is fully faithful, the map \(f_1\) is well defined in \({\mathcal {K}}\), and we can define \(P_3:={{\,\textrm{Cone}\,}}(f_1)\). Similarly, if we already defined \(P_n\simeq P'\oplus P'[n]\) then in \({{\,\textrm{Kar}\,}}({\mathcal {K}})\) there is a chain map \(f_n: P_1[n]\rightarrow P_n\) such that
Again, since the embedding is fully faithful the map \(f_n\) (and hence \(P_{n+2}\)) is well defined in \({\mathcal {K}}\).
Analogously, one can define \(Q_n\) such that \(Q_n\simeq Q'\oplus Q'[n]\) in \({{\,\textrm{Kar}\,}}({\mathcal {K}})\). Then \(P_n\oplus Q_n\simeq A\oplus A[n]\). \(\square \)
Remark A.9
One can write
Since \(p(1p)\) vanishes up to homotopy, one can hope that the above sequences can be lifted to actual complexes by adding higher differentials. It is proved in [12, Propositions 3.1 and 3.2] that this construction is unobstructed.
Theorem A.10
The bounded homotopy category of a Karoubian category is Karoubian.
Proof
As above, let \({\mathcal {C}}\) be a Karoubian category and \({\mathcal {K}}\) its bounded homotopy category. Suppose that A is a complex in \({\mathcal {K}}\) with a homotopy idempotent p, we need to prove that A splits.
Since A is bounded, we can pick a large enough odd positive integer n such that A and A[n] are supported in nonoverlapping homological degrees. By Lemma A.8, one can decompose \(A\oplus A[n]\simeq P\oplus Q\) where p is homotopic to identity on P and to 0 on Q. Let us pick some homological degree i such that A is supported in degrees strictly smaller than i and A[n] is supported in degrees strictly bigger than i. Then \((A\oplus A[n])^i=0\).
Let h be a homotopy between p and identity on P. Since \((A\oplus A[n])^i=0\) we get \(dh^i+h^{i+1}d=1\) as endomorphisms of \(P^i\). Let \(q=dh^i\) and \(q'=h^{i+1}d\), then \(q+q'=1\), \(q^2=dh^idh^i=(dh^i+h^{i+1}d)dh^i=dh^i=q\) and similarly \((q')^2=q'\). Therefore q and \(q'\) are orthogonal idempotents acting on \(P^i\), so (since \({\mathcal {C}}\) is Karoubian) we can rewrite \(P^i=(P^i)'+(P^i)''\).
Moreover, we can split P into two parts: \(P'=P^{<i}\rightarrow (P^i)'\), and \(P''=(P^i)''\rightarrow P^{>i}\). The same splitting works for Q. It is now easy to see that the map \(h^{<i}\) induces a homotopy between \((A\oplus A[n])^{\le i}=A\) and \(P'\oplus Q'\). \(\square \)
Remark A.11
Similarly to [4], one can instead deduce Theorem A.10 from Theorem A.7 and Theorem A.1. The proof presented here is slightly more explicit, following Proposition 1.5.6(iii) of [6].
1.4 A.4. Schur functors in homotopy categories
Proposition A.12
Let \({\mathcal {C}}\) be a Karoubian monoidal category and let \({\mathcal {K}}\) be its homotopy category. Suppose that (E, s) is selfcommuting in the sense of Remark 3.7. Then the Schur functors \({\mathbb {S}}^{\lambda }(E)\) are well defined up to homotopy equivalence.
Proof
By the assumption, there is an action of \(S_n\) on \(E^{\otimes n}\). If \({\textbf{e}}_{\lambda }\) is an idempotent in \({\mathbb {C}}[S_n]\) then by Theorem A.10 there exists a splitting \(E^{\otimes n}\simeq {\mathbb {S}}^{\lambda }(E)\oplus E'\) where \({\textbf{e}}_{\lambda }\) acts by identity on \({\mathbb {S}}^{\lambda }(E)\) and by 0 on \(E'\). This splitting is unique up to isomorphism in \({\mathcal {K}}\). Since \(\{{\textbf{e}}_{\lambda }\}\) form an orthogonal system of idempotents, it is easy to see that \(E^{\otimes n}\simeq \bigoplus _{\lambda =n}{\mathbb {S}}^{\lambda }(E)\). \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gorsky, E., Wedrich, P. Evaluations of annular Khovanov–Rozansky homology. Math. Z. 303, 25 (2023). https://doi.org/10.1007/s00209022031639
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00209022031639