Bosons and fermions are described by using canonical generators of Cuntz algebras on any permutative representation. According to branching laws associated with these descriptions, a certain representation of the Cuntz algebra $\co{2}$ induces Fock representations ${\cal H}_{B}$ and ${\cal H}_{F}$ of bosons and fermions simultaneously. From this, a unitary operator $U$ from ${\cal H}_{B}$ to ${\cal H}_{F}$ is obtained. We show the explicit formula of the action of $U$ on the standard basis of ${\cal H}_{B}$. It is shown that $U$ preserves the particle number of ${\cal H}_{B}$ and ${\cal H}_{F}$.
In 2006, Restorff completed the classification of all Cuntz-Krieger algebras with finitely many ideals (i.e., those that are purely infinite) up to stable isomorphism. He left open the questions concerning strong classification up to stable isomorphism and unital classification. In this paper, we address both questions. We show that any isomorphism between the reduced filtered K-theory of two Cuntz-Krieger algebras with finitely many ideals lifts to a *-isomorphism between the stabilized Cuntz-Krieger algebras. As a result, we also obtain strong unital classification.
Let ${\rm Rep}\,{\cal O}_n$ denote the category of all nondegenerate $^*$ representations of the Cuntz algebra ${\cal O}_n$. For any $2\leq n,m<\infty$, we construct an isomorphism functor $F_{n,m}$ from ${\rm Rep}\,{\cal O}_m$ to ${\rm Rep}\,{\cal O}_n$.
We prove that if two nonnegative matrices are strong shift equivalent, the associated stable Cuntz-Krieger algebras with generalized gauge actions are conjugate. The proof is done by a purely functional analytic method and based on constructing imprimitivity bimodule from bipartite directed graphs through strong shift equivalent matrices, so that we may clarify K-theoretic behavior of the stable conjugacy between the associated stable Cuntz-Krieger algebras. We also examine our machinery for the matrices obtained by state splitting graphs, so that topological conjugacy of the topological Marko…
We study graph $C^*$-algebras equipped with generalised gauge actions, and characterise in terms of groupoids and groupoid cocycles when two graph $C^*$-algebras are isomorphic by a diagonal-preserving isomorphism that intertwines the generalised gauge actions. We apply this characterisation to show that two Cuntz-Krieger algebras are isomorphic by a diagonal-preserving isomorphism that intertwines the gauge actions if and only if the corresponding one-sided subshifts are eventually conjugate, and that the stabilisation of two Cuntz-Krieger algebras are isomorphic by a diagonal-preserving isom…
We show that the Leavitt path algebras $L_{2,\mathbb{Z}}$ and $L_{2-,\mathbb{Z}}$ are not isomorphic as $*$-algebras. There are two key ingredients in the proof. One is a partial algebraic translation of Matsumoto and Matui's result on diagonal preserving isomorphisms of Cuntz--Krieger algebras. The other is a complete description of the projections in $L_{\mathbb{Z}}(E)$ for $E$ a finite graph. This description is based on a generalization, due to Chris Smith, of the description of the unitaries in $L_{2,\mathbb{Z}}$ given by Brownlowe and the second named author. The techniques generalize to…
We construct a functor that maps $C^*$-correspondences to their Cuntz-Pimsner algebras. The objects in our domain category are $C^*$-correspondences, and the morphisms are the isomorphism classes of $C^*$-correspondences satisfying certain conditions. As an application, we recover a well-known result of Muhly and Solel. In fact, we show that functoriality leads us to a more generalized result: strongly Morita equivalent $C^*$-correspondences have Morita equivalent Cuntz-Pimsner algebras.
Unifying two notions of an action and coaction of a locally compact group on a $C^*$-cor\-re\-spond\-ence we introduce a coaction $(σ,δ)$ of a Hopf $C^*$-algebra $S$ on a $C^*$-cor\-re\-spond\-ence $(X,A)$. We show that this coaction naturally induces a coaction $ζ$ of $S$ on the associated Cuntz-Pimsner algebra $\mathcal{O}_X$ under the weak $δ$-invariancy for the ideal $J_X$. When the Hopf $C^*$-algebra $S$ is defined by a well-behaved multiplicative unitary, we construct a $C^*$-cor\-re\-spond\-ence $(X\rtimes_σ\widehat{S},A\rtimes_δ\widehat{S})$ from $(σ,δ)$ and show that it has a represen…
Let $A$ be a separable unital C*-algebra and let $π: A \ra \Lc(\Hf)$ be a faithful representation of $A$ on a separable Hilbert space $\Hf$ such that $π(A) \cap \Kc(\Hf) = \{0 \}$. We show that $\Oc_E$, the Cuntz-Pimsner algebra associated to the Hilbert $A$-bimodule $E = \Hf \ot_{\C} A$, is simple and purely infinite. If $A$ is nuclear and belongs to the bootstrap class to which the UCT applies, then the same applies to $\Oc_E$. Hence by the Kirchberg-Phillips Theorem the isomorphism class of $\Oc_E$ only depends on the $K$-theory of $A$ and the class of the unit.
The algebraic Cuntz-Pimsner rings are naturally $\mathbb{Z}$-graded rings that generalize both Leavitt path algebras and unperforated $\mathbb{Z}$-graded Steinberg algebras. We classify strongly, epsilon-strongly and nearly epsilon-strongly graded algebraic Cuntz-Pimsner rings up to graded isomorphism. As an application, we characterize noetherian and artinian fractional skew monoid rings by a single corner automorphism.
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…
We investigate an invariant for continuous fields of the Cuntz algebra $\mathcal{O}_{n+1}$ introduced in our previous work, and find a way to obtain a continuous field of $\mathbb{M}_n(\mathcal{O}_\infty)$ from that of $\mathcal{O}_{n+1}$ using the construction of the invariant. By Brown's representability theorem, this gives a bijection from the set of the isomorphism classes of continuous fields of $\mathcal{O}_{n+1}$ to those of $\mathbb{M}_n(\mathcal{O}_\infty)$. As a consequence, we obtain a new proof for M. Dadarlat's classification result of continuous fields of $\mathcal{O}_{n+1}$ aris…
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.
We show that every biorthogonal wavelet determines a representation by operators on Hilbert space satisfying simple identities, which captures the established relationship between orthogonal wavelets and Cuntz-algebra representations in that special case. Each of these representations is shown to have tractable finite-dimensional co-invariant doubly-cyclic subspaces. Further, motivated by these representations, we introduce a general Fock-space Hilbert space construction which yields creation operators containing the Cuntz--Toeplitz isometries as a special case.
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.
To each finitely aligned higher-rank graph $Λ$ and each $\mathbb{T}$-valued 2-cocycle on $Λ$, we associate a family of twisted relative Cuntz-Krieger algebras. We show that each of these algebras carries a gauge action, and prove a gauge-invariant uniqueness theorem. We describe an isomorphism between the fixed point algebras for the gauge actions on the twisted and untwisted relative Cuntz-Krieger algebras. We show that the quotient of a twisted relative Cuntz-Krieger algebra by a gauge-invariant ideal is canonically isomorphic to a twisted relative Cuntz-Krieger algebra associated to a subgr…
Bosons and fermions are often written by elements of other algebras. M. Abe gave a recursive realization of the boson by formal infinite sums of the canonical generators of the Cuntz algebra ${\cal O}_{\infty}$. We show that such formal infinite sum always makes sense on a certain dense subspace of any permutative representation of ${\cal O}_{\infty}$. In this meaning, we can regard as if the algebra ${\cal B}$ of bosons was a unital $*$-subalgebra of ${\cal O}_{\infty}$ on a given permutative representation by keeping their unboundedness. By this relation, we compute branching laws arising fr…
We provide an abstract categorical framework that relates the Cuntz semigroups of the C$^*$-algebras $A$ and $A\otimes \mathcal{K}$. This is done through a certain completion of ordered monoids by adding suprema of countable ascending sequences. Our construction is rather explicit and we show it is functorial and unique up to isomorphism. This approach is used in some applications to compute the stabilized Cuntz semigroup of certain C$^*$-algebras.
Bosons and fermions are described by using canonical generators of Cuntz algebras on any permutative representation. We show a fermionization of bosons which universally holds on any permutative representation of the Cuntz algebra ${\cal O}_{2}$. As examples, we show fermionizations on the Fock space and the infinite wedge.
We prove that the natural homomorphism from Kirchberg's ideal-related KK-theory, KKE(e, e'), with one specified ideal, into Hom_Λ (\underline{K}_{E} (e), \underline{K}_{E} (e')) is an isomorphism for all extensions e and e' of separable, nuclear C*-algebras in the bootstrap category N with the K-groups of the associated cyclic six term exact sequence being finitely generated, having zero exponential map and with the K_{1}-groups of the quotients being free abelian groups. This class includes all Cuntz-Krieger algebras with exactly one non-trivial ideal. Combining our results with the results o…
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.
For $q \in \mathbb{R}$, $|q| < 1$ we consider the universal enveloping $C^*$-algebra of a $*$-algebra of $q$-canonical commutation relations ($q$-CCR), which is generated by $a_1, \ldots, a_n$ subject to the relations \[ a_i^* a_j = δ_{ij} 1 + q a_j a_i^* . \] It has a distinguished representation $π_F$ called the Fock representation, which is believed to be faithful. In this article we denote the image of the universal enveloping $C^*$-algebra of $q$-CCR in the Fock representation by $\beth_q$. The question whether $C^*$-isomorphism $\beth_q \simeq \beth_0$ holds has been considered in the li…
We consider $C^*$-algebra $\mathcal{E}_{n,m}^q$, which is a $q$-twist of two Cuntz-Toeplitz algebras. For the case $|q|<1$ we give an explicit formula, which untwists the $q$-deformation, thus showing that the isomorphism class of $\mathcal{E}_{n,m}^q$ does not depend of $q$. For the case $|q|=1$ we give an explicit description of all ideals in $\mathcal{E}_{n,m}^q$. In particular $\mathcal{E}_{n,m}^q$ contains unique largest ideal $\mathcal{M}_q$. Then we identify $\mathcal{E}_{n,m}^q / \mathcal{M}_q$ with the Rieffel deformation of $\mathcal{O}_n \otimes \mathcal{O}_m$ and use a K-theoretica…
Let $E$ be a finite directed graph with no sources or sinks and write $X_E$ for the graph correspondence. We study the $C^*$-algebra $C^*(E,Z):=\mathcal{T}(X_E,Z)/\mathcal{K}$ where $\mathcal{T}(X_E,Z)$ is the $C^*$-algebra generated by weighted shifts on the Fock correspondence $\mathcal{F}(X_E)$ given by a weight sequence $\{Z_k\}$ of operators $Z_k\in \mathcal{L}(X_{E^{k}})$ and $\mathcal{K}$ is the algebra of compact operators on the Fock correspondence. If $Z_k=I$ for every $k$, $C^*(E,Z)$ is the Cuntz-Krieger algebra associated with the graph $E$. We show that $C^*(E,Z)$ can be realized …
We define a notion of ideal for objects in the category of abstract unitary Cuntz semigroups introduced in [3] and termed Cu$^\sim$. We show that the set of ideals of a Cu$^\sim$-semigroup has a complete lattice structure. In fact, we prove that for any C$^*$-algebra of stable rank one $A$, the assignment $I\longmapsto$Cu$_1(I)$ defines a complete lattice isomorphism between the set of ideals of $A$ and the set of ideals of its unitary Cuntz semigroup Cu$_1(A)$. Further, we introduce a notion of quotients and exactness for the (non abelian) category Cu$^\sim$. We show that Cu$_1(A)/$Cu$_1(I)\s…
We characterize the state space of a Toeplitz-Cuntz algebra TO_n in terms of positive operator matrices $Ω$ on Fock space which satisfy sl(Ω) \le Ω, where sl(Ω) is the operator matrix obtained from Ωby taking the trace in the last variable. Essential states correspond to those matrices Ωwhich are slice-invariant. As an application we show that a pure essential product state of the fixed-point algebra for the action of the gauge group has precisely a circle of pure extensions to TO_n.
For Cuntz-Pimsner algebras of bi-Hilbertian bimodules of finite Jones-Watatani index satisfying some side conditions, we give an explicit isomorphism between the $K$-theory exact sequences of the mapping cone of the inclusion of the coefficient algebra into a Cuntz-Pimsner algebra, and the Cuntz-Pimsner exact sequence. In the process we extend some results by the second author and collaborators from finite projective bimodules to finite index bimodules, and also clarify some aspects of Pimsner's `extension of scalars' construction.
The classical Cuntz semigroup has an important role in the study of C*-algebras, being one of the main invariants used to classify recalcitrant C*-algebras up to isomorphism. We consider C*-algebras that have Hopf algebra structure, and find additional structure in their Cuntz semigroups, thus generalizing the equivariant Cuntz semigroup. We develop various aspects of the theory of such semigroups, and in particular, we give general results allowing classification results of the Elliott classification program to be extended to classification results for C*-algebraic quantum groups.
This paper studies the problems of embedding and isomorphism for countably generated Hilbert C*-modules over commutative C*-algebras. When the fibre dimensions differ sufficiently, relative to the dimension of the spectrum, we show that there is an embedding between the modules. This result continues to hold over recursive subhomogeneous C*-algebras. For certain modules, including all modules over $C_0(X)$ when $dim X \leq 3$, isomorphism and embedding are determined by the restrictions to the sets where the fibre dimensions are constant. These considerations yield results for the Cuntz semigr…
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…
We characterize the non-commutative Aleksandrov--Clark measures and the minimal realization formulas of contractive and, in particular, isometric non-commutative rational multipliers of the Fock space. Here, the full Fock space over $\mathbb{C} ^d$ is defined as the Hilbert space of square--summable power series in several non-commuting formal variables, and we interpret this space as the non-commutative and multi-variable analogue of the Hardy space of square--summable Taylor series in the complex unit disk. We further obtain analogues of several classical results in Aleksandrov--Clark measur…
It is shown that if A is a stably finite C*-algebra and E is a countably generated Hilbert A-module, then E gives rise to a compact element of the Cuntz semigroup if and only if E is algebraically finitely generated and projective. It follows that if E and F are equivalent in the sense of Coward, Elliott and Ivanescu (CEI) and E is algebraically finitely generated and projective, then E and F are isomorphic. In contrast to this, we exhibit two CEI-equivalent Hilbert modules over a stably finite C*-algebra that are not isomorphic.
Based on an embedding formula of the CAR algebra into the Cuntz algebra ${\mathcal O}_{2^p}$, properties of the CAR algebra are studied in detail by restricting those of the Cuntz algebra. Various $\ast$-endomorphisms of the Cuntz algebra are explicitly constructed, and transcribed into those of the CAR algebra. In particular, a set of $\ast$-endomorphisms of the CAR algebra into its even subalgebra are constructed. According to branching formulae, which are obtained by composing representations and $\ast$-endomorphisms, it is shown that a KMS state of the CAR algebra is obtained through the a…
We will prove that one-sided topological Markov shifts $(X_A,σ_A)$ and $(X_B,σ_B)$ for matrices $A$ and $B$ with entries in $\{0,1\}$ are topologically orbit equivalent if and only if there exists an isomorphism between the Cuntz-Krieger algebras ${\Cal O}_A$ and ${\Cal O}_B$ keeping their commutative $C^*$-subalgerbas $C(X_A)$ and $C(X_B)$. It is also equivalent to the condition that there exists a homeomorphism from $X_A$ to $X_B$ intertwining their topological full groups. We will also study structure of the automorphisms of ${\Cal O}_A$ keeping the commutative $C^*$-algebra $C(X_A)$.
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…
Previously, we have shown that the CAR algebra for fermions is embedded in the Cuntz algebra ${\cal O}_{2}$ in such a way that the generators are expressed in terms of polynomials in the canonical generators of the latter, and it coincides with the U(1)-fixed point subalgebra ${\cal A}\equiv {\cal O}_{2}^{U(1)}$ of ${\cal O}_{2}$ for the canonical gauge action. Based on this embedding formula, some properties of ${\cal A}$ are studied in detail by restricting those of ${\cal O}_{2}$. Various endomorphisms of ${\cal O}_{2}$, which are defined by polynomials in the canonical generators, are expl…
We show that for all q in the interval (-1,1), the Fock representation of the q-commutation relations can be unitarily embedded into the Fock representation of the extended Cuntz algebra. In particular, this implies that the C*-algebra generated by the Fock representation of the q-commutation relations is exact. An immediate consequence is that the q-Gaussian von Neumann algebra is weakly exact for all q in the interval (-1,1).
We consider the $C^*$-algebra $\mathcal{E}_{n,m}^q$, which is a $q$-twist of two Cuntz-Toeplitz algebras. For the case $|q|<1$, we give an explicit formula which untwists the $q$-deformation showing that the isomorphism class of $\mathcal{E}_{n,m}^q$ does not depend on $q$. For the case $|q|=1$, we give an explicit description of all ideals in $\mathcal{E}_{n,m}^q$. In particular, we show that $\mathcal{E}_{n,m}^q$ contains a unique largest ideal $\mathcal{M}_q$. We identify $\mathcal{E}_{n,m}^q / \mathcal{M}_q$ with the Rieffel deformation of $\mathcal{O}_n \otimes \mathcal{O}_m$ and use a K-…
Motivated by the theory of Cuntz-Krieger algebras we define and study $ C^\ast $-algebras associated to directed quantum graphs. For classical graphs the $ C^\ast $-algebras obtained this way can be viewed as free analogues of Cuntz-Krieger algebras, and need not be nuclear. We study two particular classes of quantum graphs in detail, namely the trivial and the complete quantum graphs. For the trivial quantum graph on a single matrix block, we show that the associated quantum Cuntz-Krieger algebra is neither unital, nuclear nor simple, and does not depend on the size of the matrix block up to …
We study a new class of representations of the Cuntz-Krieger algebras $\mathcal O_A$ constructed by semibranching function systems, naturally related to stationary Bratteli diagrams. The notion of isomorphic semibranching function systems is defined and studied. We show that any isomorphism of such systems implies the equivalence of the corresponding representations of Cuntz-Krieger algebra $\mathcal O_A$. In particular, we show that equivalent measures generate equivalent representations of $\mathcal O_A$. We use Markov measures which are defined on the path space of stationary Bratteli diagr…
The q-commutation relations in the title are those that have recently received much attention, and that for -1<q<1 provide an interpolation between Bosonic and Fermionic statistics, passing through free statistics at q=0. We look at the C*-algebra R^q generated by the representation of these relations on the twisted Fock space of Bozejko-Speicher, and we find a canonical unitary U_q from the twisted Fock space to usual full Fock space, such that U_q R^q (U_q)^* contains the Cuntz algebra R^0, and such that we have equality for |q|<0.44.
It is shown that, modulo the automorphisms which fix the canonical diagonal MASA point-wise, the group of those automorphisms of the Cuntz algebra O_n which globally preserve both the diagonal and the core UHF-subalgebra is isomorphic, via restriction, with the group of those homeomorphisms of the full one-sided n-shift space which eventually commute along with their inverses with the shift transformation. The image of this group in the outer automorphism group of O_n can be embedded into the quotient of the automorphism group of the full two-sided n-shift by its center, generated by the shift…
In this paper we study the C*-envelope of the (non-self-adjoint) tensor algebra associated via subproduct systems to a finite irreducible stochastic matrix $P$. Firstly, we identify the boundary representations of the tensor algebra inside the Toeplitz algebra, also known as its non-commutative Choquet boundary. As an application, we provide examples of C*-envelopes that are not *-isomorphic to either the Toeplitz algebra or the Cuntz-Pimsner algebra. This characterization required a new proof for the fact that the Cuntz-Pimsner algebra associated to $P$ is isomorphic to $C(\mathbb{T}, M_d(\ma…
We note that the deep results of Grunewald and Segal on algorithmic problems for arithmetic groups imply the decidability of several matrix equivalence problems involving poset-blocked matrices over Z. Consequently, results of Eilers, Restorff, Ruiz and Sørensen imply that isomorphism and stable isomorphism of unital graph C*-algebras (including the Cuntz-Krieger algebras) are decidable. One can also decide flow equivalence for shifts of finite type, and isomorphism of Z-quiver representations (i.e., finite diagrams of homomorphisms of finitely generated abelian groups).
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…
Topological quivers generalize the notion of directed graphs in which the sets of vertices and edges are locally compact (second countable) Hausdorff spaces. Associated to a topological quiver $Q$ is a $C^*$-correspondence, and in turn, a Cuntz-Pimsner algebra $C^*(Q).$ Given $Γ$ a locally compact group and $α$ and $β$ endomorphisms on $Γ,$ one may construct a topological quiver $Q_{α,β}(Γ)$ with vertex set $Γ,$ and edge set $Ω_{α,β}(Γ)= \{(x,y)\inΓ\timesΓ\st α(y)=β(x)\}.$ In this paper, the author examines the Cuntz-Pimsner algebra $\cO_{α,β}(Γ):=C^*(Q_{α,β}(Γ)).$ The investigative topics inc…
