ScalingStacks

0NGS

Remark 4.17. One can also consider analogs of the skein modules 𝒮0N\mathcal{S}_{0}^{N} based on equivariant or deformed versions of 𝔤​𝔩N\mathfrak{gl}_{N} homology. For example, in one common choice for N=2N=2 one works over R′=𝕜⁡[X,α]/(X2=α)R^{\prime}=\mathbbm{k}[X,\alpha]/(X^{2}=\alpha). We can also try to compute the bigraded zeroth Hochschild homology of the 3-ball category with two points and of its ambient category H∙​(Chdg⁡(R′−modgr.fr.))∗H^{\bullet}(\operatorname{Ch}_{\mathrm{dg}}(R^{\prime}\mathrm{-mod}^{\mathrm{gr.fr.}}))^{*} in this setting. We have already listed the indecomposable of the latter above: the chain complexes CkC^{k}. For k≥1k\geq 1 the enriched isomorphism algebra of the complex CkC^{k} is isomorphic to R′​[η]/(Xk=0)R^{\prime}[\eta]/(X^{k}=0) where η\eta is of bidegree (1,2​k)(1,2k). The trace classes of η\eta and its multiples are zero. Moreover, the trace class of XxX^{x} is zero for every x>0x>0. This leaves the trace classes of the identities of CkC^{k} for k≥0k\geq 0 and the trace class of XC0X_{C^{0}} as linearly independent — the zeroth Hochschild homology is not locally finite-dimensional. However, it is currently not known which CkC^{k} appear in complexes of (1,1)(1,1)-tangles. A copy of C3C^{3} appears in [24].

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