ScalingStacks

We will now describe the construction of a functor ⟦−⟧:ℝ3​𝐋𝐢𝐧𝐤∘→𝐊b​(𝐅𝐨𝐚𝐦N)\left\llbracket-\right\rrbracket\colon{\mathbb{R}}^{3}\boldsymbol{\mathrm{Link}}^{\circ}\to\boldsymbol{\mathrm{K}}^{b}(\boldsymbol{\mathrm{Foam}}_{N}), with target given by the bounded homotopy category of 𝐅𝐨𝐚𝐦N\boldsymbol{\mathrm{Foam}}_{N}. In particular, the functor sends link diagrams to certain bounded chain complexes of webs and foams. On single, 11-labeled crossings, it is defined as:

(2.3) ⟦                    ⟧=q​                     2    →                 ,⟦                    ⟧=                 →q−1​                     2    \left\llbracket\hbox to20.27pt{\vbox to27.03pt{\pgfpicture\makeatletter\hbox{\hskip 10.13559pt\lower-13.51488pt\hbox to0.0pt{\lxSVG@begingroup@{_scopebegin=1} \lxSVG@begingroup@{stroke=#000000} \lxSVG@begingroup@{fill=#000000} \lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=0.4pt} \lx@inpgf@ignorespaces\nullfont\hbox to0.0pt{\lxSVG@begingroup@{_scopebegin=1} {{\lx@inpgf@ignorespaces}} {}{{}}{} {}{} {{\lx@inpgf@ignorespaces}{}\lx@inpgf@ignorespaces}{{}} {{{}}{{\lx@inpgf@ignorespaces}}}{{}}{{{}}{{}}}{}{{}}{}{}{} {}{}\lxSVG@begingroup@{_scopebegin=1} \lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=1.2pt} \lx@inpgf@ignorespaces{}{}{}{}{{}}\lxSVG@stroke\lxSVG@drawpath@unclipped{M 7.87 -15.75 L 7.87 -13.39 C 7.87 -1.24 -7.87 1.24 -7.87 13.39 L -7.87 14.09}{fill:none} {{}{{}}{}{}{{}}{{{\lx@inpgf@ignorespaces}}{{{\lx@inpgf@ignorespaces}}{\lxSVG@begingroup@{_scopebegin=1} \lxSVG@transformcm{0.0}{1.0}{-1.0}{0.0}{-5.69046pt}{10.78093pt}\lxSVG@begingroup@{transform=matrix(0.0 1.0 -1.0 0.0 -7.87 14.92)} \lxSVG@begingroup@{_scopebegin=1} \lxSVG@begingroup@{stroke-dasharray=none,stroke-dashoffset=0.0pt} \lxSVG@begingroup@{stroke-linecap=round} \lxSVG@begingroup@{stroke-linejoin=round} \lxSVG@drawpath@unclipped{M -4.21 5.32 C -3.44 2.13 -1.73 0.62 0 0 C -1.73 -0.62 -3.44 -2.13 -4.21 -5.32}{fill:none} \lxSVG@closescope \lxSVG@closescope }}{{\lx@inpgf@ignorespaces}}}}\lx@inpgf@ignorespaces \lxSVG@closescope {}{{}}{} {}{} {{\lx@inpgf@ignorespaces}{}\lx@inpgf@ignorespaces}{{}} {{{}}{{\lx@inpgf@ignorespaces}}}{{}}{{{}}{{}}}{}{{}}{}{}{} {}{}\lxSVG@begingroup@{_scopebegin=1} \color[rgb]{1,1,1}\lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=4.26791pt} \lx@inpgf@ignorespaces{}\lxSVG@stroke\lxSVG@drawpath@unclipped{M -7.87 -15.75 L -7.87 -13.39 C -7.87 -1.24 7.87 1.24 7.87 13.39 L 7.87 15.75}{fill:none} \lx@inpgf@ignorespaces \lxSVG@closescope {}{{}}{} {}{} {{\lx@inpgf@ignorespaces}{}\lx@inpgf@ignorespaces}{{}} {{{}}{{\lx@inpgf@ignorespaces}}}{{}}{{{}}{{}}}{}{{}}{}{}{} {}{}\lxSVG@begingroup@{_scopebegin=1} \lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=1.2pt} \lx@inpgf@ignorespaces{}{}{}{}{{}}\lxSVG@stroke\lxSVG@drawpath@unclipped{M -7.87 -15.75 L -7.87 -13.39 C -7.87 -1.24 7.87 1.24 7.87 13.39 L 7.87 14.09}{fill:none} {{}{{}}{}{}{{}}{{{\lx@inpgf@ignorespaces}}{{{\lx@inpgf@ignorespaces}}{\lxSVG@begingroup@{_scopebegin=1} \lxSVG@transformcm{0.0}{1.0}{-1.0}{0.0}{5.69046pt}{10.78093pt}\lxSVG@begingroup@{transform=matrix(0.0 1.0 -1.0 0.0 7.87 14.92)} \lxSVG@begingroup@{_scopebegin=1} \lxSVG@begingroup@{stroke-dasharray=none,stroke-dashoffset=0.0pt} \lxSVG@begingroup@{stroke-linecap=round} \lxSVG@begingroup@{stroke-linejoin=round} \lxSVG@drawpath@unclipped{M -4.21 5.32 C -3.44 2.13 -1.73 0.62 0 0 C -1.73 -0.62 -3.44 -2.13 -4.21 -5.32}{fill:none} \lxSVG@closescope \lxSVG@closescope }}{{\lx@inpgf@ignorespaces}}}}\lx@inpgf@ignorespaces \lxSVG@closescope \lxSVG@closescope {{ {}{}{}{\lx@inpgf@ignorespaces}{\lx@inpgf@ignorespaces}}{{{\lx@inpgf@ignorespaces}}{{}}}}{\lx@inpgf@ignorespaces}{\lx@inpgf@ignorespaces}\hss}\lxSVG@discardpath\lxSVG@closescope \hss}}\lxSVG@closescope\endpgfpicture}}\right\rrbracket\quad=\quad q\;\hbox to20.27pt{\vbox to23.96pt{\pgfpicture\makeatletter\hbox{\hskip 10.13559pt\lower-11.98091pt\hbox to0.0pt{\lxSVG@begingroup@{_scopebegin=1} \lxSVG@begingroup@{stroke=#000000} \lxSVG@begingroup@{fill=#000000} \lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=0.4pt} \lx@inpgf@ignorespaces\nullfont\hbox to0.0pt{\lxSVG@begingroup@{_scopebegin=1} {{\lx@inpgf@ignorespaces}} {}{{}}{} {}{} {{\lx@inpgf@ignorespaces}{}\lx@inpgf@ignorespaces}{{}} {{{}}{{\lx@inpgf@ignorespaces}}}{{}}{{{}}{{}}}{}{{}}{}{}{} {}{} {{\lx@inpgf@ignorespaces}{}\lx@inpgf@ignorespaces}{{}} {{{}}{{\lx@inpgf@ignorespaces}}}{{}}{{{}}{{}}}{}{{}}{}{}{} {}{}\lxSVG@begingroup@{_scopebegin=1} \lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=1.2pt} \lx@inpgf@ignorespaces{}{}{}{}{{}}\lxSVG@stroke\lxSVG@drawpath@unclipped{M 7.87 -15.75 L 7.87 -13.39 C 7.87 -8.58 3.4 -7.34 0 -3.94 L 0 3.94 C 3.4 7.34 7.87 8.58 7.87 13.39 L 7.87 14.09}{fill:none} {{}{{}}{}{}{{}}{{{\lx@inpgf@ignorespaces}}{{{\lx@inpgf@ignorespaces}}{\lxSVG@begingroup@{_scopebegin=1} \lxSVG@transformcm{0.0}{1.0}{-1.0}{0.0}{5.69046pt}{10.78093pt}\lxSVG@begingroup@{transform=matrix(0.0 1.0 -1.0 0.0 7.87 14.92)} \lxSVG@begingroup@{_scopebegin=1} \lxSVG@begingroup@{stroke-dasharray=none,stroke-dashoffset=0.0pt} \lxSVG@begingroup@{stroke-linecap=round} \lxSVG@begingroup@{stroke-linejoin=round} \lxSVG@drawpath@unclipped{M -4.21 5.32 C -3.44 2.13 -1.73 0.62 0 0 C -1.73 -0.62 -3.44 -2.13 -4.21 -5.32}{fill:none} \lxSVG@closescope \lxSVG@closescope }}{{\lx@inpgf@ignorespaces}}}}\lx@inpgf@ignorespaces \lxSVG@closescope {}{{}}{} {}{}\lxSVG@begingroup@{_scopebegin=1} \lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=1.2pt} \lx@inpgf@ignorespaces{}\lxSVG@stroke\lxSVG@drawpath@unclipped{M 0 3.94 L 0 -3.94}{fill:none} \lx@inpgf@ignorespaces \lxSVG@closescope {}{{}}{} {}{} {{\lx@inpgf@ignorespaces}{}\lx@inpgf@ignorespaces}{{}} {{{}}{{\lx@inpgf@ignorespaces}}}{{}}{{{}}{{}}}{}{{}}{}{}{} {}{} {{\lx@inpgf@ignorespaces}{}\lx@inpgf@ignorespaces}{{}} {{{}}{{\lx@inpgf@ignorespaces}}}{{}}{{{}}{{}}}{}{{}}{}{}{} {}{}\lxSVG@begingroup@{_scopebegin=1} \lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=1.2pt} \lx@inpgf@ignorespaces{}{}{}{}{{}}\lxSVG@stroke\lxSVG@drawpath@unclipped{M -7.87 -15.75 L -7.87 -13.39 C -7.87 -8.58 -3.4 -7.34 0 -3.94 L 0 3.94 C -3.4 7.34 -7.87 8.58 -7.87 13.39 L -7.87 14.09}{fill:none} {{}{{}}{}{}{{}}{{{\lx@inpgf@ignorespaces}}{{{\lx@inpgf@ignorespaces}}{\lxSVG@begingroup@{_scopebegin=1} \lxSVG@transformcm{0.0}{1.0}{-1.0}{0.0}{-5.69046pt}{10.78093pt}\lxSVG@begingroup@{transform=matrix(0.0 1.0 -1.0 0.0 -7.87 14.92)} \lxSVG@begingroup@{_scopebegin=1} \lxSVG@begingroup@{stroke-dasharray=none,stroke-dashoffset=0.0pt} \lxSVG@begingroup@{stroke-linecap=round} \lxSVG@begingroup@{stroke-linejoin=round} \lxSVG@drawpath@unclipped{M -4.21 5.32 C -3.44 2.13 -1.73 0.62 0 0 C -1.73 -0.62 -3.44 -2.13 -4.21 -5.32}{fill:none} \lxSVG@closescope \lxSVG@closescope }}{{\lx@inpgf@ignorespaces}}}}\lx@inpgf@ignorespaces \lxSVG@closescope {{}}\lx@inpgf@ignorespaces\hbox{\hbox{{\lxSVG@begingroup@{_scopebegin=1} {{}{}{{ {}{}}}{ {}{}} {{}{{\lx@inpgf@ignorespaces}}}{{}{\lx@inpgf@ignorespaces}}{}{{}{\lx@inpgf@ignorespaces}} {\lx@inpgf@ignorespaces }{{{{\lx@inpgf@ignorespaces}}\lxSVG@begingroup@{_scopebegin=1} \lxSVG@transformcm{1.0}{0.0}{0.0}{1.0}{-4.54665pt}{-1.6111pt}\lxSVG@begingroup@{transform=matrix(1.0 0.0 0.0 1.0 -6.29 -2.23)} \pgfsys@hbox{58}\lxSVG@closescope }}} \lxSVG@closescope }}} \lxSVG@closescope {{ {}{}{}{\lx@inpgf@ignorespaces}{\lx@inpgf@ignorespaces}}{{{\lx@inpgf@ignorespaces}}{{}}}}{\lx@inpgf@ignorespaces}{\lx@inpgf@ignorespaces}\hss}\lxSVG@discardpath\lxSVG@closescope \hss}}\lxSVG@closescope\endpgfpicture}}\to\uwave{\hbox to20.27pt{\vbox to23.96pt{\pgfpicture\makeatletter\hbox{\hskip 10.13559pt\lower-11.98091pt\hbox to0.0pt{\lxSVG@begingroup@{_scopebegin=1} \lxSVG@begingroup@{stroke=#000000} \lxSVG@begingroup@{fill=#000000} \lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=0.4pt} \lx@inpgf@ignorespaces\nullfont\hbox to0.0pt{\lxSVG@begingroup@{_scopebegin=1} {{\lx@inpgf@ignorespaces}} {}{{}}{} {}{}\lxSVG@begingroup@{_scopebegin=1} \lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=1.2pt} \lx@inpgf@ignorespaces{}{}{}{}{{}}\lxSVG@stroke\lxSVG@drawpath@unclipped{M 7.87 -15.75 L 7.87 14.09}{fill:none} {{}{{}}{}{}{{}}{{{\lx@inpgf@ignorespaces}}{{{\lx@inpgf@ignorespaces}}{\lxSVG@begingroup@{_scopebegin=1} \lxSVG@transformcm{0.0}{1.0}{-1.0}{0.0}{5.69046pt}{10.78093pt}\lxSVG@begingroup@{transform=matrix(0.0 1.0 -1.0 0.0 7.87 14.92)} \lxSVG@begingroup@{_scopebegin=1} \lxSVG@begingroup@{stroke-dasharray=none,stroke-dashoffset=0.0pt} \lxSVG@begingroup@{stroke-linecap=round} \lxSVG@begingroup@{stroke-linejoin=round} \lxSVG@drawpath@unclipped{M -4.21 5.32 C -3.44 2.13 -1.73 0.62 0 0 C -1.73 -0.62 -3.44 -2.13 -4.21 -5.32}{fill:none} \lxSVG@closescope \lxSVG@closescope }}{{\lx@inpgf@ignorespaces}}}}\lx@inpgf@ignorespaces \lxSVG@closescope {}{{}}{} {}{}\lxSVG@begingroup@{_scopebegin=1} \lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=1.2pt} \lx@inpgf@ignorespaces{}{}{}{}{{}}\lxSVG@stroke\lxSVG@drawpath@unclipped{M -7.87 -15.75 L -7.87 14.09}{fill:none} {{}{{}}{}{}{{}}{{{\lx@inpgf@ignorespaces}}{{{\lx@inpgf@ignorespaces}}{\lxSVG@begingroup@{_scopebegin=1} \lxSVG@transformcm{0.0}{1.0}{-1.0}{0.0}{-5.69046pt}{10.78093pt}\lxSVG@begingroup@{transform=matrix(0.0 1.0 -1.0 0.0 -7.87 14.92)} \lxSVG@begingroup@{_scopebegin=1} \lxSVG@begingroup@{stroke-dasharray=none,stroke-dashoffset=0.0pt} \lxSVG@begingroup@{stroke-linecap=round} \lxSVG@begingroup@{stroke-linejoin=round} \lxSVG@drawpath@unclipped{M -4.21 5.32 C -3.44 2.13 -1.73 0.62 0 0 C -1.73 -0.62 -3.44 -2.13 -4.21 -5.32}{fill:none} \lxSVG@closescope \lxSVG@closescope }}{{\lx@inpgf@ignorespaces}}}}\lx@inpgf@ignorespaces \lxSVG@closescope \lxSVG@closescope {{ {}{}{}{\lx@inpgf@ignorespaces}{\lx@inpgf@ignorespaces}}{{{\lx@inpgf@ignorespaces}}{{}}}}{\lx@inpgf@ignorespaces}{\lx@inpgf@ignorespaces}\hss}\lxSVG@discardpath\lxSVG@closescope \hss}}\lxSVG@closescope\endpgfpicture}}},\qquad\left\llbracket\hbox to20.27pt{\vbox to27.03pt{\pgfpicture\makeatletter\hbox{\hskip 10.13559pt\lower-13.51488pt\hbox to0.0pt{\lxSVG@begingroup@{_scopebegin=1} \lxSVG@begingroup@{stroke=#000000} \lxSVG@begingroup@{fill=#000000} \lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=0.4pt} \lx@inpgf@ignorespaces\nullfont\hbox to0.0pt{\lxSVG@begingroup@{_scopebegin=1} {{\lx@inpgf@ignorespaces}} {}{{}}{} {}{} {{\lx@inpgf@ignorespaces}{}\lx@inpgf@ignorespaces}{{}} {{{}}{{\lx@inpgf@ignorespaces}}}{{}}{{{}}{{}}}{}{{}}{}{}{} {}{}\lxSVG@begingroup@{_scopebegin=1} \lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=1.2pt} \lx@inpgf@ignorespaces{}{}{}{}{{}}\lxSVG@stroke\lxSVG@drawpath@unclipped{M -7.87 -15.75 L -7.87 -13.39 C -7.87 -1.24 7.87 1.24 7.87 13.39 L 7.87 14.09}{fill:none} {{}{{}}{}{}{{}}{{{\lx@inpgf@ignorespaces}}{{{\lx@inpgf@ignorespaces}}{\lxSVG@begingroup@{_scopebegin=1} \lxSVG@transformcm{0.0}{1.0}{-1.0}{0.0}{5.69046pt}{10.78093pt}\lxSVG@begingroup@{transform=matrix(0.0 1.0 -1.0 0.0 7.87 14.92)} \lxSVG@begingroup@{_scopebegin=1} \lxSVG@begingroup@{stroke-dasharray=none,stroke-dashoffset=0.0pt} \lxSVG@begingroup@{stroke-linecap=round} \lxSVG@begingroup@{stroke-linejoin=round} \lxSVG@drawpath@unclipped{M -4.21 5.32 C -3.44 2.13 -1.73 0.62 0 0 C -1.73 -0.62 -3.44 -2.13 -4.21 -5.32}{fill:none} \lxSVG@closescope \lxSVG@closescope }}{{\lx@inpgf@ignorespaces}}}}\lx@inpgf@ignorespaces \lxSVG@closescope {}{{}}{} {}{} {{\lx@inpgf@ignorespaces}{}\lx@inpgf@ignorespaces}{{}} {{{}}{{\lx@inpgf@ignorespaces}}}{{}}{{{}}{{}}}{}{{}}{}{}{} {}{}\lxSVG@begingroup@{_scopebegin=1} \color[rgb]{1,1,1}\lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=4.26791pt} \lx@inpgf@ignorespaces{}\lxSVG@stroke\lxSVG@drawpath@unclipped{M 7.87 -15.75 L 7.87 -13.39 C 7.87 -1.24 -7.87 1.24 -7.87 13.39 L -7.87 15.75}{fill:none} \lx@inpgf@ignorespaces \lxSVG@closescope {}{{}}{} {}{} {{\lx@inpgf@ignorespaces}{}\lx@inpgf@ignorespaces}{{}} {{{}}{{\lx@inpgf@ignorespaces}}}{{}}{{{}}{{}}}{}{{}}{}{}{} {}{}\lxSVG@begingroup@{_scopebegin=1} \lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=1.2pt} \lx@inpgf@ignorespaces{}{}{}{}{{}}\lxSVG@stroke\lxSVG@drawpath@unclipped{M 7.87 -15.75 L 7.87 -13.39 C 7.87 -1.24 -7.87 1.24 -7.87 13.39 L -7.87 14.09}{fill:none} {{}{{}}{}{}{{}}{{{\lx@inpgf@ignorespaces}}{{{\lx@inpgf@ignorespaces}}{\lxSVG@begingroup@{_scopebegin=1} \lxSVG@transformcm{0.0}{1.0}{-1.0}{0.0}{-5.69046pt}{10.78093pt}\lxSVG@begingroup@{transform=matrix(0.0 1.0 -1.0 0.0 -7.87 14.92)} \lxSVG@begingroup@{_scopebegin=1} \lxSVG@begingroup@{stroke-dasharray=none,stroke-dashoffset=0.0pt} \lxSVG@begingroup@{stroke-linecap=round} \lxSVG@begingroup@{stroke-linejoin=round} \lxSVG@drawpath@unclipped{M -4.21 5.32 C -3.44 2.13 -1.73 0.62 0 0 C -1.73 -0.62 -3.44 -2.13 -4.21 -5.32}{fill:none} \lxSVG@closescope \lxSVG@closescope }}{{\lx@inpgf@ignorespaces}}}}\lx@inpgf@ignorespaces \lxSVG@closescope \lxSVG@closescope {{ {}{}{}{\lx@inpgf@ignorespaces}{\lx@inpgf@ignorespaces}}{{{\lx@inpgf@ignorespaces}}{{}}}}{\lx@inpgf@ignorespaces}{\lx@inpgf@ignorespaces}\hss}\lxSVG@discardpath\lxSVG@closescope \hss}}\lxSVG@closescope\endpgfpicture}}\right\rrbracket\quad=\quad\uwave{\hbox to20.27pt{\vbox to23.96pt{\pgfpicture\makeatletter\hbox{\hskip 10.13559pt\lower-11.98091pt\hbox to0.0pt{\lxSVG@begingroup@{_scopebegin=1} \lxSVG@begingroup@{stroke=#000000} \lxSVG@begingroup@{fill=#000000} \lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=0.4pt} \lx@inpgf@ignorespaces\nullfont\hbox to0.0pt{\lxSVG@begingroup@{_scopebegin=1} {{\lx@inpgf@ignorespaces}} {}{{}}{} {}{}\lxSVG@begingroup@{_scopebegin=1} \lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=1.2pt} \lx@inpgf@ignorespaces{}{}{}{}{{}}\lxSVG@stroke\lxSVG@drawpath@unclipped{M 7.87 -15.75 L 7.87 14.09}{fill:none} {{}{{}}{}{}{{}}{{{\lx@inpgf@ignorespaces}}{{{\lx@inpgf@ignorespaces}}{\lxSVG@begingroup@{_scopebegin=1} \lxSVG@transformcm{0.0}{1.0}{-1.0}{0.0}{5.69046pt}{10.78093pt}\lxSVG@begingroup@{transform=matrix(0.0 1.0 -1.0 0.0 7.87 14.92)} \lxSVG@begingroup@{_scopebegin=1} \lxSVG@begingroup@{stroke-dasharray=none,stroke-dashoffset=0.0pt} \lxSVG@begingroup@{stroke-linecap=round} \lxSVG@begingroup@{stroke-linejoin=round} \lxSVG@drawpath@unclipped{M -4.21 5.32 C -3.44 2.13 -1.73 0.62 0 0 C -1.73 -0.62 -3.44 -2.13 -4.21 -5.32}{fill:none} \lxSVG@closescope \lxSVG@closescope }}{{\lx@inpgf@ignorespaces}}}}\lx@inpgf@ignorespaces \lxSVG@closescope {}{{}}{} {}{}\lxSVG@begingroup@{_scopebegin=1} \lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=1.2pt} \lx@inpgf@ignorespaces{}{}{}{}{{}}\lxSVG@stroke\lxSVG@drawpath@unclipped{M -7.87 -15.75 L -7.87 14.09}{fill:none} {{}{{}}{}{}{{}}{{{\lx@inpgf@ignorespaces}}{{{\lx@inpgf@ignorespaces}}{\lxSVG@begingroup@{_scopebegin=1} \lxSVG@transformcm{0.0}{1.0}{-1.0}{0.0}{-5.69046pt}{10.78093pt}\lxSVG@begingroup@{transform=matrix(0.0 1.0 -1.0 0.0 -7.87 14.92)} \lxSVG@begingroup@{_scopebegin=1} \lxSVG@begingroup@{stroke-dasharray=none,stroke-dashoffset=0.0pt} \lxSVG@begingroup@{stroke-linecap=round} \lxSVG@begingroup@{stroke-linejoin=round} \lxSVG@drawpath@unclipped{M -4.21 5.32 C -3.44 2.13 -1.73 0.62 0 0 C -1.73 -0.62 -3.44 -2.13 -4.21 -5.32}{fill:none} \lxSVG@closescope \lxSVG@closescope }}{{\lx@inpgf@ignorespaces}}}}\lx@inpgf@ignorespaces \lxSVG@closescope \lxSVG@closescope {{ {}{}{}{\lx@inpgf@ignorespaces}{\lx@inpgf@ignorespaces}}{{{\lx@inpgf@ignorespaces}}{{}}}}{\lx@inpgf@ignorespaces}{\lx@inpgf@ignorespaces}\hss}\lxSVG@discardpath\lxSVG@closescope \hss}}\lxSVG@closescope\endpgfpicture}}}\to q^{-1}\;\hbox to20.27pt{\vbox to23.96pt{\pgfpicture\makeatletter\hbox{\hskip 10.13559pt\lower-11.98091pt\hbox to0.0pt{\lxSVG@begingroup@{_scopebegin=1} \lxSVG@begingroup@{stroke=#000000} \lxSVG@begingroup@{fill=#000000} \lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=0.4pt} \lx@inpgf@ignorespaces\nullfont\hbox to0.0pt{\lxSVG@begingroup@{_scopebegin=1} {{\lx@inpgf@ignorespaces}} {}{{}}{} {}{} {{\lx@inpgf@ignorespaces}{}\lx@inpgf@ignorespaces}{{}} {{{}}{{\lx@inpgf@ignorespaces}}}{{}}{{{}}{{}}}{}{{}}{}{}{} {}{} {{\lx@inpgf@ignorespaces}{}\lx@inpgf@ignorespaces}{{}} {{{}}{{\lx@inpgf@ignorespaces}}}{{}}{{{}}{{}}}{}{{}}{}{}{} {}{}\lxSVG@begingroup@{_scopebegin=1} \lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=1.2pt} \lx@inpgf@ignorespaces{}{}{}{}{{}}\lxSVG@stroke\lxSVG@drawpath@unclipped{M 7.87 -15.75 L 7.87 -13.39 C 7.87 -8.58 3.4 -7.34 0 -3.94 L 0 3.94 C 3.4 7.34 7.87 8.58 7.87 13.39 L 7.87 14.09}{fill:none} {{}{{}}{}{}{{}}{{{\lx@inpgf@ignorespaces}}{{{\lx@inpgf@ignorespaces}}{\lxSVG@begingroup@{_scopebegin=1} \lxSVG@transformcm{0.0}{1.0}{-1.0}{0.0}{5.69046pt}{10.78093pt}\lxSVG@begingroup@{transform=matrix(0.0 1.0 -1.0 0.0 7.87 14.92)} \lxSVG@begingroup@{_scopebegin=1} \lxSVG@begingroup@{stroke-dasharray=none,stroke-dashoffset=0.0pt} \lxSVG@begingroup@{stroke-linecap=round} \lxSVG@begingroup@{stroke-linejoin=round} \lxSVG@drawpath@unclipped{M -4.21 5.32 C -3.44 2.13 -1.73 0.62 0 0 C -1.73 -0.62 -3.44 -2.13 -4.21 -5.32}{fill:none} \lxSVG@closescope \lxSVG@closescope }}{{\lx@inpgf@ignorespaces}}}}\lx@inpgf@ignorespaces \lxSVG@closescope {}{{}}{} {}{}\lxSVG@begingroup@{_scopebegin=1} \lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=1.2pt} \lx@inpgf@ignorespaces{}\lxSVG@stroke\lxSVG@drawpath@unclipped{M 0 3.94 L 0 -3.94}{fill:none} \lx@inpgf@ignorespaces \lxSVG@closescope {}{{}}{} {}{} {{\lx@inpgf@ignorespaces}{}\lx@inpgf@ignorespaces}{{}} {{{}}{{\lx@inpgf@ignorespaces}}}{{}}{{{}}{{}}}{}{{}}{}{}{} {}{} {{\lx@inpgf@ignorespaces}{}\lx@inpgf@ignorespaces}{{}} {{{}}{{\lx@inpgf@ignorespaces}}}{{}}{{{}}{{}}}{}{{}}{}{}{} {}{}\lxSVG@begingroup@{_scopebegin=1} \lxSVG@setlinewidth{\the\pgflinewidth}\lxSVG@begingroup@{stroke-width=1.2pt} \lx@inpgf@ignorespaces{}{}{}{}{{}}\lxSVG@stroke\lxSVG@drawpath@unclipped{M -7.87 -15.75 L -7.87 -13.39 C -7.87 -8.58 -3.4 -7.34 0 -3.94 L 0 3.94 C -3.4 7.34 -7.87 8.58 -7.87 13.39 L -7.87 14.09}{fill:none} {{}{{}}{}{}{{}}{{{\lx@inpgf@ignorespaces}}{{{\lx@inpgf@ignorespaces}}{\lxSVG@begingroup@{_scopebegin=1} \lxSVG@transformcm{0.0}{1.0}{-1.0}{0.0}{-5.69046pt}{10.78093pt}\lxSVG@begingroup@{transform=matrix(0.0 1.0 -1.0 0.0 -7.87 14.92)} \lxSVG@begingroup@{_scopebegin=1} \lxSVG@begingroup@{stroke-dasharray=none,stroke-dashoffset=0.0pt} \lxSVG@begingroup@{stroke-linecap=round} \lxSVG@begingroup@{stroke-linejoin=round} \lxSVG@drawpath@unclipped{M -4.21 5.32 C -3.44 2.13 -1.73 0.62 0 0 C -1.73 -0.62 -3.44 -2.13 -4.21 -5.32}{fill:none} \lxSVG@closescope \lxSVG@closescope }}{{\lx@inpgf@ignorespaces}}}}\lx@inpgf@ignorespaces \lxSVG@closescope {{}}\lx@inpgf@ignorespaces\hbox{\hbox{{\lxSVG@begingroup@{_scopebegin=1} {{}{}{{ {}{}}}{ {}{}} {{}{{\lx@inpgf@ignorespaces}}}{{}{\lx@inpgf@ignorespaces}}{}{{}{\lx@inpgf@ignorespaces}} {\lx@inpgf@ignorespaces }{{{{\lx@inpgf@ignorespaces}}\lxSVG@begingroup@{_scopebegin=1} \lxSVG@transformcm{1.0}{0.0}{0.0}{1.0}{-4.54665pt}{-1.6111pt}\lxSVG@begingroup@{transform=matrix(1.0 0.0 0.0 1.0 -6.29 -2.23)} \pgfsys@hbox{58}\lxSVG@closescope }}} \lxSVG@closescope }}} \lxSVG@closescope {{ {}{}{}{\lx@inpgf@ignorespaces}{\lx@inpgf@ignorespaces}}{{{\lx@inpgf@ignorespaces}}{{}}}}{\lx@inpgf@ignorespaces}{\lx@inpgf@ignorespaces}\hss}\lxSVG@discardpath\lxSVG@closescope \hss}}\lxSVG@closescope\endpgfpicture}}

The underlined term is placed in homological degree zero. We call the non-identity webs that appear here thick edges. The differentials in both complexes are given by the combinatorially simplest foam between the two shown webs. We call them unzip and zip foams respectively. The reader be warned that the assignments in (2.3) differ from the conventions in [KR08, Fig. 46] by a qq-grading shift of magnitude (N−1)​w(N-1)w, where ww denotes the writhe of the diagram; the latter further differ from the conventions in [ETW18, Equation (3.2)] by mirroring.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Scott Morrison, Kevin Walker, Paul Wedrich

Original source: arXiv:1907.12194v5