We describe the structure of the irreducible representations of crossed products of unital C*-algebras by actions of finite groups in terms of irreducible representations of the C*-algebras on which the groups act. We then apply this description to derive a characterization of irreducible representations of crossed-products by finite cyclic groups in terms of representations of the C*-algebra and its fixed point subalgebra. These results are applied to crossed-products by the permutation group on three elements and illustrated by various examples.
We study the space of irreducible representations of a crossed product C*-algebra AxG, where G is a finite group. We construct a space $Γ$ which consists of pairs of irreducible representations of A and irreducible projective representations of subgroups of G. We show that there is a natural action of G on $Γ$ and that the orbit space G \ $Γ$ corresponds bijectively to the dual of AxG.
We describe the representation theory of C*-crossed-products of a unital C*-algebra A by the cyclic group of order 2. We prove that there are two main types of irreducible representations for the crossed-product: those whose restriction to A is irreducible and those who are the sum of two unitarily unequivalent representations of A. We characterize each class in term of the restriction of the representations to the fixed point C*-subalgebra of A. We apply our results to compute the K-theory of several crossed-products of the free group on two generators.
Motivated by reformulating Furstenberg's $\times p,\times q$ conjecture via representations of a crossed product $C^*$-algebra, we show that in a discrete $C^*$-dynamical system $(A,Γ)$, the space of (ergodic) $Γ$-invariant states on $A$ is homeomorphic to a subspace of (pure) state space of $A\rtimesΓ$. Various applications of this in topological dynamical systems and representation theory are obtained. In particular, we prove that the classification of ergodic $Γ$-invariant regular Borel probability measures on a compact Hausdorff space $X$ is equivalent to the classification a special type …
We study uniform perturbations of crossed product C$^*$-algebras by amenable groups. Given a unital inclusion of C$^*$-algebras $C\subseteq D$ and sufficiently close separable intermediate C$^*$-subalgebras $A$, $B$ for this inclusion with a conditional expectation from $D$ onto $B$, if $A=C\rtimes G$ with $G$ discrete amenable, then $A$ and $B$ are isomorphic. Furthermore, if $C\subseteq D$ is irreducible, then $A=B$.
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.
Laca constructed a minimal automorphic dilation for every semigroup dynamical system arising from an action of an Ore semigroup by injective endomorphisms of a unital $C^*$-algebra. Here we show that the semigroup crossed product with its action by inner endomorphisms given by the implementing isometries has as minimal automorphic dilation the group crossed product of the original dilation. Applications include recent examples studied by Cuntz and the second named author.
We first describe a Rieffel induction system for groupoid crossed products. We then use this induction system to show that, given a regular groupoid $G$ and a dynamical system $(A,G,α)$, every irreducible representation of $A\rtimes G$ is induced from a representation of the group crossed product $A(u)\rtimes S_u$ where $u\in G\unit$, $A(u)$ is a fibre of $A$, and $S_u$ is a stabilizer subgroup of $G$.
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 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 develop a theory of crossed products by "actions" of Hecke pairs $(G, Γ)$, motivated by applications in non-abelian $C^*$-duality. Our approach gives back the usual crossed product construction whenever $G / Γ$ is a group and retains many of the aspects of crossed products by groups. In this first of two articles we lay the $^*$-algebraic foundations of these crossed products by Hecke pairs and we explore their representation theory.
There are many different crossed products by an endomorphism of a C*-algebra, and constructions by Exel and Stacey have proved particularly useful. Here we show that every Exel crossed product is isomorphic to a Stacey crossed product (though by a different endomorphism of a different C*-algebra), that every Stacey crossed product is an Exel crossed product, and answer some questions raised by Ionescu and Muhly. While this manuscript is not yet in its final form(s) several people have already used our results, so we are posting it now.
We study a relationship between the ultraproduct of a crossed product von Neumann algebra and the crossed product of an ultraproduct von Neumann algebra. As an application, the continuous core of an ultraproduct von Neumann algebra is described.
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.
Let $Γ^{+}$ be the positive cone of a totally ordered abelian discrete group $Γ$, and $α$ an action of $Γ^{+}$ by extendible endomorphisms of a $C^*$-algebra $A$. We prove that the partial-isometric crossed product $A\times_α^{\textrm{piso}}Γ^{+}$ is a full corner of a group crossed product $\mathcal{B}\times_βΓ$, where $\mathcal{B}$ is a subalgebra of $\ell^{\infty}(Γ,A)$ generated by a collection of faithful copies of $A$, and the action $β$ on $\mathcal{B}$ is induced by shift on $\ell^{\infty}(Γ,A)$. We then use this realization to show that $A\times_α^{\textrm{piso}}Γ^{+}$ has an essentia…
There are many different crossed products by an endomorphism of a C*-algebra, and constructions by Exel and Stacey have proved particularly useful. Here we show that every Exel crossed product is isomorphic to a Stacey crossed product, though by a different endomorphism of a different C*-algebra. We apply this result to a variety of Exel systems, including those associated to shifts on the path spaces of directed graphs.
We define and study fibrations of topological groupoids. We interpret a groupoid fibration L->H with fibre G as an action of H on G by groupoid equivalences. Our main result shows that a crossed product for an action of L is isomorphic to an iterated crossed product first by G and then by H. Here groupoid action means a Fell bundle over the groupoid, and crossed product means the section C*-algebra.
In this paper we investigate the interrelation between the topological freedom of partial actions of discrete groups and faithful representations of partial crossed products.
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.
This is a survey which discusses the isomorphism problem for both C* and smooth crossed products by minimal diffeomorphisms. For C* crossed products, examples demonstrate the failure of the obvious analog of the Giordano-Putnam-Skau Theorem on minimal homeomorphisms of the Cantor set. For smooth crossed products, there are many open problems.
For a given discrete group $G$, we apply results of Kirchberg on exact and injective tensor products of $C^*$-algebras to give an explicit description of the minimal exact correspondence crossed-product functor and the maximal injective crossed-product functor for $G$ in the sense of Buss, Echterhoff and Willett. In particular, we show that the former functor dominates the latter.
We consider Exel's new construction of a crossed product of a C*-algebra A by an endomorphism α. We prove that this crossed product is universal for an appropriate family of covariant representations, and we show that it can be realised as a relative Cuntz-Pimsner algbera. We describe a necessary and sufficient condition for the canonical map from A into the crossed product to be injective, and present several examples to demonstrate the scope of this result. We also prove a gauge-invariant uniqueness theorem for the crossed product.
In this article we study analogues of the weak expectation property of discrete group C*-algebras and their crossed products, in the discrete quantum group setting, i.e., discrete quantum group C*-algebras and crossed products of C*-algebras with amenable discrete quantum groups.
We construct the crossed product of a C(X)-algebra by an endomorphism, in such a way that it becomes induced by a Hilbert C(X)-bimodule. Furthermore we introduce the notion of C(X)-category, and discuss relationships with crossed products and duality for compact groups.
In this paper we introduce the crossed product construction for a discrete group action on an operator system. In analogy to the work of E. Katsoulis and C. Ramsey, we describe three canonical crossed products arising from such a dynamical system. We describe how these crossed product constructions behave under $G$-equivariant maps, tensor products, and the canonical $C^*$-covers. We show that hyperrigidity is preserved under two of the three crossed products. Finally, using A. Kavruk's notion of an operator system that detects $C^*$-nuclearity, we give a negative answer to a question on opera…
We provide a general description of the KMS states for flows whose fixed point algebra satisfies a certain regularity condition. This is the applied to crossed products by discrete groups, and in particular to certain flows on crossed products by discrete abelian groups where the methods can be combined with spectral analysis for abelian automrphism groups.
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.
We describe simplicity of the Stacey crossed product A\times_β\N in terms of conditions of the endomorphism β. Then, we use a characterization of the graph C*-algebras C*(E) as the Stacey crossed product C*(E)^γ\times_{β_E}\N to study its ideal properties, in terms of the (non-classical) C*-dynamical system (C*(E)^γ, β_E). Finally, we give sufficient conditions for the Stacey crossed product A\times_β\N being a purely infinite simple C*-algebra.
We show that if $(X.A)$ and $(Y,B)$ are two isomorphic Hilbert pro-$C^{\ast} $-bimodules, then the crossed product $A\times_{X}\mathbb{Z}$ of $A$ by $X$ and the crossed product $B\times_{Y}\mathbb{Z}$ of $B$ by $Y$ are isomorphic as pro-$C^{\ast}$-algebras. We also prove a property of "associativity" between " $\otimes_{\min}$" and "$\times_{X}$" $\ $as well as " $\otimes_{\max}$" and "$\times_{X}$". As an application of these results we show that the crossed product of a nuclear pro-$C^{\ast}$ -algebra $A$ by a full Hilbert pro-$C^{\ast}$-bimodule $X$ is a nuclear pro-$C^{\ast}$-algebra.
We compute the K-theory for C*-algebras naturally associated with rings of integers in number fields. The main ingredient is a duality theorem for arbitrary global fields. It allows us to identify the crossed product arising from affine transformations on the finite adeles with the analogous crossed product algebra over the infinite adele space.
We prove that the crossed product A x G of a separable, unital, quasidiagonal C*- algebra A by a discrete, countable, amenable, maximally almost periodic group G is quasidiagonal, provided that the action is almost periodic.
We completely determine the ideal structures of the crossed products of Cuntz algebras by quasi-free actions of abelian groups and give another proof of A. Kishimoto's result on the simplicity of such crossed products. We also give a necessary and sufficient condition that our algebras become primitive, and compute the Connes spectra and K-groups of our algebras.
We prove that the crossed product AxG of a unital finitely generated MF algebra A by a discrete finitely generated amenable residually finite group G is an MF algebra, provided that the action is almost periodic. This generalizes a result of Hadwin and Shen. We also construct two examples of crossed product C*-algebras whose BDF Ext semigroups are not groups.
A continuous family of non-outer conjugate aperiodic automorphisms whose crossed-products are all isomorphic is given on every interpolated free group factor. An explicit "duality" relationship between compact co-commutative Kac algebra (minimal) free product actions and free shift actions is also discussed.
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 investigate the structures of crossed products of the Cuntz algebra ${\mathcal O}_\infty$ by quasi-free actions of abelian groups. We completely determine their ideal structures and compute the strong Connes spectra and K-groups.
In this work, for a given inverse semigroup we will define the crossed product of an inverse semigroup by a partial action. Also, we will associate to an inverse semigroup $G$ an inverse semigroup $S_G$, and we will prove that there is a correspondence between the covariant representation of $G$ and covariant representation of $S_G$. Finally, we will explore a connection between crossed products of an inverse semigroup actions and crossed products by partial actions of inverse semigroups.
We introduce crossed products of a $C^*$-algebra $A$ by a completely positive map $\varrho:A\to A$ relative to an ideal in $A$. They generalize various crossed products by endomorphisms when $\varrho$ is multiplicative. When $A$ is commutative they include $C^*$-algebras associated to Markov operators by Ionescu, Muhly, Vega, and to topological relations by Brenken, but in general they are not modeled by topological quivers popularized by Muhly and Tomforde. We show that Exel's crossed product $A\rtimes_{α,L} \mathbb{N}$, generalized to the case where $A$ is not necessarily unital, is the cros…
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.
In this second article on crossed products by "actions" of Hecke pairs we study their different C*-completions, namely we show how reduced and full C*-crossed products can be defined. We also establish that our construction coincides with that of Laca, Larsen and Neshveyev whenever they are both definable. As an application of our theory, we prove a Stone-von Neumann theorem for Hecke pairs which encompasses the work of an Huef, Kaliszewski and Raeburn and we lay down the foundations for obtaining a form of Katayama duality with respect to the Echterhoff-Quigg crossed product.
Building on an argument by Toms and Winter, we show that if $A$ is a simple, separable, unital, $\mathcal{Z}$-stable C*-algebra, then the crossed product of $C(X,A)$ by an automorphism is also Z-stable, provided that the automorphism induces a minimal homeomorphism on $X$. As a consequence, we observe that if $A$ is nuclear and purely infinite then the crossed product is a Kirchberg algebra.
An action of Z^l by automorphisms of a k-graph induces an action of Z^l by automorphisms of the corresponding k-graph C*-algebra. We show how to construct a (k+l)-graph whose C*-algebra coincides with the crossed product of the original k-graph algebra by Z^l. We then investigate the structure of the crossed-product C*-algebra.
We propose a generalisation of Exel's crossed product by a single endomorphism and a transfer operator to the case of actions of abelian semigroups of endomorphisms and associated transfer operators. The motivating example for our definition yields new crossed products, not obviously covered by familiar theory. Our technical machinery builds on Fowler's theory of Toeplitz and Cuntz-Pimsner algebras of discrete product systems of Hilbert bimodules, which we need to expand to cover a natural notion of relative Cuntz-Pimsner algebras of product systems.
Partial actions of discrete abelian groups can be used to construct both groupoid C*-algebras and partial crossed product algebras. In each case there is a natural notion of an analytic subalgebra. We show that for countable subgroups of the real numbers and free partial actions, these constructions yield the same C*-algebras and the same analytic subalgebras. We also show that under suitable hypotheses an analytic partial crossed product preserves all the information in the dynamical system in the sense that two analytic partial crossed products are isomorphic as Banach algebras if, and only …
If $α$ is an amenable action of a discrete group $G$ on a unital C*-algebra $A$, then the crossed-product C*-algebra $A\rtimes_αG$ has the weak expectation property if and only if $A$ has this property.
It is shown that the crossed product of a unital AH-algebra with slow dimension growth by an endomorphism is purely infinite when it is simple, provided the endomorphism does not leave a trace state invariant and maps the unit to a full projection.
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.
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…
C. Schochet shows Künneth theorem for the $C^*$-algebras in the smallest class of nuclear $C^*$-algebras which contains the separable Type I algebras and is closed under some operations. We calculate the $K$-theory for the crossed product of the infinite tensor product of a unital $C^*$-algebra in this class by the shift. In particular, we calculate the $K$-theory of the lamplighter group $C^*$-algebra.
Larsen has recently extended Exel's construction of crossed products from single endomorphisms to abelian semigroups of endomorphisms, and here we study two families of her crossed products. First, we look at the natural action of the multiplicative semigroup $\mathbb{N}^\times$ on a compact abelian group $Γ$, and the induced action on $C(Γ)$. We prove a uniqueness theorem for the crossed product, and we find a class of connected compact abelian groups $Γ$ for which the crossed product is purely infinite simple. Second, we consider some natural actions of the additive semigroup $\mathbb{N}^2$ …
We study the crossed product $C^*$-algebra associated to injective endomorphisms, which turns out to be equivalent to study the crossed product by the dilated autormorphism. We prove that the dilation of the Bernoulli $p$-shift endomorphism is topologically free. As a consequence, we have a way to twist any endomorphism of a $\D$-absorbing $C^*$-algebra into one whose dilated automorphism is essentially free and have the same $K$-theory map than the original one. This allows us to construct purely infinite crossed products $C^*$-algebras with diverse ideal structures.
A partial action is associated with a normal weakly left resolving labelled space such that the crossed product and labelled space $C^*$-algebras are isomorphic. An improved characterization of simplicity for labelled space $C^*$-algebras is given and applied to $C^*$-algebras of subshifts.
Let $(A,α)$ be a system consisting of a $C^*$-algebra $A$ and an automorphism $α$ of $A$. We describe the primitive ideal space of the partial-isometric crossed product $A\times_α^{\textrm{piso}}\mathbb{N}$ of the system by using its realization as a full corner of a classical crossed product and applying some results of Williams and Echterhoff.
The paper presents a construction of the crossed product of a C*-algebra by a commutative semigroup of bounded positive linear maps generated by partial isometries. In particular, it generalizes Antonevich, Bakhtin, Lebedev's crossed product by an endomorphism, and is related to Exel's interactions. One of the main goals is the Isomorphism Theorem established in the case of actions by endomorphisms.
We study actions of countable discrete amenable groups on unital separable simple nuclear Z-absorbing C*-algebras. Under a certain assumption on tracial states, which is automatically satisfied in the case of a unique tracial state, the crossed product is shown to absorb the Jiang-Su algebra Z tensorially.