For a matched pair of locally compact quantum groups, we construct the double crossed product as a locally compact quantum group. This construction generalizes Drinfeld's quantum double construction. We study C*-algebraic properties of these double crossed products and several links between double crossed products and bicrossed products. In an appendix, we study the Radon-Nikodym derivative of a weight under a quantum group action, following Yamanouchi and obtain, as a corollary, a new characterization of closed quantum subgroups.
The crossed products of locally C*-algebras are defined and a Takai duality theorem for inverse limit actions of a locally compact group on a locally C*-algebra is proved.
We define the notion of a principal S-bundle where S is a groupoid group bundle and show that there is a one-to-one correspondence between principal S-bundles and elements of a sheaf cohomology group associated to S. We also define the notion of a locally unitary action and show that the spectrum of the crossed product is a principal bundle. Furthermore, we prove that the isomorphism class of the spectrum determines the exterior equivalence class of the action and that every principal bundle can be realized as the spectrum of some locally unitary crossed product.
Amenable actions of locally compact groups on von Neumann algebras are investigated by exploiting the natural module structure of the crossed product over the Fourier algebra of the acting group. The resulting characterisation of injectivity for crossed products generalises a result of Anantharaman-Delaroche on discrete groups. Amenable actions of locally compact groups on $C^*$-algebras are investigated in the same way, and amenability of the action is related to nuclearity of the corresponding crossed product. A survey is given to show that this notion of amenable action for $C^*$-algebras s…
Actions of locally compact groups and quantum groups on W*-ternary rings of operators are discussed and related crossed products introduced. The results generalise those for von Neumann algebraic actions with proofs based mostly on passing to the linking von Neumann algebra. They are motivated by the study of fixed point spaces for convolution operators generated by contractive, non-necessarily positive measures, both in the classical and in the quantum context.
We provide an exposition and proof of Renault's equivalence theorem for crossed products by locally Hausdorff, locally compact groupoids. Our approach stresses the bundle approach, concrete imprimitivity bimodules and is a preamble to a detailed treatment of the Brauer semigroup for a locally Hausdorff, locally compact groupoid.
We introduce the notion of strong Morita equivalence for group actions on locally C*-algebras and prove that the crossed products associated with two strongly Morita equivalent continuous inverse limit actions of a locally compact group G on the locally C*-algebras A and B are strongly Morita equivalent. This generalizes a result of F. Combes, Proc. London Math. Soc. 49(1984) and R. E. Curto, P.S. Muhly, D. P. Williams, Proc. Amer. Soc. 90(1984).
We show that when a co-involutive Hopf C*-algebra $S$ coacts via $δ$ on a C*-algebra $A$, there exists a full crossed product $A\times_δS$, with universal properties analogous to those of full crossed products by locally compact groups. The dual Hopf C*-algebra is then defined by $\hat S:={\Bbb C}\times_{\id} S$.
For an action $α$ of a locally compact group $G$ on a dual operator space $X$ by w*-continuous completely isometric isomorphisms one can define two generally different notions of crossed products, namely the Fubini crossed product $X\rtimes_α^{F}G$ and the spatial crossed product $X\overline{\rtimes}_α G$. It is shown that $X\rtimes_α^{F}G=X\overline{\rtimes}_α G$ if and only if the dual comodule action $\widehatα$ of the group von Neumann algebra $L(G)$ on the Fubini crossed product of $X\rtimes_α^{F}G$ is non-degenerate. As an application, this yields an alternative proof of the result of Cr…
We prove the first rigidity and classification theorems for crossed product von Neumann algebras given by actions of non-discrete, locally compact groups. We prove that for arbitrary free probability measure preserving actions of connected simple Lie groups of real rank one, the crossed product has a unique Cartan subalgebra up to unitary conjugacy. We then deduce a W* strong rigidity theorem for irreducible actions of products of such groups. More generally, our results hold for products of locally compact groups that are nonamenable, weakly amenable and that belong to Ozawa's class S.
We study actions of locally compact groups on von Neumann factors and the associated crossed-product von Neumann algebras. In the setting of totally disconnected groups we provide sufficient conditions on an action $G\curvearrowright Q$ ensuring that the inclusion $Q \subset Q \rtimes G$ is irreducible and that every intermediate subfactor is of the form $Q \rtimes H$ for a closed subgroup $H<G$. This partially generalizes a result of Izumi-Longo-Popa [ILP98] and Choda [Ch78]. We moreover show that one can not hope to use their strategy for non-discrete groups.
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.
We consider group actions of topological groups on C*-algebras of the types which occur in many physics models. These are singular actions in the sense that they need not be strongly continuous, or the group need not be locally compact. We develop a "crossed product host" in analogy to the usual crossed product for strongly continuous actions of locally compact groups, in the sense that its representation theory is in a natural bijection with the covariant representation theory of the action. We prove a uniqueness theorem for crossed product hosts, and analyze existence conditions. We also pre…
We prove that a locally compact group has the approximation property (AP), introduced by Haagerup-Kraus, if and only if a non-commutative Fejér theorem holds for the associated $C^*$- or von Neumann crossed products. As applications, we answer three open problems in the literature. Specifically, we show that any locally compact group with the AP is exact. This generalizes a result by Haagerup-Kraus, and answers a problem raised by Li. We also answer a question of Bédos-Conti on the Fejér property of discrete $C^*$-dynamical systems, as well as a question by Anoussis-Katavolos-Todorov for all l…
We decompose the crossed product functor for actions of crossed modules of locally compact groups on C*-algebras into more elementary constructions: taking crossed products by group actions and fibres in C*-algebras over topological spaces. For this, we extend the theory of partial crossed products from groups to crossed modules; extend Takesaki-Takai duality to Abelian crossed modules; show that equivalent crossed modules have equivalent categories of actions on C*-algebras; and show that certain crossed modules are automatically equivalent to Abelian crossed modules.
In this paper, we define the notions of full pro-$C^{*}$-crossed product, respectively reduced pro-$C^{*}$-crossed product, of a pro-$C^{*}$-algebra $A[τ_Γ] $ by a strong bounded action $α$ of a locally compact group $G$ and investigate some their properties.
We give a formula for the Dixmier-Douady class of a continuous-trace groupoid crossed product that arises from an action of a locally trivial, proper, principal groupoid on a bundle of elementary $C^*$-algebras that satisfies Fell's condition.
We consider a family of Hecke C*-algebras which can be realised as crossed products by semigroups of endomorphisms. We show by dilating representations of the semigroup crossed product that the category of representations of the Hecke algebra is equivalent to the category of continuous unitary representations of a totally disconnected locally compact group.
Supramenability of groups is characterised in terms of invariant measures on locally compact spaces. This opens the door to constructing interesting crossed product C*-algebras for non-supramenable groups. In particular, stable Kirchberg algebras in the UCT class are constructed using crossed products for both amenable and non-amenable groups.
We extend the construction of generalized fixed point algebras to the setting of locally compact quantum groups - in the sense of Kustermans and Vaes - following the treatment of Marc Rieffel, Ruy Exel and Ralf Meyer in the group case. We mainly follow Meyer's approach analyzing the constructions in the realm of equivariant Hilbert modules. We generalize the notion of continuous square-integrability, which is exactly what one needs in order to define generalized fixed point algebras. As in the group case, we prove that there is a correspondence between continuously square-integrable Hilbert mo…
For a locally compact quantum group $\mathbb{G}$, consider the convolution action of a quantum probability measure $μ$ on $L_\infty(\mathbb{G})$. As shown by Junge--Neufang--Ruan, this action has a natural extension to a Markov map on $\mathcal{B}(L_2(\mathbb{G}))$. We prove that the Poisson boundary of the latter can be realized concretely as the von Neumann crossed product of the Poisson boundary associated with $μ$ under the action of $\mathbb{G}$ induced by the coproduct. This yields an affirmative answer, for general locally compact quantum groups, to a problem raised by Izumi (2004) in t…
We consider the following problem. Suppose $α$ is an action of a locally compact group $G$ on a $C^*$-algebra $A$, $H$ is a closed subgroup of $G$, and $(π,U)$ is a covariant representation of $(A,H,α)$. For which closed subgroups $K$ containing $H$ is there a covariant representation $(π,V)$ of $(A,K,α)$ such that $V|_H=U$? We answer this problem by providing a criterion involving the induced representation of $(A,G,α)$. We then consider the dual problem for coactions of locally compact groups.
Let $G$ be a second countable, locally compact groupoid with Haar system, and let $\mathcal{A}$ be a bundle of $C^{\ast}$-algebras defined over the unit space of $G$ on which $G$ acts continuously. We determine conditions under which the associated crossed product $C^{\ast}(G;\mathcal{A})$ is a continuous trace $C^{\ast}$-algebra.
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.
We introduce and study a Rokhlin-type property for actions of finite groups on (not necessarily unital) C*-algebras. We show that the corresponding crossed product C*-algebras can be locally approximated by C*-algebras that are stably isomorphic to closed two-sided ideals of the given algebra. We then use this result to prove that several classes of C*-algebras are closed under crossed products by finite group actions with this Rokhlin property.
We discuss the crossed product by the dual action of the circle on the crossed product of a C*-algebra A by a Hilbert C*-bimodule X. When X is an A-A Morita equivalence bimodule, the double crossed product is shown to be Morita equivalent to the C*-algebra A.
We consider a family of dynamical systems (A,alpha,L) in which alpha is an endomorphism of a C*-algebra A and L is a transfer operator for α. We extend Exel's construction of a crossed product to cover non-unital algebras A, and show that the C*-algebra of a locally finite graph can be realised as one of these crossed products. When A is commutative, we find criteria for the simplicity of the crossed product, and analyse the ideal structure of the crossed product.
We show that every topological k-graph constructed from a locally compact Hausdorff space Ω and a family of pairwise commuting local homeomorphisms on Ω satisfying a uniform boundedness condition on the cardinalities of inverse images may be realized as a semigroup crossed product in the sense of Larsen.
Given a partial action of a discrete group $G$ on a Hausdorff, locally compact, totally disconnected topological space $X$, we consider the correponding partial action of $G$ on the algebra $L_c(X)$ consisting of all locally constant, compactly supported functions on $X$, taking values in a given field $K$. We then study the ideal structure of the algebraic partial crossed product $L_c(X)\rtimes G$. After developping a theory of induced ideals, we show that every ideal in $L_c(X)\rtimes G$ may be obtained as the intersection of ideals induced from isotropy groups, thus proving an algebraic ver…
Let $(\mathcal{A}, G, α)$ be a groupoid dynamical system. We show that if $G$ is assumed to be measurewise amenable and the section algebra $A = Γ_0(G^{(0)}, \mathcal{A})$ is nuclear, then the associated groupoid crossed product is also nuclear. This generalizes an earlier result of Green for crossed products by locally compact groups. We also extend a related result of Kirchberg to groupoids. In particular, if $A$ is exact and $G$ is amenable, then we show that $\mathcal{A} \rtimes G$ is exact.
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 …
Suppose that $G$ has a representation group $H$, that $G_{ab}:= G/\bar{[G,G]}$ is compactly generated, and that $A$ is a \cs-algebra for which the complete regularization of $\Prim(A)$ is a locally compact Hausdorff space $X$. In a previous article, we showed that there is a bijection $α\mapsto (Z_α,f_α)$ between the collection of exterior equivalence classes of locally inner actions $α:G\to\Aut(A)$, and the collection of principal $\hgab$-bundles $Z_α$ together with continuous functions $f_α:X\to H^2(G,\T)$. In this paper, we compute the crossed products $A\rtimes_αG$ in terms of the data $Z_…
We prove a result concerning the inclusion of non-trivial invariant ideals inside non-trivial ideals of a twisted crossed product. We will also give results concerning the primeness and simplicity of crossed products of twisted actions of locally compact groups on $C^*$-algebras.
When a locally compact group acts on a C*-correspondence, it also acts on the associated Cuntz-Pimsner algebra in a natural way. Hao and Ng have shown that when the group is amenable the Cuntz-Pimsner algebra of the crossed product correspondence is isomorphic to the crossed product of the Cuntz-Pimsner algebra. In this paper, we have a closer look at this isomorphism in the case where the group is not necessarily amenable. We also consider what happens at the level of Toeplitz algebras.
Green's theorem gives a Morita equivalence $C_0(G/H,A)\rtimes G\sim A\rtimes H$ for a closed subgroup $H$ of a locally compact group $G$ acting on a $C^*$-algebra $A$. We prove an analogue of Green's theorem in the case $G=\mathbb{Z}$, where the automorphism generating the action is replaced by a Hilbert $C^*$-bimodule.
The goal of this article is to provide a bridge between the gamma element method for the Baum--Connes conjecture (the Dirac dual-Dirac method) and the controlled algebraic approach of Roe and Yu (localization algebras). For any second countable, locally compact group G, we study the reduced crossed product algebras of the representable localization algebras for proper G-spaces. We show that the naturally defined forget-control map is equivalent to the Baum--Connes assembly map for any locally compact group G and for any coefficient G-C*-algebra B. We describe the gamma element method for the B…
We bound the nuclear dimension of crossed products associated to some partial actions of finite groups or $\mathbb{Z}$ on finite dimensional locally compact Hausdorff second countable spaces. Our results apply to globalizable partial actions, finite group partial actions, minimal partial automorphisms, and partial automorphisms acting on zero-dimensional spaces, or a class of one dimensional spaces, containing $1$-dimensional CW complexes. This extends work on global systems by Hirshberg and Wu.
A crossed product functor is said to be injective if it takes injective morphisms to injective morphisms. In this paper we show that every locally compact group $G$ admits a maximal injective crossed product $A\mapsto A\rtimes_{\inj}G$. Moreover, we give an explicit construction of this functor that depends only on the maximal crossed product and the existence of $G$-injective $C^*$-algebras; this is a sort of a `dual' result to the construction of the minimal exact crossed product functor, the latter having been studied for its relationship to the Baum-Connes conjecture. It turns out that $\r…
Let A be an exact C^*-algebra, let G be a locally compact group, and let (A,G,α) be a C*-dynamical system. Each automorphism α_g induces a spatial automorphism Ad_{\lamba_g} on the reduced crossed product A\times_αG. In this paper we examine the question, first raised by E. Stormer, of when the topological entropies of α_g and Ad_{α_g} coincide. This had been answered by N. Brown for the particular case of discrete abelian groups. Using different methods, we extend his result to a wider class of groups called locally [FIA]^-. This class includes all abelian groups, both discrete and continuous…
We present a number of findings concerning groupoid dynamical systems and groupoid crossed products. The primary result is an identification of the spectrum of the groupoid crossed product when the groupoid has continuously varying abelian stabilizers and a well behaved orbit space. In this case, the spectrum of the crossed product is homeomorphic, via an induction map, to a quotient of the spectrum of the crossed product by the stabilizer group bundle. The main theorem is also generalized in the groupoid algebra case to an identification of the primitive ideal space. This generalization repla…
We study the essential spectrum and Fredholm properties of integral and pseudodiferential operators associated to (maybe non-commutative) locally compact groups G. The techniques involve crossed product C*-algebras. We extend previous results on the structure of the essential spectrum to operators belonging (or affiliated) to the Schrödinger representation of certain crossed products. When the group G is unimodular and type I, we cover a new class of pseudo-differential differential operators with operator-valued symbols involving the unitary dual of G. We use recent results on the role of fam…
Given a spectral triple $(A,H,D)$ and a $C^*$-dynamical system $(\mathbf{A}, G, α)$ where $A$ is dense in $\mathbf{A}$ and $G$ is a locally compact group, we extend the triple to a triplet $(\mathcal{B},\mathcal{H},\mathcal{D})$ on the crossed product $G \ltimes_{α, \text{red}} \mathbf{A}$ which can be promoted to a modular-type twisted spectral triple within a general procedure exemplified by two cases: the $C^*$-algebra of the affine group and the conformal group acting on a complete Riemannian spin manifold.
We introduce the labelling map and the quasi-free action of a locally compact abelian group on a graph $C^*$-algebra of a row-finite directed graph. Some necessary conditions for embedding the crossed product to an $AF$ algebra are discussed, and one sufficient condition is proved that if the row-finite directed graph is constructed by possibly attaching some 1-loops to a row-finite directed graph whose each weak connected component is a rooted (possibly infinite) directed tree, and the labelling map is almost proper, which is proved to be a reasonable generalization of the earlier case, then …
For any second countable locally compact group G, we construct a simple G-C*-algebra whose full and reduced crossed product norms coincide. We then construct its G-equivariant representation on another simple G-C*-algebra without the coincidence condition. This settles two problems posed by Anantharaman-Delaroche in 2002. Some constructions involve the Baire category theorem.
We show that for a closed embedding $\mathbb{H}\le \mathbb{G}$ of locally compact quantum groups (LCQGs) with $\mathbb{G}/\mathbb{H}$ admitting an invariant probability measure, a unitary $\mathbb{G}$-representation is type-I if its restriction to $\mathbb{H}$ is. On a related note, we also prove that if an action $\mathbb{G}\circlearrowright A$ of an LCQG on a unital $C^*$-algebra admits an invariant state then the full group algebra of $\mathbb{G}$ embeds into the resulting full crossed product (and into the multiplier algebra of that crossed product if the original algebra is not unital). W…
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.
In this article, we investigate the notion of a Galois object for a locally compact quantum group M. Such an object consists of a von Neumann algebra N equipped with an ergodic integrable coaction of M on N, such that the crossed product is a type I factor. We show how to construct from such a coaction a new locally compact quantum group P, which we call the reflection of M along N. By way of application, we prove the following statement: any twisting of a locally compact quantum group by a unitary 2-cocycle is again a locally compact quantum group.
We give an introduction into the ideal structure and representation theory of crossed products by actions of locally compact groups on C*-algebras. In particular, we discuss the Mackey-Rieffel-Green theory of induced representations of crossed products and groups. Although we do not give complete proofs of all results, we try at least to explain the main ideas. For a more detailed exposition of many of the results presented here we refer to the beautiful recent book by Dana Williams.
We study crossed products of arbitrary operator algebras by locally compact groups of completely isometric automorphisms. We develop an abstract theory that allows for generalizations of many of the fundamental results from the selfadjoint theory to our context. We complement our generic results with the detailed study of many important special cases. In particular we study crossed products of tensor algebras, triangular AF algebras and various associated C*-algebras. We make contributions to the study of C*-envelopes, semisimplicity, the semi-Dirichlet property, Takai duality and the Hao-Ng i…
Let G and H be two locally compact groups acting on a C*-algebra A by commuting actions. We construct an action on the crossed product AXG out of a unitary 2-cocycle u and the action of H on A. For A commutative, and free and proper actions of G and H, we show that if the roles of these two actions are reversed, and u is replaced by u*, then the corresponding generalized fixed-point algebras, in the sense of Rieffel, are strong-Morita equivalent. We apply this result to the computation of the K-theory of quantum Heisenberg manifolds.
Let $ G $ be a locally compact group. We study the categories of $ L^{\infty}(G) $-comodules and $ L(G) $-comodules in the setting of dual operator spaces and the associated crossed products. It is proved that every $ L^{\infty}(G) $-comodule is non-degenerate and saturated, whereas every $ L(G) $-comodule is non-degenerate if and only if every $ L(G) $-comodule is saturated if and only if $ G $ has the approximation property in the sense of Haagerup and Kraus [14]. This allows us to extend known results from the duality theory of crossed products of von Neumann algebras (such as Takesaki-dual…
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 …
We introduce the concept of crossed product of a product system by a locally compact group. We prove that the crossed product of a row-finite and faithful product system by an amenable group is also a row-finite and faithful product system. We illustrate with examples related to group actions on $k$-graphs and to higher rank Doplicher-Roberts algebras.
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…