ScalingStacks

0NB5

Definition 4.13. Consider a link cobordism Σ⊂W\Sigma\subset W in a 4-manifold WW diffeomorphic to S3×[0,1]S^{3}\times{[0,1]}. Let Σin⊂Win\Sigma_{\mathrm{in}}\subset W_{\mathrm{in}} and Σout⊂Wout\Sigma_{\mathrm{out}}\subset W_{\mathrm{out}} denote the boundary links in the incoming and outgoing boundary 3-spheres of WW. Now we define

KhRN​(W,Σ):KhRN​(Win,Σin)→KhRN​(Wout,Σout)\mathrm{KhR}_{N}(W,\Sigma)\colon\mathrm{KhR}_{N}(W_{\mathrm{in}},\Sigma_{\mathrm{in}})\to\mathrm{KhR}_{N}(W_{\mathrm{out}},\Sigma_{\mathrm{out}})

by first choosing a path pt⊂W∖Σp_{t}\subset W\setminus\Sigma from p0∈Win∖Σinp_{0}\in W_{\mathrm{in}}\setminus\Sigma_{\mathrm{in}} to p1∈Wout∖Σoutp_{1}\in W_{\mathrm{out}}\setminus\Sigma_{\mathrm{out}}. Then we have W∖{(pt,t)}t∈[0,1]≅ℝ3×[0,1]W\setminus\{(p_{t},t)\}_{t\in{[0,1]}}\cong{\mathbb{R}}^{3}\times{[0,1]} and we declare KhRN​(W,Σ)​(η)\mathrm{KhR}_{N}(W,\Sigma)(\eta), for a flat section η∈KhRN​(Win,Σin)\eta\in\mathrm{KhR}_{N}(W_{\mathrm{in}},\Sigma_{\mathrm{in}}), to be the unique flat section of KhRN​(Wout,Σout)\mathrm{KhR}_{N}(W_{\mathrm{out}},\Sigma_{\mathrm{out}}) with value

KhRN​(W,Σ)​(η)​(pout)=KhRN​(W∖{(pt,t)}t∈[0,1],Σ)​(η⁡(pin))\mathrm{KhR}_{N}(W,\Sigma)(\eta)(p_{\mathrm{out}})=\mathrm{KhR}_{N}(W\setminus\{(p_{t},t)\}_{t\in{[0,1]}},\Sigma)(\eta(p_{\mathrm{in}}))

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

Scott Morrison, Kevin Walker, Paul Wedrich

Original source: arXiv:1907.12194v5