ScalingStacks

0NR7

Proposition 10.8. The functor T​CnTC^{n} is a localizing invariant of stable ∞\infty-categories with values in the stable ∞\infty-category of spectra.

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