ScalingStacks

Let π’œ{\mathcal{A}} be a small stable ∞\infty-category. We denote by V⁑(π’œ)V({\mathcal{A}}) the object

V⁑(π’œ)=colimnβ‘Ξ£βˆ’n​𝒰wlocκ¯​(Σκ(n)​(π’œ))V({\mathcal{A}})=\colim_{n}\Sigma^{-n}\underline{{\mathcal{U}}_{\mathrm{wloc}}^{\kappa}}(\Sigma_{\kappa}^{(n)}({\mathcal{A}}))

in β„³wlocΞΊΒ―\underline{{\mathcal{M}}_{\mathrm{wloc}}^{\kappa}} whose indexing maps are induced from the above diagram (9.14). Note that V⁑(π’œ)V({\mathcal{A}}) is functorial in π’œ{\mathcal{A}} and that we have a natural map 𝒰wlocκ¯​(π’œ)β†’V​(π’œ)\underline{{\mathcal{U}}_{\mathrm{wloc}}^{\kappa}}({\mathcal{A}})\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}V({\mathcal{A}}). We obtain then a well-defined functor VV along with a natural transformation:

(9.16) V⁑(βˆ’):Cat∞exβŸΆβ„³wlocΞΊΒ―\displaystyle V(-):\Cat_{\infty}^{\ex}\longrightarrow\underline{{\mathcal{M}}_{\mathrm{wloc}}^{\kappa}} 𝒰wlocΞΊΒ―β‡’V⁑(βˆ’).\displaystyle\underline{{\mathcal{U}}_{\mathrm{wloc}}^{\kappa}}\Rightarrow V(-)\,.

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