ScalingStacks

Let

M:Nโก((Cat๐’ฎ)c)โ€‹[Wโˆ’1]โŸถNโก((Cat๐’ฎ)c)โ€‹[Wโˆ’1]M\colon\mathrm{N}((\Cat_{\mathcal{S}})^{\mathrm{c}})[W^{-1}]\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\mathrm{N}((\Cat_{\mathcal{S}})^{\mathrm{c}})[W^{-1}]

denote the composite functor

(4.12) Nโก((Cat๐’ฎ)c)โ€‹[Wโˆ’1]\textstyle{\mathrm{N}((\Cat_{\mathcal{S}})^{\mathrm{c}})[W^{-1}]\ignorespaces\ignorespaces\ignorespaces\ignorespaces}ฮจtri\scriptstyle{\Psi_{\tri}}Catโˆžex\textstyle{\Cat_{\infty}^{\ex}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}Nโก(ฮฅ)\scriptstyle{\mathrm{N}(\Upsilon)}Nโก((LHโ€‹Cat๐’ฎ)fib)โ‰ƒNโก((Cat๐’ฎ)c)โ€‹[Wโˆ’1].\textstyle{\mathrm{N}((L^{H}\Cat_{\mathcal{S}})^{\textrm{fib}})\simeq\mathrm{N}((\Cat_{\mathcal{S}})^{\mathrm{c}})[W^{-1}].}

As the previous proposition suggests, Mโ€‹๐’œM{\mathcal{A}} is essentially the same as the pretriangulated spectral closure ๐’œ^tri\widehat{{\mathcal{A}}}_{\tri} of ๐’œ{\mathcal{A}}.

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