Longitudinal foliation rigidity and Lipschitz-continuous invariant forms for hyperbolic flows

DOI10.3934/ERA.2010.17.80MaRDI QIDQ600829zbMATH OpenOpenAlexFDO

Authors Yong Fang, P. Foulon, Boris Hasselblatt

Publication date 2 November 2010

Published in Electronic Research Announcements in Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1006.0676

Anosov flow geometric rigidity quasiconformal smooth rigidity strong invariant subbundles Zygmund regularity

Uniformly hyperbolic systems (expanding, Anosov, Axiom A, etc.) (37D20) Dynamical systems of geometric origin and hyperbolicity (geodesic and horocycle flows, etc.) (37D40) Rigidity results (53C24) Special Riemannian manifolds (Einstein, Sasakian, etc.) (53C25)

Abstract: In several contexts the defining invariant structures of a hyperbolic dynamical system are smooth only in systems of algebraic origin (smooth rigidity), and we prove new results of this type for a class of flows. For a compact Riemannian manifold and a uniformly quasiconformal transversely symplectic Anosov flow we define the longitudinal KAM-cocycle and use it to prove a rigidity result: The joint stable/unstable subbundle is Zygmund-regular, and higher regularity implies vanishing of the longitudinal KAM-cocycle, which in turn implies that the subbundle is Lipschitz-continuous and indeed that the flow is smoothly conjugate to an algebraic one. To establish the latter, we prove results for algebraic Anosov systems that imply smoothness and a special structure for any Lipschitz-continuous invariant 1-form. Several features of the reasoning are interesting: The use of exterior calculus for Lipschitz-continuous forms, that the arguments for geodesic flows and infranilmanifoldautomorphisms are quite different, and the need for mixing as opposed to ergodicity in the latter case.

Review text

We have the following theorems: I. Let \(M\) be a compact Riemannian manifold of dimension at least 5, let \(k\geq 2\), and let \(\varphi :\mathbb R\times M\to M\) be a uniformly quasiconformal transversely symplectic \(C^k\) Anosov flow. Then \( E^u\oplus E^s\) is Zygmund-regular and there is an obstruction to higher regularity that defines the cohomology class of a cocyle we call the longitudinal KAM-cocycle. This obstruction can be described geometrically as the curvature of the image of a transversal under a return map, and the following are equivalent: {\parindent=6mm \begin{itemize}\item[(1)] \( E^u\oplus E^s\) is ``little Zygmund (the function is said to be ``little Zygmund if \(\|f(x+h) +f(x-h) -2f(x)\|=o(\|h\|)\)); \item[(2)] The longitudinal KAM-cocycle is a coboundary; \item[(3)] \( E^u\oplus E^s\) is Lipschitz-continuous; \item[(4)] \(\varphi\) is up to finite covers, constant rescaling and a canonical time-change \(C^k\)-conjugate to the suspension of a symplectic Anosov automorphism of a tours or the geodesic flow of a real hyperbolic manifold. \end{itemize}} Theorem I can be used to obtain rigidity results (Zygmund-regularity, and Lipschitz regularity together with conjugacity of the flow with an algebraic one). We obtain also geometric rigidity result: Uniformly quasiconformal magnetic flows are geodesic flows of hyperbolic metrics. II. Let \((N,g)\) be an \(n\)-dimensional closed negatively curved Riemannian manifold and \(\Omega\) a \(C^{\infty}\) closed 2-form of \(N\). For small \(\lambda\in\mathbb R\), let \(\varphi ^{\lambda}\) be the magnetic Anosov flow of the pair \((g,\lambda\Omega)\). Suppose that \(n\geq 3\) and \(\varphi ^{\lambda}\) is uniformly quasiconformal. Then \(g\) has constant negative curvature and \(\lambda\Omega =0\). In particular, the longitudinal KAM-cocycle of \(\varphi ^{\lambda}\) is a coboundary.

Recommendations

Cited in

(7)

This page was built for publication: Longitudinal foliation rigidity and Lipschitz-continuous invariant forms for hyperbolic flows

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q600829)