ScalingStacks

0NAU

Definition 4.5. Consider a link cobordism Σ⊂W\Sigma\subset W in a 4-manifold WW diffeomorphic to ℝ3×[0,1]{\mathbb{R}}^{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-balls of WW. Then 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}})

in two steps. First we pick a diffeomorphism ϕ:W→ℝ3×[0,1]\phi\colon W\to{\mathbb{R}}^{3}\times{[0,1]}, such that ϕout:=ϕ|Wout:Wout→ℝ3\phi_{\mathrm{out}}:=\phi|_{W_{\mathrm{out}}}\colon W_{\mathrm{out}}\to{\mathbb{R}}^{3} and ϕin:=ϕ|Win:Win→ℝ3\phi_{\mathrm{in}}:=\phi|_{W_{\mathrm{in}}}\colon W_{\mathrm{in}}\to{\mathbb{R}}^{3} are such that ϕin​(Σin)\phi_{\mathrm{in}}(\Sigma_{\mathrm{in}}) and ϕout​(Σout)\phi_{\mathrm{out}}(\Sigma_{\mathrm{out}}) are both generic and blackboard-framed. Then 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,Σ)​(η)​(ϕout)=KhRN​(ϕ⁡(Σ))​(η⁡(ϕin))\mathrm{KhR}_{N}(W,\Sigma)(\eta)(\phi_{\mathrm{out}})=\mathrm{KhR}_{N}(\phi(\Sigma))(\eta(\phi_{\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