We prove a version of the Cuntz--Krieger Uniqueness Theorem for $C^*$-algebras of arbitrary relative generalized Boolean dynamical systems. We then describe properties of a $C^*$-algebra of a relative generalized Boolean dynamical system when the underlying Boolean dynamical system satisfies Condition (K). We also define a notion of minimality of a Boolean dynamical system and give sufficient and necessary conditions for the minimality.
Using these results, we characterize the generalized Boolean dynamical systems who's $C^*$-algebra is simple.
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 introduce a notion of uniformly continuous orbit equivalence as a subequivalence relation of continuous orbit equivalence of one-sided topological Markov shifts. It is described in terms of gauge actions on the associated Cuntz-Krieger algebras and continuous full groups of the Markov shifts.
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.
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.
For a row-finite higher-rank graph Λ, we construct a higher-rank graph TΛ such that the Toeplitz algebra of Λ is isomorphic to the Cuntz-Krieger algebra of TΛ. We then prove that the higher-rank graph TΛ is always aperiodic and use this fact to give another proof of a uniqueness theorem for the Toeplitz algebras of higher-rank graphs.
In this paper, we will introduce a notion of basis related Morita equivalence in the Cuntz--Krieger algebras $({\mathcal{O}_A}, \{S_a\}_{a \in E_A})$ with the canonical right finite basis $\{S_a\}_{a \in E_A}$ as Hilbert $C^*$-bimodule, and prove that two nonnegative irreducible matrices $A$ and $B$ are elementary equivalent, that is, $A = CD, B = DC$ for some nonnegative rectangular matrices $C, D$, if and only if the Cuntz--Krieger algebras $({\mathcal{O}_A}, \{S_a\}_{a \in E_A})$ and $({\mathcal{O}_B}, \{ S_b\}_{b\in E_B})$ with the canonical right finite bases are basis relatedly elementar…
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 is a contribution to the theory of what might be termed $0$-dimensional non-commutative spaces. We prove that associated with each inverse semigroup $S$ is a Boolean inverse semigroup presented by the abstract versions of the Cuntz-Krieger relations. We call this Boolean inverse semigroup the Exel completion of $S$ and show that it arises from Exel's tight groupoid under non-commutative Stone duality.
We show that an outer action of a finite abelian group on a simple Cuntz-Krieger algebra is strongly approximately inner in the sense of Izumi if the action is given by diagonal quasi-free automorphisms and the associated matrix is aperiodic. This is achieved by an approximate cohomology vanishing-type argument for the canonical shift restricted to the relative commutant of the set of domain projections of the canonical generating isometries in the fixed point algebra.
A one-sided shift of finite type $(X_A,σ_A)$ determines on the one hand a Cuntz-Krieger algebra $\mathcal{O}_A$ with a distinguished abelian subalgebra $\mathcal{D}_A$ and a certain completely positive map $τ_A$ on $\mathcal{O}_A$. On the other hand, $(X_A,σ_A)$ determines a groupoid $\mathcal{G}_A$ together with a certain homomorphism $ε_A$ on $\mathcal{G}_A$. We show that this data completely characterizes the one-sided conjugacy class of $X_A$. This strengthens a result of Cuntz and Krieger. We also exhibit an example of two irreducible shifts of finite type which are eventually conjugate b…
We give a notion of branching systems on ultragraphs. From this we build concrete representations of ultragraph C*-algebras on the bounded linear operators of Hilbert spaces. To each branching system of an ultragraph we describe the associated Perron-Frobenius operator in terms of the induced representation. We show that every permutative representation of an ultragraph C*-algebra is unitary equivalent to a representation arising from a branching system. We give a sufficient condition on ultragraphs such that a large class of representations of the C*-algebras of these ultragraphs is permutati…
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 will characterize topological conjugacy classes of one-sided topological Markov shifts in terms of the associated Cuntz--Krieger algebras and its gauge actions with potentials.
For an irreducible non-permutation matrix $A$, the triplet $({\mathcal{O}_A},{\mathcal{D}_A},ρ^A)$ for the Cuntz-Krieger algebra ${\mathcal{O}_A}$, its canonical maximal abelian $C^*$-subalgebra ${\mathcal{D}_A}$, and its gauge action $ρ^A$ is called the Cuntz-Krieger triplet. We introduce a notion of strong Morita equivalence in the Cuntz-Krieger triplets, and prove that two Cuntz-Krieger triplets $({\mathcal{O}_A},{\mathcal{D}_A},ρ^A)$ and $({\mathcal{O}_B},{\mathcal{D}_B},ρ^B)$ are strong Morita equivalent if and only if $A$ and $B$ are strong shift equivalent. We also show that the general…
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 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 KMS states for gauge actions with potential functions on Cuntz--Krieger algebras whose underlying one-sided topological Markov shifts are continuous orbit equivalent. As a result, we have a certain relationship between topological entropy of continuous orbit equivalent one-sided topological Markov shifts.
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.
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 apply Arveson's non-commutative boundary theory to dilate every Toeplitz-Cuntz-Krieger family of a directed graph $G$ to a full Cuntz-Krieger family for $G$. We do this by describing all representations of the Toeplitz algebra $\mathcal{T}(G)$ that have unique extension when restricted to the tensor algebra $\mathcal{T}_+(G)$. This yields an alternative proof to a result of Katsoulis and Kribs that the $C^*$-envelope of $\mathcal T_+(G)$ is the Cuntz-Krieger algebra $\mathcal O(G)$. We then generalize our dilation results further, to the context of colored directed graphs, by investigating …
We introduce the notion of K-theoretic duality for extensions of separable unital nuclear $C^*$-algebras by using K-homology long exact sequence and cyclic six term exact sequence for K-theory groups of extensions. We then prove that the Toeplitz extension $\mathcal{T}_A$ of a Cuntz-Krieger algebra $\mathcal{O}_A$ is the K-theoretic dual of the Toeplitz extension $\mathcal{T}_{A^t}$ of the Cuntz-Krieger algebra $\mathcal{O}_{A^t}$ for the transposed matrix $A^t$ of $A$. A pair of isomorphic Cuntz--Krieger algebras $\mathcal{O}_A$ and $\mathcal{O}_B$ does not necessarily yield the isomorphic pa…
A subset $\mathcal{G}$ generating a $C^*$-algebra $A$ is said to be hyperrigid if for every faithful nondegenerate $*$-representation $A\subseteq B(H)$ and a sequence $ϕ_n:B(H) \to B(H)$ of unital completely positive maps, we have that \[ \lim_{n\to\infty}ϕ_n(g)= g~~\text{for all } g\in \mathcal{G} ~~ \implies ~~ \lim_{n\to\infty}ϕ_n(a)= a~~\text{for all } a\in A \] where all convergence are in norm. In this paper, we show that for the Cuntz-Krieger algebra $\mathcal{O}(G)$ associated to a row-finite directed graph $G$ with no isolated vertices, the set of partial isometries $\mathcal{E}=\{S_e…
