arXiv:1605.06493v1 [math.DS] 20 May 2016 yaia determinant dynamical eoacsof resonances Let n nfrl one nsm nuu,i aldgnrci i if generic called is Theorem annulus, in some show We on bounded uniformly and htfrall for that ti elkonthat well-known is It (1) prtrat nteHrysaeo ooopi ucin on functions holomorphic [ of Rugh space and Hardy Keller the also on acts operator eeaie yFidt yeblcflw naldmnin [ dimensions all in flows hyperbolic to Fried by generalized [ T al et. Bandtlow oVvaeBld o l e aubesgetosadordi our and suggestions valuable her all for Baladi Viviane to [ Liverani Carlangelo and wi started case hyperbolic the in [ spaces surfaces Banach on anisotropic diffeomorphisms the Anosov of analytic holomorphy real the proved of Rugh nant setting, hyperbolic the In morphism eeaie ucin nwihtetase operator transfer Hil the a which construct on we functions this, generalized For resonances. Ruelle non-trivial h xadn aei airadwsiiilysuidb Rue by studied initially was so and easier while is volume case the expanding preserve The perturbations generic to those equal of determinant Fredholm its with nuclear hs,prubto,ra nltc ou,Hletspace. Hilbert torus, analytic, real perturbation, phism, : 2010 Date e od n phrases. and words Key hn rdrcNu o hrn i da [ ideas his sharing for Naud Frédéric thank I S T EEI O-RVA EOACSFRANOSOV FOR RESONANCES NON-TRIVIAL GENERIC → : pi 5 2018. 15, April : ahmtc ujc Classification. Subject Mathematics T oeo h etrain rsretevlm n oeo the of some and volume the operat preserve both perturbations for the resonances of some Ruelle non-trivial of existence la forder of clear the on morphisms Abstract. 2 S M → ψ nteui circle unit the on usto h aahsaeof space Banach the of subset A . G ∈ T T 2 d eara nltcAoo iemrhs.W en h Ruelle the define We diffeomorphism. Anosov analytic real a be prpitl cld h nsvdiffeomorphism Anosov the scaled, appropriately , 2 ob h eoso h hlmrhclycniudin continued (holomorphically the of zeroes the be to T , ( esuyra nltcprubtoso yeblclna a linear hyperbolic of perturbations analytic real study We z 20 0 ) 6 1 hnatn nasial ibr pc.W hwtegeneric the show We space. Hilbert suitable a on acting when 4.3 o onigotterlvneo o-rva resonances. non-trivial of relevance the out pointing for ] acltdtersnne fra nltcepnigmaps expanding analytic real of resonances the calculated ] 11 : exp = steol eoac if resonance only the is opa prtr rnfroeao,rsnne,Aoo d Anosov resonances, operator, transfer operator, Koopman 2 ntedffrnibecategory.) differentiable the in ] sn nie fNu [ Naud of idea an using , trs h opa n h rnfroeao r nu- are operator transfer the and Koopman The -torus. DIFFEOMORPHISMS − S LXNE ADAM ALEXANDER n X 1. ∞ =1 xlctyfrBack rdcs hi transfer Their products. Blaschke for explicitly Introduction z n n rmr 73;Scnay3C0 37D20. 37C20, Secondary 37C30; Primary T 13 n 1 X ( hc aers oti okadPooGiulietti Paolo and work this to rise gave which ] x )= x | e ( det T d T T 13 sahproi iertrlauto- toral linear hyperbolic a is 2 oevr epoeta some that prove we Moreover, . scussions. peevn as holomorphic maps, -preserving 1 ,ta hr ssc set a such is there that ], L − T D f x r.W rv that prove We ors. etsaeo anisotropic of space bert : T 5 ( = .Tedtie td of study detailed The ]. ed not. do me htepoern work pioneering the th n 15 l [ lle ) f/ | onot. do m soe n dense. and open is t − , yaia determi- dynamical 1 14 16 | h nuu.(See annulus. the . det .Mr recently, More ]. .Teie was idea The ]. M D pca thanks Special uto- T + | ) ψ ◦ z iffeomor- admits T ∈ − G 1 C so is ) 2 ALEXANDER ADAM of [3] (in the differentiable setting) and is now a well established tool, see e.g. [1] and [7]. Faure and Roy [4] later addressed real analytic perturbations of hyperbolic linear toral automorphisms on the two-dimensional torus, considering an anisotropic com- plex Hilbert space, which had already been briefly discussed by Fried [5, Sect 8, I]. Our approach is based on this construction and strongly relies on an idea suggested by Naud [13]. We put the transfer operator central in our analysis. We introduce an anisotropic Hilbert space (Definition 2.4) in Section 2. In Section 3, we rephrase a result from Faure and Roy [4, Theorem 6] to show that the Koopman operator T f := f T is nuclear of order 0 when acting on our anisotropic Hilbert space. K ◦ In Section 4, we use this result and an idea of Naud [13] to show that the Koopman operator admits non-trivial Ruelle resonances under a small generic perturbation of the dynamics. In Section 5, we consider the adjoint of the Koopman operator, which is just the transfer operator, acting on the dual Hilbert space and obtain our final results.
Blaschke products were recently generalized to the hyperbolic setting by Slipantschuk et al. [19] who calculate the entire spectrum of these real analytic Anosov volume preserving diffeomorphisms explicitly.
2. An anisotropic Hilbert space We denote the flat 2-torus by T2 := R2/Z2. We embed T2 into the standard polyannulus in C2 and set for each r> 0 2 2 Ar := T + i ( r, r) . − 2 2 We see Ar as a submanifold of C . The Hilbert space L2 T is equipped with the canonical Lebesgue measure on T2. This space admits an orthonormal Fourier basis given by 2 ∗ 2 (2) ϕn : T C: x exp(i 2πn x) , n Z , → 7→ ∈ where n∗ is the canonical dual of n. We recall a construction from Faure and Roy
[4] for a complex Hilbert space AM,c . This space also has been described briefly by Fried as an "ad hoc example"H [5, Sect. 8, I.] of a generalized function space. The construction will be based on:
Definition 2.1 (Hardy space H2 (Ar)). For each r > 0 and each holomorphic function f : Ar C, we define the norm → 1 2 : i 2 f H2(Ar ) = sup f (x + y) dx . k k 2 T2 | | y∈(−r,r) Z Then we set
H2 (Ar) := f : Ar C f holomorphic, f A < . → k kH2( r ) ∞ n o The space H (A ) is the 2-dimensional analogue of the Hardy space studied in [18, 2 r p. 4]. It admits a Fourier basis given by r 2 ϑ : Ar C: x exp( 2πr n ) ϕn, n Z , n → 7→ − k k ∈ GENERIC NON-TRIVIAL RESONANCES FOR ANOSOV DIFFEOMORPHISMS 3
2 2 where z := z1 + z2 for all (z1,z2) =: z C and z T . With this choice ofk norm,k the| | Fourier| | basis is orthonormal. Under∈ the canonical∈ isomorphism T2 T2 ∗ L2 ∼= L2 , we have the isomorphism r ∗ −r (3) (ϑn) ∼= ϑn . A matrix M SL2 (Z) is called hyperbolic if its eigenvalues lie not on the unit ∈ + circle. We denote by EM the eigenspace of the eigenvalue of modulus λM > 1 and − −1 R2 by EM the eigenspace of the eigenvalue of modulus λM . We decompose y uniquely as ∈ + − + + − − (4) y = y + y with y E ∗ and y E ∗ . M M M ∈ M M ∈ M We have ∗ + + ∗ − −1 − (5) M yM = λM yM and M yM = λM yM .
Definition 2.2 (Scaling map AM,c). Let c > 0, and M SL2 (Z) be hyperbolic. For every n Z2, we set, recalling (2), ∈ ∈ + − AM,cϕn := exp 2πc n n ϕn. − M − M Lemma 2.3 (Continuous embedding of H (Ar )). Let c > 0 and let M SL (Z) 2 ∈ 2 be hyperbolic. Then the map AM,c can be extended by continuity to an injective linear map 2 AM,c : H (Ac) L T , 2 → 2 bounded in operator norm by 1.
Proof. By Definition 2.2, for each f H (Ac) we have ∈ 2 2 ∗ 2 + − ∗ 2 AM,cf T2 = ϕ AM,cf = exp 4πc n n ϕ f k kL2( ) | n | − M − M | n | n∈Z2 n∈Z2 X X = exp 4πc n+ n− + n ϑc ∗f 2 , − M − M k k1 | n | n∈Z2 X where we used (3) in the last step. Using the triangle inequality, we find n+ n− + n 0. M − M k k ≥ Hence, it holds
+ − c ∗ 2 2 exp 4πc n n + n ϑ f f A . − M − M k k | n | ≤k kH2( c) n∈Z2 X 2 Injectivity follows since AM,c is invertible on the Fourier basis of L2 T .
2 The image of H2 (Ac) under AM,c is dense in L2 T since it contains all Fourier polynomials. Definition 2.4 (Hilbert space A ). Let c> 0 and let M SL (Z) be hyperbolic. H M,c ∈ 2 Let AM,c be the map given by Definition 2.2. Then we set A AM,c := closure of H2 ( c) with respect to the norm AM,c T2 , H k ·kL2( ) and extend AM,c by continuity to a linear map 2 AM,c : A L T . H M,c → 2 4 ALEXANDER ADAM
As a direct consequence of this construction, the scalar product on A satisfies H M,c
, : C: (f,g) A f, A g 2 . HA AM,c AM,c M,c M,c L (T ) h· ·i M,c H × H → 7→ h i 2
An orthonormal Fourier basis of A is given by H M,c −1 2 (6) ̺n := A ϕn, n Z . M,c ∈ Lemma 2.5 (Dual space of ). Under the canonical isomorphism L T2 AM,c 2 ∼= 2 ∗ ∗ H 2 L T , the dual space is isomorphic to A A . 2 HAM,c M,cH M,c T2 T2 ∗ Proof. Under the canonical isomorphism L2 ∼= L2 , we have for each n1, n Z2, using (6), 2 ∈ ∗ ∗ ∗ 2 ∗ ϕn1 (ϕn2 )= ϕn1 (AM,c̺n2 ) = (AM,cϕn1 ) (̺n2 )= AM,c̺n1 (̺n2 ) .
Remark 2.6. ∗ ∗ By Lemma 2.5, we associate to every linear functional f AM,c 2 ∈ H a unique vector f A A . Then, for every g A , the product fg is ∈ M,cH M,c ∈ H M,c absolutely integrable with respect to the Lebesgue measure on T2. The decomposition in (4) defines two cones C+ := y R2 y+ y− and C− := y R2 y+ y− . M ∈ M ≥ M M ∈ M ≤ M 3 1 Example 2.7. We let M = , then λ =2+ √3. An eigenvector for λ 2 1 M M ∗ −1 for M is 1+ √3, 1 and an eigenvector for λM is 1 √3, 1 . The two subspaces + − + − − E ∗ and E ∗ and the two cones C and C are shown in Figure 1. M M M M
− + CM CM
+ EM ∗
− EM ∗
Figure 1. The map M is from Example 2.7. The dark gray area + + is the cone CM which contains the subspace EM ∗ . The light gray − − R2 area is the cone CM and contains EM ∗ . A part y belongs to + − ∈ the dashed lines if and only if yM = yM .
GENERIC NON-TRIVIAL RESONANCES FOR ANOSOV DIFFEOMORPHISMS 5
We set
+ A := ̺n,f H ̺n f AM,c and H M,c h i AM,c ∈ H n∈C+ ∩Z2 XM
− := ̺n,f ̺n f AM,c . AM,c HAM,c H − h i ∈ H n∈C ∩Z2 XM
+ − − Hence, we have AM,c = + . Comparing for each n C the Fourier H HAM,c HAM,c ∈ M − T2 + basis ̺n with ϕn, it follows immediately that AM,c L2 . For each n CM , c ∗ H ⊂ + ∈∗ comparing the Fourier basis ̺n with ϑ , using (3), shows H2 (Ac) . We n HAM,c ⊂ conclude therefore that AM,c contains linear functionals which do not belong to 2 H L T . By construction, the space A is a rigged Hilbert space, i.e.: 2 H M,c ∗ (7) H (Ac) A H (Ac) . 2 ⊂ H M,c ⊂ 2 Remark 2.8. We note that in the construction of A , the expanding and con- H M,c tracting directions appear in the dual coordinates n Z2 of the Fourier basis (6). ∈ This distinguishes AM,c from the space of Rugh [15] where expanding and con- tracting coordinatesH are spatial. We observe
∗ + − ∗ + − + ∗ + − ∗ − n x = nM + nM xM ∗ + nM ∗ = nM xM ∗ + nM xM ∗ . Hence, we can rewrite (6) as
+ − ∗ ̺n (x) = exp 2πc n n exp(i 2πn x) M − M + + ∗ + (8) = exp 2πc n exp i 2π n x ∗ M M M − − ∗ − exp 2πc n exp i 2π n x ∗ . × − M M M It is tempting to think of the ̺n as basis elements for a tensor product space of a Hardy space on an annulus, with the dual of such a Hardy space. However, we + − cannot use ̺n as such a basis since nM and nM are not independent of each other.
Nevertheless, we can decompose AM,c into two generalized Hardy spaces as follows. We define four norms H
1 2 2 2 µj (f) := sup f (x + i y) dx , f L2 T , j 1, 2, 3, 4 , where T2 | | ∈ ∈{ } y∈Aj Z 2 − 2 + 2 A := y R y ∗ ( c,c) , y ∗ (c, ) , 1 ∈ M ∈ − M ∈ ∞ n 2 − 2 + o 2 A := y R y ∗ ( c,c) , y ∗ ( , c) , 2 ∈ M ∈ − M ∈ −∞ − n 2 − 2 + o A := y R y ∗ ( c,c) , y ∗ (c, ) ( , c) , 3 ∈ M ∈ − M ∈ ∞ × −∞ − n 2 − 2 + o A := y R y ∗ ( c,c) , y ∗ ( , c) (c, ) . 4 ∈ M ∈ − M ∈ −∞ − × ∞ n o 2 Of course, for all f L T the norms µj (f) are not finite but they are so at least ∈ 2 for some Fourier polynomials. The spaces Hj , j 1, 2, 3, 4 are the completion ∈ { } 6 ALEXANDER ADAM with respect to the norms µj above. E.g. using µ , it holds for all f H 1 ∈ 1 2 2 ∗ ∗ 2 µ1 (f) = sup f (x + i y) dx = sup exp( 4πn y) ϕnf T2 y∈A1 | | y∈A1 Z2 − | | Z nX∈ − ∗ − + ∗ + ∗ 2 = sup exp 4π nM yM ∗ 4π nM yM ∗ ϕnf y∈A − − | | 1 n∈Z2 X − + ∗ + ∗ 2 = sup exp 4πc nM 4π nM yM ∗ ϕnf + 2 2 − | | yM∗ ∈(c,∞) n∈Z X − + ∗ 2 ∗ 2 = exp 4πc n 4πc n ϕ f = ϕ AM,cf . M − M | n | | n | n∈Z2 n∈Z2 n+ ∈X[0,∞)2 n+ ∈X[0,∞)2 M M Similar calculations for the other three norms show then that the spaces Hj , j ∈ 1, 2, 3, 4 disjointly partition the space AM,c with respect to the dual coordinate { } + H R2 up to n = 0. Since EM is a one dimensional subspace of , always two of the + spaces contain only the constant functions (note that nM =0 implies n =0), say, H3 and H4. Then all vectors in the spaces H1 and H2 are holomorphic functions 2 2 on T + i A1 and on T + i A2, respectively.
3. The Koopman operator is nuclear We set for each r> 0 2 2 r := T : T T T extends holomorphically and boundedly on Ar . T → For every T r the Koopman operator ∈ T 2 2 T : L T L T : f f T K 2 → 2 7→ ◦ is well-defined by differentiability ofT . It is well-known that the operator T acting 2 1 K on L2 T is not compact. We say that two maps f, g r are C -close if the distance ∈ T d (f,g) := sup f(z) g(z) + sup Dzf Dzg z∈Ar k − k z∈Ar k − k is small. In this section we revisit the proof of Faure and Roy [4]. They showed that T , acting on the Hilbert space A , (see Definition 2.4), is nuclear of order 0 if K H M,c T is sufficiently C1-close to a hyperbolic matrix M SL (Z) for some c> 0. ∈ 2 We recall that a linear operator : on a Hilbert space with norm H L H → H H ∗ k·k is called nuclear of order 0 if it can be written as a sum = n∈N dnψ1,nψ2,n with p L inf p> 0 n∈N dn < = 0 and ψ1,n, ψ2,n , ψ1,n H , ψ2,n H 1, | | ∞◦ ∈ H kP k k k ≤ dn C, n N [8, II, §1, n 1, p.4]. In particular, such an operator is trace class, ∈ ∈P ∗ hence bounded and admits a trace Tr := e en, invariant for any choice of L n∈N nL orthonormal basis en, n N of . Moreover, one can show that Tr equals the sum, including multiplicity (dimension∈ H of correspondingP generalized eigenspace),L over the spectrum sp ( ) of . The Fredholm determinant, defined for small enough z C by L L ∈ ∞ zn (9) det (1 z ) := exp Tr n , − L − n L n=1 ! X extends to an entire function in z, having zeroes at z = λ−1, λ sp ( ) 0 of same order as the multiplicity of λ. ∈ L \{ } GENERIC NON-TRIVIAL RESONANCES FOR ANOSOV DIFFEOMORPHISMS 7
Theorem 3.1 (Nuclearity of T ). Let M SL (Z) be hyperbolic and let r > 0. K ∈ 2 Then there exist constants δM > 0 and c > 0 such that for each T r with 1 ∈ T d(T,M) δM the map ≤ T : A A : f f T K H M,c1 → H M,c1 7→ ◦ defines a nuclear operator of order 0. In particular, there exists c2 > 0 depending only on c , M, and so that for each n , n Z2 1 k·k 1 2 ∈ , ̺ exp( 2πc ( n + n )) . ̺n1 T n2 HA 2 1 2 h K i M,c1 ≤ − k k k k
Moreover, c1 < r, and the constants c1, c2, and δM can be chosen arbitrarily small.
For every n , n Z2, we set 1 2 ∈ (10) In ,n (T ) := ϕn , T ϕn T2 . 1 2 h 1 K 2 iL2( ) Estimating this "oscillatory integral" is central for Theorem 3.1. Inthe case T = M, we have simply
∗ 1 if M n2 = n1 (11) In ,n (M)= . 1 2 0 if M ∗n = n ( 2 6 1
The strategy of the proof is as follows. We get an upper bound for In1,n2 (T ) in Lemma 3.2, taking advantage of the holomorphicity of T . In Lemma| 3.3, we| compare the contribution of n1 and n2 in the expanding and contracting directions, using here essentially the hyperbolicity of M. Combining both results, we obtain a weaker bound on In1,n2 (T ) in Proposition 3.4, which finally allows for the proof of Theorem 3.1. | | For every n Z2 and y R2 any solution x T2 so that ∈ ∈ ∈ ∗ ∗ (12) exp( 2π (n DxTy)) = exp( 2π (n DzTy)) dz − T2 − Z is denoted by xn (y). Since the integrand is continuous in y such a solution exists by the Mean Value Theorem.
Lemma 3.2 (Upper bound on In1,n2 (T ) (I)). Let r> 0. Then, there exists C 0 | 2 | 2 ≥ so that for each T r and n , n Z and y ( r, r) , recalling (10), we have ∈ T 1 2 ∈ ∈ − ∗ ∗ 3 In ,n (T ) exp 2π n Dx y Ty + n y + Cd(T, 0) y n2 . | 1 2 |≤ − 2 n2 ( ) 1 k k k k Proof. By definition
∗ ∗ 2 In1,n2 (T )= ϕn1 , T ϕn2 L2(T ) = exp(i2π (n2T (x) n1x)) dx. h K i T2 − Z 2 Since T r, the Z -invariance of the integrand follows. By holomorphicity of T ∈ T 2 on Ar, we can change the path of integration to x x + iy for every y ( r, r) . 7→ ∈ − Therefore for any y ( r, r)2 ∈ − ∗ ∗ In1,n2 (T ) exp(2π (n1y (n2T (x + i y)))) dx, | |≤ T2 −ℑ Z where is the imaginary part. We expand T (or rather its lift to R2) at x T2 in a Taylorℑ series to the second order. This yields ∈
T (x + i y)= T (x)+ i DxTy + P (x + i y)+ R2 (x + i y) . 8 ALEXANDER ADAM
Here, P (x + i y) is the second order term of the expansion which is R2-valued, and R2 is the remainder of the series expansion. We find therefore
T (x + iy)= DxTy + R (x + i y) . ℑ ℑ 2 Since T is holomorphic we find a constant C > 0 independent of T such that n∗R (x + i y) Cd(T, 0) n y 3. | 2 2 |≤ k 2kk k We are left with the evaluation of
∗ exp( 2π (n DzTy)) dz. T2 − Z Using (12) yields the result. The following abbreviation is used in the remaining section. We set for each y R2 ∈ (13) y := y+ y− . | |M M − M Lemma 3.3 (Directional inequality). Let M SL 2 (Z) be hyperbolic. Let ǫ > 0 2 ∈ 2 and κ 0 and let R: R R≥0 be a map such that for all z R with z <ǫ it holds ≥ → ∈ k k R(z) κ z . ≤ k k Then there exists cM > 0 such that for all κ
(a) n > 0 and n n (b) n > 0 and n n k 2k k 2k2 ≥k 1k2 k 1k k 1k2 ≥k 2k2 (i) Man κ˜ n , (i) Mbn κ˜ n , k 2k ≥ k 2k k 1k ≥ k 1k (ii) Man < κ˜ n , (ii) Mbn < κ˜ n . k 2k k 2k k 1k k 1k We assume Case (a)(i). For every δ > 0 we let n y = δM ∗ 2 . a n k 2k It follows, using (14), that (15) (n∗M n∗) y = n∗M ∗y c˜2 M ∗n y . − 2 − 1 − 2 a ≤− 1 k a 2kk k We recall from (13). Using that c + c > 0 and that (a) holds, we estimate |·|M 1 2 c ( n n ) c ( n + n ) − 1 | 1|M − | 2|M ≤ 1 k 1k k 2k = c ( n + n ) + (c + c ) ( n + n ) − 2 k 1k k 2k 1 2 k 1k k 2k c ( n + n )+2(c + c ) n . ≤− 2 k 1k k 2k 1 2 k 2k GENERIC NON-TRIVIAL RESONANCES FOR ANOSOV DIFFEOMORPHISMS 9
Using (a)(i) and the assumed bound on R for y <ǫ, we have k k n c ( n n ) n c˜2 M ∗ 2 y R (y) − 1 | 1|M − | 2|M −k 2k 1 a n k k− ≤ k 2k 2 2 (16) c2 ( n1 + n2 )+ 2(c1 + c2) c˜ κ˜ κ y n2 . − k k k k − 1 − k k k k 2 We put cM :=c ˜ κ˜. Any value y (0,ǫ ) can be attained by controlling δ. 1 k k ∈ Assuming that cM >κ, it follows from (15) and (16) that
cM κ (17) 0 (M ∗n )+ + (M ∗n )− c˜ M ∗n a 2 M a 2 M ≤ 2 k a 2k (18) < c˜ κ˜ n c˜ κ˜ n+ + n− . 2 k 2k ≤ 2 2,M 2,M We have (M ∗n )+ = M ∗n+ n+ and (M ∗n )− = M ∗n− n− . a 2 M 2,M − 1,M a 2 M 2,M − 1,M Recalling (5), this allows the estimate (M ∗n )+ + (M ∗n )− M ∗n+ n+ M ∗n− + n− a 2 M a 2 M ≥ 2,M − 1,M − 2,M 1,M + −1 − + − λM n λ n n + n . ≥ 2,M − M 2,M − 1,M 1,M Together with (18) we find therefore + − + −1 − n = n + n < (λM κ˜c˜ ) n + λ +˜κc˜ n . − | 1|M − 1,M 1,M − − 2 2,M M 2 2,M We set −1 κ := λM κ˜c˜ 1 and κ :=1 λ κ˜c˜ . + − 2 − − − M − 2 We finally estimate c ( n n ) < c κ n+ c κ n− . − 1 | 1|M − | 2|M − 1 + 2,M − 1 − 2,M Note that we have κ >κ because λM > 1 . Assuming that c κ 2c , we find + − 1 − ≥ 2 c κ n+ c κ n− < c κ n 2c n c ( n + n ) . − 1 − 2,M − 1 − 2,M − 1 − k 2k≤− 2 k 2k≤− 2 k 1k k 2k In Case (b)(ii) we consider the bounds + − − −1 + ∗ −1 ∗ ∗ −1 ∗ n2 M + λM n1,M λM n1,M (M ) Mb n1 + (M ) Mb n1 | | − ≤ M M c˜ (M ∗)−1 M ∗n < κ˜c˜ (M ∗)−1 n . ≤ 2 b 1 2 k 1k 10 ALEXANDER ADAM Therefore κ is replaced by 1 λ−1 (M ∗)−1 κ˜c˜ which we require to be positive. − − M − 2 ∗ −1 Since (M ) > 1, this yields the stronger conditions −1 ∗ −1 −1 1 λM (M ) κ˜c˜2 1 λM − − (19) 0 < κ<˜ − and c2 c1. −1 (M ∗) c˜ ≤ 2 2 Any such choice for κ˜ is independent of n and n and fixes cM . Using (19) for an 1 2 upper bound on c2, we find 3 λ−1 c + c − M c . 1 2 ≤ 2 1 Using (17), we require the stronger condition cM κ 0 Let δM > 0 and assume that d(T,M) δM . We choose 0 <ǫ r sufficiently small such that for all y R2 with y <ǫ ≤there is κ> 0 such that≤ ∈ k k R(y) κδM . | |≤ Since d(T, 0) d(T,M)+ d(M, 0) δM + d(M, 0) this choice of ǫ is independent ≤ ≤ R2 of T . Lemma 3.3 applied to M and R gives c1, c2 and yn1,n2 for which the right-hand side of (20) fulfills the desired| | inequality. ∈ Proof of Theorem 3.1. Proposition 3.4 yields 0 <δM and 0 GENERIC NON-TRIVIAL RESONANCES FOR ANOSOV DIFFEOMORPHISMS 11 We put c := c1 and M in Definitions 2.2 and 2.4, giving a linear map AM,c1 and a Hilbert space AM,c1 . Recalling (6), and assuming that T : AM,c1 AM,c1 is well-defined, weH have K H → H −1 ̺n1 , T ̺n2 = ϕn1 , AM,c1 T A ϕn2 HA M,c1 2 h K i M,c1 K L2(T ) D E −1 (22) = Cn1 Cn2 In1,n2 (T ) . | | Using (21) to estimate the right-hand side, the bound in Theorem 3.1 follows. We next obtain well-definedness and nuclearity of order 0 of T . Let f A and K ∈ H M,c1 put g := AM,c1 f. We have then T2 ∗ 2 T f AM,c1 AM,c1 T f L2 ϕnAM,c1 T f < K ∈ H ⇔ K ∈ ⇔ Z2 | K | ∞ nX∈ 2 ∗ −1 ∗ ϕn1 AM,c1 T AM,c1 ϕn2 ϕn2 g < ⇔ 2 2 K ∞ n1∈Z n2∈Z X X 2 −1 ∗ Cn1 Cn2 In1,n2 (T ) ϕn2 g < . ⇔ 2 2 ∞ n1∈Z n2∈Z X X Using (21) and the Cauchy-Schwartz inequality, it follows that 2 2 −1 ∗ −4πc2knk 2 2 Cn1 Cn2 In1,n2 (T ) ϕn2 g e g L2(T ) < . 2 2 ≤ 2 k k ∞ n1∈Z n2∈Z n∈Z ! X X X This gives the well-definedness of T . Now, using the Cauchy-Schwartz inequality, we have K 2 2 2 . ̺n, T f HA ̺n, T ̺m HA f HA h K i M,c1 ≤ h K i M,c1 k k M,c1 m∈Z2 X Using (22) and (21) to bound , we find a constant such ̺n, T ̺m HA C > 0 h K i M,c1 that C exp(2πc n ) ̺n, T f f . 2 HA HA h k k K i M,c1 ≤k k M,c1 This allows the representation of T as K −1 T f = C exp( 2πc n ) C exp(2πc n ) ̺n, T f ̺n, 2 2 HA M,c1 K Z2 − k k h k k K i nX∈ from which nuclearity of order 0 follows. Finally, a brief inspection of the proofs for Lemma 3.3 and Proposition 3.4 gives the statement about the constants. 4. Non-trivial resonances for the Koopman operator Given any hyperbolic matrix M SL (Z), we find by Theorem 3.1 constants ∈ 2 0 < δM and c > 0 such that for each map T r, satisfying d(T,M) δM , the ∈ T ≤ operator T acting on the Hilbert space AM,c is nuclear of order 0. Therefore it has a well-definedK trace H (23) Tr T := ̺n, T ̺n . HAM,c K Z2 h K i nX∈ 12 ALEXANDER ADAM The map T is an Anosov diffeomorphism (for all small enough δM ), by struc- tural stability [9, Theorem 9.5.8]. Then the map T has the same number NM = det (1 M) of fixed points as the matrix M. We recall a well-known result [4, Proposition| − | 9]. Lemma 4.1 (Trace formula for T ). Let M SL (Z) be hyperbolic and let r> 0. K ∈ 2 Then there exist constants δM > 0 and c > 0 such that for each T r with ∈ T d(T,M) δM , letting T act on A , it holds ≤ K H M,c −1 Tr T = det (1 DxT ) . K | − | T (Xx)=x For the convenience of the reader, we give a proof: Proof. Using Theorem 3.1 gives constants c > 0 and δM > 0 and well-definedness of T . For small enough δM > 0, by structural stability and Lemma A.1 (ii), the K map 1 T can be partitioned into NM surjective submaps. In particular, there are − 2 2 NM diffeomorphisms yj : Dj T , Dj T , 1 j NM such that 1 T = yj. → ⊆ ≤ ≤ − j=1 Then, using (6), we have for each n Z2 ∈ F −1 ∗ ̺n, T ̺n = ϕn, AM,c T A ϕn = exp(i 2πn (T 1) (x)) dx HA M,c 2 h K i M,c K L2(T ) T2 − Z DNM E ∗ = exp(i 2πn yj(x)) dx −1 T2 j=1 yj ( ) X Z N M exp(i 2πn∗z) = dz. T2 1 − j=1 det Dy 1 z T X Z − j ( ) For N N and z T2 the following sum ∈ ∈ ∗ DN (z) := exp(i 2πn z) n∈Z2 kzXk≤N is the 2-dimensional analogue of the Dirichlet kernel [10, p.13]. Together with (23), this yields immediately 1 −1 Tr T = lim ̺n, T ̺n H = det ( DxT ) . K N→∞ h K i AM,c | − | n∈Z2 T (x)=x knXk≤N X Using Lemma 4.1, and the definitions (1) and (9) for the dynamical determinant and Fredholm determinant, respectively, we see directly that (24) det (1 z T )= dT (z) . − K The Ruelle resonances correspond to the zeroes of the Fredholm determinant, hence to the inverses of the non-zero eigenvalues of T . K Remark 4.2. In view of Equation 24 and the relation of the Ruelle resonances of T to the eigenvalues of T , one may ask how the spectrum of T would be affected K K if we let T act on a different Banach space. The following relates a part of the eigenvaluesK of two linear operators sharing a common dense subspace and is due GENERIC NON-TRIVIAL RESONANCES FOR ANOSOV DIFFEOMORPHISMS 13 to a proof of Baladi and Tsujii [1, Appendix A]. Consider two separable Banach spaces ( , ) and ( , ). This induces two other Banach spaces B1 k·k1 B2 k·k2 + , and ( , ) , where B1 B2 k·k+ B1 ∩B2 k·k∩ f := inf f + f f , f , f = f + f and k k+ {k 1k1 k 2k2 | 1 ∈B1 2 ∈B2 1 2} f := max f , f . k k∩ {k k1 k k2} Suppose that ∩ is dense in 1 and 2. Let : + + be a linear map which preserves the spacesB , andB andB is a boundedL B linear→ B operator on the restric- B∩ B1 B2 tions |B1 and |B2 . Then the part of the eigenvalues of |B1 and |B2 coincide whichL lies outsideL the closed disc with radius larger to both Lessential spectralL radii. Moreover, the corresponding generalized eigenspaces of and coincide and L|B1 L|B2 are contained in ∩. For the applicationsB that we have in mind, the map is just the Koopman or transfer operator, defined on and , respectively, extendedL to the space . B1 B2 B+ The spectrum sp ( T ) of T on AM,c is invariant under complex conjugation since K K H 2 T is real. The constant functions on T are all fixed by T . Therefore we have k K 1 sp ( T ). If we take T = M , k N in Lemma 4.1, it follows that Tr T = 1. ∈ K ∈ K Hence, the dynamical determinant is just dT (z)=1 z, also noted in [16, p.3]. We find immediately that 1 is the only Ruelle resonance.− We show now that this finding is non-generic in the following sense. The rest of this section is devoted to an idea of Naud [13]. We put for every r> 0 2 2 (25) r := T r The lift of T to R is Z -periodic . B ∈ T Endowed with the uniform norm this is a Banach space. Theorem 4.3 (Non-trivial Ruelle resonances (I)). Let M SL (Z) be hyperbolic. ∈ 2 For each r > 0 there exists an open and dense set r such that the linear functional G ⊆B −1 −1 BM : r R: ψ NM Tr (1 M) Dxψ B → 7→ − Mx x X= never vanishes on . For all ψ there exists ǫ > 0 such that for all ǫ<ǫ G ∈ G 0 0 2 Tr M ǫψ =1+ ǫBM (ψ)+ O ǫ . K + In particular, sp ( M ǫψ) 0, 1 = . K + \{ } 6 ∅ Lemma 4.4 (Real analyticity of fixed points). Let M SL (Z) be hyperbolic and ∈ 2 r> 0. Then for all ψ r the fixed points of the map ∈B M + δψ are real analytic functions of δ where δ lies in a real neighborhood of 0. Proof. We set for δ R ∈ F (δ, x) := Mx + δψ(x) x. − We fix a point yj := (0, xj ) where xj , 1 j NM is a fixed point of M. By ≤ ≤ construction, the map F has a holomorphic extension to C Ar. Since M is × hyperbolic, we have det Dx (F (δ, )) = 0 for small δ. We apply the Holomorphic j · 6 Implicit Function Theorem [12, Theorem 1.4.11] on F with F (yj )=0. This yields 14 ALEXANDER ADAM a holomorphic function xj (δ) with xj (0) = xj . It is obviously real analytic for δ R in a neighborhood of 0 and xj (0) = xj . ∈ Proof of Theorem 4.3. Let δ R and ψ r and set M˜ := M + δψ. We choose δ small in Lemma 4.4 which gives∈ for each fixed∈B point x of M a real analytic function x˜ with x˜ (0) = x. Using a Taylor expansion on x˜ at 0, we have x˜ (δ)= x + O(δ). Using real analyticity of the derivative Dxψ, we have Dxψ D ψ = O(δ). − x˜(δ) We write now for each fixed point x of M det 1 D M˜ = det 1 M δDxψ + δ Dxψ D ψ − x˜(δ) − − − x˜(δ) −1 = NM det 1 (1 M) δDxψ + δDxψ δD ψ − − − x˜(δ) −1 2 = NM det 1 δ (1 M) Dxψ + O δ − − −1 2 = NM 1 δ Tr (1 M) Dxψ + O δ . − − We have by Lemma 4.1 for δsmall enough δ 1 −1 2 Tr M˜ =1+ Tr ( M) Dxψ + O δ . K NM − Mx=x X Now we set −1 −1 BM : r R: ψ NM Tr (1 M) Dxψ . B → 7→ − Mx x X= We next check that this is a non-trivial linear functional. Note that formally ψ (1 M)=2. However, no non-zero linear map is in the space of additive pertur- − ∗ −1 bations r. We denote by vj , j 1, 2 the j-th column of the matrix (1 M) B ∈{ } − and we fix now j. Let ψ0 : T + i ( r, r) C be holomorphic and bounded. For every (x , x )=: x T2 we put − → 1 2 ∈ ψ (x) := ψ0 (xj ) vj . By construction, we have ψ r and we evaluate ∈B ∗ vj vj (1) BM (ψ)= ψ0 (xj ) . NM Mx x X= The right-hand side is a finite sum and by taking for ψ0 a suitable Fourier poly- nomial (e.g. a shifted sinus with sufficiently high frequency), we can establish −1 BM (ψ) = 0. We set := B (R 0 ). By continuity of BM , the set is open 6 G M \{ } G and dense in r. B 5. Non-trivial resonances for the transfer operator 1 As before, we consider maps T r, r > 0 which are sufficiently C -close to a ∈ T hyperbolic linear map M SL2 (R). We turn to the adjoint of T , acting on the ∗ ∈ K dual space , which we denote by T . HAM,c L GENERIC NON-TRIVIAL RESONANCES FOR ANOSOV DIFFEOMORPHISMS 15 Lemma 5.1 (Transfer operator). Let M SL (Z) be hyperbolic and let r > 0. ∈ 2 Then there exist constants 0 < δM and c > 0 such that for each T r with ∈ T d(T,M) δM the map ≤ ∗ ∗ f −1 T : : f T L HAM,c → HAM,c 7→ det DT ◦ | | defines a nuclear operator of order 0, conjugate to T . In particular, K sp ( T )= sp ( T ) . L K Proof. By Theorem 3.1 there is 0 < δM , c > 0 and A such that T acting H M,c K on AM,c is nuclear of order 0 if d(T,M) δM . The same can be said about its H ∗ ≤ adjoint, acting on (e.g. see [17, p. 77]). The trace of T and T coincide, HAM,c K L so does their Fredholm determinant, and hence their resonances. By definition of ∗ ∗ ∗ ∗ the adjoint, f , g A : ( T f) (g)= f ( T g). Using Lemma 2.5, ∀ ∈ HAM,c ∀ ∈ H M,c L K it holds ∗ −2 −1 ¯ f ( T g)= AM,cf, T g = AM,cf (x) (AM,c T g) (x) dx K K HA T2 K M,c Z D E ¯ f −1 = f¯(x) ( T g) (x) dx = T (x) g (x) dx T2 K T2 det DT ◦ Z Z | | ∗ −2 f −1 f −1 = AM,c T ,g = T (g) . det DT ◦ H det DT ◦ | | AM,c | | By Lemma 5.1, recalling (6), and Lemma 4.1 it holds ∗ 1 −1 Tr T = T ̺n (̺n)= det ( DxT ) . L Z2 L | − | nX∈ T (Xx)=x We have the equality dT (z) = det(1 z T ) = det(1 z T ) . − K − L We give now analogously to Theorem 4.3 a spectral result for the transfer operator (recall r from (25)). B Lemma 5.2 (Non-trivial Ruelle resonances (II)). Let M SL (Z) be hyperbolic. ∈ 2 For each r > 0 there exists an open and dense set r such that for all ψ there exists ǫ > 0 such that for all ǫ ǫ G⊆B ∈ G 0 ≤ 0 sp ( M ǫψ) 0, 1 = . L + \{ } 6 ∅ Proof. By Theorem 4.3 we know that under every perturbation ψ there is ǫ > 0 such that we find for all ǫ ǫ non-trivial Ruelle resonances. Using∈ G Lemma 0 ≤ 0 5.1 for well-definedness of M+ǫψ and for the relation sp ( T )= sp ( T ), the result follows. L L K Clearly, the Lebesgue measure (by Remark 2.6, the constant density 1) is fixed by M . This does not persist under a generic perturbation of M. However, the L ∗ spectral relation in Lemma 5.1 implies that T fixes some functionals in . In L HAM,c particular, using Remark 4.2, we can apply [3, Theorem 3] to our transfer operators 16 ALEXANDER ADAM ∗ M and T . Hence, the eigenvalue 1 of T is simple and the projector Π onto the L L L 1 corresponding eigenspace of T gives us the SRB measure L ∗ ∗ µSRB := Π11 , in the usual sense. (It is absolutely continuous with respect to Lebesgue measure in the unstable direction.) We finish this section by showing the existence of non-zero perturbations ψ r ∈ B which allow the determinant det (M + ǫDxψ) to remain constant or to vary along x T2. ∈ Lemma 5.3 (Volume under perturbations). Let r > 0 and let M SL (Z) be ∈ 2 hyperbolic. Then there exist non-zero maps ψ r in each following case: 2 ∈B (i) For all ǫ> 0 and all x T it holds det (M + ǫDxψ)=1. ∈ 2 (ii) For all ǫ> 0 and Lebesgue almost all x T it holds det (M + ǫDxψ) =1. ∈ | | 6 In particular, the map ψ can be chosen such that for all small ǫ> 0 the correspond- ing transfer operator M ǫψ L + admits non-trivial Ruelle resonances. Proof. We prove first Claim (i), including the statement about the non-trivial Ruelle resonances. We will apply Lemma A.2 (i). We choose j 1, 2 , r > 0 and let φ: T + i ( r, r) C be a holomorphic and bounded map.∈{ For α} R2 we set for every (x ,− x )=:→x T2 ∈ 1 2 ∈ ψφ,α (x) := (α1φ (xj ) , α2φ (xj )) . 2 We put d := 2, j, T := M, φ and Tφ := ψφ,α (e.g. as lift to R ) in Lemma A.2. a b Since M is a constant matrix, say, M = for suitable a,b,c,d Z, we can c d ∈ write Condition A.2 (i) as (26) α1d = α2b if j =1 or α1c = α2a if j =2. Hence, we have non-zero solutions in α independent of x. We choose such a solution α and take ψ = ψφ,α. Then ψ r which yields det (M + ǫDxψ)=1 for every ǫ > 0. We are free to choose any∈ suitableB φ. In particular, Theorem 4.3 yields a linear functional BM and a dense subset r on which BM is non-zero. We G ⊆B have to make sure that ψ . Then for ǫ small M ǫψ admits non-trivial Ruelle ∈ G L + resonances by Lemma 5.2. To this end, we evaluate BM at ψ which yields ∗ −1 −1 vj α (1) BM (ψ)= BM (ψφ,α)= NM Tr (1 M) Dxψφ,α = φ (xj ) , − NM Mx x Mx x X= X= ∗ 1 −1 where vj is the j-th row of ( M) . The sum over the fixed points of M can be made non-zero by a suitable Fourier− polynomial. Now we have (1 d) α + cα bα + (1 a) α v∗α = − 1 2 or v∗α = 1 − 2 . 1 det (1 M) 2 det (1 M) − − Using (26), we find b c c b + α2 b c + α1 v∗α = − d or v∗α = − a . 1 det (1 M) 2 det (1 M) − − GENERIC NON-TRIVIAL RESONANCES FOR ANOSOV DIFFEOMORPHISMS 17 Both equations can never be zero since M is not diagonal. We prove now Claim (ii) by modifying the map ψ. For δ R 0 we set α˜ := α + δwj , where wj is the ∈ \{ } j-th column of M and put ψ := ψφ,α˜. We have (1) det M + ǫDxψ = dete M + ǫDxψ + ǫDx ψ ψ =1+ δǫφ (xj ) . − Since φ is not constant,e the right-hand side differse from 1 (and 1) for Lebesgue ∗ ∗ ∗ − almost all x. Since v α˜ = v α + δv wj =0 for the right choice of the sign of δ, we j j j 6 have BM ψ =0. 6 e Appendix For the readers convenience we give a proof of a well-known result: Lemma A.1 (Fixed points). Let M be 2 2 integer matrix acting on T2. Assume that det (1 M) =0. Then the following holds:× − 6 (i) The number NM of fixed points of M is given by NM = det (1 M) . 2 | 2 − | (ii) There exists a disjoint partition Dj T , 1 j NM of T such that the 2 ⊆ ≤ ≤ maps yj : Dj T : x (1 M) x are bijections. → 7→ − Proof. We let 1 M act on the cover R2. The linear map 1 M sends a fundamen- − 2 − tal region of T2, e.g. [0, 1) , to a convex polytope having a non-zero volume given by det (1 M) . Each fixed point of M on T2 is mapped by 1 M to an element of Z| 2, and− the number| of integer points contained in the polytope− is just given by its volume. Claim (i) follows. 2 Let v1, v2 Z be two different such integer points in the polytope. Now assume ∈ 2 that there are f , f [0, 1) such that 1 2 ∈ (1 M)−1 (f f ) (1 M)−1 (v v ) mod [0, 1)2 . − 1 − 2 ≡ − 1 − 2 The right-hand side is mapped to a fixed point of M on T2, implying that f f 1 − 2 is an integer point, which is only possible if f1 = f2. Therefore, v1 = v2, which contradicts the assumption, and Claim (ii) follows. For d N and every real d d matrix M we denote by i,j (M), 1 i, j d the submatrix∈ arising by removing× the i-th row and j-th column from M≤. ≤ Lemma A.2 (Determinant preserving transformation). Let d N, and let T : Rd Rd and φ: R R be differentiable maps. Fix 1 j d and α∈ Rd and set → → ≤ ≤ ∈ d d Tφ : R R : x (αiφ (xj ) 1 i d) . → 7→ | ≤ ≤ Then for x Rd it holds ∈ det Dx (T + Tφ) det Dx (T )=0 − if and only if at least one of the conditions holds: d i (i) ( 1) αi det i,j (DxT )=0 or i=1 − (ii) φ(1) (x )=0. P j 18 ALEXANDER ADAM Proof. We develop the determinant of Dx (T + Tφ) with respect to the j-th column. Since Tφ depends only on xj this gives d j i det Dx (T + Tφ) = ( 1) ( 1) ∂j (T + Tφ) (x) det i,j (DxT ) . − − i i=1 X Hence, it holds d j i det Dx (T + Tφ) det (DxT ) = ( 1) ( 1) det i,j (DxT ) ∂j (Tφ) (x) − − − i i=1 X d j (1) i = ( 1) φ (xj ) ( 1) αi det i,j (DxT ) . − − i=1 X One reads up Claim (i) and (ii) directly from the right-hand side. References [1] V. Baladi and M. Tsujii, “Dynamical determinants and spectrum for hyper- bolic diffeomorphisms,” in Geometric and Probabilistic Structures in Dynam- ics, vol. 469, ser. Contemp. Math. Amer. Math. Soc., Providence, RI, 2008, pp. 29–68. [2] O. F. Bandtlow, W. Just, and J. Slipantschuk, “Spectral structure of transfer operators for expanding circle maps,” Annales de l’Institut Henri Poincaré (C) Non Linear Analysis, 2015. [3] M. L. Blank, G. Keller, and C. Liverani, “Ruelle–Perron–Frobenius spectrum for Anosov maps,” Nonlinearity, vol. 15, no. 6, pp. 1905–1973, 2002. [4] F. Faure and N. Roy, “Ruelle-Pollicott resonances for real analytic hyperbolic maps,” Nonlinearity, vol. 19, no. 6, pp. 1233–1252, 2006. [5] D. Fried, “Meromorphic Zeta functions for Analytic Flows,” Commun. Math. Phys., vol. 174, no. 1, pp. 161–190, 1995. [6] P. Giulietti and C. Liverani, “Parabolic dynamics and Anisotropic Banach spaces,” ArXiv e-prints, 2016. arXiv:1412.7181v2. [7] S. Gouëzel and C. Liverani, “Banach spaces adapted to Anosov systems,” Ergodic Theory Dyn. Syst., vol. 26, no. 1, pp. 189–217, 2006. [8] A. Grothendieck, Produits tensoriels topologiques et espaces nucléaires, 4th ed., 16. Mem. Amer. Math. Soc., 1966. [9] B. Hasselblatt and A. Katok, A First Course in Dynamics: with a Panorama of Recent Developments. Cambridge University Press, 2003. [10] Y. Katznelson, An Introduction to Harmonic Analysis, 3 edition. Cambridge University Press, 2004. [11] G. Keller and H. H. Rugh, “Eigenfunctions for smooth expanding circle maps,” Nonlinearity, vol. 17, no. 5, pp. 1723–1730, 2004. [12] S. G. Krantz, Function Theory of Several Complex Variables, 2 edition. Amer. Math. Soc., 2001. [13] F. Naud, “Anosov diffeomorphisms with non-trivial Ruelle spectrum,” Private communication, June 2015. [14] D. Ruelle, “Zeta-Functions for Expanding Maps and Anosov Flows,” Invent. Math., vol. 34, pp. 231–242, 1976. [15] H. H. Rugh, “The correlation spectrum for hyperbolic analytic maps,” Non- linearity, vol. 5, no. 6, pp. 1237–1263, 1992. GENERIC NON-TRIVIAL RESONANCES FOR ANOSOV DIFFEOMORPHISMS 19 [16] H. H. Rugh, “Generalized Fredholm determinants and Selberg zeta functions for Axiom A dynamical systems,” Ergodic Theory and Dynamical Systems, vol. 16, no. 4, pp. 805–819, 1996. [17] R. A. Ryan, Introduction to Tensor Products of Banach Spaces, ser. Springer Monographs in Mathematics. Springer London, 2002. [18] D. Sarason, The Hp Spaces of an Annulus, 56. Mem. Amer. Math. Soc., 1965. [19] J. Slipantschuk, O. F. Bandtlow, and W. Just, “Complete spectral data for analytic Anosov maps of the torus,” ArXiv e-prints, 2016. arXiv:1605.02883. [20] J. Slipantschuk, O. F. Bandtlow, and W. Just, “Analytic expanding circle maps with explicit spectra,” Nonlinearity, vol. 26, no. 12, pp. 3231–3245, 2013. Sorbonne Universités, UPMC Univ. Paris 6, CNRS, Institut de Mathématiques de Jussieu, 4, Place Jussieu, 75005 Paris, France E-mail address: [email protected]