• We propose a general theory of braided quantum groups in the C*-algebraic framework using the language of multiplicative unitaries. More precisely, we construct C*-quantum groups in the monoidal category of Yetter-Drinfeld C*-algebras over regular C*-quantum groups $\mathbb{G}$ from manageable multiplicative unitaries in the braided monoidal category of $\mathbb{G}$-Yetter-Drinfeld compatible Hilbert space representations. Moreover, we show that braided C*-quantum groups are equivalent to C*-quantum groups with projection which generalises the Radford-Majid bosonization (for Hopf algebras) to C*-quantum groups. We show that complex quantum plane admits a braided C*-quantum group structure and the associated Radford-Majid bosonization or semidirect product is a simplified version of quantum $E(2)$ of Woronowicz.
  • We consider the construction of twisted tensor products in the category of C*-algebras equipped with orthogonal filtrations and under certain assumptions on the form of the twist compute the corresponding quantum symmetry group, which turns out to be the generalised Drinfeld double of the quantum symmetry groups of the original filtrations. We show how these results apply to a wide class of crossed products of C*-algebras by actions of discrete groups. We also discuss an example where the hypothesis of our main theorem is not satisfied and the quantum symmetry group is not a generalised Drinfeld double.
  • We construct a maximal counterpart to the minimal quantum group-twisted tensor product of $C^{*}$-algebras studied by Meyer, Roy and Woronowicz, which is universal with respect to representations satisfying braided commutation relations. Much like the minimal one, this product yields a monoidal structure on the coactions of a quasi-triangular $C^{*}$-quantum group, the horizontal composition in a bicategory of Yetter-Drinfeld $C^{*}$-algebras, and coincides with a Rieffel deformation of the non-twisted tensor product in the case of group coactions.
  • We use the theory of regular objects in tensor categories to clarify the passage between braided multiplicative unitaries and multiplicative unitaries with projection. The braided multiplicative unitary and its semidirect product multiplicative unitary have the same Hilbert space representations. We also show that the multiplicative unitaries associated to two regular objects for the same tensor category are equivalent and hence generate isomorphic C*-quantum groups. In particular, a C*-quantum group is determined uniquely by its tensor category of representations on Hilbert space, and any functor between representation categories that does not change the underlying Hilbert spaces comes from a morphism of C*-quantum groups.
  • C*-quantum groups with projection are the noncommutative analogues of semidirect products of groups. Radford's Theorem about Hopf algebras with projection suggests that any C*quantum group with projection decomposes uniquely into an ordinary C*-quantum group and a "braided" C*-quantum group. We establish this on the level of manageable multiplicative unitaries.
  • Landstad-Vaes theory concerns the structure of the crossed product of a C*-algebra by an action of locally compact (quantum) group. In particular it describes the position of original algebra inside crossed product. The problem was solved in 1979 by Landstad for locally compact groups and in 2005 by Vaes for regular locally compact quantum groups. To extend the result to non-regular groups we modify the notion of G-dynamical system introducing the concept of weak action of quantum groups on C*-algebras. It is still possible to define crossed product (by weak action) and characterize the position of original algebra inside the crossed product. The unpleasant feature of our theory is potential non-uniqueness of crossed product. At the end we discuss a few examples.
  • We construct a family of q-deformations of SU(2) for complex parameters q not equal to 0. For real q, the deformation coincides with Woronowicz' compact quantum SU_q(2) group. For q not real, SU_q(2) is only a braided compact quantum group with respect to a certain tensor product functor for C*-algebras with an action of the circle group.
  • Every C*-algebra gives rise to an effect module and a convex space of states, which are connected via Kadison duality. We explore this duality in several examples, where the C*-algebra is equipped with the structure of a finite-dimensional Hopf algebra. When the Hopf algebra is the function algebra or group algebra of a finite group, the resulting state spaces form convex monoids. We will prove that both these convex monoids can be obtained from the other one by taking a coproduct of density matrices on the irreducible representations. We will also show that the same holds for a tensor product of a group and a function algebra.
  • It is well-known that no non-Kac compact quantum group can faithfully act on $C(X)$ for a classical, compact Hausdorff space $X$. However, in this article we show that this is no longer true if we go to non-compact spaces and non-compact quantum groups, by exhibiting a large class of examples of locally compact quantum groups coming from bicrossed product construction, including non-Kac ones, which can faithfully and ergodically act on classical (non-compact) spaces. However, none of these actions can be isometric in the sense of Goswami, leading to the conjecture that the result obtained by Goswami and Joardar about non-existence of genuine quantum isometry of classical compact connected Riemannian manifolds may hold in the non-compact case as well.
  • We show that Drinfeld's double group construction for locally compact quantum groups preserves the Haagerup property. This shows that the Drinfeld doubles of the quantum groups, $C_{0}(\mathbb{F}_{2})$, $SU_{q}(2)$, $SU_{q}(1,1)_{\text{ext}}$, quantum $ax+b$, quantum $az+b$, and $E_{q}(2)$ have the Haagerup property.
  • For a quasitriangular C*-quantum group, we enrich the twisted tensor product constructed in the first part of this series to a monoidal structure on the category of its continuous coactions on C*-algebras. We define braided C*-quantum groups, where the comultiplication takes values in a twisted tensor product. We show that compact braided C*-quantum groups yield compact quantum groups by a semidirect product construction.
  • In this article, we establish the duality between the generalised Drinfeld double and generalised quantum codouble within the framework of modular or manageable (not necessarily regular) multiplicative unitaries, and discuss several properties.
  • We generalise the notions of semi-regularity, regularity, and bi-regularity to unitary solutions of the braided Pentagon equation in concrete W*-categories with semi-regular/regular/bi-regular braiding, and study their properties. We show, for example, that under bi-regularity-assumptions, the leg-algebras form braided C*-bialgebras. Moreover, we "close the circle" for the representation categories: The braiding on the Yetter-Drinfeld category of a (semi-)regular multiplicative unitary in a category with (semi-)regular braiding is again (semi-)regular.
  • We put two C*-algebras together in a noncommutative tensor product using quantum group coactions on them and a bicharacter relating the two quantum groups that act. We describe this twisted tensor product in two equivalent ways. The first construction is based on certain pairs of representations of quantum groups which we call Heisenberg pairs because they generalise the Weyl form of the canonical commutation relations. The second construction uses covariant Hilbert space representations. We establish basic properties of the twisted tensor product and study some examples.
  • We introduce some equivalent notions of homomorphisms between quantum groups that behave well with respect to duality of quantum groups. Our equivalent definitions are based on bicharacters, coactions, and universal quantum groups, respectively.