Pressure Rigidity of Three Dimensional Contact Anosov Flows

Yong Fang

U.M.R. 7501 du C.N.R.S, Institut de Recherche Mathématique Avancée, 7 rue René Descartes, 67084 Strasbourg Cédex, France (e-mail : fang@math.u-strasbg.fr)

Abstract — Let φ t   be a three dimensional contact Anosov flow. Then we prove that its cohomological pressure coincides with its metric entropy if and only if φ t   is C ∞   flow equivalent to a special time change of a three dimensional algebraic contact Anosov flow.
1. Introduction Let M   be a C ∞   -closed manifold. A C ∞   -flow, φ t   , generated by a non-singular vector field X   on M   is called Anosov, if there exists a φ t   -invariant continuous splitting of the tangent bundle T M = R X ⊕ E + ⊕ E − ,   a Riemannian metric on M   and two positive numbers a   and b   , such that ∥ D φ − t ( u + ) ∥ ≤ a ⋅ e − b t ∥ u + ∥ , ∀ u + ∈ E + , ∀ t > 0 ,   and ∥ D φ t ( u − ) ∥ ≤ a ⋅ e − b t ∥ u − ∥ , ∀ u − ∈ E − , ∀ t > 0 .   The continuous distributions E +   and E −   are called respectively the strong unstable and strong stable distributions of φ t   . They are both integrable to continuous foliations with C ∞   leaves (see [HK]).
The canonical 1   -form of φ t   is by definition the continuous 1   -form on M   such that λ ( X ) = 1   and λ ( E ± ) = 0   . It is easily seen that λ   is φ t   -invariant.
By definition, φ t   is said to be a contact Anosov flow if λ   is C ∞   and there exists n ∈ N   such that λ ∧ ( ∧ n d λ )   is a volume form on M   . It is easy to see that contact Anosov flows are contact in the classical sense (see [Pa]).
Let φ t   be a contact Anosov flow on a closed manifold M   of dimension 2 n + 1   . Then λ ∧ ( ∧ n d λ )   is a φ t   -invariant volume form. Denote by ν   the φ t   -invariant probability measure determined by this volume form. Then the measure-theoretic entropy of φ t   with respect to ν   is said to be the metric entropy of φ t   and is denoted by h ν ( φ t )   .
Denote by ℳ ( φ t )   the set of φ t   -invariant probability measures. For each C ∞   function f   on M   , the topological pressure of φ t   with respect to f   is dy definition the following number P ( φ t , f ) = s u p μ ∈ ℳ ( φ t ) { h μ ( φ t ) + ∫ M f d μ } ,   where h μ ( φ t )   denotes the metric entropy of φ t   with respect to μ   . It is well known (see [HK] and [BR]) that there exists a unique φ t   -invariant probability measure μ   such that P ( φ t , f ) = h μ ( φ t ) + ∫ M f d μ .   This measure μ   is said to be the Gibbs measure of φ t   with respect to f   .
For example, the classical Bowen-Margulis of φ t   is just the Gibbs measure of φ t   with respect to the zero function. Recall also that P ( φ t , 0 )   is just the topological entropy of φ t   denoted by h t o p ( φ t )   .
Let f ′   be another C ∞   function on M   with Gibbs measure μ ′   . Then we can prove (see [HK]) that μ = μ ′   if and only if there exist a C ∞   funcion H   and a constant c   such that f = f ′ + X ( H ) + c .   Denote by H 1 ( M , R )   the first cohomology group of M   . For [ β ] ∈ H 1 ( M , R )   we denote by P ( φ t , [ β ] )   the topological pressure of φ t   with respect to β ( X )   .
For each smooth function g   and μ ∈ ℳ ( φ t )   we have ∫ M X ( g ) d μ = 0 .   So P ( φ t , [ β ] )   is independent of the closed 1   -form chosen in the cohomological class [ β ]   . We call the Gibbs measure of φ t   with respect to β ( X )   that of φ t   with respect to [ β ]   . We define P ( φ t ) = i n f [ β ] ∈ H 1 ( M , R ) { P ( φ t , [ β ] ) } ,   which is said to be the cohomological pressure of φ t   . This notion was firstly defined by R. Sharp in [Sh]. By the equivalence of ( i i ) ′   and ( i i i )   of Theorem one in [Sh], we know that there exists a unique element [ α ]   in H 1 ( M , R )   such that P ( φ t , [ α ] ) = P ( φ t ) .   We call this cohomology class [ α ]   the Gibbs class of φ t   .
For each element [ β ]   in H 1 ( M , R )   , it is easy to see that ∫ M β ( X ) λ ∧ ( ∧ n d λ ) = ∫ M β ∧ ( ∧ n d λ ) = 0 .   So ∫ M β ( X ) d ν = 0 .   Thus we have h t o p ( φ t ) ≥ P ( φ t ) ≥ h ν ( φ t ) .   In general these inequalities are strict.
Let N   be a C ∞   closed negatively curved manifold. Denote by φ t   its geodesic flow and by μ   the Bowen-Margulis measure of φ t   . Since μ   is invariant under the flip map, then for each [ α ]   in H 1 ( S N , R )   we have ∫ S N α ( X ) d μ = 0 ,   where S N   denotes the unitary bundle of N   (see [Pa]). So we get P ( φ t ) ≥ i n f [ α ] ∈ H 1 ( S N , R ) { h μ ( φ t ) + ∫ S N α ( X ) d μ } = h μ ( φ t ) = h t o p ( φ t ) .   We deduce that P ( φ t ) = h t o p ( φ t )   . So for the geodesic flows of negatively curved manifolds the cohomological pressure coincides with the topological entropy.
2. Rigidity in the case of dimension three The classical examples of three dimensional contact Anosov flows are constructed as following. Denote by Γ   a uniform lattice in S L ( 2 , R ) ~   . Then on the quotient manifold Γ ╲ S L ( 2 , R ) ~   , the following flow is contact Anosov and is said to be algebraic.
φ t : Γ ╲ S L ( 2 , R ) ~ → Γ ╲ S L ( 2 , R ) ~ ,   Γ ⋅ A → Γ ⋅ ( A ⋅ e x p ( t ( 1 0 0 − 1 ) ) ) .   Up to a constant change of time scale and finite covers, such a flow is just the geodesic flow of a certain closed hyperbolic surface.
Quite recently, P. Foulon constructed in [Fo] plenty of surgerical three dimensional contact Anosov flows. These examples make the study of three dimensional contact Anosov flows very interesting.
Now suppose that φ t   is a three dimensional contact Anosov flow on a closed manifold M   . A special time change of φ t   is by definition the flow of X a − α ( X )   , where a > 0   and α   denotes a C ∞   closed 1   -form on M   such that a − α ( X ) > 0 .   Lemma 2.1. Let φ t   be a three dimensional contact Anosov flow and ψ t   be a smooth time change of φ t   . Then ψ t   is contact iff it is a special time change of φ t   .
Proof. Suppose that ψ t   is contact. Then its canonical 1   -form λ ¯   is C ∞   .
Denote by Y   the generator of ψ t   and suppose that Y = f X   . Then we have f ⋅ λ ¯ ( X ) = λ ¯ ( Y ) = 1 .   So we have Y = X λ ¯ ( X )   . Since λ ¯   is ψ t   -invariant, then i Y d λ ¯ = 0 .   We deduce that ℒ X d λ ¯ = d i X d λ ¯ + i X d d λ ¯ = 0 .   So d λ ¯   is φ t   -invariant. Denote by λ   the canonical 1   -form of φ t   . Then by the ergodicity of φ t   (see [An]) there exists a constant b   such that λ ∧ d λ ¯ = b ⋅ λ ∧ d λ .   So there exists a C ∞   closed 1   -form α   such that λ ¯ = b ⋅ λ + α .   If b   is non-positive, then α ( X ) > 0   on M   . Denote by Z   the field X α ( Z )   . Then α   is easily seen to be the canonical 1   -form of φ t Z   . So by [Pl], φ t   admits a global section, which is absurd for a contact flow. We deduce that b > 0   .
Thus ψ t   is a special time change of φ t   .
Suppose that ψ t   is a special time change of φ t   , i.e. Y = X a − α ( X ) .   It is easily seen that a λ − α   is the canonical 1   -form of Y   . We have ( a λ − α ) ∧ d ( a λ − α ) = a 2 ⋅ λ ∧ d λ − a ⋅ α ∧ d λ .   By integrating this form, we see that ( a λ − α ) ∧ d ( a λ − α ) ≢ 0 .   Then we deduce by [HuK] that this three form is nonwhere zero, i.e. ψ t   is contact.
□   In the quite elegant paper [Ka], A. Katok proved the following Theorem 2.1. (A. Katok) Let Σ   be a C ∞   closed surface of negative curvature. Then its topological entropy coincides with its metric entropy, if and only if Σ   is of constant negative curvature.
Then in [Fo1], the following generalization was established by using geometric constructions.
Theorem 2.2. (P. Foulon) Let φ t   be a three dimensional contact Anosov flow. Then its topological entropy coincides with its metric entropy if and only if it is, up to a constant change of time scale, C ∞   flow equivalent to a three dimensional algebraic contact Anosov flow.
Now we generalize this Theorem to the case of cohomological pressure.
Let us prove firstly the following Lemma 2.2. Let φ t   be a three dimensional algebraic contact Anosov flow.
Then for each special time change ψ t   of φ t   , there exists an element [ α ]   in H 1 ( M , R )   such that the Gibbs measure of ψ t   with respect to [ α ]   is Lebesgue. In particular the cohomological pressure of ψ t   coincides with its metric entropy.
Proof. Denote by h   the topological entropy of φ t   . Since the Anosov splitting of φ t   is C ∞   , then we can find a C ∞   nonwhere vanishing section Y +   of E +   and define for any x ∈ M   and any t ∈ R   , λ t ( x ) = ( φ t ) * Y x + Y φ t ( x ) + .   Define also φ + = − ∂ ∂ t | t = 0 λ t ( ⋅ ) .   Then it is easy to see that the Gibbs measure of φ t   with respect to φ +   is ν   (see [BR]). In addition, we have P ( φ t , φ + ) = 0 .   Since the Bowen-Margulis measure of φ t   is Lebesgue, then there exists a smooth function f   and a contant c   such that φ + = X ( f ) + c .   So we have 0 = P ( φ t , φ + ) = P ( φ t , X ( f ) + c ) = h + c .   We deduce that φ + = X ( f ) − h .   Suppose that ψ t   is generated by the field X ¯ = X a − α ( X )   . Then by [LMM], it is easy to see that E ¯ + = { u + + α ( u + ) a − α ( X ) ⋅ X | u + ∈ E + } .   Suppose that ψ t ( ⋅ ) = φ β ( t , ⋅ ) ( ⋅ )   and define Y ¯ + = Y + + α ( Y + ) a − α ( X ) X .   Then λ ¯ t ( x ) = ( ψ t ) * Y ¯ x + Y ¯ ψ t ( x ) + = λ β ( t , x ) ( x ) .   Since β ˙ ( 0 , ⋅ ) = 1 a − α ( X )   , then φ ¯ + = φ + a − α ( X ) .   So we get φ ¯ + = X ¯ ( f ) − h a − α ( X ) .   In addition, we observe easily that ( − h a ⋅ α ) ( X ¯ ) = h a − h a − α ( X ) .   So the Gibbs measure of ψ t   with respect to [ − h a ⋅ α ]   is Lebesgue. □   Now we establish the following extension of Theorem 2.2 .   Theorem 2.3. Let φ t   be a three dimensional contact Anosov flow defined on a closed manifold M   . Then its cohomological pressure coincides with its metric entropy if and only if φ t   is C ∞   flow equivalent to a special time change of a three dimensional algebraic contact Anosov flow.
Proof. Denote by [ α ]   the Gibbs class of φ t   . Since ∫ M α ( X ) d ν = 0   and by assumption h ν ( φ t ) = P ( φ t ) = P ( φ t , [ α ] ) ,   then h ν ( φ t ) + ∫ M α ( X ) d ν = P ( φ t , [ α ] ) ,   i.e. ν   is the Gibbs measure of φ t   with respect to [ α ]   . Denote h ν ( φ t )   by h   .
Then by the variational principle, we have for ∀ μ ∈ ℳ ( φ t )   and μ ≠ ν   , h > h μ ( φ t ) + ∫ M α ( X ) d μ ≥ ∫ M α ( X ) d μ .   Then by [Gh1], there exists a smooth function f   such that h > ( α + d f ) ( X ) .   Without loss of generality, we replace α   by α + d f   .
Up to finite covers, we suppose that E +   and E −   are both orientable. In [HuK], it is proved that the strong stable and instable distributions of a three dimensional contact Anosov flow are C 1 , Z y g   . So we can find a C 1 , Z y g   nonwhere vanishing section Y +   of E +   and define the functions λ t ( ⋅ )   and φ +   as in the proof of Lemma 2.3   . Then the Gibbs measure of φ t   with respect to φ +   is lebesgue.
Define X ¯ = X h − α ( X )   and denote by ψ t   its flow. Then we define as before Y ¯ +   and φ ¯ +   . So by the same arguments, φ ¯ + = φ + h − α ( X ) .   Since the Gibbs measure of φ t   with respect to α ( X )   is Lebesgue, then there exists a smooth function g   and a constant c   such that φ + = α ( X ) + X ( g ) + c .   So we have 0 = P ( φ t , φ + ) = P ( φ t , [ α ] ) + c = h + c .   We deduce that φ ¯ + = − 1 + X ¯ ( g ) ,   i.e. the Bowen-Margulis measure of ψ t   is Lebesgue. Then by Theorem 2.2   , ψ t   is C ∞   flow equivalent to a three dimensional algebraic contact Anosov flow. We deduce from Lemma 2.2   that φ t   is C ∞   flow equivalent to a special time change of such a flow. □   As mentioned above, we know by [HuK] that the Anosov splitting of a three dimensional contact Anosov flow is always C 1 , Z y g   . In addition by Theorem 4.6   of [Gh2], we know that up to finite covers, a three dimensional contact Anosov flow with C 1 , l i p   splitting is C ∞   flow equivalent to a special time change of the geodesic flow of a closed hyperbolic surface (see also [Gh], [BFL] and [HuK]). Thus by combining these classical results with our previous result, we obtain the following Theorem 2.4. Let φ   be a three dimensional contact Anosov flow. Then its Anosov splitting is C 1 , Z y g   and the following conditions are equivalent :
( 1 )   The cohomological pressure of φ t   is equal to its metric entropy.
( 2 )   The Anosov splitting of φ t   is C 1 , l i p   .
( 3 )   Up to a constant change of time scale and finite covers, φ t   is C ∞   flow equivalent to a special time change of the geodesic flow of a closed hyperbolic surface.
Acknowledgements. The author would like to thank F. Ledrappier and P. Foulon for interesting discussions.
References [An] V. D. Anosov, Geodesic flows on closed Riemannian manifolds with negative curvature, Proc. Inst. Steklov 90 (1967) 1-235.
[BFL] Y. Benoist, P. Foulon and F. Labourie, Flots d'Anosov à distributions stable et instable différentiables, J. Amer. Math. Soc. 5 (1992) 33-74.
[BR] R. Bowen and D. Ruelle, The ergodic theory of Axiom A flows, Invent. Math. 29 (1975) 181-202.
[Fo] P. Foulon, personal communications.
[Fo1] P. Foulon, Entropy rigidity of Anosov flows in dimension three, Ergod. Th. and Dynam. Sys. 21 (2001) 1101-1112.
[Gh] É. Ghys, Flots d'Anosov dont les feuilletages stables sont différentiables, Ann. Scient. Éc. Norm. Sup. (4) 20 (1987) 251-270.
[Gh1] É. Ghys, Codimension one Anosov flows and suspensions, Lecture Notes in Mathematics 1331 (1988) 59-72.
[Gh2] É. Ghys, Rigidité différentiable des groupes fuchsiens, Pub. IHÉS 78, (1993) 163-185.
[HK] B. Hasselblatt and A. Katok, Introduction to the modern theory of dynamical systems, Encyclopedia of Mathematics and its Applications, vol 54. 1995.
[HuK] S. Hurder and A. Katok, Differentiability, rigidity and Godbillon-Vey classes for Anosov flows, Pub. I.H.É.S. 72 (1990) 5-61.
[Ka] A. Katok, Entropy and closed geodesics, Ergod. Th. and Dynam. Sys. 2 (1982) 339-367.
[LMM] R. de la llave, J. Marco and R. Moriyon, Canonical perturbation theory of Anosov systems and regularity results for Livsic cohomology equation, Ann. Math 123(3) (1986) 537-612.
[Pa] G. P. Paternain, Geodesic flows, Progress in Mathematics. [Pl] J. F. Plante, Anosov flows, Amer. J. Math. 94 (1972) 729-754.
[Sh] R. Sharp, Closed orbits in homology classes for Anosov flows, Ergod. Th. and Dynam. Sys. 13 (1993) 387-408.