User Tools

Site Tools


category_of_non-crossing_two-colored_pair_partitions_with_neutral_blocks

Category of non-crossing two-colored pair partitions with neutral blocks

The category of non-crossing two-colored pair partitions with neutral blocks is a category of two-colored partitions inducing the co-representation categories of the free unitary quantum group.

Definition

By the category of non-crossing two-colored pair partitions with neutral blocks one denotes the subcategory of the category of all two-colored partitions $\Pscr^{\circ\bullet}$ whose morphism class is the set of all non-crossing pair partitions with neutral blocks. It was introduced by Tarrago and Weber in [TaWe18], Proposition 3.3 (a) under the name $\mathcal{O}_{\mathrm{loc}}$.

  • A two-colored partition $p\in\Pscr^{\circ\bullet}$ is called a pair partition (see category of all pair partitions in the un-colored case), if every block $B$ of $p$ satisfies $|B|=2$.
  • It is said to be non-crossing if there exist no blocks $B$ and $B'$ of $p$ with $B\neq B'$ and no legs $i,j\in B$ and $i',j'\in B'$ such that $i\prec i'\prec j$ and $i'\prec j\prec j'$ with respect to the cyclic order of $p$. (See also category of all non-crossing partitions in the un-colored case.)
  • $p$ is said to have neutral blocks if every block $B$ of $p$ has vanishing color sum $\sigma_p(B)=0$. In other words, the numbers of, on the one hand, upper $\bullet$-colored plus lower $\circ$-colored legs of $B$ and, on the other hand, upper $\circ$-colored plus lower $\bullet$-colored legs of $B$ coincide.
  • The name set of all non-crossing pair partitions partitions with neutral blocks is to be taken literally.

The set of non-crossing two-colored pair partitions with neutral blocks is the morphism set of the subcategory of $\Pscr^{\circ\bullet}$ generated by the empty set $\emptyset$ of two-colored partitions. It is the minimal category of two-colored partitions.

Associated unitary easy quantum groups

The category of non-crossing two-colored pair partitions with neutral blocks induces the co-representation categories of the free unitary quantum groups $(U_N^+)_{N\in \N}$, defined by Wang in [Wang95], Example 4.2.

References


[TaWe18] Tarrago, Pierre and Weber, Moritz, February 2018. The classification of tensor categories of two-colored non-crossing partitions. Journal of Combinatorial Theory, Series A, 154, pp.464–506.
[Wang95] Shuzhou Wang, 1995. Free products of compact quantum groups. Communications in Mathematical Physics, 167(3), pp.671–692.
category_of_non-crossing_two-colored_pair_partitions_with_neutral_blocks.txt · Last modified: 2021/11/23 11:56 (external edit)