BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
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.
A λ-graph system L is a labeled Bratteli diagram with shift operation. It is a generalized notion of finite labeled graph and presents a subshifts. We will study continuous orbit equivalence of one-sided subshifts and topological conjugacy of two-sided subshifts from the view points of groupoids and C∗-algebras constructed from λ-graph systems.
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.
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 introduce a notion of normal subshifts. A subshift (Λ,σ) is said to be normal if it satisfies a certain synchronizing property called λ-synchronizing and is infinite as a set. We have lots of purely infinite simple C∗-algebras from normal subshifts including irreducible infinite sofic shifts, Dyck shifts, β-shifts, and so on. Eventual conjugacy of one-sided normal subshifts and topological conjugacy of two-sided normal subshifts are characterized in terms of the associated C∗-algebras and the associated stabilized C∗-algebras with its diagonals and gauge actions, respectively.
We introduce a notion of λ-graph bisystem. It consists of a pair (L−,L+) of two labeled Bratteli diagrams L−,L+ over alphabets Σ−,Σ+, respectively, and satisfy certain compatibility condition of their labeling on edges. Its matrix presentation is called a symbolic matrix bisystem. We first show that any λ-graph bisystem presents subshifts and conversely any subshift is presented by a λ-graph bisystem, called the canonical λ-graph bisystem for the subshift. We introduce a notion of properly strong shift equivalence on symbolic matrix bisystems and show that two subshifts are topologically conjugate if and only if their canonical symbolic matrix bisystems are properly strong shift equivalent. A λ-graph bisystem (L−,L+) yields a pair of C∗-algebra written OL−+,OL+−. We show that the C∗-algebras are universal unique C∗-algebras subject to certain operator relations among canonical generators encoded by λ-graph bisystem (L−,L+). If a λ-graph bisystem comes from a λ-graph system of a finite directed graph, then the associated subshift is the two-sided topological Markov shift (ΛA,σA) by its transition matrix A of the graph, and the associated C∗-algebra OL−+ is isomorphic to OA, whereas the other C∗-algebra OL+− is isomorphic to C(ΛA)⋊σA∗Z of the commutative C∗-algebra C(ΛA) on ΛA by the automorphism induced by the homeomorphism of the shift σA. This phenomena shows a duality between OA and C(ΛA)⋊σA∗Z.
Let A be an N×N irreducible matrix with entries in {0,1}. We present an easy way to find an (N+3)×(N+3) irreducible matrix Aˉ with entries in {0,1} such that their Cuntz--Krieger algebras OA and OAˉ are isomorphic and det(1−A)=−det(1−Aˉ). As a consequence, we know that two Cuntz--Krieger algebras OA and OB are isomorphic if and only if the one-sided topological Markov shift (XA,σA) is continuously orbit equivalent to (XB,σB) or (XBˉ,σBˉ).
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.
In this paper, we will study presentations of the continuous full group ΓA of a one-sided topological Markov shift (XA,σA) for an irreducible matrix A with entries in {0,1} as a generalization of Higman-Thompson groups VN,1<N∈N. We will show that the group ΓA can be represented as a group ΓAtab of matrices, called A-adic tables, with entries in admissible words of the shift space XA, and a group ΓAPL of right continuous piecewise linear functions, called A-adic PL functions, on [0,1] with finite singularities.
In this paper, we will introduce a notion of basis related Morita equivalence in the Cuntz--Krieger algebras (OA,{Sa}a∈EA) with the canonical right finite basis {Sa}a∈EA 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 (OA,{Sa}a∈EA) and (OB,{Sb}b∈EB) with the canonical right finite bases are basis relatedly elementary Morita equivalent.
λ-graph systems are labeled Bratteli diagram with shift operations. They present subshifts. Their matrix presentations are called symbolic matrix systems. We define skew products of λ-graph systems and study extensions of subshifts by finite groups. We prove that two canonical symbolic matrix systems are G-strong shift equivalent if and only if their presented subshifts are G-conjugate. G-equivalent classes of subshifts are classified by the cohomology classes of their associated skewing functions.
In this paper, we will introduce notions of relative version of imprimitivity bimodules and relative version of strong Morita equivalence for pairs of C∗-algebras (A,D) such that D is a C∗-subalgebra of A with certain conditions. We will then prove that two pairs (A1,D1) and (A2,D2) are relatively Morita equivalent if and only if their relative stabilizations are isomorphic. In particularly, for two pairs (OA,DA) and (OB,DB) of Cuntz--Krieger algebras with their canonical masas, they are relatively Morita equivalent if and only if their underlying two-sided topological Markov shifts (XˉA,σˉA) and (XˉB,σˉB) are flow equivalent. We also introduce a relative version of the Picard group Pic(A,D) for the pair (A,D) of C∗-algebras and study them for the Cuntz--Krieger pair (OA,DA).
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 Markov shifts is described in terms of some equivalence relation of the Cuntz-Krieger algebras with canonical masas and the gauge actions without stabilization.
For an irreducible non-permutation matrix A, the triplet (OA,DA,ρA) for the Cuntz-Krieger algebra OA, its canonical maximal abelian C∗-subalgebra DA, 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 (OA,DA,ρA) and (OB,DB,ρB) are strong Morita equivalent if and only if A and B are strong shift equivalent. We also show that the generalized gauge actions on the stabilized Cuntz-Krieger algebras are cocycle conjugate if the underlying matrices are strong shift equivalent. By clarifying K-theoretic behavior of the cocycle conjugacy, we investigate a relationship between cocycle conjugacy of the gauge actions on the stabilized Cuntz-Krieger algebras and topological conjugacy of the underlying topological Markov shifts.
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.
We introduce notions of suspension and flow equivalence on one-sided topological Markov shifts, which we call one-sided suspension and one-sided flow equivalence, respectively. We prove that one-sided flow equivalence is equivalent to continuous orbit equivalence on one-sided topological Markov shifts. We also show that the zeta function of the flow on a one-sided suspension is a dynamical zeta function with some potential function and that the set of certain dynamical zeta functions is invariant under one-sided flow equivalence of topological Markov shifts.
For a given finite directed graph G, there are two types of Markov-Dyck shifts, the Markov-Dyck shift DGV of vertex type and the Markov-Dyck shift DGE of edge type. It is shown that, if G does not have multi-edges, the former is a finite-to-one factor of the latter, and they have the same topological entropy. An expression for the zeta function of a Markov-Dyck shift of vertex type is given. It is different from that of the Markov-Dyck shift of edge type.
A λ-graph system is a labeled Bratteli diagram with some additional structure, which presents a subshift and yields a C∗-algebra. In this paper, we construct a λ-graph system from a pushdown automaton, such that the accepted language by the automaton coincides with the language of admissible words of the presented subshift by the λ-graph system. The λ-graph systems for pushdown automata accepting the languages of Markov-Dyck shifts and sofic-Dyck shifts are presented.
We will introduce a notion of strongly continuous orbit equivalence in one-sided topological Markov shifts. Strongly continuous orbit equivalence yields a topological conjugacy between their two-sided topological Markov shifts (XˉA,σˉA) and (XˉB,σˉB). We prove that one-sided topological Markov shifts (XA,σA) and (XB,σB) are strongly continuous orbit equivalent if and only if there exists an isomorphism bewteen the Cuntz-Krieger algebras OA and OB preserving their maximal commutative C∗-subalgebras C(XA) and C(XB) and giving cocycle conjugate gauge actions. An example of one-sided topological Markov shifts which are strongly continuous orbit equivalent but not one-sided topologically conjugate is presented.
A Hilbert C∗-quad module of finite type has a multi structure of Hilbert C∗-bimodules with two finite bases. We will construct a C∗-algebra from a Hilbert C∗-quad module of finite type and prove its universality subject to certain relations among generators. Some examples of the C∗-algebras from Hilbert C∗-quad modules of finite type will be presented.
Let A,B be square irreducible matrices with entries in {0,1}. We will show that if the one-sided topological Markov shifts (X_A,σ_A) and (X_B,σ_B) are continuously orbit equivalent, then the two-sided topological Markov shifts (\bar X_A,\barσ_A) and (\bar X_B,\barσ_B) are flow equivalent, and hence det(id-A)=det(id-B). As a result, the one-sided topological Markov shifts (X_A,σ_A) and (X_B,σ_B) are continuously orbit equivalent if and only if the Cuntz-Krieger algebras O_A and O_B are isomorphic and det(id-A)=det(id-B).
A C∗-symbolic dynamical system (A,ρ,Σ) is a finite family {ρα}α∈Σ of endomorphisms of a C∗-algebra A with some conditions. It yields a C∗-algebra Oρ from an associated Hilbert C∗-bimodule. In this paper, we will extend the notion of C∗-symbolic dynamical system to C∗-textile dynamical system (A,ρ,η,Σρ,Ση,κ) which consists of two C∗-symbolic dynamical systems (A,ρ,Σρ) and (A,η,Ση) with certain commutation relations κ between their endomorphisms {ρα}α∈Σρ and {ηa}a∈Ση. C∗-textile dynamical systems yield two-dimensional subshifts and C∗-algebras Oρ,ηκ. We will study the structure of the algebras Oρ,ηκ and present its K-theory formulae.
Let OHκA,B be the C∗-algebra associated with the Hilbert C∗-quad module arising from commuting matrices A,B with entries in {0,1}. We will show that if the associated tiling space XA,Bκ is transitive, the C∗-algebra OHκA,B is simple and purely infinite. In particulr, for two positive integers N,M, the K-groups of the simple purely infinite C∗-algebra OHκ[N],[M] are computed by using the Euclidean algorithm.
Let (XA,σA) be the right one-sided topological Markov shift for an irreducible matrix with entries in {0,1}, and ΓA the continuous full group of (XA,σA). For two irreducible matrices A and B with entries in {0,1}, it will be proved that the continuous full groups ΓA and ΓB are isomorphic as abstract groups if and only if their one-sided topological Markov shifts (XA,σA) and (XB,σB) are continuously orbit equivalent.
A certain synchronizing property for subshifts called λ-synchronization yields λ-graph systems called the λ-synchronizing λ-graph systems for the subshifts. The λ-synchronizing λ-graph system is a left Fischer cover analogue for a λ-synchronizing subshift. We will study algebraic structure of the C∗-algebra associated with the λ-synchronizing λ-graph system and prove that the stable isomorphism class of the C∗-algebra with its Cartan subalgebra is invariant under flow equivalence of λ-synchronizing subshifts.
We will study a certain synchronizing property of subshifts called λ-synchronization. The λ-synchronizing subshifts form a large class of irreducible subshifts containing irreducible sofic shifts. We prove that the λ-synchronization is invariant under flow equivalence of subshifts. The λ-synchronizing K-groups and the λ-synchronizing Bowen-Franks groups are studied and proved to be invariant under flow equivalence of λ-synchronizing subshifts. They are new flow equivalence invariants for λ-synchronizing subshifts.
We discuss a synchronization property for subshifts, that we call λ-synchronization. Under an irreducibility assumption we associate to a λ-synchronizing subshift a simple and purely infinite C∗-algebra.
A C∗-textile dynamical system (A,ρ,η,Σρ,Ση,κ) connsists of a unital C∗-algebra A, two families of endomorphisms ραα∈Σρ and ηaa∈Ση of A and certain commutation relations κ among them. It yields a two-dimensional subshift and multi structure of Hilbert C∗-bimodules, which we call a Hilbert C∗-quad module. We introduce a C∗-algebra from the Hilbert C∗-quad module as a two-dimensional analogue of Pimsner's construction of C∗-algebras from Hilbert C∗-bimodules. We study the C∗-algebras defined by the Hilbert C∗-quad modules and prove that they have universal properties subject to certain operator relations. We also present its examples arising from commuting matrices.
The Markov-Dyck shifts arise from finite directed graphs. An expression for the zeta function of a Markov-Dyck shift is given. The derivation of this expression is based on a formula in Keller (G. Keller, {\it Circular codes, loop counting, and zeta-functions}, J. Combinatorial Theory {\bf 56} (1991), pp. 75--83). For a class of examples that includes the Fibonacci-Dyck shift the zeta functions and topological entropy ae determined.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.