Questions tagged [drinfeld-center]

The Drinfeld center of a monoidal category, which is a braided monoidal category.

Filter by
Sorted by
Tagged with
13 votes
2 answers
2k views

Relationship between Hochschild cohomology and Drinfeld centers

Let $HH_*(A,N)$ (or $HH^*(A,N)$) be the Hochschild homology (or cohomology) of an associative algebra $A$ with coefficients in an $A$-bimodule $N$. I was reading nlab's entry on Hochschild cohomology ...
Samuel M's user avatar
  • 325
10 votes
3 answers
421 views

Generalization of Drinfeld double to comodule algebras

Let $ \mathcal C $ be a monoidal category. Then $ \mathcal C $ is both a left and right module category over itself. Moreover, the Drinfeld centre of $ \mathcal C $ can be defined as the category of ...
Joel Kamnitzer's user avatar
9 votes
1 answer
322 views

Is there a simple argument that shows that two unitary fusion categories are Morita equivalent if their Drinfeld centers are equal?

By Morita equivalent I mean that there is an invertible bi-module between the two fusion categories. [Feel free to replace the Drinfeld centers being "equal" by an appropriate categorial notion of "...
Andi Bauer's user avatar
  • 2,839
8 votes
0 answers
228 views

Equivalence of Yetter-Drinfeld modules to Drinfeld center: is there a purely categorical proof?

Let $H$ be an Hopf algebra over a field $k$, and let $\mathcal{C}$ be the monoidal category of left $H$-modules. It is known that the Drinfeld center of $\mathcal{C}$ is equivalent (as a braided ...
Antoine Labelle's user avatar
8 votes
0 answers
211 views

Categorical interpretation of quantum double $D(A,B,\eta)$

It is known that the Drinfel'd double $D(A)$ of a Hopf algebra $A$ is characterized by the following two properties: The category of left $D(A)$-modules $_{D(A)}\mathcal{M}$ is equivalent to the ...
Bipolar Minds's user avatar
8 votes
0 answers
374 views

Which Drinfeld centers are balanced monoidal, i.e. have a twist?

A twist is an automorphism $\theta$ of the identity functor of a monoidal category with braiding $c$, such that $\theta_{X \otimes Y} = c_{Y,X} c_{X,Y} (\theta_X \otimes \theta_Y)$. A braided monoidal ...
Manuel Bärenz's user avatar
7 votes
2 answers
469 views

Representations of $D(G)$ as an object in the center of $\operatorname{Rep}(G)$

Let $G$ be a finite group and $D(G)$ its quantum double. As in my previous question, a typical irreducible representation (finite dimensional over $\mathbb{C}$) is labeled by $(\theta,\pi)$, where $\...
Student's user avatar
  • 4,760
7 votes
0 answers
259 views

Why are Levin-Wen/Turaev-Viro models said to be non-chiral?

I'd like to bring together the following two notions of "non-chiral": On the abstract algebraic side, a modular fusion category describing the anyon content of some physical system is said to be non-...
Andi Bauer's user avatar
  • 2,839
6 votes
1 answer
339 views

Is there a strongly noncommutative fusion category?

A fusion category is called noncommutative if its Grothendieck ring is noncommutative. Let us call a fusion category strongly noncommutative if every fusion category Morita equivalent to it (i.e. same ...
Sebastien Palcoux's user avatar
5 votes
1 answer
180 views

Fusion category and induction matrix to its Drinfeld center: combinatorial properties

This question is inspired by this paper of Scott Morrison and Kevin Walker. Consider a fusion category $\mathcal{C}$ of rank $r$, and its Drinfeld center $Z(\mathcal{C})$ of rank $s$. Let $N_i = (n_{...
Sebastien Palcoux's user avatar
5 votes
0 answers
163 views

Strongly simple fusion categories: the known examples?

A fusion category is called simple if its fusion subcategories are just $Vec$ and itself. Let us call a fusion category strongly simple if every fusion category Morita equivalent to it (i.e. same ...
Sebastien Palcoux's user avatar
4 votes
1 answer
358 views

Is the central charge of a Drinfeld center always 0?

(If yes, is there a reference for this statement?)
Frank's user avatar
  • 41
4 votes
2 answers
273 views

Relationship between fusion category and its Drinfel'd center

Is it true that given a fusion category $\mathcal{C}$ and its Drinfel'd center $Z(\mathcal{C})$, there is a fully faithful functor $F:\mathcal{C}\hookrightarrow Z(\mathcal{C})$? I.e. can $\mathcal{C}$ ...
Meths's user avatar
  • 277
4 votes
0 answers
174 views

Is there a strongly noncommutative Grothendieck ring?

This sequel of Is there a strongly noncommutative fusion category? is motivated to know whether every fusion category is "equivalent" (in some sense) to one with a commutative Grothendieck ...
Sebastien Palcoux's user avatar
4 votes
0 answers
94 views

Explicit construction of the Drinfeld double for quasi-bialgebras

Let $A$ be a quasi-bialgebra over a field $k$ and $A$-$\mathrm{mod}$ be the category of finite dimensional left $A$-modules. Since $A$-$\mathrm{mod}$ is a monoidal category, its Drinfel’d center $\...
yohei ohta's user avatar
4 votes
0 answers
175 views

Quantum dimension in the Drinfeld center

Let $\mathcal{C}$ be a spherical tensor category. It is known that the Drinfeld center of $\mathcal{C}$ is modular (and therefore also spherical), see for example, Corollary 8.20.14 in [1]. Recall the ...
Arthur's user avatar
  • 1,369
4 votes
0 answers
193 views

Can non-chiral 3D TQFTs be extended to non-orientable manifolds whereas chiral ones cannot?

As far as I know, when talking about TQFT, one usually means TQFTs on oriented manifolds with boundary (cobordisms) It appears to me that the Turaev-Viro-Barrett-Westbury state-sum construction can ...
Andi Bauer's user avatar
  • 2,839
4 votes
0 answers
367 views

How does the relative Drinfeld center interact with the relative Deligne tensor product?

Let $\mathcal{C}$ be a fusion category, and $\mathcal{M}, \mathcal{N}$ semisimple $(\mathcal{C}, \mathcal{C})$-bimodule categories. The left $\mathcal{C}$-action is denoted as $- \triangleright - \...
Manuel Bärenz's user avatar
3 votes
1 answer
288 views

Is there a definition of Heisenberg double for quasi-Hopf algebras?

$\newcommand{\dmod}{\text{-}\mathrm{mod}}$Let $A$ be a finite-dimensional quasi-Hopf algebra over a field $k$ and $A\dmod$ be the category of finite dimensional left $A$-modules. Since $A\dmod$ is a ...
yohei ohta's user avatar
3 votes
0 answers
134 views

How to calculate the Lagrangian subgroup of $G\oplus\hat{G}$?

Let $G$ be an finite abelian group. We have known the following things: Denote the Drinfeld center of $\operatorname{Rep}(G)$ by $\mathfrak{Z}_1(\operatorname{Rep}...
Bai's user avatar
  • 31