Given an orthogonal compact matrix quantum group defined by intertwiner relations, we characterize by relations its projective version. As a sample application, we prove that $PU_n^+=PO_n^+$. We also give a combinatorial proof of the fact that $S_{n^2}^+$ is monoidally equivalent to $PO_n^+$.
We study Cayley graphs of abelian groups from the perspective of quantum symmetries. We develop a general strategy for determining the quantum automorphism groups of such graphs. Applying this procedure, we find the quantum symmetries of the halved c
ube graph, the folded cube graph and the Hamming graphs.
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 $4times4$ 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^+$.
The semidirect product of a finitely generated group dual with the symmetric group can be described through so-called group-theoretical categories of partitions (covers only a special case; due to Raum--Weber, 2015) and skew categories of partitions
(more general; due to Maassen, 2018). We generalize these results to the case of graph categories, which allows to replace the symmetric group by the group of automorphisms of some graph.
We study glued tensor and free products of compact matrix quantum groups with cyclic groups -- so-called tensor and free complexifications. We characterize them by studying their representation categories and algebraic relations. In addition, we gene
ralize the concepts of global colourization and alternating colourings from easy quantum groups to arbitrary compact matrix quantum groups. Those concepts are closely related to tensor and free complexification procedures. Finally, we also study a more general procedure of gluing and ungluing.
There are two very natural products of compact matrix quantum groups: the tensor product $Gtimes H$ and the free product $G*H$. We define a number of further products interpolating these two. We focus more in detail to the case where $G$ is an easy q
uantum group and $H=hat{mathbb{Z}}_2$, the dual of the cyclic group of order two. We study subgroups of $G*hat{mathbb{Z}}_2$ using categories of partitions with extra singletons. Closely related are many examples of non-easy bistochastic quantum groups.
We present an algorithm for approximating linear categories of partitions (of sets). We report on concrete computer experiments based on this algorithm which we used to obtain first examples of so-called non-easy linear categories of partitions. All
of the examples that we constructed are proven to be indeed new and non-easy. We interpret some of the new categories in terms of quantum group anticommutative twists.
We study realizations of Lie algebras by vector fields. A correspondence between classification of transitive local realizations and classification of subalgebras is generalized to the case of regular local realizations. A reasonable classification p
roblem for general realizations is rigorously formulated and an algorithm for construction of such classification is presented.