(1) Let $\mathcal F$ be a spherical fusion tensor category. Then Müger showed that $R=\bigoplus_{H\in\mathrm{Irr}(\mathcal F)} H\boxtimes H^\mathrm{op}$ canonically has the structure of a Frobenius algebra in $\mathcal F \boxtimes \mathcal F^\mathrm{op}$ and that the category of bimodules ${}_R(\mathcal F \boxtimes \mathcal F^\mathrm{op})_R$ has a braiding which makes it a modular tensor category equivalent to $Z(\mathcal F)$. Further, the "dual" Frobenius algebra is $\hat Q=I(1)$, where $I$ is the induction functor, ie the adjoint of the forgetful functor $F\colon Z(\mathcal F)\to \mathcal F$.

(2) Conversely, let $\mathcal C$ be a modular tensor category, then it is the center of a fusion category iff there is a Lagrangian algebra $A\in\mathcal C$, i.e. a commutative (Frobenius) algebra, such that $\dim A^2=\dim\mathcal C$. Namely, the right modules $\mathcal C_A$ have a tensor structure and $$Z(\mathcal C_A)=\mathcal C\cong\mathcal C\boxtimes \overline{\mathcal C_A^0}\cong \mathcal C\boxtimes \mathrm{Vect}\cong \mathcal C$$

Further, I conclude ${}_A\mathcal C_A\cong \mathcal C_A \boxtimes \mathcal C_A^\mathrm{op}$, because $\mathcal C_A^0\cong\mathrm{Vect}$.

Question: Let $A\in\mathcal C$ be a Lagrangian algebra. I guess it is true that $A$ and $\hat A$ by (2) are in of the form as in (1), ie $A\cong I(1)$ and $\hat A\cong R$. Is there any reference for such a result, which is citable?

Note: A special case when $\mathcal C \cong Z(\mathcal C_0)$ for $\mathcal C_0$ a unitary modular tensor category is contained implicitly in the subfactor literature http://arxiv.org/abs/math/0107127

I am particular interested and most comfortable with the case of unitary tensor categories, so feel free to add the right adjectives.

  • $C_A$ is a left $\mathcal C=Z(\mathcal C_A)$ module category. Then I guess, because $A$ is commutative, $A=[A,A]$ the (action) internal hom of $A$ seen as the trivial right $A$-module. If the action of $Z(\mathcal C_A)$ on $\mathcal C_A$ is simply $F(\,\cdot)\otimes -$, then this would show that $A \in \mathcal C$ is the full center of the tensor unit $A\in\mathcal C_A$, which is well-known to coincide with $I(1)$. – Marcel Bischoff Jun 12 '15 at 16:06

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.