ScalingStacks

0PC8

Remark 8.1.4. Proposition 8.1.3 generalizes and make more precise a result of Douglas and Manolescu [DouMa, §5.2].

Let (𝒵,𝐚)({\mathcal{Z}},{\mathbf{a}}) be a chord diagram where 𝒵=[0,1]{\mathcal{Z}}=[0,1]. Let Z~′=(0,∞)\tilde{Z}^{\prime}=(0,\infty), viewed as a curve with Z~o′=Z~=(0,1)\tilde{Z}^{\prime}_{o}=\tilde{Z}=(0,1) (with its usual orientation). We extend the equivalence relation from Z~\tilde{Z} to Z~′\tilde{Z}^{\prime} by having all points of [1,∞)[1,\infty) alone in their class. Let Z′=Z~′/∼Z^{\prime}=\tilde{Z}^{\prime}/\!\sim. We have Zo′=ZoZ^{\prime}_{o}=Z_{o}. Let M=Ze​x​c′M=Z^{\prime}_{exc} be the image of 𝐚{\mathbf{a}} in Z′Z^{\prime}. Let ξ:𝐑>0→Z′,x↦x+1\xi:{\mathbf{R}}_{>0}\to Z^{\prime},\ x\mapsto x+1. Note that ξ\xi is outgoing for Z′Z^{\prime}.

The lax 22-representation underlying the 22-representation on 𝒮M​(Z)=𝒮M​(Z′){\mathcal{S}}_{M}(Z)={\mathcal{S}}_{M}(Z^{\prime}) provided by Proposition 8.1.3 is the “bottom algebra module” constructed by Douglas and Manolescu, via the identification of §5.7.

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

Andrew Manion, Raphael Rouquier

Original source: arXiv:2009.09627v2