Categorification in Representation TheoryView this Special Issue
Research Article | Open Access
Pedro Vaz, "The Diagrammatic Soergel Category and and Foams", International Journal of Mathematics and Mathematical Sciences, vol. 2010, Article ID 612360, 23 pages, 2010. https://doi.org/10.1155/2010/612360
The Diagrammatic Soergel Category and and Foams
We define two functors from Elias and Khovanov's diagrammatic Soergel category, one targeting Clark-Morrison-Walker's category of disoriented cobordisms and the other targeting the category of (universal) foams.
The Soergel category provides a categorification of the Hecke algebra and was used by Khovanov in  to construct a triply-graded link homology categorifying the HOMFLYPT polynomial. Elias and Khovanov constructed in  a category defined diagrammatically by generators and relations and showed it to be equivalent to .
This paper can be seen as a first step towards the construction of a family of functors between and the categories of -foams for all , to be completed in a subsequent paper . The functors and are not faithful. In  we will extend the construction of these functors to all . The whole family of functors is faithful in the following sense: if for a morphism in we have for all , then . With these functors one can try to give a graphical interpretation of Rasmussen’s  spectral sequences from the HOMFLYPT link homology to the -link homologies.
The plan of the paper is as follows. In Section 2 we give a brief description of Elias and Khovanov’s diagrammatic Soergel category. In Section 3 we describe the category of foams and construct a functor from to . Finally in Section 4 we give the analogue of these results for the case of foams.
2. The Diagrammatic Soergel Category Revisited
This section is a reminder of the diagrammatics for Soergel categories introduced by Elias and Khovanov in . Actually we give the version which they explained in [4, Section ] and which can be found in detail in .
Fix a positive integer . The category is the category whose objects are finite length sequences of points on the real line, where each point is colored by an integer between and . We read sequences of points from left to right. Two colors and are called adjacent if and distant if . The morphisms of are given by generators modulo relations. A morphism of is a -linear combination of planar diagrams constructed by horizontal and vertical gluings of the following generators (by convention no label means a generic color ). (i) Generators involving only one color are as follows: It is useful to define the cap and cup as (ii) Generators involving two colors are as follows: - The 4-valent vertex, with distant colors, - and the 6-valent vertex, with adjacent colors and read from bottom to top. In this setting a diagram represents a morphism from the bottom boundary to the top. We can add a new colored point to a sequence and this endows with a monoidal structure on objects, which is extended to morphisms in the obvious way. Composition of morphisms consists of stacking one diagram on top of the other.
We consider our diagrams modulo the following relations.
The relations are presented in terms of diagrams with generic colorings. Because of isotopy invariance, one may draw a diagram with a boundary on the side, and view it as a morphism in by either bending the line up or down. By the same reasoning, a horizontal line corresponds to a sequence of cups and caps.
One Color Relations.
Two Distant Colors.
Two Adjacent Colors.
Relations Involving Three Colors: (Adjacency is determined by the vertices which appear)
Introduce a -grading on declaring that dots have degree , trivalent vertices have degree and -, and -valent vertices have degree .
Definition 2.1. The category is the category containing all direct sums and grading shifts of objects in and whose morphisms are the grading-preserving morphisms from .
Definition 2.2. The category is the Karoubi envelope of the category .
Elias and Khovanov’s main result in  is the following theorem.
Theorem 2.3 (Elias-Khovanov). The category is equivalent to the Soergel category in .
From Soergel’s results from  we have the following corollary.
Corollary 2.4. The Grothendieck algebra of is isomorphic to the Hecke algebra.
Notice that is an additive category but not abelian and we are using the (additive) split Grothendieck algebra.
In Sections 3 and 4 we will define functors from to the categories of and foams. These functors are grading preserving, so they obviously extend uniquely to . By the universality of the Karoubi envelope, they also extend uniquely to functors between the respective Karoubi envelopes.
3. The Case
3.1. Clark-Morrison-Walker’s Category of Disoriented Foams
In this subsection we review the category of foams following Clark et al. construction in . This category was introduced in  to modify Khovanov’s link homology theory making it properly functorial with respect to link cobordisms. Actually we will use the version with dots of Clark-Morrison-Walker’s original construction in . Recall that we obtain one from the other by replacing each dot by times a handle.
A disoriented arc is an arc composed by oriented segments with oppositely oriented segments separated by a mark pointing to one of these segments. A disoriented diagram consists of a collection of disoriented arcs in the strip in bounded by the lines containing the boundary points of . We allow diagrams containing oriented and disoriented circles. Disoriented diagrams can be composed vertically, which endows with a monoidal structure on objects. For example, the diagrams and for () are disoriented diagrams:
A disoriented cobordism between disoriented diagrams is a cobordism which can be decorated with dots and with seams separating differently oriented regions and such that the vertical boundary of each cobordism is a set (possibly empty) of vertical lines. Disorientation seams can have one out of two possible orientations which we identify with a fringe. We read cobordisms from bottom to top. For example, is a disoriented cobordism from to .
Cobordism composition consists of placing one cobordism on top of the other and the monoidal structure is given by vertical composition which corresponds to placing one cobordism behind the other in our pictures. Let be the ring of polynomials in with coefficients in .
Definition 3.1. The category is the category whose objects are disoriented diagrams, and whose morphisms are -linear combinations of isotopy classes of disoriented cobordisms, modulo some relations: (i) the disorientation relations where is the imaginary unit, (ii) and the Bar-Natan (BN) relations which are only valid away from the disorientations.
The universal theory for the original Khovanov homology contains another parameter , but we have to put in the Clark-Morrison-Walker’s cobordism theory over a field of characteristic zero. Suppose that we have a cylinder with a transversal disoriented circle. Applying on one side of the disorientation circle followed by the disoriented relation gives a cobordism that is independent of the side chosen to apply only if over a field of characteristic zero.
Define a -grading on by and . We introduce a -grading on as follows. Let be a cobordism with dots and vertical boundary components. The -grading of is given by where is the Euler characteristic. For example, the degree of a saddle is while the degree of a cap or a cup is . The category is additive and monoidal. More details about can be found in .
3.2. The Functor
In this subsection we define a monoidal functor between the categories and .
On Objects. sends the empty sequence to and the one-term sequence to with given by the vertical composite .
On Morphisms (i) The empty diagram is sent to parallel vertical sheets: (ii) The vertical line colored is sent to the identity cobordism of : The remaining vertical parallel sheets on the r.h.s. are not shown for simplicity, a convention that we will follow from now on. (iii) The StartDot and EndDot morphisms are sent to saddle cobordisms: (iv) Merge and Split are sent to cup and cap cobordisms: (v) The 4-valent vertex with distant colors is given as follows. For we have The case is given by reflection in a horizontal plane. (vi) The 6-valent vertices are sent to zero:
Notice that respects the gradings of the morphisms. Taking the quotient of by the 6-valent vertex gives a diagrammatic category categorifying the Temperley-Lieb algebra. According to  relations and can be replaced by a single relation in . The functor descends to a functor between and .
Proposition 3.2. is a monoidal functor.
Proof. The assignment given by clearly respects the monoidal structures of and . So we only need to show that is a functor, that is, it respects the relations to of Section 2.
Relations to are straightforward to check and correspond to isotopies of their images under which respect the disorientations. Relation is automatic since sends all terms to zero. For the sake of completeness we show the first equality in . We have
One Color Relations
For relation we have where the first equivalence follows from relations and and the second from isotopy of the cobordisms involved.
For relation we have
Relation requires some more work. We have where the second equality follows from the disoriented relation and the third follows from the BN relation . We also have and therefore We thus have that
Two Distant Colors
Relations to correspond to isotopies of the cobordisms involved and are straightforward to check.
We prove the case where “blue” corresponds to and “red” corresponds to . The relations with colors reversed are proved the same way. To prove relation we first notice that which means that
On the other side we have which, using isotopies and the disorientation relation twice, can be seen to be equivalent to which equals
This implies that
We now prove relation . We have isotopy equivalences Therefore we see that
The functor sends both sides of relation to zero and so there is nothing to prove here. To prove relation we start with the equivalence which is a consequence of the neck-cutting relation and the disorientation relations and . We also have
Comparing with and and using the disoriented relation