We investigate crossed products of Cuntz algebras by quasi-free actions of abelian groups. We prove that our algebras are AF-embeddable when actions satisfy a certain condition. We also give a necessary and sufficient condition that our algebras become simple and purely infinite, and consequently our algebras are either purely infinite or AF-embeddable when they are simple.
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.
Given a correspondence X over a C*-algebra A, we construct a C*-algebra and a Hilbert C*-bimodule over it whose crossed product is isomorphic to the augmented Cuntz-Pimsner C*-algebra of X. This construction enables us to establish a condition for two augmented Cuntz-Pimsner C*-algebras to be Morita equivalent.
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 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.
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.
Cuntz and Li have defined a C*-algebra associated to any integral domain, using generators and relations, and proved that it is simple and purely infinite and that it is stably isomorphic to a crossed product of a commutative C*-algebra. We give an approach to a class of C*-algebras containing those studied by Cuntz and Li, using the general theory of C*-dynamical systems associated to certain semidirect product groups. Even for the special case of the Cuntz-Li algebras, our development is new.
Starting from an arbitrary endomorphism αof a unital C*-algebra A we construct a crossed product. It is shown that the natural construction depends not only on the C*-dynamical system (A,α) but also on the choice of an ideal orthogonal to kernel of α. The article gives an explicit description of the internal structure of this crossed product and, in particular, discusses the interrelation between relative Cuntz-Pimsner algebras and partial isometric crossed products. We present a canonical procedure that reduces any given C*-correspondence to the 'smallest' C*-correspondence yielding the same …
It is shown that if A is an AF algebra then a crossed product of A by the integers can be embedded into an AF algebra if and only if the crossed product is stably finite. This equivalence follows from a simple K-theoretic characterization of AF embeddability. It is then shown that if a crossed product of an AF algebra by the integers is AF embeddable then the AF embedding can be chosen in such a way as to induce a rationally injective map on K_0 of the crossed product.
The article discusses the interrelation between relative Cuntz-Pimsner algebras and partial isometric crossed products, and presents a procedure that reduces any given Hilbert bimodule to the "smallest" Hilbert bimodule yielding the same relative Cuntz-Pimsner algebra as the initial one. In the context of crossed products this reduction procedure corresponds to reduction of C*-dynamical systems.
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.
Given two correspondences X and Y, we show that (under mild hypotheses) the Cuntz-Pimsner algebra of the tensor product of X and Y embeds as a certain subalgebra of the tensor product of the Cuntz-Pimsner algebra of X and the Cuntz=Pimsner algebra of Y. Furthermore, this subalgebra can be described in a natural way in terms of the gauge actions on the Cuntz-Pimsner algebras. We explore implications for graph algebras, crossed products by the integers, and crossed products by completely positive maps. We also give a new proof of a result of Kaliszewski and Quigg related to coactions on correspo…
Given two correspondences $X$ and $Y$ and a discrete group $G$ which acts on $X$ and coacts on $Y$, one can define a twisted tensor product $X\boxtimes Y$ which simultaneously generalizes ordinary tensor products and crossed products by group actions and coactions. We show that, under suitable conditions, the Cuntz-Pimsner algebra of this product, $\mathcal O_{X\boxtimes Y}$, is isomorphic to a "balanced" twisted tensor product $\mathcal O_X\boxtimes_\mathbb T\mathcal O_Y$ of the Cuntz-Pimsner algebras of the original correspondences. We interpret this result in several contexts and connect it…
Suppose $A$ is a $C^*$-algebra and $H$ is a $C^*$-correspondence over $A$. If $H$ is regular in the sense that the left action of $A$ is faithful and is given by compact operators, then we compute the $K$-theory of $\mathcal{O}_A(H) \rtimes \mathbb{T}$ where the action is the usual gauge action. The case where $A$ is an AF-algebra is carefully analyzed. In particular, if $A$ is AF, we show $\mathcal{O}_A(H) \rtimes \mathbb{T}$ is AF. Combining this with Takai duality and an AF-embedding theorem of N. Brown, we show the conditions AF-embeddability, quasidiagonality, and stable finiteness are eq…
The Cuntz algebra O_n is presented as a partial crossed product in which an amenable group partially acts on an abelian C*-algebra. The partial action is related to the Cuntz groupoid for O_n and connections are made with non-self-adjoint subalgebras of O_n, particularly the Volterra nest subalgebra. These ideas are also extended to the M_k(O_n) context.
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.
Let G be a finite group, let A be an infinite-dimensional stably finite simple unital C*-algebra, and let α\colon G \to Aut (A) be an action of G on A which has the weak tracial Rokhlin property. Let A^α be the fixed point algebra. Then the radius of comparison satisfies rc (A^α) \leq rc (A) and rc ( C* (G, A, α) ) \leq ( 1 / card (G) ) rc (A). The inclusion of A^α in A induces an isomorphism from the purely positive part of the Cuntz semigroup Cu (A^α) to the fixed points of the purely positive part of Cu (A), and the purely positive part of Cu ( C* (G, A, α) ) is isomorphic to this semigroup…
In this paper we show that the Cuntz algebra can be represented as a C*-crossed product by endomorphism of the canonical anticommutation relations (CAR) algebra, generated by the standard recursive fermion system.
We investigate how a correspondence coaction gives rise to a coaction on the associated Cuntz-Pimsner algebra. We apply this to recover a recent result of Hao and Ng concerning Cuntz-Pimsner algebras of crossed products of correspondences by actions of amenable groups.
We show that the passage from a $C^\ast$-correspondence to its Cuntz-Pimsner $C^\ast$-algebra gives a functor on a category of $C^\ast$-correspondences with appropriately defined morphisms. Applications involving topological graph $C^\ast$-algebras are discussed, and an application to crossed-product correspondences is presented in detail.
We show that there exists a purely infinite AH-algebra. The AH-algebra arises as an inductive limit of C*-algebras of the form C_0([0,1),M_k) and it absorbs the Cuntz algebra O_\infty tensorially. Thus one can reach an O_\infty-absorbing C*-algebra as an inductive limit of the finite and elementary C*-algebras C_0([0,1),M_k). As an application we give a new proof of a recent theorem of Ozawa that the cone over any separable exact C*-algebra is AF-embeddable, and we exhibit a concrete AF-algebra into which this class of C*-algebras can be embedded.
Recently, Cuntz and Li introduced the C^*-algebra A[R] associated to an integral domain R with finite quotients. In this paper, we show that A[R] is a partial group algebra of the group $K \rtimes K^x$ with suitable relations, where K is the field of fractions of R. We identify the spectrum of this relations and we show that it is homeomorphic to the profinite completion of R. By using partial crossed product theory, we reconstruct some results proved by Cuntz and Li. Among them, we prove that $\ar$ is simple by showing that the action is topologically free and minimal.
It is shown that a C*-algebra generated by any faithful covariant representation of a Hilbert bimodule X is canonically isomorphic to the crossed product associated to X provided that Rieffel's induced representation functor X-ind is topologically free. It is discussed how this result could be applied to universal C*-algebras generated by relations with a circle gauge action. In particular, it leads to generalizations of isomorphism theorems for various crossed products, and is shown to be equivalent to Cuntz-Krieger uniqueness theorem for finite graph C*-algebras (on that occasion an intrigui…
For $p \in [1, \infty),$ we define and study full and reduced crossed products of algebras of operators on $σ$-finite $L^p$ spaces by isometric actions of second countable locally compact groups. We give universal properties for both crossed products. When the group is abelian, we prove the existence of a dual action on the full and reduced $L^p$ operator crossed products. When the group is discrete, we construct a conditional expectation to the original algebra which is faithful in a suitable sense. For a free action of a discrete group on a compact metric space $X,$ we identify all traces on…
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.
The note presents a further study of the class of Cuntz--Krieger type algebras. A necessary and sufficient condition is identified that ensures that the algebra is purely infinite, the ideal structure is studied, % and applied to semigraph algebras, and nuclearity is proved by presenting the algebra as a crossed product of an AF-algebra by an abelian group. The results are applied to examples of Cuntz--Krieger type algebras, such as higher rank semigraph $C^*$-algebras and higher rank Exel-Laca algebras.
We investigate the structure of the automorphism of $\mathcal{O}_{2}$ which exchanges the two canonical isometries. Our main observation is that the fixed point C*-subalgebra for this action is isomorphic to $\mathcal{O}_{2}$ and we detail the relationship between the crossed-product and fixed point subalgebra.
In this thesis we generalise the six-term exact sequence in graded $KK$-theory obtained in a paper of Kumjian, Pask and Sims (2017) to allow correspondences with non-compact left action. In particular, this allows us to compute the graded $KK$-theory of row-infinite graphs. We develop the theory necessary for following the arguments of Kumjian, Pask and Sims and of Pimsner (1997), with detailed sections on Hilbert modules, $C^*$-correspondences, Crossed products, Toeplitz algebras, Cuntz-Pimsner algebras and $KK$-theory.
We provide a Cuntz-Pimsner model for graph of groups $C^*$-algebras. This allows us to compute the $K$-theory of a range of examples and show that graph of groups $C^*$-algebras can be realised as Exel-Pardo algebras. We also make a preliminary investigation of whether the crossed product algebra of Baumslag-Solitar groups acting on the boundary of certain trees satisfies Poincaré duality in $KK$-theory. By constructing a $K$-theory duality class we compute the $K$-homology of these crossed products.
We use a recent result by Cuntz, Echterhoff and Li about the K-theory of certain reduced C*-crossed products to describe the K-theory of C*_r(S) when S is an inverse semigroup satisfying certain requirements. A result of Milan and Steinberg allows us to show that C*_r(S) is Morita equivalent to a crossed product of the type handled by Cuntz, Echterhoff and Li. We apply our result to graph inverse semigroups and the inverse semigroups of one-dimensional tilings.
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…
Given a group cocycle on a finitely aligned left cancellative small category (LCSC) we investigate the associated skew product category and its Cuntz-Krieger algebra, which we describe as the crossed product of the Cuntz-Krieger algebra of the original category by an induced coaction of the group. We use our results to study Cuntz-Krieger algebras arising from free actions of groups on finitely aligned LCSC's, and to construct coactions of groups on Exel-Pardo algebras. Finally we discuss the universal group of a small category and connectedness of skew product categories.
Given a dynamical system $(A,\al)$ where $A$ is a unital $\ca$-algebra and $\al$ is a (possibly non-unital) *-endomorphism of $A$, we examine families $(π,\{T_i\})$ such that $π$ is a representation of $A$, $\{T_i\}$ is a Toeplitz-Cuntz family and a covariance relation holds. We compute a variety of non-selfadjoint operator algebras that depend on the choice of the covariance relation, along with the smallest $\ca$-algebra they generate, namely the $\ca$-envelope. We then relate each occurrence of the $\ca$-envelope to (a full corner of) an appropriate twisted crossed product. We provide a cou…
A subgroup of an amenable group is amenable. The $C^*$-algebra version of this fact is false. This was first proved by M.-D. Choi who proved that the non-nuclear $C^*$-algebra $C^*_r(\ZZ_2*\ZZ_3)$ is a subalgebra of the nuclear Cuntz algebra ${\cal O}_2$. A. Connes provided another example, based on a crossed product construction. More recently J. Spielberg [23] showed that these examples were essentially the same. In fact he proved that certain of the $C^*$-algebras studied by J. Cuntz and W. Krieger [10] can be constructed naturally as crossed product algebras. For example if the group $Γ$ a…
Suppose a C*-algebra A acts by adjointable operators on a Hilbert A-module X. Pimsner constructed a C*-algebra O_X which includes, for particular choices of X, crossed products of A by Z, the Cuntz algebras O_n, and the Cuntz-Krieger algebras O_B. Here we analyse the representations of the corresponding Toeplitz algebra. One consequence is a uniqueness theorem for the Toeplitz-Cuntz-Krieger algebras of directed graphs, which includes Cuntz's uniqueness theorem for O_\infty.
We prove a version of uniqueness theorem for Cuntz-Pimsner algebras of discrete product systems over semigroups of Ore type. To this end, we introduce Doplicher-Roberts picture of Cuntz-Pimsner algebras, and the semigroup dual to a product system of 'regular' C*-correspondences. Under a certain aperiodicity condition on the latter, we obtain the uniqueness theorem and a simplicity criterion for the algebras in question. These results generalize the corresponding ones for crossed products by discrete groups, due to Archbold and Spielberg, and for Exel's crossed products, due to Exel and Vershik…
We use the boundary-path space of a finitely-aligned k-graph Λto construct a compactly-aligned product system X, and we show that the graph algebra C^*(Λ) is isomorphic to the Cuntz-Nica-Pimsner algebra NO(X). In this setting, we introduce the notion of a crossed product by a semigroup of partial endomorphisms and partially-defined transfer operators by defining it to be NO(X). We then compare this crossed product with other definitions in the literature.
The usual crossed product construction which associates to the homeomorphism $T$ of the locally compact space $X$ the C$^*$-algebra $C^*(X,T)$ is extended to the case of a partial local homeomorphism $T$. For example, the Cuntz-Krieger algebras are the C$^*$-algebras of the one-sided Markov shifts. The generalizations of the Cuntz-Krieger algebras (graph algebras, algebras $O_A$ where $A$ is an infinite matrix) which have been introduced recently can also be described as C$^*$-algebras of Markov chains with countably many states. This is useful to obtain such properties of these algebras as nu…
We give a construction of a nuclear $C^\ast$-algebra associated with an amalgamated free product of groups, generalizing Spielberg's construction of a certain Cuntz-Krieger algebra associated with a finitely generated free product of cyclic groups. Our nuclear $C^\ast$-algebras can be identified with certain Cuntz-Krieger-Pimsner algebras. We will also show that our algebras can be obtained by the crossed product construction of the canonical actions on the hyperbolic boundaries, which proves a special case of Adams' result about amenability of the boundary action for hyperbolic groups. We wil…
A general method of investigation of the uniqueness property for $C^*$-algebra equipped with a circle gauge action is discussed. It unifies isomorphism theorems for various crossed products and Cuntz-Krieger uniqueness theorem for Cuntz-Krieger algebras.
Let (A,G,α) be a partial dynamical system. We show that there is a bijective correspondence between G-invariant ideals of A and ideals in the partial crossed product A xr G provided the action is exact and residually topologically free. Assuming, in addition, a technical condition---automatic when A is abelian---we show that A xr G is purely infinite if and only if the positive nonzero elements in A are properly infinite in A xr G. As an application we verify pure infiniteness of various partial crossed products, including realisations of the Cuntz algebras O_n, O_A, O_N, and O_Z as partial cr…
We interpret several constructions with C*-algebras as colimits in the bicategory of correspondences. This includes crossed products for actions of groups and crossed modules, Cuntz-Pimsner algebras of proper product systems, direct sums and inductive limits, and certain amalgamated free products.
Given a locally compact group $G$ and a unitary representation $ρ:G\to U({\mathcal H})$ on a Hilbert space ${\mathcal H}$, we construct a $C^*$-correspondence ${\mathcal E}(ρ)={\mathcal H}\otimes_{\mathbb C} C^*(G)$ over $C^*(G)$ and study the Cuntz-Pimsner algebra ${\mathcal O}_{{\mathcal E}(ρ)}$. We prove that for $G$ compact, ${\mathcal O}_{{\mathcal E}(ρ)}$ is strong Morita equivalent to a graph $C^*$-algebra. If $λ$ is the left regular representation of an infinite, discrete and amenable group $G$, we show that ${\mathcal O}_{{\mathcal E}(λ)}$ is simple and purely infinite, with the same …
We discuss the cyclic homology of crossed product algebras from the Cuntz-Quillen point of view. The periodic cyclic homology of a crossed product algebra $A\rtimes G$ is described in terms of the $G$-action on periodic cyclic bicomplexes of crossed products of $A$ by the cyclic subgroups of $G$ .
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$ …
To every $C^*$ correspondence over a $C^*$-algebra one can associate a Cuntz-Pimsner algebra generalizing crossed product constructions, graph $C^*$-algebras, and a host of other classes of operator algebras. Cuntz-Pimsner algebras come equipped with a `gauge action' by the circle group and its finite subgroups. For unital Cuntz-Pimsner algebras, we derive necessary and sufficient conditions for the gauge actions (by either the circle or its closed subgroups) to be free.
We introduce an equivariant version of the Cuntz semigroup, that takes an action of a compact group into account. The equivariant Cuntz semigroup is naturally a semimodule over the representation semiring of the given group. Moreover, this semimodule satisfies a number of additional structural properties. We show that the equivariant Cuntz semigroup, as a functor, is continuous and stable. Moreover, cocycle conjugate actions have isomorphic associated equivariant Cuntz semigroups. One of our main results is an analog of Julg's theorem: the equivariant Cuntz semigroup is canonically isomorphic …
A trace $τ$ on a separable C*-algebra $A$ is called matricial field (MF) if there is a trace-preserving morphism from $A$ to $Q_ω$, where $Q_ω$ denotes the norm ultrapower of the universal UHF-algebra $Q$. In general, the trace $τ$ induces a state on the Cuntz semigroup $Cu(A)$. We show there is always a state-preserving morphism from $Cu(A)$ to $Cu(Q_ω)$. As an application, if $A$ is an AI-algebra and $F$ is a free group acting on $A$, then every trace on the reduced crossed product $A \rtimes F$ is MF. This further implies the same result when $A$ is an AH-algebra with the ideal property suc…
We have introduced a notion of $C^*$-symbolic dynamical system in [K. Matsumoto: Actions of symbolic dynamical systems on $C^*$-algebras, to appear in J. Reine Angew. Math.], that is a finite family of endomorphisms of a $C^*$-algebra with some conditions. The endomorphisms are indexed by symbols and yield both a subshift and a $C^*$-algebra of a Hilbert $C^*$-bimodule. The associated $C^*$-algebra with the $C^*$-symbolic dynamical system is regarded as a crossed product by the subshift. We will study a simplicity condition of the $C^*$-algebras of the $C^*$-symbolic dynamical systems. Some ex…
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.
In a recent paper, Pardo and the first named author introduced a class of C*-algebras which which are constructed from an action of a group on a graph. This class was shown to include many C*-algebras of interest, including all Kirchberg algebras in the UCT class. In this paper, we study the conditions under which these algebras can be realized as partial crossed products of commutative C*-algebras by groups. In addition, for any $n\geq 2$ we present a large class of groups such that for any group $H$ in this class, the Cuntz algebra $\mathcal{O}_n$ is isomorphic to a partial crossed product o…
We study the ideal structure of $C^*$-algebras arising from $C^*$-correspondences. We prove that gauge-invariant ideals of our $C^*$-algebras are parameterized by certain pairs of ideals of original $C^*$-algebras. We show that our $C^*$-algebras have a nice property which should be possessed by generalization of crossed products. Applications to crossed products by Hilbert $C^*$-bimodules and relative Cuntz-Pimsner algebras are also discussed.
Let X be a product system over a quasi-lattice ordered group. Under mild hypotheses, we associate to X a C*-algebra which is co-universal for injective Nica covariant Toeplitz representations of X which preserve the gauge coaction. Under appropriate amenability criteria, this co-universal C*-algebra coincides with the Cuntz-Nica-Pimsner algebra introduced by Sims and Yeend. We prove two key uniqueness theorems, and indicate how to use our theorems to realise a number of reduced crossed products as instances of our co-universal algebras. In each case, it is an easy corollary that the Cuntz-Nica…
We compare the algebras of the quantum automorphism group of finite-dimensional C$^\ast$-algebra $B$, which includes the quantum permutation group $S_N^+$, where $N = \dim B$. We show that matrix amplification and crossed products by trace-preserving actions by a finite Abelian group $Γ$ lead to isomorphic $\ast$-algebras. This allows us to transfer various properties such as inner unitarity, Connes embeddability, and strong $1$-boundedness between the various algebras associated with these quantum groups.
We consider $C^*$-algebras constructed from compact group actions on complex vector bundles $E\to X$ endowed with a Hermitian metric. An action of $G$ by isometries on $E\to X$ induces an action on the $C^*$-correspondence $Γ(E)$ over $C(X)$ consisting of continuous sections, and on the associated Cuntz-Pimsner algebra $\mathcal O_E$, so we can study the crossed product $\mathcal O_E\rtimes G$. If the action is free and rank $E=n$, then we prove that $\mathcal O_E\rtimes G$ is Morita-Rieffel equivalent to a field of Cuntz algebras $\mathcal O_n$ over the orbit space $X/G$. If the action is fib…