ScalingStacks

Fixing nn, the maps ΨI×∂W1;Σ(n∙),α′\Psi_{I\times\partial W_{1};\Sigma(n\bullet),\alpha^{\prime}} on various summands in the construction of the skein lasagna module induce a map:

Ψ¯I×∂W1;Σ(n∙),α′:⨁α∈⟨α′⟩𝒮¯0N,α(W1;K,L)→⨁α∈⟨α′⟩𝒮¯0N,α(W1;K,L)\underline{\Psi}_{I\times\partial W_{1};\Sigma(n\bullet),\alpha^{\prime}}\colon\bigoplus_{\alpha\in\langle\alpha^{\prime}\rangle}\underline{\mathcal{S}\mkern-3.0mu}\mkern 3.0mu_{0}^{N,\alpha}(W_{1};K,L)\to\bigoplus_{\alpha\in\langle\alpha^{\prime}\rangle}\underline{\mathcal{S}\mkern-3.0mu}\mkern 3.0mu_{0}^{N,\alpha}(W_{1};K,L)

such that

(13) Ψ¯I×∂W1;Σ−,α′(v⊗Xn)=Ψ¯I×∂W1;Σ(n∙),α′(v).\underline{\Psi}_{I\times\partial W_{1};\Sigma_{-},\alpha^{\prime}}(v\otimes X^{n})=\underline{\Psi}_{I\times\partial W_{1};\Sigma(n\bullet),\alpha^{\prime}}(v).

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

Ciprian Manolescu, Kevin Walker, Paul Wedrich

Original source: arXiv:2206.04616v2