ScalingStacks

0NMC

Proposition 5.22. Let π’œβ†’β„¬β†’π’ž{\mathcal{A}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{B}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{C}} be a (split-) exact sequence of small stable ∞\infty-categories. Then there exists a (split-) exact sequence of small stable spectral categories

π’œ~βŸΆβ„¬~βŸΆπ’ž~\widetilde{{\mathcal{A}}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\widetilde{{\mathcal{B}}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\widetilde{{\mathcal{C}}}

such that Ξ¨perf​(π’œ~→ℬ~β†’π’ž~)\Psi_{\perf}(\widetilde{{\mathcal{A}}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\widetilde{{\mathcal{B}}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\widetilde{{\mathcal{C}}}) is naturally equivalent to π’œβ†’β„¬β†’π’ž{\mathcal{A}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{B}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{C}}.

0NMD

Proof. This follows from proposition 4.28. ∎

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

Andrew J. Blumberg, David Gepner, Goncalo Tabuada

Original source: arXiv:1001.2282v4