ScalingStacks

0MXC

Proposition 2.5. Let ๐’žโˆž\mathcal{C}_{\infty} and ๐’Ÿโˆž\mathcal{D}_{\infty} be stable โˆž\infty-categories. Assume that their homotopy categories ๐’ž=hโก๐’žโˆž\mathcal{C}=\operatorname{h}\!\mathcal{C}_{\infty} and ๐’Ÿ=hโก๐’Ÿโˆž\mathcal{D}=\operatorname{h}\!\mathcal{D}_{\infty} are equipped with bounded weight structures. The hearts ๐’žโˆžw=0\mathcal{C}_{\infty}^{w=0} and ๐’Ÿโˆžw=0\mathcal{D}_{\infty}^{w=0} are the full subcategories of ๐’žโˆž\mathcal{C}_{\infty} and ๐’Ÿโˆž\mathcal{D}_{\infty} consisting of all objects in ๐’žw=0\mathcal{C}^{w=0} and ๐’Ÿw=0,\mathcal{D}^{w=0}, respectively. Then restriction gives an equivalence of categories

Res:Funwโˆ’exโก(๐’žโˆž,๐’Ÿโˆž)โ†’Funaddโก(๐’žโˆžw=0,๐’Ÿโˆžw=0)\operatorname{Res}:\operatorname{Fun}^{\operatorname{w-ex}}(\mathcal{C}_{\infty},\mathcal{D}_{\infty})\to\operatorname{Fun}^{\operatorname{add}}(\mathcal{C}_{\infty}^{w=0},\mathcal{D}_{\infty}^{w=0})

between the โˆž\infty-categories of exact functors from ๐’žโˆž\mathcal{C}_{\infty} to ๐’Ÿโˆž\mathcal{D}_{\infty} that induce weight exact functors from ๐’ž\mathcal{C} to ๐’Ÿ\mathcal{D} and of additive functors between the hearts ๐’žโˆžw=0\mathcal{C}_{\infty}^{w=0} and ๐’Ÿโˆžw=0.\mathcal{D}_{\infty}^{w=0}.

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

Jens Niklas Eberhardt, Catharina Stroppel

Original source: arXiv:2109.00305v2