Three properness conditions for actions of locally compact groups on C*-algebras are studied, as well as their dual analogues for coactions. To motivate the properness conditions for actions, the commutative cases (actions on spaces) are surveyed; here the conditions are known: proper, locally proper, and pointwise properness, although the latter property has not been so well studied in the literature. The basic theory of these properness conditions is summarized, with somewhat more attention paid to pointwise properness. C*-characterizations of the properties are proved, and applications to C*-dynamical systems are examined. This paper is partially expository, but some of the results are believed to be new.
We consider induced coactions on C*-algebras along a homomorphism of locally compact quantum groups which need not give a closed quantum subgroup. Our approach generalizes the induced coactions constructed by Vaes, and also includes certain fixed point algebras. We focus on the case when the homomorphism satisfies a quantum analogue of properness. Induced coactions along such a homomorphism still admit the natural formulations of various properties known in the case of a closed quantum subgroup, such as imprimitivity and adjointness with restriction. Also, we show a relationship of induced coa…
Partial actions of groups on C*-algebras and the closely related actions and coactions of Hopf algebras received much attention over the last decades. They arise naturally as restrictions of their global counterparts to non-invariant subalgebras, and the ambient eveloping global (co)actions have proven useful for the study of associated crossed products. In this article, we introduce the partial coactions of C*-bialgebras, focussing on C*-quantum, and prove existence of an enveloping global coaction under mild technical assumptions. The construction of the latter provides a left adjoint to the…
We investigate approximation properties for $C^*$-algebras and their crossed products by actions and coactions by locally compact groups. We show that Haagerup's approximation constant is preserved for crossed products by arbitrary amenable groups, and we show why this is not always true in the non-amenable case. We also examine similar questions for other forms of the approximation property.
For a discrete group $G$, we develop a `$G$-balanced tensor product' of two coactions $(A,δ)$ and $(B,ε)$, which takes place on a certain subalgebra of the maximal tensor product $A\otimes_{\max} B$. Our motivation for this is that we are able to prove that given two actions of $G$, the dual coaction on the crossed product of the maximal-tensor-product action is isomorphic to the $G$-balanced tensor product of the dual coactions. In turn, our motivation for this is to give an analogue, for coaction functors, of a crossed-product functor originated by Baum, Guentner, and Willett, and further de…
Using the theory of weakly proper actions of locally compact groups recently developed by the authors, we give a unified proof of both reduced and maximal versions of Mansfield's Imprimitivity Theorem and obtain a general version of Landstad's Duality Theorem for twisted group coactions. As one application, we obtain the stabilization trick for arbitrary twisted coactions, showing that every twisted coaction is Morita equivalent to an inflated coaction.
We present definitions of both Connes spectrum and strong Connes spectrum for actions of compact quantum groups on C*-algebras and obtain necessary and sufficient conditions for a crossed product to be a prime or a simple C*-algebra. Our results extend to the case of compact quantum actions the results in [8] which in turn, generalize results by Connes, Olesen and Pedersen and Kishimoto for abelian group actions. We prove in addition that the Connes spectra are closed under tensor products. These results are new for compact nonabelian groups as well.
Coactions of Hopf C*-bimodules simultaneously generalize coactions of Hopf C*-algebras and actions of groupoids. Following an approach of Baaj and Skandalis, we construct reduced crossed products and establish a duality for fine coactions. Examples of coactions arise from Fell bundles on groupoids and actions of a groupoid on bundles of C*-algebras. Continuous Fell bundles on an etale groupoid correspond to coactions of the reduced groupoid algebra, and actions of a groupoid on a continuous bundle of C*-algebras correspond to coactions of the function algebra.
Unifying two notions of an action and coaction of a locally compact group on a $C^*$-cor\-re\-spond\-ence we introduce a coaction $(σ,δ)$ of a Hopf $C^*$-algebra $S$ on a $C^*$-cor\-re\-spond\-ence $(X,A)$. We show that this coaction naturally induces a coaction $ζ$ of $S$ on the associated Cuntz-Pimsner algebra $\mathcal{O}_X$ under the weak $δ$-invariancy for the ideal $J_X$. When the Hopf $C^*$-algebra $S$ is defined by a well-behaved multiplicative unitary, we construct a $C^*$-cor\-re\-spond\-ence $(X\rtimes_σ\widehat{S},A\rtimes_δ\widehat{S})$ from $(σ,δ)$ and show that it has a represen…
In the late 1980's Marc Rieffel introduced a notion of properness for actions of locally compact groups on C*-algebras which, among other things, allows the construction of generalised fixed-point algebras for such actions. In this paper we give a simple characterisation of Rieffel proper actions and use this to obtain several (counter) examples for the theory. In particular, we provide examples of Rieffel proper actions $α:G\to\mathrm{Aut}(A)$ for which properness is not induced by a nondegenerate equivariant *-homomorphism $ϕ:C_0(X)\to \mathcal{M}(A)$ for any proper $G$-space $X$. Other exam…
Using the close relationship between coactions of discrete groups and Fell bundles, we introduce a procedure for inducing a C*-coaction of a quotient group G/N of a discrete group G to a C*-coaction of G itself on an induced C*-algebra. We show that induced coactions behave in many respects similarly to induced actions. In particular, as an analogue of the well known imprimitivity theorem for induced actions we prove that the crossed products of the original and the induced coactions are always Morita equivalent. We also obtain nonabelian analogues of a theorem of Olesen and Pedersen which sho…
We will show the uniqueness of outer coactions of finite groups on the AFD factor of type II$_1$ along the arguments by Connes, Jones and Ocneanu. Namely, we construct the infinite tensor product type action, adopt it as the model action, and prove that any outer coaction is conjugate to the model action.
We study integrability for coactions of locally compact groups. For abelian groups, this corresponds to integrability of the associated action of the Pontrjagin dual group. The theory of integrable group actions has been previously studied by Ruy Exel, Ralf Meyer and Marc Rieffel. Our goal is to study the close relationship between integrable group coactions and Fell bundles. As a main result, we prove that dual coactions on C*-algebras of Fell bundles are integrable, generalizing results by Ruy Exel for abelian groups.
Given a labeling c of the edges of a directed graph E by elements of a discrete group G, one can form a skew-product graph E cross_c G. We show, using the universal properties of the various constructions involved, that there is a coaction delta of G on C*(E) such that C*(E cross_c G) is isomorphic to the crossed product C*(E) cross_delta G. This isomorphism is equivariant for the dual action deltahat and a natural action gamma of G on C*(E cross_c G); following results of Kumjian and Pask, we show that C*(E cross_c G) cross_gamma G is isomorphic to C*(E cross_c G) cross_{gamma,r} G, which in …
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 Pedersen's theorem, which does hold for an arbitrary locally compact group $G$, saying that two actions $(A,α)$ and $(B,β)$ of $G$ are outer conjugate if and only if the dual coactions $(A\rtimes_αG,\widehatα)$ and $(B\rtimes_βG,\widehatβ)$ of $G$ are conjugate via an isomorphism that maps the image of $A$ onto the image of $B$ (inside the multiplier algebras of the respect…
We define and study square-integrable coactions of locally compact quantum groups on Hilbert modules, generalising previous work for group actions. As special cases, we consider square-integrable Hilbert space corepresentations and integrable coactions on C*-algebras. Our main result is an equivariant generalisation of Kasparov's Stabilisation Theorem.
Imprimitivity theorems provide a fundamental tool for studying the representation theory and structure of crossed-product C*-algebras. In this work, we show that the Imprimitivity Theorem for induced algebras, Green's Imprimitivity Theorem for actions of groups, and Mansfield's Imprimitivity Theorem for coactions of groups can all be viewed as natural equivalences between various crossed-product functors among certain equivariant categories. The categories involved have C*-algebras with actions or coactions (or both) of a fixed locally compact group G as their objects, and equivariant equivale…
We show that the category A(G) of actions of a locally compact group G on C*-algebras (with equivariant nondegenerate *-homomorphisms into multiplier algebras) is equivalent, via a full-crossed-product functor, to a comma category of maximal coactions of G under the comultiplication (C*(G),delta_G); and also that A(G) is equivalent, via a reduced-crossed-product functor, to a comma category of normal coactions under the comultiplication. This extends classical Landstad duality to a category equivalence, and allows us to identify those C*-algebras which are isomorphic to crossed products by G a…
Let G be a (not necessarily Hausdorff) locally compact groupoid. We introduce a notion of properness for G, which is invariant under Morita-equivalence. We show that any generalized morphism between two locally compact groupoids which satisfies some properness conditions induces a C*-correspondence from $C*_r(G_1)$ to $C^*_r(G_2)$, and thus two Morita equivalent groupoids have Morita-equivalent $C^*$-algebras.
Full C*-crossed products by actions of locally compact groups are characterized via the existence of suitable maximal coactions, in analogy with Landstad's characterization of reduced crossed products.
Given a C*-dynamical system (A,G,α), we say that A is a weakly proper (X\rtimes G)-algebra if there exists a proper G-space X together with a nondegenerate G-equivariant *-homomorphism ϕ:C_0(X)->M(A). Weakly proper G-algebras form a large subclass of the class of proper G-algebras in the sense of Rieffel. In this paper we show that weakly proper (X\rtimes G)-algebras allow the construction of full fixed-point algebras A^G corresponding to the full crossed product A\rtimes_αG, thus solving, in this setting, a problem stated by Rieffel in his 1988's original article on proper actions. As an appl…
There are at least three imprimitivity bimodules naturally associated to a maximal coaction of a discrete group G on a C*-algebra and a normal subgroup of G: Mansfield's bimodule; the bimodule assembled by Ng from Green's imprimitivity bimodule and Katayama duality; and a bimodule assembled from Green's bimodule and a crossed-product Mansfield bimodule. We show that all three of these are isomorphic, so that the corresponding inducing maps on representations are identical. This can be interpreted as saying that Mansfield and Green induction are inverses of one another ``modulo Katayama duality…
In the framework of locally compact quantum groups, we provide an induction procedure for unitary corepresentations as well as coactions on C*-algebras. We prove imprimitivity theorems that unify the existing theorems for actions and coactions of groups. We essentially use von Neumann algebraic techniques.
Let $δ$ be a nondegenerate coaction of G on a C*-algebra B, and let H be a closed subgroup of G. The dual action of H on $B\times_δG$ is proper and saturated in the sense of Rieffel, and the generalised fixed-point algebra is the crossed product of B by the homogeneous space G/H. The resulting Morita equivalence is a version of Mansfield's imprimitivity theorem which requires neither amenability nor normality of H.
We consider a fixed free and proper action of a locally compact group $G$ on a space $T$, and actions $α:G\to \Aut A$ on $C^*$-algebras for which there is an equivariant embedding of $(C_0(T),\rt)$ in $(M(A),α)$. A recent theorem of Rieffel implies that $α$ is proper and saturated with respect to the subalgebra $C_0(T)AC_0(T)$ of $A$, so that his general theory of proper actions gives a Morita equivalence between $A\rtimes_{α,r}G$ and a generalised fixed-point algebra $A^α$. Here we investigate the functor $(A,α)\mapsto A^α$ and the naturality of Rieffel's Morita equivalence, focusing in parti…
Suppose that a locally compact group $G$ acts freely and properly on the right of a locally compact space $T$. Rieffel proved that if $α$ is an action of $G$ on a $C^*$-algebra $A$ and there is an equivariant embedding of $C_0(T)$ in $M(A)$, then the action $α$ of $G$ on $A$ is proper, and the crossed product $A\rtimes_{α,r}G$ is Morita equivalent to a generalised fixed-point algebra $\Fix(A,α)$ in $M(A)^α$. We show that the assignment $(A,α)\mapsto\Fix(A,α)$ extends to a functor $\Fix$ on a category of $C^*$-dynamical systems in which the isomorphisms are Morita equivalences, and that Rieffel…
Suppose a locally compact group G acts freely and properly on a locally compact Hausdorff space X, and let gamma be the induced action on C_0(X). We consider a category in which the objects are C*-dynamical systems (A, G, alpha) for which there is an equivariant homomorphism of (C_0(X), gamma) into the multiplier algebra M(A). Rieffel has shown that such systems are proper and saturated, and hence have a generalized fixed-point algebra A^alpha which is Morita equivalent to A times_{alpha,r} G. We show that the assignment (A, alpha) maps to A^alpha is functorial, and that Rieffel's Morita equiv…
