ScalingStacks

0NJ6

Theorem 1.12. (see theoremย 10.3) Given an additive invariant

E:CatโˆžexโŸถ๐’ฎโˆžE:\Cat_{\infty}^{\ex}\longrightarrow{\mathcal{S}}_{\infty}

with values in the stable โˆž\infty-category of spectra, we have a natural equivalence of spectra

Mapโก(K,E)โ‰ƒEโก(๐’ฎโˆžฯ‰),\mathrm{Map}(K,E)\simeq E({\mathcal{S}}_{\infty}^{\omega}),

where Mapโก(K,E)\mathrm{Map}(K,E) denotes the spectrum of natural transformations of additive invariants. The analogous result for localizing invariants holds. In the particular case where EE is topological Hochschild homology, we obtain an isomorphism

ฯ€0โ€‹Mapโ€‹(K,Tโ€‹Hโ€‹H)โ‰ƒฯ€0โ€‹Tโ€‹Hโ€‹Hโ€‹(๐’ฎโˆžฯ‰)โ‰ƒฯ€0โ€‹Tโ€‹Hโ€‹Hโ€‹(๐•Š)โ‰ƒโ„ค.\pi_{0}\mathrm{Map}(K,THH)\simeq\pi_{0}THH({\mathcal{S}}_{\infty}^{\omega})\simeq\pi_{0}THH(\mathbb{S})\simeq{\mathbb{Z}}.

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