-
Every diffeomorphism is a total renormalization of a close to identity map
Authors:
Pierre Berger,
Nicolaz Gourmelon,
Mathieu Helfter
Abstract:
For any $1\le r\le \infty$, we show that every diffeomorphism of a manifold of the form $\mathbb{R}/\mathbb{Z} \times M$ is a total renormalization of a $C^r$-close to identity map. In other words, for every diffeomorphism $f$ of $\mathbb{R}/\mathbb{Z} \times M$, there exists a map $g$ arbitrarily close to identity such that the first return map of $g$ to a domain is conjugate to $f$ and moreover…
▽ More
For any $1\le r\le \infty$, we show that every diffeomorphism of a manifold of the form $\mathbb{R}/\mathbb{Z} \times M$ is a total renormalization of a $C^r$-close to identity map. In other words, for every diffeomorphism $f$ of $\mathbb{R}/\mathbb{Z} \times M$, there exists a map $g$ arbitrarily close to identity such that the first return map of $g$ to a domain is conjugate to $f$ and moreover the orbit of this domain is equal to $\mathbb{R}/\mathbb{Z} \times M$. This enables us to localize nearby the identity the existence of many properties in dynamical systems, such as being Bernoulli for a smooth volume form.
△ Less
Submitted 3 December, 2024; v1 submitted 17 October, 2022;
originally announced October 2022.
-
Rotation numbers of perturbations of smooth dynamics
Authors:
Nicolas Gourmelon
Abstract:
We show how the small perturbations of a linear cocycle have a relative rotation number associated with an invariant measure of the base dynamics an with a $2$-dimensional bundle of the finest dominated splitting (provided that some orientation is preserved). Likewise small perturbations of diffeomorphisms have a relative rotation number associated with an invariant measure supported in a hyperbol…
▽ More
We show how the small perturbations of a linear cocycle have a relative rotation number associated with an invariant measure of the base dynamics an with a $2$-dimensional bundle of the finest dominated splitting (provided that some orientation is preserved). Likewise small perturbations of diffeomorphisms have a relative rotation number associated with an invariant measure supported in a hyperbolic set and with a $2$-dimensional bundle as above.
The properties of that relative rotation number allow some steps towards dichotomies between complex eigenvalues and dominated splittings in higher dimensions and higher regularity. We also prove that generic smooth linear cocycles above a full-shift (and actually above infinite factors of transitive subshift of finite type) admit a periodic point with simple Lyapunov spectrum.
△ Less
Submitted 23 June, 2022; v1 submitted 17 February, 2020;
originally announced February 2020.
-
Steps towards a classification of $C^r$-generic dynamics close to homoclinic points
Authors:
Nicolas Gourmelon
Abstract:
We present here the first part of a program for a classification of the generic dynamics close to homoclinic and heteroclinic points, in the $C^r$ topologies, $r\geq 1$. This paper only contains announcements and a few sketches of proofs; a forthcoming series of papers will present the proofs in details.
The two prototypical examples of non-hyperbolic dynamics are homoclinic tangencies and heter…
▽ More
We present here the first part of a program for a classification of the generic dynamics close to homoclinic and heteroclinic points, in the $C^r$ topologies, $r\geq 1$. This paper only contains announcements and a few sketches of proofs; a forthcoming series of papers will present the proofs in details.
The two prototypical examples of non-hyperbolic dynamics are homoclinic tangencies and heterodimensional cycles. Palis conjectured that they actually characterize densely non-hyperbolic dynamics. It is therefore important to understand what happens close to those bifurcations. We generalize classical results of Newhouse, Palis and Viana, for both tangencies and cycles: close to a homoclinic tangency or to a heterodimensional cycle there is abundance of diffeomorphisms exhibiting infinitely many sinks or sources if and only if the dynamics is not volume-hyperbolic. This proves in particular a conjecture of Turaev for homoclinic tangencies.
An important result of Bonatti, Diaz, Pujals states that if a homoclinic class is $C^1$-robustly without dominated splitting, then nearby diffeomorphisms exhibit $C^1$-generically infinitely many sinks or sources. We show that this holds in higher regularities, under the further assumption that non-dominations are obtained through so-called "mechanisms". This includes all the examples of robustly non-dominated homoclinic classes one can build with the tools known up to now. We actually have a $C^r$-equivalent of a recent $C^1$-result of Bochi and Bonatti: we describe precisely the Lyapunov exponents along periodic points that may appear close to a homoclinic tangency or to a homoclinic class.
The results of Newhouse, Palis and Viana were proven for the $C^r$ topologies, $r\geq 2$. Our results hold also in the $C^{1+α}$ topologies.
△ Less
Submitted 29 October, 2014; v1 submitted 7 October, 2014;
originally announced October 2014.
-
An Isotopic Perturbation Lemma Along Periodic Orbits
Authors:
Nicolas Gourmelon
Abstract:
A well-known lemma by John Franks asserts that one obtains any perturbation of the derivative of a diffeomorphism along a periodic orbit by a $C^1$-perturbation of the whole diffeomorphism on a small neighbourhood of the orbit. However, one does not control where the invariant manifolds of the orbit are, after perturbation. We show that if the perturbated derivative is obtained by an isotopy along…
▽ More
A well-known lemma by John Franks asserts that one obtains any perturbation of the derivative of a diffeomorphism along a periodic orbit by a $C^1$-perturbation of the whole diffeomorphism on a small neighbourhood of the orbit. However, one does not control where the invariant manifolds of the orbit are, after perturbation. We show that if the perturbated derivative is obtained by an isotopy along which some strong stable/unstable manifolds of some dimensions exist, then the Franks perturbation can be done preserving the corresponding stable/unstable semi-local manifolds. This is a general perturbative tool in $C^1$-dynamics that has many consequences. We give simple examples of such consequences, for instance a generic dichotomy between dominated splitting and small stable/unstable angles inside homoclinic classes.
△ Less
Submitted 29 December, 2012;
originally announced December 2012.
-
Note on the dimension of certain algebraic sets of matrices
Authors:
Jairo Bochi,
Nicolas Gourmelon
Abstract:
In this short note we prove a lemma about the dimension of certain algebraic sets of matrices. This result is needed in our paper arXiv:1201.1672. The result presented here has also applications in other situations and so it should appear as part of a larger work.
The statement of the lemma goes as follows: Suppose $X$ is a nonempty algebraically closed subset of the affine space of…
▽ More
In this short note we prove a lemma about the dimension of certain algebraic sets of matrices. This result is needed in our paper arXiv:1201.1672. The result presented here has also applications in other situations and so it should appear as part of a larger work.
The statement of the lemma goes as follows: Suppose $X$ is a nonempty algebraically closed subset of the affine space of $n \times m$ complex matrices. Suppose that $X$ is column-invariant (i.e., belongingness to $X$ depends only on the column space of the matrix). Suppose $E$ is a vector subspace of $\mathbb{C}^n$ that is not contained in the column space of any matrix in $X$. Then $codim(X) \geq m + 1 - dim(E)$.
The proof is simple and relies on intersection theory of the grassmannians ("Schubert calculus").
△ Less
Submitted 10 January, 2012;
originally announced January 2012.
-
Universal regular control for generic semilinear systems
Authors:
Jairo Bochi,
Nicolas Gourmelon
Abstract:
We consider discrete-time projective semilinear control systems $ξ_{t+1} = A(u_t) \cdot ξ_t$, where the states $ξ_t$ are in projective space $\mathbb{R}P^{d-1}$, inputs $u_t$ are in a manifold $U$ of arbitrary finite dimension, and $A \colon U \to GL(d,\mathbb{R})$ is a differentiable mapping.
An input sequence $(u_0,\ldots,u_{N-1})$ is called universally regular if for any initial state…
▽ More
We consider discrete-time projective semilinear control systems $ξ_{t+1} = A(u_t) \cdot ξ_t$, where the states $ξ_t$ are in projective space $\mathbb{R}P^{d-1}$, inputs $u_t$ are in a manifold $U$ of arbitrary finite dimension, and $A \colon U \to GL(d,\mathbb{R})$ is a differentiable mapping.
An input sequence $(u_0,\ldots,u_{N-1})$ is called universally regular if for any initial state $ξ_0 \in \mathbb{R}P^{d-1}$, the derivative of the time-$N$ state with respect to the inputs is onto.
In this paper we deal with the universal regularity of constant input sequences $(u_0, \dots, u_0)$. Our main result states that generically in the space of such systems, for sufficiently large $N$, all constant inputs of length $N$ are universally regular, with the exception of a discrete set. More precisely, the conclusion holds for a $C^2$-open and $C^\infty$-dense set of maps $A$, and $N$ only depends on $d$ and on the dimension of $U$. We also show that the inputs on that discrete set are nearly universally regular; indeed there is a unique non-regular initial state, and its corank is $1$.
In order to establish the result, we study the spaces of bilinear control systems. We show that the codimension of the set of systems for which the zero input is not universally regular coincides with the dimension of the control space. The proof is based on careful matrix analysis and some elementary algebraic geometry. Then the main result follows by applying standard transversality theorems.
△ Less
Submitted 25 November, 2013; v1 submitted 8 January, 2012;
originally announced January 2012.
-
Tame dynamics and robust transitivity
Authors:
Christian Bonatti,
Sylvain Crovisier,
Nicolas Gourmelon,
Rafael Potrie
Abstract:
One main task of smooth dynamical systems consists in finding a good decomposition into elementary pieces of the dynamics. This paper contributes to the study of chain-recurrence classes. It is known that $C^1$-generically, each chain-recurrence class containing a periodic orbit is equal to the homoclinic class of this orbit. Our result implies that in general this property is fragile.
We build…
▽ More
One main task of smooth dynamical systems consists in finding a good decomposition into elementary pieces of the dynamics. This paper contributes to the study of chain-recurrence classes. It is known that $C^1$-generically, each chain-recurrence class containing a periodic orbit is equal to the homoclinic class of this orbit. Our result implies that in general this property is fragile.
We build a C1-open set U of tame diffeomorphisms (their dynamics only splits into finitely many chain-recurrence classes) such that for any diffeomorphism in a C-infinity-dense subset of U, one of the chain-recurrence classes is not transitive (and has an isolated point). Moreover, these dynamics are obtained among partially hyperbolic systems with one-dimensional center.
Résumé : Dynamique modérée et transitivité robuste.
L'un des buts des systèmes dynamiques consiste à trouver une bonne décomposition de la dynamique en pièces élémentaires. Cet article contribue à l'étude des classes de récurrence par chaînes. On sait que C1-génériquement, chaque classe de récurrence par chaînes contenant une orbite périodique coincide avec la classe homocline de cette orbite. Notre résultat montre que cette propriété est en générale fragile.
Nous construisons un ouvert U de difféomorphismes modérés (leur dynamique ne se décompose qu'en un nombre fini de classes de récurrence par chaînes) tel que pour tout difféomorphisme appartenant à un sous-ensemble C-infini-dense de U, une des classes de récurrence par chaînes n'est pas transitive (elle a un point isolé). De plus, ces dynamiques sont obtenues comme systèmes partiellement hyperboliques avec une direction centrale uni-dimensionnelle.
△ Less
Submitted 5 December, 2011;
originally announced December 2011.
-
Internal perturbations of homoclinic classes:non-domination, cycles, and self-replication
Authors:
Ch. Bonatti,
S. Crovisier,
L. J. Díaz,
N. Gourmelon
Abstract:
Conditions are provided under which lack of domination of a homoclinic class yields robust heterodimensional cycles. Moreover, so-called viral homoclinic classes are studied. Viral classes have the property of generating copies of themselves producing wild dynamics (systems with infinitely many homoclinic classes with some persistence). Such wild dynamics also exhibits uncountably many aperiodic c…
▽ More
Conditions are provided under which lack of domination of a homoclinic class yields robust heterodimensional cycles. Moreover, so-called viral homoclinic classes are studied. Viral classes have the property of generating copies of themselves producing wild dynamics (systems with infinitely many homoclinic classes with some persistence). Such wild dynamics also exhibits uncountably many aperiodic chain recurrence classes. A scenario (related with non-dominated dynamics) is presented where viral homoclinic classes occur.
A key ingredient are adapted perturbations of a diffeomorphism along a periodic orbit. Such perturbations preserve certain homoclinic relations and prescribed dynamical properties of a homoclinic class.
△ Less
Submitted 12 November, 2010;
originally announced November 2010.
-
A Franks' lemma that preserves invariant manifolds
Authors:
Nikolaz Gourmelon
Abstract:
A well-known lemma by John Franks asserts that one obtains any perturbation of the derivative of a diffeomorphism along a periodic orbit by a $C^1$-perturbation of the whole diffeomorphism on a small neighbourhood of the orbit. However, one does not control where the invariant manifolds of the orbit are, after perturbation.
We show that if the perturbated derivative is obtained by an isotopy alo…
▽ More
A well-known lemma by John Franks asserts that one obtains any perturbation of the derivative of a diffeomorphism along a periodic orbit by a $C^1$-perturbation of the whole diffeomorphism on a small neighbourhood of the orbit. However, one does not control where the invariant manifolds of the orbit are, after perturbation.
We show that if the perturbated derivative is obtained by an isotopy along which some strong stable/unstable manifolds of some dimensions exist, then the Franks perturbation can be done preserving the corresponding stable/unstable semi-local manifolds. This is a general perturbative tool in $C^1$-dynamics that has many consequences. We give simple examples of such consequences, for instance a generic dichotomy between dominated splitting and small stable/unstable angles inside homoclinic classes
△ Less
Submitted 27 September, 2014; v1 submitted 6 December, 2009;
originally announced December 2009.
-
Some Characterizations of Domination
Authors:
Jairo Bochi,
Nicolas Gourmelon
Abstract:
We show that a cocycle has a dominated splitting if and only if there is a uniform exponential gap between singular values of its iterates. Then we consider sets $Σ$ in $GL(d,\mathbb{R})$ with the property that any cocycle with values in $Σ$ has a dominated splitting. We characterize these sets in terms of existence of invariant multicones, thus extending a 2-dimensional result by Avila, Bochi,…
▽ More
We show that a cocycle has a dominated splitting if and only if there is a uniform exponential gap between singular values of its iterates. Then we consider sets $Σ$ in $GL(d,\mathbb{R})$ with the property that any cocycle with values in $Σ$ has a dominated splitting. We characterize these sets in terms of existence of invariant multicones, thus extending a 2-dimensional result by Avila, Bochi, and Yoccoz. We give an example showing how these multicones can fail to have convexity properties.
△ Less
Submitted 31 August, 2008; v1 submitted 27 August, 2008;
originally announced August 2008.
