\documentclass[JEP,XML,SOM,Unicode,NoFloatCountersInSection]{cedram}
\datereceived{2018-07-13}
\dateaccepted{2020-03-16}
\dateepreuves{2020-03-30}

\usepackage{mathrsfs}
\let\mathcal\mathscr
\multlinegap0pt
\let\epsilon\varepsilon
\let\<\langle
\let\>\rangle
\newcommand\mto{\mathchoice{\longmapsto}{\mapsto}{\mapsto}{\mapsto}}
\newcommand\hto{\mathrel{\lhook\joinrel\to}}
\newcommand\ltwoheadrightarrow{\longrightarrow\hspace*{-5mm}\longrightarrow}
\let\oldtwoheadrightarrow\twoheadrightarrow
\renewcommand \twoheadrightarrow{\mathchoice{\ltwoheadrightarrow}{\oldtwoheadrightarrow}{\oldtwoheadrightarrow}{\oldtwoheadrightarrow}}
\newcommand{\To}[1]{\mathchoice{\xrightarrow{\scriptstyle\kern4pt#1\kern3pt}}{\stackrel{#1}{\longrightarrow}}{}{}}
\newcommand{\TO}[1]{\mathchoice{\xrightarrow{\textstyle\kern4pt#1\kern3pt}}{\stackrel{#1}{\longrightarrow}}{}{}}

\newcommand{\Changel}{\mathcode`l="7160}
\newcommand{\Changelback}{\mathcode`l="716C}
\newcommand{\NoChangel}[1]{%
\expandafter\let\csname old\string#1\endcsname=#1
\let#1=\relax
\newcommand{#1}{{\mathcode`l="716C\csname old\string#1\endcsname\mathcode`l="7160} }%
}

\renewcommand{\bot}{\mathrm{bot}}
\newcommand{\cl}{\mathrm{cl}}
\newcommand{\col}{\mathrm{col}}
\newcommand{\ren}{\mathrm{en}}
\newcommand{\Gr}{\mathrm{Gr}}
\newcommand{\rob}{\mathrm{ob}}
\newcommand{\opp}{\mathrm{opp}}
\newcommand{\rrot}{\mathrm{rot}}
\renewcommand{\top}{\mathrm{top}}
\newcommand{\bP}{\boldsymbol{P}}
\newcommand{\bx}{\boldsymbol{x}}
\newcommand{\frS}{\mathfrak{S}}
\newcommand{\sfC}{\mathsf{C}}
\newcommand{\sfmod}{\mathsf{mod}}

\NoChangel{\cl}
\NoChangel{\col}
\NoChangel{\log}
\NoChangel{\ln}
\NoChangel{\lim}
\NoChangel{\limsup}
\NoChangel{\liminf}
\NoChangel{\varlimsup}
\NoChangel{\varliminf}
\NoChangel{\varinjlim}
\NoChangel{\varprojlim}

\newcommand{\sbullet}{{\scriptscriptstyle\bullet}}
\newcommand{\cbullet}{{\raisebox{1pt}{$\sbullet$}}}

\usepackage{array,tikz,color}
\usetikzlibrary{arrows}
\usetikzlibrary{decorations.markings}
\usetikzlibrary{decorations}
\usetikzlibrary{patterns}
\usetikzlibrary{matrix}
\usepackage{tikz-3dplot}
\newcommand{\imagesfolder}{robert-wagner_images}
\input{\imagesfolder/digon}
\input{\imagesfolder/assoc}
\input{\imagesfolder/square}

\tikzset{>=latex}
\tikzset{->-/.style={decoration={
markings,
mark=at position .5 with {\arrow{>}}},postaction={decorate}}}
\tikzset{-<-/.style={decoration={
markings,
mark=at position .5 with {\arrow{<}}},postaction={decorate}}}

\newcounter {res}[section]
\numberwithin{res}{section}
\newtheorem{thm}[res]{Theorem}
\newtheorem*{theo}{Theorem}
\newtheorem*{ques}{Question}
\newtheorem*{claim}{Claim}
\newtheorem{lem}[res]{Lemma}
\newtheorem{prop}[res]{Proposition}
\newtheorem{cor}[res]{Corollary}
\newtheorem{que}[res]{Question}
\theoremstyle{definition}
\newtheorem{notation}[res]{Notation}
\newtheorem{dfn}[res]{Definition}
\newtheorem{rmk}[res]{Remark}
\newtheorem{exa}[res]{Example}
\newtheorem{exo}[res]{Exercise}
\newtheorem{cjc}[res]{Conjecture}

\newcommand{\gll}{\ensuremath{\mathfrak{gl}}}\NoChangel{\gll}
\newcommand{\sll}{\ensuremath{\mathfrak{sl}}}\NoChangel{\sll}

\newcommand{\NN}{\ensuremath{\mathbb{N}}}
\newcommand{\ZZ}{\ensuremath{\mathbb{Z}}}
\newcommand{\CC}{\ensuremath{\mathbb{C}}}
\newcommand{\QQ}{\ensuremath{\mathbb{Q}}}
\newcommand{\Col}{\ensuremath{\mathbb{P}}}
\newcommand{\RR}{\ensuremath{\mathbb{R}}}
\renewcommand{\SS}{\ensuremath{\mathbb{S}}}

\newcommand{\SP}[1]{\ensuremath{R_{#1}}}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\id}{Id}\let\Id\id
\DeclareMathOperator{\Ker}{Ker}
\DeclareMathOperator{\Sym}{Sym}

\newcommand{\du}{\ensuremath{\boldsymbol{\bigsqcup}}}
\newcommand{\rY}{\ensuremath{\rotatebox[origin=c]{180}{\NB{$Y$}}}}
\newcommand{\rk}{\mathrm{rk}}
\newcommand{\listk}[1]{\ensuremath{\underline{#1}}}
\newcommand{\degext}{\ensuremath{\deg^{\Lambda}}}
\newcommand{\degD}{\ensuremath{\deg^{D}}}
\newcommand{\degR}{\ensuremath{\deg^{r}}}
\newcommand{\degT}{\ensuremath{\deg^{T}}}

\newcommand{\CS}{\mathcal{C}}
\newcommand{\FS}{\mathcal{F}}
\newcommand{\IS}{\mathcal{I}}
\newcommand{\PS}{\mathcal{P}}
\newcommand{\US}{\mathcal{U}}
\newcommand{\ann}{\ensuremath{\mathcal{A}}}
\newcommand{\Vin}{\ensuremath{\mathcal{V}}}
\newcommand{\syf}{\ensuremath{\mathcal{S}}}
\newcommand{\FA}{\mathcal{T}}
\newcommand{\BS}{\ensuremath{\mathcal{B}}}
\newcommand{\IE}{\ensuremath{\FS_\infty}}
\newcommand{\IED}{\ensuremath{\FS^D_\infty}}
\newcommand{\IET}{\ensuremath{\FS^T_\infty}}

\newcommand{\NB}[1]{\ensuremath{\vcenter{\hbox{#1}}}}
\newcommand{\Xing}{\NB{\scalebox{1.3}{\ensuremath{\times}}}}

\newcommand{\HH}{\ensuremath{H\!\!H}}
\newcommand{\HN}{\ensuremath{H\!\!N}}
\newcommand{\HT}{\ensuremath{H\!T}}
\newcommand{\HNT}{\ensuremath{H\!\!N\!T}}
\newcommand{\KH}{\ensuremath{K\!\!H}}

\def\co{\colon\thinspace}
\let\pipi\pi
\newcommand\eqdef{\ensuremath{\stackrel{\textrm{def}}{=}}}

\newcommand\kup[1]{\left\langle #1 \right\rangle}
\newcommand\bkup[1]{\bigl\langle #1 \bigr\rangle}

\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{MnLargeSymbols}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{MnLargeSymbols}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
<-6> MnSymbolE5
<6-7> MnSymbolE6
<7-8> MnSymbolE7
<8-9> MnSymbolE8
<9-10> MnSymbolE9
<10-12> MnSymbolE10
<12-> MnSymbolE12
}{}
\DeclareFontShape{OMX}{MnSymbolE}{b}{n}{
<-6> MnSymbolE-Bold5
<6-7> MnSymbolE-Bold6
<7-8> MnSymbolE-Bold7
<8-9> MnSymbolE-Bold8
<9-10> MnSymbolE-Bold9
<10-12> MnSymbolE-Bold10
<12-> MnSymbolE-Bold12
}{}

\makeatletter
\let\llangle\@undefined
\let\rrangle\@undefined
\DeclareMathDelimiter{\llangle}{\mathopen}
{MnLargeSymbols}{'164}{MnLargeSymbols}{'164}
\DeclareMathDelimiter{\rrangle}{\mathclose}
{MnLargeSymbols}{'171}{MnLargeSymbols}{'171}
\makeatother
\newcommand\kups[1]{\left\llangle #1 \right\rrangle_N}
\newcommand\kupss[1]{\left\llangle #1 \right\rrangle}
\newcommand{\TL}{\ensuremath{\mathsf{TLF}}}
\newcommand{\DLF}{\ensuremath{\mathsf{DLF}}}
\newcommand{\BimS}{\ensuremath{\mathsf{BimS}}}
\newcommand{\Foam}{\ensuremath{\mathsf{Foam}}}
\newcommand{\qbina}[2]{\ensuremath
\begin{bmatrix}
#1 \\
#2
\end{bmatrix}
}
\newcommand{\qbinil}[2]{\ensuremath
\left[\begin{smallmatrix}
#1 \\
#2
\end{smallmatrix} \right]
}
\newcommand{\qbin}[2]{\ensuremath
\begin{bmatrix}
#1 + #2 \\
#1 \quad #2
\end{bmatrix}
}

\begin{document}
\frontmatter
\title{Symmetric Khovanov-Rozansky link homologies}

\author[\initial{L.-H.} \lastname{Robert}]{\firstname{Louis-Hadrien} \lastname{Robert}}
\address{Université de Genève\\
2--4 rue du lièvre, 1227 Genève, Switzerland\\
Cogitamus Laboratory}
\email{louis-hadrien.robert@unige.ch}
\urladdr{https://www.unige.ch/math/folks/robert/}

\author[\initial{E.} \lastname{Wagner}]{\firstname{Emmanuel} \lastname{Wagner}}
\address{Univ Paris Diderot, IMJ-PRG, UMR 7586 CNRS\\
F-75013, Paris, France\\
Université de Bourgogne Franche-Comté, IMB, UMR 5584\\
21000 Dijon, France\\
Cogitamus Laboratory}
\email{emmanuel.wagner@imj-prg.fr}
\urladdr{http://wagner.perso.math.cnrs.fr/index.html/}

\thanks{The authors thank the Newton Institute for Mathematical Sciences, the University of Burgundy and Marie Fillastre for their logistical support. L.-H.~R. was supported by SwissMAP}

\begin{abstract}
We provide a finite-dimensional categorification of the symmetric evaluation of $\mathfrak{sl}_N$-webs using foam technology. As an output we obtain a symmetric link homology theory categorifying the link invariant associated to symmetric powers of the standard representation of $\mathfrak{sl}_N$. The construction is made in an equivariant setting. We prove also that there is a spectral sequence from the Khovanov-Rozansky triply graded link homology to the symmetric one and provide along the way a foam interpretation of Soergel bimodules.
\end{abstract}

\subjclass{57R56, 57M27, 17B10, 17B37}

\keywords{Link homology, quantum invariant, foams, Soergel bimodules}

\altkeywords{Homologie d'entrelacs, invariant quantiques, mousses, bimodules de Soergel}

\alttitle{Homologies d'entrelacs de Khovanov--Rozansky symétriques}

\begin{altabstract}
On donne une catégorification de l'évaluation symétrique des toiles $\mathfrak{sl}_N$ en utilisant les mousses. On en déduit des théories homologiques d'entrelacs qui catégorifient les invariants quantiques d'entrelacs associés aux puissances symétriques de la représentation standard de $\mathfrak{sl}_N$. Ces théories sont obtenues dans un cadre équivariant. On montre qu'il existe des suites spectrales de l'homologie triplement graduée de Khovanov-Rozansky vers ces homologies symétriques. On donne aussi une interpretation des bimodules de Soergel en terme de mousses.
\end{altabstract}

\maketitle
\tableofcontents
\mainmatter
\Changel

\section{Introduction}
\label{sec:introduction}

In \cite{RW1}, we provided a combinatorial evaluation of the foams underlying the (exterior) colored Khovanov-Rozansky link homologies \cite{zbMATH05278251, zbMATH05343986, zbMATH05656519, MR2710319, MR2491657, pre06302580, yonezawa2011}. See \cite{MR3787560} for an overview. This formula was the keystone to provide a down-to-earth treatment of these homologies, completely similar to the one in Khovanov's original paper \cite{MR2124557} or in his $\sll_3$ paper \cite{MR2100691}. Immediate consequences of this formula were used by Ehrig-Tubbenhauer-Wedrich \cite{FunctorialitySLN} to prove functoriality of these homologies.

The present paper grew up as an attempt to provide a similar formula for foams underlying link homologies categorifying the Reshetikhin-Turaev invariants of links corresponding to symmetric powers of the standard representation of quantum $\sll_N$. Providing manageable definitions of these link homologies is one of the keys of the program aiming at categorifying quantum invariants of $3$-manifolds.

The first such link homologies were provided by Khovanov for the colored Jones polynomial \cite{MR2124557} (see as well \cite{MR2462446}). There are nowadays many definitions of link homologies, \eg using categorified projectors \cite{SSWenzl, FSS, CKWenzl, RWenzl, CautisClasp, CH} or using spectral sequences \cite{MR3709661} (see below for more details concerning this last one). They also fit in the higher representations techniques developed by Webster \cite{2013arXiv1309.3796W}.

In addition, it has been conjectured in \cite{GGS} that there exist symmetries between the categorification of Reshetikhin-Turaev invariants arising from exterior powers and symmetric powers of the standard representation of quantum $\sll_N$. It has been proved by Tubbenhauer-Vaz-Wedrich at a decategorified level \cite{tubbenhauer2015super}. Moreover the work of Rose-Tubbenhauer \cite{RoseTub}, Queffelec-Rose \cite{QueffelecRoseAnnular2017} and Queffelec-Rose-Sartori \cite{InPrep} made clear that the planar graphical calculus underlying the description of the symmetric powers of the standard representation of quantum $\sll_N$ is for a large part similar to the one for to the exterior powers. In the exterior case it was developed by Murakami-Ohtsuki-Yamada~\cite{MR1659228} (called in this paper the \emph{exterior} MOY calculus). Queffelec, Rose and Sartori proved that the invariants only differ by the initializations on colored circles \cite{QueffelecRoseAnnular2017, InPrep}. They work in an annular setting. We call it the \emph{symmetric} MOY calculus.

An attentive reader may have noticed that we spoke about an attempt. Let us explain why one cannot provide such a formula in the symmetric case at the level of generality we had in \cite{RW1} and therefore need to restrict the setup.

Foams are 2-dimensional CW-complexes which are naturally cobordisms between trivalent graphs (see below for an example).
The closed formula of \cite{RW1} provided a singular TQFT using the universal construction \cite{MR1362791}. In this construction a facet of the foam is decorated with elements of a Frobenius algebra which is attached to the circle colored with the same color. Since the work of Bar-Natan and Khovanov the existence of the non-degenerate pairing on the algebra is rephrased in a topological type relation, known as the neck-cutting relation. Moreover, the TQFT feature also forces the evaluation of a planar graph times a circle to be the dimension of the vector space, the universal construction associates to the planar graph. We emphasized in \cite{RW1} that if such a construction works, not only circles are associated Frobenius algebras but all planar graphs which have a symmetry axis. In addition, the co-unit, for degree reasons, should be non-zero only on the maximal degree elements. All the previous properties would be forced if one could obtain a closed formula providing a categorification of the symmetric MOY calculus. Elementary computations show that a functor categorifying the symmetric MOY calculus cannot satisfy such properties essentially for degree reasons.

This is why we work in an annular setting. The drawback is that we cannot deal with general link diagrams. The benefit is that we can use part of the technology developed by Queffelec-Rose~\cite{QueffelecRoseAnnular2017}. We obtain an evaluation in this restricted case and apply a restricted universal construction to obtain the following result:

\begin{theo}
There exists a finite-dimensional categorification of the symmetric MOY calculus yielding a categorification of the Reshetikhin-Turaev invariants of links corresponding to symmetric powers of the standard representation of quantum $\sll_N$.
\end{theo}

We call these link homologies \emph{symmetric} (colored) Khovanov-Rozansky link homologies. The construction applies in particular to the case where the representation is the standard representation of quantum $\sll_N$. As shown on an example (Section~\ref{sec:an-example-comp}), it provides in this case a different categorification of the (uncolored)-$\sll_N$-link invariants than those of Khovanov and Khovanov-Rozansky. This observation is due to Queffelec-Rose-Sartori;
actually they discuss in \cite{InPrep} how the annular link homologies constructed by Queffelec and Rose in \cite{QueffelecRoseAnnular2017} can be specialized to be invariant under Reidemeister I and give link invariants in the 3-sphere.

Whereas the definition of the link homologies can be made only using the language of foams and symmetric polynomial, the proof of invariance at the moment requires a more algebraic treatment. This algebraic treatment uses Soergel bimodules and makes explicit the comparison with the work of Cautis \cite{MR3709661}.\footnote{This strategy of proof was discussed with H. Queffelec and D. Rose.} Cautis constructs a differential $d_N$ on the Hochschild homology of Soergel bimodules compatible with the differential of the Rickard complex such that the total homology provides a categorification of Reshetikhin-Turaev invariants of links corresponding to symmetric powers of the standard representation of quantum $\sll_N$. We provide here an explicit version of the additional differential in an equivariant setting. The non-equivariant case is studied by Cautis~\cite{MR3709661} and investigate by Queffelec-Rose-Sartori~\cite{InPrep}. Hence, one consequence of our proof of invariance is the following.

\begin{theo}
There exists a spectral sequence whose first page is isomorphic to the (unreduced) colored triply graded link homology converging to the symmetric Khovanov-Rozansky link homologies.
\end{theo}

We would like to stress that one can also see on the same picture the spectral sequences converging to the (exterior) colored Khovanov-Rozansky link homology \cite{MR3447099, 2016arXiv160202769W}. Hence in some sense the only differential missing from the perspective of the work of Dunfield-Gukov-Rasmussen is $d_0$ which seems to be tackled by Dowlin \cite{2017arXiv170301401D}.

The definition of the link homologies in this paper, starts with the links presented as closures of braids, hence regarding functoriality questions it only makes sense to consider braid-like movie moves.
It is an immediate consequence of our definitions and the work of Ehrig-Tubbenhauer-Wedrich concerning functoriality of the (exterior) colored Khovanov-Rozansky link homologies that the following holds.

\begin{theo}
The symmetric Khovanov-Rozansky link homologies are functorial with respect to braid-like movie moves.
\end{theo}

One very important feature it that our construction works in an equivariant setting and will allow with a little more work to define Rasmussen type invariants for braids. In another direction, the fact that we are restricted to braid closures naturally suggest that one will obtain Morton-Franks-Williams type inequalities in this case (see Wu \cite{WuMFW}). The interactions between the two previous directions seem to us worth pursuing.

To conclude, the construction is done over rationals and we think the following question deserves attention.

\begin{ques}
Can one make the content of this paper work over integers?
\end{ques}

The main obstruction so far is that in our proof of invariance we need to invert~$2$, just like for the stabilization in the triply graded homology~\cite{1203.5065, MR3687104}. The strategy adopted by Krasner~\cite{MR2726290} might be a starting point.

\subsubsection*{Outline of the paper} The paper is divided as follows. In the Section~\ref{sec:moy-graphs} we develop the symmetric MOY calculus. In the Section~\ref{sec:foams} we provide the needed definitions of the restricted class of foams we will be working with: disk-like and vinyl foams. We~also give an overview on foams and the closed formula of \cite{RW1}. In Section~\ref{sec:soergel-bimodules-1} we~explain how to think of Soergel bimodules as spaces of disk-like foams and part of their homologies as vinyl foams. In Section~\ref{sec:one-quotient-two} we define an evaluation of vinyl foams, providing a categorification of the symmetric MOY calculus. The rest of the section is devoted to rephrasing it in terms of an additional differential on the Hochschild homology of Soergel bimodules. The algebraic description is used in Section~\ref{sec:link-homologies} to prove the invariance of the link homologies. The link homologies are constructed using the well-known Rickard complexes.

There are as well three appendices. The first one deals with the representation theory of quantum $\gll_N$. The second is a reminder on Koszul resolutions and
contains some technical homological lemmas. The third one present some inspiring algebraic geometry.

\subsubsection*{Acknowledgements}
The authors thank Christian Blanchet, François Costantino, Hoel Queffelec, David Rose and Paul Wedrich for interesting discussions and Mikhail Khovanov and Daniel Tubbenhauer for their comments on a previous version of this work. We thank the referees for their numerous remarks which helped us to improve the paper exposition.

\section{MOY graphs}
\label{sec:moy-graphs}

\begin{dfn}[\cite{MR1659228}]
\label{dfn:abstractMOYgraph}
An \emph{abstract MOY graph} is a finite oriented graph $\Gamma = (V_\Gamma,E_\Gamma)$ with a labeling of its edges : $\ell : E_\Gamma \to \NN_{>0}$ such that:
\begin{itemize}
\item the vertices are either univalent (we call this subset of vertices the \emph{boundary} of~$\Gamma$ and denote it by $\partial\Gamma$) or trivalent (these are the \emph{internal vertices}),
\item the flow given by labels and orientations is preserved along
the trivalent vertices, meaning that every trivalent vertex follows one of the two models (\emph{merge} and \emph{split} vertices) drawn here.\vspace*{-5pt}\enlargethispage{\baselineskip}%
\[
\tikz{\input{\imagesfolder/sym_MOYvertex}}\vspace*{-5pt}
\]
\end{itemize}
The univalent vertices are either sinks or sources. We call the first \emph{positive boundary points} and the later \emph{negative boundary points}.
\end{dfn}

\skpt
\begin{rmk}
\label{rmk:0edgebigsmall}
\begin{enumerate}
\item Sometimes it will be convenient to allow edges labeled by $0$. However, this edges should be thought as ``irrelevant''. We simply delete them to recover the original definition.
\item Each internal vertex has three adjacent edges. The label of one of these edges is strictly greater than the other two. This edge is called the \emph{big} edge relative to this vertex. The two other edges are called the \emph{small} edges relative to this vertex.
\end{enumerate}
\end{rmk}

\begin{dfn}
\label{dfn:MOY}
A \emph{MOY graph} is the image of an abstract MOY graph $\Gamma$ by a smooth embedding
in the $[0,1] \times [0,1]$ such that:
\begin{itemize}
\item All the oriented tangent lines at vertices are equal.\footnote{In pictures which follows we may forget about this technical condition, since it is clear that we can always deform the embedding locally so that this condition is fulfilled.}\vspace*{-5pt}
\[
\tikz{\input{\imagesfolder/sym_MOYvertexsmooth}}\vspace*{-5pt}
\]
\item The boundary of $\Gamma$ is contained in $[0,1]\times \{0,1\}$.
\item $]0,1[\times \{0,1\} \cap \Gamma = \partial \Gamma$.
\item the tangent lines at the boundary points of $\Gamma$ are vertical, (that is, collinear with~$
\left(\begin{smallmatrix}
0 \\1
\end{smallmatrix} \right)
$).
\end{itemize}
\end{dfn}
In what follows it will be convenient to speak about \emph{the tangent vector} at a point~$p$ of the graph $\Gamma$ (or more precisely of its image in $[0,1]\times [0,1]$). By this we mean the only vector which is tangent to $\Gamma$, has norm 1 and whose orientation agrees with the one of $\Gamma$. Note that the condition on the embedding on vertices ensure that it is well-defined everywhere.

\begin{notation}
\label{not:listk}
In what follows, $\listk{k}$ always denotes a finite sequence of integers (the empty sequence is allowed). If $\listk{k}= (k_1, \dots, k_l)$, $l$ is the \emph{length} of $\listk{k}$ and $\sum_{i=1}^lk_i$ is the \emph{level} of $\listk{k}$. If $\listk{k}$ is a sequence of length 1 and level $k$, we abuse notation and write $k$ instead of $\listk{k}$.
\end{notation}

If we want to specify the boundary of a MOY graph $\Gamma$, we will speak about $\listk{k}_1$\nobreakdash-MOY graph-$\listk{k}_0$ (see the example in Figure~\ref{fig:exMOY} to understand the notations). If a MOY graph has an empty boundary we say that it is \emph{closed}.

If $\Gamma$ is an $\listk{k}_1$\nobreakdash-MOY graph-$\listk{k}_0$, we denote by $-\Gamma$ the $(-\listk{k}_1)$\nobreakdash-MOY graph-$(-\listk{k}_0)$, which is obtained from $\Gamma$ by reversing all orientations.\enlargethispage{\baselineskip}%

\begin{rmk}
\label{rmk:MOYgraphisopy}
MOY graphs are regarded up to ambient isotopy fixing the boundary. This fits into a category where objects are finite sequences of signed and labeled points in $]0,1[$, and morphisms are MOY graphs. The composition is then given by concatenation and rescaling (see Figure~\ref{fig:exMOY}).
\end{rmk}
\begin{figure}[htb]
\vspace*{-.5cm}
\centering
\begin{tikzpicture}[xscale =0.7, yscale=0.8]
{\tiny \input{\imagesfolder/sym_exampleMOY} }
\end{tikzpicture}
\caption{Examples of a MOY graphs: a $(4,3,1)$\nobreakdash-MOY graph-$(2,3,1,2)$, a $(-2,2,5,3)$\nobreakdash-MOY graph-$(4,3,1)$ and their concatenation.}
\vspace*{-.7\baselineskip}
\label{fig:exMOY}
\end{figure}

\begin{dfn}
\label{dfn:rotational}
Let $\Gamma$ be a closed MOY graph. The \emph{rotational} of $\Gamma$ is the sum of the rotational of the oriented circles appearing in the cabling of $\Gamma$. The \emph{rotational} of a circle is $+1$ if it winds counterclockwisely and $-1$ if it winds clockwisely. It is denoted by $\rrot(\Gamma)$. This definition is illustrated in Figure~\ref{fig:rotMOY}.
\end{dfn}
\begin{figure}[htb]
\vspace*{-\baselineskip}
\centering
\begin{tikzpicture}[yscale = 0.35]
{\tiny \input{\imagesfolder/moy_writhe}}
\end{tikzpicture}
\vspace*{-\baselineskip}
\caption{The rotational of the closed MOY graph depicted on the left is equal to $2-2=0$.}
\label{fig:rotMOY}
\vspace*{-\baselineskip}
\end{figure}

\subsection{MOY calculi}
\label{sec:moy-calculi}

In their seminal paper, Murakami, Ohtsuki and Yamada \cite{MR1659228} gave a combinatorial definition of the colored $U_q(\sll_N)$ framed link invariant. For clarity we refer to this construction as \emph{exterior} MOY calculus since it calculates the Reshetikhin-Turaev invariant of a framed link labeled with exterior powers of $V$ the standard representation of $U_q(\sll_N)$.
We denote by $\kup{\cbullet}_N$ this invariant (or simply by $\kup{\cbullet}$ when there is no ambiguity about $N$). This goes in two steps. We~consider a framed link diagram labeled with integers between $0$ and $N$ (one should think about an integer $a$ as representing $\Lambda^a_qV$) and we replace every crossing by a formal $\ZZ[q,q^{-1}]$-linear combination of planar graphs following the formulas:\enlargethispage{\baselineskip}%
\begin{align}
\label{eq:extcrossplus}\kup{\scriptstyle{\NB{\tikz[scale=0.6]{\input{\imagesfolder/cef_crossingplustalk}}}}} &= \sum_{k= \max(0, m-n)}^m (-1)^{m-k}q^{k-m}\kup{\!\!\NB{\tikz[scale=0.9]{\input{\imagesfolder/cef_squareMOYcrosstalk}}}\!\!}\\[-3pt]
\label{eq:extcrossminus}
\kup{\scriptstyle{\NB{\tikz[scale=0.6]{\input{\imagesfolder/cef_crossingminustalk}}}}} &= \sum_{k= \max(0, m-n)}^m (-1)^{m-k}q^{m-k} \kup{\!\!\NB{\tikz[scale=0.9]{\input{\imagesfolder/cef_squareMOYcrosstalk}}}\!\!}
\end{align}
The first crossing in the formula is said to have \emph{type} $(m,n, +)$, the second to have \emph{type} $(m,n, -)$.

Finally we can evaluate these planar graphs (which are closed MOY graphs) using the following identities and their mirror images:
\begin{gather}\label{eq:extrelcircle}
\kup{\vcenter{\hbox{\tikz[scale= 0.5]{\draw[->] (0,0) arc(0:360:1cm) node[right] {\small{$\!k\!$}};}}}}=
\begin{bmatrix}
N \\ k
\end{bmatrix}
\\
\label{eq:extrelass}
\kup{\stgamma} = \kup{\stgammaprime}
\\[-5pt]
\label{eq:extrelbin1}
\kup{\digona} = \arraycolsep=2.5pt
\begin{bmatrix}
m+n \\ m
\end{bmatrix}
\kup{\verta}
\\[-5pt]
\label{eq:extrelbin2}
\arraycolsep=2.5pt
\kup{\digonb} =
\begin{bmatrix}
N-m \\ n
\end{bmatrix}
\kup{\vertb}
\\[-5pt]
\kup{\squarea} = \kup{\twoverta} + [N-m-1]\kup{\doubleYa} \label{eq:extrelsquare1}
\end{gather}
\begin{gather}
\kup{\squareb}=\!
\begin{bmatrix}
m-1 \\ n
\end{bmatrix}
\kup{\bigHb} +
\!\begin{bmatrix}
m-1 \\n-1
\end{bmatrix}
\kup{\doubleYb} \label{eq:extrelsquare2}
\\
\kup{\squarec}= \sum_{j=\max{(0, m-n)}}^m\begin{bmatrix}l \\ k-j \end{bmatrix}
\kup{\squared}\label{eq:extrelsquare3}
\end{gather}

In the previous formulas, we used quantum integers and quantum binomials. These are symmetric Laurent polynomials in $q$ defined by $[k]:= \frac{q^{k}- q^{-k}}{q- q^{-1}}$ and
\[
\begin{bmatrix}
l \\ k
\end{bmatrix}=
\frac{\prod_{i=0}^{k-1} [l-i]}{[k]!}
\quad \textrm{where } [i]! = \prod_{j=1}^i [j].
\]

The first formal proof that these relations are enough to compute has been written by Wu \cite{pre06302580} and is based on a result of Kauffman and Vogel \cite[App.\,4]{zbMATH06000869}. In particular, this shows that there is a unique evaluation of MOY graphs which satisfies these relations. The coherence of these relations follows from the representation theoretic point of view. For more details we refer to \cite{MR1659228,zbMATH05656519} and to Appendix~\ref{sec:quant-link-invar}.

As pointed out by \cite{tubbenhauer2015super}, a similar story applies when one think about the integers labeling the strands of a link (which are now only required to be positive) as representing $q$-symmetric powers of $V$ (\ie $\Sym_q^\sbullet V$). We denote by $\kups{\cbullet}$ this invariant (or simply by $\kups{\cbullet}$ when there is no ambiguity about $N$). This yields what we call the \emph{symmetric} MOY calculus.
\begin{align}
\label{eq:symcrossplus}
\kups{\scriptstyle{\NB{\tikz[scale=0.6]{\input{\imagesfolder/cef_crossingplustalk}}}}} &= \sum_{k= \max(0, m-n)}^m (-1)^{m-k}q^{k-m}\kups{\!\!\NB{\tikz[scale=0.9]{\input{\imagesfolder/cef_squareMOYcrosstalk}}}\!\!}\\
\label{eq:symcrossminus}
\kups{\scriptstyle{\NB{\tikz[scale=0.6]{\input{\imagesfolder/cef_crossingminustalk}}}}} &= \sum_{k= \max(0, m-n)}^m (-1)^{m-k}q^{m-k} \kups{\!\!\NB{\tikz[scale=0.9]{\input{\imagesfolder/cef_squareMOYcrosstalk}}}\!\!}
\end{align}
The formulas for evaluating MOY graphs become:
\begin{gather}\label{eq:symrelcircle}
\kups{\vcenter{\hbox{\tikz[scale= 0.5]{\draw[->] (0,0) arc(0:360:1cm) node[right] {\small{$\!k\!$}};}}}}=
\begin{bmatrix}
N +k -1 \\ k
\end{bmatrix}
\end{gather}
\begin{gather}
\label{eq:symrelass}
\kups{\stgamma} = \kups{\stgammaprime}
\\
\label{eq:symrelbin1}
\kups{\digona} = \arraycolsep=2.5pt
\begin{bmatrix}
m+n \\ m
\end{bmatrix}
\kups{\verta}
\\
\label{eq:symrelbin2}
\arraycolsep=2.5pt
\kups{\digonb} =
\begin{bmatrix}
N+m+n-1 \\ n
\end{bmatrix}
\kups{\vertb}
\\
\kups{\squarea} = \kups{\twoverta} + [N+m+1]\kups{\doubleYa} \label{eq:relsquare1}\vspace*{-1.5\baselineskip}
\end{gather}
\begin{multline}
\kups{\squareb}\\[-\baselineskip]
=\begin{bmatrix}
m-1 \\ n
\end{bmatrix}
\kups{\bigHb} +
\begin{bmatrix}
m-1 \\n-1
\end{bmatrix}
\kups{\doubleYb} \label{eq:symrelsquare2}\vspace*{-1.5\baselineskip}
\end{multline}
\begin{multline}
\kups{\squarec}\\[-12pt]
= \sum_{j=\max{(0, m-n)}}^m\begin{bmatrix}l \\ k-j \end{bmatrix}
\kups{\squared}\label{eq:symrelsquare3}
\end{multline}

\skpt
\begin{rmk}\label{rmk:normalisation-sym-MOY} \label{rmk:minusN}
\begin{enumerate}
\item The proof of computability and uniqueness of
Wu~\cite{pre06302580} still works in the symmetric case. As before
consistency follows from the representation theoretic point of
view. We describe explicitly in Appendix~\ref{sec:quant-link-invar} the $U_q(\gll_N)$-intertwiners between \hbox{products} of symmetric powers of the standard $U_q(\gll_N)$-module. One can check by brute force computation that these morphisms satisfy the identities defining the symmetric MOY calculus.
\item
We choose a normalization making the polynomial associated by
the symmetric MOY calculus with any planar graph a Laurent
polynomial with positive coefficients.
The skein formula we use for the crossings is not compatible with the choices made for the
exterior MOY calculus. The braiding in the exterior MOY calculus
is given by an~$R$ matrix of $U_q(\sll_N)$, while for the
symmetric MOY calculus it is given by its inverse. Hence the two
calculi we present here cannot be merge into one bicolor calculus
as it is done in \cite{tubbenhauer2015super}.
\item In \cite{tubbenhauer2015super}, there is an overall sign which we choose to remove here. For recovering this sign one should multiply our symmetric evaluation of a MOY graph $\Gamma$ by $(-1)^{\rrot(\Gamma)}$ (see Definition~\ref{dfn:rotational}).
\item Up to this sign the formulas are actually the same as the ones of the exterior MOY calculus applied to $-N$.
Since they do not involve $N$, the identities~\eqref{eq:extrelass}, \eqref{eq:extrelbin1}, \eqref{eq:extrelsquare2} and \eqref{eq:extrelsquare3} of the exterior MOY calculus are the same as the identities~\eqref{eq:symrelass}, \eqref{eq:symrelbin1}, \eqref{eq:symrelsquare2} and \eqref{eq:symrelsquare3} of the symmetric MOY calculus.
\item In order to turn the framed invariants $\kup{\cbullet}_N$ and $\kups{\cbullet}$ into invariants of unframed links, one needs to renormalize them. For any link diagram $D$, we define:
\begin{align*}
RT^{\Lambda}_N(D) &= (-1)^{e(D)} q^{k^{\Lambda}(D)} \kup{D}_N\\ \tag*{and}
RT^{S}_N(D) &= q^{k^{S}(D)} \kups{D},
\end{align*}
where $e(D)$ (\resp $k^{\Lambda}(D)$, \resp $k^{S}(D)$) is the sum over all crossing $x$ of $D$ of $e_x$ (\resp $k^{\Lambda}_x$, \resp $k^{S}_x$) defined by:
\[ (k^{\Lambda}_x, k^{S}_x , e_x) =
\begin{cases}
(m(N+1-m), -m(m+N-1) , -m) & \textrm{if $x$ is of type $(m,m,+)$, } \\
(-m(N+1-m), m(m+N-1), +m) & \textrm{if $x$ is of type $(m,m,-)$,} \\
(0,0,0) & \textrm{else.}
\end{cases}
\]

\end{enumerate}
\end{rmk}

While the case $N=1$ is trivial in the exterior MOY calculus, it is not in the symmetric MOY calculus. However, the symmetric evaluation of a MOY graph $\Gamma$ for $N=1$ is especially simple.

\begin{lem}
\label{lem:N1symmetriceval}
Let $\Gamma$ be a MOY graph. For every vertex $v$ of $\Gamma$, let us denote by $W(v)$ the element of $\NN[q, q^{-1}]$ given by the formulas:
\[
W\left(\NB{\tikz[scale =0.8]{
\draw[->] (0,0) -- (0,0.5) node [at end, above] {$a+b$};
\draw[>-] (-0.5, -0.5) -- (0,0) node [at start, below] {$a$};
\draw[>-] (+0.5, -0.5) -- (0,0) node [at start, below] {$b$};}}\right) := \qbina{a+b}{a} =:
W\left(\NB{\tikz[scale =0.8]{
\draw[-<] (0,0) -- (0,0.5) node [at end, above] {$a+b$};
\draw[<-] (-0.5, -0.5) -- (0,0) node [at start, below] {$a$};
\draw[<-] (+0.5, -0.5) -- (0,0) node [at start, below] {$b$};}}\right).
\]

The following identities hold in $\ZZ[q, q^{-1}]$:
\[
\kupss{\Gamma}_{N=1} =
\prod_{v \textrm{ split}} W(v) = \prod_{v \textrm{ merge}}W(v) = \biggl(\prod_{v \textrm{ vertex of $\Gamma$}} W(v) \biggl)^{1/2}.
\]
\end{lem}

\begin{proof}[Sketch of the proof.]
We only treat the ``merge'' part of the statement.
Since there is a unique polynomial satisfying the symmetric MOY calculus for $N=1$. It is enough to check that $W(\Gamma):= \prod_{v \textrm{ merge}}W(v)$ satisfies the symmetric MOY calculus of $N=1$.
For instance, to prove that $W$ satisfies identity~\eqref{eq:symrelsquare3}, one shows the following $q$\nobreakdash-binomial identity:
\[
\qbina{n+k}{m}\qbina{m+l}{k} = \sum_{j={\max(0, m-n)}}^n \qbina{l}{k-j}\qbina{n}{m-j}\qbina{n+l+j}{j}
\]
which can be done by induction on $n+m$.
\end{proof}

Another identity holds both in the exterior and the symmetric MOY calculi.

\begin{lem}
\label{lem:otherrelation}The following local identities and their mirror images hold:
\begin{align} \label{eq:otherrelext}
\kup{\squaree} &=
\qbina{r+s}{s}
\kup{\webHe}
\\
\label{eq:otherrelsym}
\kups{\squaree} &=
\qbina{r+s}{s}
\kups{\webHe}
\end{align}
\end{lem}

\begin{proof}[Sketch of proof]
For the exterior calculus: it is a consequence of identity \eqref{eq:extrelass}, its mirror image and identity \eqref{eq:extrelbin1}.
For the symmetric calculus: it is a consequence of identity \eqref{eq:symrelass}, its mirror image and identity \eqref{eq:symrelbin1}.
\end{proof}

\subsection{Braid-like MOY graphs}
\label{sec:braid-like-moy}
In this section we introduce a special class of MOY graphs which contains in particular the ones appearing in the expansion of braids when using identities \eqref{eq:extcrossplus} and \eqref{eq:extcrossminus} to get rid of crossings. We call these graphs braid-like.

\begin{dfn}
\label{dfn:braidlike}
A MOY graph $\Gamma$ is \emph{braid-like} if the scalar products of all its tangent vectors with $\left(\begin{smallmatrix} 0 \\ 1 \end{smallmatrix}\right)$ are strictly positive. In Figure~\ref{fig:exMOY}, the leftmost MOY graph is braid-like, while the two others are not.
\end{dfn}

\skpt
\begin{rmk}\label{rmk:braidlikeisotopy}\begin{enumerate}
\item Braid-like MOY graphs are regarded up to ambient isotopy fixing the boundary and preserving the braid-like property. They fit into a category which is a non-full subcategory of the one described in Remark~\ref{rmk:MOYgraphisopy}.
\item The braid-likeness of a MOY graph $\Gamma$ implies that boundary points of $\Gamma$ on $]0,1[\times \{0\}$ are negative, while the one on $]0,1[\times \{1\}$ are positive.
\item Every braid-like MOY graph can be obtained as vertical concatenation of MOY graphs of type:
\[ \NB{\tikz[scale= 0.7]{\input{\imagesfolder/sym_splitBL}}} \qquad \textrm{and} \qquad \NB{\tikz[scale= 0.7]{\input{\imagesfolder/sym_mergeBL}}}
\]
\item If $\Gamma$ is a $\listk{k}_1$\nobreakdash-MOY graph-$\listk{k}_0$, then the sum of the element of $\listk{k}_1$ is equal to the sum of the element of $\listk{k}_0$, we call the number the \emph{level} of $\Gamma$.
\end{enumerate}
\end{rmk}

The following lemma, although quite elementary and completely combinatorial, is one of the keystones of this paper.

\begin{lem}
\label{lem:trees}
Let $k$ be a positive integer and $\listk{k}$
be a finite collection of positive integers of level $k$. We consider $M$ the $\ZZ[q,q^{-1}]$
module generated by braid-like $\listk{k}$\nobreakdash-MOY graphs-$(k)$ and modded out by ambient isotopy and relations~\eqref{eq:extrelass} and \eqref{eq:extrelbin1} (or \eqref{eq:symrelass} and \eqref{eq:symrelbin1}).
The module $M$ is generated by a braid-like tree. Moreover
all braid-like trees are equal in $M$.
\end{lem}

\begin{proof}
Let $T$ be a braid-like $\listk{k}$-tree-$k$, that is, a braid-like $\listk{k}$\nobreakdash-MOY graph-$k$ which is a tree.
Thanks to the relation~\eqref{eq:extrelass}, it is clear\footnote{This is similar to saying that the associativity of a product allows to remove parentheses in arbitrary long product. Indeed the first relation can be seen as an associativity property and a tree as a (big) product.} that all braid-like $\listk{k}$-tree-$k$ are equal in~$M$.

It is enough to show that any braid-like $\listk{k}$\nobreakdash-MOY graph-$k$ $\Gamma$ is equal in $M$ to $P$ (a~Laurent polynomial in $q$) times a braid-like $\listk{k}$-tree-$k$. We show this simultaneously on all finite sequences of integers of level $k$ by induction on the number of merge vertices. If there is no merge then $\Gamma$ is a tree and there is nothing to show. If $\Gamma$ contains a merge, we cut $\Gamma$ horizontally into two parts, just below its highest merge. We obtain $\Gamma_{\textrm{top}}$ and $\Gamma_{\textrm{bot}}$. The latter is a $\listk{k}'$\nobreakdash-MOY graph-$k$ and has one merge vertex less than~$\Gamma$. Hence we can use the induction hypothesis to write $\Gamma_{\textrm{bot}}= P(q)T$ and choose the tree~$T$ to have a split vertex on its top part which is symmetric to the merge vertex below which we cut $\Gamma$. We now stack $\Gamma_{\textrm{top}}$ onto $T$, and reduce the digon thanks to the relation~\eqref{eq:extrelbin1}, we obtain that $\Gamma$ is equal in $M$ to a Laurent polynomial times a braid-like $\listk{k}$-tree-$k$.
\end{proof}

\skpt
\begin{rmk}
\label{rmk:treeRT}
\begin{enumerate}
\item Note that with the representation theoretic interpretation
of MOY-graph, this results should be interpreted as: the
multiplicity of $\Lambda_q^k V$ (\resp $\Sym_q^k
V$)
in $\bigotimes_{i=1}^l \Lambda_q^{k_i} V$
(\resp $\bigotimes_{i=1}^l \Sym_q^{k_i} V$) is one (see Appendix~\ref{sec:quant-link-invar}).
\item This lemma says, that for any braid-like $(k_1, \dots,
k_l)$\nobreakdash-MOY graph-$(k)$ $\Gamma$, there exists a Laurent polynomial
$r(\Gamma)$, such that $\Gamma= r(\Gamma) T$ in the skein module, where $T$ is a braid-like tree. From the proof, one deduces that
\[
r(\Gamma)= \prod_{\substack{v \in V(\Gamma) \\ \textrm{$v$ merge of type $(a,b,a+b)$}}}
\begin{bmatrix}
a+b \\ a
\end{bmatrix}.
\]
\end{enumerate}
\end{rmk}

For a latter use it will be convenient to have a preferred tree.

\begin{dfn}
\label{dfn:canonical-tree}
Let $\listk{k}$ be a finite sequence of positive integers which add up to $k$. We denote by $T_{\listk{k}}$ the braid like $\listk{k}$-tree-$k$ which is obtained by this inductive definition:
\begin{itemize}
\item $T_{k}$ is a single vertical strand,
\item $T_{(k_1, \dots ,k_l)}$ is obtained from $T_{(k_1, \dots,k_{l-2},k_{l-1}+ k_l)}$ by splitting its rightmost strand into two strands labeled by $k_{l-1}$ and $k_l$.
\end{itemize}
This is probably better understood with the following figure:
\[
\NB{\tikz[yscale=0.4, xscale=0.6]{
\draw[>->] (0,0) --(0,1) -- (-2,5);
\draw[->] (0,1) -- (2,5);
\draw[->] (1.5,4) -- (1,5);
\draw[->] (1,3) -- (0,5);
\draw[->] (0.5,2) -- (-1,5);
}}
\]
\end{dfn}

\subsection{Vinyl graphs}
\label{sec:vinyl-moy-graphs}

We denote by $\ann$ the annulus $\{ x\in \RR^2 | 1 < \lVert x\rVert < 2\}$ and for all $x= \left(\begin{smallmatrix} x_1 \\x _2 \end{smallmatrix}\right) $ in $\ann$, we denote by $t_x$ the vector $\left(\begin{smallmatrix} -x_2 \\x_1 \end{smallmatrix}\right)$. A \emph{ray} in $\RR^2$ is a half-line which starts at $O$, the origin of $\RR^2$.

\begin{dfn}\label{dfn:vynil-graph}
A \emph{vinyl graph} is the image of an abstract closed MOY graph $\Gamma$ in $\ann$ by a smooth\footnote{The smoothness condition is the same as the one of Definition~\ref{dfn:MOY}.} embedding such that for every point $x$ in the image of $\Gamma$, the tangent vector at this point has a positive scalar product with $t_x$.
The set of vinyl graphs is denoted by $\Vin$. We define the \emph{level} of a vinyl graph to be the rotational of the underlying MOY graph. If $k$ is a non-negative integer, we denote by $\Vin_k$ the set of vinyl graph with rotational equal to $k$. Vinyl graphs are regarded up to ambient isotopy preserving $\ann$.
\end{dfn}

\begin{figure}[htb]
\centering
\NB{ \includegraphics[height=4cm]{\imagesfolder/vinyl}} \qquad \NB{\tiny\tikz[scale=0.46]{\input{\imagesfolder/sym_examplevinyl}}}
\caption{A vinyl record and a vinyl graph of level $7$.}
\label{fig:justforfun}
\end{figure}
\begin{rmk}
\label{rmk:rotational}
Let $\Gamma$ be a vinyl graph with rotational $k$, and $D$ be a ray which does no contain any vertices of $\Gamma$. Then the condition on the tangent vectors of $\Gamma$, implies that:
\begin{itemize}
\item the intersection points of the ray $D$ with $\Gamma$ are all transverse and positive,
\item the sum of the labels of edges which intersects $\Gamma$ is equal to $k$.
\end{itemize}
Informally, the level counts the numbers of tracks of a vinyl graph.
\end{rmk}
Of course, a natural way to obtain vinyl graphs is by closing braid-like MOY graphs.

\begin{notation}
\label{not:braidlikeclosure}
Let $\listk{k}$ be a finite sequence of integers and $\Gamma$ be a braid-like $\listk{k}$\nobreakdash-MOY graph-$\listk{k}$. Then we denote by $\widehat{\Gamma}$ the vinyl graph obtained by closing up $\Gamma$. The level of~$\Gamma$ equals the level of $\listk{k}$.
\end{notation}

\begin{figure}[htb]
\centering
\begin{tikzpicture}[scale=1]
\input{\imagesfolder/sym_closebraidlike}
\end{tikzpicture}
\caption{The vinyl graph $\widehat{\Gamma}$ is obtained by closing up the braid-like MOY graph $\Gamma$.}
\label{fig:closebraidlike}
\end{figure}

The following theorem from Queffelec and Rose shows that the MOY relations~\eqref{eq:extrelcircle}, \eqref{eq:extrelass}, \eqref{eq:extrelbin1}, \eqref{eq:extrelsquare3} and \eqref{eq:otherrelext} (\resp \eqref{eq:symrelcircle}, \eqref{eq:symrelass}, \eqref{eq:symrelbin1}, \eqref{eq:symrelsquare3} and \eqref{eq:otherrelsym}) defines uniquely the exterior (\resp symmetric) MOY calculus for vinyl graphs.

\begin{thm}[{\cite[Lem.\,5.2]{QueffelecRoseAnnular2017}}]
\label{thm:QR}
Let $S_k$ be the $\ZZ[q,q^{-1}]$-module generated by vinyl graphs of level $k$ modded out by the relations~\eqref{eq:extrelass}, \eqref{eq:extrelbin1}, \eqref{eq:extrelsquare3} and \eqref{eq:otherrelext}. The module~$S_k$ is generated by vinyl graphs which are collections of circles of level $k$.
\end{thm}

The proof of this result is constructive. Queffelec and Rose give an algorithm which reduces a vinyl graph using \eqref{eq:extrelass}, \eqref{eq:extrelbin1}, \eqref{eq:extrelsquare3} and \eqref{eq:otherrelext}. Their algorithm produces a linear combination of collection of circles. Hence adding relation~\eqref{eq:extrelcircle} (\resp relation~\eqref{eq:symrelcircle}) we obtain the exterior (\resp symmetric) evaluation of any vinyl graph.

In what follows we categorify the symmetric MOY calculus of vinyl graphs. We construct a category $\TL_\NN$ whose objects are vinyl graphs. Suppose that $\FS$ is a functor from the category $\TL_\NN$ to a category $\CS$ with a grading, such that the relations~\eqref{eq:extrelass}, \eqref{eq:extrelbin1}, \eqref{eq:extrelsquare3} and \eqref{eq:otherrelext} are compatible with $\FS$ (\ie linear combinations translates into directs sums of objects with degree shifts). From the algorithm of Queffelec and Rose, we can deduce the following proposition:

\begin{prop}[{\cite[Proof of Prop.\,5.1]{QueffelecRoseAnnular2017}}]
\label{prop:QR2}
For any vinyl graph $\Gamma$, there exist two $\NN[q,q^{-1}]$-linear combinations of collections of circles $\sum_i a_i C_i$ and $\sum_j b_j C'_j$ such that:
\[
\FS(\Gamma) \oplus \bigoplus_i \FS(C_i)\{a_i\} \simeq \bigoplus_j \FS(C'_j)\{b_j\}.
\]
In particular, if $\CS$ is a category of modules over an algebra $A$ and collections of circles are mapped to finitely generated projective modules, then $\FS(\Gamma)$ is finitely generated and projective. Moreover, if $A$ is a polynomial algebra, then $\FS(\Gamma)$ is free and relations~\eqref{eq:extrelass}, \eqref{eq:extrelbin1}, \eqref{eq:extrelsquare3} and \eqref{eq:otherrelext} are satisfied by the graded rank of the modules.
\end{prop}

\section{Foams}
\label{sec:foams}
Foams have been introduced in the realm of link homologies by Khovanov~\cite{MR2100691}. They have been used by Blanchet \cite{1195.57024} to fix functoriality of link homologies. They are now widely used \cite{queffelec2014mathfrak,1212.6076,MR3611714}.
\subsection{Definitions}
\label{sec:definitions}
In the first two subsections we summarize some of the results of \cite{RW1}. However we think that familiarity with \cite{RW1} is essential to fully understand the constructions done in Sections~\ref{sec:disk-like-foams}, \ref{sec:quasi-annular-foams} and \ref{sec:evaluation-vinyl}. We fix a positive integer $N$.

\begin{dfn}\label{dfn:foam}
An \emph{abstract foam} $F$ is a finite collection
of \emph{facets} $\FS(F)=(\Sigma_i)_{i\in I}$, that is, a finite set of
oriented connected surfaces with boundary, together with the
following data:
\begin{itemize}
\item A labeling $l\co (\Sigma_i)_{i\in I} \to \{0, \dots, N\}$,
\item A ``gluing recipe'' of the facets along their boundaries such
that when glued together using the recipe a neighborhood of a point of the foam has three possible local models:
\[
\begin{tikzpicture}
\input{\imagesfolder/cef_3localmodels}
\end{tikzpicture}
\label{fig:FBSP} \]
The letter appearing on a facet indicates the label of this facet.
That is we have facets, \emph{bindings} (which are compact oriented
$1$-manifolds) and \emph{singular points}. Each binding carries:
\begin{itemize}
\item an orientation which agrees with the orientations of the facets with
labels~$a$ and~$b$ and disagrees with the orientation of the facet with label
$a+b$.
\item a cyclic ordering of the three facets around it. When a foam
is embedded in $\RR^3$, we require this cyclic ordering to agree with
the left-hand rule\footnote{This agrees with Khovanov's convention \cite{MR2100691}.} with respect to its
orientation (the dotted circle in the middle indicates that the
orientation of the binding points to the reader, a crossed circle indicates the other orientation, see Figure~\ref{fig:signsofcircles}):
\[
\begin{tikzpicture}[xscale=1]
\input{\imagesfolder/sw_lhrule}
\end{tikzpicture}
\]
\end{itemize}
The cyclic orderings of the different bindings adjacent to a
singular point should be compatible. This means that a
neighborhood of the singular point is embeddable in~$\RR^3$ in a
way that respects the left-hand rule for the four bindings adjacent to this singular point.
\end{itemize}
\end{dfn}

\begin{rmk}
Les us explain shortly what is meant by ``gluing recipe''. The boundaries of the facets forms a collection of circles. We denote it by $\syf$. The gluing recipe consists of:
\begin{itemize}
\item For a subset $\syf'$ of $\syf$, a subdivision of each circle of $\syf'$ into a finite number of closed intervals. This gives us a collection $\IS$ of closed intervals.
\item Partitions of $\IS \cup (\syf \setminus \syf')$ into subsets of three elements. For every subset $(X_1, X_2, X_3)$ of this partition, three diffeomorphisms $\phi_1 : X_2 \to X_3$, $\phi_2 : X_3 \to X_1$, $\phi_3 : X_1 \to X_2$ such that $\phi_3 \circ \phi_2 \circ \phi_1 = \id_{X_2}$.
\end{itemize}
A foam is obtained by gluing the facets along the diffeomorphisms, provided that the conditions given in the previous definition are fulfilled.
\end{rmk}

\begin{dfn}\label{dfn:decoratedfoam}
A \emph{decoration} of a foam $F$ is a map $f\mto P_f$ which associates with any facet $f$ of $F$ an homogeneous symmetric polynomial $P_f$ in $l(f)$ variables. A~\emph{decorated foam} is a foam together with a decoration.
\end{dfn}

From now on all foams are decorated.

\begin{dfn}
A \emph{closed foam} is a smoothly embedded abstract foam in $\RR^3$. Smoothness means that the facets are smoothly embedded and the different oriented tangent planes agree on bindings and singular points as depicted here
\[
\NB{ \begin{tikzpicture}
\input{\imagesfolder/sym_smoothmodels}
\end{tikzpicture}}.
\]
Just like for MOY graphs (see Definition~\ref{dfn:MOY}), we will usually not care too much about the smoothness on bindings and singular points when drawing foams.
\end{dfn}

\begin{figure}[htb]
\centering
\begin{tikzpicture}[scale = 0.7]
\input{\imagesfolder/cef_foam6j}
\end{tikzpicture}
\caption{Example of a foam.
The cyclic ordering on the central binding is $(5,2,3)$.}
\label{fig:exslnfoam}
\end{figure}

The notion of foam extends naturally to the notion of foam with boundary. The boundary of a foam has a structure of a MOY graph. We require that the facets and bindings are locally orthogonal to the boundary to be able to glue them together. Probably the most local framework is given by the concept of \emph{canopolis} of foams. We refer to \cite{MR2174270, FunctorialitySLN} for more details about this approach. In what follows we will consider:
\begin{itemize}
\item Foams in $\RR^2 \times [0,1]$ where the boundary is contained in $\RR^2 \times \{0,1\}$ (see Definition~\ref{dfn:catfoam});
\item Foams in the cube $[0,1]^3$, where the boundary is contained in $[0,1]^2 \times \{0,1\} \cup \{0,1\}\times [0,1]^2$ (see Section~\ref{sec:disk-like-foams});
\item Foams in the thickened annulus $\ann \times [0,1]$ where the boundary is contained in $\ann\times \{0,1\}$ (see Section~\ref{sec:quasi-annular-foams}).
\end{itemize}

\begin{dfn}
\label{dfn:catfoam}
The category $\Foam$ consists of the following data:
\begin{itemize}
\item Objects are closed MOY graphs,
\item Morphisms from $\Gamma_0$ to $\Gamma_1$ are (ambient isotopy classes relatively to the boundary~of) foams in $\RR^2\times [0,1]$ whose boundary is contained in $\RR^2\times\{0,1\}$. The part of the boundary in $\RR^2\times\{0\}$ (\resp $\RR^2\times\{1\}$) is required to be equal to $-\Gamma_0$ (\resp $\Gamma_1$).
\end{itemize}
Composition of morphisms is given by stacking foams and rescaling in the vertical direction.
\end{dfn}

\begin{dfn}
\label{dfn:subsurfaces}
If $F$ is a foam (possibly with boundary), a \emph{sub-surface} is a collection of oriented facets $F$ such that
their union is a smooth oriented surface $\Sigma$ whose boundary is contained in the boundary of $F$.
\end{dfn}

\subsection{Reminder on the exterior evaluation of foams}
\label{sec:rema-exter-foams}

The combinatorial evaluation can be thought of as a higher dimensional state sum formula of the state sum of Murakami-Ohtsuki-Yamada \cite{MR1659228} for evaluating MOY graphs.

\begin{dfn}\label{dfn:color}
A \emph{pigment} is an element of $\Col= \{1,\dots,N\}$.
The set $\Col$ is endowed with the natural order.

A \emph{coloring} of a foam $F$ is a map $c\co \FS(F) \to \PS(\Col)$, such that
\begin{itemize}
\item For each facet $f$, the number of elements $\# c(f)$ of $c(f)$ is equal to $l(f)$.
\item For each binding joining a facet $f_1$ with label $a$, a facet $f_2$ with label $b$, and a facet $f_3$ with label $a+b$, we have $c(f_1) \cup c(f_2) = c(f_3)$. This condition is called the \emph{flow condition}.
\end{itemize}
A \emph{colored foam} is a foam together with a coloring.
For a given foam $F$, the set of all its colorings is denoted $\col_N(F)$.
\end{dfn}

A careful inspection of the local behavior of colorings in the neighborhood of bindings and singular points gives the following lemma:

\skpt
\begin{lem}\label{lem:monobicercle}
\begin{enumerate}
\item If $(F,c)$ is a colored foam and $i$ is an element of $\Col$, the union (with the identification coming from the gluing procedure) of all the facets which contain $i$ in their colors is a surface. It is called the \emph{monochrome surface of $(F,c)$ associated with $i$} and is denoted by $F_i(c)$. The restriction we imposed on the orientations of facets ensure that $F_i(c)$ is oriented.
\item If $(F,c)$ is a colored foam and $i$ and $j$ are two distinct elements of $\Col$, the union (with the identification coming from the gluing procedure) of all the facets which contain $i$ or $j$ but not both in their color set is a surface. It is called the \emph{bichrome surface of $(F,c)$ associated with $i,j$}. This the symmetric difference of $F_i(c)$ and $F_j(c)$ and is denoted by $F_{ij}(c)$. The restriction imposed on the orientations of facets ensures that $F_{ij}(c)$ can be oriented via taking the orientation of facets containing $i$ and the reverse orientations on facets containing $j$.
\item Let $i<j$ and consider a binding joining the facets $f_1$, $f_2$ and $f_3$. Suppose that $i\in c(f_1)$, $j \in c(f_2)$ and $\{i,j\} \subseteq c(f_3)$. We say that the binding is \emph{positive with respect to $(i,j)$} if the cyclic order on the binding is $(f_1, f_2, f_3)$ and \emph{negative with respect to $(i,j)$} otherwise. The set $F_{i}(c) \cap F_{j}(c) \cap F_{ij}(c)$ is a collection of disjoint circles. Each of these circles is a union of bindings; for every circle the bindings are either all positive or all negative with respect to $(i,j)$.
\end{enumerate}
\end{lem}

Please note that the previous lemma contains the definition of \emph{monochrome} and \emph{bichrome surfaces}.
\begin{exa}[{\cite[Ex.\,2.7]{RW1}}]
\label{exa:torus}
Suppose $N=4$ (and therefore $\Col = \{{\color{blue}1}, {\color{red}2}, {\color{orange!50!black}3}, {\color{green!50!black}4}\}$) and consider the colored foam $(F,c)$ given by the figure below
\[
\NB{\tikz[scale =0.7]{
\input{\imagesfolder/cef_torus}}
}
\]
where the big digits represent labels. Note that the orientation of
every facet can be deduced from the orientations of the
bindings. Tables~\ref{tab:exa1} and \ref{tab:exa2} describe the monochrome and bichrome
surfaces as well as the values of $\theta^+_{ij}(c)$ for this colored foam.
\begin{table}[ht]
\centering
\input{\imagesfolder/cef_tablemono}
\vspace*{.5\baselineskip}
\caption{The monochrome surfaces of Example~\ref{exa:torus}.}
\label{tab:exa1}
\end{table}

\begin{table}[ht]
\centering
\begin{tabular}{| >{\centering\arraybackslash}m{1.3cm} || >{\centering\arraybackslash}m{0.9cm} | >{\centering\arraybackslash}m{1.7cm} | >{\centering\arraybackslash}m{3cm} | >{\centering\arraybackslash}m{3cm} | }
\hline
$(i,j)\in\Col$ & {\color{blue}{{${1}$}}}& {\color{red}{{${2}$}}}& {\color{orange!50!black}{{${3}$}}}& {\color{green!50!black}{{${4}$}}} \\ \hline \hline
{\color{blue}{{${1}$}}}& & Torus & Sphere\newline (on the right) & Torus \\ \hline
{\color{red}{{${2}$}}}& 2 & &Sphere \newline(on the left)& Empty set \\ \hline
{\color{orange!50!black}{{${3}$}}}&0 &0 && Sphere \newline(on the left) \\ \hline
{\color{green!50!black}{{${4}$}}}& 2 & 0 & 0 & \\ \hline
\end{tabular}
\vspace*{.5\baselineskip}
\caption{The bichrome surfaces (top right) and the $\theta_{ij}^+$ (bottom left) of Example~\ref{exa:torus}.}
\label{tab:exa2}
\end{table}
\end{exa}

\begin{rmk}
\label{rmk:colorsubsurface}
Monochrome surfaces of $(F,c)$ are sub-surfaces of $F$ while, in general, bichrome surfaces are not in the sense of Definition~\ref{dfn:subsurfaces}.
\end{rmk}

\begin{dfn}
Let $(F,c)$ be a colored foam and $i<j$ be two pigments. A~circle in $F_{i}(c) \cap F_{j}(c) \cap F_{ij}(c)$ is
\emph{positive} (\resp \emph{negative}) \emph{with respect to $(i,j)$} if it consists of positive (\resp negative)
bindings.
We denote by $\theta^+_{ij}(c)_F$ (\resp $\theta^-_{ij}(c)_F$) or simply $\theta^+_{ij}(c)$ (\resp $\theta^-_{ij}(c)$) the number of positive (\resp negative) circles with respect to $(i,j)$. We set as well $\theta_{ij}(c)= \theta^+_{ij}(c) +\theta^{-}_{ij}(c)$. See Figure~\ref{fig:signsofcircles} for a pictorial definition.
\end{dfn}

\begin{figure}[htb]
\vspace*{-\baselineskip}
\centering
\begin{tikzpicture}
\input{\imagesfolder/cef_signsofcircles}
\end{tikzpicture}
\caption{A pictorial definition of the signs of the circle, we assume $i<j$. Recall that a dotted circle in the middle indicates that the orientation of the binding points to the reader and a crossed circle indicates the other orientation.}
\label{fig:signsofcircles}
\vspace*{-\baselineskip}
\end{figure}

\begin{dfn}\label{dfn:degreefoam}
The \emph{degree} $\degext_N$ of a foam $F$ is the sum of the following contributions:
\begin{itemize}
\item For each facet $f$ with label $a$, set $\deg(f)=a(N-a)\chi(f)$, where $\chi$ stands for the Euler characteristic;
\item For each interval binding $e$ (\ie not circle-like binding) surrounded by three facets with labels $a$, $b$ and $a+b$, set $\deg(e)= ab + (a+b)(N-a -b)$;
\item For each singular point $p$ surrounded with facets with labels $a$, $b$, $c$, $a+b$, $b+c$, $a+b+c$, set $\deg(p) = ab + bc+ cd + da + ac+ bd $ with $d =N -a -b -c $;
\item Thus, \[
\degext_N(F) = -\sum_f\deg(f) + \sum_e\deg(e) -\sum_p \deg(p) + \sum_{f} \deg(P_f),
\]
where the variables of the polynomials $P_\sbullet$ have degree 2.
\end{itemize}
\end{dfn}

\skpt
\begin{rmk}
\begin{enumerate}
\item The degree is additive with respect to the composition of
foam. This is the same degree as in \cite{queffelec2014mathfrak},
but since we are not in a $2$-categorical setting, the
contributions of $\Gamma_0$ and $\Gamma_1$ to the degree are equal
to $0$.
\item The degree can be thought of as an analogue of the Euler
characteristic. The degree of the foam of
Figure~\ref{fig:exslnfoam} is equal to $-16$ when $N=6$.
\end{enumerate}
\end{rmk}

\begin{dfn} \label{dfn:exteval} If $(F,c)$ is a colored foam, define:
\begin{align*}
s(F,c) &= \sum_{i=1}^N {i\chi(F_i(c))/2} + \sum_{1\leq i < j \leq N} \theta^+_{ij}(F,c), \\
P(F,c) &= \prod_{f \textrm{ facet of $F$}} P_f(c(f)),\qquad
Q(F,c) = \prod_{1\leq i < j \leq N} (x_i-x_j)^{\sfrac{\chi(F_{ij}(c))}{2}} \\
\kup{F,c} &= (-1)^{s(F,c)}\, \frac{P(F,c)}{Q(F,c)}.
\end{align*}
In the definition of $P(F,c)$, $P_f(c(f))$ means the polynomial $P$ evaluated on the variables $\{x_i\}_{i\in c(f)}$. Since the polynomial $P_f$ is symmetric, the order of the variables does not matter. A facet $f$ is called \emph{trivially decorated}, if $P_f=1$.
Define the \emph{evaluation of the foam $F$ by}:
\[ \kup{F} := \sum_{c \textrm{ coloring of $F$}} \kup{F,c}. \]
\end{dfn}

\begin{rmk}\label{rmk:remove0faces}
Let $F$ be a foam and denote by $\lambda$ the product of all decorations of facets of label $0$. Consider $F'$ the foam obtained from $F$ by removing the facets with label $0$. There is a one-one correspondence between the colorings of $F$ and the colorings of $F'$. For every coloring $c$ of $F$ and its corresponding coloring $c'$ of $F'$, we have $\kup{F,c} = \lambda \kup{F',c'}$, and consequently $\kup{F} = \lambda \kup{F'}$.
\end{rmk}

\begin{prop}[\cite{RW1}]\label{prop:sympol}
Let $F$ be a foam, then $\kup{F}$ is an homogeneous element of $\QQ[x_1, \dots, x_N]^{\frS_N}$ of degree $\degext_N(F)$.
\end{prop}

\begin{prop}[\cite{RW1}]
\label{prop:relations-cat-ext}
The following local identities and their mirror images hold:
\begin{gather}
\kup{ \scriptstyle{\NB{\tikz[scale = 0.7]{\input{\imagesfolder/cef_matveevpierigliani}}}}}
= \kup{ \scriptstyle{\NB{\tikz[scale = 0.7]{\input{\imagesfolder/cef_matveevpierigliani2}}}} }, \label{eq:MPcat}
\\
\kup{\scriptstyle{\NB{\tikz[scale=0.5]{\input{\imagesfolder/cef_neckcuting}}}}} = \sum_{\alpha \in T(a,N-a)}(-1)^{|\widehat{\alpha}| + \sfrac{N(N+1)}2}
\kup{\scriptstyle{\NB{\tikz[scale=0.5]{\input{\imagesfolder/cef_neckcuting2}}}}},\label{eq:neckcuttingcat}
\\
\kup{\scriptstyle{\NB{\tikz[scale=0.8]{\input{\imagesfolder/sym_dotmig}}}}} = \sum_{\alpha, \beta } c_{\alpha \beta} ^\lambda
\kup{\scriptstyle{\NB{\tikz[scale=0.8]{\input{\imagesfolder/sym_dotmig2}}}}}, \label{eq:dotmig}
\end{gather}
\begin{gather}
\kup{\scriptstyle{\NB{\tikz[scale=0.5]{\input{\imagesfolder/cef_digonfoam}}}}} = \sum_{\alpha \in T(a,b)}(-1)^{|\widehat{\alpha}|}
\kup{\scriptstyle{\NB{\tikz[scale=0.5]{\input{\imagesfolder/cef_digonfoam2}}}}}, \label{eq:digoncat}
\\
\kup{\scriptstyle{\NB{\tikz[scale=0.7]{\input{\imagesfolder/cef_digonfoamDUR}}}}} = \!\!\!\!\!\sum_{\alpha \in T(b,N-a -b)} \!\!\!\!\!(-1)^{|\alpha|}
\kup{\scriptstyle{\NB{\tikz[scale=0.7]{\input{\imagesfolder/cef_digonfoamDUR2}}}}}, \label{eq:digonDURcat}
\\
\kup{\scriptstyle{\NB{\tikz[scale=0.7]{\input{\imagesfolder/cef_jointrsfoam}}}}} = \sum_{\alpha \in T(r,s)}(-1)^{|\widehat{\alpha}|}
\kup{\scriptstyle{\NB{\tikz[scale=0.7]{\input{\imagesfolder/cef_jointrsfoam2}}}}}, \label{eq:cautiscat}
\\[-.5\baselineskip]
\kup{\scriptstyle{\NB{\tikz[scale = 0.8]{\input{\imagesfolder/cef_squarefoam}}}}}
= \hspace*{-3mm}\sum_{\substack{j = \max(0, m-n),\dots, m \\ \alpha \in T(k-j, l-k+j)}}\hspace*{-9mm} (-1)^{|\alpha| + (l-k+j)(m-j)} \kup{F^j_\alpha},
\label{eq:squarecat}
\end{gather}
where
\[
F_\alpha^j\eqdef\!\! \sum_{\substack{\beta_1, \beta_2\\ \gamma_1, \gamma_2}} \!\! c^\alpha_{\beta_1\beta_2} c^{\widehat{\alpha}}_{\gamma_1 \gamma_2}
\scriptstyle{\NB{\tikz[scale = 0.9]{\input{\imagesfolder/cef_squarefoam2}}}}.
\]
Moreover, in identities~\eqref{eq:MPcat}, \eqref{eq:digoncat}, \eqref{eq:digonDURcat}, \eqref{eq:cautiscat} and \eqref{eq:squarecat}, the terms on the right-hand sides are mutually orthogonal idempotents. In the previous formulas $T(a,b)$ denotes the set of all Young diagram contained in the rectangle of size $a\times b$, $\pi_\lambda$ denotes the Schur polynomial associated with $\lambda$ and $c_{\sbullet\sbullet}^\sbullet$ denote the Littlewood-Richardson constant. Further explanations of notations and conventions can be found in \cite[App.\,1]{RW1}.

In identity~\eqref{eq:squarecat}, $\kup{\cbullet}$ needs to be extended linearly to formal $\QQ$-linear combinations of foams.
\end{prop}

Using this evaluation and the universal construction idea (see~\cite{MR1362791}), we define a functor $\FS_N$ from the category of foams to the category of $\QQ[x_1, \dots, x_N]^{\frS_N}$-module.

If $\Gamma$ is a MOY graph, consider the free graded $\QQ[x_1, \dots, x_N]^{\frS_N}$-module spanned by $\Hom_\Foam(\emptyset, \Gamma)$. We mod this space out by
\[
\bigcap_{G\in \Hom_{\Foam}(\Gamma, \emptyset)}\Ker\Bigl(
\begin{array}{rcl}
\Hom_\Foam(\emptyset, \Gamma)& \dpl\to & \QQ[x_1, \dots, x_N]^{\frS_N} \\
F&\dpl\mto & \kup{G\circ F}
\end{array}
\Bigr).
\]
We define $\FS_N(\Gamma)$ to be this quotient. The definition of $\FS_N$ on morphisms follows.
From Proposition~\ref{prop:relations-cat-ext}, we deduce that the functor $\FS_N$ categorifies the exterior MOY calculus.

\begin{cor}[\cite{RW1}]
\label{cor:catofMOYcalulus}
Let $\Gamma$ be a closed MOY graph, then $\FS_N(\Gamma)$ is a free graded $\QQ[x_1, \dots, x_N]^{\frS_N}$-module of graded rank equal to $\kup{\Gamma}_N$.
\end{cor}

In Sections~\ref{sec:disk-like-foams} and \ref{sec:quasi-annular-foams} we will work with elements of $\FS_N(\Gamma)$. Such elements are represented by $\QQ[x_1, \dots, x_N]^{\frS_N}$-linear combination of foams bounding $\Gamma$. Since it is more convenient to work with representatives of classes than with the classes themselves, we introduce the following terminology.

\skpt
\begin{dfn}
\label{dfn:equivalence-relations}
\begin{enumerate}
\item Let $\sum_i \lambda_i F_i$ and $\sum_j \mu_j G_j$ be two elements of the free graded $\QQ[x_1, \dots, x_N]^{\frS_N}$-module spanned by $\Hom_\Foam(\emptyset, \Gamma)$. We say that they are \emph{$N$-equivalent} if they represent the same element in $\FS_N(\Gamma)$.
\item Let $\sum_i \lambda_i F_i$ and $\sum_j \mu_j G_j$ two elements of the graded $\QQ$-vector space generated by $\Hom_\Foam(\emptyset, \Gamma)$. We say that they are \emph{$\infty$-equivalent} if they are $N$-equivalent for all~$N$ in~$\NN$.
\item Define $\IE(\Gamma)$ the graded $\QQ$-vector space generated by $\Hom_\Foam(\emptyset, \Gamma)$ modded out by $\infty$-equivalence.
\end{enumerate}
\end{dfn}

\begin{rmk}
\label{rmk:relation2equivalence}
The local identities~\eqref{eq:MPcat}, \eqref{eq:dotmig}, \eqref{eq:digoncat}, \eqref{eq:cautiscat} and \eqref{eq:squarecat} can be translated into $\infty$-equivalences, while the local identities~\eqref{eq:neckcuttingcat} and \eqref{eq:digonDURcat} can only be translated into $N$-equivalences.
\end{rmk}

\subsection{Disk-like foams (or HOMPLYPT foams)}
\label{sec:disk-like-foams}

For this section we fix a non-negative integer. We will work in $\RR^3$ and we denote by $P$ the plane spanned by
$\left(
\begin{smallmatrix}
1 \\ 0 \\0
\end{smallmatrix}\right)$ and $
\left(\begin{smallmatrix}
0 \\ 0 \\1
\end{smallmatrix} \right).$

We consider the cube $C = [0,1]^3$ and will use the following parametrization of its boundary:

\[
\NB{\begin{tikzpicture}[scale= 1.5]
\input{\imagesfolder/sym_cube}
\end{tikzpicture}}
\qquad
\begin{array}{l}
s_b = [0,1]^2\times \{0\} \\
s_t = [0,1]^2\times \{1\} \\
s_f = [0,1]\times \{0\} \times [0,1]\\
s_h = [0,1]\times \{1\} \times [0,1]\\
s_l = \{0\} \times [0,1]^2\\
s_r = \{1\} \times [0,1]^2
\end{array}
\]

The symbols $s_\sbullet$ denote the 6 squares of the boundary of $C$ and the letters $f, h, l, r, b, t$ stand for \textbf{f}ront, \textbf{h}idden, \textbf{l}eft, \textbf{r}ight, \textbf{b}ottom and \textbf{t}op. The plan $P$ is parallel to the square $s_f$ and $s_h$.

\begin{dfn}
\label{dfn:foamincube}
Let $F$ be a foam with boundary embedded in $C$. Suppose that the boundary of $F$ is contained in $s_l\cup s_r\cup s_b\cup s_t$, and that the MOY-graphs $F\cap s_f$, $F\cap s_h$, $F\cap s_b$ and $F\cap s_t$ are all braid-like. We say that $F$ is \emph{disk-like} if for every point $x$ of $F$, the normal line of the foam $F$ at $x$ is \emph{not} parallel to $P$.

We say that $F$ is a \emph{rooted $\Gamma$-foam of level $k$} if additionally:
\begin{itemize}
\item the restriction of $F$ on $s_b$ is a single strand labeled $k$,
\item the restriction of $F$ on $s_t$ is a braid-like MOY graph $\Gamma$,
\item the restriction of $F$ on $s_l$ and $s_r$ are standard trees (see Definition~\ref{dfn:canonical-tree}).
\end{itemize}
\end{dfn}
\begin{rmk}
\label{rmk:levelofdisklikefoam}
The notion of \emph{level} (see Remark~\ref{rmk:braidlikeisotopy}) extends to disk-like foams.
\end{rmk}

The name disk-like comes from the following lemma.

\begin{lem}
\label{lem:disklikesubsurface} Let $F$ be a disk-like foam. Every non-empty connected subsurface of~$F$ is a disk whose boundary circle intersects each of the four squares $s_l, s_r, s_b$ and~$s_t$ non-trivially.
\end{lem}

\begin{proof}
We consider a non-empty subsurface $\Sigma$ of $F$.
The condition on the normal vector of disk-like foams implies that the projection on the second (\resp the third) coordinate provides a Morse function with no critical points. This implies that $\Sigma$ is diffeomorphic to its intersection with $s_l$ (\resp $s_b$) times the interval. Since $\Sigma$ is non-empty and connected $s_l \cap \Sigma$ is an interval. Finally, $\Sigma$ is a disk which intersects non-trivially the four squares $s_l, s_r, s_b$ and $s_t$.
\end{proof}

\begin{rmk}
\label{rmk:cutdisklike2braidlike} Let $F$ be a disk-like foam. The condition on the normal vector implies that for all $t$ in $[0,1]$ the intersection of $\{t\}\times[0,1]^2$ (\resp $[0,1]\times \{t\}$) with $F$ is transverse. Moreover, if $\{t\}\times[0,1]^2$ (\resp $[0,1]\times \{t\}$) does not contain any singular point of $F$, $\{t\}\times[0,1]^2 \cap F$ (\resp $[0,1]\times \{t\} \cap F$) is a braid-like MOY graph. A very similar result (Corollary~\ref{cor:tubelike2vynil}) is given a proper proof in the next subsection.
\end{rmk}

\begin{dfn}
\label{dfn:disklikefoamcat}
Let us fix a non-negative integer $k$. The $2$-category $\DLF_k$ of disk-like foams of level $k$ consists of the following data:
\begin{itemize}
\item Objects are finite sequences of positive integers of level $k$.
\item A 1-morphism from $\listk{k}_0$ to $\listk{k}_1$ is a braid-like $\listk{k}_1$\nobreakdash-MOY graph-$\listk{k}_0$ (it has level $k$). Composition is given by concatenation of braid-like MOY graphs.
\item A 2-morphism from a braid-like $\listk{k}_1$\nobreakdash-MOY graph-$\listk{k}_0$ $\Gamma_{\bot}$ to a braid-like $\listk{k}_1$\nobreakdash-MOY graph-$\listk{k}_0$ $\Gamma_{\top}$ is an ambient isotopy class (relative to the boundary) of a disk-like foam $F$ in the cube $C$ such that:
\begin{itemize}
\item the intersection of $F$ with $s_b$ is equal to $-\Gamma_{\bot}$,
\item the intersection of $F$ with $s_t$ is equal to $\Gamma_{\top}$,
\item the intersection of $F$ with $s_l$ is equal to $-\listk{k}_0 \times [0,1]$,
\item the intersection of $F$ with $s_r$ is equal to $\listk{k}_1 \times [0,1]$.
\end{itemize}
Compositions are given by stacking disk-like foams and re-scaling. This is illustrated in Figure~\ref{fig:com2mor}.
\end{itemize}
The $2$-category $\widehat{\DLF_k}$ is constructed as follows:
\begin{itemize}
\item Start from the $2$-category $\DLF_k$.
\item Linearize the 2-hom-spaces over $\QQ$.
\item Mod out every $2$-homspace by $\infty$-equivalence (disk-like foams are considered as foams from $\emptyset$ to the boundary vinyl graph).
\end{itemize}
\end{dfn}

\begin{figure}[htb]
\centering
\tikz[scale =1.15]{\input{\imagesfolder/sym_comp2morphisms}}
\vspace{0.5cm}

\tikz[scale =1.15]{\input{\imagesfolder/sym_comp2morphisms2}}
\caption{ Vertical (top) and horizontal (bottom) compositions of 2-morphisms in $\DLF_k$.}
\label{fig:com2mor}
\end{figure}

\begin{dfn}
\label{dfn:degree-disk-like}
Let $\listk{k}_0$ and $\listk{k}_1$ be two objects of the $\DLF_k$ and $\Gamma_{\bot}$ and $\Gamma_{\top}$ two 1-morphism from $\listk{k}_0$ to $\listk{k}_1$. The \emph{degree} of a 2-morphism $F: \Gamma_{\textrm{bot}} \to \Gamma_{\textrm{top}}$ is given by formula
\[
\degD(F) = \degext_0(F) - \frac{||\listk{k}_0||^2 + ||\listk{k}_1||^2}{2},
\]
where $\degext_0(F)$ is the degree of $F$ as an exterior $0$-foam (see Definition~\ref{dfn:degreefoam}) and if $\listk{k}:= (k_1, \dots, k_l)$ is a finite sequence of non-negative integers, $||\listk{k}||^2:= \sum_{i=1}^l k_i^2$.

Let $\Gamma$ a $1$-morphism from $\listk{k}_0$ to $\listk{k}_1$. The \emph{degree} of a rooted $\Gamma$-foam $F$ is given by:
\[
\degR(F) = \degext_0(F) - \frac{||\listk{k}_0||^2 + ||\listk{k}_1||^2 + 2 k^2}{4}.
\]
\end{dfn}

\begin{rmk}
\label{rmk:degreecompatible}
One easily checks that with these definition the degree of $2$\nobreakdash-mor\-phisms is additive with respect to vertical and horizontal compositions. In particular, the degrees of identity $2$-morphisms are $0$. Since the relations defining the $\infty$\nobreakdash-equi\-valence are homogeneous, this degree induces a grading on the $2$-homspaces of $\widehat{\DLF_k}$. Moreover, the composition of a rooted $\Gamma_{\bot}$-foam with an element of $\hom(\Gamma_{\bot}, \Gamma_{\top})$ is a rooted $\Gamma_{\top}$-foam, and the degree is additive with respect to this composition.
\end{rmk}

\begin{dfn}
\label{dfn:treelikefoams}
Let $\Gamma$ be a braid-like MOY-graph, and $F$ be a rooted $\Gamma$-foam. We say that $F$ is \emph{tree-like}, if $\{t\}\times [0,1]^2 \cap F$ is a tree for all $t$ in $[0,1]$. In particular, if $\{t\}\times [0,1]^2$ does not contain any singular point of $F$, then $\{t\}\times [0,1]^2 \cap F$ is a braid-like tree.
\end{dfn}

From Lemma~\ref{lem:trees} we derive the following lemma which tells us that disk-like foams are combinatorially very simple:

\begin{lem}
\label{lem:diskdisklike}
Let $k$ be a non-negative integer, $\Gamma$ be the braid-like $k$\nobreakdash-MOY \hbox{graph-$k$} consisting of one single strand labeled by $k$ and $F$ be a rooted $\Gamma$-foam (that is, a disk-like foam which bound a circle with label $k$). Then $F$ is $\infty$-equivalent to a disk with label~$k$ decorated by $(-1)^{\sfrac{k(k+1)}{2}}\bkup{\widehat{F}}_k$, where $\widehat{F}$ is the foam obtained from $F$ by capping it with a disk labeled by $k$.
\end{lem}

Note that this makes sense since $\bkup{\widehat{F}}_k$ is a symmetric polynomial in $k$ variables.

\begin{proof}
Let us denote by $D$ the disk with label $k$ decorated by $(-1)^{\sfrac{k(k+1)}{2}}\bkup{\widehat{F}}_k$.
It follows directly from the definition of the $\sll_k$-evaluation of foams, that $F$ is $k$-equivalent to $D$. The sign comes from the term $\sum_{i=1}^ki\chi(F_i(c))/2$ in the definition of $s(F,c)$ (see Definition~\ref{dfn:exteval}). If $N<k$, then both $D$ and $F$ are $N$-equivalent to $0$.

If $N>k$, we will see that the $N$-equivalence between $F$ and $D$ follows from their $k$-equivalence. We need to prove that for any foam $G$ bounding a circle with label $k$, $\kup{F\circ G}_N= \kup{D\circ G}_N$. First note that thanks to identity~\eqref{eq:neckcuttingcat}, we can suppose that $G$ is a decorated disk of label $k$. In this case, $D\circ G$ is a decorated sphere of label $k$. Let $c$ be a coloring of $D\circ G$. The coloring $c$ is given by the color $I(c)=\{i_1(c), \dots, i_k(c)\}\subseteq\Col$ of this sphere. We have:
\begin{align} \label{eq:DGc}
\kup{D\circ G,c}_N = \frac{\kup{D\circ G}_k(x_{i_1(c)}, \dots x_{i_k(c)})}{\prod_{\substack{i\in I(c)\\ j\in \Col\setminus I(c)}}(x_{j}-x_{i})}.
\end{align}
Note the foam $D\circ G$ being a sphere, it admits only one $\sll_k$-coloring. It can be obtained from $c$ by replacing $i_a(c)$ by $a$ in $I(c)$ for all $a\in \{1,\dots k\}$.

Similarly, if $c$ is a coloring of $F\circ G$, it gives to the facet containing $G$ a color $I(c)=\{i_1(c), \dots, i_k(c)\}$. Let us denote by $f: I(c) \to \{1, \dots, k\}$ the one-to-one map given by $f(i_a)=a$ and $f(c)$ the $\sll_k$-coloring of $F\circ G$ induced from $c$ by $f$. We have:
\begin{align}\label{eq:FGc}
\kup{F\circ G,c}_N = \frac{\kup{F\circ G, f(c)}_k(x_{i_1(c)}, \dots, x_{i_k(c)})}{\prod_{\substack{i\in I\\ j\in \Col\setminus I}}(x_{j}-x_i)}.
\end{align}
Combining \eqref{eq:DGc} and \eqref{eq:FGc} and keeping the same notations, we get:
\begin{align*}
\kup{F\circ G}_N &= \sum_{c \in \col_N(F\circ G)} \kup{F \circ G,c}_N= \sum_{\substack{I \subseteq \Col \\ \#I = k }} \sum_{\substack{c \in \col_N(F\circ G)\\ I(c) =I}} \kup{F \circ G,c}_N \\
&= \sum_{\substack{I \subseteq \Col \\ \#I = k }} \sum_{\substack{c \in \col_N(D\circ G)\\ I(c) =I}} \kup{D \circ G,c}_N = \kup{D\circ G}_N.\qedhere
\end{align*}
\end{proof}

\begin{lem}
\label{lem:treelike-are-enough}
A rooted $\Gamma$-foam $F$ is $\infty$-equivalent to a $\ZZ$-linear combination of tree-like foams.
\end{lem}

\begin{proof}
First, assume that $\Gamma$ is a braid-like $k$\nobreakdash-MOY graph-$k$.
We will show that $F$ is $\infty$-equivalent to a $\ZZ$-linear combination of foams which are superposition of a tree-like $\Gamma$-foam on top of a disk-like foam which bounds a circle and conclude by Lemma~\ref{lem:diskdisklike}
Assume further that $\Gamma$ has the form:
\[\digona\]
Then, this is the content of identities \eqref{eq:digoncat}.

If $\Gamma$ is a braid-like $k$\nobreakdash-MOY graph-$k$, the result is obtained by induction using repeatedly identities~\eqref{eq:MPcat} and \eqref{eq:digoncat}. See Figure~\ref{fig:alamain} for an illustration.

\begin{figure}[htb]
\[
\NB{\tikz[scale=0.5]{\input{\imagesfolder/sym_gen-digon}}}
\sim_\infty \sum\,
\NB{\tikz[scale=0.5]{\input{\imagesfolder/sym_gen-digon-2}}}
\]
\caption{} \label{fig:alamain}
\end{figure}

This induction can be thought of a categorified implementation of the algorithm described in Lemma~\ref{lem:trees}.

The general case follows. The foam $F$ is embedded in the cube. Consider on $s_f$ the following curve
\[
\NB{\tikz{\input{\imagesfolder/sym_redcurve}}}
\]
and $S$ the surface embedded in the cube obtained as a product of the previous curve with a unit interval. The intersection of a thickening of this surface with the foam $F$ along is diffeomorphic to a $k$\nobreakdash-MOY graph-$k$ for which the first case applies.
\end{proof}

\begin{rmk}
\label{rmk:dotonlyonleaves} Using the dots migration identity~\eqref{eq:dotmig}, we obtain that a tree-like rooted $\Gamma$-foam is $\infty$-equivalent to $\ZZ$-linear combination of tree-like rooted $\Gamma$-foams, where all non-trivial decoration are on facets which intersect $\Gamma$. These facets are the \emph{leaves} of the rooted $\Gamma$-foam.
\end{rmk}

\begin{lem}
\label{lem:tree-likeRequivalent}
Let $F$ and $F'$ be two tree-like rooted $\Gamma$-foams with non-trivial decorations only on their leaves. Suppose furthermore that these decorations are the same\footnote{The fact that the non-trivial decoration are only on the leaves allows to see the decoration as a function associating a symmetric polynomial with every edge of $\Gamma$. We require that these functions to be the same for $F$ and $F'$.} for $F$ and $F'$. Then $F$ is $\infty$-equivalent to $F'$.
\end{lem}
\begin{proof}
This follows directly from the definition of the exterior evaluation of foams. The set of colorings of $F$ and of $F'$ are in one-to-one correspondence (because they are both in one-one correspondence with the set of colorings of their boundary). Let us denote $c$ and $c'$ two corresponding colorings of $F$ and $F'$. The monochrome and the bichrome surfaces of $(F,c)$ and $(F',c')$ are diffeomorphic. The oriented arcs in $(F,c)$ and $(F',c)$ are in one-one correspondence preserving their orientation. Finally the condition on the decorations of $F$ and $F'$ ensures that their contributions to the evaluation are equal.
\end{proof}

\subsection{Vinyl foams (or symmetric foams)}
\label{sec:quasi-annular-foams}

In this part, we work in the thickened annulus $\ann\times [0,1]$. If $
x:= \left(\begin{smallmatrix}
x_1 \\ x_2 \\ x_3
\end{smallmatrix}\right)$ is an element of $\ann\times [0,1]$, we denote by $t_x$ the vector
$ \left(\begin{smallmatrix}
-x_2 \\ x_1 \\ 0
\end{smallmatrix}\right)$, by $v$ the vector
$ \left(\begin{smallmatrix}
0 \\ 0 \\ 1
\end{smallmatrix}\right)$, and by $P_x$ the affine plane containing $x$ and spanned by~$t_x$ and~$v$. If $\theta$ is an element of $[0,2\pipi[$, $P_\theta$ is the half-plane $\left\{
\left.\left(\begin{smallmatrix}
\rho \cos \theta \\ \rho \sin \theta \\ t
\end{smallmatrix}\right) \right | (\rho,t) \in \RR_+\times \RR\right\}$.

\[
\tikz[scale=0.8]{\input{\imagesfolder/sym_tubemlikedef}}
\]

\begin{dfn}
\label{dfn:tubelikefoam}
Let $k$ be a non-negative integer and $\Gamma_0$ and $\Gamma_1$ two vinyl graphs of level $k$. Let $F$ be a foam with boundary embedded in $\ann \times [0,1]$. Suppose that $F\cap (\ann\times \{0\}) = -\Gamma_0$ and $F\cap (\ann\times \{1\}) = \Gamma_1$. We say $F$ is a \emph{vinyl $\Gamma_1$-foam-$\Gamma_0$ of level $k$} if for every point $x$ of $F$, the normal line of $F$ at $x$ is \emph{not} contained in $P_x$. See Figure~\ref{fig:tuble-like} for an example.
\end{dfn}

\begin{rmk}
\label{rmk:cutopentubelike}
Note that if we cut a vinyl foam $F$ along a half plane $P_\theta$, we obtain a disk-like foam.
\end{rmk}

\begin{figure}[htb]
\centering
\[
\tikz[scale=0.9]{\input{\imagesfolder/sym_tubeexample}}
\]
\caption{An example
of a vinyl foam}
\label{fig:tuble-like}
\end{figure}

\begin{dfn}
\label{dfn:cattubelike}
The category $\TL_k$ of vinyl foams of level $k$ consists of the following data:
\begin{itemize}
\item the objects are elements of $\Vin_k$, \ie vinyl graphs of level $k$,
\item morphisms from $\Gamma_0$ to $\Gamma_1$ are (ambient isotopy classes of) vinyl $\Gamma_1$-foams-$\Gamma_0$.
\end{itemize}
Composition is given by stacking vinyl foams together and rescaling. In the category $\TL_k$ we have one distinguished object which consists of a single essential circle with label $k$ denoted by $\SS_k$. The \emph{degree} $\degT(F)$ of a vinyl foam $F$ is equal to $\degext_0(F)$. Note that the degree is additive with respect to the composition in $\TL_k$.
\end{dfn}

The name vinyl comes from the following lemma.
\begin{lem}
\label{lem:tubelikesubsurface}
Let $F$ be a vinyl $\Gamma_1$-foam-$\Gamma_0$. Then any non-empty connected subsurface $\Sigma$ of $F$ is an annulus. Moreover, for every $t$ in $[0,1]$, $\Sigma \cap \ann \times \{t\}$ is an essential circle in $\ann \times \{t\}$. Such annuli are called \emph{tubes}.
\end{lem}

\begin{proof}
The condition on the tangent plane of vinyl foams implies that the projection on the last coordinate is a Morse function for $\Sigma$ and that it has no critical points. The result follows.
\end{proof}

\begin{cor}
\label{cor:tubelike2vynil} Let $F$ be a vinyl $\Gamma_1$-foam-$\Gamma_0$.
\begin{enumerate}
\item Let $t$ be an element of $[0,1]$ such that the intersection of $\ann\times \{t\}$ and $F$ is generic (\ie $\ann\times \{t\}$ does not contain any singular points of $F$ and the intersection of $\ann\times \{t\}$ with the bindings of $F$ is transverse). Then $F\cap \ann\times \{t\}$ is a vinyl graph.
\item Let $\theta$ be an element of $[0,2\pipi[$ and assume that the intersection of $F$ with $P_\theta$ is generic. Then the intersection of $F$ and $P_\theta$ is braid-like.
\end{enumerate}
\end{cor}
Before proving the statements, let us emphasize that there are only finitely many~$t$'s (\resp $\theta$'s) for which the intersection of $F$ and $\ann\times \{t\}$ (\resp $P_\theta$) is not generic.

\begin{proof}
First note that every point of $F$ is contained in a connected subsurface which intersects $\ann\times\{0,1\}$ non-trivially. Indeed we can cable foams just like we can cable MOY graphs (see Figure~\ref{fig:rotMOY}). This gives us a collection of sub-surfaces of $F$ which covers it.
Let us prove the first part.
Let $x=
\left(\begin{smallmatrix}
x_1 \\ x_2 \\ t_0
\end{smallmatrix} \right)
$ be a point in $F$ and $\Sigma$ a connected subsurface of $F$ containing $x$. Since $F$ is vinyl, the scalar product of $t_x$ with the tangent vector of $F\cap \ann\times \{t\}$ is non-zero. Since $\Sigma$ is connected, this quantity is either always positive or always negative on $\Sigma$. The graphs $\Gamma_0$ and $\Gamma_1$ being vinyl, it is positive. This proves that $F\cap \ann\times \{t\}$ is vinyl.

The second part is similar but we consider the scalar product of $P_\theta\cap F$ with
$v= \left(\begin{smallmatrix}
0 \\ 0 \\1
\end{smallmatrix} \right)$.
\end{proof}

The notion of tree-like foams developed in Section~\ref{sec:disk-like-foams} extends mutatis mutandis to the concept of foams in the thickened annulus. The analogues of rooted $\Gamma$-foams are $\widehat{\Gamma}$-foams-$\SS_{k}$. We have analogues of Lemmas~\ref{lem:treelike-are-enough} and \ref{lem:tree-likeRequivalent}:

\begin{lem}
\label{lem:vinyl2tree-like}
Let $\Gamma$ be a vinyl graph of level $k$ and $F$ a vinyl $\Gamma$-foam-$\SS_k$. Then $F$ is $\infty$-equivalent to a $\ZZ$-linear combination of tree-like foams.
\end{lem}

\begin{proof}
First we choose a $\theta$ in $[0,2\pipi]$ such that the intersection of $P_\theta$ with the foam~$F$ is generic. Thanks to Corollary~\ref{cor:tubelike2vynil}, we know that this intersection is a braid-like $\listk{k}$\nobreakdash-MOY graph-$k$ $B$ for some finite sequence $\listk{k}$ of positive integers. We can suppose that $F$ is locally diffeomorphic to $B \times [\epsilon, \epsilon]$. The algorithm described in Lemma~\ref{lem:trees} and the local identities~\eqref{eq:MPcat} and \eqref{eq:digoncat} tells us that $F$ is $\infty$-equivalent to a $\ZZ$-linear combination of vinyl foams such that the intersection with $P_\theta$ is the canonical \hbox{$\listk{k}$-tree-$k$}. If we cut these foams along $P_\theta$, we can apply Lemma~\ref{lem:treelike-are-enough} on each of these foams. Gluing back the result along the canonical $\listk{k}$-tree-$k$ gives us a $\ZZ$-linear combination of tree-like $\Gamma$-foams-$\SS_k$ which is $\infty$-equivalent to $F$.
\end{proof}

\begin{rmk}
\label{rmk:leaves}
Just like for the disk-like context, thanks to the dot migration identity~\eqref{eq:dotmig}, we can move all non-trivial decorations of a tree-like foam on its leaves.
\end{rmk}

The proof of Lemma~\ref{lem:tree-likeRequivalent} can be easily adapted to the annular case. This gives the following lemma.

\begin{lem}
\label{lem:tree-likeRequiv}
Let $\Gamma$ be a vinyl graph and $F$ and $F'$ be two tree-like $\Gamma$-foams-$\SS_k$ with non-trivial decorations only on their leaves. Suppose furthermore that these decorations are the same for $F$ and $F'$. Then $F$ is $\infty$-equivalent to $F'$.
\end{lem}

\section{Soergel bimodules}
\label{sec:soergel-bimodules-1}
In this section we prove that for any braid-like MOY graph $\Gamma$ the space of rooted $\Gamma$\nobreakdash-foams regarded up to $\infty$-equivalence is isomorphic to the Soergel bimodule associated with $\Gamma$.

\Subsection{Some polynomial algebras}
\label{sec:some-polyn-algebr}

\skpt
\begin{notation}
\label{not:polynomial-algebras}
\begin{enumerate}
\item We denote the graded ring $\QQ[T_1, \dots,T_N]^{\frS_N}$ by $\SP{N}$, where the indeterminates~$T_\sbullet$ are homogeneous of degree $2$. This is the \emph{$q$-degree}.
\item Denote by $\sfC$ the category of $\ZZ$-graded finitely generated projective $\SP{N}$\nobreakdash-mod\-ules. If $M$ is an object of $\sfC$, $Mq^{i}$ denotes the same object where the degree has been shifted by $i$. This means that $(Mq^i)_j = M_{j-i}$. If $P(q)= \sum_i a_i q^i$ is a Laurent polynomial in $q$ with positive integer coefficients, $MP(q)$ denotes the module
\[
\bigoplus_i (Mq^i)^{a_i}.
\]
\item Let $\listk{k}= (k_1, \dots, k_l)$ be a finite sequence of
positive
integers of level $k$ (if $k=0$ the empty sequence is allowed).
The group $\prod_{i=1}^l \frS_{k_i}$ is denoted by
${\frS_{\listk{k}}}$. We define the algebra $A_{\listk{k}}$:
\[ A_{\listk{k}}:=\SP{N}[x_1, \dots, x_k]^{\frS_{\listk{k}}}. \]
The indeterminates $x_\sbullet$ are homogeneous of degree $2$. If $\listk{k}= (k)$ (that is, if $\listk{k}$ has length~$1$), we write $A_k$ instead of $A_{(k)}$.
\item If $\Gamma$ is a vinyl graph, denote by $\IET(\Gamma)_\QQ$ the graded $\QQ$-vector space generated by vinyl $\Gamma$-foams-$\SS_k$ modded out by $\infty$-equivalence (see Definition~\ref{dfn:equivalence-relations}). Define $\IET(\Gamma):= \IET(\Gamma)_\QQ\otimes_\QQ \SP{N}$. Since for all $k$, the exterior $\sll_k$-evaluation of foams is homogeneous, the $\SP{N}$-module $\IET(\Gamma)$ is naturally graded.
\end{enumerate}
\end{notation}

Before dealing with Soergel bimodules, we state the following lemma which relates the algebra $A_{\listk{k}}$ with vinyl foams.

\begin{lem}
\label{lem:IE4circles}
Let $\listk{k} := (k_1, \dots, k_l)$ be a finite sequence of positive integers and $\SS_{\listk{k}}$ be the vinyl graph which consists of $l$ oriented circles with labeling induced by $\listk{k}$. Then $\IET(\SS_{\listk{k}})$ is isomorphic to $A_{\listk{k}}$ as a graded $\SP{N}$-module.
\end{lem}

\begin{proof}
Let $k = \sum_{i}^l k_i$ and $T$ be the canonical $\listk{k}$-tree-$(k)$. For $i$ in $\{1, \dots, l\}$ and~$\lambda_i$ denotes a Young diagram with at most $k_i$ lines. Denote $\pi_{\lambda_i}^{(i)}$ the Schur polynomial associated with $\lambda_i$ in the variables $x_{1+r_i}, \dots, x_{k_i+ r_i}$ where $r_i=\sum_{j=1}^{i-1} k_j$.

A $\SP{N}$-base of $A_{\listk{k}}$ is given by $(\pi_{\lambda_1}^{(1)}, \dots, \pi_{\lambda_l}^{(l)})=: \pi_{\boldsymbol{\lambda}}$ where the $\lambda_i$'s take all possible shapes. Being given $\boldsymbol{\lambda}= (\lambda_1, \dots, \lambda_l)$ a sequence of of Young diagrams as described above, define $F_{\boldsymbol{\lambda}}$ to be the foam $T \times \SS^1$ where the $i$th leaf of $F$ is decorated by the Schur polynomial $\pi_{\lambda_i}^{(i)}$.

Let us prove that the $\SP{N}$-linear map sending $\pi_{\boldsymbol{\lambda}} \in A_{\listk{k}}$ to $F_{\boldsymbol{\lambda}}\in \IET(\SS_{\listk{k}})$ is bijective. It is surjective because of dots migration \eqref{eq:dotmig}. Let $\sum_{j=1}^h\mu_{\boldsymbol{\lambda}_j} \pi_{\boldsymbol{\lambda}_j}$ be a linear combination of monomials mapped to $0$. Let $\ell_{\max}$ be the maximal length of all lines appearing in the Young diagrams of all the size of the Young diagram of $(\boldsymbol{\lambda}_j)_{j=1, \dots, h}$. For $M = \ell_{max}(k+1)$, the foams $F_{\boldsymbol{\lambda}_h}$ precomposed by a cup labeled by $k$ are linearly independent in $\FS_{M}(\SS_{\listk{k}})$. Hence the coefficients $\mu_{\boldsymbol{\lambda}_j}$ must be all equal to $0$.
\end{proof}

\subsection{Singular Soergel bimodules}
\label{sec:sing-soerg-bimod}

We introduce singular Soergel bimodules. See for instance \cite{MR1173115, MR2097586, MR2339573, MR2844932} or \cite{2016arXiv160202769W} for a pictorial description close to ours.

\begin{dfn}
\label{dfn:soergel-bimodules}
Let $\Gamma$ be a braid-like $\listk{k}_1$\nobreakdash-MOY graph-$\listk{k}_0$. If $\Gamma$ has no trivalent vertices, we have $\listk{k}_0= \listk{k}_1$ and we define $\BS(\Gamma)$ to be equal to $A_{\listk{k}_0}$ as a \hbox{$A_{\listk{k}_0}$-module-$A_{\listk{k}_0}$}. If $\Gamma$ has only one trivalent vertex (which is supposed to be of type $(a,b,a+b)$), then:
\begin{itemize}
\item if the length of $\listk{k}_1$ is equal to the length of $\listk{k}_0$ plus 1, we define $\BS(\Gamma)$ to be $A_{\listk{k}_1}q^{-ab/2}$ as a $A_{\listk{k}_1}$-module-$A_{\listk{k}_0}$;
\item if the length of $\listk{k}_0$ is equal to the length of $\listk{k}_1$ plus 1, we define $\BS(\Gamma)$ to be $A_{\listk{k}_0}q^{-ab/2}$ as a $A_{\listk{k}_1}$-module-$A_{\listk{k}_0}$;
\end{itemize}
If $\Gamma$ has more than one trivalent vertex, if necessary we perturb\footnote{In other words, we choose an ambient isotopy of the square such that the images of the trivalent vertices of $\Gamma$ have distinct $y$-coordinate.} $\Gamma$ to see it as a composition:
\[
\Gamma = \Gamma_t \circ_{\listk{k^t}} \Gamma_{t-1} \circ_{\listk{k^{t-1}}} \cdots \circ_{\listk{k^2}} \Gamma_1 \circ_{\listk{k^1}} \Gamma_0,
\]
where $\Gamma_i$ is a braid-like $\listk{k^{i+1}}$\nobreakdash-MOY graph-$\listk{k^{i}}$ with one trivalent vertex, for all $i$ in $\{0,\dots, t\}$. The symbols $\circ_{\listk{k^{i}}}$ mean that $\Gamma_i$ and $\Gamma_{i-1}$ are glued along $\listk{k^i}$. We have $\listk{k^{0}}= \listk{k}_{0}$ and $\listk{k^{t+1}} = \listk{k}_{1}$. We define
\[
\BS(\Gamma):= \BS(\Gamma_t) \otimes_{A_{\listk{k^t}}} \BS(\Gamma_{t-1}) \otimes_{A_{\listk{k^{t-1}}}} \cdots \otimes_{A_{\listk{k^2}}} \BS(\Gamma_1) \otimes_{A_{\listk{k^1}}} \BS(\Gamma_0).
\]
The space $\BS(\Gamma)$ has a natural structure of $A_{\listk{k}_1}$-module-$A_{\listk{k}_0}$. It is called the \emph{Soergel bimodule associated with $\Gamma$}. Note that the grading of $\BS(\Gamma)$ takes values either in $\ZZ$ or in $\frac12 + \ZZ$.
\end{dfn}

\begin{exa} The singular Soergel bimodule associated with
\label{exa:Soergel-bimodule-of-graph}
\[\Gamma =\NB{\tikz[font=\tiny]{\input{\imagesfolder/sym_examplesoergel.tex}}}
\]
is the following $A_{(2,1,2)}$-module-$A_{(1,2,1,1)}$:
\begin{multline*}
A_{(2,1,2)} \otimes_{A_{(2,3)}} A_{(2,3)} \otimes_{A_{(2,3)}} A_{(2,2,1)} \otimes_{A_{(4,1)}} A_{(4,1)} \otimes_{A_{(4,1)}} A_{(3,1,1)}\\
\shoveright{\otimes_{A_{(3,1,1)}} A_{(1,2,1,1)}q^{-13/2}} \\
\simeq A_{(2,1,2)} \otimes_{A_{(2,3)}} A_{(2,2,1)} \otimes_{A_{(4,1)}} A_{(1,2,1,1)} q^{-13/2}.
\end{multline*}
\end{exa}

\begin{rmk}
\label{rmk:soergel-well-defined}
For Definition~\ref{dfn:soergel-bimodules} to be valid, the isomorphism type of the bimodule $\BS(\Gamma)$ should not depend on the decomposition of $\Gamma$. This is clear since two such decompositions are related by the ``commutation of faraway vertices'' for which the isomorphism is clear (see as well Remark~\ref{rmk:soergel-well-defined-2}). The purpose of the grading shift introduced in the previous definition is to ensure compatibility of gradings in Proposition~\ref{prop:Soergel-foam}. In order to keep track of this overall shift, define
\[
s(\Gamma) = \sum_{\substack{v \textrm{ vertex of $\Gamma$} \\ \textrm{of type $(a,b, a+b)$}}} \frac{ab}2.
\]
\end{rmk}

\subsection{A $2$-functor}
\label{sec:$2$-functor}

The relationship between Soergel bimodules and foams has already been investigated, see for instance \cite{RW, 2016arXiv160202769W}. However, we develop in this section a foam interpretation of Soergel bimodules themselves and not only of morphisms between them.

\begin{dfn}
\label{dfn:foam-modulo-infty}
Let $\Gamma$ be a braid-like $\listk{k}_1$\nobreakdash-MOY graph-$\listk{k}_0$. We set $\IED(\Gamma)$ to be the free $\SP{N}$-module generated by the set of rooted $\Gamma$-foams modded out by $\infty$-equivalence. If $F$ is in $2$-$\Hom_{\DLF_k}(\Gamma_0, \Gamma_1)$, we denote by $\IED(F)$ the map $\IED(\Gamma_0) \to \IED(\Gamma_1)$ induced by $F$. It is a map of graded $\SP{N}$-modules. Given two objects $\listk{k}_0$ and $\listk{k}_1$ of $\DLF_k$, this defines a functor $\IED$ from $1$-$\Hom_{\DLF_k}(\listk{k}_0, \listk{k}_1)$ to the category of graded $\SP{N}$-modules.
\end{dfn}

\begin{lem}
\label{lem:id-dl-foam-2-algebra}
Let $\listk{k}= (k_1, \dots, k_l)$ be a finite sequence of positive integers. The space $\IED(\listk{k} \times I)$ has a natural structure of $\SP{N}$-algebra. As an algebra it is isomorphic to~$A_{\listk{k}}$.
\end{lem}

\begin{proof}
The algebra structure is induced by concatenation of disk-like $(\listk{k} \times I)$-foams along the standard tree. The unit is the standard tree times the interval, with each facets trivially decorated.
Note, that there is an isomorphism of $\SP{N}$-algebras:
\[
A_{\listk{k}} \simeq \bigotimes_{i=1}^l \SP{N}[x_1, \dots,x_{k_i}]^{\frS_{k_i}}.
\]
It is convenient to use this description of $A_{\listk{k}}$ to define the isomorphism between $A_{\listk{k}}$ and $\IED(\listk{k}\times I)$. For $\bP=P_1\otimes \dots \otimes P_l$ a pure tensor in $A_{\listk{k}}$, we define $\phi(\bP)$ to be the ($\infty$-equivalence class of the) standard tree times the interval with decorations $P_1, \dots, P_l$ on its leaves and trivial decorations on the other facets.
This is clearly an algebra morphism and it is surjective thanks to Lemma~\ref{lem:treelike-are-enough}. We now focus on injectivity. Both $\IED(\listk{k} \times I)$ and $A_{\listk{k}}$ have natural structures of $A_{k}$-modules. For $A_{\listk{k}}$ this comes from the injection of $A_{k}$ in $A_{\listk{k}}$. For $\IED(\listk{k} \times I)$, this comes by decorating the ``root'' facet, that is, the facet which bounds the edge $k \times I$ (which it self is in~$s_b$). The map~$\phi$ respects these structures of $A_{k}$-modules because the dots migration identity~\eqref{eq:dotmig} is part of the $\infty$-equivalence (see Remark~\ref{rmk:relation2equivalence}). Thanks to identity~\eqref{eq:digoncat} (which is as well compatible with the $\infty$-equivalence) used $(k-1)$ times, we know that $\IED(\listk{k} \times I)$ is free of rank
$\left[ \begin{smallmatrix}
k \\
k_1\,\, k_2\,\dots\, k_l
\end{smallmatrix} \right]$. The algebra $A_{\listk{k}}$ is as well a free $A_{k}$-module of rank $\left[\begin{smallmatrix}
k \\
k_1\,\, k_2\,\dots\, k_l
\end{smallmatrix} \right]$. This is enough to conclude that $\phi$ is indeed an isomorphism.
\end{proof}

\begin{cor}
\label{cor:bimodule-strucure-on-IE-Gamma}
Let $\Gamma$ be a braid-like $\listk{k}_1$\nobreakdash-MOY graph-$\listk{k}_0$. The space $\IED(\Gamma)$ has a natural structure of $A_{\listk{k}_1}$-module-$A_{\listk{k}_0}$. Let us define $r_s$ and $r_m$ the two Laurent polynomials by the formulas:
\[
r_s(\Gamma):= \prod_{\substack{v \in V(\Gamma)\textrm{ split} \\ \textrm{$v$ of type $(a,b,a+b)$}}}
\begin{bmatrix}
a+b \\ a
\end{bmatrix}
\quad \textrm{and} \quad
r_m(\Gamma):= \prod_{\substack{v \in V(\Gamma) \textrm{ merge} \\ \textrm{$v$ of type $(a,b,a+b)$}}}
\begin{bmatrix}
a+b \\ a
\end{bmatrix}.
\]
The space $\IED(\Gamma)$ is a free $A_{\listk{k}_1}$-module of graded rank $r_m(\Gamma)q^{-s(\Gamma)}$ and a free module\nobreakdash-$A_{\listk{k}_0}$ of graded rank $r_s(\Gamma)q^{-s(\Gamma)}$.

\end{cor}

\begin{proof}
The algebras $A_{\listk{k}_0}$ and $A_{\listk{k}_1}$ are isomorphic
to $\IED(\listk{k}_0\times I)$ and $\IED(\listk{k}_1\times I)$ and
the action of $A_{\listk{k}_0}$ and $A_{\listk{k}_1}$ are given by
concatenating disk-like $(\listk{k}_0\times I)$-foam and
$(\listk{k}_1\times I)$ along $s_r$ and $s_l$. The statement about
the freeness and the rank follows directly from
Lemma~\ref{lem:trees}, Remark~\ref{rmk:treeRT} and the fact that the
identities \eqref{eq:MPcat} and \eqref{eq:digoncat} holds in the
$\infty$-equivalence setting (see
Remark~\ref{rmk:relation2equivalence}.)
\end{proof}

\skpt
\begin{rmk}
\label{rmk:equality-dimension}
\begin{enumerate}
\item Note that this corollary implies, that for any braid-like
$\listk{k}_1$\nobreakdash-MOY graph-$\listk{k}_0$ $\Gamma$, we have:
\[
r_s(\Gamma)\dim^\QQ_q A_{\listk{k}_1} = r_m(\Gamma)\dim^\QQ_q
A_{\listk{k}_0}.
\]
where $\dim_q^\QQ W$ ($\in \ZZ[[q]]$) denotes the graded dimension
of a $W$ as a graded $\QQ$-vector space provided each graded piece
is finite-dimensional.
\item Recall that $\IED(\listk{k}_0\times I)$ and
$\IED(\listk{k}_1\times I)$ are spanned by decorated versions of
the interval times the standard $\listk{k}_0$-tree and the
standard $\listk{k}_1$-tree respectively. This implies that the
action of $A_{\listk{k}_0}$ and $A_{\listk{k}_1}$ on
$\IED(\Gamma)$ can be thought of as multiplying decoration on
facets adjacent to the standard $\listk{k}_0$-tree (contained in
the square $s_l$) and on the standard $\listk{k}_1$-tree
(contained in the square $s_r$) respectively.
\end{enumerate}
\end{rmk}

\begin{cor}
\label{cor:elementary-graph-2-soergel}
Let us consider $\Gamma_m$ the braid-like $\listk{k}_1$\nobreakdash-MOY graph-$\listk{k}_0$ and $\Gamma_s$
the braid-like $\listk{k}_0$\nobreakdash-MOY graph-$\listk{k}_1$ given by
\begin{align*}
\Gamma_m&:=\NB{\tikz[scale= 0.7]{\input{\imagesfolder/sym_mergeBL}}}\\
\tag*{and}
\Gamma_s&:=\NB{\tikz[scale= 0.7]{\input{\imagesfolder/sym_splitBL}}}.
\end{align*}
Then $\IED(\Gamma_s)$ isomorphic to $A_{\listk{k}_0}$ as a $A_{\listk{k}_1}$-module-$A_{\listk{k}_0}$ and
$\IED(\Gamma_m)$ isomorphic to~$A_{\listk{k}_0}$ as a graded $A_{\listk{k}_0}$-module-$A_{\listk{k}_1}$. This makes sense, since $A_{\listk{k}_1}$ is a sub-algebra of $A_{\listk{k}_0}$.
\end{cor}

\begin{proof}
We only prove the statement for $\Gamma_m$ (the proof for $\Gamma_s$
is similar). Denote~$\ell$ the length of $\listk{k}_0$ and let us fix $F$ a rooted tree-like
$\Gamma_m$-foam. We want to define a map~$\Psi$ from $A_{\listk{k}_0}$ to $\IED(\Gamma_m)$. An element of $A_{\listk{k}_0}$ is a finite sum of
elements of the form $P:=\prod_{i=1}^\ell P_i$ where $P_i$ is a
symmetric polynomial on $k_0^i$ variables. Define $\Psi(P)$ to be
the foam $F$ with decorations of that facets adjacent to the leaves
of the $\listk{k}_0$-tree given by the $P_\sbullet$'s. Pictorially,
for $\listk{k}_0 = (a,b,c)$ and $\listk{k}_1 = (a+b, c)$, this looks
like Figure \ref{newfig1}.
\begin{figure}[htb]
\[
\Psi(P) = \NB{\tikz{\input{\imagesfolder/sym_alg-to-foams-Gamma-s}}}.
\]
\vspace*{-\baselineskip}
\caption{}\label{newfig1}
\end{figure}

This map is clearly a bimodule map and it has degree ${-s(\Gamma_m)}$.
Thanks to Lemma~\ref{lem:treelike-are-enough}, the map $\Psi$ is
surjective. We conclude with
Corollary~\ref{cor:bimodule-strucure-on-IE-Gamma} which implies that
up to an overall grading shift of $-s(\Gamma_m)$, $\IED(\Gamma_m)$ and
$A_{\listk{k}_0}$ have the same graded dimension.
\end{proof}

\begin{lem}
\label{lem:comp-with-bim-str}
Let $\Gamma_b$ and $\Gamma_t$ be two braid-like $\listk{k}_1$\nobreakdash-MOY
graphs-$\listk{k}_0$ and $F$ be an element of
$2-\hom_{\DLF}(\Gamma_b, \Gamma_t)$. The linear map $\IED(F)$ is a
map of $A_{\listk{k}_1}$-modules-$A_{\listk{k}_0}$.
\end{lem}

\begin{proof}
The structures of $A_{\listk{k}_1}$-modules-$A_{\listk{k}_0}$ of
$\IED(\Gamma_b)$ and $\IED(\Gamma_b)$ is given by multiplying the
decoration of facets of foams adjacent to the $\listk{k}_0$-tree
(contained in the square $s_l$) and the $\listk{k}_1$-tree
(contained in the square $s_r$). Recall that the boundary foam~$F$
in the square $s_l$ (\resp in the square $s_r$) is
$\listk{k}_0 \times I$ (\resp $\listk{k}_1 \times I$). Hence
stacking~$F$ over a rooted $\Gamma_b$-foam does not change the
nature of the boundary in the squares~$s_l$ and~$s_r$. In particular,
acting with $A_{\listk{k}_1}$ or $A_{\listk{k}_0}$ before or after
stacking $F$ produces the same foam. Hence the actions of
$A_{\listk{k}_1}$ and $A_{\listk{k}_0}$ commute with $\IED(F)$.
\end{proof}

\begin{lem}
\label{lem:concat-2-tensor}
Let $\Gamma_0$ be a braid-like $\listk{k}_1$\nobreakdash-MOY graph-$\listk{k}_0$ and $\Gamma_1$ be be a $\listk{k}_2$\nobreakdash-MOY graph-$\listk{k}_1$. Then we have the following isomorphism of
$A_{\listk{k}_2}$-module-$A_{\listk{k}_0}$:
\[\IED(\Gamma_1 \circ_{\listk{k}_1} \Gamma_2) \simeq \IED(\Gamma_1) \otimes_{A_{\listk{k}_1}} \IED(\Gamma_2). \]
\end{lem}
\enlargethispage{-\baselineskip}%

\begin{proof}
We have an ${A_{\listk{k}_1}}$-bilinear morphism of $A_{\listk{k}_2}$-module-$A_{\listk{k}_0}$ from $\IED(\Gamma_1) \times \IED(\Gamma_2)$ (where $1^k= (1,\dots,1)$) to $\IED(\Gamma_1 \circ_{\listk{k}_1} \Gamma_2)$ given by concatenating foams along the standard tree for $\listk{k}_1$. This induce a map $\Psi:\IED(\Gamma_1) \otimes_{A_{\listk{k}_1}} \IED(\Gamma_2) \to \IED(\Gamma_1 \circ_{\listk{k}_1} \Gamma_2)$. We now prove that $\Psi$ is bijective.

The surjectivity is easy. Indeed, thanks to Lemmas~\ref{lem:treelike-are-enough} and \ref{lem:tree-likeRequivalent} every element of $\IED(\Gamma_1 \circ_{\listk{k}_1} \Gamma_2)$ is a linear combination of decorated tree-like foams $F_i$ and we can choose the shape of these tree-like foams. Hence we can suppose that at the locus where $\Gamma_1$ and $\Gamma_2$ are glued together, the intersection of the foams $F_i$ with a vertical plane are equal to the standard trees. Hence every $F_i$ is in the image of $\Psi$ and their sum as well.

To conclude, we argue with graded $\QQ$-dimensions since every graded piece is finite-dimensional. We have:
\begin{align*}
\dim_q^\QQ \left(\IED(\Gamma_1) \otimes_{A_{(k)}} \IED(\Gamma_2) \right)
&= r_m(\Gamma_1)r_s(\Gamma_2)\dim_q^\QQ A_{\listk{k}_1} q^{-s(\Gamma_1)} q^{-s(\Gamma_2)}\\
&= r_m(\Gamma_1)r_m(\Gamma_2)\dim_q^\QQ A_{\listk{k}_2} q^{-s(\Gamma_1)-s(\Gamma_2)} \\
&= r_m(\Gamma_1 \circ_{\listk{k}_1} \Gamma_2)\dim_q^\QQ A_{\listk{k}_2} q^{-s(\Gamma_1)-s(\Gamma_2)}\\
&= \dim_q^\QQ \left(\IED(\Gamma_1 \circ_{\listk{k}_1} \Gamma_2) \right).\qedhere
\end{align*}
\end{proof}

\begin{rmk}
\label{rmk:soergel-well-defined-2}
Note that from this lemma, we can re-obtain the fact that the bimodule $\BS(\Gamma)$ is well-defined. See Remark~\ref{rmk:soergel-well-defined}.
\end{rmk}

\begin{dfn}
\label{dfn:$2$-functor-foam-soergel}
For every $k$, we denote by $\BimS_k$ the $2$-category of singular Soergel bimodules of level $k$. More precisely:
\begin{enumerate}
\item The objects of $\BS_k$ are finite sequences of positive integers which sum up to $k$.
\item The category of 1-morphisms from $\listk{k}_0$ to $\listk{k}_1$ is the smallest abelian full sub-category of $A_{\listk{k}_1}$-module-$A_{\listk{k}_0}$ containing the $A_{\listk{k}_1}$-module-$A_{\listk{k}_0}$ $\BS(\Gamma)$ for any braid-like MOY graph $\Gamma$. Note that thanks to Corollary~\ref{cor:bimodule-strucure-on-IE-Gamma}, all objects of this category are projective (and therefore free) as $A_{\listk{k}_1}$-modules and as modules-$A_{\listk{k}_0}$, and are finitely generated for both of these structures.
\end{enumerate}
\end{dfn}

From Lemmas~\ref{lem:id-dl-foam-2-algebra} and \ref{lem:concat-2-tensor} and Corollaries~\ref{cor:bimodule-strucure-on-IE-Gamma} and \ref{cor:elementary-graph-2-soergel}, we deduce the following proposition:

\begin{prop}
\label{prop:Soergel-foam}
We have a $2$-functor
\begin{align*}
\IED: \thinspace \DLF_k &\to \BimS_k \\
\listk{k} &\mto \listk{k} \\
\Gamma &\mto \IED(\Gamma) \\
F &\mto \IED(F).
\end{align*}
which factorizes through the $2$-category $\widehat{\DLF_k}$.
\end{prop}

Actually, based on evidence given by Sto{\v{s}}i{\'c} \cite{2008arXiv0810.3578S}, we conjecture the following:

\begin{cjc}
\label{cjc:equivalence-of-2-category}
The $2$-functor $\IED$ induces an equivalence of $2$-categories between $\widehat{\DLF_k}$ and $\BimS_k$.
\end{cjc}

\subsection{Hochschild homology}
\label{sec:hochschild-homology}

If $A$ is an algebra and $M$ an $A$-module-$A$, the Hochschild homology of $A$ with coefficients in $M$ is denoted by $\HH_\sbullet(A,M)$.

\begin{lem}
\label{lem:hochschild-trace}
Let $\Gamma$ be a braid-like $\listk{k}_1$\nobreakdash-MOY graph-$\listk{k}_0$ and $\Gamma'$ be a braid-like $\listk{k}_0$\nobreakdash-MOY graph-$\listk{k}_1$, then $\HH_\sbullet(A_{\listk{k}_0},\BS(\Gamma'\circ_{\listk{k}_1}\Gamma))$ and
$\HH_\sbullet(A_{\listk{k}_1},\BS(\Gamma\circ_{\listk{k}_0}\Gamma'))$ are canonically isomorphic.
\end{lem}

\begin{proof}
This follows from Corollary~\ref{cor:bimodule-strucure-on-IE-Gamma} and Lemma~\ref{lem:concat-2-tensor}. Let us write $M= \IED(\Gamma)$ and $M'=\IED(\Gamma')$. Let $C_\sbullet(M)$ be a projective resolution of $M$ as $A_{\listk{k}_1}$-module-$A_{\listk{k}_0}$. Since $M'$ is projective as module-$A_{\listk{k}_1}$, $C_\sbullet(M) \otimes_{A_{\listk{k}_0}} M'$ is a projective resolution of $M\otimes_{A_{\listk{k}_0}} M'$ as $A_{\listk{k}_1}$-module-$A_{\listk{k}_1}$. Similarly, $M' \otimes_{A_{\listk{k}_1}} C_\sbullet(M)$ is a projective resolution of $M'\otimes_{A_{\listk{k}_1}} M$ as $A_{\listk{k}_0}$-module-$A_{\listk{k}_0}$.
We have a canonical isomorphism of chain complexes
\begin{align*}
A_{\listk{k}_0} \otimes_{A_{\listk{k}_0}^{\ren}} \bigl(M' \otimes_{A_{\listk{k}_1}} C_\sbullet(M)\bigr)
\simeq
A_{\listk{k}_1} \otimes_{A_{\listk{k}_1}^{\ren}} \bigl(C_\sbullet(M) \otimes_{A_{\listk{k}_0}} M'\bigr).
\end{align*}
The result follows because $\HH_\sbullet(A_{\listk{k}_0},\BS(\Gamma'\circ_{\listk{k}_1}\Gamma))$ and
$\HH_\sbullet(A_{\listk{k}_1},\BS(\Gamma\circ_{\listk{k}_0}\Gamma'))$
are the homology groups of these two chain complexes.
\end{proof}

\begin{prop}
\label{prop:HH0-2-vinyl}
Let $\Gamma$ be a braid-like $\listk{k}$\nobreakdash-MOY graph-$\listk{k}$ and denote by $\widehat{\Gamma}$ its closure and by $\IET(\widehat{\Gamma})$ the space of vinyl $\widehat{\Gamma}$-foams modulo $\infty$-equivalence. The space $\HH_0(A_{\listk{k}},\IED(\Gamma))$ is canonically isomorphic to $\IET(\widehat{\Gamma})$.
\end{prop}

\begin{proof}
Closing up rooted $\Gamma$-foams into vinyl $\widehat{\Gamma}$-foams provides a well-defined map $\pipi: \IED(\Gamma) \to \IET(\widehat{\Gamma})$. The action of $A_{\listk{k}}$ can be seen as concatenating foams (see proof of Corollary~\ref{cor:elementary-graph-2-soergel}). Hence, $\pipi$ factories through $\IED(\Gamma)/ [A_{\listk{k}}, \IED(\Gamma)]$ which is equal to $\HH_0(A_{\listk{k}},\IED(\Gamma))$. We now denote by $\pipi$ the induced map from $\HH_0(A_{\listk{k}},\IED(\Gamma))$ to $\IET(\widehat{\Gamma})$. This map is surjective thanks to Lemma~\ref{lem:treelike-are-enough}. Instead of proving that $\pipi$ is injective, we prove that spaces $\HH_0(A_{\listk{k}},\IED(\Gamma))$ and $\IET(\widehat{\Gamma})$ have the same graded dimension (and each of their homogeneous parts is finite-dimensional). Thanks to Lemma~\ref{lem:hochschild-trace}, $\HH_0(A_{\listk{k}},\IED(\Gamma))$ only depends on $\widehat{\Gamma}$.
Hochschild homology is compatible with direct sum of bimodules in the sense that: \[\HH_\sbullet(A, M\oplus N) \simeq \HH_\sbullet(A, M)\oplus \HH_\sbullet(A, N).\] Hence, thanks to Proposition~\ref{prop:QR2}, it is enough to prove the statement for $\widehat{\Gamma}$ a collection of circles. If $\widehat{\Gamma}$ is a collection of circles labeled by $\listk{k}:= (k_1, \dots, k_l)$, then we have $\IED(\Gamma) = A_{\listk{k}}$. Lemma~\ref{lem:kozsul_resolution} implies that the space $\HH_0(A_{\listk{k}},\IED(\Gamma))$ is isomorphic to~$A_{\listk{k}}$. On the other hand, $\IET(\widehat{\Gamma})$ is isomorphic to $A_{\listk{k}}$ as well thanks to Lemma~\ref{lem:IE4circles}.
\end{proof}

\section{One quotient and two approaches}
\label{sec:one-quotient-two}

\Subsection{A foamy approach}
\label{sec:foamy-approach}

\Subsubsection{Evaluation of vinyl foams}
\label{sec:evaluation-vinyl}

\begin{notation}
\label{not:YD}
The set of Young diagrams with at most $a$ rows and at most $b$ columns is denoted by $T(a,b)$ and the set of Young diagrams with at most $a$ rows is denoted by $T(a,\infty)$. The rectangular Young diagram with $a$ rows and $b$ columns is denoted by $\rho(a,b)$.
\end{notation}

\begin{notation}
\label{not:ringforsym}
Recall that $\SP{N}$ denotes the ring of symmetric polynomials with coefficients in $\QQ$.
\begin{enumerate}
\item Denote
the graded algebra
$\SP{N}[x_1,\dots, x_k]^{\frS_k }$ by $A_{k}$, by
$J_{N,k}$ the ideal of $R_N[x_1, \dots, x_k]$ generated by
\[
\biggl\{\prod_{i=1}^N(x_j-T_i)\biggm| j=1, \dots, k \biggr\}.
\]
Note that elements of this set are indeed symmetric in the $T_\sbullet$.
Denote by $M_{N,k}$ the $\SP{N}$-algebra
\[
A_k\big/(J_{N,k}\cap A_k),
\]
seen as an $\SP{N}$-module.
The indeterminates $x_\sbullet$ have degree $2$, just like the indeterminates $T_\sbullet$ appearing in the definition of $\SP{N}$ (end of Section~\ref{sec:quasi-annular-foams}).
\item If $\lambda=(\lambda_1, \dots, \lambda_k)$ is a Young diagram with at most $k$ rows, define $\bx^{\lambda}:=\prod_{i=1}^k x_i^{\lambda_i}$. Denote by $m_{\lambda}(x_1, \dots, x_k)$ the symmetric polynomial $\sum_{\lambda'}\bx^{\lambda'}$, where $\lambda'$ runs over all \emph{distinct} permutations of $\lambda$. Denote by $\tilde{m}_{\lambda}(x_1, \dots, x_k)$ the symmetric polynomial $\sum_{\lambda'}\bx^{\lambda'}$, where $\lambda'$ runs over \emph{all} permutations of $\lambda$. The family $(m_\lambda)_{\lambda\in T(k, \infty)}$ is a $\ZZ$-basis of the ring of symmetric polynomials in $k$ variables with coefficients in $\ZZ$ (see~\cite{MR3443860}). The family $(\tilde{m}_\lambda)_{\lambda\in T(k, \infty)}$ is a $\QQ$-basis of the ring of symmetric polynomials in $k$ variables with coefficients in $\QQ$.
\end{enumerate}
\end{notation}

\begin{lem}
\label{lem:MNkisfree}
The $\SP{N}$-module $M_{N,k}$ is free and has a basis given by images in $M_{N,k}$~of
\[(m_{\lambda}(x_1, \dots, x_k))_{\lambda \in T(k, N-1)} \]
seen as element of $A_k$.
\end{lem}

\begin{proof}
The $\SP{N}$-module $M_{N,k}$ is isomorphic to
\[
\left(\SP{N}[x_1,\dots, x_k]/J_{N,k}\right)^{\frS_k}.
\]
Indeed, the $\SP{N}$-linear maps
\[
A_k \hto \SP{N}[x_1,\dots, x_k] \twoheadrightarrow \SP{N}[x_1,\dots, x_k]/J_{N,k} \twoheadrightarrow \left(\SP{N}[x_1,\dots, x_k]/J_{N,k}\right)^{\frS_k}
\]
is surjective because if $P+J_{N,k} \in \left(\SP{N}[x_1,\dots, x_k]/J_{N,k}\right)^{\frS_k}$, one can assume that $P$ is itself $\frS_k$-invariant since the ideal $J_{N,k}$ is $\frS_k$-invariant. The kernel of this morphism is $J_{N,k}\cap A_k$, hence it induces an isomorphism of $\SP{N}$-modules between $M_{N,k}$ and $\left(\SP{N}[x_1,\dots, x_k]/J_{N,k}\right)^{\frS_k}$.

The $\SP{N}$-module $\left(\SP{N}[x_1,\dots, x_k]/J_{N,k}\right)^{\frS_k}$ is isomorphic to
\[
\Sym^k\biggl(\SP{N}[x]\bigg/\biggl(\prod_{i=1}^N (x-T_i) \biggr)\biggr).
\]

The $\SP{N}$-module $\SP{N}[x]\big/\bigl(\prod_{i=1}^N (x-T_i) \bigr)$ is a free $\SP{N}$ module of rank $N$ and has a natural $\SP{N}$-basis given by $(x^i)_{0\leq i \leq N-1}$. Therefore, $(m_{\lambda}(x_1, \dots, x_k))_{\lambda \in T(k, N-1)}$ is a $\SP{N}$-basis of
$\left(\SP{N}[x_1,\dots, x_k]/J_{N,k}\right)^{\frS_k}$.
\end{proof}

Denote $\epsilon_{N,k}$ the
following morphism of $\SP{N}$-modules defined on the basis $\lambda \in T(k, N-1)$:
\begin{align*}
\epsilon_{N,k}\thinspace\colon
M_{N,k} &\to \SP{N} \\
m_{\lambda}&\mto
\begin{cases}
1 & \textrm{if $\lambda = \rho(k, N-1)$,} \\
0 & \textrm{if $\lambda \neq \rho(k, N-1)$.} \\
\end{cases}
\end{align*}
\begin{exa}\label{exa:epsilon}
Suppose $k=1$, then we have:
\[
\epsilon_{N,1} (x^\ell) =
\displaystyle{\sum_{\substack{n_1, \dots, n_N \geq 0 \\ \sum_{i=1}^N i n_i = \ell-N+1}} (-1)^{\sum_{i=1}^N (i-1)n_i} \frac{\bigl(\sum_{i=1}^N n_i \bigr)!}{\prod_{i=1}^N n_i!} \prod_{i=1}^N e_i^{n_i}(T_1, \dots, T_N)}.
\]
In particular, one has:
\begin{align*}
\epsilon_{N,1} (x^\ell) &= 0 \text{ if $\ell < N-1$,} \quad \epsilon_{N,1} (x^{N-1}) = 1, \quad \epsilon_{N,1} (x^{N}) = e_1(T_1, \dots, T_N) \\
\tag*{and}
\epsilon_{N,1} (x^{N+1}) &= e_1(T_1, \dots, T_N)^2 - e_2(T_1, \dots, T_N).
\end{align*}

Suppose now that $k$ is arbitrary and $\lambda=(\lambda_1, \dots, \lambda_k)$ is a Young diagram with at most $k$ rows, then
\[
\epsilon_{N,k}(\widetilde{m}_\lambda) = k!\prod_{i=1}^k \epsilon_{N,1}(x^{\lambda_i}).
\]
\end{exa}

\begin{prop}
\label{prop:Mnk-Frobenius}
The $\SP{N}$-linear map $\epsilon_{N,k}$ endows the $\SP{N}$-algebra $M_{N,k}$ with a structure of symmetric algebra. In particular, $M_{N,k}$ is a commutative Frobenius algebra.
\end{prop}
\begin{proof}
It is enough to check that the composition of $\epsilon_{N,k}$ with the multiplication is a non-degenerate pairing. This follows from the following fact:
\[
\epsilon_{N,k}(\widetilde{m}_\lambda \widetilde{m}_\mu) =
\begin{cases}
(k!)^2 &\textrm{if $\lambda = \mu^c$,} \\
0 &\textrm{if $|\lambda| + |\mu| \leq {k(N-1)}$ and $\lambda \neq \mu^c$.}
\end{cases}
\]
Indeed, this implies that the pairing matrix in the bases $(\widetilde{m}_{\lambda})_{\lambda \in T(k, N-1)}$ and $(\widetilde{m}_{\mu^c})_{\mu \in T(k, N-1)}$ suitably ordered has the following form:
\[
\tikz{
\matrix[matrix of math nodes,
left delimiter=(,
right delimiter=),
nodes in empty cells] (m)
{
(k!)^2& & & & \\
& (k!)^2& & 0 & \\
& & {\ddots} & & \\
& ? & & (k!)^2 & \\
& & & & (k!)^2 \\
};
\draw[black, thin] (m-2-1.north west) |- (m-5-4.south east) --cycle;
\draw[ black, thin] (m-1-2.north west) -| (m-4-5.south east) --cycle;
}
\]
and is clearly invertible. Hence the pairing is non-degenerate.
\end{proof}

Denote $\Upsilon_{N,k}$ the composition of the projection from $A_k$ to $M_{N,k}$ with $\epsilon_{N,k}$. Let $F$ be a vinyl $\SS_k$-foam-$\SS_k$. In $\RR^3$, we can cap and cup $F$ with two disks labeled by $k$, to obtain a (non-vinyl) foam $\cl({F})$.

\begin{dfn}
\label{dfn:evaluationequiv}
The \emph{equivariant symmetric evaluation} of a vinyl $\SS_k$-foams-$\SS_k$ $F$ is given by:
\[
\kups{F} := \Upsilon_{N,k}\left(\kup{\cl({F})}_k\right),
\]
where $\kup{\cbullet}_k$ denotes the $\sll_k$-evaluation of closed foams (see Definition~\ref{dfn:exteval}).
\end{dfn}

\begin{rmk}
\label{rmk:explicitsymeval}
We can make the symmetric evaluation more explicit: let $F$ be a vinyl $\SS_k$-foam-$\SS_k$, then $\kups{F}$ is equal to the coefficient of $m_{\rho(k, N-1)}$ (in the basis $(m_{\lambda})$) of $\kup{\cl({F})}_k$. Alternatively it is equal to ${k!}$ times the $\tilde{m}_{\rho(k, N-1)}$-coefficient in the basis $(\tilde{m}_{\lambda})$ of $\kup{\cl({F})}_k$.
\end{rmk}

\begin{exa}\label{exa:sym-eval}
Using Example~\ref{exa:epsilon}, one can easily compute the evaluation of some simple vinyl foams.
\begin{enumerate}
\item Suppose $F$ is the foam $\SS_1\times [0,1]$ decorated by $x^\ell$, then the foam $\cl(F)$ is a sphere labeled by 1 decorated by $x^\ell$ and $\kup{\cl(F)}_1= -X_1^\ell$. Hence
\[
\kups{F} = - \epsilon_{N,1}(x^\ell)=\hspace*{-5mm}
\sum_{\substack{n_1, \dots, n_N \geq 0 \\ \sum_{i=1}^N i n_i = \ell-N+1}}\hspace*{-5mm} (-1)^{1+\sum_{i=1}^N (i-1)n_i} \frac{\bigl(\sum_{i=1}^N n_i \bigr)!}{\prod_{i=1}^N n_i!} \prod_{i=1}^N e_i^{n_i}(T_1, \dots, T_N).
\]
\item
If $F$ is a foam $\SS_k \times [0,1]$ decorated by a polynomial $\widetilde{m}_\lambda$, then
\[\kups{F} = (-1)^{\sfrac{k(k+1)}2} \epsilon_{N,k}(\widetilde{m}_\lambda).\]
\end{enumerate}
\end{exa}

The basis $(\tilde{m}_{\lambda})$ is convenient because of the following lemma which is the key ingredient for the proof of monoidality of our construction.

\begin{lem}
\label{lem:monomialwellbehave}
Let $k_1$ and $k_2$ be two non-negative integers, $\lambda$ (\resp $\mu$) be a Young diagram with at most $k_1$ (\resp $k_2$) rows and $A$ be a set of $k_1 +k_2$ variables. We have
\[
\sum_{\substack{A_1\sqcup A_2 = A \\ \#A_1=k_1 \\ \#A_2=k_2}} \widetilde{m}_\lambda(A_1)\widetilde{m}_{\mu}(A_2) = \tilde{m}_{\lambda\cdot{}\mu}(A).
\]
where $\lambda\cdot{}\mu$ is Young diagram corresponding to the union of the partition of $\lambda$ and $\mu$.
In particular, for any integer $N$, $\lambda\cdot\mu=\rho(k_1+k_2, N)$ if and only if $\lambda=\rho(k_1,N)$ and $\mu=\rho(k_2, N)$. \hfill$\qed$
\end{lem}

Lemma~\ref{lem:monomialwellbehave} implies a nice behavior of the evaluation with respect to disjoint union as illustrated in the following example.

\begin{exa} \label{exa:digonS1}
Let $k_1$ and $k_2$ be two non-negative integers, $\lambda$ (\resp $\mu$) be a Young diagram with at most $k_1$ (\resp $k_2$) rows. Denote by $F$ (\resp $G$) the foam $\SS_{k_1} \times [0,1]$ (\resp $\SS_{k_2} \times [0,1]$) decorated by $\widetilde{m}_\lambda$ (\resp $\widetilde{m}_\mu$). From Example~\ref{exa:sym-eval}, one deduces:
\begin{align*}
\kups{F} &= (-1)^{k_1(k_1+1)/2} \epsilon_{N,k_1}(\widetilde{m}_\lambda) = (-1)^{k_1(k_1+1)/2} k_1! \prod_{i=1}^{k_1} \epsilon_{N,1}(x^{\lambda_i})\quad \text{and} \\
\kups{G} &= (-1)^{k_2(k_2+1)/2} \epsilon_{N,k_2}(\widetilde{m}_\mu) =
(-1)^{k_2(k_2+1)/2} k_2! \prod_{i=1}^{k_2} \epsilon_{N,1}(x^{\mu_i}).
\end{align*}
Set $k = k_1 + k_2$ and consider $H$ the $(\SS_k, \SS_k)$-vinyl foam obtained by pre-composing $F\cup G$ by $Y_k^{k_1,k_2}$ and post-composing it by $\rY_{k_1, k_2}^k$ where:
\[
Y_{k}^{k_1, k_2} := \NB{\tikz{
\draw[-<] (0,0) -- + (0,-0.7) node [below] {$k_1+k_2$};
\draw[->] (0,0) .. controls (0,0.2) and (-0.5,0.5) .. (-0.5,0.7) node [above] {$k_1$};
\draw[->] (0,0) .. controls (0,0.2) and (0.5,0.5) .. (+0.5,0.7) node [above] {$k_2$};
}} \times \SS^1\quad \text{and} \quad
\rY^{k}_{k_1, k_2} := \NB{\tikz{
\draw[->] (0,0) -- + (0, 0.7) node [above] {$k_1+k_2$};
\draw[-<] (0,0) .. controls (0,-0.2) and (-0.5,-0.5) .. (-0.5,-0.7) node [below] {$k_1$};
\draw[-<] (0,0) .. controls (0,-0.2) and (0.5,-0.5) .. (+0.5,-0.7) node [below] {$k_2$};
}} \times \SS^1.
\]
In other words, $H$ is vinyl foam equal to a digon labeled by $k_1, k_2$ and $k$ times $\SS^1$ decorated by $\widetilde{m}_\lambda$ and $\widetilde{m}_\mu$. The foam $H$ is $\infty$-equivalent to $\SS_k\times [0,1]$ decorated by $\widetilde{m}_{\lambda\cdot \mu}$. Hence, one has:
\begin{align*}
\kups{H} &= (-1)^{k(k+1)/2} \epsilon_{N,k}(\widetilde{m}_{\lambda\cdot{} \mu})\\ &= (-1)^{k(k+1)/2} k! \prod_{i=1}^{k_1} \epsilon_{N,1}(x^{\lambda_i}) \prod_{j=1}^{k_2} \epsilon_{N,1}(x^{\mu_j}) \\
&=(-1)^{{k(k+1)/2} - {k_1(k_1+1)/2} - {k_2(k_2+1)/2}}
\begin{pmatrix}
k \\ k_1
\end{pmatrix}
\kups{F} \kups{G} \\ &= (-1)^{k_1k_2} \begin{pmatrix}
k \\ k_1
\end{pmatrix}
\kups{F} \kups{G}.
\end{align*}
\end{exa}

The following lemma proves that this evaluation does not really depend on $k$.

\begin{lem}
\label{lem:Nbiggerk}
Let $F$ be a vinyl $\SS_k$-foam-$\SS_k$, then it is $\infty$-equivalent to the foam $\SS_k\times [0,1]$ decorated with $\kup{(-1)^{k(k+1)/2}\cl({F})}_k$.
The decoration makes sense since $\kup{(-1)^{k(k+1)/2}\cl({F})}_k$ is a symmetric polynomial in $k$ variables.
\end{lem}

\begin{proof} Let us denote by $T$ the foam
\[
\NB{\tikz[xscale =0.8, yscale=0.6]{\input{\imagesfolder/sym_idSkdec}}}
\]
We need to show that $T$ and $F$ are $N$-equivalent for all $N$. If $N<k$, this is clear, since all $\SS_k$-foams-$\SS_k$ are $N$-equivalent to $0$. If $N=k$ this is clear as well since the identity~\eqref{eq:neckcuttingcat} has a very simple form in this case: we can apply it on the top and on the bottom of $F$ and $T$, the result follows immediately. Let us now pick an integer $N$ greater than $k$.
Thanks to the definition of $\FS_N$ (and its monoidality, see Corollary~\ref{cor:catofMOYcalulus}), the $N$-equivalence is equivalent to saying that for any $(G_1,G_2)$ in $\Hom_\Foam(\SS_k,\emptyset)\times \Hom_\Foam(\emptyset,\SS_k)$, we have:
\[
\kup{G_2\circ F\circ G_1}_N = \kup{G_2\circ T \circ G_1}_N.
\]
If $N=k$, the result holds by hypothesis. Since $F$ is vinyl, for any $\sll_N$-coloring $c$ of $G_2\circ F \circ G_1$, the induced coloring on the two circles which form the boundary of $F$ are the same, hence it induces a coloring $c'$ on $G_2\circ T \circ G_1$. Since the difference of the Euler characteristics of monochrome and bichrome surfaces as well as the parity of the difference of numbers of positive circles can be computed locally, the quantity
\[
\frac{\kup{G_2\circ F \circ G_1, c}_N}{\kup{G_2\circ T \circ G_1,c'}_N}
\]
only depends on the restrictions of $c$ and $c'$ to $F$ and $T$. Since $F$ and $T$ are vinyl, there are exactly $k$ pigments appearing in the restrictions of $c$ and $c'$ to $F$ and $T$. Hence if these pigments are $1, \dots, k$ and if we sum over all colorings $c$ of $G_2\circ F\circ G_1$, which induce $c'$ on $G_2\circ T \circ G_1$ we obtain (thanks to the case $k=N$):
\[
\sum_{c \textrm{ induces } c'}\frac{\kup{G_2\circ F \circ G_1, c}_N}{\kup{G_2\circ T \circ G_1,c'}_N} =1.
\]
Since permuting the pigments boils down to permuting the variables $x_1, \dots, x_N$ (see \cite[Lem.\,2.16]{RW1}), we obtain:
\[
\sum_{\substack{c \textrm{ coloring of }\\ G_2\circ F\circ G_1}}{\kup{G_2\circ F \circ G_1, c}_N} = \sum_{\substack{c' \textrm{ coloring of } \\ G_2\circ T\circ G_1}}{\kup{G_2\circ T \circ G_1,c'}_N}.\qedhere
\]
\end{proof}

\subsubsection{Universal construction}
\label{sec:univ-constr-1}

We will use the evaluation defined in Definition~\ref{dfn:evaluationequiv} and a universal construction à la \cite{MR1362791} in order to define a functor $\syf_{k,N}: \TL_k\to \sfC$, where $\sfC$ is the category of $\ZZ$-graded finitely generated projective $\SP{N}$-modules.

If $\Gamma$ is a vinyl graph of level $k$, we consider the free graded $\SP{N}$-module generated by $\Hom_{\TL_k}(\SS_k, \Gamma)q^{-k(N-1)}$. We mod this space out by
\[
\bigcap_{G\in \Hom_{\TL_k}(\Gamma, \SS_k)}\Ker\Bigl(
\begin{array}{rcl}
\Hom_{\TL_k}(\SS_k, \Gamma)& \dpl\to & \SP{N} \\
F&\dpl\mto & \kups{G\circ F}
\end{array}
\Bigr).
\]
We define $\syf_{k,N}(\Gamma)$ to be this quotient. The definition of $\syf_{k,N}$ on morphisms follows naturally.

\Subsubsection{Categorified identities}
\label{sec:categ-relat}

\begin{prop}
\label{prop:catcircle}
The $\SP{N}$-module $\syf_{k,N}(\SS_k)$ is isomorphic to $M_{N,k}q^{-k(N-1)}$ (see Notation~\ref{not:ringforsym}).
In particular, we have
\[
\rk^{\SP{N}}_q(\syf_{k,N}(\SS_k)) =
\begin{bmatrix}
k+N-1 \\ k
\end{bmatrix}.
\]
\end{prop}

\begin{proof}

Define $\phi:A_k \to \syf_{k,N}(\SS_k)$ the $\SP{N}$-linear map which maps any symmetric polynomial in $k$ variables $P$ to the cylinder $\SS_k\times [0,1]$ decorated by $P$.
Thanks to Lemma~\ref{lem:Nbiggerk}, this map is surjective. By the very definition of the equivariant symmetric evaluation $J_{N,k}\cap A_k$ is in the kernel of this map. Hence it induces a $\SP{N}$-linear map $M_{N,k} \to \syf_{k,N}(\SS_k)$ denoted by $\phi'$.

The map $\phi'$ is injective. Indeed, let $x$ be a non-zero element of $M_{N,k}$. Since $M_{N,k}$ is a Frobenius algebra there exists $y$ in $M_{N,k}$ such that $\epsilon_{N,k}(xy)\neq 0$. Let $X$ and $Y$ be two $\SP{N}$-linear combinations of vinyl $\SS_k$-foams-$\SS_k$ representing $\phi'(x)$ and $\phi'(y)$ in $\syf_{k,N}(\SS_k)$. By definition, $\kups{X \circ Y} = \epsilon(xy) \neq 0$. Hence $\phi'(xy) = \phi'(x) \circ \phi'(y)\neq 0$ and $\phi'(x)\neq 0$.
It follows that $\phi'$ is an isomorphism.
Note that it is homogeneous of degree $-(N-1)k$.
\end{proof}

From the definition of the evaluation of vinyl foams, we immediately deduce that the identities of Section~\ref{sec:rema-exter-foams} which can be expressed by vinyl foams are still valid. This gives the following proposition.

\begin{prop}
\label{prop:isofromext}
Let $k$ be a non-negative integer and $N$ be a positive integer, then the functor $\syf_{k,N}$ satisfies the following local relations:
\begin{align}
\syf_{k, N}\left(\stgamma\right) &\simeq \syf_{k, N}\left(\stgammaprime\right) \label{eq:catsymass} \\
\syf_{k, N}\left(\digona\right) &\simeq \syf_{k, N}\left(\verta\right) \begin{bmatrix}
m+n \\ m
\end{bmatrix}
\label{eq:catsymdig}\\
\syf_{k, N}\left(\squarec\right)&\label{eq:catsymsquare}\\[-10pt]
&\hspace*{-2cm}\simeq \bigoplus_{j=\max{(0, m-n)}}^m
\syf_{k, N}\left(\squared\right) \begin{bmatrix}l \\ k-j \end{bmatrix}\notag\\
\syf_{k, N}\left(\squaree\right) &\simeq
\syf_{k, N}\left(\webHe\right) \qbina{r+s}{s}.
\end{align} \hfill $\qed$
\end{prop}

\subsubsection{Monoidality}
\label{sec:monoidality}

The category $\TL_k$ does not have a notion of disjoint union, hence
for a fixed $k$ we cannot have monoidality of the functor
$\syf_{k,N}$. However, if we consider the disjoint union $\TL_{\NN}$
of the categories $\TL_k$ for $k$ in $\NN$, then we can speak about
disjoint union, and this obviously endows $\TL_\NN$ with a structure of a
monoidal category. The empty vinyl graph seen as an object of $\TL_0$ is the
monoidal unit. Note that in this category $\Gamma_1\sqcup \Gamma_2$ is
in general not isomorphic to $\Gamma_2\sqcup \Gamma_1$.

We consider the functor $\syf_{\NN,N}$: it is given by the functor
$\syf_{k,N}$ on $\TL_k$ for all $k\in \NN$. In order to fix notations,
set
\[
\du_{k_1,k_2} : \TL_{k_1} \times \TL_{k_2} \to \TL_{k_1+ k_2}
\]
which sends pairs of objects (\resp morphisms) onto their (rescaled)
disjoint union. This is illustrated on object below:

\[\NB{\tikz{\input{\imagesfolder/sym_tensorgraph}}}. \]

\begin{prop}
\label{prop:mono}
Let $\Gamma_1$ (\resp $\Gamma_2$) be a vinyl graph of level $k_1$ (\resp $k_2$). Suppose that $\syf_{k_1, N}(\Gamma_1)$ and $\syf_{k_2, N}(\Gamma_2)$ are free $\SP{N}$-modules, then $\syf_{k_1+k_2, N}(\du_{k_1, k_2}(\Gamma_1, \Gamma_2))$ is isomorphic to $\syf_{k_1, N}(\Gamma_1) \otimes_{\SP{N}} \syf_{k_2, N}(\Gamma_2)$. In particular, $\syf_{k_1+k_2, N}(\du_{k_1, k_2}(\Gamma_1, \Gamma_2))$ is a free $\SP{N}$-module.
\end{prop}

\begin{proof}
Let us fix two vinyl graphs $\Gamma_1$ and $\Gamma_2$ of level $k_1$
and $k_2$. We denote $\du_{k_1, k_2}(\Gamma_1, \Gamma_2)$ by $\Gamma$ and
$k_1+k_2$ by $k$. We will define a map $\phi_{\Gamma_1,
\Gamma_2}$ from $\syf_{k_1, N}(\Gamma_1) \otimes_{\SP{N}} \syf_{k_2, N}(\Gamma_2)$ to
$\syf_{k_1+k_2, N}(\du_{k_1, k_2}(\Gamma_1, \Gamma_2))$.
It is enough to define $\phi_{\Gamma_1,
\Gamma_2}$ on pure tensors. Let $v_1$ (\resp $v_2$) be an element of
$\syf_{k_1,N}(\Gamma_1)$ (\resp $\syf_{k_2,N}(\Gamma_2)$). We can suppose
that $v_1$ is represented by a $\Gamma_1$-foam-$\SS_{k_1}$
$F_1$ and $v_2$ by a $\Gamma_2$-foam-$\SS_{k_2}$ $F_2$. We define
$\phi_{\Gamma_1, \Gamma_2}(v_1\otimes v_2)$ to be the element of
$\syf_{k,N}\left(\Gamma \right)$ obtained by re-scaling $F_1$ and
$F_2$, taking their disjoint union (this gives an element of
$\Hom_{\TL_{k}}\left(\du_{k_1, k_2}\left(\SS_{k_1}, \SS_{k_2}\right), \Gamma\right)$ and pre-composing it with
the foam
\[
Y_{k}^{k_1, k_2} := \NB{\tikz{
\draw[-<] (0,0) -- + (0,-0.7) node [below] {$k_1+k_2$};
\draw[->] (0,0) .. controls (0,0.2) and (-0.5,0.5) .. (-0.5,0.7) node [above] {$k_1$};
\draw[->] (0,0) .. controls (0,0.2) and (0.5,0.5) .. (+0.5,0.7) node [above] {$k_2$};
}} \times \SS^1.
\]

We extend this definition linearly.
We now need to show that:
\begin{enumerate}
\item\label{it:wd} this is well-defined,
\item\label{it:iso} this is an isomorphism,
\end{enumerate}

{\eqref{it:wd}} In order to prove that $\phi_{\Gamma_1, \Gamma_2}$ is
well-defined, we only need to show that if for all vinyl
$\Gamma_2$-foam-$\SS_{k_2}$ $F_2$ (\resp $\Gamma_1$-foam-$\SS_{k_1}$
$F_1$) and $\SP{N}$-linear combination of vinyl
$\Gamma_1$-foams-$\SS_{k_1}$ $\sum_ia_iF_1^i$
(\resp $\Gamma_2$-foams-$\SS_{k_2}$ $\sum_j b_jF_2^j$) representing
$0$ in $\syf_{k_1,N}(\Gamma_1)$ (\resp in
$\syf_{k_2,N}(\Gamma_2)$), we have $\phi_{\Gamma_1,
\Gamma_2}\bigl(\sum_ia_i[F_1^i]{\otimes} [F_2]\bigr)\!=\!0$
(\resp $\phi_{\Gamma_1,
\Gamma_2}\bigl(\sum_ia_i[F_1^i]{\otimes} [F_2]\bigr)\!=\nobreak\!\nobreak0$). By symmetry we only prove \[\phi_{\Gamma_1,
\Gamma_2}\biggl(\sum_ia_i\left[F_1^i\right]\otimes [F_2]\biggr) =0.\]
The square brackets stand for ``the element of the appropriate graded
$\SP{N}$-module represented by this foam''.

Suppose that the element $\sum_ia_i[F_1^i]$ is equal to $0$. This means that for
any vinyl $\SS_{k_1}$-foam-$\Gamma_1$ $G_1$, $\sum_{i}
a_i\kups{G_1\circ F_1^i}=0$. In other words, the coefficient of
$\tilde{m}_{\rho(k_1, N-1)}$ (in the base $(\tilde{m}_\lambda)_{\lambda \in T(k_1, N-1)}$) of
$\sum_{i} a_i\kup{\cl(G_1\circ F_1^i)}_k$ is equal to $0$.

We want to prove that for any vinyl $\SS_{k}$-foam-$\Gamma$ $G$,
\[\sum_{i} a_i\kups{G\circ (F_1^i\sqcup F_2) \circ Y_{k}^{k_1, k_2}}
=0.\] Thanks to Lemmas~\ref{lem:vinyl2tree-like} and
\ref{lem:tree-likeRequiv}, we might suppose that $G$ is tree-like and
that it can be obtained by re-scaling the disjoint union of a
tree-like $\SS_{k_1}$-foam-$\Gamma_1$ $G_1$ and a
$\SS_{k_2}$-foam-$\Gamma_2$ $G_2$ composed with $\rY_{k_1, k_2}^k$
(which is the foam $Y^{k_1,k_2}_k$ turned upside down). Thanks to
Lemma~\ref{lem:Nbiggerk}, for all $i$, $G_1\circ F_1^i$ is
$\infty$-equivalent to $\SS_{k_1}\times [0,1]$ decorated with
$\kup{\cl(G_1\circ F_1^i)}_{k_1}$ and $G_2 \circ F_2$ is
$\infty$-equivalent to $\SS_{k_2}\times [0,1]$ decorated with
$\kup{\cl(G_2\circ F_2)}_{k_2}$. Hence $\sum_{i} a_i G\circ
(F_1^i\sqcup F_2) \circ Y_{k}^{k_1, k_2}$ is $\infty$-equivalent to
\[
\NB{\tikz{
\draw[>-] (0,0) node[below, font=\tiny] {$k_1+k_2$} -- (0,0.3);
\draw[->] (0,0.3) .. controls +(0,+0.2) and +(0, -0.2) .. (-0.3, 1) node[midway, left, font=\tiny] {$k_1$};
\draw (-0.3,1) .. controls +(0,0.2) and +(0, -0.2) .. (0, 1.7) coordinate[midway] (L);
\draw[->] (0,0.3) .. controls +(0,+0.2) and +(0, -0.2) .. (0.3, 1) node[midway, right, font=\tiny] {$k_2$};
\draw (0.3,1) .. controls +(0,0.2) and +(0, -0.2) .. (0, 1.7) coordinate[midway] (R);
\draw[red, thick, <-] (L) -- +(-0.5,0.1) node[left, font=\tiny] {$\sum_i a_i (-1)^{k_1(k_1+1)/2}\kup{\cl(G_1\circ F_1^i)}_{k_1}$};
\draw[red, thick, <-] (R) -- +(0.5,0.1) node[right, font=\tiny] {$(-1)^{k_2(k_2+1)/2}\kup{\cl(G_1\circ F_2)}_{k_2}$};
\draw[->] (0,1.7) -- (0,2) node[above, font=\tiny] {$k_1+k_2$};}}
\times \SS^1
\]

Following Example~\ref{exa:digonS1}, one deduces that for all $i$:
\[
\kups{G\circ (F_1^i\sqcup F_2) \circ Y_{k}^{k_1, k_2}} = (-1)^{k_1 k_2} \begin{pmatrix} k \\ k_1\end{pmatrix} \kups{G_1\circ F_1^i} \kups{G_2 \circ F_2},
\]
and therefore
\[
\sum_i a_i \kups{G\circ (F_1^i\sqcup F_2) \circ Y_{k}^{k_1, k_2}} \!=\! (-1)^{k_1 k_2}\! \begin{pmatrix} k \\ k_1\end{pmatrix}\! \kups{G_2 \circ F_2} \sum_i a_i\kups{G_1 \circ F_1^i} \!=\!0.
\]

\eqref{it:iso} Let $F_1$ (\resp $F_2$) be a trivially decorated tree-like
$\Gamma_1$-foam-$\SS_{k_1}$ (\resp $\Gamma_2$-foam-$\SS_{k_2}$). The
foam $F$ obtained by pre-composing $F_1\sqcup F_2$ with the foam $Y_{k}^{k_1, k_2}$
described in the construction of $\phi_{\Gamma_1, \Gamma_2}$ is in the
image of $\phi_{\Gamma_1, \Gamma_2}$ as well as its decorated version
with non-trivial decoration on leaves. Thanks to
Lemma~\ref{lem:vinyl2tree-like} and \ref{lem:tree-likeRequiv} the
$\SP{N}$-vector space $\syf_{k,N}\left(\Gamma \right)$ is spanned by
elements represented by foams of this type. This proves the surjectivity.

To prove injectivity, we first pick bases $(B^1_i)_{i\in I}$ and
$(B^2_j)_{j\in J}$ of $\syf_{k_1,N}(\Gamma_1)$ and
$\syf_{k_2,N}(\Gamma_2)$ and their dual bases $(B^{*1}_i)_{i\in I}$
and $(B^{*2}_j)_{j\in J}$. All these elements can be represented by
($\SP{N}$-linear combinations of) tree-like foams.
Denote these ($\SP{N}$-linear combinations of) tree-like foams by $F_i^1$,
$F_j^2$, $F_i^{*1}$ and $F_j^{*2}$. Suppose that
\[
\Biggl[
\sum_{\substack{{i\in I} \\
{j\in J} }} a_{ij} (F_i^1\sqcup F_j^2)\circ Y_k^{k_1, k_2} \Biggr] =0.
\]
Let us fix an $i_0$ in $I$ and a $j_0$ in $J$. The hypothesis implies that
\[
\sum_{\substack{{i\in I} \\{j\in J} }}
a_{ij}\kups{ \rY_{k_1, k_2}^k \circ (B_{i_0}^{*1} \sqcup B_{j_0}^{*2})\circ (F_i^1\sqcup F_j^2)\circ Y_k^{k_1, k_2}
}=0.
\]
In the previous expression, $\kups{\cbullet}$ has been $\SP{N}$-linearly extended to makes sense on $\SP{N}$-linear combinations of foams.
Thanks to Lemma~\ref{lem:monomialwellbehave}, the $\tilde{m}_{\rho(k, N-1)}$-coefficient in the base $(\tilde{m}_{\lambda})_{\lambda \in T(k, \infty)}$ of
\[
\sum_{\substack{{i\in I} \\{j\in J} }}
a_{ij}\kup{ \cl(\rY_{k_1, k_2}^k \circ (B_{i_0}^{*1} \sqcup B_{j_0}^{*2})\circ (F_i^1\sqcup F_j^2)\circ Y_k^{k_1, k_2})
}_k
\]
is equal to $a_{i_0j_0}$. However, this coefficient should be equal to 0. This prove injectivity. \end{proof}
\begin{thm}
\label{thm:monoidality}
The functor $\syf_{\NN,N}$ is monoidal.
\end{thm}

\begin{proof}
First of all, since the only vinyl foam of level $0$ is the
empty set, it is clear that $\syf_{\NN,N}(\mathbf{1}_{\TL_\NN}) =
\SP{N} = \mathbf{1}_{\sfC}$ ($\mathbf{1}$ denotes the unital
object of monoidal categories). We need to construct a natural
isomorphism $\left(\phi_{\Gamma_1, \Gamma_2} \right)_{\Gamma_1,
\Gamma_2 \in \rob(\TL_\NN)}$ from $\syf_{\NN,N}(\cbullet)
\otimes_{\SP{N}} \syf_{\NN,N}(\cbullet)$ to $\syf_{\NN,N}\left(\du(\cbullet,\cbullet)\right)$.

This isomorphism is provided by (the proof of) Proposition~\ref{prop:mono}. In order to use it, we only need to show that for any vinyl graph $\Gamma$, $\syf_{\NN,N}(\mathbf{1}_{\TL_\NN})$ is a free $\SP{N}$-module.

If $\Gamma$ is a collection of circles we can argue by induction on the number of circles. If $\Gamma$ consists of only one circle, we can use Proposition~\ref{prop:catcircle}. If it consists of more than one circle, we can use the induction hypothesis and Proposition~\ref{prop:mono}. We deduce the general case from the case of collection of circles thanks to Proposition~\ref{prop:QR2} and Proposition~\ref{prop:isofromext}.
\end{proof}

\begin{rmk}
\label{rmk:ass}
Formally we should have checked the compatibility of associators. Since we did not write down them explicitly, we cannot be very precise here. However, this compatibility trivially holds because the foams
\[
\stgamma \times \SS^1 \quad\textrm{and} \quad \stgammaprime \times \SS^1
\]
are $\infty$-equivalent, (because they are both tree-like with only trivial decorations (see Lemma~\ref{lem:tree-likeRequiv})).

\end{rmk}

We can now prove that the functor $\syf_{\NN,N}$ categorifies the symmetric MOY calculus.

\begin{thm}
\label{thm:catsym}
The functor $\syf_{\NN,N}: \TL_\NN \to \CS$ satisfies for every vinyl graph $\Gamma$.
\[
\rk^{\SP{N}}_q\left(\syf_{\NN,N}(\Gamma)\right) = \kups{\Gamma}.
\]
\end{thm}

\begin{proof}
We have already seen in the proof of Theorem~\ref{thm:monoidality}, that the $\SP{N}$-module $\syf_{\NN,N}(\Gamma)$ is free for every vinyl graph $\Gamma$. Thanks to Theorem~\ref{thm:monoidality} and Propositions~\ref{prop:catcircle} and \ref{prop:isofromext} we obtain that the function $\rk^{\SP{N}}_q\left(\syf_{\NN,N}(\cbullet)\right)$ satisfies identities~\eqref{eq:symrelcircle}, \eqref{eq:symrelass}, \eqref{eq:symrelbin1}, \eqref{eq:symrelsquare3} and \eqref{eq:otherrelext}. We conclude by Theorem~\ref{thm:QR}.
\end{proof}

\Subsection{An algebraic approach}
\label{sec:alg-approach}

\subsubsection{Hochschild and Koszul homologies}
\label{sec:kozsul-homology}

Koszul homology has been formalized in \cite{berger_lambre_solotar_2017}. If $R$ is a unital commutative ring, $A$ an $R$-algebra and $M$ a $A$-module-$A$, it associates with the pair $(A,M)$ a sequence $\KH_\sbullet(A,M)$ of $R$-modules in a functorial way. If $A$ is Koszul (and this will be our case), then $\KH_\sbullet(A,M) = \HH(A,M)$. We do not aim to discuss Koszul homology in details, we refer to \cite{berger_lambre_solotar_2017} and references therein for a nice presentation. We will use Koszul homology instead of Hochschild homology because it enables to have more structure: in fact an extra differential.

\begin{notation}
\label{not:polynomial-algebra}
In what follows,
$\listk{k}= (k_1,\dots ,k_l)$ is a finite sequence of positive integers of level $k$, $A_{\listk{k}}$ is the polynomial algebra $\SP{N}[x_1, \dots x_k]^{\frS_{\listk{k}}}$ and $A_k$ denotes $\SP{N}[x_1, \dots x_k]^{\frS_{k}}$.
Note that $A_{\listk{k}}$ is a polynomial algebra over $\SP{N}$. For $i$ in $\{1,\dots, l\}$ and $j$ in $\{1, \dots, k_i\}$, we set $e_{j}^{(i)}$ to be the $j$th elementary symmetric polynomial in variables $x_{r_i+1},\dots, x_{r_i+ k_i}$, where $r_i= \sum_{t=1}^{i-1} k_t$. It is standard that we have (see for example \cite[Chap.\,IV, \S 6]{MR1878556}):
\[
A_{\listk{k}{}}= \SP{N}[e_1^{(1)},\dots, e_{k_1}^{(1)}, e_1^{(2)}\dots, e_{k_2}^{(2)}, \dots, e_1^{(l)}\dots, e_{k_l}^{(l)} ] \subseteq A_{1^k},
\]
where $A_{1^k} := A_{(1,\dots,1)} = \SP{N}[x_1, \dots, x_k]$.
\end{notation}

\begin{dfn}
\label{dfn:Koszul-complex}
The \emph{Koszul resolution} of $A_{\listk{k}}$ is the complex
\[
C_\sbullet(A_{\listk{k}}) := \bigotimes_{i=1}^l\bigotimes_{j=1}^{k_i} \Bigl(\SP{N}[e_j^{(i)}]\otimes \SP{N}[e_j^{(i)}]q^{2j} \To{e_j^{(i)}\otimes 1 - 1 \otimes e_j^{(i)}}
{\SP{N}[e_j^{(i)}]\otimes \SP{N}[e_j^{(i)}] }
\Bigr).
\]
The homological degree of $C_\sbullet(A_{\listk{k}})$ is called the $H$-degree.
\end{dfn}
It is convenient to think of this complex in this way: let $V_{\listk{k}}$ be the $\SP{N}$-module generated by $(e_j^{(i)})_{\substack{i=1,\dots, l \\ j= 1, \dots, k_i}}$ (with $(e_j^{(i)})$ having degree $2j$).
Then $C_\sbullet(A_{\listk{k}})=A_{\listk{k}}\otimes\nobreak \Lambda V_{\listk{k}} \otimes\nobreak A_{\listk{k}}$ with the differential:
\begin{align*}
d^{\listk{k}} \colon\thinspace C_\sbullet(A_{\listk{k}}) & \to C_\sbullet(A_{\listk{k}}) \\
a\otimes v_1 \wedge \dots \wedge v_l\otimes b &\mto \displaystyle{\sum_{i=1}^l (-1)^{i+1} \left(av_i \otimes v_1 \wedge \dots \wedge \widehat{v_i}\wedge\dots \wedge v_l\otimes b \right.} \\[-3pt] &\hspace*{3cm} \displaystyle{\left.- a\otimes v_1 \wedge \dots \wedge \widehat{v_i}\wedge\dots \wedge v_l\otimes v_ib\right).}
\end{align*}
It is standard that it is a projective resolution of $A_{\listk{k}}$ as $A_{\listk{k}}$-module-$A_{\listk{k}}$. Hence, for any $A_{\listk{k}}$-module-$A_{\listk{k}}$ $M$, we have:
\[
\HH_\sbullet(A_{\listk{k}},M) \simeq H(C_\sbullet(A_{\listk{k}})\otimes_{A_{\listk{k}}^{\ren}} M)=: \KH(A_{\listk{k}}, M).
\]

From now on, when speaking about Hochschild homology, we mean Hochschild homology computed in this way. Of course this precision is irrelevant when we only look at the homology groups. But we will shortly introduce an extra differential $d_N$ on $C_\sbullet(A_{\listk{k}})$. It will equip the Hochschild homology with a structure of chain complex. As far as we understand, the differential $d_N$ can be thought as an equivariant version of the extra differential introduced by Cautis in \cite{MR3709661}. Some proofs are postponed to Appendix~\ref{sec:kosz-reosl-polyn}.

\subsubsection{An extra differential}
\label{sec:an-extra-diff}

Let $N$ be a positive integer.

\begin{notation}
\label{notation:DN-and-dN}
We denote by $D_N$ the following derivation on $A_{1^k}$:
\begin{align*}
D^N_{1^k} \colon\thinspace A_{1^k} & \to A_{1^k} \\
P(x_1,\dots,x_k) &\mto \sum_{i=1}^k \prod_{j=1}^N (x_i - T_j) \partial_{x_i}P(x_1, \dots, x_k).
\end{align*}
We denote by $d^N_{\listk{k}}$ the following map $A_{\listk{k}}$-linear-$A_{\listk{k}}$ map on $C_{\bullet}(A_{\listk{k}})$:
\begin{align*}
d^N_{\listk{k}} \colon\, C_\sbullet(A_{\listk{k}}) & \to C_\sbullet(A_{\listk{k}}) \\
1\otimes v_1 \wedge \dots \wedge v_l\otimes 1 &\mto \sum_{i=1}^l
(-1)^{i+1} D^N_k(v_i) \otimes v_1 \wedge \dots \wedge \widehat{v_i}\wedge\dots \wedge v_l\otimes 1.
\end{align*}
note that this is $H$-homogeneous of degree $-1$ and $q$-homogeneous of degree $2(N-1)$. When the context is clear we will drop the subscript $\listk{k}$.
\end{notation}

\begin{lem}
\label{lem:d_Ndiff-commute-with-d}
For any finite sequence of positive integers $\listk{k}$, the map $d^N_{\listk{k}}$ anti-commutes with $d^{\listk{k}}$ and is a differential on $C_{\bullet}(A_{\listk{k}})$.
\end{lem}

Since we have this extra structure, we need a refined version of Lemma~\ref{lem:hochschild-trace}. The following lemma should be compared to \cite[Lem.\,6.2]{MR3709661}.
\begin{lem}
\label{lem:hochschild-trace-dN}
Let $\Gamma$ be a braid-like $\listk{k}_1$\nobreakdash-MOY graph-$\listk{k}_0$ and $\Gamma'$ be a braid-like $\listk{k}_0$\nobreakdash-MOY graph-$\listk{k}_1$, then the complexes \[(\HH_\sbullet(A_{\listk{k}_0},\IED(\Gamma'\circ_{\listk{k}_1}\Gamma)), d^N_{\listk{k}_0}) \quad \textrm{and} \quad
(\HH_\sbullet(A_{\listk{k}_1},\IED(\Gamma\circ_{\listk{k}_0}\Gamma')), d^N_{\listk{k}_1}) \] are isomorphic.
\end{lem}

This is proved in Appendix~\ref{sec:kosz-reosl-polyn} where we restrict to the special case where $\Gamma$ contains only one vertex. Note that this is actually enough to conclude in general.
We define an explicit homotopy equivalence $\varphi$ between two complexes computing the Hochschild homology. Finally we prove that $\varphi \circ d^N_{\listk{k}_0} - d^N_{\listk{k}_1}\circ\varphi$ is null-homotopic.
Note that the previous lemma shows that the complex $(\HH_\sbullet(A_{\listk{k}},\IED(\Gamma)), d^N)$ only depends on the vinyl graph $\widehat{\Gamma}$.

In order to make the differential $d_N$ of $q$-degree $0$, we shift $\HH_i(A_{\listk{k}}, M)$ by $2i(N-1)$ in $q$-degree. Note that this adjustment does not change $\HH_0(A_{\listk{k}}, M)$. We denote this normalization by
$\HH^N_\sbullet(A_{\listk{k}}, M)$

The following proposition should be compared to \cite[Lem.\,3.23]{2016arXiv160202769W}.

\begin{prop}\label{prop:all-in-deg-0}
Let $\Gamma$ be a vinyl graph. The homology of $(\HH^N_\sbullet(A_{\listk{k}},\IED(\Gamma)), d^N)$ (denoted by $\HN_\sbullet$) is concentrated in $H$-degree $0$.
\end{prop}

\begin{proof}
Thanks to Queffelec-Rose's algorithm (see Theorem~\ref{thm:QR}), it is enough to show the statement when $\Gamma$ is a collection of circles. Suppose that $\Gamma$ is a collection of circles labeled by $\listk{k}$. The result follows from the regularity of the sequence $\bigl(D^N(e_j^{(i)}) \bigr)_{\substack{1\leq i \leq l \\ 1 \leq j \leq k_i}}$ seen as polynomials in $x_1, \dots, x_k$ with coefficients in $\SP{N}$. The regularity of this sequence follows from that of the sequences $\bigl(D^N(e_j^{(i)}) \bigr)_{ 1 \leq j \leq k_i}$ for every $i$ because they involve different sets of variables. Hence, from now on, we can suppose that $l=1$ and we write $D^N(e_j)$ instead of $D^N(e_j^{(1)})$
The regularity of a sequence is equivalent to the fact that the set $Z$ of common zeroes of these polynomials is $0$-dimensional.
Note that $\{T_1, \dots, T_N\} ^k$ is a subset of $Z$. One shall see that $Z=\{T_1, \dots, T_N\} ^k$.

Let us consider the ideal $I$ of $\SP{N}[x_1, \dots, x_k]^{S_k}$ generated by the polynomials
\[
P_r= \sum_{i=1}^k
\prod_{j=1}^N (x_i - T_j) x_i^r \quad \text{for $0 \leq r \leq k-1$.} \]
Note that $I$ is equal to the ideal generated by $\left(D^N(e_j) \right)_{ 1 \leq j \leq k}$.

Let $(y_1, \dots, y_k) \in \SP{N}^k$ be a common zero of the polynomials $(P_r)_{0 \leq r \leq k-1}$. Some of the the $y_\cbullet$'s might be equal. Let $s$ be the cardinal of $\{ y_1, \dots, y_k\}$. By symmetry, one can assume that the first $y_1, \dots, y_s$ are pairwise different. For $i \in \{1, \dots, s\}$, let us write $m_i= \{a \in \{1, \dots, k\} | y_a = y_i\}$. For $0\leq r \leq s-1$, one has:
\[
P_r(y_1, \dots, y_k)= \sum_{i=1}^sm_i
\prod_{j=1}^N (y_i - T_j) y_i^r = 0,
\]
in other words:
\[
\begin{pmatrix}
1 & 1 &\dots & 1 \\
y_1 & y_2 & \dots & y_s\\
\vdots & & &\vdots \\
y_1^{s-1} & y_2^{s-1} & \dots & y_{s}^{s-1}
\end{pmatrix}
\cdot
\begin{pmatrix}
m_1 \prod_{j=1}^N (y_1 - T_j) \\[3pt]
m_2 \prod_{j=1}^N (y_2 - T_j) \\
\vdots \\
m_s \prod_{j=1}^N (y_s - T_j) \\
\end{pmatrix}
=0.
\]
This implies that for every $i \in \{ 1, \dots, s\}$, we have $y_i\in \{T_1, \dots, T_N\}$. Hence $Z \subseteq \{T_1, \dots, T_N\}^k$. \end{proof}

\begin{rmk}
The previous proof remains valid over $\SP{N}\otimes_{T_i \mto z_i} \CC$, for any choice of $z_\sbullet$'s. It is adapted from the elegant proof of \cite[Prop.\,2.9]{MR2542141} which treats the case where all the $z_i$ are $0$.
\end{rmk}

In next section, we will need a primality result concerning the polynomials $\bigl(D^N(e_j^{(i)}) \bigr)_{\substack{1\leq i \leq l \\ 1 \leq j \leq k_i}}$. As in the previous proof, we start with the case $l=1$.

\begin{lem}
\label{lem:DNei-coprime}
For $1\leq i \leq k$, let $e_i$ be the $i$th elementary symmetric polynomial in $x_1, \dots, x_k$. The polynomials $\left(D^N(e_i) \right)_{1\leq i \leq k}$ are pairwise co-prime in $A_{k}\;({}=A_{1^k}^{\frS_k})$.
\end{lem}

\begin{proof}
We work by induction on $k$. For $1\leq i \leq k$, we write $P_{i,k}:= D^N(e_i)$ with $e_i$ symmetric in $k$ variables and $P_{i,k}^0:= D^N(e_i)_{|T_1 = \dots = T_N =0}$. For $k=1$, there is nothing to show. For $k=2$, we have:
\[ P^0_{1,2} = x_1^N + x_2^N \quad \textrm{and} \quad P^0_{2,2} = x_1x_2^N + x_2x_1^N = x_1x_2(x_1^{N-1} + x_2^{N-1})\]
which are co-prime since $x_1^{N-1} + x_2^{N-1}$ and $x_1^N + x_2^N$ are co-prime as polynomial in~$x_1$ with coefficients in $\QQ[x_2]$. If $Q$ is a non-trivial homogeneous element of $A_{k}$ which divides $P_{1,2}$ and $P_{2,2}$, then $Q_{{|T_1 = \dots = T_N =0}}$ is of degree 0. Since $Q$ is not equal to $0$ it has degree $0$ which proves that $P_{1,2}$ and $P_{2,2}$ are co-prime.
Suppose now that $k\geq 3$.

If $P$ is a polynomial in $A_{k}$, $P(x_k=0)$ denotes the polynomial of $A_{k-1}$ obtained by specializing the variable $x_k$ to $0$ in $P$.
From the very definition of $D^N$, we have:
\[P^0_{i,k} = \sum_{j=1}^{k} x_j^N e_{i-1}(x_1, \dots, \widehat{x_j}, \dots x_k).
\]
Hence if $1\leq i \leq k-1$, $P^0_{i,k}(x_k=0) = P^0_{i, k-1}$. Let $1\leq i_1 <i_2 \leq k-1$. Suppose that a polynomial $Q$ in $A_{1^k}$ divides $P_{i_1,k}$ and $P_{i_2,k}$. The polynomial $Q^0:= Q_{|T_1=\dots=T_N=0}$ is homogeneous and $Q(x_k=0)$ divides $P^0_{i_1,k-1}$ and $P^0_{i_2,k-1}$. By induction, we know that $Q^0(x_k=0)$ has degree $0$. This implies that $Q^0$ and therefore $Q$ has degree $0$. Hence $P_{i_1,k}$ and $P_{i_2,k}$ are co-prime.

It remains to show that for $1\leq i \leq k-1$, $P_{i,k}$ and $P_{k,k}$ are co-prime. Let $Q$ be a polynomial of $A_{k}$ which divides $P_{i,k}$ and $P_{k,k}$.
\[
P^0_{k,k} = x_1x_2 \cdots x_k(x_1^{N-1} + \dots + x_k^{N-1}) = e_k(x_1, \dots, x_k)(x_1^{N-1} + \dots + x_k^{N-1}).
\]
The polynomial $e_k$ is prime in $A_{k}$ and does not divide $P_{i,k}$, since $P_{i,k}(x_k=0)$ is not equal to $0$.
Hence $Q^0$ divides $x_1^{N-1} + \dots + x_k^{N-1}=:p_{k,N-1}$. Since $Q^0$ divides $p_{k,N-1}$ and $P_{i,k}^0$, it divides (in $A_{k}$)
\[
P_{i,k}- p_{k,N-1}x_ke_{i-1}(x_1,\dots,x_{k-1}).
\]
Hence its $x_k$-degree is at most equal to $1$. Since $Q^0$ is symmetric in the $x_\sbullet$, if it does not have degree equal to $0$, it is a multiple of $x_1 + \dots + x_k = e_1$. But for $e_1$ to divide $p_{k, N-1}$, one must have $k=2$ and $N-1$ odd. But we supposed $k\geq 3$. Hence $Q^0$ has degree $0$. This implies that $Q$ has degree $0$ and finally that $P_{i_1,k}$ and $P_{i_2,k}$ are co-prime.
\end{proof}

\begin{cor} \label{cor:coprime}
The polynomials $\bigl(D^N(e_j^{(i)}) \bigr)_{\substack{1\leq i \leq l \\ 1 \leq j \leq k_i}}$ are pairwise co-prime in $A_{\listk{k}}$.
\end{cor}

\begin{proof}
First note that $D^N(e_j^{(i)})$ is a polynomial in the variables $x_{r_i+1},\dots, x_{r_i+ k_i}$ and $T_1, \dots, T_N$. It is homogeneous and has degree $N-1 +j$ which is bigger than~$1$. Hence for $i_1\neq {i_2}$, $1\leq j_1\leq k_{i_1}$ and $1\leq j_2\leq i_2$, if $D^N(e_{j_1}^{(i_1)})$ and $D^N(e_{j_2}^{(i_2)})$ would have a non-trivial common divisor, they would have an homogeneous divisor in the variables~$T_\sbullet$. However $D^N(e_{j_1}^{(i_1)})$ is not divisible by any non-trivial homogeneous polynomial in the variables $T_\sbullet$, because evaluating all theses variables to $0$ in $D^N(e_{j_1}^{(i_1)})$ does not give the 0 polynomial. The case $i_1=i_2$ follows from Lemma~\ref{lem:DNei-coprime}.
\end{proof}

\begin{notation}\label{not:spaceTN}
If $\widehat{\Gamma}$ is a vinyl graph of level $k$, denote
$\FA_N(\widehat{\Gamma})$, the space
\[\HN_0(\HH^N_\sbullet(A_{\listk{k}}, \IED(\Gamma)))q^{-k(N-1)}\] for a
braid-like $\listk{k}$\nobreakdash-MOY graph-$\listk{k}$ $\Gamma$ whose closure
is equal to
$\widehat{\Gamma}$.
This is legitimate thanks to Proposition~\ref{prop:all-in-deg-0}.
\end{notation}

\subsection{When algebra meets foams}
\label{sec:when-algebra-meets}

The aim of this section is to compare $\FA_N(\widehat{\Gamma})$ and $\syf_{\NN, N}(\widehat{\Gamma})$, namely to prove that these spaces are isomorphic.

Let us consider a braid-like $\listk{k}$\nobreakdash-MOY graph-$\listk{k}$ ${\Gamma}$ and denote $\widehat{\Gamma}$ the closure of ${\Gamma}$. We know, thanks to Proposition~\ref{prop:HH0-2-vinyl}, that there is a canonical isomorphism $\phi$ from $\IET(\widehat{\Gamma})$ to $\HH_0(A_{\listk{k}},\BS({\Gamma}))$. The space $\syf_{\NN,N}(\widehat{\Gamma})$ is a quotient of $\IET(\widehat{\Gamma})q^{-k(N-1)}$ while the space $\FA_N(\widehat{\Gamma})$ is a quotient of $\HH_0(A_{\listk{k}} , \BS({\Gamma}))q^{-k(N-1)}$ (thanks to Proposition~\ref{prop:all-in-deg-0}). Using the isomorphism $\phi$, we can think of $\FA_N(\widehat{\Gamma})$ and $\syf_{\NN, N}(\widehat{\Gamma})$ as being both quotients of $\HH_0(A_{\listk{k}}, \BS(\widehat{\Gamma}))q^{-k(N-1)}$. The rest of the section is devoted to proving the following proposition:

\begin{prop}
\label{prop:alg-eq-foam}
The spaces $\FA_N(\widehat{\Gamma})$ and $\syf_{\NN, N}(\widehat{\Gamma})$ are isomorphic.
\end{prop}

Thanks to the Queffelec-Rose algorithm and Proposition~\ref{prop:Soergel-foam}, it is enough to prove the statement when $\widehat{\Gamma}$ is a collection of circles labeled by $\listk{k}$. Since the spaces $\FA_N(\widehat{\Gamma})$ and $\syf_{\NN, N}(\widehat{\Gamma})$ are both quotients of $\HH_0(A_{\listk{k}},\BS({\Gamma}))q^{-k(N-1)}$ which is itself isomorphic to $A_{\listk{k}}q^{-k(N-1)}$, let us write $\FA_N(\widehat{\Gamma})=A_{\listk{k}}q^{-k(N-1)}/I_1$ and $\syf_{\NN, N}(\widehat{\Gamma})= A_{\listk{k}} q^{-k(N-1)}/I_2$. With these notations, we only need to show that the spaces $I_1$ and $I_2$ of $A_{\listk{k}}q^{-k(N-1)}$ are equal.

\begin{lem}
\label{lem:desctiption-of-I1}
The space $I_1$ is generated by the polynomials $\bigl(D^N(e_j^{(i)}) \bigr)_{\substack{1\leq i \leq l \\ 1 \leq j \leq k_i}}$. Forgetting about the action of the variables $T_\sbullet$, it is a graded vector space. Its graded dimension over $\QQ$ is equal to:
\[
\dim^\QQ_q I_1 = q^{-k(N-1)} \biggl(1 - \prod_{b=1}^l\prod_{i=1}^{k_b}\bigl(1-q^{2(i+N-1)}\bigr) \biggr) \dim^\QQ_q A_{\listk{k}}.
\]
\end{lem}

\begin{proof}
The first statement is obvious. The second one follows from the fact that the polynomials $\bigl(D^N(e_j^{(i)}) \bigr)_{\substack{1\leq i \leq l \\ 1 \leq j \leq k_i}}$ are pairwise co-prime. Indeed this implies that
\begin{multline*}
\bigl\langle D^N(e_{j_1}^{(i_1)}) \bigr\rangle_{A_{\listk{k}}} \cap
\bigl\langle D^N(e_{j_2}^{(i_2)}) \bigr\rangle_{A_{\listk{k}}} \cap
\dots \cap
\bigl\langle D^N(e_{j_a}^{(i_a)}) \bigr\rangle_{A_{\listk{k}}} \\
=
\bigl\langle D^N(e_{j_1}^{(i_1)})\cdot D^N(e_{j_2}^{(i_2)}) \cdots D^N(e_{j_a}^{(i_a)}) \bigr\rangle_{A_{\listk{k}}}.
\end{multline*}
Since the polynomial $D^N(e_j^{(i)})$ is homogeneous of degree $2(N+j-1)$, we have:
\[
\dim_q \bigl\langle D^N(e_{j_1}^{(i_1)})\cdot D^N(e_{j_2}^{(i_2)}) \,\cdots\, D^N(e_{j_a}^{(i_a)})\bigr\rangle_{A_{\listk{k}}} =q^{-k(N-1)} (\dim_q^{\QQ} A_{\listk{k}})\prod_{l=1}^{a}q^{2(j_l+ N -1)}.
\]
The space $I_1$ is the sum of all spaces $\bigl\langle D^N(e_j^{(i)}) \bigr\rangle_{A_{\listk{k}}}$. This implies:
\[
\dim^\QQ_q I_1 = q^{-k(N-1)}\biggl(1 - \prod_{b=1}^l\prod_{i=1}^{k_b}\bigl(1-q^{2(i+N-1)} \bigr) \biggr) \dim^\QQ_q A_{\listk{k}}.\qedhere
\]
\end{proof}

The proof of Proposition~\ref{prop:alg-eq-foam}, follows from next lemma.

\begin{lem}
\label{lem:ideal-I2}
The spaces $I_1$ and $I_2$ are equal.
\end{lem}

\begin{proof}
It is clear that $I_1$ is in $I_2$ because the polynomials $\bigl(D^N(e_j^{(i)}) \bigr)_{\substack{1\leq i \leq l \\ 1 \leq j \leq k_i}}$ are all in $I_2$ (this follows from the definition of the evaluation of vinyl foams).
We know thanks to Lemma~\ref{lem:MNkisfree} that $\syf_{\NN, N}$ associates with a circle labeled $k_b$ a free $\SP{N}$-module of graded rank
\[
\prod_{i=1}^{k_b} \frac{q^{-i-(N-1)} - q^{i+N-1}}{q^{-i} - q^i} = q^{-k_b(N-1)}
\prod_{i=1}^{k_b} \frac{1 - q^{2(i+N-1)}}{1 - q^{2i}}.
\]
Thanks to the monoidality of this functor, we obtain that the graded rank of $\syf_{\NN, N}(\Gamma)$ is equal to
\[
q^{-k(N-1)}\prod_{b=1}^l\prod_{i=1}^{k_b} \frac{1 - q^{2(i+N-1)}}{1 - q^{2i}}.
\]
But $A_{\listk{k}}q^{-k(N-1)}$ has a graded rank over $\SP{N}$ equal to:
\[
q^{-k(N-1)}\prod_{b=1}^l\prod_{i=1}^{k_b} \frac{1}{1 - q^{2i}}.
\]
Hence we have:
\begin{align*}
\dim_q^\QQ I_2 &= q^{-k(N-1)}\dim_q^\QQ A_{\listk{k}} - q^{-k(N-1)}\prod_{b=1}^l\prod_{i=1}^{k_b} \bigl(1 - q^{2(i+N-1)}\bigr) \dim_q^\QQ A_{\listk{k}}\\
&= q^{-k(N-1)}\biggl(1 - \prod_{b=1}^l\prod_{i=1}^{k_b}\bigl(1-q^{2(i+N-1)} \bigr) \biggr) \dim^\QQ_q A_{\listk{k}} \\
&=\dim_q^\QQ I_1.\qedhere
\end{align*}
\end{proof}

\section{Link homologies}
\label{sec:link-homologies}
In this section, we define the symmetric Khovanov-Rozansky homology on diagrams of braid closures and prove that they are indeed links invariants. The definition is of a purely foamy nature. However for proving the invariance we need to use the dictionary developed in Section~\ref{sec:soergel-bimodules-1}. We derive the invariance of the symmetric homologies from the invariance of the triply graded homology \cite{MR2421131}. We use the description of this homology as Hochschild homology of complexes of Soergel bimodules due to Khovanov and Rouquier \cite{MR2339573, 1203.5065}. We show that the extra differential introduced in Section~\ref{sec:an-extra-diff}, is compatible with their construction. Finally, we prove that when taking the homology with respect to this extra differential, one gets the same link homology as the one obtained by applying the foamy functor of the previous sections.
This link homology categorifies the Reshetikhin-Turaev link invariant associated with $q$\nobreakdash-sym\-metric powers of the standard representation of $U_q(\sll_N)$. We call it the \emph{symmetric Khovanov-Rozansky homology}.

\subsection{The chain complexes}
\label{sec:chain-complexes}

The idea of the construction is somewhat classical. We follow the normalization used in \cite{MR3447099}.
Let $D$ be a diagram of a braid-closure of level $k$, and
$\Xing(D)$ be its set of crossings. For $x$ in $\Xing(D)$ we define a
finite set $I_x$ by the following rules:
\begin{align*}
\begin{array}{ccl}
\textrm{if } x= \scriptstyle{\NB{\tikz[scale=0.4]{\input{\imagesfolder/cef_crossingplustalk}}}}& \textrm{and $m\leq n$}& \textrm{then $I_x=\{-m, \dots, -1, 0\}$}, \\[0.3cm]
\textrm{if } x= \scriptstyle{\NB{\tikz[scale=0.4]{\input{\imagesfolder/cef_crossingplustalk}}}}& \textrm{and $m>n$}& \textrm{then $I_x=\{-n, \dots, -1, 0\}$}, \\[0.3cm]
\textrm{if } x= \scriptstyle{\NB{\tikz[scale=0.4]{\input{\imagesfolder/cef_crossingminustalk}}}}& \textrm{and $m\leq n$}& \textrm{then $I_x=\{0, 1, \dots, m\}$}, \\[0.3cm]
\textrm{if } x= \scriptstyle{\NB{\tikz[scale=0.4]{\input{\imagesfolder/cef_crossingminustalk}}}}& \textrm{and $m>n$}& \textrm{then $I_x=\{0, 1, \dots, n\}$}.
\end{array}
\end{align*}
In the first two cases, we say that $x$ is of type $(m,n,+)$
and in the last two cases of type $(m,n,-)$.
If $x$ is a crossing and $i$ is an element of $I_x$ we define
\begin{align*}
(\eta_{x,i}, \kappa_{x,i}) &=
\begin{cases}
(m+i,-i-m) & \textrm{if $x$ is of type $(m,n,+)$, and $m\leq n$} \\
(n+i,-i-n) & \textrm{if $x$ is of type $(m,n,+)$, and $m>n$,} \\
(i-m,m-i) & \textrm{if $x$ is of type $(m,n,-)$, and $m\leq n$} \\
(i-n,n-i) & \textrm{if $x$ is of type $(m,n,-)$ and $m>n$.}
\end{cases}
\end{align*}

We set $I(D)$ to
be $\prod_{x\in \Xing(D)}I_x$ and call the elements of $I(D)$
\emph{the states of $D$}. With every state $s=(s_x)_{x\in \Xing(D)}$ of $D$
we associate a vinyl graph $D_s$ of level $k$ by replacing every
crossing $x$ of $\Xing(D)$ according to the rules given by Figure \ref{newfig2}.

\begin{figure}[htb]
\begin{align*}
\NB{\tikz{\input{\imagesfolder/sym_squareMOYsx3}}} & \qquad \textrm{if $x$ is of type $(m,n,+)$ and $m \leq n $,} \\
\NB{\tikz{\input{\imagesfolder/sym_squareMOYsx4}}} & \qquad \textrm{if $x$ is of type $(m,n,+)$ and $m >n $,} \\
\NB{\tikz{\input{\imagesfolder/sym_squareMOYsx1}}} & \qquad \textrm{if $x$ is of type $(m,n,-)$ and $m\leq n$,} \\
\NB{\tikz{\input{\imagesfolder/sym_squareMOYsx2}}} & \qquad \textrm{if $x$ is of type $(m,n,-)$ and $m> n$.}
\end{align*}
\vspace*{-\baselineskip}
\caption{}\label{newfig2}
\vspace*{-\baselineskip}
\end{figure}

If $s$ is a state, we define
\[\eta_s = \sum_{x\in \Xing} \eta_{x,s_x}\quad \textrm{and} \quad \kappa_s= \sum_{x\in \Xing} \kappa_{x,s_x} \] and we set $D_s$ to sit in topological degree $\eta_s$ and to be shifted in $q$-degree by $\kappa_s$.

If $s=(s_x)_{x\in \Xing(D)}$ and $s'=(s'_x)_{x\in \Xing(D)}$ are two states
which are equal on all but one of their coordinate $x$, for which
$s'_x = s_x +1$, we write $(s \to s')$ (or $(s\to_x s')$ to be precise). In
this case, we define $F_{D,s\to s'}$ to be the vinyl
$D_{s'}$-foam-$D_{s}$, which is the identity everywhere but in a
neighborhood of $x$, where it is given by Figure \ref{newfig3}.

\begin{figure}[htb]
\begin{align*}
\begin{array}{ccc}
\NB{\tikz[scale =0.7]{\input{\imagesfolder/sym_diff4}}} & & \NB{\tikz[scale =0.7]{\input{\imagesfolder/sym_diff2}}} \\
\textrm{if $x$ is of type $(m,n,+)$ and $m \leq n $,} & & \textrm{if $x$ is of type $(m,n,-)$ and $n\leq m$,}
\end{array} \\
\begin{array}{ccc}
\NB{\tikz[scale =0.7]{\input{\imagesfolder/sym_diff3}}} & & \NB{\tikz[scale =0.7]{\input{\imagesfolder/sym_diff1}}} \\
\textrm{if $x$ is of type $(m,n,+)$ and $m >n $,} && \textrm{if $x$ is of type $(m,n,-)$ and $n< m$.}
\end{array}
\end{align*}
\vspace*{-\baselineskip}
\caption{It is worth noting that this has $q$-degree $1$.}\label{newfig3}
%\vspace*{-\baselineskip}
\end{figure}

\begin{rmk}
\label{rmk:diff1}
If $x$ is of type $(1, 1, +)$ or $(1,1, -)$, the set $I_x$ has two elements and the foam $F_{D,s\to_x s'}$ simplifies upon removing $0$-labeled facets:\vspace*{-3pt}\enlargethispage{\baselineskip}
\[
\begin{array}{cc}
\NB{\tikz[scale=1]{\input{\imagesfolder/sym_splitfoam}}} & \NB{\tikz[scale=1]{\input{\imagesfolder/sym_jointfoam}}} \\
F_{D,s\to_x s'}\textrm{ for $x$ of type $(1,1, +)$,} & F_{D,s\to_x s'}\textrm{ for $x$ of type $(1,1,-)$.}
\end{array}
\]
\end{rmk}

We define an hyper-rectangle $R(D)$ of graded $\SP{N}$-modules. The vertices of this hyper-rectangle are labeled by states and
the edges by pair of states $(s,s')$ for which $s \to s'$. With every
state $s=(s_x)_{x\in \Xing}$ we associated the graded $\SP{N}$-module
$V_s:=\syf_{k,N}(D_s)q^{\kappa_s}$ and we declare that it has
homological degree $\eta_s$.

With every edge $(s\to s')$, we associate the map
$d_{s\to s'}\!:=\!\syf_{k,N}(F_{D,s\to s'}): V_s\!\to\!V_{s'}$. One easily checks that all these maps are
$q$-homogeneous of degree $0$ (thanks to the degree shift $q^{\kappa_s}$) and
increase
the homological degree by $1$. Hence
we call them \emph{pre-differentials}.

\enlargethispage{\baselineskip}%
All squares in $R(D)$ commute because of the TQFT nature of the
functor $\syf_{k,N}$. Furthermore, if the composition of two pre-differentials $d_{s\to s'}$ and $d_{s'\to s''}$ does not fit into a square in $R(D)$, this means that we have $(s\to_x s')$ and $(s'\to_x s'')$ for the same~$x$ in $\Xing$. In this case $d_{s'\to s''} \circ d_{s\to s'} =0$ because the foams of Figure \ref{newfig4}
\begin{figure}[htb]
\[
\NB{\tikz[scale=0.7]{\input{\imagesfolder/sym_prediff2diff1}}}\,\,\textrm{and} \,\,
\NB{\tikz[scale=0.7]{\input{\imagesfolder/sym_prediff2diff2}}}
\]
\vspace*{-\baselineskip}
\caption{}\label{newfig4}
\vspace*{-\baselineskip}
\end{figure}
are $\infty$-equivalent to $0$. Indeed, given a closure $F$ of one of this two foams, one can gather the colorings of $F$ in canceling pairs. Given a coloring $c$ of $F$, the two facets labeled~$1$ must carry different pigments, say~$i$ and~$j$. One can locally exchange the pigments~$i$ and $j$. This produces a new coloring $c'$ and the contributions of $c$ and $c'$ in the evaluation formula (Definition~\ref{dfn:exteval}) cancel each others. Hence if we add\footnote{There are many ways to do it, but all possibilities produce isomorphic chain complexes. In order to get functoriality of the construction announced in the introduction, one should be careful in this choice. This boils down to endowing the set $\Xing$ with a total order as detailed in \cite{FunctorialitySLN}. A~more systematical construction is given in \cite{1195.57024} making use of the exterior algebra generated by~$\Xing$. This last approach works only for uncolored links, but can be easily adapted to the colored~case.} some signs to the pre-differential to turn the commutativity of squares into anti-commutativity we can flatten the hyper-rectangle $R(D)$ and obtain a complex of graded $\SP{N}$-modules $S^{\cbullet,\cbullet}(D)$.

Finally we set $\widehat{S}^{\cbullet,\cbullet}(D)$ to be equal to $S^{\cbullet,\cbullet}(D)q^{\kappa'(D)}$, where\enlargethispage{\baselineskip}%
\[\kappa'(D) = \sum_{x \in \Xing} \kappa'_x \quad \textrm{and} \quad
\kappa'_x=
\begin{cases}
-m(m+N-1) & \textrm{if $x$ is of type $(m,m,+)$, } \\
m(m+N-1) & \textrm{if $x$ is of type $(m,m,-)$,} \\
0 & \textrm{else.}
\end{cases}
\]

\begin{thm}
\label{thm:symlinkhom}
The homology of $\widehat{S}^{\cbullet,\cbullet}(D)$ is a link invariant which categorifies the symmetric Reshetikhin-Turaev invariant.
\end{thm}

\begin{notation}
In what follows, we deal with three different differentials: the Hochschild one ($d_H$), the topological one ($d_T$) and the extra one ($d^N$). We denote by $\HH(\cbullet)$ (\resp $\HT(\cbullet)$, $\HN(\cbullet)$), the homology taken with respect to $d_H$ (\resp $d_T$, $d^N$) and by $\HNT(\cbullet)$ the homology taken with respect to the total complex\footnote{Note that $d^N$ is a differential of \emph{chain} complex (it has $H$-degree $-1$) while $d_T$ is a differential of \emph{cochain} complex (it has $T$-degree $+1$), the total complex we consider is a complex of cochain complex: the total homological degree is equal to the $T$-degree minus the $H$-degree.} built out of the bicomplex with bi-differentials $(d^N,d_T)$.
The Hochschild homology is computed using the Koszul complex (as explained in Section~\ref{sec:hochschild-homology} and Appendix~\ref{sec:kosz-reosl-polyn}). Moreover, for the Hochschild homology, we will often drop the algebra in the notation: writing $\HH(M)$ instead of $\HH(A,M)$. As explained in Section~\ref{sec:an-extra-diff}, we denote by $\HH^N$ the Hochschild homology with an additional $q$-degree shift making the extra differential of $q$-degree $0$.

Note that homological degree for $\HH$ and $\HN$ coincide. We denote by $[\cbullet]_H$ and $[\cbullet]_T$ grading shifts\footnote{We use the \emph{homological} convention for grading shifts: If $V = \oplus_i V_i$, we have $(V[k])_i = V_{i-k}$.} with respect to the $H$ and the $T$-degree. When considering the total complex built out of the bicomplex with bi-differentials $(d^N,d_T)$, the homological degree shift is denoted by $[\cbullet]_{T\!H}$. Let us recall that grading shifts with respect to the $q$-degree are denoted by $q^{\sbullet}$.
\end{notation}

\begin{proof}[Proof of Theorem~\ref{thm:symlinkhom}]
The fact the graded Euler characteristic of $\widehat{S}^{\cbullet,\cbullet}(\cbullet)$ is indeed the symmetric Reshetikhin-Turaev invariant follows from Theorem~\ref{thm:catsym} and from the construction of the hyper-rectangle which is clearly designed to categorify the identities~\eqref{eq:symcrossplus} and \eqref{eq:symcrossminus}.
In order to prove invariance, we proceed in two steps:
\begin{enumerate}
\item \label{item:braids} First, we prove that if $D$ is a diagram of a knotted vinyl graph (that is, a diagram of a knotted MOY graph which satisfies the same condition on tangent than vinyl graph), then the homotopy type of complex $S^{\cbullet,\cbullet}(D)$ (up to a $q$-grading shift) only depends on the isotopy type of knotted graph in the annulus.
\item \label{item:stab} Then we prove that we have a stabilization property. Namely, we will show, that for any diagram of knotted braid-like $\listk{k}$\nobreakdash-MOY graph-$\listk{k}$ $\Gamma$, the complexes associated with the following three diagrams
\[
D_+ := \NB{\tikz[scale=0.38]{\input{\imagesfolder/sym_stabplus}}},
\quad
D_- := \NB{\tikz[scale=0.38]{\input{\imagesfolder/sym_stabminus}}}
\quad \textrm{and} \quad
D_0 := \NB{\tikz[scale=0.38]{\input{\imagesfolder/sym_Gamma0}}}
\]
have the same homology. We write $\Gamma_+$ (\resp $\Gamma_-$) for the two knotted braid-like $\listk{k'}$\nobreakdash-MOY graph-$\listk{k'}$ obtained from $\Gamma$ by adding one strand labeled by $1$ on the right and a positive (\resp negative) crossing on the top of it.
\end{enumerate}
Note that in our stabilization, we only deal with a strand labeled by $1$. Thanks to a trick due to Mackaay-Sto\v si\'c-Vaz~\cite{MR2746676} (see as well \cite{pre06302580} and \cite[Fig.\,1]{MR3709661}), this implies (together with the homotopy equivalences~\eqref{eq:twistfork}) that we actually get the stabilization property for any labels. Using this trick requires that we actually deal with knotted vinyl graphs in step~\eqref{item:braids} (and not only with links). Finally thanks to Markov theorem, we can conclude that $S^{\cbullet,\cbullet}(D)$ is a link invariant.
\begin{equation}\label{eq:twistfork}
q^{-ab }S\left(
\NB{\tikz[scale=0.5]{\input{\imagesfolder/sym_twistingforkplus}}}
\right)
\simeq
S\left(
\NB{\tikz[scale=0.5]{\input{\imagesfolder/sym_twistingfork0}}}
\right)
\simeq
q^{ab} S\left(
\NB{\tikz[scale=0.5]{\input{\imagesfolder/sym_twistingforkminus}}}
\right).
\end{equation}

The proof of step~\eqref{item:braids} is quite standard. One first consider the case where all strands involved in the braid relations have label $1$. This case is treated in terms of foams in \cite[Figs.\, 5.14 \& 5.16]{VAZPHD}. The case with strands of arbitrary labels follows from the first case and the invariance under the so-called \emph{fork slide moves} (see Figure~\ref{fig:fkslmv}).
\begin{figure}[p]
\centering
\tikz[scale= 0.65]{\input{\imagesfolder/sym_fork-slide-2}} \\[4pt]
\tikz[scale = 0.65]{\input{\imagesfolder/sym_fork-slide}}
\caption{Fork slide moves}
\label{fig:fkslmv}
\vspace*{\baselineskip}
\centering
\tikz[scale = .9]{\input{\imagesfolder/sym_blist}}
\caption{Blisting an edge of label $i$.}
\label{fig:blist}
\[
\tikz[xscale =3, yscale= 2.5]{
\node (A) at (0, 1) {$ \NB{\tikz[yscale = 0.5, xscale = 0.9]{\input{\imagesfolder/sym_cx-fk-sl-0}} }$};
\node (B) at (0,-1) {$ \NB{\tikz[yscale = 0.5, xscale = 0.9]{\input{\imagesfolder/sym_cx-fk-sl-4}} }$};
\node (a) at (-1, 1) {$\dots$};
\node (aa) at (1, 1) {$\dots$};
\node (b) at (-1,-1) {$\dots$};
\node (bb) at (1,-1) {$\dots$};
\draw[-to] (a) -- (A);
\draw[-to] (A) -- (aa);
\draw[-to] (b) -- (B);
\draw[-to] (B) -- (bb);
\draw[-to] (A) -- (B);
}
\]
\vspace*{-2\baselineskip}
\caption{For simplicity we dropped the symbols $\syf_N$.}\label{newfig5}
\end{figure}
\begin{figure}[p]
\[
\tikz[xscale =2.7, yscale = 2.25]{
\node (A) at (0, 1) {$\NB{\tikz[yscale = 0.5, xscale = 0.9]{\input{\imagesfolder/sym_cx-fk-sl-1}} }
\oplus
[j]\NB{\tikz[yscale = 0.5, xscale = 0.9]{\input{\imagesfolder/sym_cx-fk-sl-3}} }
$};
\node (B) at (0,-1) {$[j+1]\NB{\tikz[yscale = 0.5, xscale = 0.9]{\input{\imagesfolder/sym_cx-fk-sl-3}} }$};
\node (a) at (-1.7, 1) {$\dots$};
\node (aa) at (1.7, 1) {$\dots$};
\node (b) at (-1.7,-1) {$\dots$};
\node (bb) at (1.7,-1) {$\dots$};
\draw[-to] (a) -- (A);
\draw[-to] (A) -- (aa);
\draw[-to] (b) -- (B);
\draw[-to] (B) -- (bb);
\draw[-to] (A) -- (B);
}
\]
\vspace*{-2\baselineskip}
\caption{}\label{newfig6}
\[
\tikz[xscale =2.7, yscale=2.25]{
\node (A) at (0, 1) {$\NB{\tikz[yscale = 0.5, xscale = 0.9]{\input{\imagesfolder/sym_cx-fk-sl-1}} }
$};
\node (B) at (0,-1) {$q^{-j}\NB{\tikz[yscale = 0.5, xscale = 0.9]{\input{\imagesfolder/sym_cx-fk-sl-3}} }$};
\node (a) at (-1.5, 1) {$\dots$};
\node (aa) at (1.5, 1) {$\dots$};
\node (b) at (-1.5,-1) {$\dots$};
\node (bb) at (1.5,-1) {$\dots$};
\draw[-to] (a) -- (A);
\draw[-to] (A) -- (aa);
\draw[-to] (b) -- (B);
\draw[-to] (B) -- (bb);
\draw[-to] (A) -- (B);
}
\]
\vspace*{-2\baselineskip}
\caption{}\label{newfig7}
\end{figure}
Indeed, one can blist (see Figure~\ref{fig:blist}) each strands and use the fork slide moves and the $1$-labeled braid relation to deduce the arbitrary labeled braid relations. See \cite{MR3687104, MR2491657,pre06302580} for similar arguments.
Proof of invariance for the fork slide move using foam is quite standard see for instance \cite[Proof of Prop.\,4.10]{queffelec2014mathfrak} or \cite[\S 3.3]{FunctorialitySLN}. But let us briefly sketch how it works on the fork slide move on the top left move of Figure~\ref{fig:fkslmv}. We consider the diagram on the left-hand side of the move and its associated complex in Figure \ref{newfig5}.
The space on the first line can be decomposed using the isomorphisms \eqref{eq:catsymass} and \eqref{eq:catsymsquare}. The space on the second line can be decomposed using isomorphisms
\eqref{eq:catsymass} and \eqref{eq:digoncat}. This gives the diagrams in Figure \ref{newfig6}.
One can check that the vertical maps injective on the second term of the direct sum. We can use them to simplify the complex. The complex is homotopy equivalent to that in Figure~\ref{newfig7}.
The second line turns out to be exact (thanks to isomorphism~\eqref{eq:catsymsquare}) except on the rightmost (corresponding to $j=0$) term if $n<m$. If~the line is exact we can simplify and obtain that the complex is homotopy equivalent to that corresponding to the right-hand side diagram of the for slide move we are interested~in.

If $n<m$, we can cancel out the second line except the rightmost term which becomes:
\[
\NB{\tikz[yscale = 0.5, xscale = 0.9]{\input{\imagesfolder/sym_cx-fk-sl-5}}}
\]
Hence the whole complex is homotopy equivalent to that corresponding to the right-hand side diagram of the for slide move we are interested in.

The invariance under braid relations can as well be deduced from the algebraic setting using Soergel bimodules, see \cite{MR3687104}. The proof of step~\eqref{item:stab} is more involved. We need to use the dictionary between Soergel bimodules and vinyl foams developed in Section~\ref{sec:one-quotient-two} and a stabilization result which holds for Soergel bimodules.

First note that if $D$ has braid index equal to $k$,
\[
S(D) = \HT(\HN(\HH^N_\sbullet(\BS(R(D)))))q^{-k(N-1)},
\]
thanks to Proposition~\ref{prop:alg-eq-foam}. We claim that we have
\[
\HNT(\HH^N_\sbullet(\BS(R(D))))= \HT(\HN(\HH^N_\sbullet (\BS(R(D))))).
\]
We consider $\HH^N_\sbullet (\BS(R(D)))$. It is a bi-complex which we temporarily denote by~$C$. Proposition~\ref{prop:all-in-deg-0} tells us that $\HN(C)$ is concentrated in $H$-degree equal to $0$. This implies that the spectral sequence $E(C)$ induced by the bi-complex structure with $\HT(\HN(C))$ on the second page has only trivial differentials on this page. This spectral sequence converges to $\HNT(C)$ because the bi-complex is bounded. Hence, we have
\[
\HNT(\HH^N_\sbullet (\BS(R(D))))=E^\infty(C) =E^2(C) = \HT(\HN(\HH^N_\sbullet(\BS(R(D))))).
\]

The stabilization result for Soergel bimodules is given by Lemma~\ref{lem:stab} and its proof occupies Section~\ref{sec:stabilization}. It tells us that:
\[\HT(\HH_\sbullet(\BS(\Gamma_+)))[-1]_T[-1]_Hq^{-1}\simeq \HT(\HH_\sbullet(\BS(\Gamma_0))) \simeq \HT(\HH_\sbullet(\BS(\Gamma_-)))q^{1}.\]
Using $\HH^N$ instead of $\HH$ and collapsing the $T$-grading and the $H$-grading to their difference, we get:
\[\HT(\HH^N_\sbullet(\BS(\Gamma_+)))q^{-2(N-1)-1}\simeq \HT(\HH^N_\sbullet(\BS(\Gamma_0))) \simeq \HT(\HH^N_\sbullet(\BS(\Gamma_-)))q^{1}.\]
Moreover these isomorphisms preserve the extra-differential $d^N$. We shift by $q^{-k(N-1)}$. This proves that
\begin{align*}
\HN(\HT(\HH^N_\sbullet(\BS(\Gamma_+)))) &q^{-N}q^{-(k+1)(N-1)}\simeq \HN(\HT(\HH^N_\sbullet(\BS(\Gamma_0)))) q^{-k(N-1)} \\ &\hspace*{1.7cm}\simeq \HN(\HT(\HH^N_\sbullet(\BS(\Gamma_-))))[1]_{T\!H}q^{N} q^{-(k+1)(N-1)}.
\end{align*}
Since homological degrees are all finite, there is a spectral sequence with
\[
\HN(\HT(\HH_\sbullet A_{\listk{k}}, \BS(\cbullet)))
\]
on the second page converging to $\HNT(\HH_\sbullet A_{\listk{k}}, \BS(\cbullet))$. The previous isomorphisms descend to the spectral sequences and to their limits. Hence we have:
\begin{align*}
\HNT(\HH^N_\sbullet A_{\listk{k}}, \BS(\Gamma_+))q^{N}q^{-(k+1)(N-1)} &\simeq \HNT(\HH_\sbullet^N (A_{\listk{k}}, \BS(\Gamma_0))q^{-k(N-1)}\\
&\simeq \HNT(\HH^N_\sbullet(A_{\listk{k}}, \BS(\Gamma_-))q^{-N}q^{-(k+1)(N-1)}.\end{align*}
This implies that $S(D_+)q^{N} \simeq S(D_0) \simeq S(D_-)q^{-N}$, and finally that
\[
\widehat{S}(D_+) \simeq S(D_0) \simeq \widehat{S}(D_-).\qedhere
\]
\end{proof}

\begin{rmk}
\label{rmk:triplygraded}
Note that the previous proof can be adapted to disk-like foams up to $\infty$-equivalence. Then it turns out to be a rewriting of the invariance of the triply graded homology very close to \cite{1203.5065} (see also \cite{MR2421131, MR3447099}).
\end{rmk}

\subsection{Stabilization}
\label{sec:stabilization}

The aim of this section is to prove the stabilization move for Soergel bimodules. This basically follows from Rouquier \cite{1203.5065}. However, since for further use we need to be careful with some additional structures going on, we repeat the proof. Note, however, that the framework in which the results of \cite{1203.5065} are stated is more general\footnote{Namely, he deals with arbitrary Coxeter groups, while we only consider the type $A$.} than ours.

Let $k$ be a positive integer and $\listk{k}^{1\!1}:= (k_1, \dots, k_{l-1},1,1)$
be a finite sequence of positive integers of level $k$. We define $\listk{k}^2= (k_1, \dots, k_{l-1},2)$ to be the same sequence where the last two $1$s has been merged $\listk{k}^1:= (k_1, \dots, k_{l-1},1)$ to be the same sequence where the last $1$ has been dropped, and finally $\listk{k}^0:= (k_1, \dots, k_{l-1})$ to be the same sequence where the last two $1$s has been dropped. We consider the algebras $A^{1\!1}:= A_{\listk{k}^{1\!1}}$, $A^{2}:= A_{\listk{k}^{2}}$ and $A^{1}:= A_{\listk{k}^{1}}$.

We consider $M$ a complex of $A^1$-modules-$A^1$ which is projective as an $A^1$-module and as a module-$A^1$, and we define $MI := M\otimes \SP{N}[x_{k}]$. It has a natural structure complex of $A^{1\!1}$-modules-$A^{1\!1}$ and these modules are projective as $A^1$-modules and as a modules-$A^1$. We denote by $\theta$ the $A^{1\!1}$-module-$A^{1\!1}$ $A^{1\!1}\otimes_{A^2}A^{1\!1}q^{-1}$. Note that with the notations of Section~\ref{sec:soergel-bimodules-1}, $\theta$ is the Soergel bimodule associated with $\NB{\tikz[scale=0.3]{\input{\imagesfolder/sym_dumble}}}$ and the $A^{1\!1}$-module-$A^{1\!1}$ $A^{1\!1}$ is the Soergel bimodule associated with $\NB{\tikz[scale=0.3]{\input{\imagesfolder/sym_lissage}}}$.
Finally we consider two morphisms of $A^{1\!1}$-modules-$A^{1\!1}$.
\[
\begin{aligned}
s \colon\thinspace \theta & \to A^{1\!1} \\
P\otimes Q &\mto PQ
\end{aligned}\qquad \textrm{and}\qquad
\begin{aligned}
m \colon\thinspace A^{1\!1} & \to \theta \\
P &\mto Px_{k-1}\otimes 1 - P\otimes x_{{k}}
\end{aligned}
\]
The notation may seem confusing: \emph{m} is for \emph{m}erge and \emph{s} is for \emph{s}plit. We define
\begin{align*}
F&:= 0 \to \theta \To{s} A^{1\!1}q^{-1} \to 0, \\
F^{-1}&:= 0 \to A^{1\!1}q \To{m} \theta \to 0.
\end{align*}
In $F^{-1}$ and $F$, $\theta$ is in $T$-degree $0$, $A^{1\!1}q^{-1}$ in $T$-degree $1$ and $A^{1\!1}q$ in $T$-degree $-1$.

Note that in the language of Section~\ref{sec:soergel-bimodules-1}, $m$ and $s$ are the maps induced by the foams given in Remark~\ref{rmk:diff1}.

The following lemma should be compared to \cite[Lem.\,6.3]{MR3709661}.

\begin{lem}
\label{lem:stab}
The homology of the complexes
\begin{gather*}
(\HH_*(A^{1}, M), d_T),\quad (\HH_*(A^{1\!1}, MI\otimes_{A^{1\!1}} F)[-1]_T[-1]_Hq^{-1}, d_T),\\
(\HH_*(A^{1\!1}, MI\otimes_{A^{1\!1}} F^{-1})q^{1}, d_T)
\end{gather*}
are isomorphic as triply graded $\SP{N}$-modules. Moreover we can choose the isomorphisms to commute with the extra-differentials $d^N$.
\end{lem}

\begin{proof}
We will deal with complexes carrying three different differentials: the Hochschild differential $d_H$, the topological differential $d_T$ and the additional differential $d^N$.
\[
C(A^{1\!1}) = C(A^1)\otimes_{\SP{N}} X,
\]
where
\[
\ensuremath{\vcenter{\hbox{
\begin{tikzpicture}[xscale =2]
\node (X) at (-1,1) {$X:=$};
\node (A) at (0,1) {$\SP{N}[x_k] \otimes \SP{N}[x_k]q^2$};
\node (B) at (3,1) {$\SP{N}[x_k] \otimes \SP{N}[x_k]$,};
\draw[-to] (A)--(B) node [midway,above] {\scriptsize{$x_k\otimes 1 - 1 \otimes x_k$}};
\draw[densely dotted, -to] (A) .. controls +(0,-1) and +(0, -1) .. (B) node [midway,below] {\scriptsize $x_k^N\partial_{x_k}$};
\end{tikzpicture}
}}}
\]
Hence
\[
C(A^{1\!1}) \otimes_{(A^{1\!1})^{\ren}} (MI \otimes_{A^{1\!1}} F) \simeq C(A^{1}) \otimes_{(A^{1})^{\ren}}(M \otimes_ {A^{1}} (X\otimes_{\SP{N}[x_k]^{\ren}} F)),
\]
where $B^{\ren}$ denotes the algebra $B\otimes_RB^{\opp}$ for any $R$-algebra. We have, focusing on \hbox{$X\otimes_{\SP{N}[x_k]^{\ren}} F$},
\begin{align*}
X\otimes_{\SP{N}[x_k]^{\ren}} F \simeq
\NB{
\ensuremath{
\vcenter{\hbox{
\begin{tikzpicture}[yscale =1.3]
\node (A) at (0,1) {$\theta q^2$};
\node (B) at (2,1) {$A^{1\!1}q$};
\node (C) at (0,0) {$\theta $};
\node (D) at (2,0) {$A^{1\!1}q^{-1}$};
\draw[-to] (A)--(B) node [midway,above] {\scriptsize{$s$}};
\draw[-to] (A)--(C) node [midway,left] {\scriptsize{$x_k\otimes 1 - 1\otimes x_k$}};
\draw[-to] (B)--(D) node [midway,right] {\scriptsize{$0$}};
\draw[-to] (C)--(D) node [midway,below] {\scriptsize{$s$}};
\draw[densely dotted, -to] (A) .. controls +(0.5,-0.50) and +(0.5,0.5) .. (C);
\draw[densely dotted, -to] (B) .. controls +(0.5,-0.5) and +(0.5,0.5) .. (D);
\end{tikzpicture}
}}}
}.
\end{align*}

In $\theta$, the elements $2(x_k\otimes 1 - 1\otimes x_k)$ and $(x_{k}- x_{k-1})\otimes 1 - 1\otimes (x_k - x_{k-1})$ are equal. Hence, we have the following exact sequence of bicomplexes (for $d_T$ and $d_H$) of graded $A^{1\!1}$-modules-$A^{1\!1}$ in Figure \ref{newfig8}.
\begin{figure}[htb]
\begin{align*}
\begin{tikzpicture}[yscale=1.5, xscale=1.3]
\node (O1) at (5.5,1.5) {$0$};
\node (Y1) at (5.5,0.5) {$Y_1$};
\node (FX) at (5.5,-1.5) {$F\otimes_{\QQ[x_k]^{\ren}}X$};
\node (Y2) at (5.5,-3.5) {$Y_2$};
\node (O2) at (5.5,-4.5) {$0$};
\begin{scope}
\node (A1) at (0,1) {$A^{1\!1}q^3 $};
\node (B1) at (2,1) {$A^{1\!1}q$};
\node (C1) at (0,0) {$0$};
\node (D1) at (2,0) {$0$};
\draw[-to] (A1)--(B1) node [midway,above] {\tiny{$2(x_{k} - x_{k-1})$}};
\draw[-to] (A1)--(C1) node [midway,left] {};
\draw[-to] (B1)--(D1) node [midway,right] {};
\draw[-to] (C1)--(D1) node [midway,below] {};
\draw [dotted, rounded corners] (-0.5,-0.3) -- ++(3,0) -- ++(0,1.6) -- ++(-3,0) -- cycle;
\draw [dotted] (2.5, 0.5) -- (Y1);
\end{scope}
\begin{scope}[yshift =0cm]
\node (A2) at (0,-1) {$\theta q^2$};
\node (B2) at (2,-1) {$A^{1\!1}q$};
\node (C2) at (0,-2) {$\theta $};
\node (D2) at (2,-2) {$A^{1\!1}q^{-1}$};
\draw[-to] (A2)--(B2) node [midway,above] {\tiny{$s$}};
\draw[-to] (A2)--(C2) node [midway,left] {\tiny{$x_k\otimes 1 - 1\otimes x_k$}};
\draw[-to] (B2)--(D2) node [midway,right] {\tiny{$0$}};
\draw[-to] (C2)--(D2) node [midway,below] {\tiny{$s$}};
\draw[densely dotted, -to] (A2) .. controls +(0.5,-0.50) and +(0.5,0.5) .. (C2);
\draw[densely dotted, -to] (B2) .. controls +(0.5,-0.5) and +(0.5,0.5) .. (D2);
\draw [dotted, rounded corners] (-0.5,-2.3) -- ++(3,0) -- ++(0,1.6) -- ++(-3,0) -- cycle;
\draw [dotted] (2.5, -1.5) -- (FX);
\end{scope}
\begin{scope}[yshift = 0cm]
\node (A3) at (0,-3) {$A'^{1\!1}q$};
\node (B3) at (2,-3) {$0$};
\node (C3) at (0,-4) {$\theta $};
\node (D3) at (2,-4) {$A^{1\!1}q^{-1}$};
\draw[-to] (A3)--(B3) node [midway,above] {};
\draw[-to] (A3)--(C3) node [midway,left] {\tiny{$a\mto
\begin{array}{l}
a(x_{k}- x_{k-1})\otimes 1 \\- a\otimes (x_k - x_{k-1})
\end{array}$}};
\draw[-to] (B3)--(D3) node [midway,right] {\tiny{$0$}};
\draw[-to] (C3)--(D3) node [midway,below] {\tiny{$s$}};
\draw [dotted, rounded corners] (-0.5,-4.3) -- ++(3,0) -- ++(0,1.6) -- ++(-3,0) -- cycle;
\draw [dotted] (2.5, -3.5) -- (Y2);
\end{scope}
\draw[-to] (A1) .. controls +(-1,-1) and +(-1, 1) .. (A2) node[midway, left]
{\tiny{$ \begin{array}{c} (x_{k}-x_{k-1})\otimes 1 \\ + 1\otimes (x_{k}-x_{k-1}) \end{array}$}};
\draw[-to] (A2) .. controls +(-1,-1) and +(-1, 1) .. (A3) node[midway, left] {\tiny{$a\otimes b \mto a\sigma_{k-1}(b)$}};
\draw[-to] (C2) .. controls +(-1,-1) and +(-1, 1) .. (C3) node[midway, left] {\tiny{$2\id$}};
\draw[dashed, -to] (A3) .. controls +(1,1) and +(1, -1) .. (A2) node[near end, right] {\tiny{$\phi$}};
\draw[-to] (B1) .. controls +(1,-1) and +(1, 1) .. (B2) node[midway, right] {\tiny{$\id$}};
\draw[-to] (D2) .. controls +(1,-1) and +(1, 1) .. (D3) node[midway, right] {\tiny{$2\id$}};
\draw[->] (O1) -- (Y1);
\draw[->] (Y1) -- (FX);
\draw[->] (FX) -- (Y2);
\draw[->] (Y2) -- (O2);
\end{tikzpicture}
\end{align*}
\vspace*{-2\baselineskip}
\caption{Here $A'^{1\!1}$ is equal to $A^{1\!1}$ as a $A^{1\!1}$-module and has a right $A^{1\!1}$-action twisted by the transposition $\sigma_{k-1}$ which exchanges $x_k$ and $x_{k-1}$.}\label{newfig8}
\end{figure}
Note that this is \emph{not} a sequence of tri-complexes: it does not respect the differential $d^N$. The dotted arrows represents the part of $d^N$ appearing in $X$. In each topological degree, this sequence splits as a sequence of complexes (for the Hochschild differential) of
\[
\phi(p(x_1, \dots, x_{k_2})x_{k-1}^i x_k^j) = p(x_1, \dots, x_{k_2}) x_{k-1}^i \otimes x_{k-1}^j.
\]
We now take the homology with respect with the Hochschild differentials.\footnote{Here, we abuse a little bit the appellation Hochschild differential: in $Y_1$ and $Y_2$ the vertical arrows are part of the Hochschild differential, while the horizontal ones are part of the topological differential.} It implies, that for each $i$ in $\NN$, that we have the sequence of graded complexes:
\begin{multline*}
0\to \HH_i(C(A^{1}) \otimes_{(A^{1})^{\ren}}(M \otimes_ {A^{1}} Y_1)) \to \HH_i(A^{1\!1}, MI\otimes F) \\ \to \HH_i(C(A^{1}) \otimes_{(A^{1})^{\ren}}(M \otimes_ {A^{1}} Y_2)) \to 0.
\end{multline*}
We have a short exact sequence of complexes of $A^{1\!1}$-modules-$A^{1\!1}$:
\[
0 \to A'^{1\!1}q \To{a\mto a(x_k- x_{k-1})\otimes 1 -a \otimes (x_k- x_{k-1})}
\theta \stackrel{s}{\to} A^{1\!1}q^{-1} \to 0.
\]
This implies that for all $i$, the complex $\HH_i(C(A^{1}) \otimes_{(A^{1})^{\ren}}(M \otimes_ {A^{1}} Y_2))$ is homotopically trivial (with respect to $d_T$).
It follows that:
\[
\HT(\HH_i(A^{1\!1}, MI\otimes F^{-1}))
\simeq \HT(\HH_i(C(A^{1}) \otimes_{(A^{1})^{\ren}}(M \otimes_ {A^{1}} Y_1))).
\]
This implies that the part of the differential $d^N$ coming from $X$ is equal to $0$ in $\HT(\HH_i(A^{1\!1}, MI\otimes F^{-1}))$, and therefore that this isomorphism commute with~$d^N$.
The complex $(\HH_i(C(A^{1}) \otimes_{(A^{1})^{\ren}}(M \otimes_ {A^{1}} Y_1)), d_T)$ has the same homology as the complex $(\HH_i(C(A^{1}) \otimes_{(A^{1})^{\ren}}(M \otimes_ {A^{1}} A^1q^1))[+1]_H, d_T)$ which itself is equal to $\HH_i(A^{1}, M) [+1]_Hq^1$.

The argument for $F^{-1}$ is similar, with the following short exact sequence of bi-complexes:
\begin{align*}
\begin{tikzpicture}[yscale=1.5, xscale =1.3]
\node (O1) at (-3.5,1.5) {$0$};
\node (Y1) at (-3.5,0.5) {$Z_1$};
\node (FX) at (-3.5,-1.5) {$F^{-1}\otimes_{\QQ[x_k]^{\ren}}X$};
\node (Y2) at (-3.5,-3.5) {$Z_2$};
\node (O2) at (-3.5,-4.5) {$0$};
\begin{scope}
\node (A1) at (0,1) {$A^{1\!1}q^3$};
\node (B1) at (2,1) {$A^{1\!1}q^3$};
\node (C1) at (0,0) {$0$};
\node (D1) at (2,0) {$0$};
\draw[-to] (A1)--(B1) node [midway,above] {\tiny{$\Id$}};
\draw[-to] (A1)--(C1) node [midway,left] {};
\draw[-to] (B1)--(D1) node [midway,right] {};
\draw[-to] (C1)--(D1) node [midway,below] {};
\draw [dotted, rounded corners] (-0.5,-0.3) -- ++(3,0) -- ++(0,1.6) -- ++(-3,0) -- cycle;
\draw [dotted] (-0.5, 0.5) -- (Y1);
\end{scope}
\begin{scope}[yshift =0cm]
\node (A2) at (0,-1) {$A^{1\!1}q^3$};
\node (B2) at (2,-1) {$\theta q^2$};
\node (C2) at (0,-2) {$A^{1\!1}q$};
\node (D2) at (2,-2) {$\theta $};
\draw[-to] (A2)--(B2) node [midway,above] {\tiny{$m$}};
\draw[-to] (A2)--(C2) node [midway,left] {\tiny{$0$}};
\draw[-to] (B2)--(D2) node [midway,right] {\tiny{$x_k\otimes 1 - 1\otimes x_k$}};
\draw[-to] (C2)--(D2) node [midway,below] {\tiny{$m$}};
\draw[densely dotted, -to] (A2) .. controls +(0.5,-0.50) and +(0.5,0.5) .. (C2);
\draw[densely dotted, -to] (B2) .. controls +(-0.5,-0.5) and +(-0.5,0.5) .. (D2);
\draw [dotted, rounded corners] (-0.5,-2.3) -- ++(3,0) -- ++(0,1.6) -- ++(-3,0) -- cycle;
\draw [dotted] (-0.5, -1.5) -- (FX);
\end{scope}
\begin{scope}[yshift = 0cm]
\node (A3) at (0,-3) {$0$};
\node (B3) at (2,-3) {$A'^{1\!1}q$};
\node (C3) at (0,-4) {$A^{1\!1}q$};
\node (D3) at (2,-4) {$\theta$};
\draw[-to] (A3)--(B3) node [midway,above] {};
\draw[-to] (A3)--(C3) node [midway,left] {};
\draw[-to] (B3)--(D3) node [midway,right]
{\tiny{$a\mto
\begin{array}{l}
(x_{k}- x_{k-1})a\otimes 1 \\- a\otimes (x_k - x_{k-1})
\end{array}$}};
\draw[-to] (C3)--(D3) node [midway,below] {\tiny{$m$}};
\draw [dotted, rounded corners] (-0.5,-4.3) -- ++(3,0) -- ++(0,1.6) -- ++(-3,0) -- cycle;
\draw [dotted] (-0.5, -3.5) -- (Y2);
\end{scope}
\draw[-to] (A1) .. controls +(-1,-1) and +(-1, 1) .. (A2) node[midway, left] {\tiny{$2\id $}};
\draw[-to] (B2) .. controls +(1,-1) and +(1, 1) .. (B3) node[midway, right] {\tiny{$a\otimes b \mto a\sigma_{k-1}(b)$}};
\draw[-to] (C2) .. controls +(-1,-1) and +(-1, 1) .. (C3) node[midway, left] {\tiny{$\id$}};
\draw[dashed, -to] (B3) .. controls +(-1,1) and +(-1, -1) .. (B2) node[near end, left] {\tiny{$\phi$}};
\draw[-to] (B1) .. controls +(1,-1) and +(1, 1) .. (B2) node[midway, right]
{\tiny{$a\mto
\begin{array}{l}
(x_{k}- x_{k-1})a\otimes 1 \\- a\otimes (x_k - x_{k-1})
\end{array}$}};
\draw[-to] (D2) .. controls +(1,-1) and +(1, 1) .. (D3) node[midway, right] {\tiny{$\Id$}};
\draw[->] (O1) -- (Y1);
\draw[->] (Y1) -- (FX);
\draw[->] (FX) -- (Y2);
\draw[->] (Y2) -- (O2);
\end{tikzpicture}
\end{align*}
\end{proof}

\subsection{An example of computation }
\label{sec:an-example-comp}
In this section, we compute the homology of the positive uncolored Hopf link in the non-equivariant setting (\ie evaluating the variables $T_\sbullet$ on $0$).

First remark (see Remark~\ref{rmk:diff1}) that the pre-differential given by the foam $F_{D,s\to_x s'}$ for $x$ of type $(1,1, +)$ (\resp of type $(1,1,-)$) is always surjective (\resp injective). This implies in particular that if an uncolored braid diagram $D$ has $n$ crossings, then the homological length (for the topological degree) of $H(\widehat{S}(D)$ is at most $n$. If $D$ contains both positive and negative crossings then $H(\widehat{S}(D)$ has length at most $n-1$.

The complex of resolutions of the positive uncolored Hopf link is given by:
\[
\NB{\tikz[scale =0.65]{\input{\imagesfolder/sym_exhopf}}}
\]

In this picture, the red labels are meant to represent a basis. For a given diagram~$\Gamma$, pick a $\Gamma$-tree-like foam and decorate it with the elements given by red sets. The blue quantum numbers are meant to represent the quantum dimension of the spaces.

Observe that the two spaces in the middle are isomorphic and that the pre-differential on the left are equal up to this isomorphism, and therefore have the same kernel. On the other hand, the pre-differential on the right are surjective. Taking care of the different grading shifts, this gives:
\[
H_{i}(\widehat{S}(D_n)) = H_{i}(S(D_n))q^{-Nn} =
\begin{cases}
\QQ[N][N+1] q^{-2N+1} & \textrm{if $i =0$,}\\
\QQ[N]q^{-(N+1)} & \textrm{if $i=1$,}\\
0 & \textrm{else.}
\end{cases}
\]

\skpt
\begin{rmk}
\label{rmk:N12}
\begin{enumerate}
\item Note in particular that the symmetric uncolored homology of
links is not trivial for $N=1$ (for which the corresponding
polynomial invariant is always $1$). We expect that a simple
combinatorial description of this homology is achievable since the
polynomial invariant of MOY graph has an especially simple form for $N=1$
(see Lemma~\ref{lem:N1symmetriceval}).
\item For $N=2$, this gives a different homology than the Khovanov homology and odd Khovanov homology.
\end{enumerate}
\end{rmk}

\appendix

\section{Quantum link invariants and representations of \texorpdfstring{$U_q(\gll_N)$}{Uq}}
\label{sec:quant-link-invar}
In this appendix we provide details about the relation between the graphical MOY calculi defined in Section~\ref{sec:moy-calculi} and the representations of $U_q(\gll_N)$. The aim is to give explicit definitions the Reshetikhin-Turaev functors which associate with a MOY graph an intertwiner of $U_q(\gll_N)$-representations. We will define two such functors: one sends an edge labeled $k$ onto the identity of $\Lambda^k_qV_q$ where $V_q$ is the standard representation of $U_q(\sll_N)$. This yields the \emph{exterior} MOY calculus.\footnote{This is the ``classical'' MOY calculus. MOY stands for Murakami-Ohtsuki-Yamada who gave the identities described in Section~\ref{sec:moy-calculi} in \cite{MR1659228}.} The other one associates with such an edge the identity of $\Sym_q^kV_q$. This yields what we call the \emph{symmetric} MOY calculus.

\subsection{The quantum group \texorpdfstring{$U_q(\gll_N)$}{Uqq}}
\label{sec:quant-groups-u_qsll}

We first recall the definition of $U_q(\gll_N)$. For a general
presentation of quantum groups we refer to \cite{MR2759715}.

\begin{dfn}
Let $N$ be a positive integer. The \emph{quantum general linear algebra} $U_q(\gll_N)$ is
the associative, unital $\CC(q)$-algebra generated by $L_i$, $L_i^{-1}$, $F_j$ and $E_j$, with $1\leq i \leq N$ and $1\leq j \leq N-1$
subject to the relations
\begin{gather*}
L_iL_j = L_jL_i, \quad L_iL_i^{-1}= L_i^{-1}L_i= 1, \\
L_iF_i = q^{-1}F_iL_i, \quad L_{i+1}F_i = qF_iL_{i+1}, \quad L_iE_i = qE_iL_i, \quad L_{i+1}E_i = q^{-1}E_iL_{i+1}, \\
L_jF_i = F_iL_j, \quad L_jE_i = E_iL_j \qquad \textrm{for $j\neq i, i+1$,} \\
E_iF_j - F_jE_i = \delta_{ij}\frac{L_iL_{i+1}^{-1} - L_i^{-1}L_{i+1}}{q-q^{-1}}, \\
[2]_qF_i F_j F_i = F_i^2F_j + F_j F_i^2 \qquad \textrm{if $|i - j| = 1$,} \\
[2]_qE_i E_j E_i = E_i^2 E_j + E_j E_i^2 \qquad \textrm{if $|i - j| = 1$,} \\
E_i E_j = E_j E_i, \quad F_iF_j = F_jF_i \qquad \textrm{if $|i - j| > 1$.}
\end{gather*}
\end{dfn}

\begin{prop} Defining $\Delta:U_q(\gll_N)\to U_q(\gll_N)^{\otimes 2}$, $S:U_q(\gll_N)^{\opp} \to U_q(\gll_N)$ and $\epsilon: U_q(\gll_N)\to \CC(q)$ to be the $\CC(q)$ algebra maps defined by:
\begin{align*}
&\Delta(L_i^{\pm 1}) = L_i^{\pm1}\otimes L_i^{\pm1}, & \quad &S(L_i^{\pm1})= L_i^{\mp1}, & \quad & \epsilon(L_i^{\pm 1}) =1, & \\
&\Delta(F_i) = F_i\otimes 1 + L_i^{-1}L_{i+1}\otimes F_i ,& \quad &S(F_i) = - L_iL_{i+1}^{-1}F_i ,& \quad & \epsilon(F_i)=0, & \\
&\Delta(E_i)= E_i\otimes 1 + L_iL_{i+1}^{-1}\otimes E_i, &\quad & S(E_i) = - E_iL_i^{-1}L_{i+1}, & \quad &\epsilon(E_i)=0,
\end{align*}
endow $U_q(\gll_N)$
with a structure of Hopf algebras with antipode. Furthermore the category of finite-dimensional $U_q(\gll_N)$-modules is braided.
\end{prop}

\begin{prop}
We define $V_q$ to be an $N\!$th dimensional $\CC(q)$-vector space with basis $(b_i)_{i=1,\dots, N}$. The formulas:
\begin{align*}
&L_i b_i = qb_i,& &L_i^{-1} b_{i} =q^{-1}b_{i},& &L_i^{\pm 1} b_j = b_j \quad j \neq i, &\\
&E_{i-1} b_i = b_{i-1}& &E_i b_{j} =0,& &\textrm{if $i\neq j-1$,} & \\
&F_i b_i = b_{i+1}& &F_i b_{j} =0,& &\textrm{if $i\neq j$,}&
\end{align*}
endow $V_q$ with a structure of $U_q(\gll_N)$-modules.
\end{prop}

Following \cite{1701.02932} we now consider the tensor algebra $T^\sbullet V_q$. This algebra is naturally graded and endowed with an action of $U_q(\gll_N)$ which preserve the grading (\ie for every integer~$a$, $T^aV_q$ is a $U_q(\gll_N)$-submodule of $T^\sbullet V_q$.). We consider two two-sided ideals $E^2V_q$ and $S^2V_q$ inside this algebra $TV_q$:
\begin{align*}
EV_q &:= \langle qb_i\otimes b_j - b_j\otimes b_i| \textrm{for $i<j$} \rangle\\
\tag*{and}
SV_q &:= \langle b_m\otimes b_m, b_i\otimes b_j + qb_j\otimes b_i| \textrm{for all $m$ and for $i<j$} \rangle.
\end{align*}
Since these two ideals are homogeneous the quotient
\[
\Lambda^\sbullet_qV_q := T^\sbullet V_q / SV_q \quad \textrm{and} \quad \Sym^\sbullet_qV_q := T^\sbullet V_q / EV_q
\]
inherits a grading from $T^\sbullet V_q$. One easily checks that $E^2V_q$ and $S^2V_q$ are stable under the action of $U_q(\gll_N)$ over $T^\sbullet V_q$. This implies that for any non-negative integer~$a$, $\Lambda^a_qV_q$ and $\Sym^a_qV_q$ inherit structure of $U_q(\gll_N)$-modules. One can show that for every integer~$a$, $\Lambda^a_qV_q$ and $\Sym^a_qV_q$ are simple modules. The image of a pure tensor \hbox{$x_1\otimes \dots \otimes x_a$} is denoted by
\[
x_1\wedge \dots \wedge x_a\, \textrm{in $\Lambda^a_qV_q$}\quad \textrm{and by} \quad x_1\otimes \dots \otimes x_a\, \textrm{in $\Sym^a_qV_q$}.
\]

The $\CC(q)$ vector space $\Lambda^a_qV_q$ has dimension $\left(\begin{smallmatrix} N \\a\end{smallmatrix}\right)$ and is spanned by the vectors
\[
(b_{i_1}\wedge b_{i_2}\wedge \dots \wedge b_{i_a})_{1\leq i_1< i_2< \dots < i_a\leq N}.
\]
If $1\leq i_1< i_2< \dots < i_a\leq N$ and $I= \{i_1,\dots i_a\}$, we write $b_I = b_{i_1}\wedge b_{i_2}\wedge \dots \wedge b_{i_a}$.

\begin{dfn}
Let $X$ be a set.
A \emph{multi-subset of $X$} is a map $Y: X\to \NN$. If $\sum_{x\in X}Y(x)< \infty$, the multi-subset $Y$ is said to be \emph{finite} and the sum is its \emph{cardinal} (denoted by $\#Y$). If $x$ is an element of $X$, the number $Y(x)$ is the \emph{multiplicity of $x$ in $Y$}.
\end{dfn}

The $\CC(q)$ vector space $\Sym^a_qV_q$ has dimension $\left(\begin{smallmatrix} N+a-1 \\a\end{smallmatrix}\right)$ and is spanned by the vectors
\[
(b_{i_1}\otimes b_{i_2}\otimes \dots \otimes b_{i_a})_{1\leq i_1\leq i_2\leq \dots \leq i_a\leq N}.
\]
If $1\leq i_1\leq i_2\leq \dots \leq i_a\leq N$ and $I$ is the multi-subset of $I_N:=\{1,\dots,N\}$ $\{i_1,\dots i_a\}$, we write $b'_I = b_{i_1}\otimes b_{i_2}\otimes \dots \otimes b_{i_a}$.

\subsection{Exterior MOY calculus}
\label{sec:ext-moy-calc-1}
In this subsection we work in the full subcategory $U_q(\gll_N)$-$\sfmod_{\Lambda}$ of finite-dimensional $U_q(\gll_N)$-modules generated (as a monoidal category) by the modules $\Lambda^a_qV_q$ for $0\leq a\leq N$ and their duals. We define a few morphisms:
\begin{align*}
\Lambda_q^a V_q\otimes \Lambda_q^b V_q &\TO{\Lambda_{a,b}} \Lambda^{a+b}_q V_q
&\Lambda^{a+b}_q V_q &\TO{Y_{a,b}} \Lambda_q^a V_q\otimes \Lambda_q^b V_q \\
b_I \otimes b_J & \mto
\begin{cases}
q^{-|J<I|} b_{I\sqcup J} & \textrm{if $I\cap J =\emptyset$,} \\
0 & \textrm{else},
\end{cases}
&b_K &\mto \displaystyle{\sum_{I\sqcup J = K} q^{|I<J|} b_I\otimes b_J},
\end{align*}
\begin{align*}
\CC(q) &\TO{\stackrel{\leftarrow}{\cup}_{a}} \Lambda_q^a V_q\otimes (\Lambda_q^a V_q)^*
&(\Lambda_q^a V_q)^*\otimes \Lambda_q^a V_q &\TO{\stackrel{\leftarrow}{\cap}_{a}} \CC(q) \\
1 &\mto \displaystyle{\sum_{\#I=a} b_I\otimes b_I^*},
&f\otimes x &\mto f(x),
\\
\CC(q) &\TO{\stackrel{\rightarrow}{\cup}_{a}} (\Lambda_q^a V_q)^*\otimes \Lambda_q^a V_q
&\Lambda_q^a V_q\otimes(\Lambda_q^a V_q)^* &\TO{\stackrel{\rightarrow}{\cap}_{a}} \CC(q) \\
1 &\mto \displaystyle{\sum_{\#I=a} q^{-|I<I_N| +|I_N<I| }b_I^*\otimes b_I},
&b_I \otimes b_J^{*} &\mto q^{|I<I_N| - |I_N<I|} \delta_{IJ}.
\end{align*}
We should explain what $|J<I|$ and $|I<J|$ mean here. If $A$ and $B$ are two subsets of an ordered set $C$, we define
\[
|A<B|:= \#\{(a,b)\in A\times B| a<b\}.
\]

Using the Reshetikhin-Turaev functor one can interpret any MOY graph as a morphism in $U_q(\gll_N)$-$\sfmod_{\Lambda}$. Using identities~\eqref{eq:extcrossplus} and \eqref{eq:extcrossminus} we can extend this interpretation to MOY graph with crossings.

\subsection{Symmetric MOY calculus}
\label{sec:symm-moy-calc-1}

In this subsection we work in the full subcategory $U_q(\gll_N)$-$\mathsf{mod_S}$ of finite-dimensional $U_q(\gll_N)$-modules generated (as a monoidal category) by the modules $\Sym^a_qV_q$ for $a$ in $\NN$ and their duals. We define a few morphisms:
\begin{align*}
\Sym_q^a V_q\otimes \Sym_q^b V_q &\TO{\lambda_{a,b}} \Sym^{a+b}_q V_q
&\Sym^{a+b}_q V_q &\TO{Y_{a,b}} \Sym_q^a V_q\otimes \Sym\Lambda_q^b V_q \\
b'_I \otimes b'_J & \mto
q^{|J<I|} b'_{I\sqcup J},
&b'_K &\mto \displaystyle{\sum_{I\sqcup J = K} [I,J]_q q^{-|J<I|} b'_I\otimes b'_J},
\end{align*}
\begin{align*}
\CC(q) &\TO{\stackrel{\leftarrow}{\cup}_{a}} \Sym_q^a V_q\otimes (\Sym_q^a V_q)^*&
(\Sym_q^a V_q)^*\otimes \Sym_q^a V_q &\TO{\stackrel{\leftarrow}{\cap}_{a}} \CC(q) \\
1 &\mto \displaystyle{\sum_{\#I=a} q^{|I<J|} b'_I\otimes (b'_I)^*},
&f\otimes x &\mto f(x),
\end{align*}
\begin{align*}
\CC(q) &\TO{\stackrel{\rightarrow}{\cup}_{a}} (\Sym_q^a V_q)^*\otimes \Sym_q^a V_q
&\Sym_q^a V_q\otimes(\Sym_q^a V_q)^* &\TO{\stackrel{\rightarrow}{\cap}_{a}} \CC(q)
\\
1 &\mto \displaystyle{\sum_{\#I=a} q^{-|I<I_N| +|I_N<I| }(b'_I)^*\otimes b'_I},
\hspace*{-5mm}&b'_I \otimes (b'_J)^{*}&\mto q^{|I<I_N| - |I_N<I|} \delta_{IJ}.
\end{align*}
We should explain what $|J<I|$, $|I<J|$, and $[I,J]$ mean here. If $A$ and $B$ are two multi-subsets of an ordered set $X$, we define
\[
|A<B|:= \prod_{x<y \in X}A(x)B(y),
\qquad
[A,B]=\prod_{x\in X} \qbin{A(x)}{B(x)}.
\]

Using the Reshetikhin-Turaev functor one can interpret any MOY graph as a morphism in $U_q(\gll_N)$-$\mathsf{mod_S}$. Using identities~\eqref{eq:symcrossplus} and \eqref{eq:symcrossminus} we can extend this interpretation to MOY graph with crossings. Note that this is \emph{not} consistent with the exterior MOY calculus: the braiding has been changed for its inverse.

\section{Koszul resolutions of polynomial algebras}
\label{sec:kosz-reosl-polyn}

In this appendix we recall the definition of the Koszul resolution of polynomial algebras. Then we describe a way to construct other differentials on the Koszul complex which anti-commute with the Koszul differential.

For an introduction to Koszul resolution see \cite[\S 3.4]{MR1600246} and \cite{ KasselNoteKoszul,berger_lambre_solotar_2017}.

\subsection{Koszul resolutions}
\label{sec:koszul-resolutions}

Let $R$ be an unitary commutative ring and $V$ a free $R$\nobreakdash-mod\-ule of rank $k$.
Let us fix an ordered basis $(x_1,\dots x_k)$. We denote by $A$ the symmetric tensor algebra $SV$ and we will think of $A$ as the polynomial algebra $R[x_1, \dots, x_n]$. The algebra $\Lambda V$ is naturally graded (we speak of \emph{$H$-grading}): the non-zero elements of~$V$ seen in $\Lambda V$ have $H$-degree equal to $1$. Let $C(A)$ be the $A$-module-$A$ $A\otimes \Lambda V \otimes A$. It inherits an $H$-grading from $\Lambda V$. We consider the following endomorphism of $A$-module-$A$ on $(C(A)_\sbullet)$:
\begin{align*}
d \colon\thinspace C(A) & \to C(A) \\
1\otimes v_1 \wedge \dots \wedge v_l\otimes 1 &\mto \displaystyle{\sum_{i=1}^l (-1)^{i+1} \left(v_i \otimes v_1 \wedge \dots \wedge \widehat{v_i}\wedge\dots \wedge v_l\otimes 1 \right.} \\ &\hspace*{3cm}{\left.- 1\otimes v_1 \wedge \dots \wedge \widehat{v_i}\wedge\dots \wedge v_l\otimes v_i\right).}
\end{align*}

\begin{lem}
\label{lem:kozsul_resolution}
The map $d$ is a differential on $C(A)_\sbullet$, and $(C(A)_\sbullet, d)$ is a projective resolution of $A$ as an $A$-module-$A$. The complex $C(A)_\sbullet$ is called the \emph{Koszul resolution of $A$}.
\end{lem}

\begin{proof}
If $V$ has dimension 1, then $A = R[x_1]$. It is easy to check, that the short exact sequence
\[
0\to A\otimes A \To{x_1\otimes1 - 1\otimes x_1} A\otimes A \To{m}A \to 0
\]is exact. This proves that
\[ 0\to A\otimes A \To{x_1\otimes1 - 1\otimes x_1} A\otimes A
\] is a projective resolution of $A$.
If $V$ is $k$ dimensional, then $C(A)$ is by definition the complex
\[C(R[x_1]) \otimes C(R[x_2]) \otimes \cdots \otimes C(R[x_k]),\]
and we deduce the result from the one-dimensional case.
\end{proof}

\begin{rmk}
\label{rmk:gradings}
The vector space $V$ could be graded, we speak of \emph{$q$-grading}. In this case we suppose that the basis $(x_1, \dots, x_k)$ is homogeneous. The $H$-grading of $C(A)$ is not influenced by the $q$-grading. On the contrary, $q$-grading of $V$ induces a $q$ grading on $A$. Hence if all the $x_i$'s have positive $q$-degree, we have:\vspace*{-3pt}
\[
\rk^{R}_q A = \prod_{i=1}^k \frac{1}{1- q^{\deg_q{x_i}}}.
\]
\end{rmk}

\subsection{An homotopy equivalence}
\label{sec:an-homot-equiv}

We consider the algebra $A\!:=\! A_{1^k}\!=\!R[x_1, \dots, x_k]$. For consistency with the rest of the paper, we set the indeterminate $x_i$'s to have $q$\nobreakdash-degree equal to $2$. If $\listk{k}=(k^1, \dots, k^l)$ is a finite sequence of positive integers of level~$k$, we set $A_{\listk{k}{}}:=A^{\frS_{\listk{k}{}}}$, where $\frS_{\listk{k}{}}$ is equal to $\frS_{k^1} \times \dots \times \frS_{k^l}$ and acts naturally on the indeterminates $x_1, \dots, x_k$. Note that the algebras $A_{\listk{k}}$ can be thought of as polynomial algebras as well. One only need to consider some appropriate elementary symmetric polynomials.

Let us fix two finite sequences $\listk{k}_1= (k^1_1, \dots, k^{l_1}_1)$ and $\listk{k}_2 = (k^1_2, \dots, k^{l_2}_2)$ of positive integers of levels $k$. We suppose furthermore, that $\listk{k}_2$ is obtained from $\listk{k}_1$ by merging two of consecutive elements of $\listk{k}_1$. For instance:\vspace*{-3pt}\enlargethispage{\baselineskip}%
\[
\listk{k}_1 = (2,3,1,1,5,4)\quad \textrm{and} \quad \listk{k}_2 = (2,4,1,5,4).
\]
For simplicity of notations we will actually suppose that $\listk{k}_1= (a,b)$ and $\listk{k}_2= (a+b)$ with $a,b\geq1$.
In what follows we will be interested in $A^1:= A_{\listk{k}_1}$ and $A^2:= A_{\listk{k}_2}$.

Since $A^2$ is a sub-algebra of $A^1$, $A^1$ can be consider as a $A^2$-module-$A^1$. As a module-$A^1$ it is free of rank $1$, as a $A^2$-module, it is free of rank $\binom{a+b} a$. Hence it is both a projective module-$A^1$ and a projective $A^2$-module. This implies that\vspace*{-3pt}
\[
C^1_\sbullet := A^1 \otimes_{A^1} C(A^1)_\sbullet \simeq C(A^1)_\sbullet
\quad \textrm{and} \quad
C^2_\sbullet:=C(A^2)_\sbullet \otimes_{A^2} A^1
\]
are both projective resolutions of $A^1$ as $A^2$-module-$A^1$. Hence we know that these two complexes are homotopic. We denote by $d^1$ (\resp $d^2$) the differential of $C^1_\sbullet$ (\resp $C^2_\sbullet$).

We want to give an explicit homotopy equivalence of complexes of $A^2$-mod\-ule\nobreakdash-$A^1$ $\varphi: C^2_\sbullet \to C^1_\sbullet$.
We consider the vector space $V_1 := \<f_1, \dots, f_a, g_1,\dots, g_b\>_R$ and $V_2:=\<e_1, \dots, e_{a+b}\>$. The element $f_i$ (\resp $g_i$, \resp $e_i$) is meant to represent the $i$th elementary symmetric polynomials in the first $a$ variables (\resp the last $b$ variables, \resp $a+b$ variables).

Thanks to some standard argument of homological algebra (see \eg \cite[Chap.\,1, Lem.\,7.3]{MR672956}) we know that if $\varphi$ is a chain map such that
\begin{align}\NB{
\begin{tikzpicture}[yscale=0.8]
\node (A) at (0,1.5) {$C^2_\sbullet$};
\node (B) at (2,1.5) {$A^1$};
\node (C) at (0,0) {$C^1_\sbullet$};
\node (D) at (2,0) {$A^1$};
\draw[-to] (A)--(B) node [midway,above] {\scriptsize$\pipi$};
\draw[-to] (A)--(C) node [midway,left] {\scriptsize$\varphi$};
\draw[-to] (B)--(D) node [midway,right] {\scriptsize$\id_{A^1}$};
\draw[-to] (C)--(D) node [midway,below] {\scriptsize$\pipi$};
\end{tikzpicture} \label{eq:cdvarphi}
}
\end{align}
commutes, then $\varphi$ is an homotopy equivalence.
By definition we have:
\[
C_{\bullet}^1 := A^1\otimes \Lambda V_1 \otimes A^1 \quad \textrm{and} \quad C_{\bullet}^2 := A^2\otimes \Lambda V_2 \otimes A^1.
\]
Since $C_{\bullet}^2$ is a free $A^2$-module-$A^1$ with a basis given by elements of the form\vspace*{-3pt}
\[
1_{A^2}\otimes e_{i_1}\wedge \dots \wedge e_{i_l}\otimes 1_{A^1},
\]
with $0\leq l\leq a+b$ and $i_1< i_2 < \dots < i_l$, we only need to define $\varphi$ on these elements. For $l=0$, we define:\vspace*{-3pt}%\enlargethispage{.5\baselineskip}%
\[
\varphi(1_{A^2}\otimes 1_R \otimes 1_{A^1})= 1_{A^1}\otimes 1_R \otimes 1_{A^1}.
\]
For $l=1$, we define:\vspace*{-3pt}
\[
\varphi(1_{A^2}\otimes e_i \otimes 1_{A^1})= \sum_{j=1}^{i} f_{i-j}\otimes g_{j} \otimes 1_{A^1} + 1_{A^1}\otimes f_{j} \otimes g_{i-j},
\]
with the convention that the $j$th elementary polynomial in $c$ variables is equal to $0$ whenever $j>c$.
For $l>1$ we set:\vspace*{-3pt}
\[\varphi (1_{A^2}\otimes e_{i_1}\wedge \dots \wedge e_{i_l}\otimes 1_{A^1}) = \prod_{h=1}^l \varphi(1_{A^2}\otimes e_{i_h}\otimes 1_{A^1}) \]
and extend this map $A^2\otimes (A^1)^{\opp}$-linearly.
In the last formula, the space $A\otimes \Lambda V \otimes A$ is endowed with the algebra structures given by:\vspace*{-3pt}
\[
(a_1 \otimes v_1 \otimes b_1)\cdot(a_2 \otimes v_2 \otimes b_2) = a_1a_2 \otimes v_1 \wedge v_2 \otimes b_1b_2.
\]
Note however that the product is ordered and that $\varphi$ is \emph{not} an algebra morphism.

\begin{prop}
\label{prop:carphi_works}
The map $\varphi$ is a morphism of complexes of $A^2$-modules-$A^1$ such that the diagram \eqref{eq:cdvarphi} commutes.
\end{prop}

\begin{proof}
Thanks to the definition of \hbox{$\varphi(1_{A^2}\otimes 1_R \otimes 1_{A^1})$}, the diagram \eqref{eq:cdvarphi} obviously commutes. It remains to show that $\varphi$ is indeed a chain map. Thanks to the \hbox{$A^2\otimes (A^1)^{\opp}$}-linearity, it is enough to consider elements of the form\vspace*{-3pt}
\[
1_{A^2}\otimes e_{i_1}\wedge \dots \wedge e_{i_l}\otimes 1_{A^1}.
\]
Let us consider the case $l=1$. We have\vspace*{-3pt}
\[\varphi (d^2(1\otimes e_i \otimes 1)) = e_i\otimes 1_R \otimes 1 - 1\otimes 1_R \otimes e_i\]
and\vspace*{-3pt}
\begin{align*}
d^1(\varphi(1\otimes e_i &\otimes 1))
=\sum_{j=1}^i (f_{i-j} g_{j}\otimes 1_R \otimes 1 - f_{i-j} \otimes 1_R \otimes g_{j}) \\[-12pt]
&\hspace*{4.5cm}+\sum_{j=1}^i (f_j \otimes 1_R \otimes g_{i-j} - 1 \otimes 1_R\otimes f_jg_{i-j}) \\[-12pt]
&=\sum_{j=0}^i (f_j g_{i-j}\otimes 1_R \otimes 1 - 1 \otimes 1_R \otimes f_jg_{i-j})= e_i\otimes 1_R \otimes 1 - 1\otimes 1_R\otimes e_i.
\end{align*}
If $l>1$, we have:\vspace*{-3pt}
\begin{align*}
&\hspace*{-7mm}d^1(\varphi (1\otimes e_{i_1}\wedge \dots \wedge e_{i_l}\otimes 1))=
d^1\biggl(\prod_{h=1}^l \varphi (1\otimes e_{i_h}\otimes 1)\biggr) \\[-5pt]
&\hspace*{-7mm}= \sum_{k=1}^l(-1)^{k+1}\biggl(\prod_{h=1}^{k-1} \varphi(1\otimes e_{i_h} \otimes 1)\biggr)\cdot d^1(\varphi((1\otimes e_{i_k} \otimes 1)) \biggl(\prod_{h=k+1}^{l}\hspace*{-2mm} \varphi(1\otimes e_{i_h} \otimes 1)\biggr) \\[-5pt]
&\hspace*{-7mm}= \sum_{k=1}^l(-1)^{k+1}\biggl(\prod_{h=1}^{k-1} \varphi(1\otimes e_{i_h} \otimes 1)\biggr)\cdot (\varphi(d^2(1\otimes e_{i_k} \otimes 1)) \biggl(\prod_{h=k+1}^{l}\hspace*{-2mm} \varphi(1\otimes e_{i_h} \otimes 1)\biggr)
\end{align*}\vspace*{-.5\baselineskip}
\[
\hspace*{7cm}= \varphi(d^2 (1\otimes e_{i_1}\wedge \dots \wedge e_{i_l}\otimes 1)).\qedhere
\]
\end{proof}

\Subsection{An additional differential}
\label{sec:an-addit-diff}

\begin{notation}
\label{dfn:extra-diff}
Suppose $D: A\to A$ is a derivation on $A$ which lets $A_{\listk{k}}$ stable for any finite sequence of positive $\listk{k}$ integers of level $k$.
We consider the endomorphisms $\delta_{\listk{k}}$ of $C(A_{\listk{k}})$ given by:\vspace*{-3pt}
\begin{equation}
\begin{split}
\delta_{\listk{k}} \colon\thinspace C(A_{\listk{k}}) & \to C(A_{\listk{k}}) \\[-5pt]
1\otimes v_1 \wedge \dots \wedge v_l\otimes 1 &\mto \sum_{i=1}^l
(-1)^{i+1} D(v_i) \otimes v_1 \wedge \dots \wedge \widehat{v_i}\wedge\dots \wedge v_l\otimes 1.
\end{split} \label{eq:DN}
\end{equation}
Both these maps are $H$-homogeneous of degree $-1$. For simplifying notations we denote the maps on $C(A^1)$ and $C(A^2)$ by $\delta^1$ and $\delta^2$.

If we fix a positive integer $N$ and if $R=\SP{N}$, an example of such a derivation is given by\vspace*{-3pt}
\begin{align*}
D^N \colon\thinspace  A_{1^k} & \to  A_{1^k} \\[-5pt]
P(x_1,\dots,x_k) &\mto  \sum_{i=1}^k \prod_{j=1}^N (x_i - T_j) \partial_{x_i}P(x_1, \dots, x_k).
\end{align*}
The maps defined with $D^N$ by the formula~\eqref{eq:DN} are denoted $d^N_{\listk{k}}$. These are precisely the differentials considered in Section~\ref{sec:an-extra-diff}.
\end{notation}

\begin{lem}
\label{lem:deltadiff-commute-with-d}
For $i=1,2$, the map $\delta^i$ anti-commutes with $d^i$ and is a differential on $C(A^i)$.
\end{lem}
\begin{proof}
The fact that $\delta^1$ and $\delta^2$ are differentials follows as usual from the signs which forces every square to anti-commute. To check that $d^i$ and $\delta^i$ anti-commute is an easy computation. We assume $i=1$. We have:\vspace*{-3pt}
\begin{align*}
\tag*{\hphantom{and}}
\delta^1(d^1(1\otimes v_1 \wedge \dots \wedge v_l&\otimes 1))\\
=\hspace*{-3mm}\sum_{1\leq i_1 <i_2 \leq l} (-1)^{i_1+i_2+2}&
(v_{i_1} D(v_{i_2}) \otimes v_1 \wedge \dots \wedge \widehat{v_{i_1}} \wedge \dots \wedge \widehat{v_{i_2}} \wedge \dots \wedge v_l \otimes 1 \\[-5pt]
&- D(v_{i_2}) \otimes v_1 \wedge \dots \wedge \widehat{v_{i_1}} \wedge \dots \wedge \widehat{v_{i_2}} \wedge \dots \wedge v_l \otimes v_{i_1} \\
&- D(v_{i_1}) v_{i_2} \otimes v_1 \wedge \dots \wedge \widehat{v_{i_1}} \wedge \dots \wedge \widehat{v_{i_2}} \wedge \dots \wedge v_l \otimes 1 \\
&+ D(v_{i_2}) \otimes v_1 \wedge \dots \wedge \widehat{v_{i_1}} \wedge \dots \wedge \widehat{v_{i_2}} \wedge \dots \wedge v_l \otimes v_{i_1})\\
\tag*{and}
d^1(\delta^1(1\otimes v_1 \wedge \dots \wedge v_l&\otimes 1))\\ =\hspace*{-3mm}\sum_{1\leq i_1 <i_2 \leq l} (-1)^{i_1+i_2+2}&
(D(v_{i_1}) v_{i_2} \otimes v_1 \wedge \dots \wedge \widehat{v_{i_1}} \wedge \dots \wedge \widehat{v_{i_2}} \wedge \dots \wedge v_l \otimes 1 \\[-5pt]
&- D(v_{i_1}) \otimes v_1 \wedge \dots \wedge \widehat{v_{i_1}} \wedge \dots \wedge \widehat{v_{i_2}} \wedge \dots \wedge v_l \otimes v_{i_2} \\
&- v_{i_1}D(v_{i_2}) \otimes v_1 \wedge \dots \wedge \widehat{v_{i_1}} \wedge \dots \wedge \widehat{v_{i_2}} \wedge \dots \wedge v_l \otimes 1\\
&+ D(v_{i_1}) \otimes v_1 \wedge \dots \wedge \widehat{v_{i_1}} \wedge \dots \wedge \widehat{v_{i_2}} \wedge \dots \wedge v_l \otimes v_{i_2}) \\
&\hspace*{2cm}=-\delta^1(d^1(1\otimes v_1 \wedge \dots \wedge v_l\otimes 1)).
\qedhere
\end{align*}
\end{proof}

We define $\eta: C^2_\sbullet \to C^1_\sbullet$ to be the $A^2\otimes (A^1)^{\opp}$-linear map defined by:\vspace*{-3pt}
\[
\eta(1\otimes e_{i_1}\wedge \dots \wedge e_{i_l}\otimes 1) = D
\otimes \id_{\Lambda V} \otimes \id_{A^1} \left(\varphi(1\otimes e_{i_1}\wedge
\dots \wedge e_{i_l}\otimes 1) \right).
\]
Note that we have:\vspace*{-3pt}
\[
\eta (1\otimes e_{i_1}\wedge \dots \wedge e_{i_l}\otimes 1) = \sum_{k=1}^l\biggl(\prod_{h=1}^{k-1}\varphi (1\otimes e_{i_h}\otimes 1) \biggr) \eta (1\otimes e_{i_k}\otimes 1) \biggl(\prod_{h=k+1}^{l}\varphi (1\otimes e_{i_h}\otimes1)\biggr),
\]
This follows from the fact that $D$ is a derivation. We can write a (complicated) explicit formula for $\eta$:\vspace*{-3pt}\enlargethispage{\baselineskip}%
\begin{align*}
\eta (1\otimes e_{i_1}&\wedge \dots \wedge e_{i_l}\otimes 1) = \sum_{\substack{j_1+j'_1 =i_1\\ \cdots \\j_l+j'_l= i_l}}\sum_{k=0}^l\sum_{\substack{A \sqcup B = \{1, \dots, l\}, |A|=k\\ A=\{a_1< \cdots < a_k\} \\ B=\{b_1< \cdots < b_{k-l} \} }} (-1)^{|B<A|} \\ &\cdot D(f_{j_{a_1}}\cdots f_{j_{a_k}})\otimes g_{j'_{a_1}}\wedge \cdots \wedge g_{j'_{a_k}} \wedge f_{j_{b_1}}\wedge \cdots \wedge f_{i_{b_{l-k}}} \otimes g_{j'_{b_1}} \cdots g_{j'_{a_{l-k}}},
\end{align*}
where $|B<A| := \#\{(b,a) \in A\times B | b<a\}$.
\begin{lem}
\label{lem:dN-and-phi-commute}
We have the following identity:\vspace*{-3pt}
\[
\varphi \circ \delta^2 - \delta^1 \circ \varphi = \eta \circ d_2 + d_1 \circ \eta.
\]
\end{lem}

\begin{proof}
Suppose $l=1$. On the one hand, we have\vspace*{-3pt}
\begin{align*}
(\varphi \circ \delta^2 - \delta^1 \circ \varphi)&(1\otimes e_i \otimes 1) \\[-5pt]
&=
D(e_i)\otimes 1 \otimes 1- \sum_{j=1}^i \left(f_{i-j}D(g_{j})\otimes 1 \otimes 1 + D(f_j)\otimes 1 \otimes g_{i-j}\right) \\[-5pt]
&= \sum_{j=0}^i D(f_j)g_{j-i} \otimes 1 \otimes 1 + f_j D(g_{j-i})\otimes 1 \otimes 1 \\[-5pt]
&\hspace*{3cm}- \biggl(\sum_{j=1}^i f_jD(g_{i-j})\otimes 1 \otimes 1 + D(f_j)\otimes 1 \otimes g_{i-j} \biggr) \\[-5pt]
&= \sum_{j=1}^iD(f_j)g_{j-i} \otimes 1 \otimes 1 - \sum_{j=1}^i D(f_j)\otimes 1 \otimes g_{i-j}.
\end{align*}
On the other hand, we have:\vspace*{-3pt}
\[
\eta \circ d^2 (1\otimes e_i \otimes 1) = \eta(e_i \otimes 1 \otimes 1) - \eta (1 \otimes 1 \otimes e_i)= 0
\]
and\vspace*{-3pt}
\begin{align*}
d^1 \circ \eta(1\otimes e_i \otimes 1) &= d^1\biggl(\sum_{j=1}^i D(f_j)\otimes g_{i_j} \otimes 1 \biggr)\\[-5pt]
&= \sum_{j=1}^i D(f_j)g_{i_j}\otimes 1 \otimes 1- D(f_j)\otimes 1 \otimes g_{i-j} \\[-5pt]
&=(\varphi \circ \delta^2 - \delta^1 \circ \varphi)(1\otimes e_i \otimes 1).
\end{align*}
Suppose now that $l>1$. We have:\vspace*{-3pt}
\begin{align*}
(&\varphi \circ \delta^2 - \delta^1 \circ \varphi)(1\otimes e_{i_1}\wedge \dots \wedge e_{i_l}\otimes 1) \\[-5pt]
&= \sum_{h=1}^l(-1)^{h+1}\prod_{k=1}^{h-1} \varphi(1\otimes e_{i_k}\otimes 1) (\varphi \circ \delta^2 - \delta^1 \circ \varphi)(1\otimes e_{i_h}\otimes 1)\prod_{k=h+1}^{l} \varphi(1\otimes e_{i_k}\otimes 1)\\[-5pt]
&= \sum_{h=1}^l(-1)^{h+1}\prod_{k=1}^{h-1} \varphi(1\otimes e_{i_k}\otimes 1) (d^1\circ \eta)(1\otimes e_{i_h}\otimes 1)\prod_{k=h+1}^{l} \varphi(1\otimes e_{i_k}\otimes 1).
\end{align*}
On the other hand, we have:
\begin{align*}
\eta \circ d^2&(1\otimes e_{i_1}\wedge \dots \wedge e_{i_l}\otimes 1) \\
&= \eta \biggl(\sum_{h=1}^l (-1)^{h+1}\prod_{k=1}^{h-1} (1\otimes e_{i_k} \otimes 1) d^2 (1\otimes e_{i_h}\otimes 1) \prod_{k=h+1}^{l} (1\otimes e_{i_k} \otimes 1)\biggr) \\
&= \sum_{h=1}^l \sum_{j=1}^{h-1}(-1)^{h+1} \prod_{k=1}^{j-1} \varphi(1\otimes e_{i_k} \otimes 1) \eta(1\otimes e_{i_j} \otimes 1)
\\
&\quad \qquad \qquad \qquad \qquad\cdot \prod_{k=j+1}^{h-1} \varphi(1\otimes e_{i_k} \otimes 1)
\varphi(d^2 (1\otimes e_{i_h}\otimes 1)) \prod_{k=h+1}^{l} (1\otimes e_{i_k} \otimes 1) \\
&\qquad\qquad+ \sum_{h=1}^l \sum_{j=h+1}^{l} (-1)^{h+1} \prod_{k=1}^{h-1} \varphi(1\otimes e_{i_k} \otimes 1)
\varphi(d^2 (1\otimes e_{i_h}\otimes 1))\\
&\quad \qquad \qquad \qquad \qquad\cdot \prod_{k=h+1}^{j-1} (1\otimes e_{i_k} \otimes 1) \eta(1\otimes e_{i_j} \otimes 1) \prod_{k=j+1}^{l} \varphi(1\otimes e_{i_k} \otimes 1) \\
&= \sum_{h=1}^l \sum_{j=1}^{h-1} (-1)^{h+1} \prod_{k=1}^{j-1} \varphi(1\otimes e_{i_k} \otimes 1) \eta(1\otimes e_{i_j} \otimes 1)
\\
&\quad \qquad \qquad \qquad \qquad\cdot \prod_{k=j+1}^{h-1} \varphi(1\otimes e_{i_k} \otimes 1) d^1(\varphi (1\otimes e_{i_h}\otimes 1)) \prod_{k=h+1}^{l} (1\otimes e_{i_k} \otimes 1) \\
&\qquad\qquad+ \sum_{h=1}^l \sum_{j=h+1}^{l}(-1)^{h+1}\prod_{k=1}^{h-1} \varphi(1\otimes e_{i_k} \otimes 1)
d^1(\varphi(1\otimes e_{i_h}\otimes 1))
\\
&\quad \qquad \qquad \qquad \qquad\cdot\prod_{k=h+1}^{j-1} (1\otimes e_{i_k} \otimes 1) \eta(1\otimes e_{i_j} \otimes 1) \prod_{k=j+1}^{l} \varphi(1\otimes e_{i_k} \otimes 1)
\end{align*}
and
\begin{align*}
d^1&\circ\eta (1\otimes e_{i_1}\wedge \dots \wedge e_{i_l}\otimes 1) \\
&= d^1 \biggl(\sum_{h=1}^l(-1)^{h+1}\prod_{k=1}^{h-1}\varphi (1\otimes e_{i_k}\otimes) \eta (1\otimes e_{i_h}\otimes) \prod_{k=h+1}^{l}\varphi (1\otimes e_{i_k}\otimes 1) \biggr) \\
&= - \eta \circ d^2((1\otimes e_{i_1}\wedge \dots \wedge e_{i_l}\otimes 1) \\
&\qquad \qquad \quad + \sum_{h=1}^l(-1)^{h+1}\prod_{k=1}^{h-1}\varphi (1\otimes e_{i_h}\otimes) d^1(\eta (1\otimes e_{i_h}\otimes)) \prod_{k=h+1}^{l}\varphi (1\otimes e_{i_k}\otimes 1) \\
&= - \eta \circ d^2(1\otimes e_{i_1}\wedge \dots \wedge e_{i_l}\otimes 1)\\
&\hspace*{-2mm}  + \sum_{h=1}^l(-1)^{h+1}\prod_{k=1}^{h-1}\varphi (1\otimes e_{i_k}\otimes)\cdot(\varphi \circ \delta^2 - \delta^1 \circ \varphi)(1\otimes e_{i_h}\otimes 1)\hspace*{-2mm}\prod_{k=h+1}^{l}\hspace*{-1mm}\varphi (1\otimes e_{i_k}\otimes 1) \\
&=- \eta \circ d^2(1\otimes e_{i_1}\wedge \dots \wedge e_{i_l}\otimes 1)+ (\varphi \circ \delta^2 - \delta^1 \circ \varphi)(
1\otimes e_{i_1}\wedge \dots \wedge e_{i_l}\otimes 1).\qedhere
\end{align*}
\end{proof}

\section{A pinch of algebraic geometry}
\label{sec:pinch-algebr-geom}

Algebraic geometry has been a very useful guideline for the definition of the (exterior) Khovanov-Rozansky homologies. The exterior $\sll_N$-invariant of the unknot labeled by $k$ is equal to $\qbinil{N}{k}$, which is the graded Euler characteristic of the cohomology ring of $\Gr_\CC(k,N)$ the Grassmannian variety of $k$-spaces in $\CC^N$ up to an overall grading shift. Indeed the Frobenius algebra associated with the unknot labeled by $k$ in the Khovanov-Rozansky homology is isomorphic to $H^*(\Gr_\CC(k,N))$. This can be extended to an equivariant\footnote{This motivates the term ``equivariant'' $\sll_N$-homology.} setting see \cite{MR2580427, RW1}.

The symmetric $\sll_N$ invariant of the unknot with a label $k$ is equal to $\qbinil{N+k-1}{k}$. This is (up to an overall grading shift) the graded Euler characteristic of $\Gr_\CC(k,k+N-1)$. However, this does not seem to be the correct point of view when categorifying the symmetric $\sll_N$-invariant.\footnote{This remark is due to François Costantino.} Indeed, in an equivariant setting, one expect to have a natural action of $\QQ[T_1, \dots T_N]$ or $\QQ[T_1, \dots T_N]^{\frS_N}$ on the Frobenius algebra associated with the unknot labeled by $k$. Instead, we believe that it is better to consider the space $S^k\left(\Gr_\CC(1,N)\right)$ of collections of $k$ lines (counted with multiplicity) in $\CC^N$:
\[
S^k\left(\Gr_\CC(1,N)\right) = \left(\Gr_\CC(1,N)\right)^k\big/ \frS_k.
\]
There is a natural action of $GL_N$ on this space and its (non-equivariant) cohomology ring is isomorphic\footnote{Note that if $N=2$, these two varieties are actually isomorphic.} to that of $\Gr_\CC(k,k+N-1)$:

\begin{thm}[{\cite[Th.\,2.4]{ELIZONDO200267}}]
\label{thm:ES}
There is a birational map $f: \left(\Gr_\CC(1,N)\right)^k \to \Gr_\CC(k,k+N-1)$ such that the correspondence induced by the graph $\Gamma_f$ of $f$ induces an isomorphism
\[
(\Gamma_f)^\sbullet:
H^{\sbullet}(\Gr_\CC(k,k+N-1), \QQ) \to
H^\sbullet\left(S^k\left(\Gr_\CC(1,N)\right), \QQ\right)
\]
of graded $\QQ$-algebras.
\end{thm}

As stated before, we are interested in the equivariant version of the cohomology ring of $S^k(\Gr(1,N))$.

The group $G:=GL_N$ acts naturally on $\Gr(1,N)$ and diagonally on $S^k(\Gr(1,N))$. Since $H^\sbullet(BG, \QQ)\simeq\QQ[T_1,\dots T_N]^{\frS_N}=: \SP{N}$ as a ring, the equivariant cohomologies of both $\Gr(1,N)$ and $S^k(\Gr(1,N))$ have structures of graded $\SP{N}$-algebras (the degrees of the variables $T_\sbullet$ are all equal to $2$).
There exists a presentation of $H^\sbullet_{G}(\Gr(1,N))$:

\begin{lem}[{\cite[Lect.\,3, Ex.\,1.2]{FultonLecture}}]
\label{lem:equivCPN}
The $\SP{N}$-algebra $H^\sbullet_{G}(\Gr(1,N),\QQ)$ is isomorphic to
$
\SP{N}[x]\left/J_{N,1}\right.$, where $x$ has degree $2$ and $J_{N,1}$ is the ideal of $\SP{N}[x]$ generated by $\prod_{i=1}^N(x-T_i)$.
\end{lem}

It follows immediately that $H^\sbullet_G(\Gr(1,N),\QQ)$ is a free graded $\SP{N}$-module and that the family $(1, x, \dots, x^{N-1})$ forms an homogeneous $\SP{N}$-basis of this space. The space~$M_{N,k}$ considered in Section~\ref{sec:one-quotient-two} is isomorphic to
\[
\Sym^k(H^\sbullet_G(\Gr(1,N), \QQ)).
\]
We believe that this is the same as
\[
H^\sbullet_G(\Sym^k(\Gr(1,N)), \QQ))
\]
but could not locate such a statement in the literature.

\Changelback
\backmatter
\bibliographystyle{jepalpha+eid}
\bibliography{robert-wagner}
\end{document}
