ScalingStacks

0NQF

Proposition 9.44. The FRF_{R}-module represented by any finite wedge R∨nR^{\lor n} is a compact generator of Ψ⁡(FR)\Psi(F_{R}) and the FR∞F^{\infty}_{R}-module represented by the countably infinite wedge R∨∞R^{\lor\infty} is a compact generator of Ψ⁡(F∞​R)\Psi(F^{\infty}R). In particular, we have equivalences Ψ⁡(R)≃Ψ⁡(EndR⁡(R∨n))≃Ψ⁡(FR)\Psi(R)\simeq\Psi(\End_{R}(R^{\lor n}))\simeq\Psi(F_{R}) and Ψ⁡(EndR⁡(R∨∞))≃Ψ⁡(FR∞)\Psi(\End_{R}(R^{\lor\infty}))\simeq\Psi(F^{\infty}_{R}).

0NQG

Proof. The statement about compact generators essentially follows by construction. Then the ∞\infty-categorical version of Schwede-Shipley’s Morita theorem [69], [53, §7.1.2], allows us to characterize these categories in terms of endomorphisms of the compact generator. ∎

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