ScalingStacks

[004Y]

Corollary 3.3.6.

The following hold.

  1. The symmetric monoidal structure of \({\mathrm{Pr}^{\mathrm{L}}_{\mathrm{add}}}\) restricts to a presentably symmetric monoidal structure on the subcategory \(\mathrm{Pr}^{\mathrm{L}, \mathrm{cp}}_{\mathrm{add}}\), which induces a presentably symmetric monoidal structure on the \(\infty\)-category \(\mathrm{add}\) via the equivalence \(\mathcal P^{\Sigma}\colon \mathrm{add}\xrightarrow{\simeq} \mathrm{Pr}^{\mathrm{L}, \mathrm{cp}}_{\mathrm{add}}\).

  2. The symmetric monoidal structure of \({\mathrm{Pr}^{\mathrm{L}}_{\mathrm{st}}}\) restricts to a presentably symmetric monoidal structure on the subcategory \(\mathrm{Pr}^{\mathrm{L}, \mathrm{c}}_{\mathrm{st}}\rightarrow{\mathrm{Pr}^{\mathrm{L}}_{\mathrm{st}}}\), which induces a presentably symmetric monoidal structure on the \(\infty\)-category \(\mathrm{st}\) via the equivalence \(\operatorname{Ind}\colon \mathrm{st}\xrightarrow{\simeq} \mathrm{Pr}^{\mathrm{L}, \mathrm{c}}_{\mathrm{st}}\).

[004Z]

Proof.

Since \(\mathrm{Pr}^{\mathrm{L}, \mathrm{cp}}_{\mathrm{add}}\) and \(\mathrm{Pr}^{\mathrm{L}, \mathrm{c}}_{\mathrm{st}}\) are module categories by lemma 3.3.5, they inherit via proposition 3.1.8.([0032]) presentably symmetric monoidal structures from the presentably symmetric monoidal categories \(\mathrm{Pr}^{\mathrm{L},\mathrm{c}}\) and \(\mathrm{Pr}^{\mathrm{L},\mathrm{cp}}\) (see proposition 3.2.10), respectively. Symmetric monoidality of the functors \(\mathrm{Pr}^{\mathrm{L}, \mathrm{c}}_{\mathrm{st}}\rightarrow{\mathrm{Pr}^{\mathrm{L}}_{\mathrm{st}}}\) and \(\mathrm{Pr}^{\mathrm{L}, \mathrm{cp}}_{\mathrm{add}}\rightarrow{\mathrm{Pr}^{\mathrm{L}}_{\mathrm{add}}}\) follows from symmetric monoidality of \(\mathrm{Pr}^{\mathrm{L},\mathrm{c}}\rightarrow\mathrm{Pr}^\mathrm{L}\) and \(\mathrm{Pr}^{\mathrm{L},\mathrm{cp}}\rightarrow\mathrm{Pr}^\mathrm{L}\). ◻

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