Let d be a positive integer, let X be the Cantor set, and let Z^d act freely and minimally on X. We prove that the crossed product C* (Z^d, X) has stable rank one, real rank zero, and cancellation of projections, and that the order on K_0 (C* (Z^d, X)) is determined by traces. We obtain the same conclusion for the C*-algebras of various kinds of aperiodic tilings.
We prove that a crossed product algebra arising from a minimal dynamical system on the product of the Cantor set and the circle has real rank zero if and only if that system is rigid. In the case that cocycles take values in the rotation group, it is also shown that rigidity implies tracial rank zero, and in particular, the crossed product algebra is isomorphic to a unital simple AT-algebra of real rank zero. Under the same assumption, we show that two systems are approximately $K$-conjugate if and only if there exists a sequence of isomorphisms between two associated crossed products which ap…
This paper studies the relationship between minimal dynamical systems on the product of the Cantor set ($X$) and torus ($\T^2$) and their corresponding crossed product $C^*$-algebras. For the case when the cocycles are rotations, we studied the structure of the crossed product $C^*$-algebra $A$ by looking at a large subalgebra $A_x$. It is proved that, as long as the cocycles are rotations, the tracial rank of the crossed product $C^*$-algebra is always no more than one, which then indicates that it falls into the category of classifiable $C^*$-algebras. If a certain rigidity condition is sati…
We describe both the Bunce-Deddens C*-algebras and their Toeplitz versions, as crossed products of commutative C*-algebras by partial automorphisms. In the latter case, the commutative algebra has, as its spectrum, the union of the Cantor set and a copy the set of natural numbers N, fitted together in such a way that N is an open dense subset. The partial automorphism is induced by a map that acts like the odometer map on the Cantor set while being the translation by one on N. From this we deduce, by taking quotients, that the Bunce-Deddens C*-algebras are isomorphic to the (classical) crossed…
This is a survey which discusses the isomorphism problem for both C* and smooth crossed products by minimal diffeomorphisms. For C* crossed products, examples demonstrate the failure of the obvious analog of the Giordano-Putnam-Skau Theorem on minimal homeomorphisms of the Cantor set. For smooth crossed products, there are many open problems.
Several versions of approximate conjugacy for minimal dynamical systems are introduced. Relation between approximate conjugacy and corresponding crossed product $C^*$-algebras is discussed. For the Cantor minimal systems, a complete description is given for these relations via $K$-theory and $C^*$-algebras. For example, it is shown that two Cantor minimal systems are approximately $τ$-conjugate if and only if they are orbit equivalent and have the same periodic spectrum. It is also shown that two such systems are approximately $K$-conjugate if and only if the corresponding crossed product $C^*…
It is now well known that a simple graph $C^*$-algebra $C^*(E)$ of a directed graph $E$ is either AF or purely infinite. In this paper, we address the question of whether this is the case for labeled graph $C^*$-algebras recently introduced by Bates and Pask as one of the generalizations of graph $C^*$-algebras, and show that there exists a family of simple unital labeled graph $C^*$-algebras which are neither AF nor purely infinite. Actually these algebras are shown to be isomorphic to crossed products $C(X)\times_T \mathbb Z$ where the dynamical systems $(X,T)$ are Cantor minimal subshifts. …
Let $X$ be the Cantor set and $ϕ$ be a minimal homeomorphism on $X\times\T$. We show that the crossed product $C^*$-algebra $C^*(X\times\T,ϕ)$ is a simple $A\T$-algebra provided that the associated cocycle takes its values in rotations on $\T$. Given two minimal systems $(X\times\T,ϕ)$ and $(Y\times\T,ψ)$ such that $ϕ$ and $ψ$ arise from cocycles with values in isometric homeomorphisms on $\T$, we show that two systems are approximately $K$-conjugate when they have the same $K$-theoretical information.
We study homeomorphisms of a Cantor set with $k$ ($k < +\infty$) minimal invariant closed (but not open) subsets; we also study crossed product C*-algebras associated to these Cantor systems and their certain orbit-cut sub-C*-algebras. In the case that $k\geq 2$, the crossed product C*-algebra is stably finite, has stable rank 2, and has real rank zero if in addition $(X, σ)$ is aperiodic. The image of the index map is connected to certain directed graphs arising from the Bratteli-Vershik-Kakutani model of the Cantor system. Using this, it is shown that the ideal of the Bratteli diagram (of th…
Bounded orbit injection equivalence is an equivalence relation defined on minimal free Cantor systems which is a candidate to generalize flip Kakutani equivalence to actions of the Abelian free groups on more than one generator. This paper characterizes bounded orbit injection equivalence in terms of a mild strengthening of Rieffel-Morita equivalence of the associated C*-crossed-product algebras. Moreover, we construct an ordered group which is an invariant for bounded orbit injection equivalence, and does not agrees with the K\_0 group of the associated C*-crossed-product in general. This new…
We study amenable minimal Cantor systems of free groups arising from the diagonal actions of the boundary actions and certain Cantor systems. It is shown that every virtually free group admits continuously many amenable minimal Cantor systems whose crossed products are mutually non-isomorphic Kirchberg algebras in the UCT class (with explicitly determined K-theory). The technique developed in our study also enables us to compute the K-theory of certain amenable minimal Cantor systems. We apply it to the diagonal actions of the boundary actions and the products of the odometer transformations, …
Let $X$ be a Cantor set, and let $A$ be a unital separable simple amenable $C$*-algebra with tracial rank zero which satisfies the Universal Coefficient Theorem, we use $C(X,A)$ to denote the set of all continuous functions from $X$ to $A$, let $α$ be an automorphism on $C(X,A)$. Suppose that $C(X,A)$ is $α$-simple and $[α]=[\mbox{id}_{1\otimes A}]$ in $KL(1\otimes A,1\otimes A)$, we show that $C(X,A)\rtimes_α\mathbb{Z}$ has tracial rank zero.
We examine the structure of two possible candidates of isometry groups for the spectral triples on $AF$-algebras introduced by Christensen and Ivan. In particular, we completely determine the isometry group introduced by Park, and observe that these groups coincide in the case of the Cantor set. We also show that the construction of spectral triples on crossed products given by Hawkins, Skalski, White and Zacharias, is suitable for the purpose of lifting isometries.
The external Kasparov product is used to construct odd and even spectral triples on crossed products of $C^*$-algebras by actions of discrete groups which are equicontinuous in a natural sense. When the group in question is $\Z$ this gives another viewpoint on the spectral triples introduced by Belissard, Marcolli and Reihani. We investigate the properties of this construction and apply it to produce spectral triples on the Bunce-Deddens algebra arising from the odometer action on the Cantor set and some other crossed products of AF-algebras.
I combine recent results in the structure theory of nuclear C*-algebras and in topological dynamics to classify certain types of crossed products in terms of their Elliott invariants. In particular, transformation group C*-algebras associated to free minimal Z^d-actions on the Cantor set with compact space of ergodic measures are classified by their ordered K-theory. In fact, the respective statement holds for finite dimensional compact metrizable spaces, provided that projections of the crossed products separate tracial states. Moreover, C*-algebras associated to certain minimal homeomorphism…
We introduce the fundamental group ${\mathcal F}(\mathcal{R}_{G, ϕ})$ of a uniquely ergodic Cantor minimal $G$-system $\mathcal{R}_{G, ϕ}$ where $G$ is a countable discrete group. We compute fundamental groups of several uniquely ergodic Cantor minimal $G$-systems. We show that if $\mathcal{R}_{G, ϕ}$ arises from a free action $ϕ$ of a finitely generated abelian group, then there exists a unital countable subring $R$ of $\mathbb{R}$ such that $\mathcal{F}(\mathcal{R}_{G, ϕ})=R_{+}^\times$. We also consider the relation between fundamental groups of uniquely ergodic Cantor minimal $\mathbb{Z}^n…
A Cantor minimal system is of finite topological rank if it has a Bratteli-Vershik representation whose number of vertices per level is uniformly bounded. We prove that if the topological rank of a minimal dynamical system on a Cantor set is finite then all its minimal Cantor factors have finite topological rank as well. This gives an affirmative answer to a question posed by Donoso, Durand, Maass, and Petite.
For minimal unique ergodic diffeomorphisms $α_n$ of $S^{2n+1} (n>0)$ and $α_m$ of $S^{2m+1}(m>0)$, the $C^*$-crossed product algebra $C(S^{2n+1})\rtimes_{α_n} \mathbb{Z}$ is isomorphic to $C(S^{2m+1})\rtimes_{α_m} \mathbb{Z}$ even though $n\neq m$ . However, by cyclic cohomology, we show that smooth crossed product algebra $C^\infty(S^{2n+1})\rtimes_{α_n} \mathbb{Z}$ is not isomorphic to $C^\infty(S^{2m+1})\rtimes_{α_m} \mathbb{Z}$ if $n\neq m$.
We show that every minimal, free action of the group Z^2 on the Cantor set is orbit equivalent to an AF-relation. As a consequence, this extends the classification of minimal systems on the Cantor set up to orbit equivalence to include AF-relations, Z-actions and Z^2-actions.
Let $X$ be an infinite compact metric space with finite covering dimension and let $α, β: X\to X$ be two minimal homeomorphisms. We prove that the crossed product $C^*$-algebras $C(X)\rtimes_α\Z$ and $C(X)\rtimes_\belta\Z$ are isomorphic if and only if they have isomorphic Elliott invariant. In a more general setting, we show that if $X$ is an infinite compact metric space and if $α: X\to X$ is a minimal homeomorphism such that $(X, α)$ has mean dimension zero, then the tensor product of the crossed product with a UHF-algebra of infinite type has generalized tracial rank at most one. This impl…
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.
We prove that a `small' extension of a minimal AF equivalence relation on a Cantor set is orbit equivalent to the AF relation. By a `small' extension we mean an equivalence relation generated by the minimal AF equivalence relation and another AF equivalence relation which is defined on a closed thin subset. The result we obtain is a generalization of the main theorem in [GMPS2].
We introduce a subclass of recursive subhomogeneous algebras, in which each of the pullback maps is diagonal in a suitable sense. We define the notion of a diagonal map between two such algebras and show that every simple inductive limit of these algebras with diagonal bonding maps has stable rank one. As an application, we prove that for any infinite compact metric space $T$ and minimal homeomorphism $h\colon T\to T$, the associated dynamical crossed product $\mathrm{C^*}(\mathbb{Z},T,h)$ has stable rank one. This affirms a conjecture of Archey, Niu, and Phillips. We also show that the Toms-W…
Let X be an infinite compact metric space with finite covering dimension and let h be a minimal homeomorphism of X. Let A be the associated crossed product C*-algebra. We show that A has tracial rank zero whenever the image of K_0 (A) in the affine functions on the tracial state space of A is dense. As a consequence, we show that these crossed product C*-algebras are in fact simple AH algebras with real rank zero. When X is connected and h is further assumed to be uniquely ergodic, then the above happens if and only if the rotation number associated to h has irrational values. By applying the …
We define centrally large subalgebras of simple unital C*-algebras, strengthening the definition of large subalgebras in previous work. We prove that if A is any infinite dimensional simple separable unital C*-algebra which contains a centrally large subalgebra with stable rank one, then A has stable rank one. We also prove that large subalgebras of crossed product type are automatically centrally large. We use these results to prove that if X is a compact metric space which has a surjective continuous map to the Cantor set, and h is a minimal homeomorphism of X, then C* (Z, X, h) has stable r…
We study conditions that will ensure that a crossed product of a C*-algebra by a discrete exact group is purely infinite (simple or non-simple). We are particularly interested in the case of a discrete non-amenable exact group acting on a commutative C*-algebra, where our sufficient conditions can be phrased in terms of paradoxicality of subsets of the spectrum of the abelian C*-algebra. As an application of our results we show that every discrete countable non-amenable exact group admits a free amenable minimal action on the Cantor set such that the corresponding crossed product C*-algebra is…
We study diagonal actions $φ:\mathbb{F}_2\curvearrowright\partial\mathbb{F}_2\times K$ on the Cantor set which are given by $φ_a=\partial_a\timesα,φ_b=\partial_b\timesβ$. Under some restrictions on $α,β$ we compute $K_*(C(\partial\mathbb{F}_2\times K)\rtimes_r\mathbb{F}_2)$. As an application in the case of $α$ is Denjoy homeomorphism of the Cantor set and $β=id$ we will show that $C(\partial\mathbb{F}_2\times K)\rtimes_r\mathbb{F}_2$ is Kirchberg algebra with $K_*(C(\partial\mathbb{F}_2\times K)\rtimes_r\mathbb{F}_2)=(\mathbb{Z}^\infty,\mathbb{Z}^\infty)$. Also we will check that $C^*$-crosse…
In this article we construct two minimal unique ergodic diffeomorphisms $α$ and $β$ on $S^3 \times S^{6} \times S^{8} $. We will show that $C(S^3 \times S^{6} \times S^{8}) \rtimes_α\mathbb{Z} $ and $C(S^3 \times S^{6} \times S^{8})\rtimes_β\mathbb{Z} $ are equivalent to each other, while $C^\infty (S^3 \times S^{6} \times S^{8})\rtimes_α\mathbb{Z} $ and $C^\infty(S^3 \times S^{6} \times S^{8} )\rtimes_β\mathbb{Z} $ are not.
Floyd gave an example of a minimal dynamical system which was an extension of an odometer and the fibres of the associated factor map were either singletons or intervals. Gjerde and Johansen showed that the odometer could be replaced by any Cantor minimal system. Here, we show further that the intervals can be generalized to cubes of arbitrary dimension and to attractors of certain iterated function systems. We discuss applications.
It is introduced an analogue of the orbit-breaking subalgebra for the case of free flows on locally compact metric spaces, which has a natural approximate structure in terms of a fixed point and any nested sequence of central slices around this point. It is shown that in the case of minimal flows admitting a compact Cantor central slice, the resulting $C^*$-algebra is the stabilization of the Putnam orbit-breaking subalgebra associated to the induced homeomorphism on the central slice.
A category structure for ordered Bratteli diagrams is proposed in which isomorphism coincides with the notion of equivalence of Herman, Putnam, and Skau. It is shown that the natural one-to-one correspondence between the category of Cantor minimal systems and the category of simple properly ordered Bratteli diagrams is in fact an equivalence of categories. This gives a Bratteli-Vershik model for factor maps between Cantor minimal systems. We give a construction of factor maps between Cantor minimal systems in terms of suitable maps (called premorphisms) between the corresponding ordered Bratte…
We extend Matui's notion of almost finiteness to general etale groupoids and show that the reduced groupoid C*-algebras of minimal almost finite groupoids have stable rank one. The proof follows a new strategy, which can be regarded as a local version of the large subalgebra argument. The following three are the main consequences of our result. (i) For any group of (local) subexponential growth and for any its minimal action admitting a totally disconnected free factor, the crossed product has stable rank one. (ii) Any countable amenable group admits a minimal action on the Cantor set all whos…
We introduce a type of zero-dimensional dynamical system (a pair consisting of a totally disconnected compact metrizable space along with a homeomorphism of that space), which we call "fiberwise essentially minimal", and we prove that the associated crossed product $ C^* $-algebra of such a system is an AT-algebra. Under the additional assumption that the system has no periodic points, we prove that the associated crossed product $ C^* $-algebra has real rank zero, which tells us that such $ C^* $-algebras are classifiable by $ K $-theory. We show that the definition of fiberwise essentially m…
Let β: S^n \to S^n, for n = 2k + 1, k \geq 1, be one of the known examples of a non-uniquely ergodic minimal diffeomorphism of an odd dimensional sphere. For every such minimal dynamical system (S^n, β) there is a Cantor minimal system (X, α) such that the corresponding product system (X x S^n, αx β) is minimal and the resulting crossed product C*-algebra C(X x S^n) \rtimes_{αx β} \mathbb{Z} is tracially approximately an interval algebra (TAI). This entails classification for such C*-algebras. Moreover, the minimal Cantor system (X, α) is such that each tracial state on C(X x S^n) \rtimes_β \m…
We find the range of a trace on the $K_0$ group of a crossed product by a time-$t$ automorphism of a mapping torus. We also find a formula to compute the Voiculescu-Brown entropy for such an automorphism. By specializing to the commutative setting, we prove that the crossed products by minimal time-t homeomorphisms of suspensions built over strongly orbit equivalent Cantor minimal systems have isomorphic Elliott invariants. As an application of our results we give examples of dynamical systems on (compact metric) connected 1-dimensional spaces which are not flip conjugate (because of different…
Let $α: G\curvearrowright X$ be a continuous action of an infinite countable group on a compact Hausdorff space. We show that, under the hypothesis that the action $α$ is topologically free and has no $G$-invariant regular Borel probability measure on $X$, dynamical comparison implies that the reduced crossed product of $α$ is purely infinite and simple. This result, as an application, shows a dichotomy between stable finiteness and pure infiniteness for reduced crossed products arising from actions satisfying dynamical comparison. We also introduce the concepts of paradoxical comparison and t…
For a given discrete group $G$, we apply results of Kirchberg on exact and injective tensor products of $C^*$-algebras to give an explicit description of the minimal exact correspondence crossed-product functor and the maximal injective crossed-product functor for $G$ in the sense of Buss, Echterhoff and Willett. In particular, we show that the former functor dominates the latter.
Building on an argument by Toms and Winter, we show that if $A$ is a simple, separable, unital, $\mathcal{Z}$-stable C*-algebra, then the crossed product of $C(X,A)$ by an automorphism is also Z-stable, provided that the automorphism induces a minimal homeomorphism on $X$. As a consequence, we observe that if $A$ is nuclear and purely infinite then the crossed product is a Kirchberg algebra.
A continuous family of non-outer conjugate aperiodic automorphisms whose crossed-products are all isomorphic is given on every interpolated free group factor. An explicit "duality" relationship between compact co-commutative Kac algebra (minimal) free product actions and free shift actions is also discussed.
We construct centrally large subalgebras in crossed products of $C (X, D)$ by automorphisms in which $D$ is simple, $X$ is compact metrizable, the automorphism induces a minimal homeomorphism of $X$, and a mild technical assumption holds. We use this construction to prove structural properties of the crossed product, such as (tracial) $Z$-stability, stable rank one, real rank zero, and pure infiniteness, in a number of examples. Our examples are not accessible via methods based on finite Rokhlin dimension, either because $D$ is not $Z$-stable or because $X$ is infinite dimensional.
A crossed product functor is said to be injective if it takes injective morphisms to injective morphisms. In this paper we show that every locally compact group $G$ admits a maximal injective crossed product $A\mapsto A\rtimes_{\inj}G$. Moreover, we give an explicit construction of this functor that depends only on the maximal crossed product and the existence of $G$-injective $C^*$-algebras; this is a sort of a `dual' result to the construction of the minimal exact crossed product functor, the latter having been studied for its relationship to the Baum-Connes conjecture. It turns out that $\r…
We bound the nuclear dimension of crossed products associated to some partial actions of finite groups or $\mathbb{Z}$ on finite dimensional locally compact Hausdorff second countable spaces. Our results apply to globalizable partial actions, finite group partial actions, minimal partial automorphisms, and partial automorphisms acting on zero-dimensional spaces, or a class of one dimensional spaces, containing $1$-dimensional CW complexes. This extends work on global systems by Hirshberg and Wu.
Given a quasi-special endomorphism $ρ$ of a C*-algebra A with nontrivial center, we study an extension problem for automorphisms of A to a minimal cross-product B of A by $ρ$. Exploiting some aspects of the underlying generalized Doplicher-Roberts duality theory based on Pimsner algebras, an obstruction to the existence of such extensions is found and described in terms of sections of a suitable group bundle.
We prove a generalized version of Powers' averaging property that characterizes simplicity of reduced crossed products $C(X) \rtimes_λG$, where $G$ is a countable discrete group, and $X$ is a compact Hausdorff space which $G$ acts on minimally by homeomorphisms. As a consequence, we generalize results of Hartman and Kalantar on unique stationarity to the state space of $C(X) \rtimes_λG$ and to Kawabe's generalized space of amenable subgroups $\operatorname{Sub}_a(X,G)$. This further lets us generalize a result of the first named author and Kalantar on simplicity of intermediate C*-algebras. We…
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.
We introduce the tracial quasi-Rokhlin property for an automorphism alpha of a unital C*-algebra A, which is not assumed to be simple. We show that under suitable hypotheses, the associated crossed product C*-algebra C*(Z,A,alpha) is simple, and there is a bijection between the space of tracial states on C*(Z,A,alpha)$ and the alpha-invariant tracial states on A. We show that, for a minimal dynamical system (X,h) and a simple, separable, unital C*-algebra A, the automorphism beta which extends the action of h on C(X) has the tracial quasi-Rokhlin property, and hence that C*(Z,C(X,A),beta) has …
University of Detroit Mercy(底特律 Mercy 大学);Okanagan College(奥卡纳根学院);East China Normal University(华东师范大学);University of Oregon(俄勒冈大学);University of Oxford(牛津大学)
Given a locally compact group $G$, we study the smallest exact crossed-product functor $(A,G,α)\mapsto A\rtimes_{\mathcal E} G$ on the category of $G$-$C^*$-dynamical systems. As an outcome, we show that the smallest exact crossed-product functor is automatically Morita compatible, and hence coincides with the functor $\rtimes_{\mathcal{E}}$ as introduced by Baum, Guentner, and Willett in their reformulation of the Baum-Connes conjecture (see [2]). We show that the corresponding group algebra $C_{\mathcal{E}}^*(G)$ always coincides with the reduced group algebra, thus showing that the new form…
We show that all amenable, minimal actions of a large class of nonamenable countable groups on compact metric spaces have dynamical comparison. This class includes all nonamenable hyperbolic groups, many HNN-extensions, nonamenable Baumslag-Solitar groups, a large class of amalgamated free products, lattices in many Lie groups, $\widetilde{A}_2$-groups, as well as direct products of the above with arbitrary countable groups. As a consequence, crossed products by amenable, minimal and topologically free actions of such groups on compact metric spaces are Kirchberg algebras in the UCT class, and…
We discuss the interplay between K-theoretical dynamics and the structure theory for certain C*-algebras arising from crossed products. For noncommutative C*-systems we present notions of minimality and topological transitivity in the K-theoretic framework which are used to prove structural results for reduced crossed products. In the presence of sufficiently many projections we associate to each noncommutative C*-system (A,G) a type semigroup S(A,G) which reflects much of the spirit of the underlying action. We characterize purely infinite as well as stably finite crossed products by means of…
We establish $\mathcal{Z}$-stability for crossed products of outer actions of amenable groups on $\mathcal{Z}$-stable $C^*$-algebras under a mild technical assumption which we call McDuff property with respect to invariant traces. We obtain such result using a weak form of dynamical comparison, which we verify in great generality. We complement our results by proving that McDuffness with respect to invariant traces is automatic in many cases of interest. This is the case, for instance, for every action of an amenable group $G$ on a classifiable $C^*$-algebra $A$ whose trace space $T(A)$ is a B…
Let X be an infinite, compact, metrizable space of finite covering dimension and h a minimal homeomorphism of X. We prove that the crossed product of C(X) by h absorbs the Jiang-Su algebra tensorially and has finite nuclear dimension. As a consequence, these algebras are determined up to isomorphism by their graded ordered K-theory under the necessary condition that their projections separate traces. This result applies, in particular, to those crossed products arising from uniquely ergodic homeomorphisms.
This is a survey article describing the proof that the crossed product C^* (Z, M, h) of a compact smooth manifold M by a minimal diffeomorphism h of M is isomorphic to a direct limit of recursive subhomogeneous C*-algebras.