ScalingStacks

0NR8

Proof. The localization theorem of [10, 7.1] implies {T​Cn​(π’ž)}\{TC^{n}({\mathcal{C}})\} takes strict-exact sequences of spectral categories to strict exact sequences of small stable ∞\infty-categories. Thus, we need to show that T​Rn​(π’ž)TR^{n}({\mathcal{C}}) preserve filtered colimits. We know this for T​H​HTHH, and the result now follows inductively from consideration of the fundamental cofibration sequence (e.g., [39, 2.1.4])

T​H​H​(π’ž)Cpnβˆ’1⟢T​Rn​(π’ž)⟢T​Rnβˆ’1​(π’ž)THH({\mathcal{C}})_{C_{p^{n-1}}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}TR^{n}({\mathcal{C}})\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}TR^{n-1}({\mathcal{C}})

(where the left-hand term denotes the homotopy orbit space) and the fact that homotopy orbits commute with filtered colimits. ∎

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