ScalingStacks

For \(\mathbb V\in \mathrm{CAlg}(\mathrm{Pr}^{\mathrm{L},\mathrm{c}})\), \(A, B \in \mathrm{Alg}(\mathbb V)\) and \({}_{A}M_B \in{}_A\mathrm{BMod}_B(\mathbb V)\), the functor \[- \otimes_{A}M \colon \mathrm{RMod}_{A}(\mathbb V) \rightarrow\mathrm{RMod}_{B}(\mathbb V)\] preserves compact objects if and only if \(M\), viewed as a right \(B\)-module, is a compact object in \(\mathrm{RMod}_{B}(\mathbb V)\). The equivalence from proposition 4.4.1.([008G]) restricts to an equivalence \[{}_{A}\mathrm{BMod}^{\mathrm{c}}_{B}(\mathbb V) \simeq \mathrm{Fun}^{L, \mathrm{c}}_{\mathbb V}(\mathrm{RMod}_A(\mathbb V), \mathrm{RMod}_B(\mathbb V)).\]

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

Yu Leon Liu, Aaron Mazel-Gee, David Reutter, Catharina Stroppel, Paul Wedrich

Original source: arXiv:2401.02956v2

    Original source · 2401.02956v2