Full groups of Cantor minimal systems. (English) Zbl 0942.46040

Giordano, Thierry; Putnam, Ian F.; Skau, Christian F.

Isr. J. Math. 111, 285-320 (1999).

For a dynamical system \((X,\phi)\) on the compact Hausdorff space \(X\), the associated full group \([\phi]\) is the subgroup of all homeomorphisms \(\gamma\) of \(X\) such that \(\gamma(x)\in \text{Orb}_\phi(x)\) (the \(\phi\)-orbit of \(x\)) for all \(x\in X\). In the particular case of a Cantor minimal system (i.e. \(\phi\) is a minimal homeomorphism of a Cantor set \(X\)), the authors obtain an analogue of Krieger’s theorem [W. Krieger, Math. Ann. 252, 87-95 (1980; Zbl 0472.54028)] which characterizes the topological orbit equivalence of two minimal homeomorphisms on a Cantor set \(X\).
In this paper, the full group \([\phi]\) of a Cantor minimal system \((X,\phi)\) is defined; namely a homeomorphism \(\psi\) of \(X\) belongs to \([\phi]\) if \(\psi(x)= \phi(x)^{n(x)}\), \(n(x)\in \mathbb{Z}\) for all \(x\in X\). The topological full group \(\tau[\phi]\) of \((X,\phi)\) is the subgroup of \([\phi]\) consisting in the homeomorphisms whose associated orbit cocycle \(n(x)\) is continuous. Following Dye’s definition [H. A. Dye, Am. J. Math. 85, 551-576 (1963; Zbl 0191.42803)], for an open set \({\mathcal O}\in X\) and for \(\Gamma\) the full group (i), or the topological full group (ii), or a minimal AF-system (iii), the local subgroup \(\Gamma_{\mathcal O}\) of \(\Gamma\) is defined by \(\Gamma_{\mathcal O}= \{\gamma\in\Gamma\); \(\gamma(x)= x\), for all \(x\in{\mathcal O}^c\}\).
In Section 3, the local subgroups \(\Gamma_U\) for \(U\) a clopen subset of \(X\) is algebraically characterized. In Section 4, the results of the preceeding section are used to prove the following result:
Theorem. Let \((X_1,\phi_1)\) and \((X_2,\phi_2)\) be Cantor minimal systems.
(i) \((X_1,\phi_1)\) and \((X_2,\phi_2)\) are orbit if and only if \([\phi_1]\) and \([\phi_2]\) are isomorphic.
(ii) \((X_1,\phi_1)\) and \((X_2,\phi_2)\) are flip-conjugate if and only if \(\tau[\phi_1]\) and \(\tau[\phi_2]\) are isomorphic.
(iii) \((X_1,\phi_1)\) and \((X_2,\phi_2)\) are strong orbit equivalent if and only if \(\tau[\phi_1]_{y_1}\) and \(\tau[\phi_2]_{y_2}\) are isomorphic for any \(y_i\in X_i\), \(i= 1,2\).
(For \(y\in X\), \(\tau[\phi]_y\) denotes the subgroup of \(\gamma\in \tau[\phi]\) such that \(\gamma(\text{orb}^+_\phi(y))= \text{Orb}^+_\phi(y)\), where \(\text{Orb}^+_\phi(y)\) is the forward \(\phi\)-orbit of \(y\).)
In Section 5, the authors show that, up to normalization, there exists only one non-trivial homomorphism from \(\tau[\phi]\) to \(\mathbb{Z}\) called the index map, the kernel of which is a complete algebraic invariant of flip-conjugacy of a Cantor minimal system \((X,\phi)\).

Reviewer: L.Maxim-Răileanu (Iaşi)

MSC:

46L80

\(K\)-theory and operator algebras (including cyclic theory)

Keywords:

dynamical system; full group; Cantor minimal system; Krieger’s theorem; complete algebraic invariant flip-conjugacy

Citations:

Zbl 0472.54028; Zbl 0191.42803

References:

[1]	[B1] M. Boyle,Topological orbit equivalence and factor maps in symbolic dynamics, Ph.D. Thesis, University of Washington, 1983.
[2]	[B2] M. Boyle,A homeomorphism good on measures and bad on orbits, preprint.
[3]	[BT] M. Boyle and J. Tomiyama,Bounded topological orbit equivalence and C^*-algebras, preprint. · Zbl 0940.37004
[4]	Connes, A., Non-commutative differential geometry, Publications Mathématiques de l’Institut des Hautes Études Scientifiques, 62, 41-144 (1986) · Zbl 0592.46056
[5]	Connes, A.; Krieger, W., Measure space automorphisms, the normalizers of their full groups, and approximate finiteness, Journal of Functional Analysis, 18, 318-327 (1975) · Zbl 0296.46067
[6]	Connes, A.; Takesaki, M., The flow of weights on factors of type III, Tôhoku Mathematical Journal, 29, 473-575 (1977) · Zbl 0408.46047
[7]	Dye, H., On groups of measure preserving transformations I, American Journal of Mathematics, 81, 119-159 (1959) · Zbl 0087.11501
[8]	Dye, H., On groups of measure preserving transformations II, American Journal of Mathematics, 85, 551-576 (1963) · Zbl 0191.42803
[9]	Effros, E. G., Dimensions and C^*-algebras (1981), Providence, R.I.: American Mathematical Society, Providence, R.I. · Zbl 0475.46050
[10]	Giordano, T.; Putnam, I. F.; Skau, C. F., Topological orbit equivalence and C^*-crossed products, Journal für die reine und angewandte Mathematik, 469, 51-111 (1995) · Zbl 0834.46053
[11]	Glasner, E.; Weiss, B., Weak orbit equivalence of Cantor minimal systems, International Journal of Mathematics, 23, 737-769 (1996)
[12]	Glasner, E.; Weiss, B., On the construction of minimal skew products, Israel Journal of Mathematics, 34, 321-336 (1979) · Zbl 0434.54032
[13]	Halmos, P. R., Lectures on Boolean Algebras (1967), Princeton: D. Van Nostrand Company, Princeton · Zbl 0114.01603
[14]	Hamachi, T.; Osikawa, M., Fundamental Homomorphism of Normalizer of Ergodic Transformation (1978), Berlin: Springer-Verlag, Berlin
[15]	Herman, R. H.; Putnam, I. F.; Skau, C. F., Ordered Bratteli diagrams, dimension groups and topological dynamics, International Journal of Mathematics, 3, 827-864 (1992) · Zbl 0786.46053
[16]	[J] Ø. Johansen,Cantor systems, dimension groups and Bratteli diagrams, Ms. Thesis, University of Trondheim-AVH, 1994.
[17]	Krieger, W., On ergodic flows and isomorphisms of factors, Mathematische Annalen, 223, 19-70 (1976) · Zbl 0332.46045
[18]	Krieger, W., On a dimension for a class of homeomorphism groups, Mathematische Annalen, 252, 87-95 (1980) · Zbl 0472.54028
[19]	Kuratowski, K., Topology (1968), New York: Academic Press, New York
[20]	Kupka, I., On two notions of structural stability, Journal of Differential Geometry, 9, 639-644 (1974) · Zbl 0303.58010
[21]	Putnam, I. F., The C^*-algebras associated with minimal homeomorphisms of the Cantor set, Pacific Journal of Mathematics, 136, 329-353 (1989) · Zbl 0631.46068
[22]	Renault, J., A groupoid approach to C^*-algebras (1980), Berlin: Springer-Verlag, Berlin · Zbl 0433.46049
[23]	Strâtilâ, Ş.; Voiculescu, D., Representations of AF-Algebras and of the Group U(∞) (1975), Berlin: Springer-Verlag, Berlin · Zbl 0318.46069