Source author record

Christian Bonatti

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

28works
6topics
4close collaborators

Published work

28 publications

preprint2023arXiv

Action on the circle at infinity of foliations of R2{\mathbb R}^2

This paper provides a canonical compactification of the plane R2{\mathbb R}^2 by adding a circle at infinity associated to a countable family of singular foliations or laminations (under some hypotheses), generalizing an idea by Mather \cite{Ma}. Moreover any homeomorphism of R2{\mathbb R}^2 preserving the foliations extends on the circle at infinity. Then this paper provides conditions ensuring the minimality of the action on the circle at infinity induced by an action on R2{\mathbb R}^2 preserving one foliation or two transverse foliations. In particular the action on the circle at infinity associated to an Anosov flow XX on a closed 33-manifold is minimal if and only if XX is non-R\mathbb R-covered.

preprint2022arXiv

On a quadratic form associated with a surface automorphism and its applications to Singularity Theory

We study the nilpotent part N′N' of a pseudo-periodic automorphism hh of a real oriented surface with boundary ΣΣ. We associate a quadratic form QQ defined on the first homology group (relative to the boundary) of the surface ΣΣ. Using the twist formula and techniques from mapping class group theory, we prove that the form Q~\tilde{Q} obtained after killing ker⁡N{\ker N} is positive definite if all the screw numbers associated with certain orbits of annuli are positive. We also prove that the restriction of Q~\tilde Q to the absolute homology group of ΣΣ is even whenever the quotient of the Nielsen-Thurston graph under the action of the automorphism is a tree. The case of monodromy automorphisms of Milnor fibers Σ=FΣ=F of germs of curves on normal surface singularities is discussed in detail, and the aforementioned results are specialized to such situation. Moreover, the form Q~\tilde{Q} is computable in terms of the dual resolution or semistable reduction graph, as illustrated with several examples. Numerical invariants associated with Q~\tilde{Q} are able to distinguish plane curve singularities with different topological types but same spectral pairs. Finally, we discuss a generic linear germ defined on a superisolated surface. In this case the plumbing graph is not a tree and the restriction of Q~\tilde Q to the absolute monodromy of Σ=FΣ=F is not even.

preprint2020arXiv

Anosov flows on 33-manifolds: the surgeries and the foliations

To any Anosov flow X on a 3-manifold Fe1 associated a bi-foliated plane (a plane endowed with two transverse foliations Fs and Fu) which reflects the normal structure of the flow endowed with the center-stable and center unstable foliations. A flow is R-covered if Fs (or Fu) is trivial. From one Anosov flow one can build infinitely many others by Dehn-Goodman-Fried surgeries. This paper investigates how these surgeries modify the bi-foliated plane. We first noticed that surgeries along some specific periodic orbits do not modify the bi-foliated plane: for instance, - surgeries on families of orbits corresponding to disjoint simple closed geodesics do not affect the bi-foliated plane associated to the geodesic flow of a hyperbolic surface (Theorem 1); - Fe2 associates a (non-empty) finite family of periodic orbits, called pivots, to any non-R-covered Anosov flow. Surgeries on pivots do not affect the branching structure of the bi-foliated plane (Theorem 2) We consider the set Surg(A) of Anosov flows obtained by Dehn-Goodman-Fried surgery from the suspension flows of Anosov automorphisms A in SL(2,Z) of the torus T2. Every such surgery is associated to a finite set of couples (C,m(C)), where the C are periodic orbits and the m(C) integers. When all the m(C) have the same sign, Fenley proved that the induced Anosov flow is R-covered and twisted according to the sign of the surgery. We analyse here the case where the surgeries are positive on a finite set X and negative on another set Y. Among other results, we show that given any flow X in Surg(A) : - there exists e>0 such that for every e-dense periodic orbit C, every flow obtained from X by a non trivial surgery along C is R-covered (Theorem 4). - there exist periodic orbits C+,C- such that every flow obtained from X by surgeries with distinct signs on C+ and C- is non-R-covered (Theorem 5).

preprint2020arXiv

Existence of common zeros for commuting vector fields on 33-manifolds II. Solving global difficulties

We address the following conjecture about the existence of common zeros for commuting vector fields in dimension three: if X,YX,Y are two C1C^1 commuting vector fields on a 33-manifold MM, and UU is a relatively compact open such that XX does not vanish on the boundary of UU and has a non vanishing Poincaré-Hopf index in UU, then XX and YY have a common zero inside UU. We prove this conjecture when XX and YY are of class C3C^3 and every periodic orbit of YY along which XX and YY are collinear is partially hyperbolic. We also prove the conjecture, still in the C3C^3 setting, assuming that the flow YY leaves invariant a transverse plane field. These results shed new light on the C3C^3 case of the conjecture.

preprint2019arXiv

Transitive partially hyperbolic diffeomorphisms with one-dimensional neutral center

In this paper, we study transitive partially hyperbolic diffeomorphisms with one-dimensional topologically neutral center, meaning that the length of the iterate of small center segments remains small. Such systems are dynamically coherent. We show that there exists a continuous metric along the center foliation which is invariant under the dynamics. As an application, we classify the transitive partially hyperbolic diffeomorphisms on 3-manifolds with topologically neutral center.

preprint2017arXiv

Anomalous Anosov flows revisited

This paper is devoted to higher dimensional Anosov flows and consists of two parts. In the first part, we investigate fiberwise Anosov flows on affine torus bundles which fiber over 3-dimensional Anosov flows. We provide a dichotomy result for such flows --- they are either suspensions of Anosov diffeomorphisms or the stable and unstable distributions have equal dimensions. In the second part, we give a new surgery type construction of Anosov flows, which yields non-transitive Anosov flows in all odd dimensions.

preprint2016arXiv

A criterion for zero averages and full support of ergodic measures

Consider a homeomorphism ff defined on a compact metric space XX and a continuous map ϕ ⁣:X→Rϕ\colon X \to \mathbb{R}. We provide an abstract criterion, called \emph{control at any scale with a long sparse tail} for a point x∈Xx\in X and the map ϕϕ, that guarantees that any weak∗\ast limit measure μμ of the Birkhoff average of Dirac measures 1n∑0n−1δ(fi(x))\frac1n\sum_0^{n-1}δ(f^i(x)) is such that μμ-almost every point yy has a dense orbit in XX and the Birkhoff average of ϕϕ along the orbit of yy is zero. As an illustration of the strength of this criterion, we prove that the diffeomorphisms with nonhyperbolic ergodic measures form a C1C^1-open and dense subset of the set of robustly transitive partially hyperbolic diffeomorphisms with one dimensional nonhyperbolic central direction. We also obtain applications for nonhyperbolic homoclinic classes.

preprint2016arXiv

Existence of common zeros for commuting vector fields on 33-manifolds

In 6464 E. Lima proved that commuting vector fields on surfaces with non-zero Euler characteristic have common zeros. Such statement is empty in dimension 33, since all the Euler characteristics vanish. Nevertheless, \cite{Bonatti_analiticos} proposed a local version, replacing the Euler characteristic by the Poincaré-Hopf index of a vector field XX in a region UU, denoted by Ind⁡(X,U)\operatorname{Ind}(X,U); he asked: \emph{Given commuting vector fields X,YX,Y and a region UU where Ind⁡(X,U)≠0\operatorname{Ind}(X,U)\neq 0, does UU contain a common zero of XX and YY?} \cite{Bonatti_analiticos} gave a positive answer in the case where XX and YY are real analytic. In this paper, we prove the existence of common zeros for commuting C1C^1 vector fields XX, YY on a 33-manifold, in any region UU such that Ind⁡(X,U)≠0\operatorname{Ind}(X,U)\neq 0, assuming that the set of collinearity of XX and YY is contained in a smooth surface. This is a strong indication that the results in \cite{Bonatti_analiticos} should hold for C1C^1-vector fields.

preprint2015arXiv

A spectral-like decomposition for transitive Anosov flows in dimension three

Given a (transitive or non-transitive) Anosov vector field XX on a closed three-dimensional manifold MM, one may try to decompose (M,X)(M,X) by cutting MM along two-tori transverse to XX. We prove that one can find a finite collection {T1,…,Tn}\{T_1,\dots,T_n\} of pairwise disjoint, pairwise non-parallel incompressible tori transverse to XX, such that the maximal invariant sets Λ1,…,ΛmΛ_1,\dots,Λ_m of the connected components V1,…,VmV_1,\dots,V_m of M−(T1∪⋯∪Tn)M-(T_1\cup\dots\cup T_n) satisfy the following properties: 1, each ΛiΛ_i is a compact invariant locally maximal transitive set for XX, 2, the collection {Λ1,…,Λm}\{Λ_1,\dots,Λ_m\} is canonically attached to the pair (M,X)(M,X) (i.e., it can be defined independently of the collection of tori {T1,…,Tn}\{T_1,\dots,T_n\}), 3, the ΛiΛ_i's are the smallest possible: for every (possibly infinite) collection {Si}i∈I\{S_i\}_{i\in I} of tori transverse to XX, the ΛiΛ_i's are contained in the maximal invariant set of M−∪iSiM-\cup_i S_i. To a certain extent, the sets Λ1,…,ΛmΛ_1,\dots,Λ_m are analogs (for Anosov vector field in dimension 3) of the basic pieces which appear in the spectral decomposition of a non-transitive axiom A vector field. Then we discuss the uniqueness of such a decomposition: we prove that the pieces of the decomposition V1,…,VmV_1,\dots,V_m, equipped with the restriction of the Anosov vector field XX, are "almost unique up to topological equivalence".

preprint2015arXiv

Anomalous partially hyperbolic diffeomorphisms I: dynamically coherent examples

We build an example of a non-transitive, dynamically coherent partially hyperbolic diffeomorphism ff on a closed 33-manifold with exponential growth in its fundamental group such that fnf^n is not isotopic to the identity for all n≠0n\neq 0. This example contradicts a conjecture in \cite{HHU}. The main idea is to consider a well-understood time-tt map of a non-transitive Anosov flow and then carefully compose with a Dehn twist.

preprint2015arXiv

Foliated hyperbolicity and foliations with hyperbolic leaves

Given a lamination in a compact space and a laminated vector field XX which is hyperbolic when restricted to the leaves of the lamination, we distinguish a class of XX-invariant probabilities that describe the behaviour of almost every XX-orbit in every leaf, that we call u-Gibbs states. We apply this to the case of foliations in compact manifolds having leaves with negative curvature, using the foliated hyperbolic vector field on the unit tangent bundle to the foliation generating the leaf geodesics. When the Lyapunov exponents of such an ergodic u-Gibbs states are negative, it is an SRB-measure (having a positive Lebesgue basin of attraction). When the foliation is by hyperbolic leaves, this class of probabilities coincide with the classical harmonic measures introduced by L. Garnett. If furthermore the foliation is transversally conformal and does not admit a transverse invariant measure we show that the ergodic u-Gibbs states are finitely many, supported each in one minimal set of the foliation, have negative Lyapunov exponents and the union of their basins of attraction has full Lebesgue measure. The leaf geodesics emanating from a point have a proportion whose asymptotic statistics is described by each of these ergodic u-Gibbs states, giving rise to continuous visibility functions of the attractors. Reversing time, by considering −X-X, we obtain the existence of the same number of repellors of the foliated geodesic flow having the same harmonic measures as projections to MM. In the case of only 1 attractor, we obtain a North to South pole dynamics.

preprint2015arXiv

Robust criterion for the existence of nonhyperbolic ergodic measures

We give explicit C1C^1-open conditions that ensure that a diffeomorphism possesses a nonhyperbolic ergodic measure with positive entropy. Actually, our criterion provides the existence of a partially hyperbolic compact set with one-dimensional center and positive topological entropy on which the center Lyapunov exponent vanishes uniformly. The conditions of the criterion are met on a C1C^1-dense and open subset of the set of a diffeomorphisms having a robust cycle. As a corollary, there exists a C1C^1-open and dense subset of the set of non-Anosov robustly transitive diffeomorphisms consisting of systems with nonhyperbolic ergodic measures with positive entropy. The criterion is based on a notion of a blender defined dynamically in terms of strict invariance of a family of discs.

preprint2015arXiv

Volume hyperbolicity and wildness

It is known that volume hyperbolicity (partial hyperbolicity and uniform expansion or contraction of the volume in the extremal bundles) is a necessary condition for robust transitivity or robust chain recurrence hence for tameness. In this paper, on any 3-manifold we build examples of quasi-attractors which are volume hyperbolic and wild at the same time. As a main corollary, we see that, for any closed 3-manifold MM, the space Diff1(M)\mathrm{Diff}^1(M) admits a non-empty open set where every C1C^1-generic diffeomorphism has no attractors or repellers. The main tool of our construction is the notion of flexible periodic points introduced by the authors. For ejecting the flexible points from the quasi-attractor, we control the topology of the quasi-attractor using the notion of partially hyperbolic filtrating Markov partition, which we introduce in this paper.

preprint2014arXiv

Partially hyperbolic diffeomorphisms with uniformly center foliation: the quotient dynamics

We show that a partially hyperbolic C1C^1 -diffeomorphism f:M→Mf : M \to M with a uniformly compact ff -invariant center foliation FcF^c is dynamically coherent. Further, the induced homeomorphism F:M/Fc→M/FcF : M/F^c \to M/F^c on the quotient space of the center foliation has the shadowing property, i.e. for every ε>0\varepsilon> 0 there exists δ>0δ> 0 such that every δδ-pseudo orbit of center leaves is ε\varepsilon-shadowed by an orbit of center leaves. Although the shadowing orbit is not necessarily unique, we prove the density of periodic center leaves inside the chain recurrent set of the quotient dynamics. Some other interesting properties of the quotient dynamics are discussed.

preprint2013arXiv

Centralizers of C1C^1-contractions of the half line

A subgroup G⊂Diff+1([0,1])G\subset Diff^1_+([0,1]) is C1C^1-close to the identity if there is a sequence hn∈Diff+1([0,1])h_n\in Diff^1_+([0,1]) such that the conjugates hnghn−1h_n g h_n^{-1} tend to the identity for the C1C^1-topology, for every g∈Gg\in G. This is equivalent to the fact that GG can be embedded in the C1C^1-centralizer of a C1C^1-contraction of [0,+∞)[0,+\infty) (see [Fa] and Theorem 1.1). We first describe the topological dynamics of groups C1C^1-close to the identity. Then, we show that the class of groups C1C^1-close to the identity is invariant under some natural dynamical and algebraic extensions. As a consequence, we can describe a large class of groups G⊂Diff+1([0,1])G\subset Diff^1_+([0,1]) whose topological dynamics implies that they are C1C^1-close to the identity. This allows us to show that the free group F2{\mathbb F}_2 admits faithfull actions which are C1C^1-close to the identity. In particular, the C1C^1-centralizer of a C1C^1-contraction may contain free groups.

preprint2013arXiv

Robust vanishing of all Lyapunov exponents for iterated function systems

Given any compact connected manifold MM, we describe C2C^2-open sets of iterated functions systems (IFS's) admitting fully-supported ergodic measures whose Lyapunov exponents along MM are all zero. Moreover, these measures are approximated by measures supported on periodic orbits. We also describe C1C^1-open sets of IFS's admitting ergodic measures of positive entropy whose Lyapunov exponents along MM are all zero. The proofs involve the construction of non-hyperbolic measures for the induced IFS's on the flag manifold.

preprint2013arXiv

The C1+αC^{1+α} hypothesis in Pesin theory revisited

We show that for every compact 3-manifold MM there exists an open subset of $\diff ^1(M)$ in which every generic diffeomorphism admits uncountably many ergodic probability measures which are hyperbolic while their supports are disjoint and admit a basis of attracting neighborhoods and a basis of repelling neighborhoods. As a consequence, the points in the support of these measures have no stable and no unstable manifolds. This contrasts with the higher regularity case, where Pesin theory gives us the stable and the unstable manifolds with complementary dimensions at almost every point. We also give such an example in dimension two, without local genericity.

preprint2012arXiv

Flexible periodic points

We define the notion of ε\varepsilon-flexible periodic point: it is a periodic point with stable index equal to two whose dynamics restricted to the stable direction admits ε\varepsilon-perturbations both to a homothety and a saddle having an eigenvalue equal to one. We show that ε\varepsilon-perturbation to an ε\varepsilon-flexible point allows to change it in a stable index one periodic point whose (one dimensional) stable manifold is an arbitrarily chosen C1C^1 -curve. We also show that the existence of flexible point is a general phenomenon among systems with a robustly non-hyperbolic two dimensional center-stable bundle.

preprint2011arXiv

Fragile cycles

We study diffeomorphisms ff with heterodimensional cycles, that is, heteroclinic cycles associated to saddles pp and qq with different indices. Such a cycle is called fragile if there is no diffeomorphism close to ff with a robust cycle associated to hyperbolic sets containing the continuations of pp and qq. We construct a codimension one submanifold of $\Difr(\SS^2\times \SS^1)$, r≥1r\ge 1, that consists of diffeomorphisms with fragile heterodimensional cycles. Our construction holds for any manifold of dimension ≥4\ge 4.

preprint2011arXiv

Perturbation of the Lyapunov spectra of periodic orbits

We describe all Lyapunov spectra that can be obtained by perturbing the derivatives along periodic orbits of a diffeomorphism. The description is expressed in terms of the finest dominated splitting and Lyapunov exponents that appear in the limit of a sequence of periodic orbits, and involves the majorization partial order. Among the applications, we give a simple criterion for the occurrence of universal dynamics.

preprint2011arXiv

Stabilization of heterodimensional cycles

We consider diffeomorphisms ff with heteroclinic cycles associated to saddles PP and QQ of different indices. We say that a cycle of this type can be stabilized if there are diffeomorphisms close to ff with a robust cycle associated to hyperbolic sets containing the continuations of PP and QQ. We focus on the case where the indices of these two saddles differ by one. We prove that, excluding one particular case (so-called twisted cycles that additionally satisfy some geometrical restrictions), all such cycles can be stabilized.

preprint2011arXiv

Tame dynamics and robust transitivity

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 C1C^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.

preprint2006arXiv

Roots in the mapping class groups

The purpose of this paper is the study of the roots in the mapping class groups. Let ΣΣ be a compact oriented surface, possibly with boundary, let $\PP$ be a finite set of punctures in the interior of ΣΣ, and let $\MM (Σ, \PP)$ denote the mapping class group of $(Σ, \PP)$. We prove that, if ΣΣ is of genus 0, then each $f \in \MM (Σ)$ has at most one mm-root for all m≥1m \ge 1. We prove that, if ΣΣ is of genus 1 and has non-empty boundary, then each $f \in \MM (Σ)$ has at most one mm-root up to conjugation for all m≥1m \ge 1. We prove that, however, if ΣΣ is of genus ≥2\ge 2, then there exist $f,g \in \MM (Σ, \PP)$ such that f2=g2f^2=g^2, ff is not conjugate to gg, and none of the conjugates of ff commutes with gg. Afterwards, we focus our study on the roots of the pseudo-Anosov elements. We prove that, if ∂Σ≠∅\partial Σ\neq \emptyset, then each pseudo-Anosov element $f \in \MM(Σ, \PP)$ has at most one mm-root for all m≥1m \ge 1. We prove that, however, if ∂Σ=∅\partial Σ= \emptyset and the genus of ΣΣ is ≥2\ge 2, then there exist two pseudo-Anosov elements $f,g \in \MM (Σ)$ (explicitely constructed) such that fm=gmf^m=g^m for some m≥2m\ge 2, ff is not conjugate to gg, and none of the conjugates of ff commutes with gg. Furthermore, if the genus of ΣΣ is ≡0(mod  4)\equiv 0 (\mod 4), then we can take m=2m=2. Finally, we show that, if ΓΓ is a pure subgroup of $\MM (Σ, \PP)$ and f∈Γf \in Γ, then ff has at most one mm-root in ΓΓ for all m≥1m \ge 1. Note that there are finite index pure subgroups in $\MM (Σ, \PP)$.

preprint2003arXiv

Recurrence and genericity

We prove a C^1-connecting lemma for pseudo-orbits of diffeomorphisms on compact manifolds. We explore some consequences for C^1-generic diffeomorphisms. For instance, C^1-generic conservative diffeomorphisms are transitive. <br> Nous montrons un lemme de connexion C^1 pour les pseudo-orbites des diffeomorphismes des varietes compactes. Nous explorons alors les consequences pour les diffeomorphismes C^1-generiques. Par exemple, les diffeomorphismes conservatifs C^1-generiques sont transitifs.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.