Subsection 6.1. (0NS5) · ScalingStacks

6.1. Unstable version

Let us denote by $\mathrm{Pre}((\Cat_{\infty}^{\perf})^{\omega})_{*}$ the $\infty$ -category

\mathrm{Fun}(((\Cat_{\infty}^{\perf})^{\omega})^{\op},{\mathcal{T}}_{\infty})_{*}

of presheaves of pointed spaces on the essentially small $\infty$ -category $(\Cat_{\infty}^{\perf})^{\omega}$ of compact idempotent-complete small stable $\infty$ -categories.

0NMV

Lemma 6.4. Let ${\mathcal{D}}$ be a pointed presentable $\infty$ -category. Then, we have an equivalence of $\infty$ -categories

\mathrm{Fun}^{\mathrm{L}}(\mathrm{Pre}((\Cat_{\infty}^{\perf})^{\omega})_{*},{\mathcal{D}})\simeq\mathrm{Fun}_{\mathrm{flt}}(\Cat_{\infty}^{\perf},{\mathcal{D}})\,,

where the right-hand side denotes the $\infty$ -category of morphisms of $\infty$ -categories which preserve filtered colimits.

0NMW

Proof. The proof is a consequence of the equivalences

	$\displaystyle\mathrm{Fun}^{\mathrm{L}}(\mathrm{Pre}((\Cat_{\infty}^{\perf})^{\omega})_{*},{\mathcal{D}})$	$\displaystyle\simeq\mathrm{Fun}((\Cat_{\infty}^{\perf})^{\omega},{\mathcal{D}})$
		$\displaystyle\simeq\mathrm{Fun}_{\mathrm{flt}}(\Ind((\Cat_{\infty}^{\perf})^{\omega}),{\mathcal{D}})$
		$\displaystyle\simeq\mathrm{Fun}_{\mathrm{flt}}(\Cat_{\infty}^{\perf},{\mathcal{D}})\,,$

where the first follows from [52, 5.1.5.6] and the fact that ${\mathcal{D}}$ is pointed, and the last follows from corollary 4.25. ∎

Let

\phi\colon\Cat_{\infty}^{\perf}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\mathrm{Pre}((\Cat_{\infty}^{\perf})^{\omega})_{*}

be the functor obtained by first taking the Yoneda embedding and then restricting the presheaves to the category $(\Cat_{\infty}^{\perf})^{\omega}$ . Recall from corollary 5.24 that we can choose a fixed set ${\mathcal{E}}$ of representatives of split-exact sequences in $(\Cat_{\infty}^{\perf})^{\omega}$ . We denote by ${\mathcal{M}}_{\mathrm{add}}^{\mathrm{un}}$ the localization of $\mathrm{Pre}((\Cat_{\infty}^{\perf})^{\omega})_{*}$ [52, 5.5.4.15] with respect to the set of maps

(6.5)

\phi({\mathcal{C}})/\phi({\mathcal{A}})\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}\phi({\mathcal{B}})\,,

where ${\mathcal{A}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{C}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{B}}$ is a split-exact sequence in ${\mathcal{E}}$ . Finally, let ${\mathcal{U}}_{\mathrm{add}}^{\mathrm{un}}$ be the composite

(6.6)

where $\gamma$ is the localization functor.

0NMX

Theorem 6.7. The functor ${\mathcal{U}}_{\mathrm{add}}^{\mathrm{un}}$ inverts Morita equivalences, preserves filtered colimits, and sends split-exact sequences in $\Cat_{\infty}^{\ex}$ to cofiber sequences in ${\mathcal{M}}_{\mathrm{add}}^{\mathrm{un}}$ . Moreover, ${\mathcal{U}}_{\mathrm{add}}^{\mathrm{un}}$ is universal with respect to these properties, i.e., given any pointed presentable $\infty$ -category ${\mathcal{D}}$ , we have an equivalence of $\infty$ -categories

({\mathcal{U}}_{\mathrm{add}}^{\mathrm{un}})^{\ast}:\mathrm{Fun}^{\mathrm{L}}({\mathcal{M}}_{\mathrm{add}}^{\mathrm{un}},{\mathcal{D}})\stackrel{{\scriptstyle\sim}}{{\longrightarrow}}\mathrm{Fun}_{\mathrm{add}}^{\mathrm{un}}(\Cat_{\infty}^{\ex},{\mathcal{D}})\,,

where the right-hand denotes the full subcategory of $\mathrm{Fun}(\Cat_{\infty}^{\ex},{\mathcal{D}})$ of morphisms of $\infty$ -categories which satisfy the above conditions.

0NMY

Proof. The result follows from definition 2.14, lemma 6.4 and from the universal property of Bousfield localization (see section 2.5: The functor $\phi$ preserves filtered colimits and by proposition 5.27 any split-exact sequence can be approximated by a filtered colimit of split-exact sequences in ${\mathcal{E}}$ ). ∎

Andrew J. Blumberg, David Gepner, Goncalo Tabuada

Original source: arXiv:1001.2282v4

Metadata needs review: Citation author information differs from source metadata · Review queue