Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Given a monoidal category $M$ one can consider its Drinfeld centre $Z(M)$. Objects of the Drinfeld centre are pairs $(m, \alpha)$ where $m$ is an object and $\alpha$ is an isomorphism $\alpha: - \otimes m \to m \otimes -$ satisfying some "obvious" conditions.

A simple and important example of a monoidal category is the category of $G$-equivariant sheaves of $k$-vector spaces on $Y \times Y$ where $Y$ is a finite $G$-set. The monoidal structure is given by

$V\otimes W = p_{13*} (p_{12}^*V \otimes p_{23}^* W)$

where $p_{ij} : Y \times Y \times Y \to Y \times Y$ denotes the projection map (in a hopefully obvious notation).

For example, if $Y$ is a point then one recovers the (tensor) category of representations of $G$. If $Y = G$ then one recovers a monoidal category equivalent vectors spaces graded by $G$. If $G$ is the trivial group then one obtains the tensor category of ``matrices of vector spaces'' over $Y$.

Now there is a result, which I have heard (by Ostrik) called ``Muerger's Morita invariance of Drinfeld centre''. It should have the consequence that, with $G$ and $Y$ as above:

The Drinfeld centre $Z(Sh_G(Y \times Y))$ does not depend on $Y$ up to equivalence.

(I guess the baby example of $G$ the trivial group explains the term ``Morita invariance''.)

My question is:

Where can I read about these results in the literature?

share|cite|improve this question

2 Answers 2

up vote 9 down vote accepted

To expand on Noah's answer, Müger shows that if two fusion categories are Morita equivalent, in the sense that there is an invertible bimodule between them, then their Drinfeld centers are equivalent. In fact, the reverse implication is also true: this is Theorem 3.1 in a different Etingof-Nikshych-Ostrik paper. So two fusion categories having equivalent centers is the same as Morita equivalence.

In your case, if $Y$ and $Y'$ are two $G$-sets, then $Sh_G(Y \times Y')$ is a bimodule from $Sh_G(Y \times Y)$ to $Sh_G(Y' \times Y')$ with the obvious left and right actions. This bimodule is invertible, with inverse $Sh_G(Y' \times Y)$. In other words, $$Sh_G(Y \times Y') \boxtimes_{Sh_G(Y' \times Y')} Sh_G(Y' \times Y) \cong Sh_G(Y \times Y)$$ as $Sh_G(Y \times Y)$-bimodules, and similarly with $Y$ and $Y'$ switched.

share|cite|improve this answer

A good place for reading about this is "Fusion categories and homotopy theory" by Etingof-Nikshych-Ostrik. Mueger's paper is

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.