We show that the quantum family of all maps from a finite space to a finite dimensional compact quantum semigroup has a canonical quantum semigroup structure.
Evans-Hudson flows are constructed for a class of quantum dynamical semigroups with unbounded generator on UHF algebras, which appeared in cite{Ma}. It is shown that these flows are unital and covariant. Ergodicity of the flows for the semigroups associated with partial states is also discussed.
We show that there is a one-to-one correspondence between compact quantum subgroups of a co-amenable locally compact quantum group $mathbb{G}$ and certain left invariant C*-subalgebras of $C_0(mathbb{G})$. We also prove that every compact quantum subgroup of a co-amenable quantum group is co-amenable. Moreover, there is a one-to-one correspondence between open subgroups of an amenable locally compact group $G$ and non-zero, invariant C*-subalgebras of the group C*-algebra $C^*(G)$.
A CP-semigroup is aligned if its set of trivially maximal subordinates is totally ordered by subordination. We prove that aligned spatial E_0-semigroups are prime: they have no non-trivial tensor product decompositions up to cocycle conjugacy. As a consequence, we establish the existence of uncountably many non-cocycle conjugate E_0-semigroups of type II_0 which are prime.
We consider families of E_0-semigroups continuously parametrized by a compact Hausdorff space, which are cocycle-equivalent to a given E_0-semigroup beta. When the gauge group of $beta$ is a Lie group, we establish a correspondence between such families and principal bundles whose structure group is the gauge group of beta.
Suppose that a compact quantum group ${mathcal Q}$ acts faithfully on a smooth, compact, connected manifold $M$, i.e. has a $C^{ast}$ (co)-action $alpha$ on $C(M)$, such that $alpha(C^infty(M)) subseteq C^infty(M, {mathcal Q})$ and the linear span of $alpha(C^infty(M))(1 otimes {mathcal Q})$ is dense in $C^infty(M, {mathcal Q})$ with respect to the Frechet topology. It was conjectured by the author quite a few years ago that ${mathcal Q}$ must be commutative as a $C^{ast}$ algebra i.e. ${mathcal Q} cong C(G)$ for some compact group $G$ acting smoothly on $M$. The goal of this paper is to prove the truth of this conjecture. A remarkable aspect of the proof is the use of probabilistic techniques involving Brownian stopping time.