ScalingStacks

A.9.1 Left, right, and bimodules for associative algebras[00J5]

We briefly review the theory of module \(\infty\)-categories from [Lur17, § 4]. There are \(\infty\)-operads \(\mathrm{LM}, \mathrm{RM}\) and \(\mathrm{BM}\) parametrizing pairs \((a, {}_{a}m)\) of an associative algebra object \(a\) along with a left module \(m\) over it, pairs \((a, m_{a})\) of an associative algebra with a right module, and triples \((a, b, {}_{a}m_b)\) of associative algebras \(a, b\) and a bimodule \(m\) between them, respectively. Forgetting the module \(m\) gives rise to operad maps \(\mathbb E_1 \rightarrow\mathrm{LM}\), \(\mathbb E_1 \rightarrow\mathrm{RM}\) and \(\mathbb E_1 \sqcup \mathbb E_1 \rightarrow\mathrm{BM}\).

An \(\mathrm{LM}\)-monoidal \(\infty\)-category \(\mathcal M\) amounts to a monoidal \(\infty\)-category \(\mathcal M_a\) together with a left module \(\infty\)-category \(\mathcal M_m\) over it. An \(\mathrm{LM}\)-algebra in such an \(\mathrm{LM}\)-monoidal \(\infty\)-category therefore consists of an \(\mathbb E_1\)-algebra in \(\mathcal M_a\) together with a left module in \(\mathcal M_m\). We denote the \(\infty\)-category of \(\mathrm{LM}\)-algebras in \(\mathcal M\) by \(\mathrm{LMod}(\mathcal M)\). Furthermore, pre-composing with the map \(\mathbb E_1 \rightarrow\mathrm{LM}\) induces a functor \(\mathrm{LMod}(\mathcal M) \rightarrow\mathrm{Alg}(\mathcal M_a)\). For an algebra \(A \in \mathrm{Alg}(\mathcal M_a)\), we denote the fiber of this functor at \(A\) by \(\mathrm{LMod}_A(\mathcal M_m)\), and call it the \(\infty\)-category of \(A\)-modules in \(\mathcal M_m\). If \(\mathcal M\) is a presentably \(\mathrm{LM}\)-monoidal \(\infty\)-category, then \(\mathrm{LMod}_A(\mathcal M_m)\) is also presentable [Lur17, Cor. 4.2.3.7].

Any monoidal \(\infty\)-category \(\mathcal C\) can be considered a \(\mathrm{LM}\)-monoidal \(\infty\)-category by setting \(\mathcal M_m = \mathcal M_a\) with its canonical left module action. In this case, \(\mathrm{LMod}_A(\mathcal C)\) carries a canonical right action by \(\mathcal C\)[Lur17, § 4.3.2], if \(\mathcal C\) is further presentably monoidal this exhibits \(\mathrm{LMod}_A(\mathcal C)\) as an object in \(\mathrm{RMod}_\mathcal C(\mathrm{Pr}^\mathrm{L})\).

We use analogous notation for \(\mathrm{RM}\) and \(\mathrm{BM}\)-monoidal \(\infty\)-categories and algebras; for example, in a \(\mathrm{BM}\)-monoidal \(\infty\)-category consisting of two monoidal \(\infty\)-categories \(\mathcal M_a\) and \(\mathcal M_b\) and an \(\mathcal M_a\)–\(\mathcal M_b\) bimodule \(\infty\)-category \(\mathcal M_m\), the fiber of \(\mathrm{BMod}(\mathcal M) \rightarrow\mathrm{Alg}_{\mathbb E_1}(\mathcal M_a) \times \mathrm{Alg}_{\mathbb E_1}(\mathcal M_b)\) at an algebra \(A\) and \(B\) is denoted \({}_{A}\mathrm{BMod}_{B}(\mathcal M)\) and is presentable if \(\mathcal M\) is a presentably \(\mathrm{BM}\)-monoidal \(\infty\)-category.