Source author record

Christian Bonatti

Christian Bonatti appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

28works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

28 published item(s)

preprint2023arXiv

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

This paper provides a canonical compactification of the plane ${\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 ${\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 ${\mathbb R}^2 $ preserving one foliation or two transverse foliations. In particular the action on the circle at infinity associated to an Anosov flow $X$ on a closed $3$-manifold is minimal if and only if $X$ is non-$\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'$ of a pseudo-periodic automorphism $h$ of a real oriented surface with boundary $Σ$. We associate a quadratic form $Q$ 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 $\tilde{Q}$ obtained after killing ${\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 $\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$ of germs of curves on normal surface singularities is discussed in detail, and the aforementioned results are specialized to such situation. Moreover, the form $\tilde{Q}$ is computable in terms of the dual resolution or semistable reduction graph, as illustrated with several examples. Numerical invariants associated with $\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 $\tilde Q$ to the absolute monodromy of $Σ=F$ is not even.

preprint2020arXiv

Anosov flows on $3$-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 $3$-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,Y$ are two $C^1$ commuting vector fields on a $3$-manifold $M$, and $U$ is a relatively compact open such that $X$ does not vanish on the boundary of $U$ and has a non vanishing Poincaré-Hopf index in $U$, then $X$ and $Y$ have a common zero inside $U$. We prove this conjecture when $X$ and $Y$ are of class $C^3$ and every periodic orbit of $Y$ along which $X$ and $Y$ are collinear is partially hyperbolic. We also prove the conjecture, still in the $C^3$ setting, assuming that the flow $Y$ leaves invariant a transverse plane field. These results shed new light on the $C^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 $f$ defined on a compact metric space $X$ and a continuous map $ϕ\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\in X$ and the map $ϕ$, that guarantees that any weak$\ast$ limit measure $μ$ of the Birkhoff average of Dirac measures $\frac1n\sum_0^{n-1}δ(f^i(x))$ is such that $μ$-almost every point $y$ has a dense orbit in $X$ and the Birkhoff average of $ϕ$ along the orbit of $y$ is zero. As an illustration of the strength of this criterion, we prove that the diffeomorphisms with nonhyperbolic ergodic measures form a $C^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 $3$-manifolds

In $64$ E. Lima proved that commuting vector fields on surfaces with non-zero Euler characteristic have common zeros. Such statement is empty in dimension $3$, 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 $X$ in a region $U$, denoted by $\operatorname{Ind}(X,U)$; he asked: \emph{Given commuting vector fields $X,Y$ and a region $U$ where $\operatorname{Ind}(X,U)\neq 0$, does $U$ contain a common zero of $X$ and $Y$?} \cite{Bonatti_analiticos} gave a positive answer in the case where $X$ and $Y$ are real analytic. In this paper, we prove the existence of common zeros for commuting $C^1$ vector fields $X$, $Y$ on a $3$-manifold, in any region $U$ such that $\operatorname{Ind}(X,U)\neq 0$, assuming that the set of collinearity of $X$ and $Y$ is contained in a smooth surface. This is a strong indication that the results in \cite{Bonatti_analiticos} should hold for $C^1$-vector fields.

preprint2015arXiv

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

Given a (transitive or non-transitive) Anosov vector field $X$ on a closed three-dimensional manifold $M$, one may try to decompose $(M,X)$ by cutting $M$ along two-tori transverse to $X$. We prove that one can find a finite collection $\{T_1,\dots,T_n\}$ of pairwise disjoint, pairwise non-parallel incompressible tori transverse to $X$, such that the maximal invariant sets $Λ_1,\dots,Λ_m$ of the connected components $V_1,\dots,V_m$ of $M-(T_1\cup\dots\cup T_n)$ satisfy the following properties: 1, each $Λ_i$ is a compact invariant locally maximal transitive set for $X$, 2, the collection $\{Λ_1,\dots,Λ_m\}$ is canonically attached to the pair $(M,X)$ (i.e., it can be defined independently of the collection of tori $\{T_1,\dots,T_n\}$), 3, the $Λ_i$'s are the smallest possible: for every (possibly infinite) collection $\{S_i\}_{i\in I}$ of tori transverse to $X$, the $Λ_i$'s are contained in the maximal invariant set of $M-\cup_i S_i$. To a certain extent, the sets $Λ_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 $V_1,\dots,V_m$, equipped with the restriction of the Anosov vector field $X$, 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 $f$ on a closed $3$-manifold with exponential growth in its fundamental group such that $f^n$ is not isotopic to the identity for all $n\neq 0$. This example contradicts a conjecture in \cite{HHU}. The main idea is to consider a well-understood time-$t$ 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 $X$ which is hyperbolic when restricted to the leaves of the lamination, we distinguish a class of $X$-invariant probabilities that describe the behaviour of almost every $X$-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$, we obtain the existence of the same number of repellors of the foliated geodesic flow having the same harmonic measures as projections to $M$. 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 $C^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 $C^1$-dense and open subset of the set of a diffeomorphisms having a robust cycle. As a corollary, there exists a $C^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 $M$, the space $\mathrm{Diff}^1(M)$ admits a non-empty open set where every $C^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 $C^1$ -diffeomorphism $f : M \to M$ with a uniformly compact $f$ -invariant center foliation $F^c$ is dynamically coherent. Further, the induced homeomorphism $F : M/F^c \to M/F^c$ on the quotient space of the center foliation has the shadowing property, i.e. for every $\varepsilon> 0$ there exists $δ> 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 $C^1$-contractions of the half line

A subgroup $G\subset Diff^1_+([0,1])$ is $C^1$-close to the identity if there is a sequence $h_n\in Diff^1_+([0,1])$ such that the conjugates $h_n g h_n^{-1}$ tend to the identity for the $C^1$-topology, for every $g\in G$. This is equivalent to the fact that $G$ can be embedded in the $C^1$-centralizer of a $C^1$-contraction of $[0,+\infty)$ (see [Fa] and Theorem 1.1). We first describe the topological dynamics of groups $C^1$-close to the identity. Then, we show that the class of groups $C^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\subset Diff^1_+([0,1])$ whose topological dynamics implies that they are $C^1$-close to the identity. This allows us to show that the free group ${\mathbb F}_2$ admits faithfull actions which are $C^1$-close to the identity. In particular, the $C^1$-centralizer of a $C^1$-contraction may contain free groups.

preprint2013arXiv

Robust vanishing of all Lyapunov exponents for iterated function systems

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

preprint2013arXiv

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

We show that for every compact 3-manifold $M$ 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 $C^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 $f$ with heterodimensional cycles, that is, heteroclinic cycles associated to saddles $p$ and $q$ with different indices. Such a cycle is called fragile if there is no diffeomorphism close to $f$ with a robust cycle associated to hyperbolic sets containing the continuations of $p$ and $q$. We construct a codimension one submanifold of $\Difr(\SS^2\times \SS^1)$, $r\ge 1$, that consists of diffeomorphisms with fragile heterodimensional cycles. Our construction holds for any manifold of dimension $\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 $f$ with heteroclinic cycles associated to saddles $P$ and $Q$ of different indices. We say that a cycle of this type can be stabilized if there are diffeomorphisms close to $f$ with a robust cycle associated to hyperbolic sets containing the continuations of $P$ and $Q$. 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 $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.

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 $m$-root for all $m \ge 1$. We prove that, if $Σ$ is of genus 1 and has non-empty boundary, then each $f \in \MM (Σ)$ has at most one $m$-root up to conjugation for all $m \ge 1$. We prove that, however, if $Σ$ is of genus $\ge 2$, then there exist $f,g \in \MM (Σ, \PP)$ such that $f^2=g^2$, $f$ is not conjugate to $g$, and none of the conjugates of $f$ commutes with $g$. 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 $m$-root for all $m \ge 1$. We prove that, however, if $\partial Σ= \emptyset$ and the genus of $Σ$ is $\ge 2$, then there exist two pseudo-Anosov elements $f,g \in \MM (Σ)$ (explicitely constructed) such that $f^m=g^m$ for some $m\ge 2$, $f$ is not conjugate to $g$, and none of the conjugates of $f$ commutes with $g$. Furthermore, if the genus of $Σ$ is $\equiv 0 (\mod 4)$, then we can take $m=2$. Finally, we show that, if $Γ$ is a pure subgroup of $\MM (Σ, \PP)$ and $f \in Γ$, then $f$ has at most one $m$-root in $Γ$ for all $m \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.