arXiv subjects

Christian Bonatti

Publications and source records attributed to Christian Bonatti.

At least 19 recordsLinked to original sources

arXiv2026

Construction of Anosov flows on fibered hyperbolic 3-manifolds

We prove that fibered hyperbolic $3$-manifolds carrying transitive Anosov flows are abundant. More precisely, for every $g\geq 2$, there is a finite index subgroup~$\Gamma$ of $ \mathrm{Mod}(S_g)/\mathrm{Tor}(S_g) \simeq \mathrm{Sp}(2g,\mathbb{Z}) $ so that every element of $\Gamma$ has a representative $\varphi \in \operatorname{Mod}(S_g)$ such that the mapping torus $ M_\varphi := S_g \times [0,1]/(x,1) \sim (\varphi(x),0) $ carries a transitive Anosov flow. The manifold $M_\varphi$ is hyperbolic for almost every element of $\Gamma$. This shows in particular that, in the set of all fibered hyperbolic manifolds, the subset made of the manifolds carrying Anosov flows has positive density up to trivial linear monodromy. Moreover, the subgroup $\Gamma$ is defined by an explicit set of generators, and our construction yields many examples of simple fibered hyperbolic manifolds carrying Anosov flows.

math.DS↗

arXiv2025

From pre-lamination to foliated plane

To a singular foliation on the plane corresponds a circular boundary at infinity endowed with a pre-lamination on the circle. We solve the converse direction. We determine which pre-lamination on the circle are boundary at infinity of a foliation, and we build the corresponding (unique) foliation. We consider both regular foliations and a singular foliations with prong singularities.

math.DS↗

arXiv2024

Non-transitive pseudo-Anosov flows

We study (topological) pseudo-Anosov flows from the perspective of the associated group actions on their orbit spaces and boundary at infinity. We extend the definition of Anosov-like action from [BFM22] from the transitive to the general non-transitive context and show that one can recover the basic sets of a flow, the Smale order on basic sets, and their essential features, from such general group actions. Using these tools, we prove that a pseudo-Anosov flow in a $3$ manifold is entirely determined by the associated action of the fundamental group on the boundary at infinity of its orbit space. We also give a proof that any topological pseudo-Anosov flow on an atoroidal 3-manifold is necessarily transitive, and prove that density of periodic orbits implies transitivity, in the topological rather than smooth case.

math.DS↗

arXiv2024

Completing Prelaminations

Motivated by problems in the study of Anosov and pseudo-Anosov flows on 3-manifolds, we characterize when a pair $(L^+, L^-)$ of subsets of transverse laminations of the circle can be completed to a pair of transverse foliations of the plane or, separately, realized as the endpoints of such a bifoliation of the plane. (We allow also singular bifoliations with simple prongs, such as arise in pseudo-Anosov flows). This program is carried out at a level of generality applicable to bifoliations coming from pseudo-Anosov flows with and without perfect fits, as well as many other examples, and is natural with respect to group actions preserving these structures.

math.GT↗

arXiv2024

Heterodimensional cycles of hyperbolic ergodic measures

We introduce the concept of a heterodimensional cycle of hyperbolic ergodic measures and a special type of them that we call rich. Within a partially hyperbolic context, we prove that if two measures are related by a rich heterodimensional cycle, then the entire segment of probability measures linking them lies within the closure of measures supported on periodic orbits. Motivated by the occurrence of robust heterodimensional cycles of hyperbolic basic sets, we study robust rich heterodimensional cycles of measures providing a framework for this phenomenon for diffeomorphisms. In the setting of skew products, we construct an open set of maps having uncountably many measures related by rich heterodimensional cycles.

math.DS↗

arXiv2024

Non-locally discrete actions on the circle with at most $N$ fixed points

A subgroup of $\mathrm{Homeo}_+(\mathbb{S}^1)$ is Möbius-like if every element is conjugate to an element of $\mathrm{PSL}(2,\mathbb{R})$. In general, a Möbius-like subgroup of $\mathrm{Homeo}_+(\mathbb{S}^1)$ is not necessarily (semi-)conjugate to a subgroup of $\mathrm{PSL}(2,\mathbb{R})$, as discovered by N. Kovačević [Trans. Amer. Math. Soc. 351 (1999), 4823-4835]. Here we determine simple dynamical criteria for the existence of such a (semi-)conjugacy. We show that Möbius-like subgroups of $\mathrm{Homeo}_+(\mathbb{S}^1)$ which are elementary (namely, preserving a Borel probability measure), are semi-conjugate to subgroups of $\mathrm{PSL}(2,\mathbb{R})$. On the other hand, we provide an example of elementary subgroup of $\mathrm{Diff}^\infty_+(\mathbb{S}^1)$ satisfying that every non-trivial element fixes at most 2 points, which is not isomorphic to any subgroup of $\mathrm{PSL}(2,\mathbb{R})$. Finally, we show that non-elementary, non-locally discrete subgroups acting with at most $N$ fixed points are conjugate to a dense subgroup of some finite central extension of $\mathrm{PSL}(2,\mathbb{R})$.

math.GR↗

arXiv2024

Upper, down, two-sided Lorenz attractor, collisions, merging and switching

We present a slightly modified version of the well known "geometric Lorenz attractor". It consists in a C1 open set O of vector fields in R3 having an attracting region U containing: (1) a unique singular saddle point sigma; (2) a unique attractor Lambda containing the singular point; (3) the maximal invariant in U contains at most 2 chain recurrence classes, which are Lambda and (at most) one hyperbolic horseshoe. The horseshoe and the singular attractor have a collision along the union of 2 co-dimension 1 sub-manifolds which divide O in 3 regions. By crossing this collision locus, the attractor and the horseshoe may merge in a two-sided Lorenz attractor, or they may exchange their nature: the Lorenz attractor expel the singular point sigma and becomes a horseshoe and the horseshoe absorbs sigma becoming a Lorenz attractor. By crossing this collision locus, the attractor and the horseshoe may merge in a two-sided Lorenz attractor, or they may exchange their nature: the Lorenz attractor expel the singular point sigma and becomes a horseshoe and the horseshoe absorbs sigma becoming a Lorenz attractor.

math.DS↗

arXiv2023

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.

math.DS↗

arXiv2022

Oriented Birkhoff sections of Anosov flows

This paper gives 3 different proofs (independently obtained by the 3 authors) of the following fact: given an Anosov flow on an oriented 3 manifold, the existence of a positive Birkhoff section is equivalent to the fact that the flow is $\mathbb{R}$-covered positively twisted.

math.DS↗

arXiv2022

Aperiodic chain recurrence classes of $C^1$-generic diffeomorphisms

We consider the space of $C^1$-diffeomorphims equipped with the $C^1$-topology on a three dimensional closed manifold. It is known that there are open sets in which $C^1$-generic diffeomorphisms display uncountably many chain recurrences classes, while only countably many of them may contain periodic orbits. The classes without periodic orbits, called aperiodic classes, are the main subject of this paper. The aim of the paper is to show that aperiodic classes of $C^1$-generic diffeomorphisms can exhibit a variety of topological properties. More specifically, there are $C^1$-generic diffeomorphisms with (1) minimal expansive aperiodic classes, (2) minimal but non-uniquely ergodic aperiodic classes, (3) transitive but non-minimal aperiodic classes, (4) non-transitive, uniquely ergodic aperiodic classes.

math.DS↗

arXiv2022

A mechanism for ejecting a horseshoe from a partially hyperbolic chain recurrence class

We give a $C^1$-perturbation technique for ejecting an a priori given finite set of periodic points preserving a given finite set of homo/hetero-clinic intersections from a chain recurrence class of a periodic point. The technique is first stated under a simpler setting called Markov iterated function system, a two dimensional iterated function system in which the compositions are chosen in Markovian way. Then we apply the result to the setting of three dimensional partially hyperbolic diffeomorphisms.

math.DS↗

arXiv2022

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.

math.AG↗

arXiv2020

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).

math.DS↗

arXiv2020

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.

math.DS↗

arXiv2020

Small $C^1$ actions of semidirect products on compact manifolds

Let $T$ be a compact fibered $3$--manifold, presented as a mapping torus of a compact, orientable surface $S$ with monodromy $ψ$, and let $M$ be a compact Riemannian manifold. Our main result is that if the induced action $ψ^*$ on $H^1(S,\mathbb{R})$ has no eigenvalues on the unit circle, then there exists a neighborhood $\mathcal U$ of the trivial action in the space of $C^1$ actions of $π_1(T)$ on $M$ such that any action in $\mathcal{U}$ is abelian. We will prove that the same result holds in the generality of an infinite cyclic extension of an arbitrary finitely generated group $H$, provided that the conjugation action of the cyclic group on $H^1(H,\mathbb{R})\neq 0$ has no eigenvalues of modulus one. We thus generalize a result of A. McCarthy, which addressed the case of abelian--by--cyclic groups acting on compact manifolds.

math.GT↗

arXiv2020

Lorenz attractors and the modular surface

We define an extension of the geometric Lorenz model, defined on the three sphere. This geometric model has an invariant one dimensional trefoil knot, a union of invariant manifolds of the singularities. It is similar to the invariant trefoil knot arising in the classical Lorenz flow near the classical parameters. We prove that this geometric model is topologically equivalent to the geodesic flow on the modular surface, once compactifying the latter.

math.DS↗

arXiv2019

Anomalous partially hyperbolic diffeomorphisms III: abundance and incoherence

Let $M$ be a closed 3-manifold which admits an Anosov flow. In this paper we develop a technique for constructing partially hyperbolic representatives in many mapping classes of $M$. We apply this technique both in the setting of geodesic flows on closed hyperbolic surfaces and for Anosov flows which admit transverse tori. We emphasize the similarity of both constructions through the concept of $h$-transversality, a tool which allows us to compose different mapping classes while retaining partial hyperbolicity. In the case of the geodesic flow of a closed hyperbolic surface $S$ we build stably ergodic, partially hyperbolic diffeomorphisms whose mapping classes form a subgroup of the mapping class group $\mathcal{M}(T^1S)$ which is isomorphic to $\mathcal{M}(S)$. At the same time we show that the totality of mapping classes which can be realized by partially hyperbolic diffeomorphisms does not form a subgroup of $\mathcal{M}(T^1S)$. Finally, some of the examples on $T^1S$ are absolutely partially hyperbolic, stably ergodic and robustly non-dynamically coherent, disproving a conjecture by F. Rodriguez Hertz, J. Rodriguez Hertz and R. Ures.

math.DS↗

arXiv2019

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.

math.DS↗