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.
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.
For any maximal coaction (A, G, delta) and any closed normal subgroup N of G, there exists an imprimitivity bimodule Y between the full crossed product A x G x N and A x G/N, together with a compatible coaction delta_Y of G. The assignment (A, delta) -> (Y, delta_Y) implements a natural equivalence between the crossed-product functors "x G x N" and "x G/N", in the category whose objects are maximal coactions of G and whose morphisms are isomorphism classes of right-Hilbert bimodule coactions of G.
We give a condition on a full coaction $(A,G,δ)$ of a (possibly) nonamenable group $G$ and a closed normal subgroup $N$ of $G$ which ensures that Mansfield imprimitivity works; i.e. that $A\times_{δ{\vert}} G/N$ is Morita equivalent to $A\times_δG\times_{\deltahat,r} N$. This condition obtains if $N$ is amenable or $δ$ is normal. It is preserved under Morita equivalence, inflation of coactions, the stabilization trick of Echterhoff and Raeburn, and on passing to twisted coactions.
Let U, V, and W be multiplicative unitaries coming from discrete Kac systems such that W is an amenable normal submultiplicative unitary of V with quotient U. We define notions for right-Hilbert bimodules of coactions of S_V and (S_V)^, their restrictions to S_W and (S_U)^, their dual coactions, and their full and reduced crossed products. If N(A) denotes the imprimitivity bimodule associated to any coaction of S_V on a C*-algebra A by Ng's imprimitivity theorem, then for any suitably nondegenerate injective coaction of S_V on a right-Hilbert A - B bimodule X we establish an isomorphism betwee…
Mansfield showed how to induce representations of crossed products of C*-algebras by coactions from crossed products by quotient groups and proved an imprimitivity theorem characterising these induced representations. We give an alternative construction of his bimodule in the case of dual coactions, based on the symmetric imprimitivity theorem of the third author; this provides a more workable way of inducing representations of crossed products of C*-algebras by dual coactions. The construction works for homogeneous spaces as well as quotient groups, and we prove an imprimitivity theorem for t…
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…
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…
Using the strong relation between coactions of a discrete group G on C*-algebras and Fell bundles over G, we prove a new version of Mansfield's imprimitivity theorem for coactions of discrete groups. Our imprimitivity theorem works for the universally defined full crossed products and arbitrary subgroups of G, as opposed to the usual theory which uses the spatially defined reduced crossed products and normal subgroups of G. Moreover, our theorem factors through the usual one by passing to appropriate quotients. As applications we show that a Fell bundle over a discrete group is amenable in the…
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…
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 survey the results required to pass between full and reduced coactions of locally compact groups on C*-algebras, which say, roughly speaking, that one can always do so without changing the crossed-product C*-algebra. Wherever possible we use definitions and constructions that are well-documented and accessible to non-experts, and otherwise we provide full details. We then give a series of applications to illustrate the use of these techniques. We obtain in particular a new version of Mansfield's imprimitivity theorem for full coactions, and prove that it gives a natural isomorphism between …
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…
In this paper, we will prove that if $A$ is a $C^*$-algebra with an effective coaction $ε$ by a compact quantum group, then the fixed point algebra and the reduced crossed product are Morita equivalent. As an application, we prove an imprimitivity type theorem for crossed products of coactions by discrete Kac $C^*$-algebras.
Let B be a C*-algebra with a maximal coaction of a locally compact group G, and let N and H be closed normal subgroups of G with N contained in H. We show that the process Ind_(G/H)^G which uses Mansfield's bimodule to induce representations of the crossed product of B by G from those of the restricted crossed product of B by (G/H) is equivalent to the two-stage induction process: Ind_(G/N)^G composed with Ind_(G/H)^(G/N). The proof involves a calculus of symmetric imprimitivity bimodules which relates the bimodule tensor product to the fibred product of the underlying spaces.
Consider a coaction $δ$ of a locally compact group $G$ on a \cstar algebra $A$, and a closed normal subgroup $N$ of $G$. We prove, following results of Echterhoff for abelian $G$, that Mansfield's imprimitivity between $A\times_{δ|}G/N$ and $A\times_δG\times_{\deltahat,r}N$ implements equivalences between Mansfield induction of representations from $A\times G/N$ to $A\times G$ and restriction of representations from $A\times G\times_r N$ to $A\times G$, and between restriction of representations from $A\times G$ to $A\times G/N$ and Green induction of representations from $A\times G$ to $A\tim…
The first imprimitivity theorems identified the representations of groups or dynamical systems which are induced from representations of a subgroup. Symmetric imprimitivity theorems identify pairs of crossed products by different groups which are Morita equivalent, and hence have the same representation theory. Here we consider commuting actions of groups $H$ and $K$ on a $C^*$-algebra which are saturated and proper as defined by Rieffel in 1990. Our main result says that the resulting Morita equivalence of crossed products is natural in the sense that it is compatible with homomorphisms and i…
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…
A new approach to the quantization of constrained or otherwise reduced classical mechanical systems is proposed. On the classical side, the generalized symplectic reduction procedure of Mikami and Weinstein, as further extended by Xu in connection with symplectic equivalence bimodules and Morita equivalence of Poisson manifolds, is rewritten so as to avoid the use of symplectic groupoids, whose quantum analogue is unknown. A theorem on symplectic reduction in stages is given. This allows one to discern that the `quantization' of the generalized moment map consists of an operator-valued inner p…
We discuss various notions generalizing the concept of a homogeneous space to the setting of locally compact quantum groups. On the von Neumann algebra level we find an interesting duality for such objects. A definition of a quantum homogeneous space is proposed along the lines of the pioneering work of Vaes on induction and imprimitivity for locally compact quantum groups. The concept of an embeddable quantum homogeneous space is selected and discussed in detail as it seems to be the natural candidate for the quantum analog of classical homogeneous spaces. Among various examples we single out…