Geometric Anosov flows of dimension five with smooth distributions
Yong Fang
备注:
Our classification finishes the work of A.Katok and R.Feres concerning such flows (see their article about these flows in ETDS, 90'). Our article is to appear in Journal of the Institut of Mathematics of Jussieu, and a note of this article has already appeared in C.R.Acad.Sci. 336 (2003) 419-422
We classify five dimensional Anosov flows with smooth decomposition which are in addition transversely symplectic. Up to finite covers and a special time change, we find exectly the suspensions of symplectic hyperbolic automorphisms of four dimensional toris, and the geodesic flows of three dimensional hyperbolic manifolds.
We show that a topologically mixing $C^\infty$ Anosov flow on a 3 dimensional compact manifold is exponential mixing with respect to any equilibrium measure with Holder potential.
We construct a plethora of Anosov-Katok diffeomorphisms with non-ergodic generic measures and various other mixing and topological properties. We also construct an explicit collection of the set containing the generic points of the system with interesting values of its Hausdorff dimension.
We develop a thermodynamic formalism for a smooth realization of pseudo-Anosov surface homeomorphisms. In this realization, the singularities of the pseudo-Anosov map are assumed to be fixed, and the trajectories are slowed down so the differential is the identity at these points. Using Young towers, we prove existence and uniqueness of equilibrium states for geometric $t$-potentials. This family of equilibrium states includes a unique SRB measure and a measure of maximal entropy, the latter of which has exponential decay of correlations and the Central Limit Theorem.
We introduce the matching functions technique in the setting of Anosov flows. Then we observe that simple periodic cycle functionals (also known as temporal distance functions) provide a source of matching functions for conjugate Anosov flows. For conservative codimension one Anosov flows $φ^t\colon M\to M$, $\dim M\ge 4$, these simple periodic cycle functionals are $C^1$ regular and, hence, can be used to improve regularity of the conjugacy. Specifically, we prove that a continuous conjugacy must, in fact, be a $C^1$ diffeomorphism for an open and dense set of codimension one conservative Ano…
We show that any topologically transitive codimension-one Anosov flow on a closed manifold is topologically equivalent to a smooth Anosov flow that preserves a smooth volume. By a classical theorem due to Verjovsky, any higher dimensional codimension-one Anosov flow is topologically transitive. Recently, Simic showed that any higher dimensional codimension-one Anosov flow that preserves a smooth volume is topologically equivalent to the suspension of an Anosov diffeomorphism. Therefore, our result gives a complete classification of codimension-one Anosov flow up to topological equivalence in h…
We classify quasiconformal Anosov flows whose strong stable and unstable distributions are at least two dimensional and the sum of these two distributions is smooth. We deduce from this classification result the complete classification of volume-preserving quasiconformal diffeomorphisms whose stable and unstable distributions are at least two dimensional. Our central idea is to take a good time change so that perodic orbits are equi-distributed with respect to a lebesgue measure.
Zeta functions and the Fried conjecture for smooth pseudo-Anosov flows
CNRS, Univ. Brest, UMR 6205, Laboratoire de Mathématiques de Bretagne Atlantique(法国国家科学研究中心,布雷斯特大学,UMR 6205,布列塔尼大西洋数学实验室);Georgia Institute of Technology(佐治亚理工学院)
We consider transitive Anosov diffeomorphisms for which every periodic orbit has only one positive and one negative Lyapunov exponent. We establish various properties of such systems including strong pinching, C^{1+β} smoothness of the Anosov splitting, and C^1 smoothness of measurable invariant conformal structures and distributions. We apply these results to volume preserving diffeomorphisms with two-dimensional stable and unstable distributions and diagonalizable derivatives of the return maps at periodic points. We show that a finite cover of such a diffeomorphism is smoothly conjugate to …
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 obtain smooth conjugacy between non-necessarily special Anosov endomorphisms in the conservative case. Among other results, we prove that a strongly special $C^{\infty}-$Anosov endomorphism of $\mathbb{T}^2$ and its linearization are smoothly conjugated since they have the same periodic data. Assuming that for a strongly special $C^{\infty}-$Anosov endomorphism of $\mathbb{T}^2$ every point is regular (in Oseledec's Theorem sense), then we obtain again smooth conjugacy with its linearization. We also obtain some results on local rigidity of linear Anosov endomorphisms of $d-$torus, where $d…
Exponential decay of correlations for $\Co^{(4)}$ Contact Anosov flows is established. This implies, in particular, exponential decay of correlations for all smooth geodesic flows in strictly negative curvature.
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…
Starting from any pseudo-Anosov map $φ$ on a surface of genus $g \geqslant 2$, we construct explicitly a family of Derived from pseudo-Anosov maps $f$ by adapting the construction of Smale's Derived from Anosov maps on the two-torus. This is done by perturbing $φ$ at some fixed points. We first consider perturbations at every conical fixed point and then at regular fixed points. We establish the existence of a measure $μ$, supported by the non-trivial unique minimal component of the stable foliation of $f$, with respect to which $f$ is mixing. In the process, we construct a uniquely ergodic Ge…
Let $L$ be a hyperbolic automorphism of $\mathbb T^d$, $d\ge3$. We study the smooth conjugacy problem in a small $C^1$-neighborhood $\mathcal U$ of $L$. The main result establishes $C^{1+ν}$ regularity of the conjugacy between two Anosov systems with the same periodic eigenvalue data. We assume that these systems are $C^1$-close to an irreducible linear hyperbolic automorphism $L$ with simple real spectrum and that they satisfy a natural transitivity assumption on certain intermediate foliations. We elaborate on the example of de la Llave of two Anosov systems on $\mathbb T^4$ with the same co…
In this paper we consider the space of smooth conjugacy classes of an Anosov diffeomorphism of the two-torus. The only 2-manifold that supports an Anosov diffeomorphism is the 2-torus, and Franks and Manning showed that every such diffeomorphism is topologically conjugate to a linear example, and furthermore, the eigenvalues at periodic points are a complete smooth invariant. The question arises: what sets of eigenvalues occur as the Anosov diffeomorphism ranges over a topological conjugacy class? This question can be reformulated: what pairs of cohomology classes (one determined by the expand…
In this paper, we study the centralizer of a partially hyperbolic diffeomorphism on $\mathbb{T}^3$ which is homotopic to an Anosov automorphism, and we show that either its centralizer is virtually trivial or such diffeomorphism is smoothly conjugate to its linear part.
In this article we prove global rigidity results for hyperbolic actions of higher-rank lattices. Suppose $Γ$ is a lattice in semisimple Lie group, all of whose factors have rank $2$ or higher. Let $α$ be a smooth $Γ$-action on a compact nilmanifold $M$ that lifts to an action on the universal cover. If the linear data $ρ$ of $α$ contains a hyperbolic element, then there is a continuous semiconjugacy intertwining the actions of $α$ and $ρ$, on a finite-index subgroup of $Γ$. If $α$ is a $C^\infty$ action and contains an Anosov element, then the semiconjugacy is a $C^\infty$ conjugacy. As a coro…
For Anosov flows obtained by suspensions of Anosov diffeomorphisms on surfaces, we show the following type of rigidity result: if a topological conjugacy between them is differentiable at a point, then the conjugacy has a smooth extension to the suspended 3-manifold. These result generalize the similar ones of Sullivan and Ferreira-Pinto for 1-dimensional expanding dynamics and also a result of Ferreira-Pinto for 2-dimensional hyperbolic dynamics.
We construct Anosov diffeomorphisms on manifolds that are homeomorphic to infranilmanifolds yet have exotic smooth structures. These manifolds are obtained from standard infranilmanifolds by connected summing with certain exotic spheres. Our construction produces Anosov diffeomorphisms of high codimension on infranilmanifolds with irreducible exotic smooth structures.
We show that for smooth contact Anosov flows in dimension 3, the resonant states associated to the first band of Ruelle resonances are distributions that are killed by the unstable derivative.
We show that sufficiently irreducible totally non-symplectic Anosov actions of higher rank abelian groups on tori and nilmanifolds are smoothly conjugate to affine actions.
We consider smooth partially hyperbolic volume preserving Z^k actions on smooth manifolds, with uniformly compact center foliation. We show that under certain irreducibility condition on the action, bunching and uniform quasiconformality conditions, the action is a smooth fiber bundle extension of an Anosov action, or the center foliation is pathological. We obtain several corollaries of this result. For example, we prove a global dichotomy result that any smooth conservative circle extension over a maximal Cartan action is either essentially a product of an action by rotations and a linear An…
We are motivated by a conjecture of A. and S. Katok to study the smooth cohomologies of a family of Weyl chamber flows. The conjecture is a natural generalization of the Livshitz Theorem to Anosov actions by higher-rank abelian groups; it involves a description of top-degree cohomology and a vanishing statement for lower degrees. Our main result, proved in Part II, verifies the conjecture in lower degrees for our systems, and steps in the "correct" direction in top degree. In Part I we study our "base case": geodesic flows of finite-volume hyperbolic manifolds. We describe obstructions (invari…
We show how an object from the combinatorially geometric version of the analytical number theory, namely geometric continued fractions, appears in the classical smooth dynamics, namely in the problem on the topological classification of Anosov diffeomorphisms of tori.
Given an integer $k \geq 5$, and a $C^k$ Anosov flow $Φ$ on some compact connected $3$-manifold preserving a smooth volume, we show that the measure of maximal entropy (MME) is the volume measure if and only if $Φ$ is $C^{k-\varepsilon}$-conjugate to an algebraic flow, for $\varepsilon>0$ arbitrarily small. Besides the rigidity, we also study the entropy flexibility, and show that the metric entropy with respect to the volume measure and the topological entropy of suspension flows over Anosov diffeomorphisms on the $2$-torus achieve all possible values subject to natural normalizations. Moreov…
We study the Ruelle and Selberg zeta functions for $\Cs^r$ Anosov flows, $r > 2$, on a compact smooth manifold. We prove several results, the most remarkable being: (a) for $\Cs^\infty$ flows the zeta function is meromorphic on the entire complex plane; (b) for contact flows satisfying a bunching condition (e.g. geodesic flows on manifolds of negative curvature better than $\frac 19$-pinched) the zeta function has a pole at the topological entropy and is analytic in a strip to its left; (c) under the same hypotheses as in (b) we obtain sharp results on the number of periodic orbits. Our argume…
In this paper, we consider codimension one Anosov actions of IR^k, k ? 1, on closed connected orientable manifolds of dimension n+k with n? 3. We show that the fundamental group of the ambient manifold is solvable if and only if the weak foliation of codimension one is transversely affine. We also study the situation where one 1-parameter subgroup of IR^k admits a cross-section, and compare this to the case where the whole action is transverse to a fibration over a manifold of dimension n. As a byproduct, generalizing a Theorem by Ghys in the case k=1, we show that, under some assumptions abou…
The goal of this paper is to study ergodic and rigidity properties of smooth actions of the discrete Heisenberg group $\H$. We establish the decomposition of the tangent space of any $C^\infty$ compact Riemannian manifold $M$ for Lyapunov exponents, and show that all Lyapunov exponents for the center elements are zero. We obtain that if an $\H$ group action contains an Anosov element, then under certain conditions on the element, the center elements are of finite order. In particular there is no faithful codimensional one Anosov Heisenberg group action on any manifolds, and no faithful codimen…
In this work we completely classify $C^\infty$ conjugacy for conservative partially hyperbolic diffeomorphisms homotopic to a linear Anosov automorphism on the 3-torus by its center foliation behavior. We prove that the uniform version of absolute continuity for the center foliation is the natural hypothesis to obtain $C^\infty$ conjugacy to its linear Anosov automorphism. On a recent work Avila, Viana and Wilkinson proved that for a perturbation in the volume preserving case of the time-one map of an Anosov flow absolute continuity of the center foliation implies smooth rigidity. The absolute…
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 extend a number of results from one dimensional dynamics based on spectral properties of the Ruelle-Perron-Frobenius transfer operator to Anosov diffeomorphisms on compact manifolds. This allows to develop a direct operator approach to study ergodic properties of these maps. In particular, we show that it is possible to define Banach spaces on which the transfer operator is quasicompact. (Information on the existence of an SRB measure, its smoothness properties and statistical properties readily follow from such a result.) In dimension $d=2$ we show that the transfer operator associated to …
We establish a strong form of local rigidity for hyperbolic automorphisms of the 3-torus with real spectrum. Namely, let $L\colon\mathbb T^3\to\mathbb T^3$ be a hyperbolic automorphism of the 3-torus with real spectrum and let $f$ be a $C^1$ small perturbation of $L$. Then $f$ is smoothly ($C^\infty$) conjugate to $L$ if and only if obstructions to $C^1$ conjugacy given by the eigenvalues at periodic points of $f$ vanish. By combining our result and a local rigidity result of Kalinin and Sadovskaya for conformal automorphisms this completes the local rigidity program for hyperbolic automorphis…
We show, using standard results in length spectrum rigidity and symplectic homology, that if the unit tangent bundles of two compact surfaces of negative curvature are exact symplectomorphic, then the underlying surfaces are isometric, and hence the disk bundles are symplectomorphic smoothly up to the boundaries. Motivated by the work of Eliashberg and Hofer on unseen symplectic boundaries, we try to extend the above result to other classes of domains in (co)tangent bundles of surfaces. The domains we can treat consist of those bounded by deformations of negatively curved unit cotangent bundle…
For a nonlinear Anosov diffeomorphism of the 2-torus, we present examples of measures so that the group of $μ$-preserving diffeomorphisms is, up to zero-entropy transformations, cyclic. For families of equilibrium states $μ$, we strengthen this to show that the group of $μ$-preserving diffeomorphism is virtually cyclic.
Using a semiclassical approach we show that the spectrum of a smooth Anosov vector field V on a compact manifold is discrete (in suitable anisotropic Sobolev spaces) and then we provide an upper bound for the density of eigenvalues of the operator (-i)V, called Ruelle resonances, close to the real axis and for large real parts.
We address the classical problem of equivalence between Kolmogorov and Bernoulli property of smooth dynamical systems. In a natural class of volume preserving partially hyperbolic diffeomorphisms homotopic to Anosov ("derived from Anosov") on 3-torus, we prove that Kolmogorov and Bernoulli properties are equivalent. In our approach, we propose to study the conditional measures of volume along central foliation to recover fine ergodic properties for partially hyperbolic diffeomorphisms. As an important consequence we obtain that there exists an almost everywhere conjugacy between any volume pre…