We continue to study topological properties of the group Homeo(X) of all homeomorphisms of a Cantor set X with respect to the uniform topology tau, which was started in the paper (S. Bezuglyi, A.H. Dooley, and J. Kwiatkowski, Topologies on the group of homeomorphisms of a Cantor set, ArXiv e-print math.DS/0410507, 2004). We prove that the set of periodic homeomorphisms is tau-dense in Homeo(X) and deduce from this result that the topological group (Homeo(X), tau) has the Rokhlin property, i.e., there exists a homeomorphism whose conjugate class is tau-dense in Homeo(X). We also show that for any homeomorphism T the topological full group [[T]] is tau-dense in the full group [T].
We describe a self-homeomorphism $R$ of the Cantor set $X$ and then show that its conjugacy class in the Polish group $H(X)$ of all homeomorphisms of $X$ forms a dense $G_δ$ subset of $H(X)$. We also provide an example of a locally compact, second countable topological group which has a dense conjugacy class.
Let $f$ be a chain mixing continuous onto mapping from the Cantor set onto itself.Let $g$ be an aperiodic homeomorphism on the Cantor set. We show that homeomorphisms that are topologically conjugate to g approximate $f$ in the topology of uniform convergence if a trivial necessary condition on periodic points is satisfied.In particular, let $f$ be a chain mixing continuous onto mapping from the Cantor set onto itself with a fixed point and g, an aperiodic homeomorphism on the Cantor set. Then, homeomorphisms that are topologically conjugate to $g$ approximate $f$.
We show that the group of homeomorphisms of the Cantor set $H(K)$ has ample generics, that is, for every $m$ the diagonal conjugacy action $g\cdot(h_1,h_2,..., h_m)=(gh_1g^{-1},gh_2g^{-1},..., gh_mg^{-1})$ of $H(K)$ on $H(K)^m$ has a comeager orbit. This answers a question of Kechris and Rosendal. We show that the generic tuple in $H(K)^m$ can be taken to be the limit of a certain projective Fraisse family. We also present a proof of the existence of the generic homeomorphism of the Cantor set in the context of the projective Fraisse theory.
Let $Homeo(Ω)$ be the group of all homeomorphisms of a Cantor set $Ω$. We study topological properties of $Homeo(Ω)$ and its subsets with respect to the uniform $(τ)$ and weak $(τ_w)$ topologies. The classes of odometers and periodic, aperiodic, minimal, rank 1 homeomorphisms are considered and the closures of those classes in $τ$ and $τ_w$ are found.
Let f be a chain mixing continuous onto mapping from the Cantor set onto itself. Let g be a homeomorphism on the Cantor set that is topologically conjugate to a subshift. Then, homeomorphisms that are topologically conjugate to g approximate f in the topology of uniform convergence if a trivial necessary condition on the periodic points holds. In particular, if f is a chain mixing continuous onto mapping from the Cantor set onto itself with a fixed point, then homeomorphisms on the Cantor set that are topologically conjugate to a subshift approximate f in the topology of uniform convergence. I…
For a Cantor set $X$, let $Homeo(X)$ denote the group of all homeomorphisms of $X$. The main result of this note is the following theorem. Let $T\in Homeo(X)$ be an aperiodic homeomorphism, let $μ_1,μ_2,...,μ_k$ be Borel probability measures on $X$, $\e> 0$, and $n \ge 2$. Then there exists a clopen set $E\subset X$ such that the sets $E,TE,..., T^{n-1}E$ are disjoint and $μ_i(E\cup TE\cup...\cup T^{n-1}E) > 1 - \e, i= 1,...,k$. Several corollaries of this result are given. In particular, it is proved that for any aperiodic $T\in Homeo(X)$ the set of all homeomorphisms conjugate to $T$ is dens…
We develop a technique, pseudo-suspension, that applies to invariant sets of homeomorphisms of a class of annulus homeomorphisms we describe, Handel-Anosov-Katok (HAK) homeomorphisms, that generalize the homeomorphism first described by Handel. Given a HAK homeomorphism and a homeomorphism of the Cantor set, the pseudo-suspension yields a homeomorphism of a new space that admits a homeomorphism that combines features of both of the original homeomorphisms. This allows us to answer a well known open question by providing examples of hereditarily indecomposable continua that admit homeomorphisms…
Let X be a h-homogeneous zero-dimensional compact Hausdorff space, i.e. X is a Stone dual of a homogeneous Boolean algebra. It is shown that the universal minimal space M(G) of the topological group G=Homeo(X), is the space of maximal chains on X introduced by Uspenskij. If X is metrizable then clearly X is homeomorphic to the Cantor set and the result was already known (Glasner-Weiss 2003). However many new examples arise for non-metrizable spaces. These include, among others, the generalized Cantor sets X={0,1}^{kappa} for non-countable cardinals kappa, and the corona or remainder of omega, …
This paper is a survey devoted to the study of probability and infinite ergodic invariant measures for aperiodic homeomorphisms of a Cantor set. We focus mostly on the cases when a homeomorphism has either a unique ergodic invariant measure or finitely many such measures (finitely ergodic homeomorphisms). Since every Cantor dynamical system $(X,T)$ can be realized as a Vershik map acting on the path space of a Bratteli diagram, we use combinatorial methods developed in symbolic dynamics and Bratteli diagrams during the last decade to study the simplex of invariant measures.
We define a notion of tiling of the full infinite $p$-ary tree, establishing a series of equivalent criteria for a subtree to be a tile, each of a different nature; namely, geometric, algebraic, graph-theoretic, order-theoretic, and topological. We show how these results can be applied in a straightforward and constructive manner to define homeomorphisms between two given spaces of $p$-adic integers, $\mathbb{Z}_{p}$ and $\mathbb{Z}_{q}$, endowed with their corresponding standard non-archimedean metric topologies.
We examine topological dynamical systems on the Cantor set from the point of view of the continuous model theory of commutative C*-algebras. After some general remarks we focus our attention on the generic homeomorphism of the Cantor set, as constructed by Akin, Glasner, and Weiss. We show that this homeomorphism is the prime model of its theory. We also show that the notion of "generic" used by Akin, Glasner, and Weiss is distinct from the notion of "generic" encountered in Fraisse theory.
We study the set $M_\infty(X)$ of all infinite full non-atomic Borel measures on a Cantor space X. For a measure $μ$ from $M_\infty(X)$ we define a defective set $M_μ= \{x \in X : for any clopen set U which contains x we have μ(U) = \infty \}$. We call a measure $μ$ from $M_\infty(X)$ non-defective ($μ\in M_\infty^0(X)$) if $μ(M_μ) = 0$. The paper is devoted to the classification of measures $μ$ from $M_\infty^0(X)$ with respect to a homeomorphism. The notions of goodness and clopen values set $S(μ)$ are defined for a non-defective measure $μ$. We give a criterion when two good non-defective m…
In this paper we define a new class of metric spaces, called multi-model Cantor sets. We compute the Hausdorff dimension and show that the Hausdorff measure of a multi-model Cantor set is finite and non-zero. We then show that a bilipschitz map from one multi-model Cantor set to another has constant Radon-Nikodym derivative on some clopen. We use this to obtain an invariant up to bilipschitz homeomorphism.
Let $f$ be an $R$-closed homeomorphism on a connected orientable closed surface $M$. In this paper, we show that If $M$ has genus more than one, then each minimal set is either a periodic orbit or an extension of a Cantor set. If $M = \mathbb{T}^2$ and $f$ is neither minimal nor periodic, then either each minimal set is finite disjoint union of essential circloids or there is a minimal set which is an extension of a Cantor set. If $M = \mathbb{S}^2$ and $f$ is not periodic but orientation-preserving (resp. reversing), then the minimal sets of $f$ (resp. $f^2$) are exactly two fixed points and …
We show that given a compact minimal system $(X,g)$ and an element $h$ of the topological full group $τ[g]$ of $g$, then the infinite orbits of $h$ admit a locally constant orientation with respect to the orbits of $g$. We use this to obtain a clopen partition of $(X,G)$ into minimal and periodic parts, where $G$ is any virtually polycyclic subgroup of $τ[g]$. We also use the orientation of orbits to give a refinement of the index map and to describe the role in $τ[g]$ of the submonoid generated by the induced transformations of $g$. Finally, we consider the problem, given a homeomorphism $h$ …
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…
Downarowicz and Maass (2008) have defined the topological rank for all Cantor minimal homeomorphisms. On the other hand, Gambaudo and Martens (2006) have expressed all Cantor minimal continuous surjections as the inverse limits of certain graph coverings. Using the aforementioned results, we previously extended the notion of topological rank to all Cantor minimal continuous surjections. In this paper, we show that taking natural extensions of Cantor minimal continuous surjections does not increase their topological ranks. Further, we apply the result to the minimal symbolic case.
The discriminant group of a minimal equicontinuous action of a group $G$ on a Cantor set $X$ is the subgroup of the closure of the action in the group of homeomorphisms of $X$, consisting of homeomorphisms which fix a given point. The stabilizer and the centralizer groups associated to the action are obtained as direct limits of sequences of subgroups of the discriminant group with certain properties. Minimal equicontinuous group actions on Cantor sets admit a classification by the properties of the stabilizer and centralizer direct limit groups. In this paper, we construct new families of exa…
Let K be a Cantor set embedded in the real line R. Following Funar and Neretin, we define the diffeomorphism group of K as the group of homeomorphisms of K which locally look like a diffeomorphism between two intervals of R. Higman-Thompson's groups Vn appear as subgroups of such groups. In this article, we prove some properties of this group. First, we study the Burnside problem in this group and we prove that any finitely generated subgroup consisting of finite order elements is finite. This property was already proved by Rover in the case of the groups Vn. We also prove that any finitely ge…
We provide a classification of minimal sets of homeomorphisms of the two-torus, in terms of the structure of their complement. We show that this structure is exactly one of the following types: (1) a disjoint union of topological disks, or (2) a disjoint union of essential annuli and topological disks, or (3) a disjoint union of one doubly essential component and bounded topological disks. Periodic bounded disks can only occur in type 3. This result provides a framework for more detailed investigations, and additional information on the torus homeomorphism allows to draw further conclusions. I…
We study full groups of minimal actions of countable groups by homeomorphisms on a Cantor space $X$, showing that these groups do not admit a compatible Polish group topology and, in the case of $\Z$-actions, are coanalytic non-Borel inside $\Homeo(X)$. We point out that the full group of a minimal homeomorphism is topologically simple. We also study some properties of the closure of the full group of a minimal homeomorphism inside $\Homeo(X)$.
In this paper we study speedups of dynamical systems in the topological category. Specifically, we characterize when one minimal homeomorphism on a Cantor space is the speedup of another. We go on to provide a characterization for strong speedups, i.e., when the jump function has at most one point of discontinuity. These results provide topological versions of the measure-theoretic results of Arnoux, Ornstein and Weiss, and are closely related to Giordano, Putnam and Skau's characterization of orbit equivalence for minimal Cantor systems.
Downarowicz and Maass (2008) have shown that every Cantor minimal homeomorphism with finite topological rank $K > 1$ is expansive. Bezuglyi, Kwiatkowski and Medynets (2009) extended the result to non-minimal cases. On the other hand, Gambaudo and Martens (2006) had expressed all Cantor minimal continuou surjections as the inverse limit of graph coverings. In this paper, we define a topological rank for every Cantor minimal continuous surjection, and show that every Cantor minimal continuous surjection of finite topological rank has the natural extension that is expansive.
We give a characterization of sets K of probability measures on a Cantor space X with the property that there exists a minimal homeomorphism g of X such that the set of g-invariant probability measures on X coincides with K. This extends theorems of Akin (corresponding to the case when K is a singleton) and Dahl (when K is finite-dimensional). Our argument is elementary and different from both Akin's and Dahl's.
As was known to H. Poincare, an orientation preserving circle homeomorphism without periodic points is either minimal or has no dense orbits, and every orbit accumulates on the unique minimal set. In the first case the minimal set is the circle, in the latter case a Cantor set. In this paper we study a two-dimensional analogue of this classical result: we classify the minimal sets of non-resonant torus homeomorphisms; that is, torus homeomorphisms isotopic to the identity for which the rotation set is a point with rationally independent irrational coordinates.
Let X be a h-homogeneous zero-dimensional compact Hausdorff space, i.e. X is a Stone dual of a homogeneous Boolean algebra. Using the dual Ramsey theorem and a detailed combinatorial analysis of what we call stable collections of subsets of a finite set, we obtain a complete list of the minimal sub-systems of the compact dynamical system (Exp(Exp(X)),Homeo(X)), where Exp(X) stands for the hyperspace comprising the closed subsets of X equipped with the Vietoris topology. The importance of this dynamical system stems from Uspenskij's characterization of the universal ambit of G = Homeo(X). The r…
Mary Rees has constructed a minimal homeomorphism of the 2-torus with positive topological entropy. This homeomorphism f is obtained by enriching the dynamics of an irrational rotation R. We improve Rees construction, allowing to start with any homeomorphism R instead of an irrational rotation and to control precisely the measurable dynamics of f. This yields in particular the following result: Any compact manifold of dimension d>1 which carries a minimal uniquely ergodic homeomorphism also carries a minimal uniquely ergodic homeomorphism with positive topological entropy. More generally, give…
We survey, and extend, results on the adjoint action of the homeomorphism group $H(X)$ on the space of surjective continuous maps, $C_s(X)$, where $X$ is a Cantor set. We look also at the restriction of the action to various dynamically defined subsets of $C_s(X)$, e. g. the sets of topologically transitive maps, chain transitive maps, chain mixing maps, etc. In each case, we consider whether there exist elements with a dense conjugacy class and if so, what the generic elements look like.
Given a dynamical simplex $K$ on a Cantor space $X$, we consider the set $G_K^*$ of all homeomorphisms of $X$ which preserve all elements of $K$ and have no nontrivial clopen invariant subset. Generalising a theorem of Yingst, we prove that for a generic element $g$ of $G_K^*$ the set of invariant measures of $g$ is equal to $K$. We also investigate when there exists a generic conjugacy class in $G_K^*$ and prove that this happens exactly when $K$ has only one element, which is the unique invariant measure associated to some odometer; and that in that case the conjugacy class of this odometer …
In this paper, we define a new notion of "freely tracing property by free chains" on $G$-like continua and we prove that a positive topological entropy homeomorphism on a $G$-like continuum admits a Cantor set $Z$ such that every tuple of finite points in $Z$ is an $IE$-tuple of $f$ and $Z$ has the freely tracing property by free chains. Also, by use of this notion, we prove the following theorem: If $G$ is any graph and a homeomorphism $f$ on a $G$-like continuum $X$ has positive topological entropy, then there is a Cantor set $Z$ which is related to both the chaotic behaviors of Kerr and Li …
This survey is focused on the results related to topologies on the groups of transformations in ergodic theory, Borel, and Cantor dynamics. Various topological properties (density, connectedness, genericity) of these groups and their subsets (subgroups) are studied.
We show that the (topological) full group of a minimal pseudogroup over the Cantor set satisfies various rigidity phenomena of topological dynamical and combinatorial nature. Our main result applies to its possible homomorphisms into other groups of homeomorphisms, and implies that arbitrary homomorphisms between the full groups of a vast class of pseudogroups must extend to continuous morphisms between pseudogroups (in particular giving rise to equivariant maps at the level of spaces). As applications, we obtain explicit obstructions to the existence of embeddings between full groups in terms…
Let $K$ be the Cantor set. We prove that arbitrarily close to a homeomorphism $T:K\rightarrow K$ there exists a homeomorphism $\widetilde T:K\rightarrow K$ such that the $α$-limit and the $ω$-limit of every orbit is a periodic orbit. We also prove that arbitrarily close to an endomorphism $T:K\rightarrow K$ there exists an endomorphism $\widetilde T:K\rightarrow K$ close to $T$ such that every orbit is finally periodic.
It is known that there is a comeagre set of mutually conjugate measure preserving homeomorphisms of Cantor space equipped with the coinflipping probability measure, i.e., Haar measure. We show that the generic measure preserving homeomorphism is moreover conjugate to all of its powers. It follows that the generic measure preserving homeomorphism extends to an action of $(\mathbb Q,+)$ by measure preserving homeomorphisms, and, in fact, to an action of the locally compact ring $\mathfrak A$ of finite adèles. Similarly, S. Solecki has proved that there is a comeagre set of mutually conjugate iso…
We study genericity of dynamical properties in the space of homeomorphisms of the Cantor set and in the space of subshifts of a suitably large shift space. These rather different settings are related by a Glasner-King type correspondence: genericity in one is equivalent to genericity in the other. By applying symbolic techniques in the shift-space model we derive new results about genericity of dynamical properties for transitive and totally transitive homeomorphisms of the Cantor set. We show that the isomorphism class of the universal odometer is generic in the space of transitive systems. O…
In this paper, we study the metric theory of dyadic approximation in the middle-third Cantor set. This theory complements earlier work of Levesley, Salp, and Velani (2007), who investigated the problem of approximation in the Cantor set by triadic rationals. We find that the behaviour when we consider dyadic approximation in the Cantor set is substantially different to considering triadic approximation in the Cantor set. In some sense, this difference in behaviour is a manifestation of Furstenberg's times 2 times 3 phenomenon from dynamical systems, which asserts that the base 2 and base 3 exp…
In this paper we present a generalization of Poincaré's Rotation Theory of homeomorphisms of the circle to the case of one-dimensional compact abelian groups which are solenoidal groups, {\it i.e.}, groups which fiber over the circle with fiber a Cantor abelian group. We define rotation elements, \emph{à la} Poincaré and discuss the dynamical properties of translations on these solenoidal groups. We also study the semiconjugation problem when the rotation element generates a dense subgroup of the solenoidal group. Finally, we comment on the relation between Rotation Theory and entropy for thes…
Three dimensional Hńon-like map $$ F(x,y,z) = (f(x) - ε(x,y,z),\ x,\ δ(x,y,z)) $$ is defined on the cubic box $ B $. An invariant space under renormalization would appear only in higher dimension. Consider renormalizable maps each of which satisfies the condition $$ \partial_y δ\circ F(x,y,z) + \partial_z δ\circ F(x,y,z) \cdot \partial_x δ(x,y,z) \equiv 0 $$ for $ (x,y,z) \in B $. Denote the set of maps satisfying the above condition be $ \mathcal N $. Then the set $ \mathcal N \cap \mathcal I(\bar ε) $ is invariant under the renormalization operator where $ \mathcal I(\bar ε) $ is the set of …
We translate Akin's notion of {\it good} (and related concepts) from measures on Cantor sets to traces on dimension groups, and particularly for invariant measures of minimal homeomorphisms (and their corresponding simple dimension groups), this yields characterizations and examples, which translate back to the original context. Good traces on a simple dimension group are characterized by their kernel having dense image in their annihilating set of affine functions on the trace space; this makes it possible to construct many examples with seemingly paradoxical properties. In order to study the…
A topological group $G$ is {\em extremely amenable} if every compact $G$-space has a $G$-fixed point. Let $X$ be compact and $G\subset{\mathrm{Homeo}} (X)$. We prove that the following are equivalent: (1) $G$ is extremely amenable; (2) every minimal closed $G$-invariant subset of $\exp R$ is a singleton, where $R$ is the closure of the set of all graphs of $g\in G$ in the space $\exp (X^2)$ ($\exp$ stands for the space of closed subsets); (3) for each $n=1,2,...$ there is a closed $G$-invariant subset $Y_n$ of $(\exp X)^n$ such that $\cup_{n=1}^\infty Y_n$ contains arbitrarily fine covers of $…
We study the set M(X) of full non-atomic Borel (finite or infinite) measures on a non-compact locally compact Cantor set X. For an infinite measure $μ$ in M(X), the set $\mathfrak{M}_μ= \{x \in X : {for any compact open set} U \ni x {we have} μ(U) = \infty \}$ is called defective. We call $μ$ non-defective if $μ(\mathfrak{M}_μ) = 0$. The class $M^0(X) \subset M(X)$ consists of probability measures and infinite non-defective measures. We classify measures $μ$ from $M^0(X)$ with respect to a homeomorphism. The notions of goodness and compact open values set $S(μ)$ are defined. A criterion when t…
We consider the convergence theory for dyadic approximation in the middle-third Cantor set, $K$, for approximation functions of the form $ψ_τ(n) = n^{-τ}$ ($τ\ge 0$). In particular, we show that for values of $τ$ beyond a certain threshold we have that almost no point in $K$ is dyadically $ψ_τ$-well approximable with respect to the natural probability measure on $K$. This refines a previous result in this direction obtained by the first, third, and fourth named authors (arXiv, 2020).
This paper studies the behavior under iteration of the maps T_{ab}(x,y) = (F_{ab}(x)- y, x) of the plane R^2, in which F_{ab}(x)= ax if x>0 and bx if x<0. These maps are area-preserving homeomorphisms of the plane that map rays from the origin into rays from the origin. Orbits of the map correspond to solutions of the nonlinear difference equation x_{n+2}= 1/2(a-b)|x_{n+1}| + 1/2(a+b)x_{n+1} - x_n. This difference equation can be written in an eigenvalue form for a nonlinear difference operator of Schrodinger type, in which μ= 1/2(a-b) is viewed as fixed and the energy E=2- 1/2(a+b). The paper…
We prove that a compactly supported homeomorphism of a smooth manifold of dimension greater or equal to 5 can be approximated uniformly by compactly supported diffeomorphisms if and only if it is isotopic to a diffeomorphism. If the given homeomorphism is in addition volume preserving, then it can be approximated uniformly by volume preserving diffeomorphisms.
