ScalingStacks

0MXI

Proposition 2.10. Let ๐’ž\mathcal{C} and ๐’Ÿ\mathcal{D} be triangulated categories with bounded weight structures and F:๐’žโ†’๐’ŸF:\mathcal{C}\to\mathcal{D} be a weight exact functor. Assume that there is an enhancement to a functor F:๐’žโˆžโ†’๐’ŸโˆžF:\mathcal{C}_{\infty}\to\mathcal{D}_{\infty} between stable โˆž\infty-categories. Then

  1. (1)

    The following diagram of functors commutes up to natural isomorphism

    ๐’ž{\lx@inpgf@ignorespaces\mathcal{C}}๐’Ÿ{\lx@inpgf@ignorespaces\mathcal{D}}Kbโก(๐’žw=0){\lx@inpgf@ignorespaces\operatorname{K}^{b}(\mathcal{C}^{w=0})}Kbโก(๐’Ÿw=0).{\lx@inpgf@ignorespaces\operatorname{K}^{b}(\mathcal{D}^{w=0}).}t\scriptstyle{\lx@inpgf@ignorespaces t}F\scriptstyle{\lx@inpgf@ignorespaces F}t\scriptstyle{\lx@inpgf@ignorespaces t}Kbโก(F)\scriptstyle{\lx@inpgf@ignorespaces\operatorname{K}^{b}(F)}
  2. (2)

    If ๐’žโˆž\mathcal{C}_{\infty} is symmetric monoidal and ๐’žwโ‰ฅ0\mathcal{C}^{w\geq 0}and ๐’žwโ‰ค0\mathcal{C}^{w\leq 0} are closed with respect to the monoidal structures then the weight complex functor can be turned into a symmetric monoidal functor.

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

Jens Niklas Eberhardt, Catharina Stroppel

Original source: arXiv:2109.00305v2