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 sense of Exel if and only if the double dual action is amenable in the sense that the maximal and reduced crossed products coincide. We also give a new characterization of induced coactions in terms of their dual actions.
We study coactions of concrete Hopf $C^{*}$-bimodules in the framework of (weak) $C^{*}$-pseudo-Kac systems, define reduced crossed products and dual coactions, and prove an analogue of Baaj-Skandalis duality.
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.
If a locally compact group G acts on a C*-algebra B, we have both full and reduced crossed products, and each has a coaction of G. We investigate "exotic" coactions in between, that are determined by certain ideals E of the Fourier-Stieltjes algebra B(G) -- an approach that is inspired by recent work of Brown and Guentner on new C*-group algebra completions. We actually carry out the bulk of our investigation in the general context of coactions on a C*-algebra A. Buss and Echterhoff have shown that not every coaction comes from one of these ideals, but nevertheless the ideals do generate a wid…
We present a new construction of crossed-product duality for maximal coactions that uses Fischer's work on maximalizations. Given a group $G$ and a coaction $(A,δ)$ we define a generalized fixed-point algebra as a certain subalgebra of $M(A\rtimes_δ G \rtimes_{\widehatδ} G)$, and recover the coaction via this double crossed product. Our goal is to formulate this duality in a category-theoretic context, and one advantage of our construction is that it breaks down into parts that are easy to handle in this regard. We first explain this for the category of nondegenerate *-homomorphisms, and then …
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 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…
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…
A coaction d of a locally compact group G on a C*-algebra A is maximal if a certain natural map from A times_d G times_{d hat} G onto A otimes K(L^2(G)) is an isomorphism. All dual coactions on full crossed products by group actions are maximal; a discrete coaction is maximal if and only if A is the full cross-sectional algebra of the corresponding Fell bundle. For every nondegenerate coaction of G on A, there is a maximal coaction of G on an extension of A such that the quotient map induces an isomorphism of the crossed products.
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…
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.
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…
In this paper we give a simple proof of the maximality of dual coactions on full cross-sectional C*-algebras of Fell bundles over locally compact groups. As applications we extend certain exotic crossed-product functors in the sense of Baum, Guentner and Willett to the category of Fell bundles and the category of partial actions and we obtain results about the K-theory of (exotic) cross-sectional algebras of Fell-bundles over K-amenable groups. As a bonus, we give a characterisation of maximal coactions of discrete groups in terms of maximal tensor products.
Noncommutative duality for C*-dynamical systems is a vast generalization of Pontryagin duality for locally compact abelian groups. In this series of lectures, we give an introduction to the categorical aspects of this duality, focusing primarily on Landstad duality for actions and coactions of locally compact groups.
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 this partly expository paper we compare three different categories of C*-algebras in which crossed-product duality can be formulated, both for actions and for coactions of locally compact groups. In these categories, the isomorphisms correspond to C*-algebra isomorphisms, imprimitivity bimodules, and outer conjugacies, respectively. In each case, a variation of the fixed-point functor that arises from classical Landstad duality is used to obtain a quasi-inverse for a crossed-product functor. To compare the various cases, we describe in a formal way our view of the fixed-point functor as an …
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…
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 …
A cosystem consists of a possibly nonselfadoint operator algebra equipped with a coaction by a discrete group. We introduce the concept of C*-envelope for a cosystem; roughly speaking, this is the smallest C*-algebraic cosystem that contains an equivariant completely isometric copy of the original one. We show that the C*-envelope for a cosystem always exists and we explain how it relates to the usual C*-envelope. We then show that for compactly aligned product systems over group-embeddable right LCM semigroups, the C*-envelope is co-universal, in the sense of Carlsen, Larsen, Sims and Vittade…
We show that for a locally compact group G there is a one-to-one correspondence between G-invariant weak*-closed subspaces E of the Fourier-Stieltjes algebra B(G) containing B_r(G) and quotients C*_E(G) of C*(G) which are intermediate between C*(G) and the reduced group algebra C*_r(G). We show that the canonical comultiplication on C*(G) descends to a coaction or a comultiplication on C*_E(G) if and only if E is an ideal or subalgebra, respectively. When αis an action of G on a C*-algebra B, we define "E-crossed products" B\rtimes_{α,E} G lying between the full crossed product and the reduced…
In this paper twists of reduced locally compact quantum groups are studied. Twists of the dual coaction on a reduced crossed product are introduced and the twisted dual coactions are proved to satisfy a type of Takesaki-Takai duality. The twisted Takesaki-Takai duality implies that twists of discrete, torsion-free quantum groups are torsion-free. Cocycle twists of duals of semisimple, compact Lie are studied leading to a locally compact quantum group contained in the Drinfeld-Jimbo algebra which gives a dual notion of Woronowicz deformations for semisimple, compact Lie groups. These cocycle tw…
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.
The a-adic numbers are those groups that arise as Hausdorff completions of noncyclic subgroups of the rational numbers. We give a crossed product construction of (stabilized) Cuntz-Li algebras coming from the a-adic numbers and investigate the structure of the associated algebras. In particular, these algebras are in many cases Kirchberg algebras in the UCT class. Moreover, we prove an a-adic duality theorem, which links a Cuntz-Li algebra with a corresponding dynamical system on the real numbers. The paper also contains an appendix where a nonabelian version of the "subgroup of dual group the…
Connes showed that spectral triples encode (noncommutative) metric information. Further, Connes and Moscovici in their metric bundle construction showed that, as with the Takesaki duality theorem, forming a crossed product spectral triple can substantially simplify the structure. In a recent paper, Bellissard, Marcolli and Reihani (among other things) studied in depth metric notions for spectral triples and crossed product spectral triples for $Z$-actions, with applications in number theory and coding theory. In the work of Connes and Moscovici, crossed products involving groups of diffeomorph…
Partial actions of discrete groups on $C^*$-algebras and the associated crossed products have been studied by Exel and McClanahan. We characterise these crossed products in terms of the spectral subspaces of the dual coaction, generalising and simplifying a theorem of Exel for single partial automorphisms. We then use this characterisation to identify the Cuntz algebras and the Toeplitz algebras of Nica as crossed products by partial actions.
For discrete Hecke pairs $(G,H)$, we introduce a notion of covariant representation which reduces in the case where $H$ is normal to the usual definition of covariance for the action of $G/H$ on $c_0(G/H)$ by right translation; in many cases where $G$ is a semidirect product, it can also be expressed in terms of covariance for a semigroup action. We use this covariance to characterise the representations of $c_0(G/H)$ which are multiples of the multiplication representation on $\ell^2(G/H)$, and more generally, we prove an imprimitivity theorem for regular representations of certain crossed pr…
We develop a duality theory for multiplier Banach-Hopf algebras over a non-Archimedean field K. As examples, we consider algebras corresponding to discrete groups and zero-dimensional locally compact groups with K-valued Haar measure, as well as algebras of operators generated by regular representations of discrete groups.
For an action $α$ of a group $G$ on an algebra $R$ (over $\Bbb C$), the crossed product $R\times_αG$ is the vector space of $R$-valued functions with finite support in $G$, together with the twisted convolution product given by $$(ξη)(p) = \sum_{q \in G} ξ(q) α_q (η(q^{-1}p))$$ where $p\in G$. This construction has been extended to the theory of Hopf algebras. Given an action of a Hopf algebra $A$ on an algebra $R$, it is possible to make the tensor product $R\ot A$ into an algebra by using a twisted product, involving the action. In this case, the algebra is called the smash product and denot…
In this paper, we use the tools of nonabelian duality to formulate and prove a far-reaching generalization of the Stone-von Neumann Theorem to modular representations of actions and coactions of locally compact groups on elementary $ C^{\ast} $-algebras. This greatly extends the Covariant Stone-von Neumann Theorem for Actions of Abelian Groups recently proven by L. Ismert and the second author. Our approach is based on a new result about Hilbert $ C^{\ast} $-modules that is simple to state yet is widely applicable and can be used to streamline many previous arguments, so it represents an impro…
