No Arabic abstract
This is a follow-up to a paper with the same title and by the same authors. In that paper, all groups were assumed to be abelian, and we are now aiming to generalize the results to nonabelian groups. The motivating point is Pedersens theorem, which does hold for an arbitrary locally compact group $G$, saying that two actions $(A,alpha)$ and $(B,beta)$ of $G$ are outer conjugate if and only if the dual coactions $(Artimes_{alpha}G,widehatalpha)$ and $(Brtimes_{beta}G,widehatbeta)$ of $G$ are conjugate via an isomorphism that maps the image of $A$ onto the image of $B$ (inside the multiplier algebras of the respective crossed products). We do not know of any examples of a pair of non-outer-conjugate actions such that their dual coactions are conjugate, and our interest is therefore exploring the necessity of latter condition involving the images, and we have decided to use the term Pedersen rigid for cases where this condition is indeed redundant. There is also a related problem, concerning the possibility of a so-called equivariant coaction having a unique generalized fixed-point algebra, that we call fixed-point rigidity. In particular, if the dual coaction of an action is fixed-point rigid, then the action itself is Pedersen rigid, and no example of non-fixed-point-rigid coaction is known.
Let $G$ be a locally compact abelian group. By modifying a theorem of Pedersen, it follows that actions of $G$ on $C^*$-algebras $A$ and $B$ are outer conjugate if and only if there is an isomorphism of the crossed products that is equivariant for the dual actions and preserves the images of $A$ and $B$ in the multiplier algebras of the crossed products. The rigidity problem discussed in this paper deals with the necessity of the last condition concerning the images of $A$ and $B$. There is an alternative formulation of the problem: an action of the dual group $hat G$ together with a suitably equivariant unitary homomorphism of $G$ give rise to a generalized fixed-point algebra via Landstads theorem, and a problem related to the above is to produce an action of $hat G$ and two such equivariant unitary homomorphisms of $G$ that give distinct generalized fixed-point algebras. We present several situations where the condition on the images of $A$ and $B$ is redundant, and where having distinct generalized fixed-point algebras is impossible. For example, if $G$ is discrete, this will be the case for all actions of $G$.
Suppose that a compact quantum group Q acts faithfully and isomet- rically (in the sense of [10]) on a smooth compact, oriented, connected Riemannian manifold M . If the manifold is stably parallelizable then it is shown that the compact quantum group is necessarily commutative as a C ast algebra i.e. Q = C(G) for some compact group G. Using this, it is also proved that the quantum isometry group of Rieffel deformation of such manifold M must be a Rieffel-Wang deformation of C(ISO(M))
Let G be a classical compact Lie group and G_mu the associated compact matrix quantum group deformed by a positive parameter mu (or a nonzero and real mu in the type A case). It is well known that the category Rep(G_mu) of unitary f.d. representations of G_mu is a braided tensor C*-category. We show that any braided tensor *-functor from Rep(G_mu) to another braided tensor C*-category with irreducible tensor unit is full if |mu| eq 1. In particular, the functor of restriction to the representation category of a proper compact quantum subgroup, cannot be made into a braided functor. Our result also shows that the Temperley--Lieb category generated by an object of dimension >2 can not be embedded properly into a larger category with the same objects as a braided tensor C*-subcategory.
We resolve the isomorphism problem for tensor algebras of unital multivariable dynamical systems. Specifically we show that unitary equivalence after a conjugation for multivariable dynamical systems is a complete invariant for complete isometric isomorphisms between their tensor algebras. In particular, this settles a conjecture of Davidson and Kakariadis relating to work of Arveson from the sixties, and extends related work of Kakariadis and Katsoulis.
A base $Delta$ generating the topology of a space $M$ becomes a partially ordered set (poset), when ordered under inclusion of open subsets. Given a precosheaf over $Delta$ of fixed-point spaces (typically C*-algebras) under the action of a group $G$, in general one cannot find a precosheaf of $G$-spaces having it as fixed-point precosheaf. Rather one gets a gerbe over $Delta$, that is, a twisted precosheaf whose twisting is encoded by a cocycle with coefficients in a suitable 2-group. We give a notion of holonomy for a gerbe, in terms of a non-abelian cocycle over the fundamental group $pi_1(M)$. At the C*-algebraic level, holonomy leads to a general notion of twisted C*-dynamical system, based on a generic 2-group instead of the usual adjoint action on the underlying C*-algebra. As an application of these notions, we study presheaves of group duals (DR-presheaves) and prove that the dual object of a DR-presheaf is a group gerbe over $Delta$. It is also shown that any section of a DR-presheaf defines a twisted action of $pi_1(M)$ on a Cuntz algebra.