$C^1$-generic dynamics: tame and wild behaviour

Christian Bonatti
DOI: https://doi.org/10.48550/arXiv.math/0304451
2003-04-29
Abstract:This paper gives a survey of recent results on the maximal transitive sets of $C^1$-generic diffeomorphisms.
Dynamical Systems
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the properties of the maximal transitive sets in dynamical systems and their roles in the C1 -generic dynamical behaviors. Specifically, in this review article, the author C. Bonatti explores the dynamical behaviors of C1 -generic diffeomorphisms. In particular, these dynamical behaviors can be divided into two categories: "tame" and "wild". The main objectives of the article are: 1. **Review recent results**: The latest research achievements on the maximal transitive sets of C1 -generic diffeomorphisms. 2. **Understand tame and wild behaviors**: By studying the properties of the maximal transitive sets, distinguish and understand the tame and wild behaviors of dynamical systems. 3. **Explore the role of homoclinic classes**: In C1 -generic diffeomorphisms, whether the homoclinic classes are consistent with the maximal transitive sets, and the roles of these homoclinic classes in dynamical systems. ### Overview of the main content - **Introduction**: - The study of dynamical systems first requires the identification of those dynamically indecomposable parts in a certain sense. - For non - chaotic dynamical systems, periodic orbits or minimal sets can play this role. But for chaotic systems, there are usually infinitely many periodic orbits and uncountably many minimal sets. - In order to structure the global dynamics with fewer sets, the concept of indecomposability needs to be relaxed and the concept of transitivity introduced. - **Maximal and saturated transitive sets**: - An invariant compact set \(K\) is transitive if there exists a point \(x\in K\) whose positive orbit is dense in \(K\). - The closure of a transitive set is still a transitive set, so any transitive set is contained in a maximal transitive set. - A saturated transitive set is a stronger concept: if a transitive set intersects another transitive set, it must contain the other transitive set. - **Smale's spectral decomposition theorem**: - For Axiom A diffeomorphisms, the non - wandering point set \(\Omega(f)\) is the union of a finite number of disjoint (maximal and saturated) transitive sets, which are called basic blocks and have uniform hyperbolicity. - If the diffeomorphism has no cycles, then there exists a filtration adapted to \(f\) such that each basic block is the maximal invariant set on a certain sub - manifold. - **The global picture of C1 -generic diffeomorphisms**: - Axiom A diffeomorphisms are not C1 -dense in \(\text{Diff}^1(M)\), so a larger class of diffeomorphisms needs to be found to describe their dynamics. - C1 -generic diffeomorphisms have two typical behaviors: either the manifold contains infinitely many regions with independent dynamical behaviors (wild dynamics), or the dynamical behavior is similar to the description in the spectral decomposition theorem (tame dynamics). - **Tame and wild dynamics**: - Examples of tame dynamics include robustly transitive dynamics. - Examples of wild dynamics include dynamics with infinitely many maximal transitive sets. - **Tame dynamics**: - The non - wandering set of tame dynamics is the union of a finite number of disjoint homoclinic classes. - There exists a filtration adapted to the diffeomorphism such that each homoclinic class is the maximal invariant set on a certain sub - manifold. - Homoclinic classes have weak hyperbolicity, such as dominated splitting and partial hyperbolicity. - **Volume hyperbolicity and robust transitivity**: - Any robustly transitive set is volume hyperbolic. - In the two - dimensional and three - dimensional cases, robustly transitive sets are hyperbolic basic blocks and partially hyperbolic respectively. - **Wild dynamics**: - Examples of wild dynamics include dynamics with infinitely many maximal transitive sets. - These maximal transitive sets may not contain periodic orbits. Through these contents, the author attempts to provide a comprehensive perspective to understand the dynamical behaviors of C1 -generic diffeomorphisms, especially the differences between tame and wild behaviors.