Khovanov-Rozansky homology for infinite multi-colored braids

TL;DR

This paper introduces a limiting version of Khovanov-Rozansky homology for semi-infinite multi-colored braids, extending categorification results to infinite braid structures and broadening the understanding of their algebraic properties.

Contribution

It defines a new limiting homology for infinite multi-colored braids and demonstrates its role as a categorification of a highest-weight projector, extending prior work on infinite twist braids.

Findings

Limiting homology categorifies highest-weight projectors.

Extension of categorification to semi-infinite and bi-infinite braids.

Generalization of previous results on infinite twist braids.

Abstract

We define a limiting $\mathfrak{sl}_N$ Khovanov-Rozansky homology for semi-infinite positive multi-colored braids, and we show that this limiting homology categorifies a highest-weight projector for a large class of such braids. This effectively completes the extension of Cautis' similar result for infinite twist braids, begun in our earlier papers with Islambouli and Abel. We also present several similar results for other families of semi-infinite and bi-infinite multi-colored braids.

Equations

$$\{{\mathbf{A}}_k,f_k\}={\mathbf{A}}_0\stackrel{f_0}{\leftarrow }{\mathbf{A}}_1\stackrel{f_1}{\leftarrow }{\mathbf{A}}_2\stackrel{f_2}{\leftarrow }\cdots .$$

$$\lim (\mathbf{B}\otimes {\mathbf{A}}_k)\simeq \mathbf{B}\otimes {\mathbf{A}}_{\infty }.$$

$$\mathbf{M}=\underset{i,j\in \mathcal{C}}{\mathrm{Mcone}}\left({\mathbf{A}}_i\stackrel{f_{ij}}{\to }{\mathrm{h}}^{{\mathrm{h}}_{\mathcal{C}}(j)-{\mathrm{h}}_{\mathcal{C}}(i)-1}{\mathbf{A}}_j\right)$$

$$\mathbf{M}:=\underset{i\in \mathcal{C}}{⨁}{\mathbf{A}}_i$$

$$d_M:=\sum _{i,j\in \mathcal{C}}{f}_{ij}.$$

$${\mathrm{h}}_M(\alpha ):={\mathrm{h}}_{A_i}(\alpha )+{\mathrm{h}}_{\mathcal{C}}(i).$$

$${\mathbf{M}}^{\prime }:=\underset{i,j\in \mathcal{C}}{\mathrm{Mcone}}\left({\mathbf{A}}_i^{\prime }\stackrel{f_{ij}^{\prime }}{\to }{\mathrm{h}}^{{\mathrm{h}}_{\mathcal{C}}(j)-{\mathrm{h}}_{\mathcal{C}}(i)-1}{\mathbf{A}}_j^{\prime }\right)$$

$$\mathbf{M}\simeq {\mathbf{M}}^{\prime }.$$

$$i$$

$$\text{leavevmode}to39.51pt\text{vbox}to62.64pt\text{pgfpicture}\text{makeatletter}\text{lower}-11.32202ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}0.0pt10.00002pt\text{pgfsys@curveto}3.91533pt13.91534pt10.00002pt14.4629pt10.00002pt20.00003pt\text{pgfsys@curveto}10.00002pt25.53716pt3.91533pt26.08472pt0.0pt30.00005pt\text{pgfsys@lineto}0.0pt40.00006pt\text{pgfsys@moveto}0.0pt30.00005pt\text{pgfsys@curveto}-3.91533pt26.08472pt-10.00002pt25.53716pt-10.00002pt20.00003pt\text{pgfsys@curveto}-10.00002pt14.4629pt-3.91533pt13.91534pt0.0pt10.00002pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-17.20586pt17.69171pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.714.35841pt18.37225pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-7.12518pt-7.62784pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i+j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-7.12518pt44.37234pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i+j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}=\left[\genfrac{}{}{0ex}{}{i+j}{i}\right]\text{leavevmode}to18.92pt\text{vbox}to62.64pt\text{pgfpicture}\text{makeatletter}\text{lower}-11.32202ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}0.0pt40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-7.12518pt-7.62784pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i+j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-7.12518pt44.37234pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i+j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}$$

$$\text{leavevmode}to39.93pt\text{vbox}to62.77pt\text{pgfpicture}\text{makeatletter}\text{lower}-51.4443ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}0.0pt-20.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@lineto}20.00003pt-20.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-13.20009pt\text{pgfsys@lineto}20.00003pt-6.60004pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.710.00002pt-7.28699pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-20.00003pt\text{pgfsys@lineto}0.0pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-20.00003pt\text{pgfsys@lineto}20.00003pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-33.20012pt\text{pgfsys@lineto}0.0pt-26.60007pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.78.54169pt-27.28702pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\ell \text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-7.4158pt3.86119pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i+k\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.35837pt4.37228pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.20578pt-48.30844pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.712.14836pt-47.7501pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j+k\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}=\sum _{p=\max (0,k)}^{\ell }\left[\genfrac{}{}{0ex}{}{j-i}{\ell -p}\right]\text{leavevmode}to39.93pt\text{vbox}to62.77pt\text{pgfpicture}\text{makeatletter}\text{lower}-51.4443ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}0.0pt-20.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@lineto}20.00003pt-20.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-13.20009pt\text{pgfsys@lineto}0.0pt-6.60004pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.78.23909pt-5.92589pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}p\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-20.00003pt\text{pgfsys@lineto}0.0pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-20.00003pt\text{pgfsys@lineto}20.00003pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-33.20012pt\text{pgfsys@lineto}20.00003pt-26.60007pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.710.00002pt-27.28702pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-7.4158pt3.86119pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i+k\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.35837pt4.37228pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.20578pt-48.30844pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.712.14836pt-47.7501pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j+k\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}$$

$$[n]=\frac{q^n-q^{-n}}{q-q^{-1}},[n]!=[n][n-1]\cdots [1],[\genfrac{}{}{0ex}{}{n}{k}]=\frac{[n]!}{[n-k]![k]!}$$

$$b$$

$$a$$

$$b$$

$$c$$

$${\mathrm{hom}}_2({\delta }_a,{\delta }_b)\cong {\mathrm{hom}}_2({\delta }_a\cdot {\delta }_b^{\wedge },I).$$

$$\text{leavevmode}to27.95pt\text{vbox}to50.64pt\text{pgfpicture}\text{makeatletter}\text{lower}-37.82208ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@curveto}0.0pt-4.17587pt3.71378pt-5.38042pt6.66656pt-8.3332pt\text{pgfsys@moveto}13.33345pt-16.66682pt\text{pgfsys@curveto}16.28624pt-19.61961pt20.00003pt-20.82417pt20.00003pt-25.00005pt\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@curveto}20.00003pt-12.52783pt0.0pt-12.47221pt0.0pt-25.00005pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}.0\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.64166pt5.8723pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.79425pt5.19176pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.20578pt-34.80844pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.35837pt-34.1279pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}:=\text{leavevmode}to27.95pt\text{vbox}to49.64pt\text{pgfpicture}\text{makeatletter}\text{lower}-39.82204ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.64166pt2.87227pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.79425pt2.19173pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.20578pt-36.8084pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.35837pt-36.12785pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}0.0pt-15.00002pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@lineto}20.00003pt-15.00002pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-9.90005pt\text{pgfsys@lineto}0.0pt-4.95003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.710.00002pt-4.81197pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-15.00002pt\text{pgfsys@lineto}0.0pt-30.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-15.00002pt\text{pgfsys@lineto}20.00003pt-30.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-24.90007pt\text{pgfsys@lineto}20.00003pt-19.95004pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.78.25003pt-19.81198pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}0\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}\text{leavevmode}to30.73pt\text{vbox}to13.53pt\text{pgfpicture}\text{makeatletter}\text{lower}-2.59998ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@setdash}0.0pt\text{pgfsys@roundcap}\text{pgfsys@roundjoin}\text{pgfsys@moveto}-2.07999pt2.39998pt\text{pgfsys@curveto}-1.69998pt0.95998pt-0.85318pt0.28pt0.0pt0.0pt\text{pgfsys@curveto}-0.85318pt-0.28pt-1.69998pt-0.95998pt-2.07999pt-2.39998pt\text{pgfsys@stroke}\text{pgfsys@endscope}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}28.05276pt0.0pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.028.25276pt0.0pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.711.4247pt3.73619pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{d}_0\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}\mathrm{q}\text{leavevmode}to27.95pt\text{vbox}to49.64pt\text{pgfpicture}\text{makeatletter}\text{lower}-39.82204ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.64166pt2.87227pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.79425pt2.19173pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.20578pt-36.8084pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.35837pt-36.12785pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}0.0pt-15.00002pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@lineto}20.00003pt-15.00002pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-9.90005pt\text{pgfsys@lineto}0.0pt-4.95003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.710.00002pt-4.81197pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-15.00002pt\text{pgfsys@lineto}0.0pt-30.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-15.00002pt\text{pgfsys@lineto}20.00003pt-30.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-24.90007pt\text{pgfsys@lineto}20.00003pt-19.95004pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.78.25003pt-19.81198pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}1\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}\text{leavevmode}to28.85pt\text{vbox}to13.53pt\text{pgfpicture}\text{makeatletter}\text{lower}-2.59998ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}28.05276pt0.0pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.028.25276pt0.0pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.711.4247pt3.73619pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{d}_1\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}\cdots \text{leavevmode}to28.85pt\text{vbox}to13.56pt\text{pgfpicture}\text{makeatletter}\text{lower}-2.59998ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}28.05276pt0.0pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.028.25276pt0.0pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.710.09613pt3.76575pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{d}_{i-1}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}{\mathrm{q}}^i\text{leavevmode}to27.95pt\text{vbox}to49.64pt\text{pgfpicture}\text{makeatletter}\text{lower}-39.82204ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.64166pt2.87227pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.79425pt2.19173pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.20578pt-36.8084pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.35837pt-36.12785pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}0.0pt-15.00002pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@lineto}20.00003pt-15.00002pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-9.90005pt\text{pgfsys@lineto}0.0pt-4.95003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.710.00002pt-4.81197pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-15.00002pt\text{pgfsys@lineto}0.0pt-30.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-15.00002pt\text{pgfsys@lineto}20.00003pt-30.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-24.90007pt\text{pgfsys@lineto}20.00003pt-19.95004pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.78.79424pt-19.81198pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}$$

$$\text{leavevmode}to27.95pt\text{vbox}to50.64pt\text{pgfpicture}\text{makeatletter}\text{lower}-37.82208ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@curveto}0.0pt-12.52783pt20.00003pt-12.47221pt20.00003pt-25.00005pt\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@curveto}20.00003pt-4.17587pt16.28624pt-5.38042pt13.33345pt-8.3332pt\text{pgfsys@moveto}6.66656pt-16.66682pt\text{pgfsys@curveto}3.71378pt-19.61961pt0.0pt-20.82417pt0.0pt-25.00005pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}.0\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.64166pt5.8723pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.79425pt5.19176pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.20578pt-34.80844pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.35837pt-34.1279pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}:=\text{leavevmode}to27.95pt\text{vbox}to49.64pt\text{pgfpicture}\text{makeatletter}\text{lower}-39.82204ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.64166pt2.87227pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.79425pt2.19173pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.20578pt-36.8084pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.35837pt-36.12785pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}0.0pt-15.00002pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@lineto}20.00003pt-15.00002pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-9.90005pt\text{pgfsys@lineto}0.0pt-4.95003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.710.00002pt-4.81197pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-15.00002pt\text{pgfsys@lineto}0.0pt-30.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-15.00002pt\text{pgfsys@lineto}20.00003pt-30.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-24.90007pt\text{pgfsys@lineto}20.00003pt-19.95004pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.78.79424pt-19.81198pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}\text{leavevmode}to28.85pt\text{vbox}to14.65pt\text{pgfpicture}\text{makeatletter}\text{lower}-2.59998ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}28.05276pt0.0pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.028.25276pt0.0pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.711.8657pt3.76573pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{d}_{i-1}^{\prime }\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}\mathrm{q}\text{leavevmode}to27.95pt\text{vbox}to49.64pt\text{pgfpicture}\text{makeatletter}\text{lower}-39.82204ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.64166pt2.87227pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.79425pt2.19173pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.20578pt-36.8084pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.35837pt-36.12785pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}0.0pt-15.00002pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@lineto}20.00003pt-15.00002pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-9.90005pt\text{pgfsys@lineto}0.0pt-4.95003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.710.00002pt-4.81197pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-15.00002pt\text{pgfsys@lineto}0.0pt-30.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-15.00002pt\text{pgfsys@lineto}20.00003pt-30.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-24.90007pt\text{pgfsys@lineto}20.00003pt-19.95004pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.74.32207pt-19.81198pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i-1\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}\text{leavevmode}to28.85pt\text{vbox}to14.65pt\text{pgfpicture}\text{makeatletter}\text{lower}-2.59998ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}28.05276pt0.0pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.028.25276pt0.0pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.711.8657pt3.76573pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{d}_{i-2}^{\prime }\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}\cdots \text{leavevmode}to28.85pt\text{vbox}to14.62pt\text{pgfpicture}\text{makeatletter}\text{lower}-2.59998ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}28.05276pt0.0pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.028.25276pt0.0pt\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.711.8657pt3.73619pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{d}_0^{\prime }\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}{\mathrm{q}}^i\text{leavevmode}to27.95pt\text{vbox}to49.64pt\text{pgfpicture}\text{makeatletter}\text{lower}-39.82204ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.64166pt2.87227pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.79425pt2.19173pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.20578pt-36.8084pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.35837pt-36.12785pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}0.0pt-15.00002pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@lineto}20.00003pt-15.00002pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-9.90005pt\text{pgfsys@lineto}0.0pt-4.95003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.710.00002pt-4.81197pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-15.00002pt\text{pgfsys@lineto}0.0pt-30.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-15.00002pt\text{pgfsys@lineto}20.00003pt-30.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-24.90007pt\text{pgfsys@lineto}20.00003pt-19.95004pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.78.25003pt-19.81198pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}0\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}$$

$$\simeq \text{leavevmode}to26.71pt\text{vbox}to82.7pt\text{pgfpicture}\text{makeatletter}\text{lower}-71.35127ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@curveto}0.0pt-3.69128pt4.05644pt-4.05644pt6.66656pt-6.66656pt\text{pgfsys@moveto}13.33345pt-13.33345pt\text{pgfsys@curveto}15.94365pt-15.94365pt20.00003pt-16.30865pt20.00003pt-20.00003pt\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@curveto}20.00003pt-11.07425pt0.0pt-8.92578pt0.0pt-20.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}.0\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-20.00003pt\text{pgfsys@lineto}0.0pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-20.00003pt\text{pgfsys@lineto}20.00003pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-33.20012pt\text{pgfsys@lineto}0.0pt-26.60007pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.710.00002pt-27.28702pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-40.00006pt\text{pgfsys@lineto}0.0pt-60.00009pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-40.00006pt\text{pgfsys@lineto}20.00003pt-60.00009pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-53.20015pt\text{pgfsys@lineto}20.00003pt-46.6001pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.78.25003pt-47.28705pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}0\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-0.97221pt3.66257pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.93059pt4.34312pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-0.97221pt-68.33765pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.93059pt-67.65709pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}⟶\text{leavevmode}to26.71pt\text{vbox}to82.7pt\text{pgfpicture}\text{makeatletter}\text{lower}-71.35127ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@curveto}0.0pt-3.69128pt4.05644pt-4.05644pt6.66656pt-6.66656pt\text{pgfsys@moveto}13.33345pt-13.33345pt\text{pgfsys@curveto}15.94365pt-15.94365pt20.00003pt-16.30865pt20.00003pt-20.00003pt\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@curveto}20.00003pt-11.07425pt0.0pt-8.92578pt0.0pt-20.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}.0\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-20.00003pt\text{pgfsys@lineto}0.0pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-20.00003pt\text{pgfsys@lineto}20.00003pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-33.20012pt\text{pgfsys@lineto}0.0pt-26.60007pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.710.00002pt-27.28702pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-40.00006pt\text{pgfsys@lineto}0.0pt-60.00009pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-40.00006pt\text{pgfsys@lineto}20.00003pt-60.00009pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-53.20015pt\text{pgfsys@lineto}20.00003pt-46.6001pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.78.25003pt-47.28705pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}1\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-0.97221pt3.66257pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.93059pt4.34312pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-0.97221pt-68.33765pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.93059pt-67.65709pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}⟶\text{leavevmode}to26.71pt\text{vbox}to82.7pt\text{pgfpicture}\text{makeatletter}\text{lower}-71.35127ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@curveto}0.0pt-3.69128pt4.05644pt-4.05644pt6.66656pt-6.66656pt\text{pgfsys@moveto}13.33345pt-13.33345pt\text{pgfsys@curveto}15.94365pt-15.94365pt20.00003pt-16.30865pt20.00003pt-20.00003pt\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@curveto}20.00003pt-11.07425pt0.0pt-8.92578pt0.0pt-20.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}.0\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-20.00003pt\text{pgfsys@lineto}0.0pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-20.00003pt\text{pgfsys@lineto}20.00003pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-33.20012pt\text{pgfsys@lineto}0.0pt-26.60007pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.710.00002pt-27.28702pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-40.00006pt\text{pgfsys@lineto}0.0pt-60.00009pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-40.00006pt\text{pgfsys@lineto}20.00003pt-60.00009pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-53.20015pt\text{pgfsys@lineto}20.00003pt-46.6001pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.78.25003pt-47.28705pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}2\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-0.97221pt3.66257pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.93059pt4.34312pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-0.97221pt-68.33765pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.93059pt-67.65709pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}⟶\cdots ⟶\text{leavevmode}to26.71pt\text{vbox}to82.7pt\text{pgfpicture}\text{makeatletter}\text{lower}-71.35127ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@curveto}0.0pt-3.69128pt4.05644pt-4.05644pt6.66656pt-6.66656pt\text{pgfsys@moveto}13.33345pt-13.33345pt\text{pgfsys@curveto}15.94365pt-15.94365pt20.00003pt-16.30865pt20.00003pt-20.00003pt\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@curveto}20.00003pt-11.07425pt0.0pt-8.92578pt0.0pt-20.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}.0\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-20.00003pt\text{pgfsys@lineto}0.0pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-20.00003pt\text{pgfsys@lineto}20.00003pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-33.20012pt\text{pgfsys@lineto}0.0pt-26.60007pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.710.00002pt-27.28702pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-40.00006pt\text{pgfsys@lineto}0.0pt-60.00009pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-40.00006pt\text{pgfsys@lineto}20.00003pt-60.00009pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-53.20015pt\text{pgfsys@lineto}20.00003pt-46.6001pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.78.79424pt-47.28705pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-0.97221pt3.66257pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.93059pt4.34312pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-0.97221pt-68.33765pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.93059pt-67.65709pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}$$

$$\simeq \underset{{\delta }_x,{\delta }_y\in C_N\left({\tau }_{(ij)}\right)}{\mathrm{Mcone}}\left(\text{leavevmode}to24.4pt\text{vbox}to40.8pt\text{pgfpicture}\text{makeatletter}\text{lower}-40.40005ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@curveto}0.0pt-3.69128pt4.05644pt-4.05644pt6.66656pt-6.66656pt\text{pgfsys@moveto}13.33345pt-13.33345pt\text{pgfsys@curveto}15.94365pt-15.94365pt20.00003pt-16.30865pt20.00003pt-20.00003pt\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@curveto}20.00003pt-11.07425pt0.0pt-8.92578pt0.0pt-20.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}.0\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-20.00003pt\text{pgfsys@lineto}0.0pt-22.00015pt\text{pgfsys@moveto}0.0pt-40.00006pt\text{pgfsys@lineto}0.0pt-37.99992pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}\text{par}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-20.00003pt\text{pgfsys@lineto}20.00003pt-22.00015pt\text{pgfsys@moveto}20.00003pt-40.00006pt\text{pgfsys@lineto}20.00003pt-37.99992pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}\text{par}\text{pgfsys@moveto}-2.00012pt-22.00015pt\text{pgfsys@moveto}-2.00012pt-22.00015pt\text{pgfsys@lineto}-2.00012pt-37.99992pt\text{pgfsys@lineto}22.00015pt-37.99992pt\text{pgfsys@lineto}22.00015pt-22.00015pt\text{pgfsys@closepath}\text{pgfsys@moveto}22.00015pt-37.99992pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.06.17752pt-32.86949pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\delta }_x\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}⟶\text{leavevmode}to24.4pt\text{vbox}to40.8pt\text{pgfpicture}\text{makeatletter}\text{lower}-40.40005ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@curveto}0.0pt-3.69128pt4.05644pt-4.05644pt6.66656pt-6.66656pt\text{pgfsys@moveto}13.33345pt-13.33345pt\text{pgfsys@curveto}15.94365pt-15.94365pt20.00003pt-16.30865pt20.00003pt-20.00003pt\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@curveto}20.00003pt-11.07425pt0.0pt-8.92578pt0.0pt-20.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}.0\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-20.00003pt\text{pgfsys@lineto}0.0pt-22.00015pt\text{pgfsys@moveto}0.0pt-40.00006pt\text{pgfsys@lineto}0.0pt-37.99992pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}\text{par}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-20.00003pt\text{pgfsys@lineto}20.00003pt-22.00015pt\text{pgfsys@moveto}20.00003pt-40.00006pt\text{pgfsys@lineto}20.00003pt-37.99992pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}\text{par}\text{pgfsys@moveto}-2.00012pt-22.00015pt\text{pgfsys@moveto}-2.00012pt-22.00015pt\text{pgfsys@lineto}-2.00012pt-37.99992pt\text{pgfsys@lineto}22.00015pt-37.99992pt\text{pgfsys@lineto}22.00015pt-22.00015pt\text{pgfsys@closepath}\text{pgfsys@moveto}22.00015pt-37.99992pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.06.30455pt-32.32504pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\delta }_y\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}\right)$$

$$\mathrm{hom}(C_N\left(T_1\right),C_N\left(T_2\right))\simeq \mathrm{hom}(C_N\left(T_1\cdot T_2^{\wedge }\right),C_N\left(I\right))$$

$$\mathrm{hom}\left(\text{leavevmode}to32.88pt\text{vbox}to29.59pt\text{pgfpicture}\text{makeatletter}\text{lower}-25.06505ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}0.0pt-2.00012pt\text{pgfsys@moveto}0.0pt-20.00003pt\text{pgfsys@lineto}0.0pt-17.9999pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}\text{par}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@lineto}20.00003pt-2.00012pt\text{pgfsys@moveto}20.00003pt-20.00003pt\text{pgfsys@lineto}20.00003pt-17.9999pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}\text{par}\text{pgfsys@moveto}-2.00012pt-2.00012pt\text{pgfsys@moveto}-2.00012pt-2.00012pt\text{pgfsys@lineto}-2.00012pt-17.9999pt\text{pgfsys@lineto}22.00015pt-17.9999pt\text{pgfsys@lineto}22.00015pt-2.00012pt\text{pgfsys@closepath}\text{pgfsys@moveto}22.00015pt-17.9999pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.05.95662pt-13.41667pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}B\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-7.8121pt-0.82639pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\gamma \text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-8.35109pt-21.37085pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\gamma }^{\prime }\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture},\text{leavevmode}to32.88pt\text{vbox}to29.59pt\text{pgfpicture}\text{makeatletter}\text{lower}-25.06505ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}0.0pt-2.00012pt\text{pgfsys@moveto}0.0pt-20.00003pt\text{pgfsys@lineto}0.0pt-17.9999pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}\text{par}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@lineto}20.00003pt-2.00012pt\text{pgfsys@moveto}20.00003pt-20.00003pt\text{pgfsys@lineto}20.00003pt-17.9999pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}\text{par}\text{pgfsys@moveto}-2.00012pt-2.00012pt\text{pgfsys@moveto}-2.00012pt-2.00012pt\text{pgfsys@lineto}-2.00012pt-17.9999pt\text{pgfsys@lineto}22.00015pt-17.9999pt\text{pgfsys@lineto}22.00015pt-2.00012pt\text{pgfsys@closepath}\text{pgfsys@moveto}22.00015pt-17.9999pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.06.25002pt-13.41667pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}A\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-7.8121pt-0.82639pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\gamma \text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-8.35109pt-21.37085pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\gamma }^{\prime }\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}\right)\simeq \mathrm{hom}\left(\text{leavevmode}to32.88pt\text{vbox}to49.04pt\text{pgfpicture}\text{makeatletter}\text{lower}-44.52063ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}0.0pt-2.00012pt\text{pgfsys@moveto}0.0pt-20.00003pt\text{pgfsys@lineto}0.0pt-17.9999pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}\text{par}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@lineto}20.00003pt-2.00012pt\text{pgfsys@moveto}20.00003pt-20.00003pt\text{pgfsys@lineto}20.00003pt-17.9999pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}\text{par}\text{pgfsys@moveto}-2.00012pt-2.00012pt\text{pgfsys@moveto}-2.00012pt-2.00012pt\text{pgfsys@lineto}-2.00012pt-17.9999pt\text{pgfsys@lineto}22.00015pt-17.9999pt\text{pgfsys@lineto}22.00015pt-2.00012pt\text{pgfsys@closepath}\text{pgfsys@moveto}22.00015pt-17.9999pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.05.95662pt-13.41667pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}B\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-20.00003pt\text{pgfsys@lineto}0.0pt-22.00015pt\text{pgfsys@moveto}0.0pt-40.00006pt\text{pgfsys@lineto}0.0pt-37.99992pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}\text{par}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-20.00003pt\text{pgfsys@lineto}20.00003pt-22.00015pt\text{pgfsys@moveto}20.00003pt-40.00006pt\text{pgfsys@lineto}20.00003pt-37.99992pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}\text{par}\text{pgfsys@moveto}-2.00012pt-22.00015pt\text{pgfsys@moveto}-2.00012pt-22.00015pt\text{pgfsys@lineto}-2.00012pt-37.99992pt\text{pgfsys@lineto}22.00015pt-37.99992pt\text{pgfsys@lineto}22.00015pt-22.00015pt\text{pgfsys@closepath}\text{pgfsys@moveto}22.00015pt-37.99992pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}1.00.00.01.06.25002pt-30.00005pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{scalebox}1.0[-1.0]A\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-7.8121pt-0.82639pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\gamma \text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-8.35109pt-21.37085pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}{\gamma }^{\prime }\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-7.8121pt-40.82645pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\gamma \text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture},\text{leavevmode}to30.55pt\text{vbox}to49.04pt\text{pgfpicture}\text{makeatletter}\text{lower}-44.52063ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}0.0pt-20.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}.0\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@lineto}20.00003pt-20.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-20.00003pt\text{pgfsys@lineto}0.0pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}.0\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-20.00003pt\text{pgfsys@lineto}20.00003pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-7.8121pt-0.82639pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\gamma \text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-7.8121pt-40.82645pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\gamma \text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}\right)$$

$$\text{leavevmode}to52.42pt\text{vbox}to82.77pt\text{pgfpicture}\text{makeatletter}\text{lower}-71.32211ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@curveto}20.00003pt-3.69128pt24.05647pt-4.05644pt26.6666pt-6.66656pt\text{pgfsys@moveto}33.33348pt-13.33345pt\text{pgfsys@curveto}35.94368pt-15.94365pt40.00006pt-16.30865pt40.00006pt-20.00003pt\text{pgfsys@moveto}40.00006pt0.0pt\text{pgfsys@curveto}40.00006pt-11.07425pt20.00003pt-8.92578pt20.00003pt-20.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}0.0pt-20.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}.0\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-20.00003pt\text{pgfsys@curveto}0.0pt-23.69131pt4.05644pt-24.05647pt6.66656pt-26.6666pt\text{pgfsys@moveto}13.33345pt-33.33348pt\text{pgfsys@curveto}15.94365pt-35.94368pt20.00003pt-36.30869pt20.00003pt-40.00006pt\text{pgfsys@moveto}20.00003pt-20.00003pt\text{pgfsys@curveto}20.00003pt-31.07428pt0.0pt-28.92581pt0.0pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}.0\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}40.00006pt-20.00003pt\text{pgfsys@lineto}40.00006pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-40.00006pt\text{pgfsys@lineto}0.0pt-60.00009pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-40.00006pt\text{pgfsys@lineto}20.00003pt-60.00009pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}40.00006pt-40.00006pt\text{pgfsys@lineto}40.00006pt-60.00009pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-53.20015pt\text{pgfsys@lineto}40.00006pt-46.6001pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.728.06776pt-47.28705pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}k\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-6.29611pt4.25008pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j-k\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.712.58423pt3.86119pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i+k\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.738.54173pt3.56953pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\ell \text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.45833pt-68.43068pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\ell \text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.35837pt-67.62793pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.738.79428pt-68.30847pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}⟷{\mathrm{h}}^t\text{leavevmode}to52.42pt\text{vbox}to82.77pt\text{pgfpicture}\text{makeatletter}\text{lower}-71.32211ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}0.0pt-20.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@lineto}20.00003pt-20.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}40.00006pt0.0pt\text{pgfsys@lineto}40.00006pt-20.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-13.20009pt\text{pgfsys@lineto}20.00003pt-6.60004pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.78.06773pt-7.28699pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}k\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-20.00003pt\text{pgfsys@curveto}20.00003pt-23.69131pt24.05647pt-24.05647pt26.6666pt-26.6666pt\text{pgfsys@moveto}33.33348pt-33.33348pt\text{pgfsys@curveto}35.94368pt-35.94368pt40.00006pt-36.30869pt40.00006pt-40.00006pt\text{pgfsys@moveto}40.00006pt-20.00003pt\text{pgfsys@curveto}40.00006pt-31.07428pt20.00003pt-28.92581pt20.00003pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-20.00003pt\text{pgfsys@lineto}0.0pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}.0\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-40.00006pt\text{pgfsys@curveto}0.0pt-43.69135pt4.05644pt-44.0565pt6.66656pt-46.66663pt\text{pgfsys@moveto}13.33345pt-53.33351pt\text{pgfsys@curveto}15.94365pt-55.94371pt20.00003pt-56.30872pt20.00003pt-60.00009pt\text{pgfsys@moveto}20.00003pt-40.00006pt\text{pgfsys@curveto}20.00003pt-51.07431pt0.0pt-48.92584pt0.0pt-60.00009pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}.0\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}40.00006pt-40.00006pt\text{pgfsys@lineto}40.00006pt-60.00009pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-6.29611pt4.25008pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j-k\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.712.58423pt3.86119pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i+k\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.738.54173pt3.56953pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\ell \text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.45833pt-68.43068pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\ell \text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.35837pt-67.62793pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.738.79428pt-68.30847pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}$$

$$\text{leavevmode}to38.38pt\text{vbox}to62.77pt\text{pgfpicture}\text{makeatletter}\text{lower}-51.32208ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@curveto}0.0pt-3.69128pt4.05644pt-4.05644pt6.66656pt-6.66656pt\text{pgfsys@moveto}13.33345pt-13.33345pt\text{pgfsys@curveto}15.94365pt-15.94365pt20.00003pt-16.30865pt20.00003pt-20.00003pt\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@curveto}20.00003pt-11.07425pt0.0pt-8.92578pt0.0pt-20.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}.0\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-20.00003pt\text{pgfsys@lineto}0.0pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-20.00003pt\text{pgfsys@lineto}20.00003pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-33.20012pt\text{pgfsys@lineto}20.00003pt-26.60007pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.78.06773pt-27.28702pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}k\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-7.85167pt4.25008pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j+k\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.714.1398pt3.56953pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i-k\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.20578pt-48.30844pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.35837pt-47.6279pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}⟷{\mathrm{h}}^t\text{leavevmode}to38.38pt\text{vbox}to62.77pt\text{pgfpicture}\text{makeatletter}\text{lower}-51.32208ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}0.0pt-20.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@lineto}20.00003pt-20.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-13.20009pt\text{pgfsys@lineto}0.0pt-6.60004pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.78.06773pt-7.28699pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}k\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-20.00003pt\text{pgfsys@curveto}0.0pt-23.69131pt4.05644pt-24.05647pt6.66656pt-26.6666pt\text{pgfsys@moveto}13.33345pt-33.33348pt\text{pgfsys@curveto}15.94365pt-35.94368pt20.00003pt-36.30869pt20.00003pt-40.00006pt\text{pgfsys@moveto}20.00003pt-20.00003pt\text{pgfsys@curveto}20.00003pt-31.07428pt0.0pt-28.92581pt0.0pt-40.00006pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}.0\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-7.85167pt4.25008pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j+k\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.714.1398pt3.56953pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i-k\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.20578pt-48.30844pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.35837pt-47.6279pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}j\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}$$

$$t=\sum _{\tau \in T_1}\min (\tau )-\sum _{\chi \in T_2}\min (\chi ).$$

$$|\gamma {|}_{\mathrm{c}}:=\sum _{1\le i<j\le n}\min ({\gamma }_i,{\gamma }_j).$$

$$\sum _{\chi \in {\mathcal{F}}_{(\gamma )}}\min (\chi )=2|\gamma {|}_{\mathrm{c}}$$

$$C_N\left({\tau }_{(i)}\right)=\mathrm{Cone}(I_{(i)}\to \mathbf{X})$$

$$\text{leavevmode}to27.08pt\text{vbox}to49.28pt\text{pgfpicture}\text{makeatletter}\text{lower}-37.14153ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@curveto}0.0pt-4.17587pt3.71378pt-5.38042pt6.66656pt-8.3332pt\text{pgfsys@moveto}13.33345pt-16.66682pt\text{pgfsys@curveto}16.28624pt-19.61961pt20.00003pt-20.82417pt20.00003pt-25.00005pt\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@curveto}20.00003pt-12.52783pt0.0pt-12.47221pt0.0pt-25.00005pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}.0\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.20578pt5.19176pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.79425pt5.19176pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.20578pt-34.80844pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.79425pt-34.80844pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}=\text{leavevmode}to27.08pt\text{vbox}to49.28pt\text{pgfpicture}\text{makeatletter}\text{lower}-37.14153ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}0.0pt-25.00005pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{par}.0\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@lineto}20.00003pt-25.00005pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.20578pt5.19176pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.79425pt5.19176pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.20578pt-34.80844pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.79425pt-34.80844pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}⟶\text{leavevmode}to55.44pt\text{vbox}to48.28pt\text{pgfpicture}\text{makeatletter}\text{lower}-39.14148ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.20578pt2.19173pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.79425pt2.19173pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.20578pt-36.8084pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.79425pt-36.8084pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.722.47311pt-17.01668pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i+1\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-13.829pt-17.30833pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i-1\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}0.0pt-15.00002pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@lineto}20.00003pt-15.00002pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-9.90005pt\text{pgfsys@lineto}0.0pt-4.95003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.710.00002pt-4.81197pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-15.00002pt\text{pgfsys@lineto}0.0pt-30.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-15.00002pt\text{pgfsys@lineto}20.00003pt-30.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-24.90007pt\text{pgfsys@lineto}20.00003pt-19.95004pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.78.25003pt-19.81198pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}1\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}⟶\cdots ⟶\text{leavevmode}to39.02pt\text{vbox}to48.28pt\text{pgfpicture}\text{makeatletter}\text{lower}-39.14148ptto0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.4pt\text{pgfsys@invoke}\text{nullfont}to0.0pt\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.20578pt2.19173pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.79425pt2.19173pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-1.20578pt-36.8084pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.718.79425pt-36.8084pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.722.47311pt-17.30833pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}2i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.7-5.97307pt-17.25555pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}0\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt0.0pt\text{pgfsys@lineto}0.0pt-15.00002pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt0.0pt\text{pgfsys@lineto}20.00003pt-15.00002pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-9.90005pt\text{pgfsys@lineto}0.0pt-4.95003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.710.00002pt-4.81197pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-15.00002pt\text{pgfsys@lineto}0.0pt-30.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}20.00003pt-15.00002pt\text{pgfsys@lineto}20.00003pt-30.00003pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@setlinewidth}0.8pt\text{pgfsys@invoke}\text{pgfsys@moveto}0.0pt-24.90007pt\text{pgfsys@lineto}20.00003pt-19.95004pt\text{pgfsys@stroke}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@beginscope}\text{pgfsys@invoke}\text{pgfsys@transformcm}0.70.00.00.78.79424pt-19.81198pt\text{pgfsys@invoke}\text{definecolor}pgfstrokecolorrgb\mathrm{0,0,0}\text{pgfsys@color@rgb@stroke}000\text{pgfsys@invoke}\text{pgfsys@color@rgb@fill}000\text{pgfsys@invoke}i\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{pgfsys@discardpath}\text{pgfsys@invoke}\text{lxSVG@closescope}\text{pgfsys@endscope}\text{hss}\text{lxSVG@closescope}\text{endpgfpicture}$$

$$\mathbf{A}=A_1^0\oplus A_2^0\to {\mathbf{A}}^{\ge 1}$$

Full text

1 Introduction

The Jones-Wenzl projector $P_{n}$ [Wen87] is a special idempotent element of the Temperley-Lieb algebra representing a highest-weight projector in the representation theory of $\mathcal{U}_{q}(\mathfrak{sl}_{2})$, used in particular to define WRT-invariants for 3-manifolds (see, for example, [KL94]). Similarly we have analogous highest-weight projectors in the representation theory of $\mathcal{U}_{q}(\mathfrak{sl}_{N})$ for all $N$. A sequence of papers by various authors [Ros14, Cau15, Hog15] showed that, in all of these cases, such highest-weight projectors could be categorified via infinite chain complexes associated to the stable limiting Khovanov-Rozansky complex of infinite full twists (including the case as $N\rightarrow\infty$ corresponding to Khovanov-Rozansky HOMFLY-PT homology). Indeed similar statements hold when we consider infinite full twists where we allow ourselves to color the strands with any natural number less than $N$, corresponding to irreducible anti-symmetric representations of $\mathcal{U}_{q}(\mathfrak{sl}_{N})$.

A natural question for all of these cases one might ask would be what happens if we consider the limiting Khovanov-Rozansky complex of some other infinite braid. Together with Islambouli in [IW18] and Abel in [AW], the author has shown that, for all (semi-)infinite uni-colored braids $\tilde{\mathcal{B}}$ that are both positive and complete (a braid is complete if each braid group generator appears infinitely many times; intuitively, this means that $\tilde{\mathcal{B}}$ contains all the crossings necessary to build the infinite full twist $\mathcal{F}^{\infty}$), the limiting Khovanov-Rozansky complex $C_{N}\left(\tilde{\mathcal{B}}\right)$ is chain homotopy equivalent to $C_{N}\left(\mathcal{F}^{\infty}\right)$, the limiting complex of the infinite full twist. Thus we have the following imprecise theorem (see the original papers for the precise versions).

Theorem 1.1** ([IW18] Theorem 1.1, [AW] Theorem 1.1).**

All positive complete semi-infinite uni-colored braids categorify corresponding highest weight projectors.

The goal of this paper is to remove the “uni-colored” restriction from Theorem 1.1. Doing so will require a new restriction on the types of braids that are considered. The imprecise version is presented here (the precise version will be stated in Section 4.5).

Theorem 1.2**.**

All positive color-complete semi-infinite braids categorify corresponding highest weight projectors.

We will define color-completeness precisely in Section 4.4, but intuitively this will mean that the braid $\tilde{\mathcal{B}}$ will contain all of the ‘properly colored’ crossings necessary to build the ‘properly colored’ infinite full twist $\mathcal{F}^{\infty}$. Figure 1 shows an example of a braid which is complete but not color-complete, and it can be seen why such a restriction might be expected. Since the strands colored $i$ and $k$ in that example never interact, it seems plausible that the resulting limiting complex may not be related to the complex of the infinite full twist in which the strands colored $i$ and $k$ must twist around each other infinitely often.

From Theorem 1.2 we will be able to deduce corollaries for a variety of situations. We will have results for semi-infinite braids with finitely many negative crossings (Corollary 5.4) allowing for a version of Theorem 1.2 taking Reidemeister II moves into account (Corollary 5.5). We also have results for certain non-color-complete braids (Corollary 5.6). All of these are similar to our previous results in [AW, IW18]. We will also discuss bi-infinite braids, for which defining a coloring and a corresponding limiting complex requires some more care.

Theorem 1.3**.**

All positive color-complete bi-infinite braids $\tilde{\mathcal{B}}$ have limiting complexes of the form $P\otimes\mathbf{C}\otimes P^{\prime}$ where $P$ and $P^{\prime}$ indicate categorified projectors for two (possibly different) sequences of colors depending on the coloring of $\tilde{\mathcal{B}}$, while $\mathbf{C}$ is a complex categorifying certain maps between the representations determined by the two color sequences.

The precise version of Theorem 1.3 will be presented as Corollary 5.10.

The proof of Theorem 1.2 effectively generalizes the earlier proofs for different versions of Theorem 1.1 in [IW18, AW]. We present a short outline here. Let $\mathcal{B}$ be a semi-infinite braid word representing the infinite braid $\tilde{\mathcal{B}}$, and let $\mathcal{B}_{\ell}$ denote the finite ‘partial’ braid word consisting of the first $\ell$ crossings in $\mathcal{B}$. We view $\mathcal{B}$ as a limit of $\mathcal{B}_{\ell}$ as the length of the words $\ell\rightarrow\infty$. Unlike in previous versions, this limit will be taken along a subsequence of lengths such that each $\mathcal{B}_{\ell}$ represents a so-called ‘color-pure’ braid (where the sequences of colors at the top and bottom of the braid must match). The color-completeness assumption will ensure we have maps roughly of the form $F_{\ell}:C_{N}\left(\mathcal{B}_{\ell}\right)\rightarrow C_{N}\left(\mathcal{F}^{z(\ell)}\right)$ where $z$ is some non-decreasing function of $\ell$ such that $z\rightarrow\infty$ as $\ell\rightarrow\infty$ along the necessary subsequence. Our goal then is to show that $F_{\ell}$ is an isomorphism in homological degrees below some bound $|F_{\ell}|_{\mathrm{h}}$ that grows arbitrarily large as $\ell\rightarrow\infty$. This is accomplished by keeping track of homological shifts in the cone of $F_{\ell}$ (actually in a larger complex containing $\mathrm{Cone}(\mathcal{F}_{\ell})$) resulting from pulling ‘rungs’ through crossings and full twists. Despite the structural similarity to the earlier versions of the proof, there are significant differences in the details of this version of the construction which we will focus on: the color-completeness and color-purity requirements for $\tilde{\mathcal{B}}$ and $\mathcal{B}_{\ell}$ respectively; the resulting care needed to properly construct the system maps, the map $F_{\ell}$, and its cone; and the slightly different combinatorics encountered when computing the necessary homological shifts.

Remark 1.4*.*

The local nature of the arguments in this paper potentially lend themselves well to similar homology theories for links in other 3-manifolds. For instance, we expect all of our results to hold for the link homologies defined in the recent papers [Que15, QW] when applied to an infinite braid within a 3-ball. We leave precise statements and proofs about such generalizations for future consideration.

This paper is arranged as follows. Section 2 will present a short review of the necessary homological algebra, focused on defining and comparing limits of inverse systems of complexes as well as manipulating complexes defined as multicones. Section 3 will review the relevant definitions and manipulations of colored Khovanov-Rozansky homology for braids. Section 4 is the technical heart of the paper, providing the proof of Theorem 1.2. Section 5 will explore a variety of corollaries, including the handling of negative crossings and bi-infinite braids.

1.1 Acknowledgments

The author would like to thank Gabriel Islambouli and Michael Abel for their help with earlier versions of the arguments; Paul Wedrich for some helpful conversations; Sucharit Sarkar and Ciprian Manolescu for various advice; and Matt Hogancamp for many very patient conversations on handling some of the more technical homological algebra results. The author was partially funded by NSF grant DMS-1563615 while preparing this manuscript.

2 Homological algebra background

In order to properly state and prove our theorems about semi-infinite chain complexes coming from semi-infinite braids, we will need the following ideas from homological algebra. Throughout this section, all complexes are taken over some additive category, and differentials are taken to increase homological grading by one.

Definition 2.1**.**

We employ the following basic notations.

• •

Chain complexes shall be denoted by capital boldface letters, as in $\mathbf{A}$, with differential $d_{A}$ (the subscript will be omitted if no confusion is possible).

• •

Superscripts on capital letters will indicate homological degree. Thus $A^{i}$ will denote the objects of $\mathbf{A}$ in homological degree $i$, while $\mathbf{A}^{\geq i}$ will denote the subcomplex of $\mathbf{A}$ consisting of all objects in homological degrees greater than or equal to $i$.

• •

Single terms within a complex shall often be denoted by lowercase greek letters; the notation $\alpha\in\mathbf{A}$ indicates that $\alpha$ is a term in the complex $\mathbf{A}$.

• •

For $\alpha\in\mathbf{A}$, $\mathrm{h}_{A}(\alpha)$ shall denote the homological degree of the term $\alpha$ within $\mathbf{A}$.

• •

$\mathrm{h}$ will also denote the homological shift functor, so that $\mathrm{h}^{t}\mathbf{A}$ indicates the complex $\mathbf{A}$ where all terms have been shifted upwards in homological degree by $t$.

• •

The notation $f\sim g$ will indicate that two chain maps $f$ and $g$ are homotopic. The notation $\mathbf{A}\simeq\mathbf{B}$ will indicate that two complexes $\mathbf{A}$ and $\mathbf{B}$ are chain homotopy equivalent.

2.1 Inverse systems and limits

The entirety of this section is based on definitions in [Roz14], and is taken nearly verbatim from the similar sections in [IW18, AW].

Definition 2.2**.**

Let $\mathbf{A}$ and $\mathbf{B}$ be chain complexes and suppose $f:\mathbf{A}\rightarrow\mathbf{B}$ is a chain map. Define the homological order of $f$, which we denote by $|f|_{\mathrm{h}}$, to be the maximal degree $d$ for which the cone $\mathrm{Cone}(\mathbf{A}\xrightarrow{f}\mathbf{B})$ is chain homotopy equivalent to a complex $\mathbf{C}$ that is contractible below homological degree $d$.

Roughly speaking, $|f|_{\mathrm{h}}$ denotes the maximal homological degree through which $f$ gives a homotopy equivalence on the truncated complexes of $\mathbf{A}$ and $\mathbf{B}$ up to degree $|f|_{\mathrm{h}}$.

Definition 2.3**.**

An inverse system of chain complexes is a sequence of chain complexes equipped with chain maps

[TABLE]

An inverse system is called Cauchy if $|f_{k}|_{\mathrm{h}}\to\infty$ as $k\to\infty$.

Definition 2.4**.**

An inverse system $\{\mathbf{A}_{k},f_{k}\}$ has a limit (or inverse limit), which we denote by $\mathbf{A}_{\infty}$ or $\lim\mathbf{A}_{k}$, if there exist maps $\tilde{f}_{k}:\mathbf{A}_{\infty}\to\mathbf{A}_{k}$ such that

• •

$f_{k}\circ\tilde{f}_{k+1}=\tilde{f}_{k}$ for all $k\geq 0$, and

• •

$|\tilde{f}_{k}|_{\mathrm{h}}\to\infty$ as $k\to\infty$.

Theorem 2.5** ([Roz14] Propositions 3.7 and 3.12).**

An inverse system $\{\mathbf{A}_{k},f_{k}\}$ of chain complexes has a limit $\mathbf{A}_{\infty}$ if and only if it is Cauchy.

Based on Definition 2.4, it is easy to see (see [Roz14]) that limits to inverse systems are unique if they exist. From this it is also easy to prove the following lemma, which will be used mainly for concatenations of finite and infinite braid complexes.

Lemma 2.6**.**

Given an inverse system $\{\mathbf{A}_{k},f_{k}\}$ with limit $\mathbf{A}_{\infty}$ and a complex $\mathbf{B}$, there is a corresponding inverse system $\{(\mathbf{B}\otimes\mathbf{A}_{k}),(I_{\mathbf{B}}\otimes f_{k})\}$ with inverse limit satisfying

[TABLE]

In other words, the limiting process commutes with the tensor product.

Proof.

Apply the functor $\mathbf{B}\otimes(\cdot)$ to the diagram comprised of the inverse system $\{\mathbf{A}_{k},f_{k}\}$ together with $\mathbf{A}_{\infty}$ and the maps $\tilde{f}_{k}$. Note that homological orders of maps are preserved, and then appeal to the uniqueness of the limit. ∎

We conclude this section with a result from [IW18] which allows us to prove two inverse systems have equivalent limits.

Proposition 2.7** ([IW18] Proposition 2.13).**

Suppose $\{\mathbf{A}_{k},f_{k}\}$ and $\{\mathbf{B}_{\ell},g_{\ell}\}$ are two Cauchy inverse systems with limits $\mathbf{A}_{\infty}$ and $\mathbf{B}_{\infty}$ respectively. Let $z(\ell)$ be a nondecreasing function on $\mathbb{N}$ such that $\lim_{\ell\rightarrow\infty}z(\ell)=\infty$. Suppose there are maps $F_{\ell}:\mathbf{B}_{\ell}\to\mathbf{A}_{z(\ell)}$ forming a commuting diagram with the system maps $f_{k}$ and $g_{\ell}$ for appropriate $k$ and $\ell$. If $|F_{\ell}|_{\mathrm{h}}\to\infty$ as $\ell\to\infty$ then $\mathbf{A}_{\infty}\simeq\mathbf{B}_{\infty}$.

In Figure 2 we include a diagram to better explain the situation in Proposition 2.7. In principal we could allow cases where $z(\ell+1)>z(\ell)+1$, necessitating the use of multiple system maps $f_{k}$ in the commutation required; in the cases of interest in this paper, however, this will never be the case and $z$ will only ever increase by one or not at all.

2.2 Multicone complexes

Many of the complexes that we will be concerned with in this paper are most easily understood and manipulated using a generalization of the usual cone construction as follows (a large portion of this section is taken nearly verbatim from [Wil]).

Definition 2.8**.**

Suppose we are given the following data in a fixed category of chain complexes over some additive category:

• •

A finite index set $\mathcal{C}$ with a $\mathbb{Z}$-grading $\mathrm{h}_{\mathcal{C}}:\mathcal{C}\rightarrow\mathbb{Z}$.

• •

For all $i\in\mathcal{C}$, a chain complex $\mathbf{A}_{i}$ with differential $d_{i}$.

• •

For all $i,j\in\mathcal{C}$, a map (not necessarily a chain map) $f_{ij}:\mathbf{A}_{i}\rightarrow\mathrm{h}^{\mathrm{h}_{\mathcal{C}}(j)-\mathrm{h}_{\mathcal{C}}(i)-1}\mathbf{A}_{j}$ satisfying

• –

$f_{ii}:=d_{i}$,

• –

for all $j\neq i$ in $\mathcal{C}$ with $\mathrm{h}_{\mathcal{C}}(j)\leq\mathrm{h}_{\mathcal{C}}(i)$, $f_{ij}:=0$, and

• –

for all $i,k\in\mathcal{C}$, $\sum_{j\in\mathcal{C}}f_{jk}f_{ij}=0$.

Then we can form the multicone

[TABLE]

which is a chain complex $\mathbf{M}$ whose terms are the direct sum of all of the terms of the complexes $\mathbf{A}_{i}$

[TABLE]

and whose differential $d_{M}$ is the sum of all of the maps $f_{ij}$

[TABLE]

For a term $\alpha\in\mathbf{A}_{i}\subset\mathbf{M}$, we determine the homological grading as the sum of the contributions of viewing $\alpha$ in $\mathbf{A}_{i}$ and viewing $\mathbf{A}_{i}$ in $\mathcal{C}$

[TABLE]

The reader may verify that this definition gives a well defined chain complex. When $\mathrm{h}_{\mathcal{C}}(j)-\mathrm{h}_{\mathcal{C}}(i)=1$, the maps $f_{ij}$ assemble to define chain maps; when $\mathrm{h}_{\mathcal{C}}(j)-\mathrm{h}_{\mathcal{C}}(i)=2$, the maps $f_{ij}$ assemble to form null-homotopies for the compositions of any two of these chain maps; and so on. Because the original system $\mathcal{C}$ was finite, this process must eventually end, and so of course the sum in the definition of $d_{M}$ is finite. When $\mathcal{C}=\{1,2\}$ and we have the single chain map $f_{12}:\mathbf{A}_{1}\rightarrow\mathbf{A}_{2}$, this construction recovers the usual cone on $f_{12}$.

Remark 2.9*.*

We employ the term ‘multicone’ in Definition 2.8 following [Roz]. A complex built in this manner is also often referred to as a totalization or convolution of a twisted complex. See for instance [BK91].

Note that any finite chain complex $\mathbf{B}$ can be represented as a multicone by declaring that $\mathcal{C}$ is indexed by the terms in $\mathbf{B}$ while the maps $f_{i(i+1)}$ are given by the differentials of $\mathbf{B}$. Meanwhile all of the maps $f_{ij}$ with $\mathrm{h}_{\mathcal{C}}(j)-\mathrm{h}_{\mathcal{C}}(i)\geq 2$ are zero maps (ie no homotopies are needed).

The following proposition gives us our main tool for manipulation of multicone complexes.

Proposition 2.10**.**

Given a chain complex presented as a multicone $\mathbf{M}$ as in Equation (1), and given chain homotopy equivalences $\iota_{i}:\mathbf{A}_{i}\rightarrow\mathbf{A}_{i}^{\prime}$ for each $i\in\mathcal{C}$, there exist maps $f_{ij}^{\prime}$ such that we can form the multicone

[TABLE]

that is chain homotopy equivalent to $\mathbf{M}$:

[TABLE]

Proof.

This is a standard result generalizing the fact that the homotopy category of complexes over an additive category is triangulated (Proposition 2 in [BK91]). ∎

3 Colored $\mathfrak{sl}(N)$ link homology background

3.1 The $\mathfrak{sl}(N)$ foam category and colored Khovanov-Rozansky homology

Colored Khovanov-Rozansky homology was first constructed independently by Wu [Wu14] and Yonezawa [Yon11]. This homology theory generalizes the original construction of Khovanov and Rozansky [KR08] and categorifies the colored $SL(N)$ polynomial when coloring components by fundamental representations. Queffelec and Rose gave a combinatorial/geometric construction of colored Khovanov-Rozansky homology in terms of ‘webs’ and ‘foams’ [QR16]. It is this construction which we will briefly recall here (again, a large portion of this review is taken nearly verbatim from [AW]).

We begin with the category $\mathbf{NWeb}$, as described by Cautis, Kamnitzer, and Morrison in [CKM14]. The objects of $\mathbf{NWeb}$ are given by sequences $\gamma=(\gamma_{1},...,\gamma_{\ell})$ where $\ell>0$ and $\gamma_{i}\in\{0,1,...,N\}$ called colorings, together with a zero object. The 1-morphisms are formal sums of upward oriented trivalent graphs with edges labeled by integers in the same coloring set $\{0,1,...,N\}$. At any vertex, the labels of the two edges of similar orientation (incoming or outgoing) are required to sum up to give the label of the third edge. Such graphs are generated by the basic graphs in Figure 3. There is also a set of local relations for such trivalent graphs; we list a few of the most important ones in Figure 4, and refer the reader to [CKM14] for a complete list.

We interpret any such graph as a mapping between the coloring at the bottom to the coloring at the top. These graphs are called $\mathfrak{sl}_{N}$-webs due to their relation to the representation theory of $\mathcal{U}_{q}(\mathfrak{sl}_{N})$. Sometimes we will omit edges labeled by [math] and $N$, but allowing these labels in the definition will make later definitions easier to write. By convention, we will also allow edges labeled by integers larger than $N$ for the sake of later definitions. However, any web with such an edge will be set equal to the zero web (that is, the unique morphism factoring through the zero object).

We now move on to the $2$-category $\mathbf{NFoam}$. The objects and 1-morphisms of $\mathbf{NFoam}$ are the same as those for $\mathbf{NWeb}$, except that the 1-morphisms are considered as direct sums rather than genuine sums, and the relations between such 1-morphisms are discarded for the moment. The 2-morphisms are matrices of labeled singular cobordisms between $\mathfrak{sl}_{N}$-webs, called $\mathfrak{sl}_{N}$-foams. These cobordisms are generated by the basic cobordisms in Figure 5.

Similar to the convention for $\mathfrak{sl}_{N}$-webs, we will interpret $\mathfrak{sl}_{N}$-foams as mapping from the bottom boundary to the top boundary. Each facet of an $\mathfrak{sl}_{N}$-foam is labeled with an element of $\{0,1,...,N\}$. Any facet whose boundary is shared with an edge of a web must share the same label as that edge of the web. We allow decorations $\bullet_{p}$ on the facets of the foams where $p$ is a symmetric polynomial in a number of variables equal to the label of the facet. There also exists a set of local relations for these $\mathfrak{sl}_{N}$-foams which allow for a lifting of the web relations in $\mathbf{NWeb}$ (such as those in Figure 4) to 2-isomorphisms between the corresponding 1-morphisms in $\mathbf{NFoam}$. The reader should consult §3 of [QR16] for more details.

The 2-morphisms in $\mathbf{NFoam}$ satisfy an adjunction equality in the following sense. If $\delta_{a}$ and $\delta_{b}$ are two $\mathfrak{sl}_{N}$-webs (1-morphisms in $\mathbf{NFoam}$), then we have an isomorphism of 2-morphism spaces

[TABLE]

Here $\hom_{2}(\cdot,\cdot)$ denotes the 2-morphism spaces, $I$ denotes the relevant colored identity diagram, and $\delta_{b}^{\wedge}$ denotes the dual of $\delta_{b}$ obtained from $\delta_{b}$ by reflection about a horizontal line. The $\cdot$ notation in Equation (3) indicates contatenation of $\mathfrak{sl}_{N}$-webs, which plays the role of (monoidal) tensor product. An illustration of this isomorphism will be provided in Figure 7 for the more general setting of complexes over $\mathbf{NFoam}$.

The category $\mathbf{NFoam}$ also admits a grading. We will note the gradings in cases that it is necessary, but will once again refer the reader to [QR16] for more complete information. All chain complexes of foams are assumed to have degree 0 differentials. We will denote grading shifts in $\mathbf{NFoam}$ with the notation $\mathrm{q}^{k}$ for a grading shift upwards by $k$.

To any tangle diagram $T$ whose components are labeled by elements of $\{0,1,...,N\}$, we can associate a chain complex in $\mathbf{NFoam}$, which we will denote by $C_{N}\left(T\right)$. The homotopy equivalence type of $C_{N}\left(T\right)$ is an isotopy invariant of the tangle $T$. In diagrams and figures, we will often omit the notation $C_{N}\left(\cdot\right)$ and simply draw the corresponding tangle or web unless there is a chance for confusion. In this text we will exclusively focus on the case that the tangle $T$ is actually a braid.

To build a chain complex in $\mathbf{NFoam}$ for a colored braid (by convention we orient all of the strands upwards), we construct basic chain complexes for each crossing. Suppose that $i\leq j$, then

[TABLE]

[TABLE]

Trivalent graphs of the form illustrated on the right hand side of Equations (4) and (5) will be referred to as ladders; the nearly horizontal slanted edges will be referred to as rungs. The term furthest to the left is taken to have homological degree zero, and the differential has homological degree $1$. The symbol $\mathrm{q}$ is used to denote a shift in the internal quantum grading; we will often omit this shift as it will have no bearing on our arguments. We remark that the labeled edges determine all edges in each web, and that certain webs may be zero webs if they have a label larger than $N$.

The maps $d_{k}$ are degree [math] foams as specified in [QR16]. The maps $d_{k}^{\prime}$ are the same foams, but reflected to switch the source and target webs. Finally, if $i>j$, then we reflect each web around a vertical axis and perform the analogous transformation to the foams $d_{k}$ and $d^{\prime}_{k}$.

We note that our conventions differ from those of [QR16]. In particular, our $C_{N}\left(\leavevmode\hbox to18.51pt{\vbox to22.22pt{\pgfpicture\makeatletter\hbox{\hskip 3.97475pt\lower-11.40001pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{}{} {}{{}}{} {{}{}}{{}} {{{}}{{}}}{{}}{{{}}{{}}}{}{{}}{}{}{}{}{{}}{} {{}{}}{{}} {{{}}{{}}}{{}}{{{}}{{}}}{}{{}}{}{}{}{}{{}}{} {{}{}}{{}} {{{}}{{}}}{{}}{{{}}{{}}}{}{{}}{}{}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.8pt}\pgfsys@invoke{ }{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@curveto{0.0pt}{-2.0302pt}{2.23105pt}{-2.23105pt}{3.66661pt}{-3.66661pt}\pgfsys@moveto{7.33339pt}{-7.33339pt}\pgfsys@curveto{8.76895pt}{-8.76895pt}{11.00002pt}{-8.96982pt}{11.00002pt}{-11.00002pt}\pgfsys@moveto{11.00002pt}{0.0pt}\pgfsys@curveto{11.00002pt}{-6.09082pt}{0.0pt}{-4.9092pt}{0.0pt}{-11.00002pt}\pgfsys@stroke\pgfsys@invoke{ } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope \par

.0 {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}}{}{}{}{}{} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.7}{0.0}{0.0}{0.7}{-1.64166pt}{3.87222pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$j$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}}{}{}{}{}{} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.7}{0.0}{0.0}{0.7}{9.79424pt}{3.19168pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{ {}{}{}{}{}}{{{}}{{}}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}\right)$differs from their definition of$C_{N}\left(\leavevmode\hbox to18.51pt{\vbox to22.22pt{\pgfpicture\makeatletter\hbox{\hskip 3.97475pt\lower-11.40001pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{}{} {}{{}}{} {{}{}}{{}} {{{}}{{}}}{{}}{{{}}{{}}}{}{{}}{}{}{}{}{{}}{} {{}{}}{{}} {{{}}{{}}}{{}}{{{}}{{}}}{}{{}}{}{}{}{}{{}}{} {{}{}}{{}} {{{}}{{}}}{{}}{{{}}{{}}}{}{{}}{}{}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.8pt}\pgfsys@invoke{ }{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@curveto{0.0pt}{-2.0302pt}{2.23105pt}{-2.23105pt}{3.66661pt}{-3.66661pt}\pgfsys@moveto{7.33339pt}{-7.33339pt}\pgfsys@curveto{8.76895pt}{-8.76895pt}{11.00002pt}{-8.96982pt}{11.00002pt}{-11.00002pt}\pgfsys@moveto{11.00002pt}{0.0pt}\pgfsys@curveto{11.00002pt}{-6.09082pt}{0.0pt}{-4.9092pt}{0.0pt}{-11.00002pt}\pgfsys@stroke\pgfsys@invoke{ } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope \par

.0 {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}}{}{}{}{}{} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.7}{0.0}{0.0}{0.7}{-1.64166pt}{3.87222pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$j$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}}{}{}{}{}{} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.7}{0.0}{0.0}{0.7}{9.79424pt}{3.19168pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{ {}{}{}{}{}}{{{}}{{}}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}\right)$by a shift of$\mathrm{h}^{i}\mathrm{q}^{i}$(where$i\leq j). However, our convention makes studying stabilization behavior more straightforward. We remark that under our convention, Reidemeister I and II moves hold only up to a shift (see [[AW](#bib.bibx1)]). In particular, a Reidemeister II move incurs a shift of \mathrm{h}^{t}$where$t$ is the minimum between the two colors involved. Reidemeister I shifts will not be relevant for us in this paper.

In order to complete the definition of $C_{N}\left(T\right)$ for a positive braid $T$, we take the planar tensor product of the various $C_{N}\left(\leavevmode\hbox to18.51pt{\vbox to22.22pt{\pgfpicture\makeatletter\hbox{\hskip 3.97475pt\lower-11.40001pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{}{} {}{{}}{} {{}{}}{{}} {{{}}{{}}}{{}}{{{}}{{}}}{}{{}}{}{}{}{}{{}}{} {{}{}}{{}} {{{}}{{}}}{{}}{{{}}{{}}}{}{{}}{}{}{}{}{{}}{} {{}{}}{{}} {{{}}{{}}}{{}}{{{}}{{}}}{}{{}}{}{}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.8pt}\pgfsys@invoke{ }{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@curveto{0.0pt}{-2.0302pt}{2.23105pt}{-2.23105pt}{3.66661pt}{-3.66661pt}\pgfsys@moveto{7.33339pt}{-7.33339pt}\pgfsys@curveto{8.76895pt}{-8.76895pt}{11.00002pt}{-8.96982pt}{11.00002pt}{-11.00002pt}\pgfsys@moveto{11.00002pt}{0.0pt}\pgfsys@curveto{11.00002pt}{-6.09082pt}{0.0pt}{-4.9092pt}{0.0pt}{-11.00002pt}\pgfsys@stroke\pgfsys@invoke{ } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope \par

.0 {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}}{}{}{}{}{} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.7}{0.0}{0.0}{0.7}{-1.64166pt}{3.87222pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$j$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}}{}{}{}{}{} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.7}{0.0}{0.0}{0.7}{9.79424pt}{3.19168pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{ {}{}{}{}{}}{{{}}{{}}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}\right)$and$C_{N}\left(\leavevmode\hbox to18.51pt{\vbox to22.22pt{\pgfpicture\makeatletter\hbox{\hskip 3.97475pt\lower-11.40001pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{}{} {}{{}}{} {{}{}}{{}} {{{}}{{}}}{{}}{{{}}{{}}}{}{{}}{}{}{}{}{{}}{} {{}{}}{{}} {{{}}{{}}}{{}}{{{}}{{}}}{}{{}}{}{}{}{}{{}}{} {{}{}}{{}} {{{}}{{}}}{{}}{{{}}{{}}}{}{{}}{}{}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.8pt}\pgfsys@invoke{ }{}\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@curveto{0.0pt}{-6.09082pt}{11.00002pt}{-4.9092pt}{11.00002pt}{-11.00002pt}\pgfsys@moveto{11.00002pt}{0.0pt}\pgfsys@curveto{11.00002pt}{-2.0302pt}{8.76895pt}{-2.23105pt}{7.33339pt}{-3.66661pt}\pgfsys@moveto{3.66661pt}{-7.33339pt}\pgfsys@curveto{2.23105pt}{-8.76895pt}{0.0pt}{-8.96982pt}{0.0pt}{-11.00002pt}\pgfsys@stroke\pgfsys@invoke{ } \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope \par

.0 {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}}{}{}{}{}{} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.7}{0.0}{0.0}{0.7}{-1.64166pt}{3.87222pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$j$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {{}}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}}{}{}{}{}{} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.7}{0.0}{0.0}{0.7}{9.79424pt}{3.19168pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{$i$}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{ {}{}{}{}{}}{{{}}{{}}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}\right)$for each crossing in$T in the usual sense of Bar-Natan’s planar algebras [[BN05](#bib.bibx3)]; that is, we stitch together the various webs and foams while taking the tensor product of the corresponding complexes. Thus, if we choose to apply Equations ([4](#S3.E4)) and ([5](#S3.E5)) to only certain crossings within a given braid, we will construct multicone complexes where each term involves ladder diagrams within a larger braid-like diagram (see Figure [6](#S3.F6) for an example illustrating this notion and our notation). We refer to such diagrams as *web-braid diagrams* (\mathfrak{sl}_{N}$-webs generically embedded in a 3-ball with$n$incoming and$n$ outgoing strands, projected to the plane with no turnbacks present).

The category of complexes over $\mathbf{NFoam}$ admits an adjunction equality much like that of Equation (3). Given two tangles (or more generally, two web-braid diagrams) $T_{1}$ and $T_{2}$, the space of chain maps $\hom(C_{N}\left(T_{1}\right),C_{N}\left(T_{2}\right))$ between their corresponding complexes is itself a complex, and satisfies

[TABLE]

where once again $T_{2}^{\wedge}$ is obtained from $T_{2}$ by a horizontal reflection, and $I$ is the relevant (colored) identity tangle. We illustrate this diagrammatically in Figure 7.

3.2 Manipulating some basic complexes in $\mathbf{NFoam}$

Given a web-braid diagram, we may ‘slide’ and/or ‘twist’ rungs past various crossings (see Figures 8 and 9). In such cases, the colors involved at the crossings that have been passed by will change and we will need to understand how this affects the resulting complex. The following proposition is proved in [AW].

Proposition 3.1** ([AW] Proposition 2.19).**

Let $T_{1}$ and $T_{2}$ be any two colored positive web-braid diagrams such that we can transform $T_{1}$ into $T_{2}$ via a sequence of braid-like Reidemeister moves, rung slides (see Figure 8) and rung twists (see Figure 9). Then $C_{N}\left(T_{1}\right)\simeq\mathrm{h}^{t}\mathrm{q}^{s}C_{N}\left(T_{2}\right)$ where

[TABLE]

Here each sum is taken over all crossings $\tau,\chi$ in each diagram. The notation $\min(\tau)$ denotes the minimal color amongst the two strands at the crossing $\tau$.

If we look at Equation (4), the homological size of the complex is dependent on the minimum of the two colors at hand, and so Equation (7) is really just saying that, during such an isotopy of web-braids, the right-most homological grading remains fixed regardless of the overall size of the complex. In any case, if we want to use Proposition 3.1 to estimate homological shifts, we have to keep track of possible color-minimums of crossings for a given coloring. This motivates the following definition.

Definition 3.2**.**

Given a coloring $\gamma=(\gamma_{1},\ldots,\gamma_{n})$, we define the color size of $\gamma$, denoted by $|\gamma|_{\mathrm{c}}$, to be

[TABLE]

We end this short section with a color size computation that we will require later. Let $\mathfrak{B}_{n}$ denote the braid group on $n$ strands and $\sigma_{1},...,\sigma_{n-1}$ denote its standard (positive) generators. We let $\mathcal{F}$ denote the full twist braid $(\sigma_{1}\cdots\sigma_{n-1})^{n}$ on $n$ strands (see Figure 10 for a specific example).

Proposition 3.3**.**

Given a coloring $\gamma$, let $\mathcal{F}_{(\gamma)}$ denote the full twist on $n$ strands colored according to $\gamma$. Then in the notation of Equation (7), we have

[TABLE]

Proof.

A full twist involves each pair of strands crossing each other precisely twice. Meanwhile, $|\gamma|_{\mathrm{c}}$ computes the sum of the minimum color between each pair of colors. ∎

3.3 The complex for a uni-colored crossing

In order to prove Theorem 1.2, we will need to understand the complexes associated to certain special colored braids. The first and easiest scenario is the one utilized in [AW]. Consider the case of Equation (4) when $i=j$. In other words, consider the complex associated to a uni-colored positive crossing. In this case, the left-most term on the right-hand side of Equation (4) has a zero on both rungs, and so the diagram is in fact the identity diagram on two strands colored $i$. We shall denote this 2-strand identity diagram by $I_{(i)}$.

Lemma 3.4**.**

Let $\tau_{(i)}$ denote a single positive crossing between two strands colored by $\gamma=(i,i)$. Then $C_{N}\left(\tau_{(i)}\right)$ is equal to a cone

[TABLE]

where $\mathbf{X}$ is a complex such that, for any diagram $\delta_{x}\in\mathbf{X}$,

• •

$\mathrm{h}_{X}(\delta_{x})\geq 0$, and

• •

$\delta_{x}$* is a ladder diagram containing an intermediate coloring $\gamma_{x}$ with $|\gamma_{x}|_{\mathrm{c}}<|\gamma|_{\mathrm{c}}$.*

Proof.

This is a direct translation of Equation (4) in the case when $i=j$; the complex $\mathbf{X}$ is precisely $\mathrm{h}^{-1}C_{N}^{\geq 1}\left(\tau_{(i)}\right)$ and the intermediate colorings are of the form $(i-\mathrm{h}_{C_{N}}(\delta),i+\mathrm{h}_{C_{N}}(\delta))$. Visually we see

[TABLE]

where intermediate colorings can be seen at the vertical midpoints of ladder diagrams. As usual, we are ignoring the $q$-degree shifts. ∎

3.4 The complex for a two-colored clasp

The author learned the following argument from conversations with Matt Hogancamp. We begin with a simple lemma from homological algebra.

Lemma 3.5**.**

Consider a chain complex $\mathbf{A}$ of the form

[TABLE]

over some additive category, with no terms in negative homological grading. Let $\pi^{*}:\mathbf{A}\rightarrow A^{0}_{2}$ be the projection map onto the one-term complex sitting in homological degree zero. Suppose that $\pi^{*}$ is chain-homotopic to the zero map. Then the complex $\mathbf{A}$ is chain homotopy equivalent to one of the form

[TABLE]

where the term $A^{0}_{2}$ has been removed, and the complex $\mathbf{X}$ is a direct summand of the original $\mathbf{A}^{\geq 1}$.

Proof.

In this setting, a chain homotopy between $\pi^{*}$ and [math] is precisely a map $H:A^{1}\rightarrow A^{0}_{2}$ that inverts the corresponding component of the differential, which in turn allows for a Gaussian elimination argument (perhaps after passing to the Karoubi envelope of our category). The details are left to the reader. ∎

In the statement of the following lemma, we use the notation $I_{(ij)}$ to indicate the two-strand identity diagram with strands colored $i$ and $j$.

Lemma 3.6**.**

Let $\tau^{2}_{(ij)}$ denote a pair of adjacent positive crossings (called a clasp) between two strands colored by $\gamma=(i,j)$. Then $C_{N}\left(\tau^{2}_{(ij)}\right)$ is chain homotopy equivalent to a cone

[TABLE]

where $\mathbf{X}$ is a direct summand of a complex $\mathbf{C}$ satisfying, for any diagram $\delta_{x}\in\mathbf{C}$,

• •

$\mathrm{h}_{C}(\delta_{x})\geq 0$, and

• •

$\delta_{x}$* is a ladder diagram containing an intermediate coloring $\gamma_{x}$ with $|\gamma_{x}|_{\mathrm{c}}<|\gamma|_{\mathrm{c}}$.*

Proof.

We will consider the case where $j\geq i$ (the case of $j<i$ is similar). We begin by expanding $C_{N}\left(\tau^{2}_{(ij)}\right)$ along both crossings into a complex of various web diagrams. It is not hard to see from Equation (4) that the only term in homological degree zero is the trapezoid

[TABLE]

while every other diagram, sitting in $C_{N}^{\geq 1}\left(\tau^{2}_{(ij)}\right)$, contains intermediate colorings of lesser color-size. We will declare $\mathbf{C}$ to be the complex $C_{N}^{\geq 1}\left(\tau^{2}_{(ij)}\right)$. If $j=i$, we are done (letting $\mathbf{X}=\mathbf{C}$, trivially a direct summand as desired). Otherwise, we use the 2-isomorphism which lifts the second equation of Figure 4 to replace this trapezoid with a large direct sum of terms (all still in homological degree zero). A careful inspection of the right-hand side of Figure 4 indicates that precisely one of these summands will be the identity diagram $I_{(ij)}$, while the other summands will contain ($q$-shifted) trapezoids of the form

[TABLE]

for $p>0$.

Now we fix any such trapezoidal diagram, calling it $\epsilon_{p}$. As in Lemma 3.5, we consider the projection map

[TABLE]

to the corresponding one-term complex in homological degree zero. Using the duality equivalence of Figure 7, together with the fact that any such trapezoid $\epsilon_{p}$ is symmetric about its central horizontal axis, we deduce the following:

[TABLE]

The positive homological shift in the first diagram of the last hom-space is derived from Proposition 3.1. This shift ensures that this hom-space is actually the zero-space, and thus we must have $\pi^{*}$ chain homotopic to the zero map. Lemma 3.5 allows us to conclude that there is a Gaussian elimination argument which removes any such diagram $\epsilon_{p}$ from the complex $C_{N}\left(\tau^{2}_{(ij)}\right)$, replacing $\mathbf{C}$ with some direct summand of itself. Iterating this process to remove all such trapezoids from the homological degree zero term leaves us with a complex of the desired form. ∎

4 Proving Theorem 1.2

Theorem 1.2 is about limiting complexes associated with certain semi-infinite braids. Such braids will be represented by semi-infinite braid words up to finitely many Reidemeister moves. In order to prove Theorem 1.2, we begin by proving a version for semi-infinite braid words; this will take up the majority of this section. Once we have this result (Section 4.5), it will be relatively simple to lift the result to semi-infinite braids.

The overall strategy for the semi-infinite braid words is similar to that of [IW18, AW], and we summarize it here. We will construct inverse systems for the infinite twist, as well as for other semi-infinite words, where the system maps are quotient maps corresponding to resolving certain crossings as vertical identity braids (Proposition 4.7). In the case of the infinite twist, it will be relatively simple to show that the system is Cauchy and thus has a limit categorifying a projector as in Cautis’ results (Theorem 4.13). For the systems coming from other semi-infinite words, we will construct maps $F_{\ell}$ to the system for the infinite twist that are also quotient maps corresponding to identity resolutions (Section 4.5.1); this will guarantee that these maps commute with all system maps. We will then seek to apply Proposition 2.7 by estimating the homological orders $|F_{\ell}|_{\mathrm{h}}$ of these maps; this will be done by expanding $\mathrm{Cone}(F_{\ell})$ as a multicone, simplifying the multicone using Proposition 2.10, and estimating the resulting homological orders of elements using Propositions 3.1 and 3.3 (Section 4.5.2).

Throughout this section, $I$ will denote the identity braid on $n$ strands.

4.1 Color-pure braids

If $\beta\in\mathfrak{B}_{n}$ is a braid on $n$ strands, we will use the notation $\beta^{(\gamma)}_{(\gamma^{\prime})}$ to indicate that $\beta$ has been colored so that the sequence of colors at the top (respectively bottom) of $\beta$ is given by $\gamma$ (respectively $\gamma^{\prime}$). Of course, since $\beta$ is a braid, $\gamma^{\prime}$ must be some permutation of $\gamma$ determined by $\beta$.

Definition 4.1**.**

A colored braid $\beta^{(\gamma)}_{(\gamma^{\prime})}$ is called color-pure (with respect to $\gamma$) if $\gamma=\gamma^{\prime}$. In such a case we will omit the superscript and simply write $\beta_{(\gamma)}$ for the color-pure braid.

Clearly all pure braids are color-pure with respect to any $\gamma$. If $\gamma=(i,i,\ldots,i)$ denotes a uni-coloring, then all colored braids $\beta^{(\gamma)}_{(\gamma^{\prime})}$ are color-pure. Meanwhile, if $\gamma=(i,j,\ldots,\ell)$ denotes a coloring using all distinct colors, then a colored braid $\beta^{(\gamma)}_{(\gamma^{\prime})}$ is color-pure if and only if it is pure. Note that the full twist $\mathcal{F}$ is pure, and so our earlier notation $\mathcal{F}_{(\gamma)}$ agrees with the convention of omitting the superscript for Definition 4.1.

Our first task is to combine Lemmas 3.4 and 3.6 into a more general statement about color-pure braids. We begin with a helpful lemma that will help us find clasps.

Lemma 4.2**.**

Any non-trivial positive color-pure braid $\beta_{(\gamma)}$ that does not have any uni-colored crossings must be braid isotopic to another positive color-pure braid $\beta^{\prime}_{(\gamma)}$ that contains some clasp $\tau^{2}$.

Proof.

We begin by noting that a color-pure braid $\beta$ that does not have any uni-colored crossings must in fact be pure. Indeed if we have a color-pure braid that is not pure, there must be some strand that begins at one colored end-point $a$ and ends at a different end-point $b$ of the same color. If this is the case, then the strand that begins at $b$ must end at another end-point $c$ of the same color without crossing the first strand. It is not hard to see that this must eventually lead to a contradiction due to having only finitely many strands.

Therefore, if we let $\Phi$ denote the usual map from the braid group $\mathfrak{B}_{n}$ to the symmetric group $S_{n}$, we must have $\Phi(\beta)=I$, the identity permutation. It is well known that $\mathfrak{B}_{n}$ and $S_{n}$ share the same generators (transpositions) and relations, with $S_{n}$ having the additional relation $\sigma_{i}^{2}=I$ for any generator. Since $\beta$ was positive and non-trivial, but $\Phi(\beta)=I$, we can conclude that $\beta$ can be altered via braid relations into some isotopic (positive) braid $\beta^{\prime}$ that contains a clasp $\tau^{2}$ as desired. ∎

We now state and prove the key proposition about the structure of the complex associated to a positive color-pure braid.

Proposition 4.3**.**

Given a positive color-pure braid $\beta_{(\gamma)}$ on $n$ strands, the complex $C_{N}\left(\beta_{(\gamma)}\right)$ is chain homotopy equivalent to a cone

[TABLE]

where $\mathbf{X}$ is a direct summand of a complex $\mathbf{C}$ satisfying, for any diagram $\delta_{x}\in\mathbf{C}$,

• •

$\mathrm{h}_{C}(\delta_{x})\geq 0$, and

• •

$\delta_{x}$* is a ladder diagram containing an intermediate coloring $\gamma_{x}$ with $|\gamma_{x}|_{\mathrm{c}}<|\gamma|_{\mathrm{c}}$.*

The simplified complex written in this way will be denoted $\widetilde{C_{N}\left(\beta_{(\gamma)}\right)}$.

Proof.

Let $\beta_{1}:=\beta_{(\gamma)}$ denote our starting braid. If there is a uni-colored crossing $\sigma_{a}$ in $\beta_{1}$, we apply Lemma 3.4 to $\sigma_{a}$ allowing us to write $C_{N}\left(\beta_{1}\right)$ as a cone as in a two-term version of Figure 6:

[TABLE]

Here the braid $\beta_{2}$ is derived from $\beta_{1}$ by deleting $\sigma_{a}$, while the complex $\mathbf{X}_{1}$ is based upon concatenating $\mathrm{h}^{-1}C_{N}^{\geq 1}\left(\sigma_{a}\right)$ with the rest of the braid. For the sake of notational convenience moving forward, we declare $\mathbf{C}_{1}:=\mathbf{X}_{1}$ so that $\mathbf{X}_{1}$ is trivially a direct summand of the complex $\mathbf{C}_{1}$.

Now since we have not changed any of the colors at the top or bottom of the braid, we see that $\beta_{2}$ is again color-pure but with one less crossing than $\beta_{1}$. If $\beta_{2}$ contains another uni-colored crossing, we apply the same reasoning again to get

[TABLE]

We can continue in this way until we have written $C_{N}\left(\beta_{1}\right)$ as a large iterated cone with initial term $C_{N}\left(\beta_{\ell}\right)$ where $\beta_{\ell}$ is a positive color-pure braid with no uni-colored crossings (here $\ell-1$ is the number of uni-colored crossings that were in $\beta_{1}$, which have now been deleted). Each of the complexes $\mathbf{X}_{k}$ satisfy the properties of Lemma 3.4, and we can view any $\mathbf{X}_{k}$ as a trivial direct summand of $\mathbf{C}_{k}:=\mathbf{X}_{k}$ satisfying these same properties.

According to Lemma 4.2, our color-pure $\beta_{\ell}$ with no uni-colored crossings must be braid isotopic to some $\beta_{\ell}^{\prime}$ having a clasp $\tau^{2}$. Thus we can apply Lemma 3.6 to this clasp and write $C_{N}\left(\beta_{\ell}\right)$ as a cone again as in Figure 6:

[TABLE]

where the braid $\beta_{\ell+1}$ is obtained from $\beta_{\ell}^{\prime}$ by deleting the clasp, while $\mathbf{X}_{\ell}$ is a direct summand of the complex $\mathbf{C}_{\ell}$ which is based upon concatenating $\mathrm{h}^{-1}C_{N}^{\geq 1}\left(\tau^{2}\right)$ with the rest of the braid as in the logic of Figure 6. Since a cone is just a two-term multicone, Proposition 2.10 allows us to plug this cone in place of the complex $C_{N}\left(\beta_{\ell}\right)$ in the iterated cone for $C_{N}\left(\beta_{1}\right)$, so we have

[TABLE]

Thus $\beta_{\ell+1}$ is again a color-pure braid with no uni-colored crossings, and so we can apply the same reasoning yet again. We continue in this way until we have $C_{N}\left(\beta_{1}\right)$ written as a large iterated cone with initial term $I_{(\gamma)}$, the one-term complex associated to the identity braid colored by $\gamma$:

[TABLE]

Here $p$ describes the number of steps it took to delete all of the uni-colored crossings and two-colored clasps from $\beta_{1}$ to arrive at the identity braid. Every complex $\mathbf{X}_{k}$ is a direct summand of some $\mathbf{C}_{k}$ whose terms satisfy the desired properties. The cone operation simply takes direct sums of the objects in the complexes (with a positive homological shift), and so the statement of the proposition is satisfied by taking $\mathbf{X}:=\bigoplus_{k=1}^{p}\mathbf{X}_{k}$ and $\mathbf{C}:=\bigoplus_{k=1}^{p}\mathbf{C}_{k}$.

∎

4.2 Color-pure semi-infinite braids

We begin by giving a more precise definition for our main class of braids. Let $\mathfrak{G}_{n}$ denote the standard set of multiplicative generators for the braid group $\mathfrak{B}_{n}$, with $\mathfrak{G}_{n}^{+}\subset\mathfrak{G}_{n}$ denoting the subset consisting of only positive generators $\sigma_{i}$.

Definition 4.4**.**

A semi-infinite braid word $\mathcal{B}$ on $n$ strands is a map $\mathcal{B}:\mathbb{N}\rightarrow\mathfrak{G}_{n}$, written as an infinite word

[TABLE]

on the generators $\sigma_{i}$ (where each $\epsilon_{i}\in\{-1,1\}$). We call $\mathcal{B}$ positive if $\mathrm{Im}(\mathcal{B})\subset\mathfrak{G}_{n}^{+}$ (equivalently each $\epsilon_{i}=1$, so we may ignore them from the notation).

In order to use the results of Section 2.1, we need to describe a semi-infinite braid word as a limit of finite braid words. First we establish notation.

Definition 4.5**.**

Let $\mathcal{B}=\sigma_{i_{1}}^{\epsilon_{1}}\sigma_{i_{2}}^{\epsilon_{2}}\sigma_{i_{3}}^{\epsilon_{3}}\cdots$ be a semi-infinite braid word and $\ell\in\mathbb{N}$. We define the $\ell$th partial braid of $\mathcal{B}$, denoted by $\mathcal{B}_{\ell}$, as

[TABLE]

More generally, the partial sub-braid from $a$ to $b$, denoted by $\mathcal{B}^{a}_{b}$, is defined to be the braid word

[TABLE]

In this way, the $\ell^{\text{th}}$ partial braid $\mathcal{B}_{\ell}$ is equivalent to $\mathcal{B}^{0}_{\ell}$, and in general $\mathcal{B}^{a}_{b}\cdot\mathcal{B}^{b}_{c}=\mathcal{B}^{a}_{c}$. We will also use the notation $\mathcal{B}^{a}_{\infty}$ to denote the truncated infinite braid word obtained from $\mathcal{B}$ by deleting the first $a$ crossings.

In this text we are concerned with colored braids. In our previous papers on the subject, when all strands in a braid were colored by $i$, the uni-coloring $(i,i,\dots,i)$ at the start and end of a semi-infinite braid word $\mathcal{B}$ could easily be identified with the coloring at the start and end of any partial braid $\mathcal{B}_{\ell}$. When we allow arbitrary colorings however, more care is needed.

Definition 4.6**.**

Let $\gamma=(\gamma_{1},\dots,\gamma_{n})\in\{0,1,\dots,N\}^{n}$ be a fixed coloring. Then a semi-infinite braid word $\mathcal{B}:\mathbb{N}\rightarrow\mathfrak{G}_{n}$ gives rise to a sequence of colorings $\gamma(\cdot):\mathbb{N}\cup\{0\}\rightarrow\{0,1,\dots,N\}^{n}$ by defining $\gamma(0):=\gamma$, and then defining $\gamma(\ell)$ for $\ell\in\mathbb{N}$ as the coloring at the bottom of $\mathcal{B}_{\ell}$ determined by coloring the top by $\gamma$. We call $\mathcal{B}$ color-pure with respect to $\gamma$ if $\gamma(\ell)=\gamma$ for infinitely many $\ell\in\mathbb{N}$, and denote it $\mathcal{B}_{(\gamma)}$. The sequence $m_{1}<m_{2}<\cdots$ of all $m_{i}$ such that $\gamma(m_{i})=\gamma$ is called the maximal purity sequence for $\mathcal{B}_{(\gamma)}$.

It is clear that, after fixed an ‘initial’ coloring $\gamma$ for the ‘top’ of $\mathcal{B}$, any partial sub-braid $\mathcal{B}^{a}_{b}$ within $\mathcal{B}$ is colored as $(\mathcal{B}^{a}_{b})^{(\gamma(a))}_{(\gamma(b))}$.

With the notation set up, we have the following proposition allowing us to build complexes for certain semi-infinite braid words.

Proposition 4.7**.**

If $\mathcal{B}_{(\gamma)}$ is a positive semi-infinite color-pure braid word with maximal purity sequence $m_{1}<m_{2}<\cdots$, then there is a corresponding inverse system of complexes

[TABLE]

where $\mathcal{B}_{m_{0}}$ is defined to be the colored identity braid $I_{(\gamma)}$ and the maps $f_{k}$ are the quotient maps implied by Proposition 4.3. Furthermore, if this inverse system is Cauchy with limit denoted $C_{N}\left(\mathcal{B}_{\infty}\right)$ and $\ell_{1}<\ell_{2}<\cdots$ is any subsequence of the maximal purity sequence, then there is a corresponding inverse system

[TABLE]

which is also Cauchy with a chain homotopy equivalent limit

[TABLE]

Proof.

First we describe the maps $f_{k}$ in slightly more detail. Fixing $k$, we let $\beta$ denote the partial sub-braid $\mathcal{B}^{m_{k}}_{m_{k+1}}$ of crossings in $\mathcal{B}_{m_{k+1}}$ that are not in $\mathcal{B}_{m_{k}}$; by assumption $\beta$ is color-pure with respect to $\gamma$. If we use Proposition 4.3 to write the simplified complex $\widetilde{C_{N}\left(\beta\right)}$ for $\beta$, and then expand $C_{N}\left(\mathcal{B}_{m_{k+1}}\right)$ along this cone as in Figure 6, we see (with a slight abuse of notation)

[TABLE]

The map $f_{k}$ is the quotient map from this cone to the complex $C_{N}\left(\mathcal{B}_{m_{k}}\right)$. From this it is clear that a subsequence $\ell_{1}<\ell_{2}<\cdots$ has its own set of quotient maps $g_{j}$ and we can construct a commuting diagram of inverse systems as in Figure 2 where all of the horizontal maps are identity maps. Being a subsequence ensures that our new inverse system is also Cauchy (details here are left to the reader), and since identity maps have infinite homological order, Proposition 2.7 gives us our desired chain homotopy equivalence. ∎

We can now present the main definitions for semi-infinite braids.

Definition 4.8**.**

A semi-infinite braid $\tilde{\mathcal{B}}$ is an equivalence class of semi-infinite braid words $\mathcal{B}$, where $\mathcal{B}$ is equivalent to $\mathcal{B}^{\prime}$ if and only if $\mathcal{B}^{\prime}$ can be arrived at from $\mathcal{B}$ via a finite set of braid moves. We call $\tilde{\mathcal{B}}$ positive if some choice of representative word is positive. We call $\tilde{\mathcal{B}}$ color-pure with respect to $\gamma$, and denote it $\tilde{\mathcal{B}}_{(\gamma)}$, if any (and thus every) word representing $\tilde{\mathcal{B}}$ is color-pure (note that this condition is not affected by finitely many braid moves).

Remark 4.9*.*

The restriction to allowing only finitely many braid moves was neglected in our earlier papers [IW18, AW], but it is clearly necessary to avoid situations where a sequence of braid moves starting from the word $\mathcal{B}$ ‘limits’ to a new word $\mathcal{B}^{\prime}$ that does not share the properties of $\mathcal{B}$. For instance consider the following sequence of braid moves in $\mathfrak{B}_{n}$ for $n=4$:

[TABLE]

which would show ‘in the limit’ that $\mathcal{B}$ is equivalent to the infinite twist on the first two strands with no occurrence of $\sigma_{3}$. We wish to disallow such limiting statements.

Proposition 4.10**.**

Let $\tilde{\mathcal{B}}_{(\gamma)}$ be a positive color-pure semi-infinite braid, and let $\mathcal{B}$ and $\mathcal{B}^{\prime}$ be two positive semi-infinite words representing $\tilde{\mathcal{B}}$ with corresponding inverse systems $\{C_{N}\left(\mathcal{B}_{m_{k}}\right),f_{k}\}$ and $\left\{C_{N}\left(\mathcal{B}^{\prime}_{m^{\prime}_{\ell}}\right),f^{\prime}_{\ell}\right\}$ via Proposition 4.7. Then there are maps $F_{\ell}:C_{N}\left(\mathcal{B}^{\prime}_{m^{\prime}_{\ell}}\right)\rightarrow C_{N}\left(\mathcal{B}_{m_{k}}\right)$ commuting with the system maps such that $|F_{\ell}|_{\mathrm{h}}\rightarrow\infty$ as $\ell\rightarrow\infty$. In particular, if $\{C_{N}\left(\mathcal{B}_{m_{k}}\right),f_{k}\}$ is Cauchy, then so is $\left\{C_{N}\left(\mathcal{B}^{\prime}_{m^{\prime}_{\ell}}\right),f^{\prime}_{\ell}\right\}$ and their limits are chain homotopy equivalent.

Proof.

If $\mathcal{B}$ and $\mathcal{B}^{\prime}$ are related by finitely many Reidemeister moves, then there exists some $\kappa$ and $\lambda$ such that the partial braid words $\mathcal{B}_{m_{\kappa}}$ and $\mathcal{B}^{\prime}_{m^{\prime}_{\lambda}}$ are braid isotopic, and the truncated semi-infinite braid words $\mathcal{B}^{m_{\kappa}}_{\infty}$ and $\mathcal{B}^{\prime m^{\prime}_{\lambda}}_{\infty}$ are equal.

[TABLE]

The maps $F_{\ell}$, for $\ell>\lambda$, are the chain homotopy equivalences induced by this braid isotopy while keeping the ‘later’ crossings $\mathcal{B}^{\prime m^{\prime}_{\lambda}}_{m_{\ell}}$ fixed. Since the system maps of Proposition 4.7 beyond this point rely only on resolutions of color-pure braids within $\mathcal{B}^{\prime m^{\prime}_{\lambda}}_{m^{\prime}_{\ell}}$ and $\mathcal{B}^{m_{\kappa}}_{m_{k}}$, our maps $F_{\ell}$ trivially commute with the system maps.

Furthermore, because each of these $F_{\ell}$ are chain homotopy equivalences, we have $|F_{\ell}|_{\mathrm{h}}=\infty$ and $f^{\prime}_{\ell}\sim F_{\ell-1}^{-1}f_{k}F_{\ell}$ so that $\left\{C_{N}\left(\mathcal{B}^{\prime}_{m^{\prime}_{\ell}}\right),f^{\prime}_{\ell}\right\}$ is Cauchy and we are done via Proposition 2.7. (The maps $F_{\ell}$ for $\ell\leq\lambda$ are irrelevant and can be taken to be projection maps to the identity $\mathcal{B}_{0}$ via Proposition 4.3, trivially commuting with all system maps.) ∎

Thus for a positive semi-infinite color-pure braid $\tilde{\mathcal{B}}_{(\gamma)}$, we have a well-defined inverse system up to maps $F_{\ell}$ connecting any two such systems arising from different (positive) words representing $\tilde{\mathcal{B}}_{(\gamma)}$. If any such word provides a Cauchy inverse system, we have a well-defined limiting system $C_{N}\left(\tilde{\mathcal{B}}_{(\gamma)}\right)$ up to chain homotopy equivalence. The requirement that we consider only positive representative words is only a crutch for the moment; we will see in Section 5.1 that allowing words with negative crossings produces degree shifts (as is to be expected; we’ve already remarked upon this fact for Reidemeister II moves in our normalization) but does not change the nature of our results.

4.3 The infinite full twist

Ultimately, we will use Proposition 2.7 to compare our Cauchy inverse systems to a well understood Cauchy inverse system coming from studying the infinite full twist which we now discuss.

Fix $n\in\mathbb{N}$. We begin by noting that a single full twist $\mathcal{F}$ is a positive pure braid (and thus is color pure with respect to any coloring $\gamma$), so that the semi-infinite braid word $\mathcal{F}^{\infty}:=\mathcal{F}\mathcal{F}\mathcal{F}\cdots$ is color-pure with respect to any $\gamma$ via the sequence of partial braid words defined by $(\mathcal{F}^{\infty})_{m_{k}}:=\mathcal{F}^{k}$. We can therefore speak of the colored infinite full twist $\mathcal{F}_{(\gamma)}^{\infty}$. In [Roz14], Rozansky proved that the standard (uncolored, $\mathfrak{sl}_{2}$) Khovanov complex of the infinite full twist was a well-defined complex and that it categorified the Jones-Wenzl projector. We now state the analogous result in colored Khovanov-Rozansky homology due to Cautis.

Theorem 4.11** (Cautis [Cau15]).**

Let $\mathcal{F}_{(\gamma)}\in\mathfrak{B}_{n}$ denote the positive full twist braid on $n$ strands colored by $\gamma$. Then, taking all complexes over the ground ring $\mathbb{C}$,

[TABLE]

is a well-defined idempotent chain complex categorifying a highest weight projector

[TABLE]

factoring through the unique highest weight subrepresentation of $\otimes_{i=1}^{n}(\bigwedge^{\gamma_{i}}(\mathbb{C}_{q}^{N}))$.

In this text, we will write $P_{n,(\gamma)}:=\lim_{k\to\infty}C_{N}\left(\mathcal{F}^{k}_{(\gamma)}\right)$ for Cautis’ limiting complex for the sake of brevity.

Remark 4.12*.*

Strictly speaking, Theorem 4.11 is proven for Rickard complexes in the categorification of $\mathcal{U}_{q}(\mathfrak{sl}_{N})$. However this category is equivalent to $\mathbf{NFoam}$ and thus can be viewed as a result for complexes associated to full twist braids in $\mathbf{NFoam}$ (See [Cau15] and [QR16] for more details).

As indicated above, Cautis’ proof assumes that the ground ring is actually the field $\mathbb{C}$. Furthermore, Cautis’ complex is based on taking the inverse system built from the sequence of complete full twists, which may not necessarily be the maximal purity sequence for the semi-infinite colored braid $\mathcal{F}_{(\gamma)}^{\infty}$. In the theorem below we will prove the existence of this limiting complex over any ground ring using the maximal purity sequence for the given coloring $\gamma$, and then Proposition 4.7 will show that our maximal purity sequence version recovers $P_{n,(\gamma)}$ in the case that the ground ring was $\mathbb{C}$. The proof of this theorem provides a good warm-up for the proof of Theorem 1.2 to come afterwards.

Theorem 4.13**.**

Fix a coloring $\gamma$ and let $p_{1}<p_{2}<\cdots$ denote the maximal purity sequence for the colored infinite full twist $\mathcal{A}:=\mathcal{F}_{(\gamma)}^{\infty}$. Then the corresponding inverse system $\{C_{N}\left(\mathcal{A}_{p_{k}}\right),f_{k}\}$ is Cauchy with limiting complex denoted

[TABLE]

In particular, when the ground ring is $\mathbb{C}$, this limiting complex is chain homotopy equivalent to the complex of Cautis in Theorem 4.11, justifying the notation.

Proof.

By definition, we must show that the homological orders of the maps $|f_{k}|_{\mathrm{h}}$ grow infinite as $k\rightarrow\infty$.

Fix $k>0$. As in the proof of Proposition 4.7, we apply Proposition 4.3 to the (color-pure) partial sub-braid $\mathcal{A}^{p_{k}}_{p_{k+1}}$. Then $f_{k}$ is defined as a quotient map on the corresponding cone (we will omit the notations $C_{N}\left(\cdot\right)$ as usual in the visual presentations):

[TABLE]

As such, we have $\mathrm{Cone}(f_{k})\simeq C_{N}\left(\mathcal{A}_{p_{k}}\right)\otimes\mathbf{X}$ and since $\mathbf{X}$ is a direct summand of a complex $\mathbf{C}$ whose terms satisfy the properties of Proposition 4.3, $\mathrm{Cone}(f_{k})$ is likewise chain homotopy equivalent to a direct summand of the complex $C_{N}\left(\mathcal{A}_{p_{k}}\right)\otimes\mathbf{C}$.

We now expand the complex $C_{N}\left(\mathcal{A}_{p_{k}}\right)\otimes\mathbf{C}$ as a multicone along $\mathbf{C}$ as expressed visually below:

[TABLE]

From here, we consider terms $\mathcal{A}_{p_{k}}\cdot\delta_{x}$ within this multicone. First of all, since $\mathcal{A}=\mathcal{F}\mathcal{F}\cdots$ we must have

[TABLE]

for some $\ell\geq 0$ and some color-pure braid $\alpha$. Note that we must have $\ell\rightarrow\infty$ as $k\rightarrow\infty$. Meanwhile, Proposition 4.3 shows that $\delta_{x}$ has an intermediate coloring $\gamma_{x}$ with $|\gamma_{x}|_{\mathrm{c}}\leq|\gamma|_{\mathrm{c}}-1$. We use this fact to write $\delta_{x}$ as a concatenation at this intermediate coloring:

[TABLE]

where the colorings $\gamma$ and $\gamma_{x}$ are indicated at various points of the diagram. Thus, our multicone for $C_{N}\left(\mathcal{A}_{p_{k}}\right)\otimes\mathbf{C}$ is comprised entirely of complexes of the form

[TABLE]

Now we use the fact, described in Remark 3.17 of [AW], that the web-braid diagram $\alpha\cdot\delta_{x}^{top}$ commutes with the full twists via a braid-like isotopy that ‘pulls rungs through the interior of the torus’ as illustrated for a single rung in Figure 11 (pulling through $\alpha$ is merely restating the well-known fact that the full twist is central in the braid group). Thus we have

[TABLE]

This isotopy produces a homological shift $t_{x}$ according to Proposition 3.1 that can be estimated with the help of Proposition 3.3. Since all of the crossings in the web-braid remain colored the same except those within the full twist, we have

[TABLE]

As such, every complex within the multicone expansion for $C_{N}\left(\mathcal{A}_{p_{k}}\right)\otimes\mathbf{C}$ can be replaced (up to chain homotopy equivalence, via Proposition 2.10) by one of the form $\mathrm{h}^{t_{x}}C_{N}\left(\alpha\cdot\delta_{x}^{top}\cdot\mathcal{F}^{\ell}\cdot\delta_{x}^{bot}\right)$, with minimum non-zero homological degree bounded below by $t_{x}$ (all crossings in the web-braid diagram are positive). Thus any diagram $\epsilon$ coming from such a complex within our multicone for $C_{N}\left(\mathcal{A}_{p_{k}}\right)\otimes\mathbf{C}$ has overall homological degree estimated with the help of Equation (2):

[TABLE]

where we have used Proposition 4.3 to ensure that $\mathrm{h}_{C}(\delta_{x})\geq 0$. As such, our complex $C_{N}\left(\mathcal{A}_{p_{k}}\right)\otimes\mathbf{C}$ is chain homotopy equivalent to one supported in homological degrees greater than or equal to $2\ell$. Then since $\mathrm{Cone}(f_{k})\simeq C_{N}\left(\mathcal{A}_{p_{k}}\right)\otimes\mathbf{X}$ is a direct summand of this complex, we can conclude that

[TABLE]

and as mentioned above, $\ell\rightarrow\infty$ as $k\rightarrow\infty$. This completes the proof that the inverse system $\{C_{N}\left(\mathcal{A}_{p_{k}}\right),f_{k}\}$ is Cauchy.

In the case when the ground ring is $\mathbb{C}$, Cautis’ inverse system amounts to taking the limit using a subsequence of the maximal purity sequence for the infinite twist, and so Proposition 4.7 shows that our limiting complex is chain homotopy equivalent to his. ∎

4.4 Color-complete semi-infinite braid words

Informally, a color-pure semi-infinite braid word $\mathcal{B}$ is called color-complete if one could arrive at the infinite full twist $\mathcal{F}^{\infty}$ by deleting some color-pure braid words from the infinite word $\mathcal{B}$. In order to make this notion more precise, we need to establish some notation.

Definition 4.14**.**

Let $\mathcal{B}=\sigma_{i_{1}}\sigma_{i_{2}}\cdots$ denote a positive semi-infinite braid word that is color-pure with respect to $\gamma$. Given $a<b$, the notation $\mathcal{B}\setminus\mathcal{B}^{a}_{b}$ will indicate the positive semi-infinite braid word

[TABLE]

derived from $\mathcal{B}$ by deleting the partial sub-braid $\mathcal{B}^{a}_{b}$. Similarly, we will use the notation $\mathcal{B}\setminus\left(\mathcal{B}^{a_{1}}_{b_{1}},\mathcal{B}^{a_{2}}_{b_{2}}\dots\right)$ to denote the word derived from $\mathcal{B}$ by deleting multiple (possibly infinitely many) partial sub-braids. See Figure 12 for a visual illustration.

Lemma 4.15**.**

If $\mathcal{B}$ is a positive semi-infinite braid word that is color-pure with respect to $\gamma$, and the partial sub-braid $\mathcal{B}^{a}_{b}$ is color-pure with respect to $\gamma(a)$, then $\mathcal{B}\setminus\mathcal{B}^{a}_{b}$ is also a positive semi-infinite braid word that is color-pure with respect to $\gamma$.

Proof.

Deleting a color-pure sub-braid within an infinite braid word does not affect the colorings either before or after it. However, the maximal purity sequence may be shifted beyond the point where $\mathcal{B}^{a}_{b}$ was deleted. See Figure 12. Details are left to the reader. ∎

Definition 4.16**.**

A positive color-pure semi-infinite braid word $\mathcal{B}_{(\gamma)}$ is called color-complete if there exists a (finite or infinite) sequence of natural numbers (occurring in pairs $a_{i},b_{i}$)

[TABLE]

such that the following conditions hold.

• •

Each partial sub-braid $\mathcal{B}^{a_{i}}_{b_{i}}$ is color-pure with respect to $\gamma(a_{i})$ (that is, $\gamma(a_{i})=\gamma(b_{i})$).

• •

The semi-infinite braid word $\mathcal{B}\setminus\left(\mathcal{B}^{a_{1}}_{b_{1}},\mathcal{B}^{a_{2}}_{b_{2}}\dots\right)$ is (braid move equivalent to) the infinite full twist $\mathcal{F}^{\infty}$.

This definition is preserved under finitely many allowable braid moves, and so we can consider a positive color-pure semi-infinite braid $\tilde{\mathcal{B}}_{(\gamma)}$ to be color-complete if any positive word representing it is color-complete.

4.5 The main result for braid words

With the language of the preceding sections in place, we can state and prove our main result on the level of braid words.

Theorem 4.17**.**

Fix $n\in\mathbb{N}$, and let $\gamma=(\gamma_{1},\dots,\gamma_{n})$ be any coloring in $\{0,1,\dots,N\}^{n}$. Let $\mathcal{B}_{(\gamma)}$ be any color-complete positive semi-infinite braid word with maximal purity sequence $m_{1}<m_{2}<\cdots$. Then the corresponding inverse system $\{C_{N}\left(\mathcal{B}_{m_{\ell}}\right),g_{\ell}\}$ coming from Proposition 4.7 is Cauchy, with limiting complex $C_{N}\left(\mathcal{B}_{(\gamma)}\right)$ satisfying

[TABLE]

where $P_{n,(\gamma)}$ is the complex for the infinite full twist defined in Theorem 4.13.

We will prove this theorem using Proposition 2.7. Having fixed $\gamma$, the infinite twist $\mathcal{A}:=\mathcal{F}^{\infty}_{(\gamma)}$ has some maximal purity sequence $p_{1}<p_{2}<\cdots$ giving rise to a Cauchy inverse system $\{C_{N}\left(\mathcal{A}_{p_{k}}\right),f_{k}\}$ such that the limiting complex $C_{N}\left(\mathcal{A}\right)$ satisfies $C_{N}\left(\mathcal{A}\right)\simeq P_{n,(\gamma)}$ (Theorem 4.13). In order to use Proposition 2.7, we must first construct ‘horizontal’ maps $F_{\ell}:C_{N}\left(\mathcal{B}_{m_{\ell}}\right)\rightarrow C_{N}\left(\mathcal{A}_{p_{k}}\right)$ which commute with the system maps, and then we will need to show that $|F_{\ell}|_{\mathrm{h}}\rightarrow\infty$ as $\ell\rightarrow\infty$. We split these tasks into subsections for organizational clarity below.

4.5.1 Constructing the maps $F_{\ell}:C_{N}\left(\mathcal{B}_{m_{\ell}}\right)\rightarrow C_{N}\left(\mathcal{A}_{p_{k}}\right)$

The color-completeness of $\mathcal{B}$ implies that, if we fix some $\ell\in\mathbb{N}$, the partial braid word $\mathcal{B}_{m_{\ell}}$ contains some color-pure partial sub-braids $\mathcal{B}^{a_{1}}_{b_{1}},\mathcal{B}^{a_{2}}_{b_{2}},\dots\mathcal{B}^{a_{r}}_{b_{r}}$ such that

[TABLE]

where $k=z(\ell)$ for some non-decreasing function $z:\mathbb{N}\rightarrow\mathbb{N}$ such that $z(\ell)\rightarrow\infty$ as $\ell\rightarrow\infty$ (this will be precisely the indexing function required by Proposition 2.7). The index $r$ depends on $\ell$ as well, but this dependence will be irrelevant moving forward. In an attempt to mimic the proof of Proposition 4.3, we will use the notation

[TABLE]

which allows the following visual presentation of $\mathcal{B}_{m_{\ell}}$:

[TABLE]

where the indices $q_{i}$ depend on the exact word $\mathcal{B}$, but will not concern us. The important point is that $\mathcal{B}_{m_{\ell}}$ can be presented in a piecewise fashion as indicated.

Now Proposition 4.3 ensures that, for each $i=1,\dots,r$, we have

[TABLE]

where $\mathbf{X}_{i}$ is a direct summand of a complex $\mathbf{C}_{i}$ with specified properties. We begin by applying this fact to each of the $\beta_{i}$ in $\mathcal{B}_{m_{\ell}}$ in an iterative fashion. If we follow along the reasoning presented in the proof of Proposition 4.3, we arrive at the following iterated cone presentation for $C_{N}\left(\mathcal{B}_{m_{\ell}}\right)$ (we have omitted the word ‘cone’ from the notation to avoid clutter):

[TABLE]

We again collapse this into a single cone

[TABLE]

where $\widetilde{\mathbf{X}}:=\bigoplus_{i=1}^{r}\widetilde{\mathbf{X}}_{i}$ is a direct summand of the complex $\widetilde{\mathbf{C}}:=\bigoplus_{i=1}^{r}\widetilde{\mathbf{C}}_{i}$ with the definitions of $\widetilde{\mathbf{X}}_{i}$ and $\widetilde{\mathbf{C}}_{i}$ illustrated below:

[TABLE]

This allows us to define $F_{\ell}:C_{N}\left(\mathcal{B}_{m_{\ell}}\right)\rightarrow C_{N}\left(\mathcal{A}_{p_{k}}\right)$ via the quotient map implied by Equation (11). Since all of the system maps are built as similar quotient maps corresponding to deleting various partial sub-braids, it is clear that $F_{\ell}$ commutes with the system maps $f_{k},g_{\ell}$ as required.

4.5.2 Estimating $|F_{\ell}|_{\mathrm{h}}$ with a lower bound $b(\ell)$

In order to estimate $|F_{\ell}|_{\mathrm{h}}$, we need to understand $\mathrm{Cone}(F_{\ell})\simeq\widetilde{\mathbf{X}}$. Mimicking the proof of Theorem 4.13, we consider the complex $\widetilde{\mathbf{C}}$ instead. We examine a single summand $\widetilde{\mathbf{C}}_{i}$ of $\widetilde{\mathbf{C}}$ by expanding it as a large iterated multicone along each $\widetilde{C_{N}\left(\beta_{j}\right)}$ for $i<j\leq r$ (recall the notation $\widetilde{C_{N}\left(\cdot\right)}$ for the simplified cone complex of Proposition 4.3). We illustrate the first two steps in Figure 13.

In the end we may collapse the resulting iterated multicone into one large multicone incorporating all of the possible complexes. In order to write this cleanly, we introduce some notation.

Definition 4.18**.**

We will write $\widetilde{C_{N}\left(\beta\right)}$ as a shorthand to indicate the formal tensor product $\bigotimes_{j=i+1}^{r}\widetilde{C_{N}\left(\beta_{j}\right)}$, with objects $\delta:=\delta_{i+1}\otimes\cdots\otimes\delta_{r}$. To the formal object $\delta$ we associate a diagram also denoted $\delta$ formed by placing each $\delta_{j}$ in place of $\beta_{j}$ in the diagram for $\widetilde{\mathbf{C}}_{i}$ as illustrated below

[TABLE]

Maps between two formal objects $\delta_{x},\delta_{y}\in\widetilde{C_{N}\left(\beta\right)}$ then induce maps between the diagram complexes $C_{N}\left(\delta_{x}\right),C_{N}\left(\delta_{y}\right)$ formed by stitching together cobordisms in the usual way.

With this notation we can collapse our iterated multicone into a single multicone

[TABLE]

for which we have the formula

[TABLE]

From here, we analyze the single complexes within this multicone (12) in a manner very similar to the proof of Theorem 3.3 in [AW]. We begin by fixing such a complex $C_{N}\left(\delta\right)$, and we define two quantities based on $\delta$. First, we have

[TABLE]

Since any $\delta_{j}\in\mathbf{X}_{j}$ must have $\mathrm{h}_{\widetilde{C_{N}\left(\beta_{j}\right)}}(\delta_{j})>0$, Equation (13) quickly produces the bound

[TABLE]

Second, we define

[TABLE]

and we make the following claim.

Lemma 4.19**.**

Any complex $C_{N}\left(\delta\right)$ of the form indicated above is chain homotopy equivalent to a complex $\mathbf{Y}(\delta)$ having no terms in homological degree less than $2c_{2}(\delta)$.

Proof.

Indeed if we expand $C_{N}\left(\delta\right)$ as its own multicone along the complex $\mathbf{C}_{i}$, we see (denoting the terms in $\mathbf{C}_{i}$ by $\delta_{i}$ parallel to the notation for $\delta_{j}\in\widetilde{C_{N}\left(\beta_{j}\right)}$)

[TABLE]

Recall from Proposition 4.3 that any $\delta_{i,x}\in\mathbf{C}_{i}$ is a ladder diagram containing an intermediate coloring $\gamma_{x}$ with $|\gamma_{x}|_{\mathrm{c}}<|\gamma(q_{i})|_{\mathrm{c}}$, so that we may split $\delta_{i,x}$ just as in the proof of Theorem 4.13. We also have $c_{2}(\delta)$ full twists available somewhere in the diagram (independently of the choice of $\delta_{i,x}$) which commute with any and all web-braids (recall Figure 11), and so we can perform the following moves on any single complex within the multicone:

[TABLE]

In these diagrams, $\alpha$ and $\alpha^{\prime}$ are web-braid diagrams consisting of various partial sub-braids $\mathcal{A}^{a}_{b}$ together with various $\delta_{j}$ depending on the precise format of our original diagram $\delta$. The various intermediate colorings are also indicated. Since all of the $\delta_{j}$ came from color-pure diagrams $\beta_{j}$, and sub-braids can permute colors but not change them, we have some intermediate coloring $\hat{\gamma}$ between $\alpha$ and $\alpha^{\prime}$ that is a permutation of $\gamma$. In particular, $|\hat{\gamma}|_{\mathrm{c}}=|\gamma|_{\mathrm{c}}>|\gamma_{x}|_{\mathrm{c}}$. Now when we commute the full twists past the other parts of the diagram, we leave all colors on all crossings unchanged except for the crossings of the full twists, and so we have an overall homological shift of $t_{x}\geq 2c_{2}(\delta)$ again just as in the proof of Theorem 4.13.

From here, Proposition 2.10 ensures that our multicone for $C_{N}\left(\delta\right)$ is equivalent to another multicone $\mathbf{Y}(\delta)$ made up entirely of complexes of the form on the right-hand side of Equation (17). Using the formula (2) for homological grading of terms in a multicone, together with the fact that $\mathrm{h}_{\mathbf{C}_{i}}(\delta_{i})\geq 0$ for any $\delta_{i}\in\mathbf{C}_{i}$ (Proposition 4.3), we can conclude that $\mathbf{Y}(\delta)$ indeed has no terms in homological degree below $2c_{2}(\delta)$. ∎

We now apply Proposition 2.10 to the multicone (12) to replace the complexes $C_{N}\left(\delta\right)$ with the corresponding complexes $\mathbf{Y}(\delta)$ from Lemma 4.19:

[TABLE]

Any non-zero term in our multicone for $\widetilde{\mathbf{C}}_{i}$ must be a diagram of the form $\epsilon_{\delta}$ coming from some $\mathbf{Y}(\delta)$ in the multicone. The homological grading of $\epsilon_{\delta}$ is computed via Equation (2):

[TABLE]

We then invoke the bound of Equation (15) together with our homological condition on the complex $\mathbf{Y}(\delta)$ (Lemma 4.19) to conclude that

[TABLE]

and in turn that the complex $\widetilde{\mathbf{C}}=\bigoplus_{i=1}^{r}\mathbf{C}_{i}$ is supported in homological gradings greater than or equal to the bound $b(\ell)$ defined as

[TABLE]

Since $\mathbf{X}\simeq\mathrm{Cone}(F_{\ell})$ is a direct summand of $\mathbf{C}$, we can conclude the same about $\mathrm{Cone}(F_{\ell})$ giving us $|F_{\ell}|_{\mathrm{h}}\geq b(\ell)$.

4.5.3 Finishing the argument

Proof of Theorem 4.17.

We have two inverse systems $\{C_{N}\left(\mathcal{A}_{p_{k}}\right),f_{k}\}$ and $\{C_{N}\left(\mathcal{B}_{m_{\ell}}\right),g_{\ell}\}$ together with maps $F_{\ell}$ between them creating the commuting diagram of Figure 2 (Section 4.5.1). We have also produced a lower bound $b(\ell)$ (18) on the homological orders $|F_{\ell}|_{\mathrm{h}}$ (Section 4.5.2).

Just as in the proof of Theorem 3.3 in [AW], the reader can quickly verify that the color-completeness of $\mathcal{B}$ ensures that this bound must grow infinite as $\ell\rightarrow\infty$. Roughly speaking, as $\ell$ grows, so too does $k$ (this is color-completeness), and thus we have an ever-growing number of full twists ‘available’ in any diagram $\delta$ involved in any $\widetilde{\mathbf{C}_{i}}$. If the full twists are largely uninterrupted, $c_{2}$ must be large by definition; otherwise we have many non-identity $\delta_{j}$ diagrams ‘in the way’, and so $c_{1}$ must be large. In either case, their sum which defines $b(\ell)$ is growing without bound as $\ell$ grows.

A similar (and simpler) argument shows that the system $\{C_{N}\left(\mathcal{B}_{m_{\ell}}\right),g_{\ell}\}$ is Cauchy, and so by Proposition 2.7 we are done. ∎

Corollary 4.20**.**

If $\tilde{\mathcal{B}}_{(\gamma)}$ is a positive color-complete semi-infinite braid, then there is a well-defined limiting system $C_{N}\left(\tilde{\mathcal{B}}_{(\gamma)}\right)\simeq P_{n,(\gamma)}$ up to chain homotopy equivalence built from the inverse system arising from any positive word representing $\tilde{\mathcal{B}}_{(\gamma)}$.

Proof.

Combine Theorem 4.17 and Proposition 4.10. ∎

5 Further corollaries and general results

In this section we record some corollaries of our work that explore a variety of situations. We begin with a quick corollary that shows how our limiting complexes behave similarly to categorified highest weight projectors.

Corollary 5.1**.**

If $\beta$ is a positive braid color-pure with respect to some coloring $\gamma$, then

[TABLE]

Proof.

Since $\beta$ is positive and color-pure with respect to $\gamma$, we can view the concatenation $\beta\cdot\mathcal{F}^{\infty}$ as a single positive semi-infinite color-complete braid word with limiting complex $P_{n,(\gamma)}$ by Theorem 4.17. The statement of the corollary then follows from Lemma 2.6. ∎

Corollary 5.2**.**

If $\mathcal{B}_{(\gamma)}$ is a positive semi-infinite color-complete braid word with maximal purity sequence $m_{1}<m_{2}<\cdots$, then $C_{N}\left(\mathcal{B}\right)\simeq C_{N}\left(\mathcal{B}_{m_{i}}\right)\otimes C_{N}\left(\mathcal{B}^{m_{i}}_{\infty}\right)\simeq C_{N}\left(\mathcal{B}^{m_{i}}_{\infty}\right)$ for any $i$. That is to say, the complex for $\mathcal{B}_{(\gamma)}$ is independent of the ‘starting point’ for the braid word, provided that this starting point is colored by $\gamma$.

5.1 Negative crossings

In order to deal with semi-infinite braid words involving negative crossings, we require the following proposition that can be seen as a weak generalization of Proposition 4.3.

Proposition 5.3**.**

Given a color-pure braid $\beta_{(\gamma)}$ on $n$ strands, let

[TABLE]

denote the sum of the minimum colors at each negative crossing $\tau^{-}$ in $\beta$. Then the complex $\mathbf{A}:=C_{N}\left(\beta_{(\gamma)}\right)$ is chain homotopy equivalent to a multicone satisfying the following properties.

• •

There is a single term corresponding to the identity diagram $I$, and $\mathrm{h}_{\mathbf{A}}(I)=t^{-}$.

• •

Every other term $\delta_{x}\in\mathbf{A}$ contains some intermediate coloring $\gamma_{x}$ with $|\gamma_{x}|_{\mathrm{c}}<|\gamma|_{\mathrm{c}}$.

Proof.

This proposition is proved in the same general fashion as Proposition 4.3, but is much simpler because we are not attempting to isolate the identity diagram. As such we will be brief.

We begin by expanding $\mathbf{A}$ as an iterated multicone along each of the uni-colored crossings as in the logic of Figure 6. The identity resolutions of such crossings sit in right-most homological degree for negative crossings, and so we have the uni-colored negative crossings contributing their part to $t^{-}$ (and all other resolutions contain intermediate colorings as required).

We then have a corresponding version of Lemma 4.2 stating that a color-pure braid with no uni-colored crossings is braid isotopic to one having a positive clasp, a negative clasp, or a Reidemeister II move available. A Reidemeister II move can be applied, creating a shift by the minimum of the two colors as necessary. Clasps can be expanded as a tensor product of two copies of Equation (4) or (5); in either case, we have a trapezoid (in either far left or far right homological degree) that can be replaced by a sum of terms including the identity diagram just as in the proof of Lemma 3.6, except this time we do not bother with Gaussian eliminations. Instead, we simply note that all of the non-identity diagrams, whether in the same homological degree or not, have intermediate colorings as required. The details of this expansion and the resulting homological placement of the identity diagram are left to the reader. ∎

Now given a color-pure semi-infinite braid word $\mathcal{B}_{(\gamma)}$ with only finitely many negative crossings, there is some minimal $r$ such that $\mathcal{B}_{r}$ is color-pure and $\mathcal{B}^{r}_{\infty}$ is both color-pure and positive. Thus $\mathcal{B}^{r}_{\infty}$ has a maximal purity sequence $m_{0}<m_{1}<\cdots$, which we can use to define an inverse system $\{C_{N}\left(\mathcal{B}_{m_{k}+r}\right),f_{k}\}$ for $\mathcal{B}$.

Corollary 5.4**.**

If $\mathcal{B}_{(\gamma)}$ is a color-complete semi-infinite braid with only finitely many crossings, then the inverse system assigned to $\mathcal{B}$ has an inverse limit $C_{N}\left(\mathcal{B}_{(\gamma)}\right)$ satisfying

[TABLE]

where $t^{-}$ is defined as in Equation (19) and $s$ is some other shift depending on the negative crossings present in $\mathcal{B}$.

Proof.

Let $r$ be as above; $\mathcal{B}_{(\gamma)}$ being color-complete ensures that $(\mathcal{B}^{r}_{\infty})_{(\gamma)}$ is color-complete and positive. Combining Lemma 2.6 and Theorem 4.17 we have

[TABLE]

where we’ve used the subsequence of complete full twists rather than the maximal purity sequence for simplicity.

Now we use Proposition 5.3 to expand each $C_{N}\left(\mathcal{B}_{r}\cdot\mathcal{F}^{k}\right)$ as a multicone along $C_{N}\left(\mathcal{B}_{r}\right)\simeq\mathbf{A}$. Every non-identity term in $\mathbf{A}$ has intermediate colorings of lesser color-size than $\gamma$, which means that each such term gets shifted in homological degree by some amount that grows with $k$ just as in the proof of Theorem 4.13. Thus each $C_{N}\left(\mathcal{B}_{r}\cdot\mathcal{F}^{k}\right)$ is chain homotopy equivalent to a complex with $\mathcal{F}^{k}$ in homological degree $t^{-}$, and other terms in higher homological degrees (once $k$ is large enough). This enables one to build quotient maps $F_{\ell}$ from our inverse system to the system for $\mathcal{F}^{\infty}$, whose cones live in larger and larger homological orders, allowing Proposition 2.7 to finish the argument as usual. The details are left to the reader. ∎

Corollary 5.5**.**

Given a positive semi-infinite color-complete braid $\tilde{\mathcal{B}}_{(\gamma)}$ on $n$ strands, the corresponding limiting complex $C_{N}\left(\tilde{\mathcal{B}}_{(\gamma)}\right)$ is well-defined up to a degree shift that depends on the negative crossings included in the choice of word representing $\tilde{\mathcal{B}}$. Equivalently, a Reidemeister II move on a semi-infinite braid induces the same degree shift on the limiting complex that it would induce on a finite braid (this shift depends on the colorings of the strands).

Proof.

This follows from Corollary 5.4 since we allow only finitely many Reidemeister moves. ∎

5.2 Horizontal splittings

Corollaries 5.2 and 5.4 use finite ‘vertical’ composition of color-pure braids. We also have a result utilizing ‘horizontal’ composition. Rather than set up special notation just for this case, we present a simplistic visual version of the relevant result. The reader can consult Corollary 3.8 in [AW] for a more detailed statement in the uni-colored case.

Corollary 5.6**.**

Suppose $\mathcal{B}_{(\gamma)}$ is a positive color-pure semi-infinite braid word that can be decomposed as

[TABLE]

for some finite $r\geq 0$ such that

• •

$\mathcal{B}^{0}_{r}$* is color-pure with respect to $\gamma$, and*

• •

each semi-infinite $\widehat{\mathcal{B}_{i}}$ (on $n_{i}<n$ strands) is color-complete with respect to the coloring $\widehat{\gamma_{i}}$ obtained from partitioning $\gamma$ as indicated.

Then there is a well-defined limiting complex $C_{N}\left(\mathcal{B}_{(\gamma)}\right)$ satisfying

[TABLE]

Proof.

As in Corollary 5.4 we use our value $r$ to define $C_{N}\left(\mathcal{B}_{(\gamma)}\right):=C_{N}\left(\mathcal{B}_{r}\right)\otimes C_{N}\left(\mathcal{B}^{r}_{\infty}\right)$. We then appeal to Lemma 2.6 and the ‘horizontal’ concatenation properties of $\mathbf{NFoam}$ to complete the proof. See the proof of Corollary 3.8 in [AW] for slightly more detail. ∎

5.3 Bi-infinite braids

For semi-infinite braids it was easy to consider a given coloring $\gamma$ as applying to the strands at the ‘start’ of the braid $\mathcal{B}$. In order to write down a well-defined limiting complex $C_{N}\left(\mathcal{B}\right)$ then, it was required that the coloring at the ‘end’ of the braid $\mathcal{B}$ was also fixed. Demanding that the ‘start’ and ‘end’ match naturally leads to the definition of color-purity for $\mathcal{B}$, as motivated by the purity (and hence color-purity) of the powers of the full twist.

If we wish to generalize to bi-infinite braids, we will need to alter our approach slightly.

Definition 5.7**.**

A bi-infinite braid word is a map $\mathcal{B}:\mathbb{Z}\rightarrow\mathfrak{G}_{n}$; the word is called positive if $\mathrm{Im}(\mathcal{B})\subset\mathfrak{G}_{n}^{+}$. Partial words $\mathcal{B}^{a}_{b}$ and truncated words $\mathcal{B}^{-\infty}_{a},\mathcal{B}^{b}_{\infty}$ are defined in the obvious way. We say $\mathcal{B}$ is colored from $\gamma$ to $\gamma^{\prime}$, and denote it $\mathcal{B}^{(\gamma)}_{(\gamma^{\prime})}$, if there exist two integers $\ell_{0}\leq m_{0}$, called starting points, such that the following properties hold.

• •

The partial word $\mathcal{B}^{\ell_{0}}_{m_{0}}$ can be colored as $(\mathcal{B}^{\ell_{0}}_{m_{0}})^{(\gamma)}_{(\gamma^{\prime})}$, and neither $\gamma$ nor $\gamma^{\prime}$ exist as intermediate colorings in $\mathcal{B}^{\ell_{0}}_{m_{0}}$.

• •

The truncated semi-infinite words $\mathcal{B}^{-\infty}_{\ell_{0}}$ and $\mathcal{B}^{m_{0}}_{\infty}$ are color-pure with respect to $\gamma$ and $\gamma^{\prime}$, respectively. (Here color-purity of $\mathcal{B}^{-\infty}_{\ell_{0}}$ is defined in the obvious way.)

In this case we have a function $\gamma(\cdot):\mathbb{Z}\rightarrow\{1,\dots,N\}^{n}$ of induced colorings between crossings as before, with two maximal purity sequences $\ell_{0}>\ell_{1}>\cdots$ and $m_{0}<m_{1}<\cdots$ satisfying $\gamma(\ell_{i})=\gamma$ and $\gamma(m_{i})=\gamma^{\prime}$ for all $i$.

Thus we visualize a colored bi-infinite braid word as having some central ‘starting word’, and ‘growing outwards’ from there:

[TABLE]

Now bi-infinite braids should be considered unchanged by finitely many Reidemeister moves as before, but also by shifts in the function $\mathcal{B}$ since there is no well-defined ‘starting point’ for the braid.

Definition 5.8**.**

Given a bi-infinite braid word $\mathcal{B}$ and a finite $s\in\mathbb{Z}$, the shifted braid word $\mathcal{B}[s]:\mathbb{Z}\rightarrow\mathfrak{G}_{n}$ is the map $\mathcal{B}[s](i):=\mathcal{B}(i-s)$. Then a bi-infinite braid $\tilde{\mathcal{B}}$ is an equivalence class of bi-infinite braid words up to finitely many braid moves and shifts, and as before we consider $\tilde{\mathcal{B}}$ positive if some word representing it is positive, and we can color $\tilde{\mathcal{B}}$ if we can color one (and thus all) of its representatives.

It should be clear that a colored positive bi-infinite braid $\mathcal{B}$ gives rise to inverse systems for $\mathcal{B}^{-\infty}_{\ell_{0}}$ and $\mathcal{B}^{m_{0}}_{\infty}$, which we can concatenate with $\mathcal{B}^{\ell_{0}}_{m_{0}}$ to define an inverse system for $\mathcal{B}$. Such a system would appear to depend on the choice of starting points $\ell_{0}<m_{0}$ in general. Still, this viewpoint makes it clear what color-completeness should mean.

Definition 5.9**.**

A positive colored bi-infinite braid word $\mathcal{B}^{(\gamma)}_{(\gamma^{\prime})}$ is called color-complete if, for some (and thus any) choice of starting points $\ell_{0}<m_{0}$ satisfying the coloring definition, both semi-infinite braid words $\mathcal{B}^{-\infty}_{\ell_{0}}$ and $\mathcal{B}^{m_{0}}_{\infty}$ are color complete with respect to $\gamma$ and $\gamma^{\prime}$, respectively. As usual, the positive braid $\tilde{\mathcal{B}}^{(\gamma)}_{(\gamma^{\prime})}$ is color-complete if some (and thus any) representative word for $\tilde{\mathcal{B}}$ is.

The following corollary provides a precise version of Theorem 1.3.

Corollary 5.10**.**

To a positive color-complete bi-infinite braid word $\mathcal{B}^{(\gamma)}_{(\gamma^{\prime})}$ we may assign an inverse system with limiting complex

[TABLE]

that is independent of the choice of starting points $\ell_{0}<m_{0}$ up to chain homotopy equivalence. Thus we may assign a corresponding limiting complex to any positive color-complete bi-infinite braid that is well-defined up to degree shifts allowing for Reidemeister II moves creating (or deleting) finitely many negative crossings in the representative word.

Proof.

For a fixed choice of starting points $\ell_{0}<m_{0}$ it is clear from Theorem 4.17 and Lemma 2.6 that our assumptions ensure that the inverse system has limiting complex as described. If we choose different starting points $\ell^{\prime}_{0}<m^{\prime}_{0}$, we partition $\mathcal{B}$ into separate pieces using all four starting points. Depending on the relative positions of the starting points, we will then have a color-pure finite braid available which can be absorbed into one of the limiting complexes on either end via Corollary 5.1. One case is illustrated below, with the $C_{N}\left(\cdot\right)$ notation omitted:

[TABLE]

The equivalence on the left is viewing $\mathcal{B}^{m_{0}}_{m^{\prime}_{0}}$ as color-pure with respect to $\gamma^{\prime}$, while the equivalence on the right is viewing $\mathcal{B}^{\ell_{0}}_{\ell^{\prime}_{0}}$ as color-pure with respect to $\gamma$.

With finitely many negative crossings in a word $\mathcal{B}$, we use a suitably modified version of Corollary 5.4 to get our result. Finite shifts are also easy to handle by shifting the starting points as well. Details are left to the reader. ∎

Remark 5.11*.*

We can apply similar (and simpler) reasoning to assign limiting complexes to positive semi-infinite braid words $\mathcal{B}$ colored from $\gamma$ to $\gamma^{\prime}$ (that is to say, $\gamma(0)=\gamma$ and $\gamma(a)=\gamma^{\prime}$ for infinitely many $a$). If we let $r$ be the smallest index for which $\gamma(r)=\gamma^{\prime}$, then we can decompose $\mathcal{B}=\mathcal{B}^{0}_{r}\mathcal{B}^{r}_{\infty}$ and conclude

[TABLE]

We leave it to the reader to fill in the details, including the passage to positive semi-infinite braids where a Reidemeister move may change the necessary value of $r$, but the limiting complex will remain the same up to chain homotopy equivalence (and degree shifts for Reidemeister II moves) thanks to Lemma 2.6 and Corollary 5.1.

Remark 5.12*.*

Definition 5.7 and Corollary 5.10 view bi-infinite braids as built ‘outwards’. This seems the most natural definition to us, or at least the most amenable to our methods in this paper. One could also imagine an infinite braid built ‘inwards’, perhaps by defining $\mathcal{B}$ as a ‘limit’ of a sequence of finite words where $\mathcal{B}_{i+1}$ is built by inserting various braids throughout $\mathcal{B}_{i}$. As long as such insertions are color-pure, this would preserve the overall coloring leading to a well-defined inverse system and the potential for a limiting complex as above. However, it is possible to have several non-color-pure insertions that, when taken together, maintain the colors at the endpoints. It seems unclear whether such a process could also produce an inverse system of maps leading to a well-defined limiting complex.