
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 YetterDrinfeld
C*algebras over regular C*quantum groups $\mathbb{G}$ from manageable
multiplicative unitaries in the braided monoidal category of
$\mathbb{G}$YetterDrinfeld compatible Hilbert space representations.
Moreover, we show that braided C*quantum groups are equivalent to C*quantum
groups with projection which generalises the RadfordMajid bosonization (for
Hopf algebras) to C*quantum groups. We show that complex quantum plane admits
a braided C*quantum group structure and the associated RadfordMajid
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 grouptwisted
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 quasitriangular $C^{*}$quantum group, the horizontal
composition in a bicategory of YetterDrinfeld $C^{*}$algebras, and coincides
with a Rieffel deformation of the nontwisted 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.

LandstadVaes 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 nonregular
groups we modify the notion of Gdynamical 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 nonuniqueness of crossed product. At the end we discuss a few
examples.

We construct a family of qdeformations 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
finitedimensional 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 wellknown that no nonKac 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 noncompact spaces and
noncompact quantum groups, by exhibiting a large class of examples of locally
compact quantum groups coming from bicrossed product construction, including
nonKac ones, which can faithfully and ergodically act on classical
(noncompact) 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 nonexistence of genuine quantum isometry of classical
compact connected Riemannian manifolds may hold in the noncompact 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 semiregularity, regularity, and biregularity
to unitary solutions of the braided Pentagon equation in concrete W*categories
with semiregular/regular/biregular braiding, and study their properties. We
show, for example, that under biregularityassumptions, the legalgebras form
braided C*bialgebras. Moreover, we "close the circle" for the representation
categories: The braiding on the YetterDrinfeld 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.