ScalingStacks

In the following we will also consider enriched 22-homs. For objects s,ts,t and 11-morphisms A,B:sβ†’tA,B\colon s\to t we define the bigraded π•œ\mathbbm{k}-modules:

(21) Hβˆ™β€‹(π…π¨πšπ¦Ndg)βˆ—β€‹(A,B):=⨁kβˆˆβ„€HomHβˆ™β€‹(π…π¨πšπ¦Ndg)⁑(A⁑{k},B)H^{\bullet}(\boldsymbol{\mathrm{Foam}}_{N}^{\mathrm{dg}})^{*}(A,B):=\bigoplus_{k\in{\mathbb{Z}}}\operatorname{Hom}_{H^{\bullet}(\boldsymbol{\mathrm{Foam}}_{N}^{\mathrm{dg}})}(A\{k\},B)

Here one grading, the quantum grading, is given by the displayed direct sum, while the other grading, the homological grading, is already internal to Hβˆ™β€‹(π…π¨πšπ¦Ndg)H^{\bullet}(\boldsymbol{\mathrm{Foam}}_{N}^{\mathrm{dg}}). Using the grading shift automorphisms, these enriched 22-homs admit composition maps and thus assemble into a bigraded π•œ\mathbbm{k}-linear enriched morphism category Hβˆ™β€‹(π…π¨πšπ¦Ndg)βˆ—β€‹(s,t)H^{\bullet}(\boldsymbol{\mathrm{Foam}}_{N}^{\mathrm{dg}})^{*}(s,t) whose objects are the 11-morphisms from ss to tt.

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