ScalingStacks

0NYK

Proposition 5.9 ([F2]). Let ๐’ž\mathcal{C} be a presentable symmetric monoidal โˆž\infty-category whose monoidal structure distributes over colimits.

To an โ„ฑ\mathcal{F}-algebra AA in ๐’ž\mathcal{C} there is functorially assigned associative algebra UAU_{A} such that there is a canonical equivalence ModAโ„ฑโ€‹(๐’ž)โ‰ƒModUAโ€‹(๐’ž)\mathrm{Mod}_{A}^{\mathcal{F}}(\mathcal{C})\simeq\mathrm{Mod}_{U_{A}}(\mathcal{C}) between โ„ฑ\mathcal{F}-AA-modules and left UAU_{A}-modules.

If โ„ฑ\mathcal{F} is the โ„ฐn\mathcal{E}_{n} operad, and the โ„ฐn\mathcal{E}_{n}-algebra structure on AA is obtained by restriction from an โ„ฐโˆž\mathcal{E}_{\infty}-algebra structure, then there is a canonical equivalence of associative algebras UAโ‰ƒSnโˆ’1โŠ—AU_{A}\simeq S^{n-1}\otimes A.

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

David Ben-Zvi, John Francis, David Nadler

Original source: arXiv:0805.0157v5