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 satisfied, it is shown that the crossed product $C^*$-algebra has tracial rank zero. Under this assumption, it is proved that for two such dynamical systems, if $A$ and $B$ are the corresponding crossed product $C^*$-algebras, and we have an isomorphism between $K_i(A)$ and $K_i(B)$ which maps $K_i(C(X \times \T^2))$ to $K_i(C(X \times \T^2))$, then these two dynamical systems are approximately $K$-conjugate. The proof also indicates that $C^*$-strongly flip conjugacy implies approximate $K$-conjugacy in this case.
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…
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…
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…
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.
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, …
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. …
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…
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 lift an action of a torus $\mathbb{T}^n$ on the spectrum of a continuous trace algebra to an action of a certain crossed module of Lie groups that is an extension of $\mathbb{R}^n$. We compute equivariant Brauer and Picard groups for this crossed module and describe the obstruction to the existence of an action of $\mathbb{R}^n$ in our framework.
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…
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 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…
We define the tracial Rokhlin property for actions of finite cyclic groups on stably finite simple unital C*-algebras. We prove that when the algebra is in addition simple and has tracial rank zero, then the crossed product again has tracial rank zero. Under a kind of weak approximate innerness assumption and one other technical condition, we prove that if the action has the the tracial Rokhlin property and the crossed product has tracial rank zero, then the original algebra has tracial rank zero. We give examples showing how the tracial Rokhlin property differs from the Rokhlin property of Iz…
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 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 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…
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…
Let $θ$ be a nondegenerate skew symmetric real $d$ by $d$ matrix, and let $A_θ$ be the corresponding simple higher dimensional noncommutative torus. Suppose that $d$ is odd, or that $d$ is greater or equal to 4 and the entries of $θ$ are not contained in a quadratic extension of $\mathbb{Q}$. Then $A_θ$ is isomorphic to the transformation group C*-algebra obtained from a minimal homeomorphism of a compact connected one dimensional space locally homeomorphic to the product of the interval and the Cantor set. The proof uses classification theory of C*-algebras.
Let F be a finite subgroup of SL_2 (Z) (necessarily isomorphic to one of Z/2Z, Z/3Z, Z/4Z, or Z/6Z), and let F act on the irrational rotational algebra A_θ via the restriction of the canonical action of SL_2 (Z). Then the crossed product of A_θ by F, and the fixed point algebra for the action of F on A_θ, are AF algebras. The same is true for the crossed product and fixed point algebra of the flip action of Z/2Z on any simple d-dimensional noncommutative torus A_Θ. Along the way, we prove a number of general results which should have useful applications in other situations.
Let $G$ be a real or $p$-adic reductive group. We consider the tempered dual of $G$, and its connected components. For real groups, Wassermann proved in 1987, by noncommutative-geometric methods, that each connected component has a simple geometric structure which encodes the reducibility of induced representations. For $p$-adic groups, each connected component of the tempered dual comes with a compact torus equipped with a finite group action, and we prove that a version of Wassermann's theorem holds true under a certain geometric assumption on the structure of stabilizers for that action. We…
We study differential operators, whose coefficients define noncommutative algebras. As algebra of coefficients, we consider crossed products, corresponding to action of a discrete group on a smooth manifold. We give index formulas for Euler, signature and Dirac operators twisted by projections over the crossed product. Index of Connes operators on the noncommutative torus is computed.
Given a spectral triple on a unital $C^{*}$-algebra $A$ and an equicontinuous action of a discrete group $G$ on $A$, a spectral triple on the reduced crossed product $C^{*}$-algebra $A\rtimes_r G$ was constructed by Hawkins, Skalski, White and Zacharias in [On spectral triples on crossed products arising from equicontinuous actions, Math. Scand. 113(2) (2013) 262-291], extending the construction by Belissard, Marcolli and Reihani in [Dynamical systems on spectral metric spaces, preprint (2010), arXiv:1008.4617], by using the Kasparov product to make an ansatz for the Dirac operator. Supposing …
Let $β: S^{2n+1}\to S^{2n+1}$ be a minimal homeomorphism ($n\ge 1$). We show that the crossed product $C(S^{2n+1})\rtimes_β \Z$ has rational tracial rank at most one. More generally, let $Ω$ be a connected compact metric space with finite covering dimension and with $H^1(Ω, \Z)=\{0\}.$ Suppose that $K_i(C(Ω))=\Z\oplus G_i$ for some finite abelian group $G_i,$ $i=0,1.$ Let $β: Ω\toΩ$ be a minimal homeomorphism. We also show that $A=C(Ω)\rtimes_β\Z$ has rational tracial rank at most one and is classifiable. In particular, this applies to the minimal dynamical systems on odd dimensional real proj…
We embed the quantum Heisenberg manifold in a crossed product algebra. This enables us to show that, in the irrational case, all tracial states on $\dc$ induce the same homomorphism on the K_0-group. We conclude that two irrational quantum Heisenberg manifolds $\dc$ and $D^c_{μ' ν'}$ are isomorphic if and only if the parameters $(μ,ν)$ and $(μ',ν')$ belong to the same orbit under the usual action of $GL_2(\ZZ)$ on the torus.
Let $A$ be a unital simple C*-algebra with tracial rank zero and $X$ be a compact metric space. Suppose that $h_1, h_2: C(X)\to A$ are two unital monomorphisms. We show that $h_1$ and $h_2$ are approximately unitarily equivalent if and only if $$ [h_1]=[h_2] {\rm in} KL(C(X),A) {\rm and} τ\circ h_1(f)=τ\circ h_2(f) $$ for every $f\in C(X)$ and every trace $τ$ of $A.$ Adopting a theorem of Tomiyama, we introduce a notion of approximate conjugacy for minimal dynamical systems. Let $X$ be a compact metric space and $α, β: X\to X$ be two minimal homeomorphisms. Using the above mentioned result, we…
Centre for Mathematical Sciences, Lund University（隆德大学数学中心）；Department of Mathematics and Statistics, University of Ottawa（渥太华大学数学与统计系）；Mathematisches Institut der WWU Münster（明斯特大学数学研究所）
The general class of the graded Lie algebras is defined. These algebras could be constructed using an arbitrary dynamical systems with discrete time and with invarinat measure. In this papers we consider the case of the central extension of Lie algebras which corresponds to the ordinary crossed product (as associative algebra) - series A. The structure of those Lie algebras is similar to Kac-Moody algebras, and these are a special case of so called algebras with continuous root system which were introduced by author with M.Saveliev in 90-th. The central extension open a new possibilty in algeb…
In his seminal paper "Generalized Fixed Point Algebras and Square-Integrable Group Actions", Ralf Meyer showed how to construct generalized fixed-point algebras for $ C^{\ast} $-dynamical systems via their square-integrable representations on Hilbert $ C^{\ast} $-modules. His method extends Marc Rieffel's construction of generalized fixed-point algebras from proper group actions on $ C^{\ast} $-algebras. This dissertation seeks to generalize Meyer's work to construct generalized fixed-point algebras for twisted $ C^{\ast} $-dynamical systems. To accomplish this, we must introduce some new conc…
