Skip to main content
MathOverflow

Return to Question

link added (Author's final version made available with permission of the publisher, American Mathematical Society. License or copyright restrictions may apply to redistribution; see http://www.ams.org/publications/ebooks/terms)
Source Link
მამუკა ჯიბლაძე
მამუკა ჯიბლაძე
  • 18.4k
  • 3
  • 85
  • 175

Let $\mathcal{C}$ and $\mathcal{D}$ be two tensor categories (if necessary, assume they are fusion categories). Is the canonical braided monoidal functor $$\mathcal{Z}(\mathcal{C})\boxtimes\mathcal{Z}(\mathcal{D})\rightarrow\mathcal{Z}(\mathcal{C}\boxtimes\mathcal{D})$$ an equivalence?

NB: The two monoidal categories $\mathcal{Z}(\mathcal{C})\boxtimes\mathcal{Z}(\mathcal{D})$ and $\mathcal{Z}(\mathcal{C}\boxtimes\mathcal{D})$ have the same Frobenius-Perron dimension so it would be enough to show that the above functor is either injective or surjective in the sense of [EGNO]EGNO.

Let $\mathcal{C}$ and $\mathcal{D}$ be two tensor categories (if necessary, assume they are fusion categories). Is the canonical braided monoidal functor $$\mathcal{Z}(\mathcal{C})\boxtimes\mathcal{Z}(\mathcal{D})\rightarrow\mathcal{Z}(\mathcal{C}\boxtimes\mathcal{D})$$ an equivalence?

NB: The two monoidal categories $\mathcal{Z}(\mathcal{C})\boxtimes\mathcal{Z}(\mathcal{D})$ and $\mathcal{Z}(\mathcal{C}\boxtimes\mathcal{D})$ have the same Frobenius-Perron dimension so it would be enough to show that the above functor is either injective or surjective in the sense of [EGNO].

Let $\mathcal{C}$ and $\mathcal{D}$ be two tensor categories (if necessary, assume they are fusion categories). Is the canonical braided monoidal functor $$\mathcal{Z}(\mathcal{C})\boxtimes\mathcal{Z}(\mathcal{D})\rightarrow\mathcal{Z}(\mathcal{C}\boxtimes\mathcal{D})$$ an equivalence?

NB: The two monoidal categories $\mathcal{Z}(\mathcal{C})\boxtimes\mathcal{Z}(\mathcal{D})$ and $\mathcal{Z}(\mathcal{C}\boxtimes\mathcal{D})$ have the same Frobenius-Perron dimension so it would be enough to show that the above functor is either injective or surjective in the sense of EGNO.

Source Link
JeCl
JeCl
  • 1k
  • 5
  • 9

Drinfeld center of a Deligne tensor product

Let $\mathcal{C}$ and $\mathcal{D}$ be two tensor categories (if necessary, assume they are fusion categories). Is the canonical braided monoidal functor $$\mathcal{Z}(\mathcal{C})\boxtimes\mathcal{Z}(\mathcal{D})\rightarrow\mathcal{Z}(\mathcal{C}\boxtimes\mathcal{D})$$ an equivalence?

NB: The two monoidal categories $\mathcal{Z}(\mathcal{C})\boxtimes\mathcal{Z}(\mathcal{D})$ and $\mathcal{Z}(\mathcal{C}\boxtimes\mathcal{D})$ have the same Frobenius-Perron dimension so it would be enough to show that the above functor is either injective or surjective in the sense of [EGNO].