Theorem 4.7 (0NGE) · ScalingStacks

0NGE

Theorem 4.7. Let $W_{1}=\natural^{m}(S^{1}\times B^{3})$ with a nullhomologous link $L\subset\partial W_{1}$ in the boundary that intersects the belt spheres of the 1-handles transversely in $2p_{i}$ points for $1\leq i\leq m$ . Let $R\subset S^{3}\setminus\bigsqcup_{i}(B_{i}\cup\overline{B_{i}})$ denote the tangle obtained from $L$ by cutting open along the belt spheres. Then we have an isomorphism:

\bigoplus_{\begin{subarray}{c}\mathrm{tangles}~T_{i}\\ |\partial T_{i}|=2p_{i}\end{subarray}}\operatorname{KhR}_{N}(R\cup\bigsqcup_{i}(T_{i}\sqcup\overline{T_{i}}),\mathbbm{k})\{(\textstyle\sum_{i}p_{i})(N-1)\}\big/\sim\;\xrightarrow{\cong}\;\mathcal{S}_{0}^{N}(W_{1};L,\mathbbm{k})

where the relation $\sim$ is given by taking coinvariants for the actions of $\mathcal{S}_{0}^{N}(B^{3};P_{p_{i}},\mathbbm{k})$ , i.e. by identifying the images of the actions

for all pairs of tangles $T_{i}$ , $T^{\prime}_{i}$ with boundary $P_{p_{i}}$ . (Here we have omitted a global grading shift.)

0NGF

Proof. The map is defined by first considering the direct sum of the gluing morphisms

\operatorname{KhR}_{N}(R\cup\bigsqcup_{i}(T_{i}\sqcup\overline{T_{i}}),\mathbbm{k})\{(\textstyle\sum_{i}p_{i})(N-1)\}\to\mathcal{S}_{0}^{N}(W_{1};L,\mathbbm{k})

from (17). The coinvariants for the actions of $\mathcal{S}_{0}^{N}(B^{3};P_{p_{i}},\mathbbm{k})$ clearly lie in the kernel, so we get an induced map from the indicated quotient to $\mathcal{S}_{0}^{N}(W_{1};L,\mathbbm{k})$ , which we again call the gluing map. It is surjective by Lemma 4.4, so it remains to prove injectivity.

Let $F_{1},F_{2}$ be two equivalent linear combinations of lasagna fillings in $\mathcal{S}_{0}^{N}(W_{1};L,\mathbbm{k})$ , and let $G_{1},G_{2}$ be respective preimages under the gluing map. We want to show that $G_{1}$ and $G_{2}$ are equivalent. Without loss of generality, we may assume that $F_{1}$ and $F_{2}$ are individual lasagna fillings (rather than linear combinations) and that they differ by a single move as in Lemma 2.1 with the relevant input ball fixed and disjoint from the cocores of the 1-handles in $W_{1}$ . If $F_{1}$ and $F_{2}$ differ by a replacement inside the fixed input ball or an isotopy supported away from the cocores, then $G_{1}$ and $G_{2}$ are equal in $\operatorname{KhR}_{N}(R\cup\bigsqcup_{i}(T_{i}\sqcup\overline{T_{i}}),\mathbbm{k})$ . If $F_{1}$ and $F_{2}$ differ by an isotopy supported in a neighborhood of the cocores, then $G_{1}$ or $G_{2}$ differ by an element of the subspace factored out. Since every isotopy of lasagna fillings can be factored in this way, we get that $G_{1}$ and $G_{2}$ are equivalent. ∎