ScalingStacks

(8.4) Cone⁡(𝒰addκ¯​(𝒜)⟶𝒰addκ¯​(ℬ))⟶𝒰addκ¯​(ℬ/𝒜),\Cone\left(\underline{{\mathcal{U}}_{\mathrm{add}}^{\kappa}}({\mathcal{A}})\longrightarrow\underline{{\mathcal{U}}_{\mathrm{add}}^{\kappa}}({\mathcal{B}})\right)\longrightarrow\underline{{\mathcal{U}}_{\mathrm{add}}^{\kappa}}({\mathcal{B}}/{\mathcal{A}})\,,

where 𝒜→ℬ→ℬ/𝒜{\mathcal{A}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{B}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{B}}/{\mathcal{A}} is a strict-exact sequence in ℰwLκ¯\underline{{\mathcal{E}}_{\mathrm{wL}}^{\kappa}} (see section 5.5). Let 𝒰wlocκ¯\underline{{\mathcal{U}}_{\mathrm{wloc}}^{\kappa}} be the following composite

Cat∞perf⟶𝒰addκ¯ℳaddκ¯⟶γℳwlocκ¯,\Cat_{\infty}^{\perf}\stackrel{{\scriptstyle\underline{{\mathcal{U}}_{\mathrm{add}}^{\kappa}}}}{{\longrightarrow}}\underline{{\mathcal{M}}_{\mathrm{add}}^{\kappa}}\stackrel{{\scriptstyle\gamma}}{{\longrightarrow}}\underline{{\mathcal{M}}_{\mathrm{wloc}}^{\kappa}}\,,

where γ\gamma is the localization functor.

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