In this paper we exploit the fact that a Cuntz C$^*$-algebra is a groupoid C$^*$-algebra to facilitate the study of non-self-adjoint subalgebras of $O_n$. The Cuntz groupoid is not principal and the spectral theorem for bimodules does not apply in full generality. We characterize the bimodules (over a natural masa) which are determined by their spectra in the Cuntz groupoid; these are exactly the ones which are invariant under the guage automorphisms and exactly the ones which are generated by the Cuntz partial isometries which they contain.
We investigate analytic subalgebras of $O_n, n$ finite, by studying cocycles on the Cuntz groupoid. In contrast to AF groupoids, there are no cocycles which are integer valued or bounded and vanish precisely on the natural diagonal. $O_n$ contains a canonical UHF subalgebra; each strongly maximal triangular subalgebra of the UHF subalgebra has an extension to a strongly maximal triangular subalgebra of $O_n$ and each trivially analytic subalgebra of the UHF subalgebra has a proper analytic extension.
We also study the Volterra subalgebra of $O_n$. We identify the spectrum of the Volterra subalgebra and use this to prove a theorem of Power that the radical is equal to the closed commutator ideal. We also show that the Volterra subalgebra is maximal triangular but not strongly maximal triangular.
We investigate subalgebras $A$ of the Cuntz algebra ${\mathcal O}_n$ that arise as finite direct sums of corners of the UHF-subalgebra ${\mathcal F}_n$. For such an $A$, we completely determine its normalizer group inside ${\mathcal O}_n$.
In this paper, we study a family of $C^*$-subalgebras defined by fixed points of generalized gauge actions of a Cuntz-Krieger algebra, by introducing a family of étale groupoids whose associated $C^*$-algebras are these $C^*$-subalgebras. We know that topological conjugacy classes of one-sided topological Markov shifts are characterized in terms of the isomorphism classes of these étale groupoids.
In this paper we investigate the normalizer $\mathcal{N}_{\mathcal{O}_{n}}(A)$ of a $C^{*}$-subalgebra $A\subset \mathcal{F}_{n}$ where $\mathcal{F}_{n}$ is the canonical UHF-subalgebra of type $n^{\infty}$ in the Cuntz algebra $\mathcal{O}_{n}$. Under the assumption that the relative commutant $A'\cap \mathcal{F}_{n}$ is finite-dimensional, we show several facts for normalizers of $A$. In particular it is shown that the automorphism group $\{{\rm Ad}u|_{A}\ \ |\ u\in \mathcal{N}_{\mathcal{F}_{n}}(A)\}$ has a finite index in $\{{\rm Ad}U|_{A}\ \ |\ U\in \mathcal{N}_{\mathcal{O}_{n}}(A)\}$.
It was shown recently by Conti, Rørdam and Szymański that there exist endomorphisms $λ_u$ of the Cuntz algebra $\mathcal{O}_n$ such that $λ_u (\mathcal{F}_n)\subseteq\mathcal{F}_n$ but $u\not\in\mathcal{F}_n$, and a question was raised if for such a $u$ there must always exist a unitary $v\in\mathcal{F}_n$ with $λ_u|_{\mathcal{F}_n} = λ_v|_{\mathcal{F}_n}$. In the present paper, we answer this question to the negative. To this end, we analyze the structure of such endomorphisms $λ_u$ for which the relative commutant $λ_u(\mathcal{F}_n)'\cap\mathcal{F}_n$ is finite dimensional.
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…
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.
We introduce a family of dense subalgebras of the Toeplitz algebra and give conditions under which our algebras are quasi-free. As a corollary, we show that the smooth Toeplitz algebra introduced by Cuntz is quasi-free.
We will characterize topological conjugate one-sided topological Markov shifts in terms of their subgroups of continuous full groups and subalgebras of Cuntz--Krieger algebras.
We study the Cuntz semigroup for non-simple $\text{C}^*$-algebras in this paper. In particular, we use the extended Elliott invariant to characterize the Cuntz comparison for $\text{C}^*$-algebras with the projection property which have only one ideal.
We prove six-term exact sequences of Pimsner-Voiculescu type for certain subalgebras of the Cuntz-Pimsner algebras. This sequence may, in particular, be applied to smooth subalgebras of the Quantum Heisenberg Manifolds in order to compute the generators of their cyclic cohomology. Further, our results include the known results for smooth crossed products. Our proof is based on a combination of arguments from the setting of (Cuntz-)Pimsner algebras and the Toeplitz proof of Bott-periodicity.
Embeddings of the CAR (canonical anticommutation relations) algebra of fermions into the Cuntz algebra ${\cal O}_2$ (or ${\cal O}_{2d}$ more generally) are presented by using recursive constructions. As a typical example, an embedding of CAR onto the U(1)-invariant subalgebra of ${\cal O}_2$ is constructed explicitly. Generalizing this construction to the case of ${\cal O}_{2^p}$, an embedding of CAR onto the U(1)-invariant subalgebra of ${\cal O}_{2^p}$ is obtained. Restricting a permutation representation of the Cuntz algebra, we obtain the Fock representation of CAR. We apply the results to…
We show that any faithful quasi-free actions of a finite group on the Cuntz algebra $\mathcal{O}_\infty$ are mutually conjugate, and that they are asymptotically representable.
We present a uniqueness theorem for k-graph C*-algebras that requires neither an aperiodicity nor a gauge invariance assumption. Specifically, we prove that for the injectivity of a representation of a k-graph C*-algebra, it is sufficient that the representation be injective on a distinguished abelian C*-subalgebra. A crucial part of the proof is the application of an abstract uniqueness theorem, which says that such a uniqueness property follows from the existence of a jointly faithful collection of states on the ambient C*-algebra, each of which is the unique extension of a state on the dist…
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.
We introduce a bivariant version of the Cuntz semigroup as equivalence classes of order zero maps generalizing the ordinary Cuntz semigroup. The theory has many properties formally analogous to KK-theory including a composition product. We establish basic properties, like additivity, stability and continuity, and study categorical aspects in the setting of local C*-algebras. We determine the bivariant Cuntz semigroup for numerous examples such as when the second algebra is a Kirchberg algebra, and Cuntz homology for compact Hausdorff spaces which provides a complete invariant. Moreover, we est…
Noncommutative topological entropy estimates are obtained for polynomial gauge invariant endomorphisms of Cuntz algebras, generalising known results for the canonical shift endomorphisms. Exact values for the entropy are computed for a class of permutative endomorphisms related to branching function systems introduced and studied by Bratteli, Jorgensen and Kawamura.
We prove a spectral theorem for bimodules in the context of graph C*-algebras. A bimodule over a suitable abelian algebra is determined by its spectrum (i.e., its groupoid partial order) iff it is generated by the Cuntz-Krieger partial isometries which it contains iff it is invariant under the gauge automorphisms. We study 1-cocycles on the Cuntz-Krieger groupoid associated with a graph C*-algebra, obtaining results on when integer valued or bounded cocycles on the natural AF subgroupoid extend. To a finite graph with a total order, we associate a nest subalgebra of the graph C*-algebra and th…
We will study torus actions on Cuntz--Krieger algebras trivially acting on its canonical maximal abelian $C^*$-subalgebras from the view points of continuous orbit equivalence of one-sided topological Markov shifts and flow equivalence of two-sided topological Markov shifts.
We study the $C^*$-algebra $\mathcal{T}/\mathcal{K}$ where $\mathcal{T}$ is the $C^*$-algebra generated by $d$ weighted shifts on the Fock space of $\mathbb{C}^d$, $\mathcal{F}(\mathbb{C}^d)$, ( where the weights are given by a sequence $\{Z_k\}$ of matrices $Z_k\in M_{d^k}(\mathbb{C})$) and $\mathcal{K}$ is the algebra of compact operators on the Fock space. If $Z_k=I$ for every $k$, $\mathcal{T}/\mathcal{K}$ is the Cuntz algebra $\mathcal{O}_d$. We show that $\mathcal{T}/\mathcal{K}$ is isomorphic to a Cuntz-Pimsner algebra and use it to find conditions for the algebra to be simple. We prese…
To a representation of $Ø_N$ (the Cuntz algebra with $N$ generators) we associate a projection valued measure and we study the case when this measure has atoms. The main technical tool are the spaces invariant for all the operators $S_i^*$. We classify the purely atomic representations and find when such representations are permutative. Applications include: wavelet representations, representations generated by finitely correlated states, representation associated to Hadamard triples (or fractal spectral measures) and representations associated to generalized Walsh bases.
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.
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.
Automorphisms of the canonical core UHF-subalgebra F_n of the Cuntz algebra O_n do not necessarily extend to automorphisms of O_n. Simple examples are discussed within the family of infinite tensor products of (inner) automorphisms of the matrix algebras M_n. In that case, necessary and sufficient conditions for the extension property are presented. It is also addressed the problem of extending to O_n the automorphisms of the diagonal D_n, which is a regular MASA with Cantor spectrum. In particular, it is shown the existence of product-type automorphisms of D_n that are not extensible to (poss…
If phantom Cuntz-Krieger algebras do not exist, then real rank zero Cuntz-Krieger algebras can be characterized by outer properties. In this survey paper, a summary of the known results on non-existence of phantom Cuntz-Krieger algebras is given.
We define the relative Cuntz-Krieger algebras associated to finitely aligned higher-rank graphs. We prove versions of the gauge-invariant uniqueness theorem and the Cuntz-Krieger uniqueness theorem for relative Cuntz-Krieger algebras.
We show that if $A$ is a unital $C^*$-algebra and $B$ is a Cuntz-Krieger algebra for which $A\otimes\mathbb{K} \cong B\otimes\mathbb{K}$, then $A$ is a Cuntz-Krieger algebra. Consequently, corners of Cuntz-Krieger algebras are Cuntz-Krieger algebras.
We give a local characterization for the Cuntz semigroup of AI-algebras building upon Shen's characterization of dimension groups. Using this result, we provide an abstract characterization for the Cuntz semigroup of AI-algebras.
The Cuntz-Toeplitz algebra $E_{n+1}$ for $n\geq1$ is the universal C*-algebra generated by $n+1$ isometries with mutually orthogonal ranges. In this paper, we investigate the automorphism groups of the Cuntz-Toeplitz algebras and determine their homotopy groups.
Given a contractive tuple of Hilbert space operators satisfying certain $A$-relations we show that there exists a unique minimal dilation to generators of Cuntz-Krieger algebras or its extension by compact operators. This Cuntz-Krieger dilation can be obtained from the classical minimal isometric dilation as a certain maximal $A$-relation piece. We define a maximal piece more generally for a finite set of polynomials in $n$ noncommuting variables. We classify all representations of Cuntz-Krieger algebras ${\mathcal O}_A$ obtained from dilations of commuting tuples satisfying $A$-relations. The…
We provide an abstract characterization for the Cuntz semigroup of unital commutative AI-algebras, as well as a characterization for abstract Cuntz semigroups of the form $\text{Lsc} (X,\overline{\mathbb{N}})$ for some $T_1$-space $X$. In our investigations, we also uncover new properties that the Cuntz semigroup of all AI-algebras satisfies.
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.
Higher rank semigraph algebras are introduced by mixing concepts of ultragraph algebras and higher rank graph algebras. This yields a kind of higher rank generalisation of ultragraph algebras. We prove Cuntz--Krieger uniqueness theorems for cancelling semigraph algebras and aperiodic full semigraph algebras.
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.
In this article, we present a new method to study relative Cuntz-Krieger algebras for higher-rank graphs. We only work with edges rather than paths of arbitrary degrees. We then use this method to simplify the existing results about relative Cuntz-Krieger algebras. We also give applications to study ideals and quotients of Toeplitz algebras.
We give a simple and complete picture on the classification of relative Cuntz--Pimsner algebras (and so also of gauge-equivariant representations) using their intuitive parametrisation by kernel--covariance pairs.
We interpret the construction of relative Cuntz-Pimsner algebras of correspondences in terms of the correspondence bicategory, as a reflector into a certain sub-bicategory. This generalises a previous characterisation of absolute Cuntz-Pimsner algebras of proper correspondences as colimits in the correspondence bicategory.
We extend the definition of an extension of a right Hilbert module to the setting of Hilbert bimodules and show that an extension of Hilbert bimodules induces an extension of Cuntz-Pimsner algebras. We also study the Cuntz-Pimsner algebra associated to the multiplier bimodule and show that an extension can be realised as a restricted direct-sum bimodule.
We introduce a nonsymmetric, associative tensor product among representations of Cuntz algebras by using embeddings. We show the decomposition formulae of tensor products for permutative representations explicitly We apply decomposition formulae to determine properties of endomorphisms.
We show that a C*-algebra "looking like" a Cuntz-Krieger algebra is a Cuntz-Krieger algebra. This implies that, in an appropriate sense, the class of Cuntz-Krieger algebras is closed under extensions of real rank zero.
This paper argues that the unitary Cuntz semigroup, introduced in [10] and termed Cu$_1$, contains crucial information regarding the classification of non-simple C$^*$-algebras. We exhibit two (non-simple) C$^*$-algebras that agree on their Cuntz semigroups, termed Cu, and their K$_1$-groups and yet disagree at level of their unitary Cuntz semigroups. In the process, we establish that the unitary Cuntz semigroup contains rigorously more information about non-simple C$^*$-algebras than Cu and K$_1$ alone.
We investigate $C^*$-algebras associated with row-finite topological higher-rank graphs with no source, which are based on product system $C^*$-algebras. We prove the Cuntz-Krieger uniqueness theorem, and provide the condition of simplicity and purely infiniteness of our algebras. We give examples of non-discrete topological higher-rank graphs whose $C^*$-algebras contain Cuntz's $ax+b$-semigroup $C^*$-algebra over $\mathbb{N}$.
We calculate the Cuntz semigroup of the tensor product A with A. We restrict our attention to C*-algebras A which are unital, simple, nuclear, stably finite, have stable rank one, absorbs the Jiang-Su algebra tensorially and satisfy the UCT.
The (abstract) Cuntz algebra is generated by non-unitary isometries and has therefore no intrinsic finiteness properties. To approximate the elements of the Cuntz algebra by finite-dimensional objects, we thus consider a spatial discretization of this algebra by the finite sections method. For we represent the Cuntz algebra as a (concrete) algebra of operators on a Hilbert space and associate with each operator in this algebra the sequence of its finite sections. The goal of this paper is to examine the structure of the $C^*$-algebra which is generated by all sequences of this form. Our main r…
It is shown that Voiculescu's toplogical entropy for the canonical endomorphism of a simple Cuntz-Krieger algebra O_A equals the logarithm of the spectral radius of A.
It is shown that certain quasi-free flows on the Cuntz algebra $O_\infty$ have the Rohlin property and therefore are cocycle-conjugate with each other. This, in particular, shows that any unital separable nuclear purely infinite simple C*-algebra has a Rohlin flow.
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 consider a product system over the multiplicative semigroup N^x of Hilbert bimodules which is implicit in work of S. Yamashita and of the second named author. We prove directly, using universal properties, that the associated Nica-Toeplitz algebra is an extension of the C^*-algebra Q_N introduced recently by Cuntz.
Given a finitely aligned $k$-graph $Λ$, we let $Λ^i$ denote the $(k-1)$-graph formed by removing all edges of degree $e_i$ from $Λ$. We show that the Toeplitz-Cuntz-Krieger algebra of $Λ$, denoted by $\mathcal{T}C^*(Λ)$, may be realised as the Toeplitz algebra of a Hilbert $\mathcal{T}C^*(Λ^i)$-bimodule. When $Λ$ is locally-convex, we show that the Cuntz-Krieger algebra of $Λ$, which we denote by $C^*(Λ)$, may be realised as the Cuntz-Pimsner algebra of a Hilbert $C^*(Λ^i)$-bimodule. Consequently, $\mathcal{T}C^*(Λ)$ and $C^*(Λ)$ may be viewed as iterated Toeplitz and iterated Cuntz-Pimsner al…
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.
