ScalingStacks

0NJG

Proposition 2.9. A spectral functor F:π’œβ†’β„¬F\colon{\mathcal{A}}\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{B}} is

  • β€’

    a triangulated equivalence if and only if the induced derived functor

    𝕃F!:π’Ÿtri(π’œ)βŸΆπ’Ÿtri(ℬ)\mathbb{L}F_{!}\colon{\mathcal{D}}_{\tri}({\mathcal{A}})\mathchoice{\longrightarrow}{\rightarrow}{\rightarrow}{\rightarrow}{\mathcal{D}}_{\tri}({\mathcal{B}})

    is an equivalence of (triangulated) categories,

  • β€’

    a Morita equivalence if and only if the induced derived functor

    𝕃F!:π’Ÿperf(π’œ)βŸΆπ’Ÿperf(ℬ)\mathbb{L}F_{!}\colon{\mathcal{D}}_{\perf}({\mathcal{A}})\longrightarrow{\mathcal{D}}_{\perf}({\mathcal{B}})

    is an equivalence of (triangulated) categories.

0NJH

Proof. This follows immediately from [11, 5.7]. ∎

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