ScalingStacks

0N4W

Theorem 4.4. The functor Γ𝖼:π–²π—‰π–Ίπ–Όπ–Ύπ—Œπ–‘β†’π–₯π—Žπ—‡βŠ—β‘(ℳ​𝖿𝗅𝖽nB,π–²π—‰π–Ίπ–Όπ–Ύπ—Œ)\Gammac:\Space_{B}\rightarrow\Fun^{\otimes}(\mfld_{n}^{B},\Space) restricts as a fully faithful functor

π–²π—‰π–Ίπ–Όπ–Ύπ—Œπ–‘β‰₯𝗇β†ͺ𝐇⁑(ℳ​𝖿𝗅𝖽nB,π–²π—‰π–Ίπ–Όπ–Ύπ—Œ)\Space_{B}^{\geq n}~\hookrightarrow~\mathbf{H}(\mfld_{n}^{B},\Space)

from nn-connective retractive spaces over BB to homology theories. The essential image consists of those β„±\mathcal{F} for which the restriction β„±|π’Ÿβ€‹π—‚π—Œπ—„π—‡π–‘\mathcal{F}_{|\disk_{n}^{B}} is group-like.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

David Ayala, John Francis

Original source: arXiv:1206.5522v6