ScalingStacks

6.3.2. Lipshitz-Ozsváth-Thurston’s strands algebras

Fix n≥1n\geq 1. The differential algebra

𝒜⁡(n)=Endadd⁡(𝐅2​[ℋnf++])⁡(⨁I⊂𝐙/nI){\mathcal{A}}(n)=\operatorname{End}\nolimits_{\operatorname{add}\nolimits({\mathbf{F}}_{2}[{\mathcal{H}}_{n}^{f++}])}(\bigoplus_{I\subset{\mathbf{Z}}/n}I)

is the opposite of the strands algebra 𝒜L​O​T​(n){\mathcal{A}}_{LOT}(n) with nn places of [LiOzTh1, Definition 3.2].

There is a grading on 𝒜L​O​T​(n){\mathcal{A}}_{LOT}(n) by a group G′​(n)G^{\prime}(n) [LiOzTh1, §3.3.1]. This gives rise to a grading by G′​(n)oppG^{\prime}(n)^{{\operatorname{opp}\nolimits}} on 𝒜⁡(n){\mathcal{A}}(n).

The group G′​(n)oppG^{\prime}(n)^{\operatorname{opp}\nolimits} identifies with the index 22 subgroup ker⁡ϵ∩Γ[1,n]+f\ker\epsilon\cap\Gamma_{[1,n]^{+}}^{f} of Γ[1,n]+f\Gamma_{[1,n]^{+}}^{f} via (r,α)↦(−r,−α)(r,\alpha)\mapsto(-r,-\alpha) (cf Remark 6.2.6 and the identification of Γ[1,n]+\Gamma_{[1,n]^{+}} with the set 12​𝐙×Rn\frac{1}{2}{\mathbf{Z}}\times R_{n} before Lemma 6.2.7). Via this isomorphism, the G′​(n)oppG^{\prime}(n)^{{\operatorname{opp}\nolimits}}-grading on 𝒜⁡(n){\mathcal{A}}(n) comes from our Γ[1,n]+f\Gamma_{[1,n]^{+}}^{f}-grading on ℋnf++{\mathcal{H}}_{n}^{f++}.

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

Andrew Manion, Raphael Rouquier

Original source: arXiv:2009.09627v2