ScalingStacks

0NQ4

Proof. This follows from the natural equivalence I​K​(−)≃I​K​(N⁡(−)​[W−1]​[Σ−1])I\mspace{-6.mu}K(-)\simeq I\mspace{-6.mu}K(\mathrm{N}(-)[W^{-1}][\Sigma^{-1}]) and the fact that cofiber sequence

I​K​(N⁡(𝒜)​[W−1]​[Σ−1])⟶I​K​(N⁡(ℬ)​[W−1]​[Σ−1])⟶I​K​(N⁡(𝒞)​[W−1]​[Σ−1])I\mspace{-6.mu}K(\mathrm{N}({\mathcal{A}})[W^{-1}][\Sigma^{-1}])\longrightarrow I\mspace{-6.mu}K(\mathrm{N}({\mathcal{B}})[W^{-1}][\Sigma^{-1}])\longrightarrow I\mspace{-6.mu}K(\mathrm{N}({\mathcal{C}})[W^{-1}][\Sigma^{-1}])

is a cofiber sequence because I​K​(−)I\mspace{-6.mu}K(-) is a localizing invariant. ∎

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