The Lefschetz fixed point theorem provides a powerful obstruction to the existence of minimal homeomorphisms on well-behaved spaces such as finite CW-complexes. We show that these obstructions do not hold for more general spaces. More precisely, minimal homeomorphisms are constructed on space with prescribed $K$-theory or cohomology. We also allow for some control of the map on $K$-theory and cohomology induced from these minimal homeomorphisms. This allows for the construction of many minimal homeomorphisms that are not homotopic to the identity. Applications to $C^*$-algebras will be discussed in another paper.
Let $X$ be an infinite compact metric space and let $h$ be a minimal homeomorphism of $X$. We prove that the radius of comparison of the transformation group C*-algebra of $h$ is at most $1$ plus $36$ times the mean dimension of $h$.
Let X be an infinite compact metric space with finite covering dimension. Let $\afhpa,\bt: X\to X$ be two minimal homeomorphisms. Suppose that the range of $K_0$-groups of both crossed product C*-algebras s are dense in the space of real affine continuous functions. We show that $\af$ and $\bt$ are approximately conjugate uniformly in measure if and only if they have affine homeomorphic invariant probability measure spaces.
Let $X$ be an infinite compact metrizable space, and let $σ: X\to X$ be a minimal homeomorphism. Suppose that $(X, σ)$ has zero mean topological dimension. The associated C*-algebra $A=\mathrm{C}(X)\rtimes_σ\mathbb Z$ is shown to absorb the Jiang-Su algebra $\mathcal Z$ tensorially, i.e., $A\cong A\otimes\mathcal Z$. This implies that $A$ is classifiable when $(X, σ)$ is uniquely ergodic. Moreover, without any assumption on the mean dimension, it is shown that $A\otimes A$ always absorbs the Jiang-Su algebra.
We introduce topological definitions of expansivity, shadowing, and chain recurrence for homeomorphisms. They generalize the usual definitions for metric spaces. We prove various theorems about topologically Anosov homeomorphisms (maps that are expansive and have the shadowing property) on noncompact and non-metrizable spaces that generalize theorems for such homeomorphisms on compact metric spaces. The main result is a generalization of Smale's spectral decomposition theorem to topologically Anosov homeomorphisms on first countable locally compact paracompact Hausdorff spaces.
We provide a classification of random orientation-preserving homeomorphisms of $\mathbb{S}^1$, up to topological conjugacy of the random dynamical systems generated by i.i.d. iterates of the random homeomorphism. This classification covers all random circle homeomorphisms for which the noise space is a connected Polish space and an additional extremely weak condition is satisfied.
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…
In this paper we show that every homeomorphism of the plane with the topological shadowing property has a fixed point. Also, we show that a linear isomorphism of an Euclidean space has the topological shadowing property if and only if the origin is an attractor or a repeller.
We prove that any minimal $2$-torus homeomorphism which is isotopic to the identity and whose rotation set is not just a point exhibits uniformly bounded rotational deviations on the perpendicular direction to the rotation set. As a consequence of this, we show that any such homeomorphism is topologically mixing and we prove Franks-Misiurewicz conjecture under the assumption of minimality.
The principal aim of this paper is to give a dynamical presentation of the Jiang-Su algebra. Originally constructed as an inductive limit of prime dimension drop algebras, the Jiang-Su algebra has gone from being a poorly understood oddity to having a prominent positive role in George Elliott's classification programme for separable, nuclear C*-algebras. Here, we exhibit an etale equivalence relation whose groupoid C*-algebra is isomorphic to the Jiang-Su algebra. The main ingredient is the construction of minimal homeomorphisms on infinite, compact metric spaces, each having the same cohomolo…
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.
We classify minimal sets of (closed and oriented) hyperbolic surface homeomorphisms by studying the connected components of their complement. This extends the classification given by F. Kwakkel, T.Jäger and A. Passeggi in the torus. The given classification is studied in the non-wandering setting and in light of the Nielsen-Thurston Theory.
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…
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)$.
We prove that the family of measured dynamical systems which can be realised as uniquely ergodic minimal homeomorphisms on a given manifold (of dimension at least two) is stable under measured extension. As a corollary, any ergodic system with an irrational eigenvalue is isomorphic to a uniquely ergodic minimal homeomorphism on the two-torus. The proof uses the following improvement of Weiss relative version of Jewett-Krieger theorem: any extension between two ergodic systems is isomorphic to a skew-product on Cantor sets.
Let $M$ be an orientable connected closed surface and $f$ be an $R$-closed homeomorphism on $M$ which is isotopic to identity. Then the suspension of $f$ satisfies one of the following condition: 1) the closure of each element of it is minimal and toral. 2) there is a minimal set which is not locally connected. Moreover, we show that any positive iteration of an $R$-closed homeomorphism on a compact metrizable space is $R$-closed.
Let $f$ be an orientation preserving homeomorphism of $S^2$ which has a (nontrivial) continuum $X$ as a minimal set. Then there are exactly two connected components of $S^2\setminus X$ which are left invariant by $f$ and all the others are wandering. The Carathéodory rotation number of an invariant component is irrational.
We prove a structure theorem for topologically conservative real skew product extensions of distal minimal compact metric $\Z$-flows. The main result states that every such extension can be represented by a perturbation of a Rokhlin skew product. Moreover, we give certain counterexamples to point out that all components of the construction are in fact inevitable.
There are two main subjects in this paper. 1) For a topological dynamical system $(X,T)$ we study the topological entropy of its "functional envelopes" (the action of $T$ by left composition on the space of all continuous self-maps or on the space of all self-homeomorphisms of $X$). In particular we prove that for zero-dimensional spaces $X$ both entropies are infinite except when $T$ is equicontinuous (then both equal zero). 2) We call $Slovak$ $space$ any compact metric space whose homeomorphism group is cyclic and generated by a minimal homeomorphism. Using Slovak spaces we provide examples…
The study of the dynamics of a surface homeomorphism in the neighbourhood of an isolated fixed point leads us to the following results. If the fixed point index is greater than 1, a family of attractive and repulsive petals is constructed, generalizing the Leau-Fatou flower theorem in complex dynamics. If the index is less than 1, we get a family of stable and unstable branches, generalizing the stable manifold theorem in hyperbolic dynamics.
In this paper we study topological cocycles for minimal homeomorphisms on a compact metric space. We introduce a notion of an essential range for topological cocycles with values in a locally compact group, and we show that this notion coincides with the well known topological essential range if the group is abelian. We define then a regularity condition for cocycles and prove several results on the essential ranges and the orbit closures of the skew product of regular cocycles. Furthermore we show that recurrent cocycles for a minimal rotation on a locally connected compact group are always r…
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.
A compact space $X$ is said to be minimal if there exists a map $f:X\to X$ such that the forward orbit of any point is dense in $X$. We consider rigid minimal spaces, motivated by recent results of Downarowicz, Snoha, and Tywoniuk [J. Dyn. Diff. Eq., 2016] on spaces with cyclic group of homeomorphisms generated by a minimal homeomorphism, and results of the first author, Clark and Oprocha [ Adv. Math., 2018] on spaces in which the square of every homeomorphism is a power of the same minimal homeomorphism. We show that the two classes do not coincide, which gives rise to a new class of spaces t…
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…
In this article we study minimal homeomorphisms(all orbits are dense) of the tori $T^{n},$ $n<5.$ The linear part of a homeomorphism $ϕ$ of $T^{n}$ is the linear mapping $L$ induced by $ϕ$ on the first homology group of $T^{n}$. It follows from the Lefschetz fixed point theorem that 1 is an eigenvalue of $L$ if $ϕ$ minimal. We show that if $ϕ$ is minimal and $n<5$ then $L$ is quasi-unipontent, i.e., all the eigenvalues of $L$ are roots of unity and conversely if $L\in GL(n,\Z)$ is quasi-unipotent and 1 is an eigenvalue of $L$ then there exists a $ C^{\infty}$ minimal skew-product diffeomorphis…
Universal minimal flows of the homeomorphism groups of pseudo-solenoids are non-metrizable
Jagiellonian University in Kraków（克拉科夫雅盖隆大学）；National Supercomputing Centre IT4Innovations, Division of the University of Ostrava（俄斯特拉发大学国家超算中心IT4创新）；Instytut Matematyczny, Uniwersytet Wrocławski（弗罗茨瓦夫大学数学研究所）；Institut für Mathematische Logik, Universität Münster（明斯特大学数学逻辑研究所）
This paper has been withdrawn by the author due to a critical error in the proof of Theorem 5.4 on which the proof of the main theorem on the non-simplenss was based.
Topology of global attractors for homeomorphisms with the topological shadowing property in $\mathbb{R}^m$
Centro Universitario Regional Este, Universidad de la República（乌拉圭共和国大学东方地区中心）；Instituto de Matemática y Estadística “Rafael Laguardia”, Facultad de Ingeniería, Universidad de la República（乌拉圭共和国大学工程学院拉斐尔·拉瓜迪亚数学与统计研究所）
We investigate the ideal structures of the C^*-algebras arising from topological graphs. We give the complete description of ideals of such C^*-algebras which are invariant under the so-called gauge action, and give the condition on topological graphs so that all ideals are invariant under the gauge action. We get conditions for our C^*-algebras to be simple, prime or primitive. We completely determine the prime ideals, and show that most of them are primitive. Finally, we construct a discrete graph such that the associated C^*-algebra is prime but not primitive.
In this work we develop a new criterion for the existence of topological horseshoes for surface homeomorphisms in the isotopy class of the identity. Based on our previous work on forcing theory, this new criterion is purely topological and can be expressed in terms of equivariant Brouwer foliations and transverse trajectories. We then apply this new tool in the study of the dynamics of homeomorphisms of surfaces with zero genus and null topological entropy and we obtain several applications. For homeomorphisms of the open annulus $\mathbb{A}$ with zero topological entropy, we show that rotatio…
Relationships between a chaotic behavior and closely related properties of topological transitivity, sensitivity to initial conditions, density of closed orbits of homeomorphism groups and their countable products are investigated. We construct numerous new examples of chaotic groups of homeomorphisms of countable products of various metrizable topological spaces, including infinite-dimensional topological manifolds, whose factors can be as noncompact surfaces, so triangulable closed manifolds of an arbitrary dimension.
It is well known that the rotation number of a circle homeomorphism defined by H. Poincaré allows to completely understand the dynamics of such a map from the topological point of view. In this paper, we collect some results concerning the existence of topological dynamical models associated to rotation sets of homeomorphisms of $\T^2$.
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.
We show that if there exists a topologically expansive homeomorphism on a uniform space, then the space is always a regular space. Through examples we show that in general composition of topologically expansive homeomorphisms need not be topological expansive and also that conjugate of topologically expansive homeomorphism need not be topological expansive. Further, we obtain a characterization of orbit expansivity in terms of topological expansivity and conclude that if there exists a topologically expansive homeomorphism on a compact uniform space then the space must be metrizable. We also s…
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$ …
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 the topological groups $Diff_{+}^{1}(I)$ and $Diff_{+}^{1}(\mathbb{S}^1)$ of orientation-preserving $C^1$-diffeomorphisms of the interval and the circle, respectively, admit finitely generated dense subgroups. We also investigate the question of genericity (in the sense of Baire category) of such finite topological generating sets in related groups. We show that the generic pair of elements in the homeomorphism group $Homeo_+(I)$ generate a dense subgroup of $Homeo_+(I)$. By contrast, if $M$ is any compact connected manifold with boundary other than the interval, we observe that a…
We construct different types of quasiperiodically forced circle homeomorphisms with transitive but non-minimal dynamics. Concerning the recent Poincaré-like classification for this class of maps of Jaeger-Stark, we demonstrate that transitive but non-minimal behaviour can occur in each of the different cases. This closes one of the last gaps in the topological classification. Actually, we are able to get some transitive quasiperiodically forced circle homeomorphisms with rather complicated minimal sets. For example, we show that, in some of the examples we construct, the unique minimal set is …
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 a…
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 aperiodic cases. In this paper, we show that all finite-rank zero-dimensional systems are expansive or have infinite odometer systems; this is an extension of the two aforementioned results. Nevertheless, the methods follow similar approaches.
Answering a question of Uspenskij, we prove that if $X$ is a closed manifold of dimension $2$ or higher or the Hilbert cube, then the universal minimal flow of $\mathrm{Homeo}(X)$ is not metrizable. In dimension $3$ or higher, we also show that the minimal $\mathrm{Homeo}(X)$-flow consisting of all maximal, connected chains in $X$ has meager orbits.
Let $f:X\to X$ be a self homeomorphism of a continuum $X$, we show that the topological entropy of the induced system $(2^X,2^f)$ is infinite provided that $X\setminus Ω(f)$ is not empty. If furthermore $X$ is a regular curve then it is shown that $(2^X,2^f)$ has infinite topological entropy if and only if $X\setminus Ω(f)$ is not empty. Moreover we prove for the induced system $(C(X),C(f))$ the equivalence between the following properties: (i) zero topological entropy; (ii) there is no Li-Yorke pair and (iii) for any periodic subcontinnum $A$ of $X$ and any connected component $C$ of $X\setmi…
We introduce minimally expansive and GH-stable points for homeomorphisms on metric spaces and $μ$-uniformly expansive, $μ$-shadowable and strong $μ$-topologically stable points for Borel measures (with respect to a homeomorphism on a metric space). We prove that: (i) minimally expansive shadowable point of a homeomorphism on a compact metric space is topologically stable and GH-stable. (ii) $μ$-uniformly expansive $μ$-shadowable point for a Borel measure $μ$ (with respect to a homeomorphism on a compact metric space) is strong $μ$-topologically stable.
We use Lyapunov type functions to give new conditions under which a homeomorphism of a compact metric space has the shadowing property. These conditions are applied to establish the topological stability of some homeomorphisms with nonhyperbolic behavior.
In this paper we study Cuntz--Pimsner algebras associated to $\mathrm{C}^*$-correspondences over commutative $\mathrm{C}^*$-algebras from the point of view of the $\mathrm{C}^*$-algebra classification programme. We show that when the correspondence comes from an aperiodic homeomorphism of a finite-dimensional infinite compact metric space $X$ twisted by a vector bundle, the resulting Cuntz--Pimsner algebras have finite nuclear dimension. When the homeomorphism is minimal, this entails classification of these $\mathrm{C}^*$-algebras by the Elliott invariant. This establishes a dichotomy: when t…
The paper contains a silly mistake in the usage of the equation (5.4) in the formula (6.5). Due to this mistake, the effect of the transfer map $phi$ is nullified. I am deeply sorry for not being very careful in my submission and making this mistake.
In this paper it is proved that there is no minimal action (i.e. every orbit is dense) of Z^2 on the plane. The proof uses the non-existence of minimal homeomorphisms on the infinite annulus (Le Calvez-Yoccoz's theorem), and the theory of Brouwer homeomorphisms.
A space is called minimal if it admits a minimal continuous selfmap. We give examples of metrizable continua $X$ admitting both minimal homeomorphisms and minimal noninvertible maps, whose squares $X\times X$ are not minimal, i.e., they admit neither minimal homeomorphisms nor minimal noninvertible maps, thus providing a definitive answer to a question posed by Bruin, Kolyada and the second author in 2003. (In 2018, Boroński, Clark and Oprocha provided an answer in the case when only homeomorphisms were considered.) Then we introduce and study the notion of product-minimality. We call a compac…
We show that on a totally disconnected compact metric space every separating homeomorphisms is expansive except at periodic points. We conclude that minimal separating homeomorphisms are expansive and that every separating homeomorphism has asymptotic points. We show that the only spaces admitting separating (or finite expansive) and recurrent homeomorphisms are finite sets. We apply our results to give a characterization of expansivity in terms of the expansivity of the cyclic group of powers of the homeomorphism.
In this article we construct an expansive homeomorphism of a compact three-dimensional manifold with a fixed point whose local stable set is not locally connected. This homeomorphism is obtained as a topological perturbation of a quasi-Anosov diffeomorphism that is not Anosov.
