ScalingStacks

5.7. Douglas-Manolescu’s algebra-modules

Let us recall some aspects of Douglas-Manolescu’s theory [DouMa].

Note that Douglas and Manolescu work in the differential graded setting, and we translate their constructions to the differential setting.

Their nil-Coxeter 22-algebra [DouMa, §2.2] can be viewed as the same data as our monoidal category 𝒰{\mathcal{U}} (cf [DouMa, Remark 2.4]). A bottom-algebra module [DouMa, §2.4] for the nil-Coxeter 22-algebra is the same data as a lax bimodule 22-representation on a differential algebra AA, where a lax bimodule 22-representation on AA is defined to be a lax 22-functor Υ:𝒰→Bimod\Upsilon:{\mathcal{U}}\to\mathrm{Bimod} with Υ⁡(1)\Upsilon(1) the differential category with one object whose endomorphism ring is AA. They also consider top-algebra modules, where 𝒰{\mathcal{U}} above is replaced by 𝒰opp{\mathcal{U}}^{\operatorname{opp}\nolimits}. Using the isomorphism 𝒰→∼𝒰opp{\mathcal{U}}\mathrel{\mathop{\kern 0.0pt\to}\limits^{\sim}}{\mathcal{U}}^{\operatorname{opp}\nolimits} (§4.1.1), a top-algebra module can be viewed as a bottom-algebra module, hence as a lax bimodule 22-representation.

Douglas and Manolescu define a tensor product of a top algebra-module and a bottom algebra-module [DouMa, Definition 2.11]. This corresponds to our construction of a differential algebra AA as a tensor product ⊗⁣○{\hskip 1.9919pt\otimes\hskip-10.81218pt\bigcirc}. Note that they do not endow this tensor product with any algebra-module structure.

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

Andrew Manion, Raphael Rouquier

Original source: arXiv:2009.09627v2