The half-liberated bistochastic quantum groups are the elements of a sequence of compact matrix quantum groups introduced by Weber in [Web12]. Each interpolates the modified bistochastic group (and thus the bistochastic group ) and the freely modified bistochastic quantum group of the corresponding dimension .
Given , the half-liberated bistochastic quantum group is the compact matrix quantum group where organizes the generators of the (unital) universal C*-algebra
where is the complex conjugate of and the transpose, where is the identity -matrix and where is the unit of the universal -algebra.
The definition can also be expressed by saying that the fundamental corpresentation matrix of is bistochastic# and satisfies the half-commutation relations.
The fundamental corepresentation matrix of is in particular orthogonal. Hence, is a compact quantum subgroup of the free orthogonal quantum group .
Moreover, is also bistochastic# especially, implying that is a compact quantum subgroup of the freely modified bistochastic quantum group , one of the free counterparts of the bistochastic group (and the modified bistochastic group ).
If denotes the closed two-sided ideal of generated by the relations for any , then is isomorphic to the -algebra of continuous functions on the modified bistochastic group , the subgroup of given by signed bistochastic matrices. Hence, is a compact quantum supergroup of .
The half-liberated bistochastic quantum groups are an easy family of compact matrix quantum groups, i.e., the intertwiner spaces of their corepresentation categories are induced by a category of partitions. More precisely, it is the category of partitions of even size with small blocks and even distances between legs that induces the corepresentation categories of . Canonically, it is generated by the set of partitions.