Arxiv:2003.06811V3 [Math.DS] 31 Mar 2021 Nsmcasclaayi Eg E [ See (E.G

Home , Anosov diffeomorphism

arXiv:2003.06811v3 [math.DS] 31 Mar 2021 nsmcasclaayi eg e [ see (e.g. analysis semiclassical in as oee,teehsbe opors napyn tt coupled syst to the e it in piecewise applying discontinuities of in introduces progress case coupling infinite no the the of when been to class maps has large limited Anosov there a but However, to lattices), extended maps. map be (coupled can strategy systems this [ theorems that limit shown of investigation with the in relation and deep a [ of systems discovery parabolic recent of the renormalization of mention should one Also, BT1 opsm,Flainregularity. Foliation morphsims, suc extending in accomplished been has progress partial only over, sy dynamical of perturbation of study the in effective very proven ye complete not ([ is products theory [ the flows for h although uniformly tained results, for generally, Important more papers (or, sets). stud diffeomorphisms The Anosov direct of system. the case dynamical allowing hyperbolic setting a analytic of functional operator a transfer develop to sibility oeTrVraa U 8C80100.Tepprwspartia was paper The E83C18000100006. 2017S35EHN. PRIN CUP Departme Vergata, the Tor to awarded Rome Project Department help Excellence for MIUR Demers Mark Gouëzel and Sebastien Baladi, Viviane fti okto lc.W ol lolk otakteDepart wor the this thank of some to where like hospitality also its would for Vergata Tor WB Rome place. of took work this of tblt [ stability 2000 BadC ol iet hn h elrn nttt o Math for Institute Heilbronn the thank to like would CL and WB trigwt h ae [ paper the with Starting 1 e od n phrases. and words Key NSVDFEMRHSS NSTOI VSPACES BV ANISOTROPIC DIFFEOMORPHISMS, ANOSOV h nyaalberslsaersrce oaseilclass special a to restricted are results available only The , B1 ahmtc ujc Classification. Subject Mathematics PS oitoswihpoie e nomto htcudprove singularities. could absolute with that the systems studying information hyperbolic of new method provides new which ex a piece prov foliations on reduces of has based it properties is which maps approach statistical variation Our the expanding bounded studying of of in case functions successful the T of in space that quasi-compact. usual is is space operator a transfer such associated the which Abstract. , ]. B2 F11 , , B3 AGT L N EUAIYO FOLIATIONS OF REGULARITY AND , ALBHONADCRAGL LIVERANI CARLANGELO AND BAHSOUN WAEL , ie n mohAoo a ecntutaBnc pc on space Banach a construct we map Anosov smooth any Given B4 BuL ) oevr eetyasrn eainwt ehiusused techniques with relation strong a recently Moreover, ]). , , T1 BuL2 rnfroeaos nstoi aahsae,Aoo diff Anosov spaces, Banach Anisotropic operators, Transfer aenwpoue ut aifcoyrslsfrthe for results satisfactory quite produced now have ] BKL , 1. GLP ,teehsbe rwn neeti h pos- the in interest growing a been has there ], Introduction FR , , FT2 72,3A0 37D20. 37A30, 37A25, FRS GL19 1 G10 , DyZ , FT1 .A h aetm [ time same the At ]. .I diin uha prahhas approach an such addition, In ]. , D17 , fitrcin htslaestructural salvage that interactions of a are.C ol iet thank to like would CL carried. was k FT2 u icsin.C cnwegsthe acknowledges CL discussions. ful ,gopetnin n skew and extensions group ], eto ahmtc,University Mathematics, of ment to ahmtc,Uiest of University Mathematics, of nt ieepnigmaps. expanding wise , DyZ mtclRsac hr part where Research ematical l upre yteGrant the by supported lly sfli treating in useful epclaiyof peculiarity he )hsbe unveiled. been has ]) nparticularly en otniyof continuity cl othe to actly tm [ stems napoc to approach an h ,hv enob- been have t, KL2 [ proi basic yperbolic GL dimensional em. , , KL1 h theory the KL4 atcsof lattices GL1 xpanding fthe of y 1 , More- have ] , KL3 BT eo- ] , 2 WAELBAHSOUNANDCARLANGELOLIVERANI partially hyperbolic maps [T2] and to piecewise smooth uniformly hyperbolic systems [DL, BG1, BG2, DZ1, DZ2, DZ3, BaL, BDL]. The recent book [B5] provides an extensive account and a thorough illustration of the topic. The present paper is motivated by the current shortcomings in the applications of the functional analytic strategy to piecewise smooth hyperbolic maps. Indeed, while in two dimensions the approach can be applied to a large class of systems [DZ2, DZ3], in higher dimensions it is limited to the case in which the map is well behaved up to and including the boundary [BG1, BG2] or some special skew product cases [Ga18, GL18]. In the case of piecewise expanding maps the latter problems are dealt with by using different Banach spaces. In particular, a huge class of piecewise expanding maps can be treated by using the space of functions of bounded variation (BV ) or their straightforward generalisations [Sa00, Li13a, Bu13, Li13b]. It is thus natural to construct Banach spaces that generalize BV and are adapted to the study of the transfer operator associated with hyperbolic maps. Bounded variation like spaces could allow to extend the known results to higher dimensional, possibly infinite dimensional (coupled Anosov map lattices), systems. Also they could allow to treat higher dimensional hyperbolic maps with strong singularities (e.g. billiards). In addition, such spaces should be useful to investigate numerically the spectrum of the transfer operator via Ulam-type perturbations, which proved to be very successful when dealing with expanding maps and BV functions [Liv]. Indeed previous investigations of Ulam approximation for Anosov systems left several questions unanswered due to the inadequacy of the Banach spaces used, e.g. [BKL]. Unfortunately, none of the Banach spaces proposed in the literature for the study of the transfer operator associated with general Anosov diffeomorphisms, or general piecewise Anosov, reduces exactly to BV when the stable direction is absent. The purpose of this paper is to correct this state of affairs by introducing a template for Banach spaces with the above property. We will apply it to the case of smooth Anosov diffeomorphisms. Although for such examples this provides limited new information, it shows that the proposed space is well adapted to the hyperbolic structure, hence there is a concrete hope that this space can be adapted to study general piecewise Anosov maps and Anosov coupled map lattices in a unified setting. A substantial amount of work is still needed to find out if such a hope has some substance or not. Nevertheless, the present arguments are worth presenting since they are remarkably simple and natural. An additional fact of interest in the present paper is the characterization of invariant foliations and, more generally, the method used to study the evolution of foliations under the dynamics. It is well known that the stable foliation is only Hölder, although the leaves of the foliations enjoy the same regularity as the map. Nevertheless, a fundamental discovery by Anosov is that the holonomy associated to the foliation is absolutely continuous and the Jacobian is Hölder. The establishing of this fact is not trivial and, especially in the discontinuous case, entails a huge amount of work [KS]. Here we show that the properties of such foliations can be characterized infinitesimally, hence considerably simplifying their description, see Definition 3. In particular, given a foliation F , the Jacobian J F of the associated Holonomy can be seen as a quantity produced by a flow, of which we control the generator HF . See Lemma B.7 for a precise explanation of this fact. We believe this point of view will be instrumental in treating discontinuous maps. ANOSOV DIFFEOMORPHISMS 3

The structure of the paper is as follows: Section 2 contains the deﬁnition of the Banach space and the statement of the main theorem (Theorem 2.1). Section 3 contains the usual Lasota-Yorke estimate, while section 4 contains the estimate on the essential spectrum of the operator. Section 5 contains some comments on the peripheral spectrum. Appendix A reminds the reader of some convenient properties of r norms. Appendix B establishes various properties of the foliations of Anosov mapsC that should be folklore among experts, but we could not locate anywhere (in particular the smoothness of the Jacobian of the stable holonomy along stable leaves). Moreover, as previously mentioned, such properties are expressed totally in local terms, contrary to the usual approach. Finally, Appendix C contains a few technical estimates on the test functions. Notation. In this paper we will use C♯ to designate a constant that depends only on the map T and on the choice of coordinates, but whose actual value is irrelevant to the tasks at hand. Hence, the value of C♯ can change from one occurrence to the next and it is determined by the equation in which it appears. Analogously, we will use Ca,b,...,ca,b,... for generic constants that depend also on the quantities a, b, . . . .

2. The Banach space Our goal is to develop a space in the spirit of BV for the study of the statistical properties of a dynamical system (M,T,µ) where M is a compact r manifold, T is uniformly hyperbolic and µ is the SRB measure.2 Let us be moreC precise.

2.1. The phase space. Let r 2 be an integer and M be a r d-dimensional compact manifold where the differentiable≥ structure is the one inducC ed by the atlas V , φ S , V M, S N. To be more precise we consider a fixed smooth { i i}i=1 i ⊂ ∈ partition of unity ϑi subordinated to the cover Vi . We then define a smooth volume form ω by { } { } S 1 1 (2.1) h dω = h φ− (z) ϑ φ− (z)dz, ◦ i i ◦ i M i=1 Ui Z X Z where Ui := φi(Vi). From now on all integrals will be with respect to such a form although we will not specify it explicitly.

2.2. The map and the cones. We consider an Anosov diffeomorphism T Diffr(M). That is, there exists λ > 1,ν (0, 1), c (0, 1) and a contin-∈ ∈ 0 ∈ uous cone field (stable cone) = C(ξ) ξ M , C(ξ) = C(ξ) TξM such that 1 1 C { 3 } ∈ ⊂ D T − C(ξ) int(C(T − (ξ))) 0 and ξ ⊂ ∪{ } n n inf inf DξT − v >c0ν− v ξ M v C(ξ) k k k k ∈ ∈ (2.2) n n inf inf DξT v >c0λ v . ξ M v C(ξ) k k k k ∈ 6∈ In higher dimensions a cone may have many geometric shapes. It is convenient, and useful, to ask that they be subsets of the Grassmannian. More precisely, we K

2Of course, there are many other functional spaces to analyse such maps (e.g. see [B5]), however we restrict to this class of maps to illustrate the construction of the space in the simplest possible form. 3Here the norm is defined by some smooth Riemannian structure, the actual choice of such a structure will be irrelevant in the following, it will just affect the constants. 4 WAELBAHSOUNANDCARLANGELOLIVERANI can assume, without loss of generality, that, for each ξ Vi and calling (du, ds) the set of d d matrices, ∈ M u × s = U (d , d ): U θ Kθ { ∈M u s k k≤ } du ds d (2.3) DφiC(ξ)= (x, y) R R = R : x = Uy, U 1 { ∈ × ∈ K } = (x, y) Rdu Rds = Rd : x y , { ∈ × k k≤k k} where U is any du ds matrix. Then the strict cone field invariance reduces to the existence of η (0×, 1) such that ∈ 1 d d d Dφ DT − C(ξ) (x, y) R u R s = R : x η y j ⊂{ ∈ × k k≤ k k} du ds d Dφ ′ DT C (ξ) (x, y) R R = R : y η x j c ⊂{ ∈ × k k≤ k k} 1 where V T − (ξ), V ′ T (ξ) and C (ξ)= T M C(ξ). j ∋ j ∋ c ξ \ 2.3. Transfer Operator. We are interested in studying the statistical properties of the above systems. One key tool used to such an end is the Transfer Operator: for each h 1 we define4 ∈C 1 1 (2.4) h = h det(DT ) − T − . L · | | ◦ Accordingly, for each n N, ∈ ϕ nh = hϕ T n. L ◦ ZM ZM It is then clear that the behaviour of the integrals on the left of the above equation can be studied if one understands the spectrum of . Obviously such a spectrum depends on the space on which the operator is defined.L Several proposals have been developed to have spaces on which is quasi-compact. Such proposals are extremely effective when the map is smooth,L see [B5] for a review, less so for discontinuous systems. Since in the case of expanding maps BV is very effective [Li13b], it is natural to investigate if one can construct a space, suitable for the study of invertible maps, that reduces to BV when the stable direction is absent. In the next sections we define Banach spaces 0,q and 1,q that, when the stable direction is absent, reduce to L1 and BV respectivelyB (seeB Remark 2.14). Although we do not discuss discontinuous maps, this is certainly a first step to develop a viable alternative to the current approaches. To show that the space is potentially well behaved we prove the following Theorem. Theorem 2.1. For each q 1,...,r 2 ,5 the operator has an extension,6 which belongs to L( 0,q, 0,q)∈and { L( 1,q−, 1},q); moreover, L B B B B (1) : 1,q 1,q is a quasi-compact operator with spectral radius 1 and L B → B 1 essential spectral radius σess := max λ− ,ν . (2) The peripheral spectrum of consists{ of finitely} many finite groups; in particular 1 is an eigenvalue.L

4By det we mean the density of T ∗ω with respect to ω. 5Note that this condition is non vacuous only if r ≥ 3. However, we stress that all the results related to the regularity of foliations in Appendix B hold true for r ≥ 2. 6We still call such an extension L. ANOSOV DIFFEOMORPHISMS 5

(3) Setting h := Π11, where Π1 is the spectral projection of associated with the eigenvalue∗ 1, then h is canonically associated to a measureL whose ergodic decomposition corresponds∗ to the spectral decomposition for the Anosov map and consists of the physical measures. Proof. The proof of part (1) can be found in Lemma 4.1. The proof of (2) is given in Lemma 5.1. Finally, the canonical correspondence of h with a distribution, mentioned in point (3), is detailed in Lemma 2.12 (see also Remark∗ 2.13 for the use of such a canonical correspondence in this paper) while in Lemma 5.1 it is showed that the associated distribution is, in fact, a measure. Finally, the proof of (3) is provided by Lemma 5.2. Observe that BV 1,q, see Remark 2.15, hence the above theorem implies that ⊂B for Anosov maps the spectrum σ 1,q ( ) determines the decay of correlation for BV densities. In particular, considerB a transitiveL Anosov map. Then h is ergodic and ∗ corresponds to the unique SRB measure µSRB . Also, Theorem 2.1 implies that, for all θ > σess, there exists a constant Cθ > 0, finitely many eigenvalues θj , θ (θ, 1), and finite rank operators B : 1,1 1,1, with spectral radius equal{ } | j | ∈ j B →B one, such that, for all ϕ 2 and rectifiable sets A:7 ∈C n1 1 n n1 1 n ϕ T A ϕµSRB A θj ϕBj A C ϕ 2 A BV θ . ◦ − − ≤ k kC k k ZM ZM ZM j ZM X

Note that a similar estimate could be obtained using the spectral properties on spaces already existing in the literature and deducing the behaviour for BV densities by an approximation argument. However, this would produce a less sharp result (in α particular, it would allow only θ > σess, for some α< 1). In addition, the following are direct consequences of Theorem 2.1: The Central Limit Theorem and other statistical properties for observables that are• multipliers of BV via the usual spectral approach of analytic perturbation theory, e.g. see [G15]. Statistical aspects of random perturbations: let T0 be a transitive Anosov map. • 1 Let BT0 be a sufficiently small neighbourhood of T0 in the C -topology so that condition (2.2) is satisfied for all T BT0 with uniform constants. Let Ξ := 1 ∈ supl k ∂l(DT0− )l,k 1 and define the following family of maps k kC 2 1 1 PGΞ = T C (M ): T BT0 and sup ∂l(DT − )l,k 2Ξ . { ∈ ∈ k kC ≤ } l k X One can study, for instance, iid compositions with respect to some product prob- P N ability measure defined on on GΞ. Spectral properties of the annealed transfer operator associated with the above random map follows from this work and stability results can be obtained using the current setting and the framework of [KL1].

2.4. Foliations. A fundamental ingredient in the understanding of hyperbolic maps is the study of dynamical foliations, hence a small digression is in order. r Definition 1. A t-dimensional foliation W is a collection Wα α A, for some C { } ∈ set A, such that the Wα are pairwise disjoint, α AWα = M and for each ξ Wα there exists a neighborhood B(ξ) such that the∪ connected∈ component of W ∈B(ξ) α ∩ 7 By rectifiable we mean that 1A ∈ BV . 6 WAELBAHSOUNANDCARLANGELOLIVERANI containing ξ, call it W (ξ), is a r t-dimensional open submanifold of M. We will call r the set of r d -dimensionalC foliations. F C s Definition 2. A foliation W is adapted to the cone field if, for each ξ M, r r C ∈ TξW (ξ) C(ξ). Let be the set of ds-dimensional foliations adapted to . ⊂ FC C C Given a d -foliation adapted to we can associate to it local coordinates as s C follows. Let δ0 > 0 be sufficiently small so that for each ξ M there exists a chart ∈ 8 (Vi, φi) with ξ Vi and such that Ui := φi(Vi) contains the ball Bδ0 (φi(ξ)). Also, 0 ∈0 0 Rdu Rds 0 0 choose U = Uu Us with Uu = Bδ0/2(0), Us = Bδ0/2(0). Next, for × ⊂ × 9 each z Ui, let W (z) be the connected component of φi(W ) containing z. Define ∈ 0 Rdu the function Fξ : U by (Fξ(x, y)+ xξ,yξ + y) = (w,y + yξ) w Rdu → { 10 } { } ∈ ∩ W (x + xξ,yξ), where (xξ,yξ)= φi(ξ). That is, W (x + xξ,yξ) is exactly the graph of the function F (x, )+ x . Moreover, ξ · ξ (2.5) Fξ(x, 0) = x.

In addition, we ask δ0 to be small enough that the expression of DT in the above charts is roughly constant. See Lemma B.5 and its poof for the precise condition.

Remark 2.2. The above construction defines the triangular coordinates Fξ(x, y)= 1 0 1 (F (x, y),y) which describes locally the foliation. In fact, (φ− F (U ), F− φ ) ξ i ◦ ξ ξ ◦ i is a local chart of M in which the foliation is trivial (the leaves are all parallel). In the following we will often use such coordinates without mention if it will not create confusion. Also, to ease notation, we will confuse Vi with φi(Vi) when not ambiguous. In addition, we will use F to indicate the collection of maps Fξ and the same for F . Of course, F is not unique, since we can chose different charts{ } for the same ξ, however different choices are equivalent so we assume that some choice has been made. Clearly F defines uniquely W . Definition 3. For each r N, r 2, and L> 0, let11 r ∈ ≥ := W r : F r(U 0, Rd) F C ∈FC ∈C r r α (k 1)2 := W : sup sup sup ∂ F (x, ) 0 0 Rdu L − , 2 k r; L y ξ (Us , ) W ∈ F C ξ x U 0 α =k k · kC ≤ ≤ ≤ n ∈ u | | 2 α Fξ (k+1) sup sup sup ∂ H (x, ) 0 0 Rds L , 0 k r 2 , y (Us , ) ξ x U 0 α =k k · kC ≤ ≤ ≤ − ∈ u | | o where

du F 1 H ξ (x, y)= ∂ [∂ (F ) ] F− F (x, y) xj y ξ j ◦ ξ ◦ ξ j=1 (2.6) X h i 1 = ∂ ∂ (F ) (∂ F )− . xi y ξ j · x ξ ij ij X 8 d′ ′ Here, and in the following, we use Bδ (x) to designate {z ∈ R : kx − zk≤ δ} for any d ∈ N. 9Refer to Definition 1 for the exact meaning of “connected component”. Also note the abuse of notation since we use the same name for the sub-manifond in M and its image in the chart. 10The fact that the intersection is non void and consists of exactly one point follows trivially from the fact that the foliation is adapted to the cone field, hence the two manifolds are transversal. 11Note that equation (2.3), Definition 2 and the subsequent description imply that k∂yFξ(x,y)k≤ 1, hence, recalling (2.5), kFξk∞ ≤ δ0. Accordingly, in the first line of the definition r of WL the cases k ∈ {0, 1} are superfluous. ANOSOV DIFFEOMORPHISMS 7

Remark 2.3. Since the invariant foliation is not r (in general it is only Hölder, r C r although it consists of leaves) it does not belong to L for any L. Yet, it belongs to its closure, if L is largeC enough (see Remark B.3).W Remark 2.4. Note that the functions HF are related to the Jacobian of the stable holonomy (see Lemma B.7), hence it does not make sense to require them to be uniformly smooth. In general it is possible to control effectively only their Hölder norm, yet, restricted to the stable direction they turn out to be smooth. Indeed, this is the whole content of Appendix B.

F r Remark 2.5. The role of H in the definition of L will become apparent in the proof of the Lasota-Yorke inequality in PropositionW3.2, namely in (3.8). Hence, n Fξ controlling the supξ supx U 0 H (x, ) k (U 0,Rds ), uniformly in n, is essential. ∈ u k · kC s r Next we would like to define the evolution of a foliation W L under T . Let n n n n r ∈W W := T − W := T − Wα α A. Clearly W , but much more is true. { } ∈ ∈ F C Lemma 2.6. There exists n0 N and L > 0 such that for all n N, n n0, r ∈ n r ∈ ≥ L1 L and W , we have W . ≥ ∈WL1 ∈WL1/2 Remark 2.7. By considering an appropriate power of the map, rather than the map itself, we can always reduce to the case n0 =1. We will do exactly this in the following. Remark 2.8. From now on L is fixed so that Lemma 2.6 holds true. Since the choice of L depends only on T and M, in the future we will not make the L dependence explicit in the constants. Lemma 2.6 is proved in Appendix B. In fact we prove the more general Propo- sition B.1 which implies Lemma 2.6 (see Remark B.2). 2.5. Test Functions. Since we will want to be free to work with high order derivatives, it is convenient to choose a norm ρ , ρ N 0 , equivalent to the standard one, for which ρ is a Banach Algebra.k·kC We∈ thus∪{ define} the weighted norm in ρ(M, (m,n)), whereC (m,n) is the set of the m n (possibly complex valued) Cmatrices,M M × m ϕ 0 = sup sup ϕi,j (x) k kC | | x M i 1,...,n j=1 ∈ ∈{ } X (2.7) ρ ρ k α ϕ ρ = ̟ − sup ∂ ϕ 0 , k kC α =k k kC kX=0 | | where, ̟ 2 is a parameter to be chosen later (see (3.11)), α is a multi-index ≥ d N α α1 αd α = (α1, , αd) with αi 0 , we denote α = i=1 αi, and ∂ = ∂x1 ∂xd . Note that··· the above definition∈ ∪{ } implies | | ··· P ρ+1 ρ+1 0 ρ (2.8) ϕ = ̟ ϕ + sup ∂xi ϕ . k kC k kC i k kC The next Lemma is proven in Appendix A. Lemma 2.9. For every ρ,n,m,s N, ψ ρ(M, (m,n)) and ϕ ρ(M, (m,s)) we have ∈ ∈C M ∈C M ϕψ ρ ϕ ρ ψ ρ . k kC ≤k kC k kC 8 WAELBAHSOUNANDCARLANGELOLIVERANI

Moreover if ϕ ρ(M, (m,n)) and ψ ρ(M,M), then12 ∈C M ∈C ρ k ρ ρ k t ϕ ψ ρ ̟ − ϕ k (Dψ) ρ−i . k ◦ kC ≤ k k kC k kC i=1 Xk=0 Y r Cl r 1 F Definition 4. For each ϕ (M, ) and W let ϕξ,x( )= ϕ φi− ξ(x, ), ∈C ∈FC · ◦ ◦ · q r, and define13 ≤ l W (2.9) ϕ := sup sup ϕ q 0 Cl = sup sup (ϕ ) q 0 C . q ξ,x (Us , ) ξ,x j (Us , ) k k ξ M 0 k kC ξ M 0 k kC x Uu x Uu j=1 ∈ ∈ ∈ ∈ X Remark 2.10. It is easy to verify that a different choice of the charts produces a uniformly equivalent class of norms. 2.6. A class of measures. To be precise, we are going to define a Banach space of distributions. We will be interested in measures that belong to such a space. Define (2.10) Ω = (W, ϕ) r q(M, Cl): ϕ W 1 L,q,l ∈WL ×C k kq ≤ 1 and lift the dynamics to ΩL,q,l by T (W, ϕ) = (T − W, ϕ T ). ∗ ◦ Lemma 2.11. For each σ (ν, 1), there exists constants A0,B0 > 0 such that, for each choice of ̟ 2, each ∈(W, ϕ) Ω , q 0,...,r 1 and n N ≥ ∈ L,q,l ∈{ − } ∈ −n ϕ T n T W A ϕ W ; k ◦ kq ≤ 0k kq −n ϕ T n T W A σnq ϕ W + B ϕ W . k ◦ kq+1 ≤ 0 k kq+1 0k kq The Lemma is proved in Appendix C. Note that Lemmata 2.6 and 2.11 imply T ΩL,q,l ΩL,q,l. ∗ ⊂ It is now time to define the norms. Given a function h 1(M, C) we define14 ∈C

h 0,q := sup h ϕ k k (W,ϕ) Ω M ∈ L,q,1 Z

(2.11) h 1∗,q := sup h div ϕ k k (W,ϕ) Ω M ∈ L,q+1,d Z

h − := a h + h ∗ , k k1,q k k0,q k k 1,q for any q N 0 and some ﬁxed a> 0 to be chosen later (see Proposition 3.2). We are∈ then∪{ ready} to deﬁne the Banach spaces. The space 0,q is the Banach spaces obtained by completing 1(M, R) in the norm.15 WeB are not interested C k·k0,q in making the same choice for the norm − since this, in the case of d = 0 k·k1,q s would yield the Sobolev space W 1,1 rather than the space of function of bounded

12 ρ C (M,M) is defined in the natural manner using the norm (2.7) in the charts (Vi,φi), also d we use the charts to identify TxM with R , hence Dψ ∈M(d, d). 13 We use the standard notation ϕξ,x = ((ϕξ,x)1,..., (ϕξ,x)l). 14As already remarked the differential structure and the volume form are defined via the charts, thus, to be precise, S d − − − h div ϕ = h ◦ φ 1(z)ϑ ◦ φ 1(z) (∂ [ϕ ◦ φ 1])(z) dz. Z Z i i i zj j i M Xi=1 Ui jX=1

15The completion can be achieved within the space of distributions of order q. ANOSOV DIFFEOMORPHISMS 9 variations that we are interested in. We use thus the analogous of the standard procedure to define BV starting from W 1,1. First let us define the new norm, for each h 0,q, ∈B 1 (2.12) h 1,q = lim inf g − : g (M, R) and g h 0,q ε . ε 0 1,q k k → {k k ∈C k − k ≤ } 1,q 0,q We then define := h h 1,q < . One can see Section 2.7 of [BKL] for a brief discussionB of{ the∈B general|k propertiesk ∞} of such a construction. The next Lemma explains in which sense 1,q is a space of distributions. B Lemma 2.12. The spaces i,q, i 0, 1 , are spaces of distributions in the sense B ∈{ } 0,q q 1,q q+1 that there exist canonical embeddings ι : ( )′ and ι : ( )′. 0,q B → C 1,q B → C q r Proof. To start, note that there exist Cq > 0 such that for all ϕ and W L, W 1 C ∈C ∈W ϕ q Cq ϕ q . In addition, for each h (M, ), k k ≤ k kC ∈C

1 h dω h a− h ≤k k0,q ≤ k k1,q ZM

0,q 1,q which, by density, implies that ℓ(h ) = h dω belongs to ( )′ ( )′, the M B ⊂ B duals of 0,q and 1,q, for each q 0. Also, one can easily check that for each R ϕ q andB h B0,q, we have ϕh≥ 0,q and for each ϕ q+1 and h 1,q, ∈ C ∈1,q B ∈ B ∈ C ∈ B we have ϕh . This implies that ι0,q(h)(ϕ) := ℓ(ϕh) is well deﬁned for each ϕ q and h∈ B 0,q. In addition, for each h 1(M, C) we have ∈C ∈B ∈C

W ι0,q(h)(ϕ) = ϕh dω h 0,q ϕ q Cq h 0,q ϕ q , | | ≤k k k k ≤ k k k kC ZM

0,q from which, by density, it follows ι0,q (h)(ϕ) Cq h 0,q ϕ q , for all h and q q | |≤0,q k kq k kC ∈B ϕ . That is ι0,q(h) ( )′. Thus ι0,q : ( )′, it remain to check that it is∈C injective. Suppose that∈ ιC (h )= ι (h B), then→ forC all ϕ q we have 0,q 0 0,q 1 ∈C (h h )ϕ =0 0 − 1 ZM which, recalling (2.10), implies h0 h1 0,q = 0. The other embedding is provenk similarly.− k

Remark 2.13. Form now on we will identify, when needed, the spaces i,q with the spaces ι ( i,q) of distributions without further notice.16 B i,q B To better understand the i,q spaces it is useful to note that in special cases they are simply functions. B

Remark 2.14. If T is an expanding map, hence ds = 0, then the leaves are just W 0,q 1 1,q points and ϕ q = ϕ . The reader can easily check that = L and = BV , as announced.k k | |∞ B B

16 i,q q+i ′ i,q In general ιi,q (B ) is not closed in the (C ) topology. To see ιi,q(B ) as a Banach space i,q −1 we have to induce the norm: if h ∈ ιi,q(B ), then khk = kιi,q (h)ki,q . Obviously, in this way ιi,q becomes an isomorphism of Banach spaces, hence the possibility to identify them. 10 WAELBAHSOUNANDCARLANGELOLIVERANI

Remark 2.15. By the deﬁnition (2.11) it follows that

sup ϕh sup hϕ = h L1 (W,ϕ) Ω M ≤ ϕ 1 M k k ∈ L,q,1 Z | |∞≤ Z

sup h div ϕ sup h div ϕ h BV . (W,ϕ) Ω M ≤ ϕ 1 M ≤k k ∈ L,q+1,d Z k k∞≤ Z

Thus, by (2.11) and (2.12) , h C h . That is L1 0,q and BV 1,q. k k1,q ≤ ak kBV ⊂B ⊂B Remark 2.16. There is no problem in considering norms with higher smoothness, as in [GL]. We avoid it since it is not relevant for the issue we are presently exploring.

3. A Lasota-Yorke inequality

Our ﬁrst goal is to show that is bounded in the 0,q, 1,q norms, hence extends uniquely to a bounded operatorL on 0,q andk·k1,q. k·k L To prove our basic proposition (a Lasota-YorkeB typeB inequality) we need ﬁrst a small approximation Lemma.

Lemma 3.1. There exists c̟ > 1, ε0 > 0 such that, for each q 1,...,r , r C ∈ { 1 } (W, ϕ) ΩL,q,1, and ε (0,ε0) there exists ϕε (M, ) such that (W, c̟− ϕε) ∈ 1 ∈ W ∈C ∈ ΩL,q,1, (W, c̟− εϕε) ΩL,q+1,1 and ϕ ϕε q 1 Cq,̟ε. ∈ k − k − ≤ d 1 Proof. Let (W, ϕ) Ω . Consider a mollifier j (y)= ε− s j(ε− y) where j ∞ ∈ L,q,1 ε ∈C is supported in a fixed ball. Then, for ε δ /2, and (x, y) U 0 define17 ≤ 0 ∈ 1 F ϕi,ε(x, y)= ϕ φi− ( ξ(x, y + z))jε(z)dz Rds ◦ ◦ (3.1) Z 1 ϕ = ϑ ϕ F− φ . b ε i · i,ε ◦ ξ ◦ i i X Clearly ϕ r, hence we only have tob verify the other two properties. Note that ε ∈C 1 1 1 ϕ φ− F (x, y)= ϑ ϕ F− φ φ− F (x, y). ε ◦ j ◦ ξ i · i,ε ◦ ξ ◦ i ◦ j ◦ ξ i X h i 1 1 b r By definition F− φ φ− F (x, y) = (h (x),g (x, y)) for some g (x, ) , ξ ◦ i ◦ j ◦ ξ ij ij ij · ∈ C moreover supij supx gij (x, ) r C for some constant C > 0. Thus k · kC ≤ 1 F 1 F 1 F ϕε φj− ξ(x, y)= ϑi φj− ξ(x, y) ϕ φi− ξ((hij (x),gij (x, y)+ z)jε(z)dz. ◦ ◦ ◦ ◦ Rds ◦ ◦ i X Z Using the formula above and (3.1) we can estimate

1 F 1 F ϕε φj− ξ(x, ) q ϑi φj− ξ(x, ) r ϕi,ε(hij (x),gij (x, ) q c̟, k ◦ ◦ · kC ≤ k ◦ ◦ · kC k · kC ≤ i X b 17 See Remark 2.2 for the deﬁnition of Fξ. ANOSOVDIFFEOMORPHISMS 11 for some constant c̟. On the other hand, recalling (2.7), 1 F 1 F ϕε φj− ξ(x, ) q+1 C̟ ϕε φj− ξ(x, ) q k ◦ ◦ · kC ≤ k ◦ ◦ · kC q α 1 + C ∂ ∂ ϕ φ− F ((h (x),z + g (x, ))∂ g (x, ) ∂ g (x, ) j (z)dz zl i ξ ij ij yl ij yαk ij ε Rds ◦ ◦ · · · · il, α =q Z k=1 0 X| | Y C

α 1 F C̟c̟ + C ∂ ϕ φi− ξ ((hij (x),z + gij (x, ))∂yl gij (x, ) ≤ Rds ◦ ◦ · · il, α =q Z X| | q

∂y gij (x, )∂z j (z)dz × αk · j ε k=1 0 Y C W 1 1 C c + ϕ CC ε− c ε− , ≤ ̟ ̟ k kq ♯ ≤ ̟ 1 provided we chose c̟ > 2CC♯ and ε0 < (2C̟)− . To verify the last inequality note that there exists a constant Cq,̟ > 0 such that 1 F 1 F W ϕ φi− ξ((hij (x),z + gij (x, )) ϕ φi− ξ((hij (x),gij (x, )) q−1 Cq,̟ ϕ q z . ◦ ◦ · − ◦ ◦ · C ≤ k k | | Hence,

W ϕ ϕε q 1 Cq,̟ε. k − k − ≤

1 Proposition 3.2. For each θ (max ν, λ− , 1), we can chose ̟ > 2 such that there exist constants a,A,B > 0∈such that,{ for} all h 1(M, C), q 0,...,r 1 , holds true ∈C ∈{ − } nh A h . kL k0,q ≤ k k0,q In addition, for all q 1,...,r 2 , holds true ∈{ − } nh Aθn h + B h ; kL k0,q ≤ k k0,q k k0,q+1 nh Aθn h + B h . kL k1,q ≤ k k1,q k k0,q+1 Proof. Note that if (W, ϕ) Ω , then, by (2.7) and (2.2) and for A large enough, ∈ L,q,1 (3.2) nhϕ = hϕ T n A h , L ◦ ≤ k k0,q ZM ZM from which the ﬁrst inequality follows.

For each ε> 0 and (W, ϕ) Ω we deﬁne ϕ as in Lemma 3.1. Hence, ∈ L,q,1 ε nhϕ = h(ϕ ϕ ) T n + hϕ T n L − ε ◦ ε ◦ ZM ZM ZM −n −n (ϕ ϕ ) T n T W h + ϕ T n T W h . ≤k − ε ◦ kq k k0,q k ε ◦ kq+1 k k0,q+1 Then, by Lemmata 2.11 and 3.1,

−n −n nhϕ (ϕ ϕ ) T n T W h + ϕ T n T W h L ≤k − ε ◦ kq k k0,q k ε ◦ kq+1 k k0,q+1 ZM qn W W W A0σ ϕ ϕε q + B0 ϕ ϕε q 1 h 0,q + A0 ϕε q+1 h 0,q+1 ≤ k − k k − k − k k k k k k 1 qn 1 2c− A σ + C B ε h + A c ε− h . ≤ ̟ 0 q,̟ 0 k k0,q 0̟ k k0,q+1 12 WAELBAHSOUNANDCARLANGELOLIVERANI

18 qn1 2n1 For each θ (σ, 1) there exists n1 N and ε such that 2A0σ +Cq,̟B0ε θ . Thus, taking∈ the sup for (W, ϕ) ∈Ω we have, for n n ,..., 2n , ≤ ∈ L,q,1 ∈{ 1 1} nh θn h + C h . kL k0,q ≤ k k0,q ̟k k0,q+1 Iterating yields that there exists A1 > 0 such that, n n h 0,q θ h 0,q + B̟ h 0,q+1 for all n n1 (3.3) kL k ≤ k k k k ≥ nh A θn h + B h for all n N. kL k0,q ≤ 1 k k0,q ̟k k0,q+1 ∈ Next, we prove the third inequality in the statement of the lemma. For each (W, ϕ) Ω write ∈ L,q+1,d nh div ϕ = h(div ϕ) T n. L ◦ ZM ZM n 1 Note that, setting R = φ T φ− and recalling footnote 14, we have i ◦ ◦ j d 1 n n 1 n 1 (3.4) div (DR− φ ϕ T ) = (div ϕ) T + ∂ (DR)− ϕ T φ− . ◦ j · ◦ ◦ l lk k ◦ ◦ i l,k=1 X 1 Set Dn = supl k ∂l(DR− )l,k r . It is then naturalk to decompose kϕC into an “unstable” and a “stable” part. More P precisely consider the “almost unstable” foliation Γ = γs s Rds made of the leaves, n{ } ∈ n in some chart φj , γs = (u,s) u Rdu and its image T Γ. The leaves of T Γ can be { } ∈ expressed, in some chart φ , in the form (x, G˜ (x, y) for some function G˜ , smooth i { n } n in the x variable, with ∂xGñ 1 and the normalization Gñ(F (0,y),y)= y. On the other hand the leavesk of Wk≤, in the same chart, have the form (F (x, y),y) . { } It is then natural to consider the change of variables (x, y)=Ψn(x′,y′) where du ds (x, Gñ(x, y′)) = (F (x′,y),y). Writing ϕ = (ϕ1, ϕ2), with ϕ1 R , ϕ2 R we consider the decomposition19 ∈ ∈ 1 u 1 s 1 ϕ φi− (x, y)= ϕ φi− (x, y)+ ϕ φi− (x, y) (3.5) ◦ ◦ ◦ = (v(x, y), ∂xGñ(x, y′)v(x, y)) + (∂yF (x′,y)w(x, y), w(x, y)). 1 That is, settingϕ ˆ = ϕ φ− , ◦ i 1 v(x, y) = (1 ∂yF (x′,y)∂xGñ(x, y′))− (ˆϕ1(x, y) ∂yF (x′,y)ˆϕ2(x, y)) (3.6) − − 1 w(x, y) = (1 ∂ G˜ (x, y′)∂ F (x′,y))− (ˆϕ (x, y) ∂ G˜ (x, y′)ˆϕ (x, y)). − x n y 2 − x n 1 Thus, recalling equation (3.4) and Lemma 2.11,

nh div ϕ nh div ϕs + nh div ϕu L ≤ L L ZM ZM ZM

(3.7) nh div ϕs + A D h ≤ L 0 nk k0,q+1 ZM

1 1 u n + h div ( (DR )− R− φ ϕ T ) . ◦ ◦ i · ◦ ZM

18Recall that for this statement we require q ≥ 1. It is obvious that q = 0 does not lead to any contraction. This point shows the need to work with a space of distributions rather than a space of measures. 19 Since v and w depend on n, a more precise notation would be vn,wn. We suppress the subscript n to ease notation and since no ambiguity can arise. ANOSOVDIFFEOMORPHISMS 13

To estimate the above terms our ﬁrst task is to compute the norm of div (ϕs), (x, y)= F(x′,y) := (F (x′,y),y). We start noticing that

∂ [w F] (x′,y)= (∂ w )(x, y) ∂ F (x′,y)+ (∂ w)(x, y) yi i ◦ xj i · yi j yi i i,j i X X X s 1 1 =div (ϕ )(x, y) ∂x′ ∂y Fj (∂xF )− F− wi (x, y). − k i · kj ◦ · i,j X h i Accordingly, recalling (2.6), (3.8)

s F div (ϕ )(F (x′,y),y)) = ∂ [w F]+ H w F (x′,y) yi i ◦ i · i ◦ " i i # X X 1 w F(x′,y) = (1 ∂ G˜ (F (x′,y),y)∂ F (x′,y))− ϕ F ∂ G˜ ϕ F) (x′,y). ◦ − x n y 2 ◦ − x n 1 ◦ h i Since, w W C , recalling Deﬁnition 3 for all α q we have k kq+1 ≤ n,̟ | |≤ α s 1 ∂ [div (ϕ ) φ− F](x′, ) C . | y ◦ i ◦ · |≤ n Hence, by (3.2),

(3.9) nh div ϕs C nh C A h . L ≤ nkL k0,q ≤ n k k0,q ZM

On the other hand, for each α = q + 1, using (3.5) and (3.6) we have | |

α 1 1 u 1 ∂ (DR)− R− ϕ φ− F (x′,y) y ◦ ◦ i ◦ 1 1 F 1 0 α 1 F 1 W (DR R− (x′,y))− ∂y v φi− (x′,y) + Cn̟− ϕ q ≤ ◦ ◦ 0 ∂xG˜(F(x′,y)) ◦ ◦ k k where the last term bounds all the terms with at most q derivatives on v. Since the range of the matrix in the line above belongs to the image of the unstable cone under R, by (2.2) (and putting in the remainder all the terms with at most q derivatives of ϕ) we have

α 1 1 u 1 F 1+ θ n α 1 F ∂y (DR)− R− ϕ φi− (x′,y) λ− ∂y v φi− (x′,y) ◦ ◦ ◦ ≤ c0 ◦ ◦ 2 2 1 W (1 + θ ) n W 1 W + C ̟− ϕ λ− ϕ + C ̟− ϕ . n k kq ≤ c (1 θ) k kq+1 n k kq 0 − Accordingly 2 2 1 1 u W (1 + θ ) n W 1 W (DR)− R− φ ϕ λ− ϕ + C ̟− ϕ . k ◦ ◦ i · kq+1 ≤ c (1 θ) k kq+1 n k kq 0 − Then Lemma 2.11 implies 2 2 1 1 u n T −nW A0(1 + θ ) W Cn W (3.10) (DR)− R− φ ϕ T ϕ + ϕ . k ◦ ◦ i · ◦ kq+1 ≤ c (1 θ)λn k kq+1 ̟ k kq 0 − We can now chose n N, n n , such that 2 ∈ 2 ≥ 1 2 A0(1 + θ) n 1 n λ− 2 θ 2 c (1 θ) ≤ 4 0 − 14 WAELBAHSOUNANDCARLANGELOLIVERANI and ﬁnally we choose ̟ such that

2n2 (3.11) 4 sup Clθ− ̟. l 2n ≤ ≤ 2 Accordingly, for all n n ,..., 2n , ∈{ 2 2} 1 1 u n T −nW 1 n W (DR)− R− φ ϕ T θ ϕ , k ◦ ◦ i · ◦ kq+1 ≤ 2 k kq+1 We can then continue the estimate started in (3.7), recalling (3.9) we have:20

n 1 n h div ϕ AC h + θ h ∗ + A D h . L ≤ nk k0,q 2 k k1,q 0 n2 k k0,q+1 ZM 1 1 2n2 Finally, choose a such that supl 2n2 ClAa− 2 θ , then taking the sup on ϕ, W ≤ ≤ we have, for all n n ,..., 2n , and using (3.3), ∈{ 2 2} n n h − θ h − + B h . kL k1,q ≤ k k1,q n2 k k0,q+1 Then, for each n N we can write n = kn2 + m, m n2 and iterating the above inequality we have,∈ for all n N, ≤ ∈ n n h − Aθ h − + B h . kL k1,q ≤ k k1,q k k0,q+1 0,q 1,q 1 Finally, if h , then there exists g : g B h and g − h . ∈ B { k}∈C k → k kk1,q → k k1,q Since, ng 1 and ng nh in 0,q we have L k ∈C L k → L B n n n h 1,q lim gk 1−,q Aθ lim gk 1−,q + B lim gk 0,q+1 kL k ≤ k kL k ≤ k k k k k k →∞ →∞ →∞ = Aθn h + B h . k k1,q k k0,q+1 This ﬁnishes the proof of the second item in the proposition. The proof of the ﬁrst item of the proposition follows from (3.3) and (3.11).

4. On the essential spectrum In the previous section we have seen that (or rather its extension that, with a slight abuse of notation, we still call ) belongsL both to L( 0,q, 0,q) and L( 1,q, 1,q). Moreover Proposition 3.2 implies thatL the spectrum of B is containedB inB the unitB disc. Next we want to study the essential spectrum (thatL is the complement of the point spectrum with ﬁnite multiplicity). Lemma 4.1. For q 1,...,r 2 , the essential spectrum of on 1,q is contained ∈{ − }1 L B in the disc z C : z max λ− ,ν . { ∈ | |≤ { }}

Proof. By Lemmata 2.6 and 2.11 it follows that it suﬃces to study the sup of M hϕ 1,q for (W, ϕ) Ω . Indeed, if B− = h : h − 1 is relatively com- ∈ L/4,q+1,1 1 { ∈B k k1,q ≤ } R pact in the topology associated to the norm h = sup hϕ , 0′ ,q+1 (W,ϕ) ΩL/4,q+1,1 M k k ∈ n0 then, by Lemmata 2.6 and 2.11, there exists n0 N such that h 0,q+1 n ∈1,q n kL k R ≤ h ′ . Hence, 0 B− is relatively compact in , thus 0 is compact as an k k0,q+1 L 1 B L operator from 1,q to 0,q+1 and the Lemma follows from Proposition 3.2 and the usual HennionB argumentB [He] based on Nussbaum essential spectral formula [Nu], see [L] for details.

20Note that in (3.11) we have chosen ̟ and that the choice depends only on T , thus we can drop the ̟ dependency from all the constants. ANOSOVDIFFEOMORPHISMS 15

Let us prove the relative compactness of B1−. Since we can write

hϕ = hϑiϕ M i M Z X Z we can assume, without loss of generality, that ϕ is supported in a given chart (Vi, φi). From now on we will work in such a chart without further mention. Let us define ϕt to be the solution of the heat equation ∂ ϕ = ∆ ϕ in Rd [0, 1] t t x t × ϕ0 = ϕ. That is 1 |ζ|2 (4.1) ϕt(x, y)= e− 4t ϕ(x ζ,y)dζ. du/2 (4πt) Rdu − Z Then, for each small ε> 0, ε ε hϕ = hϕε dt h∂tϕt = h ϕε dt h div xϕt(x, y) M M − 0 M Vi − 0 Vi ∇ Z Z Z ε Z Z Z Z 1 |ζ|2 = h ϕε + dt dxdy dζe− 4t h div ζ ϕ(x ζ,y) du/2 (4πt) Rdu ∇ − ZVi Z0 ZVi Z ε 2 1 |ζ| ζ ζ = h ϕε + dt dζe− 4t h div ϕ , du/2 (4πt) Rdu 2t ZVi Z0 Z ZVi where, in the last line, ϕζ (x, y) := ϕ(x ζ,y) and we have integrated by part − with respect to ζ. Next, for each ζ Rdu we define the foliation F (x, y) := ∈ ζ (F (x ζ,y)+ ζ,y), note that the foliation W ζ defined by F belongs to r . − ζ WL/4 Then ϕζ F (x, y)= ϕ(F (x ζ,y),y) which implies ϕζ Wζ 1. Hence, ◦ ζ − k kq+1 ≤

(4.2) hϕ = h ϕ + ( h − ε). ε O k k1,q ZM ZVi In addition, by (4.1) and integrating r times by parts

2 Cr |ζ| r r r r ϕε( ,y) r e− 4ε (ε− 2 + ε− ξ ) ϕ 0 dζ Cε− 2 . du/2 | · |C ≤ (4πε) Rdu k k k kC ≤ Z Moreover, recalling (4.1), Deﬁnition 3 and Lemma B.7,

1 |F (x,y)−ζ|2 F 4ε ϕε (x, y)= d/2 e− ϕ(ζ,y)dζ ◦ (4πε) Rdu Z 1 |F (x,y)−F (ξ,y)|2 4ε = d/2 e− ϕ(F (ξ,y),y) det(∂xF )(ξ,y)dξ (4πε) Rdu Z W r r which readily implies ϕε r Cε− . This, by [J], implies that ϕε r Cε− . Thus, recalling (4.2), wek have,k ≤ for each ε> 0, | |C ≤ r (4.3) h 0,q+1 Cε− h ( r)′ + C h 1−,qε. k k ≤ k k C k k q+1 r Since ( )′ embeds compactly in ( )′ and Lemma 2.12 implies that B1− is a C q+1 C r bounded subset of ( )′ it follows that B1− is relatively compact in ( )′. From C 0,q+1 C this and equation (4.3) the relative compactness of B1− in readily follows. Hence the Lemma. B 16 WAELBAHSOUNANDCARLANGELOLIVERANI

5. On the peripheral spectrum 1 The previous section implies, for each β (max λ− ,ν , 1), the spectral decomposition ∈ { }

Lβ (5.1) = λ Π + R L j j j=1 X 2 where Πj Πk = δjkΠk, Πj R = RΠj = 0, each Πj is a ﬁnite rank operator, and the spectral radius of R is bounded by β.

Lemma 5.1. One is an eigenvalue of . Letting h := Π11, h is a measure. In addition, the peripheral spectrum of consistsL of finitely∗ many finite∗ groups. L Proof. Since ℓ is an eigenvalue of the dual of (the Lebesgue measure being the eigenvector), it must belong to the spectrumL of . Next, we choose β, in the representation (5.1), large enough so that for all theL eigenvectors we have λ = 1. | j | In this case, since the operator is power bounded, the Πj cannot contain Jordan blocks, thus Πj Πk = δjkΠk. A simple computation based on (5.1) shows n 1 − iϑ 1 iϑ k 0 if e / σ( ) (5.2) lim e− = ∈ L n iϑ iϑj →∞ n L (Πj if e = λj =: e . Xk=0 For each ϕ q holds ∈C n 1 n 1 1 − 1 − h ϕ lim k1 ϕ = lim ϕ T k ϕ . ∗ ≤ n n L | | n n | ◦ | ≤ | |∞ ZM →∞ k=0 ZM →∞ k=0 ZM X X In other words h defines measure. Then let h 1 and ϕ q, ϕ 0, ∗ ∈C ∈C ≥ n 1 n 1 1 − k 1 − k Πj hϕ lim h ϕ = lim h ϕ T n n M ≤ →∞ n M L | | →∞ n M | | ◦ Z kX=0 Z Xk=0 Z n 1 1 − h lim k1ϕ = h h ϕ. ∞ n ∞ ∗ ≤ | | →∞ n M L | | M kX=0 Z Z Moreover, by a similar computation, n 1 − 1 k Πj hϕ lim h ϕ ϕ h . ≤ n n L | | ≤ | |∞ | | ZM →∞ k=0 ZM ZM X nj This implies Πj h = l=1 ψj,lh hφj,l where ψj,l, φj,l L∞(M). Note that, ∗ M ∈ ΠkΠm = δkmΠk implies P R

(5.3) φk,lψm,l′ h = δk,mδl,l′ . ∗ ZM Accordingly, for all g,h r, ∈C nj iϑj gψj,lh φj,l Th = gΠj h = e gΠjh M ∗ M ◦ M L M Xl=1 Z Z Z Z nj iϑj = e gψj,lh hφj,l. M ∗ M Xl=1 Z Z ANOSOVDIFFEOMORPHISMS 17

It follows that φ T = eiϑj φ , ω almost surely. On the other hand j,l ◦ j,l nj iϑj g ψj,lh φj,lh = g Πj h = e gΠj h M L ∗ M M L M Xl=1 Z Z Z Z nj iϑj = e gψj,lh hφj,l. M ∗ M Xl=1 Z Z By the arbitrariness of g,h it follows

iϑj 1 1 e ψj,lh = ψj,lh = ψj,l T − h = ψj,l T − h , ∗ L ∗ ◦ L ∗ ◦ ∗ 1 iϑj which implies ψj,l T − = e ψj,l, h dω almost surely. Note that this implies that, k ◦ 1 iϑ k k ∗ k k 1 iϑ k for all k N, ψ T − = e j ψ , thus (ψ h )= ψ T − h = e j h . Byan j,l j,l j,l ∗ j,l ∗ ∗ ∈ ◦ L k 1◦,q L approximation argument one can prove that ψj,lh . But then it follows that ∗ ∈B eiϑj k σ( ) and since the operator is quasi-compact it can have only ﬁnitely { } ⊂ L many isolated eigenvalues. Thus, we must have ϑ = 2πkj , which concludes the j nj proof.

Lemma 5.1 implies that there existsm ¯ N such that the peripheral spectrum of m¯ consists of only the eigenvalue 1∈ with associated eigenprojector Π = N L ψlh hφl where the ψl ψj,i and φl φj,i . Moreover, (5.3) implies l=1 ∗ M ∈{ } ∈{ } P R (5.4) φlψl′ h = δl,l′ . ∗ ZM Accordingly, the rest of the spectrum will be contained in a disk strictly smaller than one: that is m¯ = Π+Q where Qn Cσn for some C > 0 and σ (0, 1). L k k1,q ≤ ∈ In addition, note that (5.2) implies Π1 = h . A more precise result can be easily obtained.∗ Lemma 5.2. The ergodic decomposition of h corresponds to the spectral decomposition for the Anosov map and consists of the∗ physical measures.

N Proof. Let Π′h = φl ψlh h and recall that φl T = φl. For each h l=1 M ∗ ◦ ∈ q(M, R) let hˆ = h Π′h. Then C P− R n 1 2 n 1 2 1 − 1 − h T mk¯ Π′h = hˆ T mk¯ M n ◦ − M n ◦ Z Xk=0 Z kX=0 n 1 n 1 n 1 − 1 − 1 − 1 ˆ mk¯ ˆ mj¯ mk¯ ˆ2 ˆ mk¯ mj¯ ˆ mj¯ = 2 h T h T = 2 1h +2 2 h − h 1 n¯ M ◦ ◦ n M L n M L L k,jX=0 Z kX=0 Z k>jX=0 Z n 1 n j 1 1 − − − 1 = +2 hˆ ml¯ hˆ mj¯ 1 O n n2 L L j=0 M X Xl=1 Z n 1 n j 1 n 1 n j 1 1 − − − 1 − − − 1 = +2 hˆΠhˆΠ1 + C (σl + σj ) O n n2 n2 j=0 M j=0 X Xl=1 Z X Xl=1 n 1 n j 1 1 − − − 1 = +2 hˆΠhˆΠ1. O n n2 j=0 M X Xl=1 Z 18 WAELBAHSOUNANDCARLANGELOLIVERANI

Next note that, recalling (5.4),

hˆΠhˆΠ1 = hˆΠhhˆ ∗ ZM ZM N N N = hψlh φlhhˆ ψlh h φlψj h φj hhˆ =0. ∗ ∗ − ∗ ∗ ∗ M M j=1 M M M Xl=1 Z Z Xl=1 X Z Z Z It follows

n 1 2 1 − mk¯ 1 (5.5) h T Πh Chn− . M n ◦ − ≤ Z k=0 X

By Chebyshev this implies that

n 1 1 − mk¯ Ch ω x M : h T Πh ε 2 . ( ∈ n ◦ − ≥ )! ≤ ε n k=0 X k αk thus, if we consider α (0, 1) and the set I = k N 2 + j2 0 j<2(1−α)k , each ∈ ∪ ∈ { } ≤ sequence nj I will have limit ω a.s. by a standard Borel-Cantelli argument. On the other{ } hand, ⊂ since h is bounded, this readily implies

n 1 N − 1 mk¯ lim h T = Π′h = φl ψlh h ω-a.s.. n ∗ →∞ n ◦ M Xk=0 Xl=1 Z By an obvious approximation argument the same can be proven for each h 0(M, R). This implies that the ergodic decomposition of h consists of the physical∈ Cmeasures. It is well known that these are the SRB measures∗ of the system.

Remark 5.3. If the map is topologically transitive, then the physical measure is unique and so are the physical measures of the powers of the map. Hence the map is mixing, and no other eigenvalue of modulus one exist. Thus, the transfer operator has a spectral gap and the map is exponentially mixing for BV observables.

Appendix A. Norms estimates We provide a few tools on how to estimate q norms of products and compositions of functions. These are well known facts, yetC it is not so easy to ﬁnd in the literature the exact statements needed here, so we provide them for the reader’s convenience.

Proof of Lemma 2.9. Let ϕ, ψ ρ(M, C). First we prove, by induction on ρ, ∈C ρ α ρ β γ (A.1) sup ∂ (ϕψ) 0 sup ∂ ϕ 0 sup ∂ ψ 0 . α =ρ k kC ≤ k β =ρ k k kC γ =k k kC | | kX=0 | | − | | ANOSOVDIFFEOMORPHISMS 19

Indeed, it is trivial for ρ = 0 and

α α 0 0 ∂xi ∂ (ϕψ) = ∂ (ψ∂xi ϕ + ϕ∂xi ψ) k kC k kC ρ ρ β γ 0 0 sup ∂ ∂xi ϕ sup ∂ ψ ≤ k β =ρ k k kC γ =k k kC k=0 | | − | | Xρ ρ β γ 0 0 + sup ∂ ∂xi ψ sup ∂ ϕ k β =ρ k k kC γ =k k kC k=0 | | − | | ρX ρ β γ sup ∂ ϕ 0 sup ∂ ψ 0 ≤ k β =ρ k+1 k kC γ =k k kC Xk=0 | | − | | ρ+1 ρ γ β + sup ∂ ψ 0 sup ∂ ϕ 0 ρ +1 k γ =k k kC β =ρ k+1 k kC kX=1 − | | | | − ρ ρ ρ+1 from which (A.1) follows taking the sup on α, i and since k + ρ+1 k = k . The ﬁrst statement of the Lemma readily follows: −

ρ k ρ k k β γ ϕψ ρ = ̟ − sup ∂ ϕ 0 sup ∂ ψ 0 k kC j k kC k kC j=0 β =k j γ =j kX=0 X | | − | | ρ ρ ρ k k β γ = ̟ − sup ∂ ϕ 0 sup ∂ ψ 0 j k kC k kC j=0 β =k j γ =j X Xk=j | | − | | ρ ρ j − j + l ρ j l β γ ̟ − − sup ∂ ϕ 0 sup ∂ ψ 0 ϕ ρ ψ ρ ≤ j k kC k kC ≤k kC k kC j=0 β =l γ =j X Xl=0 | | | | since j+l 2j+l ̟ρ. The extension to functions with values in the matrices is j ≤ ≤ trivial since we have chosen a norm in which the matrices form a normed algebra. To prove the second inequality of the Lemma we proceed again by induction on ρ. The case ρ = 1 is trivial from the deﬁnition of the norm. Let us assume that the statement is true for every k ρ and show it for ρ + 1. By the deﬁnition of ρ , ≤ k·kC ρ+1 ρ+1 0 ρ (A.2) ϕ ψ ̟ ϕ + sup ∂xi (ϕ ψ) . k ◦ kC ≤ k kC i k ◦ kC

By hypothesis,21 we have

t ρ ρ ρ ∂xi (ϕ ψ) sup (∂xj ϕ) ψ (Dψ) k ◦ kC ≤ j k ◦ kC k kC ρ k ρ+1 q ρ ρ k t ρ +1 ρ+1 q t ̟ − ϕ k+1 (Dψ) ρ−i ̟ − ϕ q (Dψ) ρ+1−j . ≤ k k kC k kC ≤ q k kC k kC i=0 q=1 j=1 kX=0 Y X Y Finally notice that the term with q = 0 in the sum above is exactly the ﬁrst term of the r.h.s. of (A.2), which gives the result for ρ + 1 and proves the induction.

21 ρ ρ+1 Below we use the elementary fact q−1 ≤ q , q ≤ ρ + 1. 20 WAELBAHSOUNANDCARLANGELOLIVERANI

Remark A.1. Notice that, for ϕ, ψ ρ, the deﬁnition of the norm and Lemma 2.9 imply ∈ C

ρ ρ ρ j t j (A.3) ϕ ψ ρ ϕ ρ ̟ − (Dψ) ρ−1 . k ◦ kC ≤k kC j k k j=0 C X

Appendix B. Foliations: regularity properties This appendix is devoted to proving Lemma 2.6 and a few other technical Lem- mas. In essence we study the behaviour of foliations under iteration. This is very similar to what is done in the construction of the invariant foliations and in the study of their regularity properties, including the regularity of the holonomies. The rea- son to redo it here without appealing to the literature is that we need these facts in an unconventional form. In particular, we could not find anywhere in the literature the infinitesimal characterisation of the holonomy used here: A characterization hopefully very helpful in the study of discontinuous hyperbolic maps. Given such a new twist in the theory, we think it is appropriate to present a more general result: we will control also the regularity of the leaves, and of their tangent spaces, in the unstable direction although this is not needed in the present paper. More precisely we will see that the derivatives of the foliation along the leaves vary in a τ0-Hölder manner. The optimal τ0 is well known to depend on a bunching condition [PSW, HW]. We ignore this issue since it largely exceeds our present purposes and to investigate it would entail a lengthier argument. Note that Lemma 2.6 is a special case of Proposition B.1 below when choosing τ = 0. Let τ (0, 1), given ϕ : M R we define, for some δ > 0, ∈ → ⋆

ϕ(ξ) ϕ(ξ′) τ 0 (B.1) ϕ = ϕ + sup sup | − τ | k kC k kC ξ M d(ξ,ξ′) δ d(ξ, ξ′) ∈ ≤ ⋆ ξ=ξ′ 6 where d( , ) is the Riemannian distance and δ⋆ (0, 1). Also, for each r R, r = q + τ·, ·q N 0 , we deﬁne ∈ ∈ ∈ ∪{ }

q α α ϕ r = sup ∂ ϕ 0 + sup ∂ ϕ τ . k k α =k k kC α =q k kC Xk=0 | | | |

Note that, for τ = 0, the above corresponds to (2.7) with the choice ̟ = 1.22 τ Note that ϕ φ τ ϕ τ φ τ , so is a Banach algebra. The same holds for matrix valuedk · functions.kC ≤ k kC k kC C

22This choice of a diﬀerent equivalent norm, limited to this appendix, is slightly annoying, but convenient. ANOSOVDIFFEOMORPHISMS 21

Although the above norms are all equivalent, they depend on δ⋆. We will choose δ in (B.11). Let T r and define, for τ [0, 1), ⋆ ∈C ∈ r,τ r α ( α 1)2 := W : sup ∂ F ( ,y) 0 0 Rdu L | |− , 2 α r; L y ξ (Uu, ) W ∈ F C ξ;y U 0 k · kC ≤ ≤ | |≤ n ∈ s α α 2 sup sup ∂ F ( ,y) τ 0 Rdu 2L| | , α r 1; y ξ (Uu, ) ξ y U 0 k · kC ≤ | |≤ − ∈ s (B.2) 2 α Fξ ( α +1) sup sup ∂ H ( ,y) 0 0 Rds L | | , α r 2; y (Uu, ) ξ y U 0 k · kC ≤ | |≤ − ∈ s 2 α Fξ ( α +2) sup sup ∂ H ( ,y) τ 0 Rds 2L | | , α r 3 . y (Uu, ) ξ y U 0 k · kC ≤ | |≤ − ∈ s o Note that, recalling the cone definition (2.3), the Definition 2 and the subsequent r,τ definition of F , it follows that, for W L , the corresponding F must satisfy ∂ F 1 and F (x, y) x + y . ∈ W k y k≤ k k≤k k k k Proposition B.1. There exists τ0 (0, 1), δ⋆ > 0, n0 N and L > 0 such that, ∈ r,τ0 n ∈ r,τ0 for all n N, n n0, L1 L, W , we have W . ∈ ≥ ≥ ∈WL1 ∈WL1/2 r,τ Remark B.2. Note that for τ = 0 the conditions in L reduce to a control on the sup norm of the derivatives ∂αF ( ,y) exactly as inW the definition of r in y · WL Definition 3. The control stated in Proposition B.1 on ∂αF ( ,y) is known, as for y · ∂αHF ( ,y) we are not aware of this result anywhere in the literature. y · r,τ n Remark B.3. Note that for each W L , τ > 0, the foliation T W converges to the invariant foliation (since the contraction∈W of the cone fields implies that, for all n n s 23 x M, DT nxT − T nxW (T x) converges to the stable distribution E ). More- ∈ F T n αF over, if n describes T W , then the ∂y n are uniformly Hölder. Accordingly, for n each τ ′ < τ, by compactness, T W has a convergent subsequence, hence it converges r,τ to the stable foliation, and all the quantities in the definition of L converge as well. It follows that the stable foliation have r leaves with derivativesW in y uni- F C formly τ ′ Hölder in x. Analogously, also H and its derivatives converge. This implies that the invariant foliation has a Holonomy uniformly absolutely continuous (see Lemma B.7 and Remark B.8 for the definitions of the Holonomy, its Jacobian J F and its properties). Similar results hold also in the case τ =0, but the argument is a bit more involved. Proof of Proposition B.1. The first step in proving the Proposition is to de- termine, for each ξ M and n N, the functions F n associated to W n.24 ∈ ∈ T −nξ Note that it suffices to compute the norms in (B.2) in a special neighborhood of n 0 Rdu T − ξ =: ξ′. Indeed, if φj (ξ′) = (x′,y′) and Uu = x : x δ⋆ then it 0 0 { ∈ k k ≤1 } suffices to consider the set (x′,y′)+ U U since, setting ζ ′ = φ− (x′ + x, y′), u × s ξ ,x j b ′ a direct computation shows that Fζξ′,x (u,y)= Fξ (x + u,y) x. Thus b − F ′ (x, y) F ′ (˜x,y) Fζ ′ (0,y) Fζ ′ (u,y) ξ ξ k ξ ,x − ξ ,x k sup k − τ k = sup sup τ . x U 0 x x˜ x U 0 0 u u ∈ u u Ubu x ∈x˜ δ k − k ∈ k k k − k≤ ⋆ 23 Here TxV is the tangent space of the manifold V at the point x and W (x) is the fiber of the s foliation passing through x. While E (x) is the stable subspace in TxM. 24Since the point ξ in the present argument is fixed once and for all, in the following we will often suppress the subscript ξ. We will also suppress the n dependence if no confusion arises. 22 WAELBAHSOUNANDCARLANGELOLIVERANI

While, for α > 0, | | α α ′ ′ α α ∂y Fξ (x, y) ∂y Fξ (˜x,y) ∂ F ′ ( ,y) τ 0 Rdu = sup ∂ F ′ (x, y) + sup k − k y ξ (Uu, ) y ξ τ k · kC x U 0 k k x U 0 x x˜ ∈ u u x ∈x˜ δ k − k k − k≤ ⋆ α α ∂y Fζ ′ (0,y) ∂y Fζ ′ (u,y) = sup ∂αF (0,y) + sup k ξ ,x − ξ ,x k . y ζξ′,x τ 0 k k u x Uu ( u U 0 ) ∈ ∈ bu k k Hence the sup on y and ξ′ can be computed taking the sup of the quantity in the curly bracket (and the same for HF ). n Let (Vi, φi), (Vj , φj ) be the charts associated to ξ and T − ξ respectively and n 1 consider the map S = φj T − φi− . By a simple translation we can assume, ◦ ◦ n w.l.o.g., that φi(ξ) = 0 and φj (T − ξ) = 0. From now on we use (x, y) for the n coordinate names at φi(ξ) and (u,s) for the coordinate names at φj (T − ξ). By a linear change of coordinates, that leaves y = 0 and s = 0 fixed, we can n { } { } have ∂yF (0, 0) = ∂sF (0, 0) = 0. Such a change of coordinates may affect the norms yielding some extra (uniformly bounded) constant in the estimates. We will ignore this to simplify notations since its effect is trivial. Also remember that, by construction, F (x, 0) = x, F n(u, 0) = u. It follows from the usual graph transform (see [KH, Proof of Theorem 6.2.8 (Hadamard-Perron)]) that 1 (B.3) S− (u, 0)=(β(u), G(β(u)),

r+τ Rdu Rdu where β ( , ), G r+τ (Rdu ,Rds ) c1, for some c1 > 0 depending ∈ C k kC ≤ only on T . Moreover, DG η < 1 by the invariance of the cone ﬁeld and k k ≤ 1 1 n β(0) = 0, G(0) = 0 by construction. Moreover, by (2.2), (Dβ)− 0 c0− λ− 1 k kC ≤ while, setting λ = max DT , DT − , we have, for some constant C > 0, + {k k k k} 1 (B.4) β(u) (β(u), G β(u)) C λn u . k k≤k ◦ k≤ 1 +k k In addition, (z,DξG(z)) z Rdu is uniformly traversal to (DξF (ζ), ζ) ζ Rds . Hence, setting{ } ∈ { } ∈ A B (B.5) D S = (x,y) C E we have 1 A(x, G(x)) = (Dxβ)− B(x, G(x))DxG (B.6) − C(x, G(x)) = E(x, G(x))D G ; B(0, 0)=0, − x where the last equality follows by the choice of the coordinates.

For each x, the manifold (F (x, y),y) y Rds intersects the manifold (z, G(z)) Rdu in a unique point determined{ by the equation} ∈ { } (F (x, y),y) = (z, G(z)) which is equivalent to L(z, x) := z F (x, G(z)) = 0. Since L(0, 0) = 0 we apply the − implicit function theorem and obtain a function Γ : U 0 Rdu Rdu such that 25 u ⊂ → (B.7) Γ(x)= F (x, G Γ(x)). ◦ 25 Since the implicit function theorem yields a uniform domain D(Γ), of Γ, we can take δ0 0 small enough so that D(Γ) ⊃ Uu. ANOSOVDIFFEOMORPHISMS 23

Since ∂ F 1 and recalling DG η< 1, 1 ∂ F DG is invertible. Hence, k y k≤ k k≤ − y 1 DΓ = (1 ∂ F DG)− ∂ F. − y x Note that, remembering (2.5), D0Γ = 1. Moreover, Γ is invertible since, recalling (B.7), Γ(x)=Γ(x′) implies

(F (x, G Γ(x)), G Γ(x)) = (F (x′, G Γ(x′)), G Γ(x)) = (F (x′, G Γ(x)), G Γ(x)) ◦ ◦ ◦ ◦ ◦ ◦ which forces x = x′ since the leaves of the foliation are disjoint by hypothesis. Rdu n By definition, for each u small enough, (F (u,s),s) s Rds is the graph of the leaf of W n passing through∈ (u, 0), hence of the{ image of the} ∈ leaf of W passing 1 n through (Γ− β(u), 0). In other word (F (u,s),s) s Rds coincides with the leaf 1 ◦ { } ∈ S(F (Γ− β(u),y),y) y Rds . { To continue◦ we need} some∈ estimates on DS. But, before that, it is convenient to make some choices and definitions whose meaning will become clear later in the proof. Let τ (0, 1) be such that 0 ∈ 1 8τ0 (B.8) σ := max ν, λ− λ < 1. 1 { }· + Next, let σ1 <σ< 1, fix C⋆ > 0 to be chosen later (see equations (B.16), (B.20) and (B.25)) and let n⋆ be the smallest integer such that

n⋆ n r n 2r (B.9) C σ = σ ⋆ < (1/8) , ν ⋆ 2− . ⋆ 1 ≤ Remark B.4. Up to now δ0 was arbitrary provided we chose it small enough: the requirements are in Section 2.4 where we ﬁx the charts and in footnote 25. In the following we will have also a condition in equation (B.12) to apply the implicit function theorem, and we will use δ0 < 1/8 in equation (B.14). All such choices can be sumarized by the condition δ0 δ1 for some δ1 (0, 1/8) depending only on T . However in the next Lemma we will≤ have a requirement∈ depending on n.

1 Lemma B.5. There exists η, σ0 (0, 1) and C0 max 2, 6c0− such that, for each n N, d d matrix U, U ∈ 1, we have ≥ { } ∈ u × s k k≤ 1 n 1 1 CU + E C− ν− ; E− C η ; (AU + B)(CU + E)− η. k k≥ 0 k k≤ k k≤ 1 n In particular, E− C0ν . Moreover, there exists a constant C♭ > 0 such k k ≤ 1 4n⋆ that, if we choose δ0 = min δ1, C0C♭− λ−+ /3 , then, for all n n⋆,..., 2n⋆ , n { } ∈ { } A + B C λ− . k k k k≤ 0 Proof. By the strict invariance of the cone ﬁeld (see section 2.2) and the Anosov property (2.2) it follows that, for each U there exists matrices U ,H, with U η 1 k 1k≤ c0√2 n and H ν− , such that k k≥ √1+η2 Uv (U Hv,Hv)= DS = ([AU + B]v, [CU + E]v). 1 v 1 Thus, H = CU + E and U1 = (AU + B)(CU + E)− from which the ﬁrst and third inequality readily follow. Analogously, for each V there exists V,˜ H˜ , V˜ η, 1 n k k ≤ H˜ c− √2λ− , such that k k≤ 0 v DS = (Hv,V˜ Hv˜ ), V˜ v 24 WAELBAHSOUNANDCARLANGELOLIVERANI

1 which implies the second inequality and, for V = 0, yields E− C = V˜ η. Note that k k k k ≤ n 1 1 ∂ DT − = D D −n+1 T − D T − xp T x ··· x n 1 d − 1 1 1 1 1 = D −n+1 T − D −k−1 T − ∂ (D −k T − )D −k+1 T − D T − T x ··· T x xj T x T x ··· x j=1 Xk=0 X k (D T − ) × x jp 1 Recalling that λ = max DT , DT − , it follows that there exist a constant + {k k k k} C♭ > 0, depending only on T and on the coordinate changes φi , such that DB 2n⋆ { } k k≤ C♭λ+ . Then, since B(0, 0)=0, see (B.6), it follows

2n⋆ n B δ DB C λ− /3 C λ− /3, k k≤ 0k k≤ 0 + ≤ 0 and

n 1 n n 2C0 n A H˜ + BV˜ H˜ + ηC λ− /3 c− √2λ− + C λ− /3 λ− k k≤k k k k≤k k 0 ≤ 0 0 ≤ 3 from which the last assertion of the Lemma readily follows. We are now ready to study F n. Let us consider the function 1 Ξ(v,s,u,y) = (v,s) S(F (Γ− β(u),y),y). − ◦ 1 It is convenient to set Υ(u)=Γ− β(u). Note that (B.7) implies ◦ 1 1 1 x = F (Γ− (x), G(x)) F (Γ− (x), 0) η x = Γ− (x) η x , k k k k≥k k− k k k k− k k That is 1 (B.10) Γ− (x) (1 + η) x . k k≤ k k We want to insure that Υ(u) δ . Recalling (B.4) this is implied by k k≤ 0 (B.11) C (1 + η)δ λ2n⋆ δ . 1 ⋆ + ≤ 0 Note that Ξ(u, 0,u,G(β(u))) = (u, 0) S(F (Υ(u), G(β(u))), G(β(u))) − = (u, 0) S(β(u), G(β(u))) = 0. − To study the zeroes of Ξ we apply the implicit function theorem. Since 1 A∂ F + B det ∂ Ξ ∂ Ξ = det y v y 0 C∂ F + E y we can compute

det ∂vΞ(u, 0,u,G(β(u))) ∂yΞ(u, 0,u,G(β(u)))

= det E(β(u), G(β(u))) det 1 DG(β(u))∂y F (Υ(u)) =0 − 6 where we have used (B.6) and DG∂ yF η. Thus there exists a uniform (in n) neighborhood of (u, G(β(u)) wherek the implicitk ≤ function theorem can be applied. Thus, we can choose δ small enough so that, for each n N, there exist F n, Φ r: 0 ∈ ∈C v = F n(u,s) (B.12) y = Φ(u,s). 1 Moreover, deﬁning the change of coordinates Ω(u,s)=(Γ− β(u), Φ(u,s)) = (x, y), ◦ (B.13) Fn(u,s)= S F Ω(u,s) . ◦ ◦ ANOSOVDIFFEOMORPHISMS 25

Note that 1 (B.14) Fn(u,s) Fn(u,s) Fn(u, 0) + Fn(u, 0) s + u 2δ . k k≤k − k k k≤k k k k≤ 0 ≤ 4 Differentiating (B.13) with respect to s we obtain ∂ F n ∂ F n A B ∂ F ∂ F ∂ Υ 0 u s = x y u 0 1 C E 0 1 ∂ Φ ∂ Φ u s which yields, 1 ∂sΦ = (E F Ω+ C F Ω ∂yF Ω)− (B.15) ◦ ◦ ◦ ◦ · ◦ ∂ F n = (A F Ω ∂ F Ω+ B F Ω) ∂ Φ. s ◦ ◦ · y ◦ ◦ ◦ s 2 C0 Then Lemma B.5 yields, provided C⋆ 1 η , ≥ − 1 1 1 C0 n 1 ∂ Φ E− (1 + [E− C] F ∂F )− ν k s k≤k kk ◦ · k≤ 1 η ≤ 8r (B.16) 2 − n C0 n n 1 ∂ F ν λ− . k s k≤ 1 η ≤ 8r − α n We now study ∂s F when α 2. Differentiating (B.15) and setting ∆ = 1 1 | | ≥ − (1 + (E− C) F ∂ F )− and ∆ = (A F ∂ F + B F) we obtain, ◦ · y + ◦ · y ◦ ds n ∂s ∂s F = (DS F, ∂yF, ∂y ∂y F ) Ω ∂s Φi ∂s Φi 2 1 H ◦ i2 i1 ◦ · 1 1 2 2 (B.17) i ,i =1 1X2 +Θ (DS F,D2S F, ∂ F ) Ω 1 ◦ ◦ y ◦ where Θ is a rational function of its arguments and, for an arbitrary matrix , 1 R 1 (DS F, ∂yF, ) := A F ∆ E− F H ◦ R ◦ ·R· − · ◦ 1 F 1 F ∆+∆ (E− C) ∆ E− . − − · ◦ ·R· − · ◦ Note that Lemma B.5 implies 2 C0 n n (B.18) (DS F, ∂ F, ) λ− ν . kH ◦ y R k≤ (1 η)2 kRk − Differentiating further (B.17) we can prove, by induction, that, for all l r, ≤ ds n ∂s . . . ∂s F = (DS F, ∂yF, ∂y . . . ∂y F ) Ω ∂s Φi ∂s Φi jl j1 H ◦ il i1 ◦ · j1 1 ··· jl l (B.19) i ,...,i =1 1 Xl l l 1 +Θl 1(DS F,...,D S F, ∂yF, . . . , ∂y− F ) Ω − ◦ ◦ ◦ where the Θ are sums of functions k -multilinear in ∂j F , for j 2,...,l , such l j y ∈ { } that l k (j 1) l. Indeed, we have seen that this is true for l = 2. On the j=2 j − ≤ other hand, if it is true for l 1, then differentiating (B.19) we produce several terms. P Let us analyse them one by− one. The term proportional to , when differentiated l H with respect to ∂yF , yields the correct term proportional of . When differentiated k k+1 H with respect to D S F yields a function of D S F multiplied by ∂yF ∂sΦ ◦ j ◦ · so the multilinearity with respect to ∂yF , for j 2,...,l , is unchanged. When ∈ { } 2 26 differentiating with respect to ∂yF , the term gets multiplied by ∂y F . Thus, calling

26 Recall that a dependence from ∂yF is contained in ∂sΦ, see (B.15). 26 WAELBAHSOUNANDCARLANGELOLIVERANI kj′ the multilinearities of the term obtained we have kl′ = 1, k2′ = 1 and all the other l k′ are zero. That is k′ (j 1) = l 1+1= l. j j=2 j − − Next we must diﬀerentiate Θl 1. Again the only change in the multilinearity occurs when diﬀerentiatingP with respect− to a ∂mF , m 1,...,l 1 . If j = 2 then y ∈{ − } we have (calling again k′ the new multilinearities) k2′ = k2 +1 and kj′ = kj for j > 2, l 1 that is =2− kj′ (j 1) = l 1+1 = l. If m> 1, hence km′ = km 1, km′ +1 = km+1 +1 − − l − and k′ = k for j m,m +1 , that is k′ (j 1) = l 1 (m 1)+ m = l. j P j 6∈ { } j=2 j − − − − Which proves our claim. Using equations (B.16) and (B.18) to estimateP (B.19) yields, for all l 2,...,r , ∈{ } 2+l l n l C0 n n(l+1) l ∂sF ds λ− ν ∂sF + Θl 1 k k≤ (1 η)2+l k k k − k∞ − 2+l 2 l−1 2 l C0 n n(l+1) (l 1) Pj=2 kj (j 1) d λ− ν L − + C L − ≤ s (1 η)2+l 1 n 1 − 2+l 2 l C0 n n(l+1) (l 1) (l 1) d λ− ν + C L− − L − . ≤ s (1 η)2+l n 1 1 " − # Choosing 2+r r C0 C⋆ ds (B.20) ≥ (1 η)2+r − 2 L > max 1, 2r max C ,...,C . 1 { { n⋆ 2n⋆ }} equation (B.9) implies, as announced,

l n (l 1)2 (B.21) ∂ F [L /2] − . k s k≤ 1 αFn Next we estimate the Hölder norms of ∂s for α r 1. We first treat the case α = 0. By strict cone field invariance and the continuity| |≤ − of the cone field it follows |that,| for all s, 1 n (B.22) S− F (u,s) = (F Ω(u,s), G (F Ω(u,s))) ◦ s ◦ with DG η< 1. Remark that (B.13), (B.22) and (B.3) imply k sk≤ (F Ω(u, 0), Φ(u, 0)) = (F Ω(u, 0), G (F Ω(u, 0))) ◦ ◦ 0 ◦ 1 n 1 = S− F (u, 0) = S− (u, 0)=(β(u), G(β(u))), that is G0 = G and (B.23) Φ(u, 0) = G(β(u)). 1 n Analogously, by (B.13) S− F (u,s) = (F Ω(u,s), Φ(u,s)). Hence ◦ Φ(u,s) Φ(u′,s) = G (F Ω(u,s)) G (F Ω(u′,s)) k − k k s ◦ − s ◦ k η F Ω(u,s) F Ω(u′,s) ≤ k ◦ − ◦ k η F (Υ(u), Φ(u,s)) F (Υ(u′), Φ(u,s)) + η Φ(u,s) Φ(u′,s) ≤ k − k k − k where we have used ∂ F 1. Accordingly k y k≤ η (B.24) Φ(u,s) Φ(u′,s) F (Υ(u), Φ(u,s)) F (Υ(u′), Φ(u,s)) . k − k≤ 1 η k − k − Next we prove an auxiliary lemma, which will be used repeatedly in the following. ANOSOVDIFFEOMORPHISMS 27

0 Rd′ N Lemma B.6. Let : U , d′ . Assume supy U 0 ( ,y) 0(U 0,Rd′ ) D0, G → ∈ ∈ s kG · kC u ≤ ˜ supy U 0 ( ,y) τ (U 0,Rd′ ) D′ with τ [0, τ0] and ∂y 0 D. Then, for all ∈ s kG · kC u ≤ ∈ k GkC ≤ n n ,..., 2n , we have ∈{ ⋆ ⋆} 1 n n 1 τ c− max ν , λ− Ω(u,s) Ω(0,s) (1 η)max D ,D′ +2ηD˜ u . 0 { }kG◦ −G◦ k≤ 8 − { 0 } k k 1 h i Proof. Let θ = max ν, λ− . We start analyzing Υ(u) δ . By(B.24), we get { } k k≤ ⋆ 2η Φ(u,s) Φ(0,s) Υ(u) τ0 . k − k≤ (1 η)k k − Hence, by (B.10) and (B.4) we have,

1 n 1 n τ c− θ Ω(u,s) Ω(0,s) c− θ D′ Υ(u) + D˜ Φ(u,s) Φ(0,s) 0 kG ◦ −G◦ k≤ 0 k k k − k n τ ˜ nh τ ˜ i θ (1 + η) 2Dη τ θ (1 + η) 2Dη τ τn τ D′ + β(u) D′ + C λ u . ≤ c 1 η k k ≤ c 1 η 1 + k k 0 " − # 0 " − # 27 Consequently, provided that C⋆ in (B.9) satisﬁes

τ τ τ0 τ 2(1 + η) C (δ− + C ) (B.25) C 1 1 ♭ , ⋆ ≥ c (1 η) 0 − we have 1 n ˜ n τ c0− θ Ω(u,s) Ω(0,s) C⋆(1 η)D′ +2ηC⋆D σ1 u (B.26) kG ◦ −G◦ k≤ − k k 1 τh i (1 η)D′ +2ηD˜ u , ≤ 8 − k k h i where, in the last line, we have used (B.9). We are left with the analysis of the case Υ(u) δ . By(B.10), (B.11), (B.4), (B.8) we have k k≥ ⋆ 1 n 1 n 1 n τ τ τ c− θ Ω(u,s) Ω(0,s) c− θ 2D c− θ (1 + η) 2D δ− β(u) 0 kG ◦ −G◦ k≤ 0 0 ≤ 0 0 ⋆ k k 1 n τ τ 2τn⋆ τ τn τ c− θ (1 + η) 2D δ− λ C λ u . ≤ 0 0 0 + 1 + k k Thus, if δ0 = δ1, then

1 n (1 η)D0 τ c− θ Ω(u,s) Ω(0,s) − u , 0 kG ◦ −G◦ k≤ 8 k k otherwise, recalling Lemma B.5 and equation (B.9), τ τ 1 n (1 η)3 C♭ C⋆ τ n 4n⋆τ τ c− θ Ω(u,s) Ω(0,s) − δ− θ ⋆ λ D u 0 kG ◦ −G ◦ k≤ Cτ 0 + 0k k (B.27) 0 (1 η)D0 (1 η)C θn⋆ λ8n⋆τ D u τ − u τ ≤ − ⋆ + 0k k ≤ 8 k k from which the Lemma follows. Note, for further use, that the above computation imply, as well,

1 n 1 τ (B.28) c− θ Φ(u,s) Φ(0,s) u 0 . 0 k − k≤ 2k k

27 See remark B.4 for the deﬁnition of δ1. Also we consider a C⋆ larger than what is needed at this stage for later purposes in this proof. 28 WAELBAHSOUNANDCARLANGELOLIVERANI

We now estimate Fn(u,s) Fn(0,s) . By(2.2) and (B.13) we have, k − k n n 1 n F (u,s) F (0,s) c− λ− (F Ω(u,s), Φ(u,s)) (F Ω(0,s), Φ(0,s)) . k − k≤ 0 k ◦ − ◦ k Recalling (B.28), we can apply Lemma B.6 with = F , τ = τ , D = 1, D′ = 2 G 0 0 and D˜ = 1 to obtain, for all n [n , 2n ], ∈ ⋆ ⋆ 1 (B.29) Fn(u,s) Fn(0,s) u τ0 . k − k≤ 4k k From which, recalling (B.14), it follows the wanted estimate

n 1 (B.30) sup F ( ,s) τ0 . s k · kC ≤ 2

Next, we discuss the case α > 0. We start by estimating ∂sΦ τ . To simplify | | k kC0 the notation in the expression below, let a = (u,s) and b = (0,s). Using (B.15), (B.16) and Lemma B.5 notice that ∂ Φ(a) ∂ Φ(b) k s − s k 1 1 1 1 E− F Ω(b) E− F Ω(a) 1 + E F Ω(b)− C F Ω(b) ∂ F Ω(b) − ≤k ◦ ◦ − ◦ ◦ k·k ◦ ◦ ◦ ◦ · y ◦ k 1 1 1 + (E− F Ω(a)) 1 + E F Ω(a)− C F Ω(a) ∂ F Ω(a) − k ◦ ◦ k·k ◦ ◦ ◦ ◦ · y ◦ k 1 1 E F Ω(a)− C F Ω(a) ∂ F Ω(a) E F Ω(b)− C F Ω(b) ∂ F Ω(b) ×k ◦ ◦ ◦ ◦ · y ◦ − ◦ ◦ ◦ ◦ · y ◦ k 1 1 1 + E F Ω(b)− C F Ω(b) ∂ F Ω(b) − ×k ◦ ◦ ◦ ◦ · y ◦ k 1 1 1 1 E− F Ω(b) E− F Ω(a) 1 + E F Ω(b)− C F Ω(b) ∂yF Ω(b) − ≤k n ◦ ◦ − ◦ ◦ k×k ◦ ◦ ◦ ◦ · ◦ k C0ν 1 1 + E F Ω(a)− C F Ω(a) ∂ F Ω(a) E F Ω(b)− C F Ω(b) ∂ F Ω(b) 1 η k ◦ ◦ ◦ ◦ · y ◦ − ◦ ◦ ◦ ◦ · y ◦ k − C νn 0 ∂ F Ω(a) ∂ F Ω(b) + C νn F Ω(b) F Ω(a) . ≤ 1 η k y ◦ − y ◦ k n k ◦ − ◦ k − We apply Lemma B.6 with = ∂ F , D˜ = L , D = 1, D′ =2L and with = F G y 1 0 1 G with D˜ = 1, D0 = 1, D′ = 2. Recalling (B.28), we obtain C c C c (B.31) ∂ Φ(a) ∂ Φ(b) 0 0 L + n 0 u τ . k s − s k≤ (1 η)4 1 4 k k − Next, by (B.15), n n ∂sF (a) ∂sF (b) [A F ∂yF + B F] Ω(b) [A F ∂yF + B F] Ω(a) ∂sΦ 0 k − k ≤k ◦ · ◦ ◦ − ◦ · ◦ ◦ k·k kC + [A F ∂yF + B F] Ω 0 ∂sΦ(b) ∂sΦ(a) . k ◦ · ◦ ◦ kC ·k − k Using again Lemma B.5, A F Ω(a) ∂ F Ω(a)+ B F Ω(a) A F Ω(b) ∂ F Ω(b) B F Ω(b) k ◦ ◦ · y ◦ ◦ ◦ − ◦ ◦ · y ◦ − ◦ ◦ k A F Ω(a) ∂ F Ω(a) ∂ F Ω(b) + C F Ω(b) F Ω(a) ≤k ◦ ◦ kk y ◦ − y ◦ k nk ◦ − ◦ k n n C λ− ∂ F Ω(a) ∂ F Ω(b) + C ν F Ω(b) F Ω(a) . ≤ 0 k y ◦ − y ◦ k n k ◦ − ◦ k Arguing as above and remembering (B.16), (B.8) and (B.9) we obtain, for all n n ,..., 2n , ∈ { ⋆ ⋆} n n 2 (B.32) ∂sF τ 1+ σ1 C0 c0L1 + c0Cn < 2L1, k kC ≤ provided (B.33) L > max 1, 2c max C ,...,C . 1 { 0 { n⋆ 2n⋆ }} ANOSOVDIFFEOMORPHISMS 29

α n For estimating the Hölder constant of ∂s F , α 2,...,r 1 , we can use (B.19).28 Indeed, recalling (B.16), (B.18) and arguing| | ∈{ similarly to− before} yields (B.34) α +2 α 1 2 | |− 2 2 α n α n C0 n | | α ( α 1) (j 1) j2 τ ∂ F (a) ∂ F (b) θ L| | + C L | |− − − L u k s − s k≤  1 η 1 ♯ 1 1  k k j=0  − X  α +2 2 C0 n | | 2 α τ α 2 τ  θ + C L− L| | u (L /2)| | u ≤ 1 η ♯ 1 k k ≤ 1 k k ( − ) provided L has been chosen large enough. To obtain the estimate for all n N 1 ∈ it suffices to write k = kn⋆ + m, with m n⋆,..., 2n⋆ and then iterating the inequalities. ∈ { } We are left with the study of HF . Recalling (B.5), (B.6), (B.15) and differentiating (B.13) with respect to u, yields (B.35) 1 ∂ Φ= (E F Ω+ C F Ω ∂ F Ω)− C F Ω ∂ F Ω DΥ u − ◦ ◦ ◦ ◦ · y ◦ ◦ ◦ · x ◦ · n 1 ∂ F = A F (A F ∂ F + B F)(E F + C F ∂ F )− C F Ω ∂ F Ω DΥ u ◦ − ◦ · y ◦ ◦ ◦ · y ◦ ◦ · x ◦ · = [A F Ω ∂ F n C F Ω] ∂ F Ω DΥ =: [Λ ∂ F Ω] DΥ. ◦ ◦ − s · ◦ ◦ · x ◦ · · x ◦ · We can now compute,

F n n 1 n n 1 n n 1 n 1 H (F )− = ∂ (∂ F ) (F )− = ∂ ∂ F (∂ F )− (F )− l ◦ ui sl i ◦ sl uk i · u k,i ◦ i X Xi,k h i n n 1 n 1 =Trace [∂ ∂ F ](∂ F )− (F )− . sl u u ◦ Thus, using (B.35),

F n n 1 H = Trace (∂ Λ) ∂ F Ω DΥ(∂ F )− l sl · x ◦ · u n 1 +Λ (∂ ∂ F Ω ) DΥ(∂ F )− · sl { x ◦ } · u (B.36) 1 1 = Trace (∂ Λ)Λ− + ∂ Φ Trace (∂ ∂ F (∂ F )− Ω sl sl k yk x x ◦ k F X 1 = H Ω ∂ Φ + Trace (∂ Λ)Λ− . ◦ · sl s 1 1 1 Moreover, note that Trace (∂ Λ)Λ− (0) = Trace[∂ A A− ] [E− ] (0). sl k{ yk · · kl} Hence, using (B.16) we obtain, for all n n⋆,..., 2n⋆ , ∈{ P } F n F C0 n F 0 0 0 (B.37) H H ∂sl Φ + cn ν H + cn L1/2 k kC ≤k · kC ≤ 1 η k kC ≤ − provided L is large enough. Diﬀerentiating (B.36) yields, for each 0

28 β n Since the argument uses a bound on ∂s F for |β| = |α| + 1, we stop at |α|≤ r − 1. 30 WAELBAHSOUNANDCARLANGELOLIVERANI

p F n where Θl is a sum of terms that either do not depend on ∂s H , for all p

29 −1 F n We use the convention that qp,l+2 = 0 and ∂s H = 1. ANOSOVDIFFEOMORPHISMS 31

We conclude the section by clarifying the relation between the function HF and the holonomy associated with the foliation F. The next Lemma shows that the Jacobian of the Holonomy can be seen as a ﬂow of which HF is the “generator”. Lemma B.7. If W r,0, then there exists C > 0 and ρ > 0 such that, for each ∈WL 0 ξ M, 0 <ρ<ρ0 and (x′,y′) ρ, we have det(∂xFξ)(x′, ) q C. More ∈ F k k ≤ k · kC ≤ precisely, setting Jξ (x, y) = det(∂xFξ)(x, y), we have ∂ J F = J F HF F y ξ ξ · ξ ◦ (B.40) F Jξ (x, 0)=1.

Proof. Let (x′,y′) as in the Lemma’s assumption. First of all note that for each vector e Rd we have i ∈ 1 det (∂xFξ)(x′,y′)− ∂xFξ(x′,y′ + hei) 1 ∂yi det(∂xFξ)(x′,y′) = det(∂xFξ) lim · − h 0 h → Trace ln(1+(∂ F )(x′,y′)−1∂ ∂ F (x′,y′)h) e x ξ yi x ξ 1 = det(∂xFξ) lim − h 0 h → 1 = det(∂xFξ)(x′,y′)Trace (∂xFξ)(x′,y′)− ∂x(∂yi Fξ)(x′,y′) . Thus F ∂ det(∂ F )(x′,y′) = det(∂ F )(x′,y′) H F(x′,y′) y x ξ x ξ · ξ ◦ which immediately implies the Lemma since det(∂xFξ)(x′, 0) = 1 by construction.

Note that the first and last term of the above inequality do not involve ∂ F , hence x it holds also for F non differentiable with respect to x, provided they are the limit β of foliations Fk (in the sense that the ∂y Fk converge) that satisfy the inequality uniformly. The same Remark holds also for equation (B.40). In other words if F we consider the true invariant foliation, where ∂xF may make no sense, still H is well defined (see Remark B.3 for details), and so, by equation (B.40), is the Jacobian of the Holonomy J F .

Appendix C. Test Functions Proof of Lemma 2.11. By equation (B.13) it follows

n 1 n 1 1 n 1 ϕ T φ− F (u,s)= ϕ φ− S− F (u,s)= ϕ φ− F(Ω(u,s)) ◦ ◦ i ◦ ◦ j ◦ ◦ ◦ j ◦ (C.1) 1 = ϕ φ− F(Υ(u), Φ(u,s)). ◦ j ◦ n T −nW W Accordingly, ϕ T 0 ϕ 0 and k ◦ kC ≤k kC n 1 n 1 ∂ ϕ T φ− F (u,s)= ∂ ϕ φ− F (Ω(u,s))∂ Φ (u,s). s ◦ ◦ i ◦ zl ◦ j ◦ s l l X Then, diﬀerentiating further the above computation yields, for some C > 0, ∗ q n 1 Fn W q 1 W (C.2) ̟ ∂s ϕ T φi− (u,s) ϕ q ∂sΦl 0 + ̟− C ϕ q 1. ◦ ◦ ◦ ≤k k k kC ∗k k −

32 WAELBAHSOUNANDCARLANGELOLIVERANI

n i By (B.16) ∂sΦ 0 C♯σ , while there exists A0 > 1 such that ∂sΦ 0 A0 for all i r. k kC ≤ k kC ≤ From≤ this and recalling the deﬁnition (2.7) follows −n ϕ T n T W A ϕ W . k ◦ kq ≤ 0k kq On the other hand, recalling (2.8), there exists B0 > 0 such that n T −nW n T −nW q+1 n T −nW ϕ T = ∂ ϕ T + ̟ ϕ T 0 k ◦ kq+1 k s ◦ kq k ◦ kC qn W 1 W A0σ ϕ q+1 +(1+ ̟− C ) ϕ q ≤ k k ∗ k kC qn W W A0σ ϕ q+1 + B0 ϕ q . ≤ k k k kC

References [AGT] A. Avila; S. Gouëzel; M. Tsujii. Smoothness of solenoidal attractors. Discrete Contin. Dyn. Syst. 15 (2006), no. 1, 21–35. [B1] V. Baladi. Anisotropic Sobolev spaces and dynamical transfer operators: C∞ foliations. Algebraic and topological dynamics, 123–135, Contemp. Math., 385, Amer. Math. Soc., Providence, RI, 2005. [B2] V. Baladi. The quest for the ultimate anisotropic Banach space. J. Stat. Phys. 166 (2017), no. 3-4, 525–557. [B3] V. Baladi. Characteristic functions as bounded multipliers on anisotropic spaces. Proc. Amer. Math. Soc. 146 (2018), no. 10, 4405–4420. [B4] V. Baladi. Dynamical Zeta Functions and Dynamical Determinants for Hyperbolic Maps. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge, A series of Modern Surveys in Mathematics, 68 (2018), Springer Ergebnisse. [B5] V. Baladi. Dynamical zeta functions and dynamical determinants for hyperbolic maps. A functional approach. A Series of Modern Surveys in Mathematics, 68. Springer, Cham, 2018. [BDL] V. Baladi, M.F. Demers, C. Liverani. Exponential decay of correlations for finite horizon Sinai billiard flows. Invent. Math. 211 (2018), no. 1, 39–177. [BG1] V. Baladi, S. Gouëzel. Good Banach spaces for piecewise hyperbolic maps via interpolation. Ann. Inst. H. PoincaréAnal. Non Linéaire 26 (2009), no. 4, 1453–1481. [BG2] V. Baladi, S. Gouëzel. Banach spaces for piecewise cone-hyperbolic maps. J. Mod. Dyn. 4 (2010), no. 1, 91–137. [BaL] V. Baladi, C. Liverani. Exponential decay of correlations for piecewise cone hyperbolic contact flows. Comm. Math. Phys. 314 (2012), no. 3, 689–773. [BT] V. Baladi, M. Tsujii. Anisotropic Hölder and Sobolev spaces for hyperbolic diffeomorphisms. Ann. Inst. Fourier 57 (2007) 127–154. [BT1] V. Baladi, M. Tsujii. Dynamical determinants and spectrum for hyperbolic diffeomorphisms, Geometric and probabilistic structures in dynamics, 29–68, Contemp. Math., 469, Amer. Math. Soc., Providence, RI, 2008. K. Burns, D. Dolgopyat and Ya. Pesin (eds), Volume in honour of M. Brin’s 60th birthday. [BKL] M. Blank, G. Keller, C. Liverani. Ruelle-Perron-Frobenius spectrum for Anosov maps. Nonlinearity 15:6 (2001), 1905–1973. [Bu13] O. Butterley. An alternative approach to generalised BV and the application to expanding interval maps. Discrete Contin. Dyn. Syst. 33 (2013), no. 8, 3355–3363. [BuL] O. Butterley, C. Liverani. Smooth Anosov flows: correlation spectra and stability. J. Mod. Dyn. 1, (2007) 301–322. [BuL2] O. Butterley, C. Liverani. Robustly invariant sets in fiber contracting bundle flows. J. Mod. Dyn. 7 (2013), no. 2, 255–267. [DL] M.F. Demers, C. Liverani. Stability of Statistical Properties in Two-dimensional Piecewise Hyperbolic Maps. Trans. Amer. Math. Soc. 360 (2008), no. 9, 4777–4814. [DZ1] M.F. Demers, H.-K. Zhang. Spectral analysis of hyperbolic systems with singularities. Non- linearity 27 (2014), no. 3, 379–433. [DZ2] M.F. Demers, H.-K. Zhang. A functional analytic approach to perturbations of the Lorentz gas. Comm. Math. Phys. 324 (2013), no. 3, 767–830. ANOSOVDIFFEOMORPHISMS 33

[DZ3] M.F. Demers, H.-K. Zhang. Spectral analysis of the transfer operator for the Lorentz gas. J. Mod. Dyn. 5 (2011), no. 4, 665–709. [D17] A. Drouot. Stochastic stability of Pollicott-Ruelle resonances. Comm. Math. Phys. 356 (2017), no. 2, 357–396. [DyZ] S. Dyatlov, M. Zworski. Dynamical zeta functions for Anosov flows via microlocal analysis. Ann. Sci. Ec.´ Norm. Supér. 49 (2016), no. 3, 543–577. [F11] F. Faure. Semiclassical origin of the spectral gap for transfer operators of a partially expanding map. Nonlinearity 24 (2011), no. 5, 1473–1498. [FR] F. Faure, N. Roy. Ruelle-Pollicott resonances for real analytic hyperbolic maps. Nonlinearity 19 (2006), no. 6, 1233–1252. [FRS] F. Faure, N. Roy, J. Sjöstrand. Semi-classical approach for Anosov diffeomorphisms and Ruelle resonances. Open Math. J. 1 (2008), 35–81. [FT1] F. Faure, M. Tsujii. Semiclassical approach for the Ruelle-Pollicott spectrum of hyperbolic dynamics. Analytic and probabilistic approaches to dynamics in negative curvature, 65-135, Springer INdAM Ser., 9, Springer, Cham, 2014. [FT2] F. Faure, M. Tsujii. The semiclassical zeta function for geodesic flows on negatively curved manifolds. Invent. Math. 208 (2017), no. 3, 851–998. [Ga18] S. Galatolo. Quantitative statistical stability, speed of convergence to equilibrium and partially hyperbolic skew products. Journal de l’Ecole´ polytechnique Mathématiques, 5 (2018), 377–405 [GL18] S. Galatolo, R. Lucena. Spectral gap and quantitative statistical stability for systems with contracting fibers and Lorenz-like maps. Discrete Contin. Dyn. Syst. 40 (2020), no. 3, 309– 1360. [GLP] P. Giulietti, C. Liverani, M. Pollicott. Anosov flows and dynamical zeta functions. Ann. of Math. 178 (2013), no. 2, 687–773. [GL19] P. Giulietti, C. Liverani. Parabolic dynamics and anisotropic Banach spaces. J. Eur. Math. Soc. (JEMS) 21 (2019), no. 9, 2793–2858. [G10] S. Gouëzel. Almost sure invariance principle for dynamical systems by spectral methods. Ann. Probab. 38 (2010), no. 4, 1639–1671. [G15] S. Gouëzel. Limit theorems in dynamical systems using the spectral method. Hyperbolic dynamics, fluctuations and large deviations, 161–193, Proc. Sympos. Pure Math., 89, Amer. Math. Soc., Providence, RI, 2015. [GL] S. Gouëzel, C. Liverani. Banach spaces adapted to Anosov systems. Ergodic Theory Dynam. Systems. 26 (2006), no.1, 189–217. [GL1] S. Gouëzel, C. Liverani. Compact locally maximal hyperbolic sets for smooth maps: fine statistical properties. J. Differential Geom. 79 (2008), no. 3, 433–477. [HW] B. Hasselblatt, A. Wilkinson. Prevalence of non-Lipschitz Anosov foliations. Ergodic The- ory Dynam. Systems 19 (1999), no. 3, 643–656. [He] H. Hennion. Sur un théorème spectral et son application aux noyaux Lipchitziens. Proc. Amer. Math. Soc. 118 (1993), 627–634. [J] J.-L. Journé. A regularity lemma for functions of several variables. Rev. Mat. Iberoameri- cana 4 (1988), no. 2, 187–193. [KS] A. Katok; J.-M. Strelcyn; F. Ledrappier; F. Przytycki. Invariant manifolds, entropy and billiards; smooth maps with singularities. Lecture Notes in Mathematics, 1222. Springer- Verlag, Berlin, 1986. viii+283 pp. [KH] A. Katok; B. Hasselblatt. Introduction to the modern theory of dynamical systems. With a supplementary chapter by Katok and Leonardo Mendoza. Encyclopedia of Mathematics and its Applications, 54. Cambridge University Press, Cambridge, 1995. [KL1] G. Keller, C. Liverani. Stability of the spectrum for transfer operators. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 28 (1999), no. 1, 141–152. [KL2] G. Keller, C. Liverani. Uniqueness of the SRB measure for piecewise expanding weakly coupled map lattices in any dimension. Comm. Math. Phys. 262 (2006), no. 1, 33–50. [KL4] G. Keller, C. Liverani. Map lattices coupled by collisions. Comm. Math. Phys. 291 (2009), no. 2, 591–597. [KL3] G. Keller, C. Liverani. Rare events, escape rates and quasistationarity: some exact formu- lae. J. Stat. Phys. 135 (2009), no. 3, 519-534. [Liv] C. Liverani. Rigorous numerical investigation of the statistical properties of piecewise expanding maps. A feasibility study. Nonlinearity 14 (2001), no. 3, 463–490. 34 WAELBAHSOUNANDCARLANGELOLIVERANI

[L] C. Liverani. On Contact Anosov flows. Ann. of Math. 159 (2004), no. 3, 1275–1312. [Li13a] C. Liverani. A footnote on expanding maps. Discrete Contin. Dyn. Syst. 33 (2013), no. 8, 3741–3751. [Li13b] C. Liverani. Multidimensional expanding maps with singularities: a pedestrian approach. Ergodic Theory Dynam. Systems 33 (2013), no. 1, 168–182. [Nu] R.D. Nussbaum. The radius of the essential spectrum. Duke Math. J. 37 (1970), no. 3, 473-478. [PS] Pesin, Ya. B.; Sinai, Ya. G. Space-time chaos in the system of weakly interacting hyperbolic systems. J. Geom. Phys. 5 (1988), no. 3, 483–492. [PSW] C. Pugh, M. Shub, A. Wilkinson. Hölder foliations. Duke Math. J. 86 (1997), no. 3, 517–546. [Sa00] B. Saussol. Absolutely continuous invariant measures for multidimensional expanding maps. Israel J. Math. 116 (2000), 223–248. [T1] M. Tsujii. Decay of correlations in suspension semi-flows of angle multiplying maps. Ergodic Theory Dynam. Systems 28 (2008), no. 1, 291–317. [T2] M. Tsujii. Quasi-compactness of transfer operators for contact Anosov flows. Nonlinearity 23 (2010), no. 7, 1495–1545.

Department of Mathematical Sciences, Loughborough University, Loughborough, Leicestershire, LE11 3TU, UK Email address: [email protected]

Carlangelo Liverani, Dipartimento di Matematica, II Universita` di Roma (Tor Ver- gata), Via della Ricerca Scientifica, 00133 Roma, Italy. Email address: [email protected]