ScalingStacks

0NYL

Example 5.10. Let ๐’ž\mathcal{C} be an โ„ฐ1\mathcal{E}_{1}-algebra in ๐’ซโ€‹rL\mathcal{P}r^{\rm L} (so ๐’ž\mathcal{C} is a presentable monoidal โˆž\infty-category whose monoidal structure distributes over colimits). Then left modules for the monoidal โˆž\infty-category U๐’žU_{\mathcal{C}} are equivalent to ๐’ž\mathcal{C}-bimodules. In particular, we have an equivalence U๐’žโ‰ƒ๐’žโŠ—๐’žopU_{\mathcal{C}}\simeq\mathcal{C}\otimes\mathcal{C}^{\rm op}, where here ๐’žop\mathcal{C}^{\rm op} denotes the โˆž\infty-category ๐’ž\mathcal{C} equipped with the opposite monoidal structure. As a consequence, we see that in this case, the preceding general definition of โ„ฑ\mathcal{F}-Hochschild cohomology recaptures the notion of the Drinfeld center introduced earlier.

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