We prove that in a $C^1$-open and $C^k$-dense set of some classes of $C^k$ Anosov flows all Lyapunov exponents have multiplicity 1 with respect to appropriate measures. The classes are geodesic flows with equilibrium states of Hölder-continuous potentials, volume-preserving flows, and all fiber-bunched Anosov flows with equilibrium states of Hölder-continuous potentials. In the proof, we use and prove perturbative results for jets of flows to modify eigenvalues of certain Poincaré maps and, using a Markov partition, apply the simplicity criterion of Avila and Viana.
We consider actions of Z^k, k \ge 2, by Anosov diffeomorphisms which are uniformly quasiconformal on each coarse Lyapunov distribution. These actions generalize Cartan actions for which coarse Lyapunov distributions are one-dimensional. We show that, under certain non-resonance assumptions on the Lyapunov exponents, a finite cover of such an action is smoothly conjugate to an action by toral automorphisms.
We prove that in an open and dense set, Symplectic linear cocycles over time one maps of Anosov flows, have positive Lyapunov exponents for SRB measures.
In this paper we obtain local rigidity results for linear Anosov diffeomorphisms in terms of Lyapunov exponents. More specifically, we show that given an irreducible linear hyperbolic automorphism $L$ with simple real eigenvalues with distinct absolute values, any small perturbation preserving the volume and with the same Lyapunov exponents is smoothly conjugate to $L$. We also obtain rigidity results for skew products over Anosov diffeomorphisms. Given a volume preserving partially hyperbolic skew product diffeomorphism $f_0$ over an Anosov automorphism of the 2-torus, we show that for any vo…
Despite the invertible setting, Anosov endomorphisms may have infinitely many unstable directions. Here we prove, under transitivity assumption, that an Anosov endomorphism on a closed manifold $M,$ is either special (that is, every $x \in M$ has only one unstable direction) or for a typical point in $M$ there are infinitely many unstable directions. Other result of this work is the semi rigidity of the unstable Lyapunov exponent of a $C^{1+α}$ codimension one Anosov endomorphism and $C^1$ close to a linear endomorphism of $\mathbb{T}^n$ for $(n \geq 2).$ In the appendix we give a proof for er…
We consider a totally nonsymplectic Anosov action of Z^k which is either uniformly quasiconformal or pinched on each coarse Lyapunov distribution. We show that such an action on a torus is C^\infty--conjugate to an action by affine automorphisms. We also obtain similar global rigidity results for actions on an arbitrary compact manifold assuming that the coarse Lyapunov foliations are jointly integrable.
In this paper we mainly address the problem of disintegration of Lebesgue measure and measure of maximal entropy along the central foliation of (conservative) Derived from Anosov (DA) diffeomorphisms. We prove that for accessible DA diffeomorphisms of $\mathbb{T}^3$, atomic disintegration has the peculiarity of being mono-atomic (one atom per leaf). We further provide open and non-empty condition for the existence of atomic disintegration. Finally, we prove some new relations between Lyapunov exponents of DA diffeomorphisms and their linearization.
Bochi-Katok-Rodriguez Hertz proposed in [BKH21] a program on the flexibility of Lyapunov exponents for conservative Anosov diffeomorphisms, and obtained partial results in this direction. For conservative Anosov diffeomorphisms with strong hyperbolic properties we establish extended flexibility results for their Lyapunov exponents. We give examples of Anosov diffeomorphisms with the strong unstable exponent larger than the strong unstable exponent of the linear part. We also give examples of derived from Anosov diffeomorphisms with the metric entropy entropy larger than the entropy of the line…
For the time-one map $f$ of a contact Anosov flow on a compact Riemann manifold $M$, satisfying a certain regularity condition, we show that given a Gibbs measure on $M$, a sufficiently large Pesin regular set $P_0$ and an arbitrary $δ\in (0,1)$, there exist positive constants $C$ and $c$ such that for any integer $n \geq 1$, the measure of the set of those $x\in M$ with $f^k(x) \notin P_0$ for at least $δn$ values of $k = 0,1, \ldots,n-1$ does not exceed $C e^{-cn}$.
Let $f$ be a conservative partially hyperbolic diffeomorphism, which is homotopic to an Anosov automorphism $A$ on $\mathbb{T}^3$. We show that the stable and unstable bundles of $f$ are jointly integrable if and only if every periodic point of $f$ admits the same center Lyapunov exponent with $A$. In particular, $f$ is Anosov. Thus every conservative partially hyperbolic diffeomorphism, which is homotopic to an Anosov automorphism on $\mathbb{T}^3$, is ergodic. This proves the Ergodic Conjecture proposed by Hertz-Hertz-Ures on $\mathbb{T}^3$.
We prove global smooth classification results for TNS totally Anosov Z^k actions on general compact manifolds, under each one of the following conditions: joint integrability, resonance-free or Lyapunov pinching condition. Unlike the previous results, we do not require any uniform quasiconformality or pinching condition of action elements on coarse Lyapunov distributions, nor do we have any restriction on the dimension of coarse Lyapunov distributions. The main novelty is in proving a new standard form of the derivative cocycle for any TNS totally Anosov Z^k action on general manifold. A main …
We found a dichotomy involving the unstable Lyapunov exponent of a special Anosov endomorphism of the torus induced by the conjugacy with the linearization. In fact, either every unstable leaf meets on a set of zero measure the set for which is defined such unstable Lyapunov exponent or the endomorphims is smoothly conjugated with its linearization. Also we are able to characterize the absolute continuity of the intermediate foliation for a class of volume preserving special Anosov endomorphisms of $\mathbb{T}^3.$
We develop a class of uniformizations for certain weight 3 variations of Hodge structure (VHS). The analytic properties of the VHS are used to establish a conjecture of Eskin, Kontsevich, Möller, and Zorich on Lyapunov exponents. Additionally, we prove that the monodromy representations are log-Anosov, a dynamical property that has a number of global consequences for the VHS. We establish a strong Torelli theorem for the VHS and describe appropriate domains of discontinuity. Additionally, we classify the hypergeometric differential equations that satisfy our assumptions. We obtain several mult…
In this paper we construct some "pathological" volume preserving partially hyperbolic diffeomorphisms on $\toro{3}$ such that their behaviour in small scales in the central direction (Lyapunov exponent) is opposite to the behavior of their linearization. These examples are isotopic to Anosov. We also get partially hyperbolic diffeomorphisms isotopic to Anosov (consequently with non-compact central leaves) with zero central Lyapunov exponent at almost every point.
We briefly survey some of the recent results concerning the metric behavior of the invariant foliations for a partially hyperbolic on a three-dimensional manifold and propose a conjecture to characterize atomic behavior for conservative partially hyperbolic homotopic to Anosov (DA) on $\mathbb T^3$. On the other hand we prove that if one of the invariant foliations (stable, center or unstable) of a conservative DA on $\mathbb T^3$ is $C^1$ and transversely absolutely continuous with bounded Jacobians the Lyapunov exponent on this direction is defined everywhere and constant. If the center foli…
In the present work we obtain rigidity results analysing the set of regular points, in the sense of Oseledec's Theorem. It is presented a study on the possibility of an Anosov diffeomorphisms having all Lyapunov exponents defined everywhere. We prove that this condition implies local rigidity of an Anosov automorphism of the torus $\mathbb{T}^d, d \geq 3,$ $C^1-$close to a linear automorphism diagonalizable over $\mathbb{R}$ and such that its characteristic polynomial is irreducible over $\mathbb{Q}.$
We prove that for Anosov maps of the $3$-torus if the Lyapunov exponents of absolutely continuous measures in every direction are equal to the geometric growth of the invariant foliations then $f$ is $C^1$ conjugated to his linear part.
Oseledets regularity functions quantify the deviation of the growth associated with a dynamical system along its Lyapunov bundles from the corresponding uniform exponential growth. Precise degree of regularity of these functions is unknown. We show that for every invariant Lyapunov bundle of a volume preserving Anosov flow on a closed smooth Riemannian manifold, the corresponding Oseledets regularity functions are in $L^p(m)$, for some $p > 0$, where $m$ is the probability measure defined by the volume form. We prove an analogous result for essentially bounded cocycles over volume preserving A…
We consider a smooth area-preserving Anosov diffeomorphism $f\colon \mathbb T^2\rightarrow \mathbb T^2$ homotopic to an Anosov automorphism $L$ of $\mathbb T^2$. It is known that the positive Lyapunov exponent of $f$ with respect to the normalized Lebesgue measure is less than or equal to the topological entropy of $L$, which, in addition, is less than or equal to the Lyapunov exponent of $f$ with respect to the probability measure of maximal entropy. Moreover, the equalities only occur simultaneously. We show that these are the only restrictions on these two dynamical invariants.
We prove that a $C^1-$generic symplectic diffeomorphism is either Anosov or the topological entropy is bounded from below by the supremum over the smallest positive Lyapunov exponent of the periodic points. We also prove that $C^1-$generic symplectic diffeomorphisms outside the Anosov ones do not admit symbolic extension and finally we give examples of volume preserving diffeomorphisms which are not point of upper semicontinuity of entropy function in $C^1-$topology.
We prove that generic fiber-bunched and Hölder continuous linear cocycles over a non-uniformly hyperbolic system endowed with a u-Gibbs measure have simple Lyapunov spectrum. This gives an affirmative answer to a conjecture proposed by Viana in the context of fiber-bunched cocycles.
We consider symplectic cocycles over two classes of partially hyperbolic diffeomorphisms: having compact center leaves and time one maps of Anosov flows. We prove that the Lyapunov exponents are non-zero in an open and dense set in the Hölder topology.
In this note we show that the results of H. Furstenberg on the Poisson boundary of lattices of semisimple Lie groups allow to deduce simplicity properties of the Lyapunov spectrum of the Kontsevich-Zorich cocycle of Teichmueller curves in moduli spaces of Abelian differentials without the usage of codings of the Teichmueller flow. As an application, we show the simplicity of some Lyapunov exponents in the setting of (some) Prym Teichmueller curves of genus 4 where a coding-based approach seems hard to implement because of the poor knowledge of the Veech group of these Teichmueller curves. Fina…
We prove the Zorich-Kontsevich conjecture that the non-trivial Lyapunov exponents of the Teichmüller flow on (any connected component of a stratum of) the moduli space of Abelian differentials on compact Riemann surfaces are all distinct. By previous work of Zorich and Kontsevich, this implies the existence of the complete asymptotic Lagrangian flag describing the behavior in homology of the vertical foliation in a typical translation surface.
We exhibit an explicit sufficient condition for the Lyapunov exponents of a linear cocycle over a Markov map to have multiplicity 1. This builds on work of Guivarc'h-Raugi and Gol'dsheid-Margulis, who considered products of random matrices, and of Bonatti-Viana, who dealt with the case when the base dynamics is a subshift of finite type. Here the Markov structure may have infinitely many symbols and the ambient space needs not be compact. As an application, in another paper we prove the Zorich-Kontsevich conjecture on the Lyapunov spectrum of the Teichmüller flow in the space of translation su…
We present a Galois-theoretical criterion for the simplicity of the Lyapunov spectrum of the Kontsevich-Zorich cocycle over the Teichmueller flow on the $SL_2(R)$-orbit of a square-tiled surface. The simplicity of the Lyapunov spectrum has been proved by A. Avila and M. Viana with respect to the so-called Masur-Veech measures associated to connected components of moduli spaces of translation surfaces, but is not always true for square-tiled surfaces of genus $\geq 3$. We apply our criterion to square-tiled surfaces of genus 3 with one single zero. Conditionally to a conjecture of Delecroix and…
We study the regularity of a conjugacy between an Anosov automorphism $L$ of a nilmanifold $N/Γ$ and a volume-preserving, $C^1$-small perturbation $f$. We say that $L$ is locally Lyapunov spectrum rigid if this conjugacy is $C^{1+}$ whenever $f$ is $C^{1+}$ and has the same volume Lyapunov spectrum as $L$. For $L$ with simple spectrum, we show that local Lyapunov spectrum rigidity is equivalent to $L$ satisfying both an irreducibility condition and an ordering condition on its Lyapunov exponents.
For Anosov flows on compact Riemann manifolds we study the rate of decay along the flow of diameters of balls $B^s(x,\ep)$ on local stable manifolds at Lyapunov regular points $x$. We prove that this decay rate is similar for all sufficiently small values of $ε> 0$. From this and the main result in \cite{kn:St1}, we derive strong spectral estimates for Ruelle transfer operators for contact Anosov flows with Lipschitz local stable holonomy maps. These apply in particular to geodesic flows on compact locally symmetric manifolds of strictly negative curvature. As is now well known, such spectral …
We prove that the "plus" Rauzy--Veech groups of the connected components of all strata of meromorphic quadratic differentials defined on Riemann surfaces of genus at least one having at most simple poles and at least three singularities (zeros or poles), not all of even order, are finite-index subgroups of their ambient symplectic groups. This shows that the "plus" Lyapunov spectrum of such strata is simple. Moreover, we show that the index of the "minus" Rauzy--Veech group is also finite for connected components of strata satisfying the same conditions and having exactly two singularities of …
We prove that if the frequency of the quasi-periodic $\mathrm{SL}(2,\R)$ cocycle is Diophantine, then the following properties are dense in the subcritical regime: for any $\frac{1}{2}<κ<1$, the Lyapunov exponent is exactly $κ$-Hölder continuous; the extended eigenstates of the potential have optimal sub-linear growth; and the dual operator associated a subcritical potential has power-law decay eigenfunctions. The proof is based on fibered Anosov-Katok constructions for quasi-periodic $\mathrm{SL}(2,\R)$ cocycles.
We prove that for semi-invertible and Hölder continuous linear cocycles $A$ acting on an arbitrary Banach space and defined over a base space that satisfies the Anosov Closing Property, all exceptional Lyapunov exponents of $A$ with respect to an ergodic invariant measure for base dynamics can be approximated with Lyapunov exponents of $A$ with respect to ergodic measures supported on periodic orbits. Our result is applicable to a wide class of infinite-dimensional dynamical systems.
We study the regularity of the conjugacy between an Anosov automorphism $L$ of a torus and its small perturbation. We assume that $L$ has no more than two eigenvalues of the same modulus and that $L^4$ is irreducible over $\mathbb Q$. We consider a volume-preserving $C^1$-small perturbation $f$ of $L$. We show that if Lyapunov exponents of $f$ with respect to the volume are the same as Lyapunov exponents of $L$, then $f$ is $C^{1+\text{Hölder}}$ conjugate to $L$. Further, we establish a similar result for irreducible partially hyperbolic automorphisms with two-dimensional center bundle.
We prove that Lyapunov exponents of typical Hölder continuous fiber bunched linear cocycles over singular hyperbolic flows have multiplicity 1: the subspace of exceptional cocycles has infinite codimension.
An analytic quasi-periodic cocycle is a linear cocycle over a fixed ergodic torus translation of one or several variables, where the fiber action depends analytically on the base point. Consider the space of all such cocycles of any given dimension and endow it with the uniform norm. Assume that the translation vector satisfies a generic Diophantine condition. We prove large deviation type estimates for the iterates of such cocycles, which, moreover, are stable under small perturbations of the cocycle. As a consequence of these uniform estimates, we establish continuity properties of the Lyapu…
We show that the time-1 map of an Anosov flow, whose strong-unstable foliation is $C^2$ smooth and minimal, is $C^2$ close to a diffeomorphism having positive central Lyapunov exponent Lebesgue almost everywhere and a unique physical measure with full basin, which is $C^r$ stably ergodic. Our method is perturbative and does not rely on preservation of a smooth measure.
We prove that for the geodesic flow of a rank 1 Riemannian surface which is expansive but not Anosov the Hausdorff dimension of the set of vectors with only zero Lyapunov exponents is large.
We prove that if $f$ is a $C^1$-generic symplectic diffeomorphism then the Oseledets splitting along almost every orbit is either trivial or partially hyperbolic. In addition, if $f$ is not Anosov then all the exponents in the center bundle vanish. This establishes in full a result announced by R. Mañé in the ICM 1983. The main technical novelty is a probabilistic method for the construction of perturbations, using random walks.
In the current paper we prove simplicity for the spectrum of Lyapunov exponents for triangle sequence and Selmer algorithm in dimension 3. We introduce a strategy that can be applied for a wide class of Markovian MCF.
Criteria for the simplicity of the Lyapunov spectra of linear cocycles have been found by Furstenberg, Guivarc'h-Raugi, Gol'dsheid-Margulis and, more recently, Bonatti-Viana and Avila-Viana. In all the cases, the authors consider cocycles over hyperbolic systems, such as shift maps or Axiom A diffeomorphisms. In this paper we propose to extend such criteria to situations where the base map is just partially hyperbolic. This raises several new issues concerning, among others, the recurrence of the holonomy maps and the (lack of) continuity of the Rokhlin disintegrations of $u$-states. Our main …
We prove that there exists an open and dense subset of the incompressible 3-flows of class C^2 such that, if a flow in this set has a positive volume regular invariant subset with dominated splitting for the linear Poincaré flow, then it must be an Anosov flow. With this result we are able to extend the dichotomies of Bochi-Mañé and of Newhouse for flows with singularities. That is we obtain for a residual subset of the C^1 incompressible flows on 3-manifolds that: (i) either all Lyapunov exponents are zero or the flow is Anosov, and (ii) either the flow is Anosov or else the elliptic periodic…
We propose a new Eulerian numerical approach for constructing the forward flow maps in continuous dynamical systems. The new algorithm improves the original formulation developed in [23, 24] so that the associated partial differential equations (PDEs) are solved forward in time and, therefore, the forward flow map can now be determined on the fly. Due to the simplicity in the implementations, we are now able to efficiently compute the unstable coherent structures in the flow based on quantities like the finite time Lyapunov exponent (FTLE), the finite size Lyapunov exponent (FSLE) and also a r…
