We prove a rigidity theorem for dominated Hölder cocycles with values on diffeomorphism groups of a compact manifold over hyperbolic homeomorphisms. More precisely, we show that if two such cocycles have equal periodic data, then they are cohomologous.
We prove that every smooth diffeomorphism group valued cocycle over certain abelian Anosov actions on tori (and more generally on infranilmanifolds), is a smooth coboundary on a finite cover, if the cocycle is center bunched and trivial at a fixed point. For smooth cocycles which are not trivial at a fixed point, we have smooth reduction of cocycles to constant ones, when lifted to the universal cover. These results on cocycle trivialisation apply, via the existing global rigidity results, to maximal Cartan actions by Anosov diffeomorphisms (with at least one transitive), on any compact smooth…
We consider group-valued cocycles over a partially hyperbolic diffeomorphism which is accessible volume-preserving and center bunched. We study cocycles with values in the group of invertible continuous linear operators on a Banach space. We describe properties of holonomies for fiber bunched cocycles and establish their Holder regularity. We also study cohomology of cocycles and its connection with holonomies. We obtain a result on regularity of a measurable conjugacy, as well as a necessary and sufficient condition for existence of a contionuous conjugacy between two 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.
We consider extensions of Anosov diffeomorphisms of an infranilmanifold by the real vector space R^ω. Our main result, based on the analogous theorem in finite dimensions proven by Nitica and Pollicott, is that any Holder cocycle satisfying an obvious obstruction induces a topologically transitive extension (topologically weak mixing, in fact). We show how to construct cocycles satisfying these conditions for any Anosov diffeomorphism, and then observe that unlike the finite dimensional case, where cocycles satisfying the obstruction are C^0-stably transitive, there can be no infinite-dimensio…
CNRS, IMJ-PRG, UMR 7586, Univ Paris Diderot, Sorbonne Paris Cite, Sorbonnes Universités, UPMC Univ Paris 06(法国国家科学研究中心,IMJ-PRG,UMR 7586,巴黎第七大学,索邦巴黎市,索邦大学,巴黎第六大学);IMPA(巴西国立纯粹与应用数学研究所);Instituto de Matemática e Estatística - Universidade Federal Fluminense(弗鲁米嫩塞联邦大学数学与统计学院)
We construct a finitely generated subgroup of $\text{Diff}^{\infty}(\mathbb{S}^3 \times \mathbb{S}^1)$ where every element is conjugate to an isometry but such that the group action itself is far from isometric (the group has "exponential growth of derivatives"). As a corollary, one obtains a locally constant $\text{Diff}^{\infty}(\mathbb{S}^3 \times \mathbb{S}^1)$ valued cocycle over a hyperbolic dynamical system which has elliptic behavior over its periodic orbits but which preserves a measure with non-zero top Fiber Lyapunov exponent. Additionally, we provide new examples of Banach cocycles…
We consider Holder continuous GL(2,R)-valued cocycles over a transitive Anosov diffeomorphism. We give a complete classification up to Holder cohomology of cocycles with one Lyapunov exponent and of cocycles that preserve two transverse Holder continuous sub-bundles. We prove that a measurable cohomology between two such cocycles is Holder continuous. We also show that conjugacy of periodic data for two such cocycles does not always imply cohomology, but a slightly stronger assumption does. We describe examples that indicate that our main results do not extend to general GL(2,R)-valued cocycle…
We deal with the problem of the validity of Livsic's theorem for cocycles of diffeomorphisms satisfying the orbit periodic obstruction over an hyperbolic dynamics. We give a result in the positive direction for cocycles of germs of analytic diffeomorphisms at the origin.
By considering the way an n-tuple of points in the 2-disk are linked together under iteration of an orientation preserving diffeomorphism, we construct a dynamical cocycle with values in the Artin braid group. We study the asymptotic properties of this cocycle and derive a series of topological invariants for the diffeomorphism which enjoy rich properties.
We prove a Livsic type theorem for cocycles taking values in groups of diffeomorphisms of low-dimensional manifolds. The results hold without any localization assumption and in very low regularity. We also obtain a general result (in any dimension) which gives necessary and sufficient conditions to be a coboundary.
A twisted cocycle taking values on a Lie Group $G$ is a cocycle that, in each step, is twisted by an automorphism of $G$. In the case when $G=GL(d,\mathbb{R})$, we prove that if two Hölder continuous twisted cocycles satisfying the so called fiber-bunching condition have the same periodic data then they are cohomologous.
We consider Holder continuous fiber bunched GL(d,R)-valued cocycles over an Anosov diffeomorphism. We show that two such cocycles are Holder continuously cohomologous if they have equal periodic data, and prove a result for cocycles with conjugate periodic data. We obtain a corollary for cohomology between any constant cocycle and its small perturbation. The fiber bunching condition means that non-conformality of the cocycle is dominated by the expansion and contraction in the base. We show that this condition can be established based on the periodic data. Some important examples of cocycles c…
Let $A$ be a Hölder continuous cocycle over a hyperbolic dynamical system with values in the group of diffeomorphisms of a compact manifold $M$. We consider the periodic data of $A$, i.e., the set of its return values along the periodic orbits in the base. We show that if the periodic data of $A$ is bounded in Diff$^{\,q}(M)$, $q>1$, then the set of values of the cocycle is bounded in Diff$^{\,r}(M)$ for each $r<q$. Moreover, such a cocycle is isometric with respect to a Hölder continuous family of Riemannian metrics on $M$.
We study the projective derivative as a cocycle of Möbius transformations over groups of circle diffeomorphisms. By computing precise expressions for this cocycle, we obtain several results about reducibility and almost reducibility to a cocycle of rotations. We also introduce an extension of this cocycle to the diagonal action on the 3-torus for which we generalize the previous results.
We consider Holder continuous cocycles over hyperbolic dynamical systems with values in the group of invertible bounded linear operators on a Banach space. We show that two fiber bunched cocycles are Holder continuously cohomologous if and only if they have Holder conjugate periodic data. The fiber bunching condition means that non-conformality of the cocycle is dominated by the expansion and contraction in the base system. We show that this condition can be established based on the periodic data of a cocycle. We also establish Holder continuity of a measurable conjugacy between a fiber bunche…
Pesin sets are measurable sets along which the behavior of a matrix cocycle above a measure preserving dynamical system is explicitly controlled. In uniformly hyper-bolic dynamics, we study how often points return to Pesin sets under suitable conditions on the cocycle: if it is locally constant, or if it admits invariant holonomies and is pinching and twisting, we show that the measure of points that do not return a linear number of times to Pesin sets is exponentially small. We discuss applications to the exponential mixing of contact Anosov flows, and counterexamples illustrating the necessi…
We study cocycles of countable groups $Γ$ of Borel automorphisms of a standard Borel space $(X, \mathcal{B})$ taking values in a locally compact second countable group $G$. We prove that for a hyperfinite group $Γ$ the subgroup of coboundaries is dense in the group of cocycles. We describe all Borel cocycles of the $2$-odometer and show that any such cocycle is cohomologous to a cocycle with values in a countable dense subgroup $H$ of $G$. We also provide a Borel version of Gottschalk-Hedlund theorem.
A smooth diffeomorphism f of a smooth closed orientable manifold M is cohomology-free diffeomorphism (c.f) if for each smooth function g on M there exists a smooth function h on M and a constant c such that h-h o f = g. In this article we show that (c.f) diffeomorphisms on tori are conjugate to Diophantine translations. This is part of a conjecture of A. Katok [H, Problem 17].
In this note we show existence of bounded, transitive cocycles over a transitive action of a finitely generated group, and bounded, ergodic cocycles over an ergodic, probability preserving action of $\Bbb Z^d$.
We consider the dependence on parameters of the solutions of cohomology equations over Anosov diffeomorphisms. We show that the solutions depend on parameters as smoothly as the data. As a consequence we prove optimal regularity results for the solutions of equations taking value in diffeomorphism groups. These results are motivated by applications to rigidity theory, dynamical systems, and geometry. In particular, in the context of diffeomorphism groups we show: Let $f$ be a transitive Anosov diffeomorphism of a compact manifold $M$. Suppose that $η\in C^{\reg}(M,\Diff^r(N))$ for a compact ma…
We consider Holder continuous linear cocycles over partially hyperbolic diffeomorphisms. For fiber bunched cocycles with one Lyapunov exponent we show continuity of measurable invariant conformal structures and sub-bundles. Further, we establish a continuous version of Zimmer's Amenable Reduction Theorem. For cocycles over hyperbolic systems we also obtain polynomial growth estimates for the norm and quasiconformal distortion from the periodic data.
We prove trivialization of the first cohomology with coefficients in smooth vector fields, for a class of $\mathbb Z^2$ parabolic actions on $(SL(2, \mathbb R)\times SL(2, \mathbb R))/Γ$, where the lattice $Γ$ is irreducible and co-compact. We also obtain a splitting construction involving first and second coboundary operators in the cohomology with coefficients in smooth vector fields.
We prove that the set of fiber-bunched $SL(2,\mathbb{R})$-valued Hölder cocycles with nonvanishing Lyapunov exponents over a volume preserving, accessible and center-bunched partially hyperbolic diffeomorphism is open. Moreover, we present an example showing that this is no longer true if we do not assume acessibility in the base dynamics.
In this paper we study Holder continuous linear cocycles over transitive Anosov diffeomorphisms. Under various conditions of relative pinching we establish properties including existence and continuity of measurable invariant sub-bundles and conformal structures. We use these results to obtain criteria for cocycles to be isometric or conformal in terms of their periodic data. We show that if the return maps at the periodic points are, in a sense, conformal or isometric then so is the cocycle itself with respect to a Holder continuous Riemannian metric.
The celebrated Livsic theorem states that given M a manifold, a Lie group G, a transitive Anosov diffeomorphism f on M and a Holder function η: M \mapsto G whose range is sufficiently close to the identity, it is sufficient for the existence of ϕ:M \mapsto G satisfying η(x) = ϕ(f(x)) ϕ(x)^{-1} that a condition -- obviously necessary -- on the cocycle generated by ηrestricted to periodic orbits is satisfied. In this paper we present a new proof of the main result. These methods allow us to treat cocycles taking values in the group of diffeomorphisms of a compact manifold. This has applications …
For algebraic Anosov diffeomorphisms we first express the reduced leafwise cohomology with respect to the unstable foliation in terms of finite dimensional Lie algebra cohomology. We then prove a dynamical Lefschetz trace formula for the induced action on this cohomology using a result of Nomizu. We also consider generalized Anosov maps for which the cohomology in question is no longer finite dimensional in general. Using the representation theory of nilpotent Lie groups we still arrive at a meaningful definition of traces on cohomology. Again we establish a dynamical Lefschetz trace formula.
In this paper we study the relationship between Lyapunov exponents and the induced map on cohomology for $C^{1}-$diffeomorphisms on compact manifolds. We show that if the induced map on cohomology has spectral radius strictly larger than 1, then the diffeomorphism has an invariant ergodic measure with at least one positive Lyapunov exponent. Furthermore, if the diffeomorphism also preserves a continuous volume form then it has an invariant ergodic measure with at least one positive and one negative Lyapunov exponent, in agreement with Shub's entropy conjecture. We also consider diffeomorphisms…
We consider group-valued cocycles over dynamical systems with hyperbolic behavior. The base system is either a hyperbolic diffeomorphism or a mixing subshift of finite type. The cocycle $A$ takes values in the group of invertible bounded linear operators on a Banach space and is Hölder continuous. We consider the periodic data of $A$, i.e. the set of its return values along the periodic orbits in the base. We show that if the periodic data of $A$ is uniformly quasiconformal or bounded or contained in a compact set, then so is the cocycle. Moreover, in the latter case the cocycle is isometric w…
Let $f$ be a $C^r$$(r>1)$ diffeomorphism of a compact Riemannian manifold $M$, preserving an ergodic hyperbolic measure $μ$ with positive entropy, and let $\mathcal{A}$ be a Hölder continuous cocycle of injective bounded linear operators acting on a Banach space $X$. We prove that there is a sequence of horseshoes for $f$ and dominated splittings for $\mathcal{A}$ on the horseshoes, such that not only the measure theoretic entropy of $f$ but also the Lyapunov exponents of $\mathcal{A}$ with respect to $μ$ can be approximated by the topological entropy of $f$ and the Lyapunov exponents of $\mat…
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 …
In this article we study cocycles of discrete countable groups with values in l^2(G) and the ring of affiliated operators UG. We clarify properties of the first cohomology of a group G with coefficients in l^2(G) and answer several questions from [CTV]. Moreover, we obtain strong results about the existence of free subgroups and the subgroup structure, provided the group has a positive first l^2-Betti number. We give numerous applications and examples of groups which satisfy our assumptions.