ScalingStacks

0NQB

Definition 9.41. Let RR be a connective A∞A_{\infty} ring spectrum. We set

M​R=colimn⁡MapR​(R∨n,R∨n),MR=\colim_{n}\mathrm{Map}_{R}(R^{\lor n},R^{\lor n}),

the nonunital A∞A_{\infty} ring spectrum of finite RR-valued matrices. We write L​RLR for the A∞A_{\infty} ring spectrum of locally finite matrices, i.e. the connective A∞A_{\infty} ring spectrum obtained as the homotopy pullback

L​R\textstyle{LR\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}EndR⁡(R∨∞)\textstyle{\End_{R}(R^{\lor\infty})\ignorespaces\ignorespaces\ignorespaces\ignorespaces}H​ℓ​π0​R\textstyle{H\ell\pi_{0}R\ignorespaces\ignorespaces\ignorespaces\ignorespaces}H​Endπ0​R⁡(π0​R∨∞),\textstyle{H\End_{\pi_{0}R}(\pi_{0}R^{\lor\infty}),}

where here HH denotes the Eilenberg-Mac Lane spectrum 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