Free quantum analogue of Coxeter group $D_4$

Abstract

We define the quantum group $D_4^{+}$ -- a free quantum version of the demihyperoctahedral group $D_4$ (the smallest representative of the Coxeter series $D$). In order to do so, we construct a free analogue of the property that a $4\times 4$ matrix has determinant one. Such analogues of determinants are usually very hard to define for free quantum groups in general and our result only holds for the matrix size $N=4$. The free $D_4^{+}$ is then defined by imposing this generalized determinant condition on the free hyperoctahedral group $H_4^{+}$. Moreover, we give a detailed combinatorial description of the representation category of $D_4^{+}$.

arXiv comment34 pages

References in corpus (8)

• Quantum Symmetry Groups of Finite Spaces
• Quantum automorphisms of folded cube graphs
• The intertwiner spaces of non-easy group-theoretical quantum groups
• Semisimplicity and Indecomposable Objects in Interpolating Partition Categories
• Generating linear categories of partitions
• Intertwiner spaces of quantum group subrepresentations
• Linear independences of maps associated to partitions
• New products and ${\mathbb{Z}}_2$-extensions of compact matrix quantum groups

Cited by in corpus (2)

• Quantum symmetries of Cayley graphs of abelian groups
• The Frucht property in the quantum group setting