ScalingStacks

Proof. The first isomorphism is given by a 1-handle attachment to $(B^{4},\emptyset)$ as in Lemma 4.1. The second isomorphism can be proved similarly: Let $F$ be a lasagna filling of $S^{1}\times S^{3}$ and consider its intersection with a fiber $\{x\}\times S^{3}$. Up to a small isotopy, we may assume that the filling $F$ intersects $\{x\}\times S^{3}$ transversely (in lasagna sheet, not in input balls) and disjointly from $\{x\}\times\{\text{north pole}\}$. Then for small $\epsilon>0$, the intersection $F\cap[x-\epsilon,x+\epsilon]\times(S^{3}\setminus\text{north pole})$ is an identity cobordism on a link $K$. We replace this by a sum over pairs of input balls labelled with basis and dual basis elements of $\operatorname{KhR}_{N}(K)$ respectively. The resulting closed lasagna filling is supported in a single $B^{4}$ and can, thus, be identified with a scalar multiple of the empty filling. ∎