TECHNIQUES FOR ESTABLISHING DOMINATED SPLITTINGS ANDY HAMMERLINDL ABSTRACT. We give theorems which establish the existence of a dominated splitting and further properties, such as partial hyperbolicity. 1. SPLITTINGS AND INEQUALITIES Many concepts in dynamical systems are defined by an invariant splitting with one or more inequalities related to the splitting. In many cases, the inequalities need only be verified on the non-wandering set of the system. The results in this section are similar in nature to those established in [Cao03] for hyperbolic systems and earlier work referenced therein. Here, however, we consider generalizations of hyperbolicity, including dominated splittings, weak/strong/pointwise/absolute partial hyperbolicity, center bunching, and other properties. Throughout this section assume f is a homeomorphism of a compact metric space M. Let NW ( f ) denote its non-wandering set. Proposition 1.1. If U is a neighborhood of NW (f ), there is a uniform bound N such that any orbit {f n (x) : n Z} has at most N points lying outside of U. Proof. Suppose no such N exists. As M \ U is totally bounded, for any k N, there is a point x k M \U and an iterate n k 1 such that d(x k, f n k (x k ))< 1 k. The sequence {x k } accumulates on a non-wandering point outside of U, which gives a contradiction. A cochain for f (in the context of this section) is a collection of continuous functions α n : X R for n Z. The cochain is additive if α n+m (x)=α n (f m (x))+α m (x) for all n,m Z and x X. It is superadditive if α n+m (x) α n (f m (x))+α m (x) for all n,m Z and x X. It is eventually positive if there is n 0 such that α n is positive for all n > n 0. Note that any positive linear combination of superadditive cochains is again superadditive. Proposition 1.2. If α is a superadditive cochain, the following are equivalent: (1) α is eventually positive; (2) there is n 1 such that α n (x)>0 for all x M; (3) there is n 1 such that α n (x)>0 for all x NW (f ); 1
2 A. HAMMERLINDL Proof. Clearly (1) implies (2) and (2) implies (3). Proof of (2) implies (1): Suppose (2) holds for some n. As α n and α 1 are continuous, there are δ>0 and C > 0 such that α n (x)>δ and α 1 (x)> C for all x M. Write m Z as m= qn+ r with q Z and 0 r < n. Then α m (x) qδ C n. If m is sufficiently large and positive, then so is qδ C n. Proof of (3) implies (2): First, note that if α is a superadditive cochain for f and k 1, then β n = α nk defines a superadditive cochain for f k. Therefore, we may assume α 1 (x)>0for all x NW (f ). Next, if γ is the unique additive cochain with γ 1 = α 1, then α n γ n for all n 1. Therefore, we may assume α is additive. Let ǫ>0 be small enough that U := {x M : α 1 (x)>ǫ} is a neighborhood of NW (f ). Let N be the bound in proposition 1.1, and let C be such that α 1 (x)> C for all x M. Then α m (x) > ǫ(m N ) C N for all m and x. Thus, for large m, α m is positive. For a linear operator, A, between normed vector spaces, the norm A and conorm m(a) are defined by A =sup{ Av : v =1} and m(a)=inf{ Av : v =1}. If f is a diffeomorphism and E T M is a continuous invariant subbundle, then each of logm(d f n E(x) ) and log D f n defines a superadditive cochain. We E(x) formulate a number of dynamical concepts in terms of linear combinations of such cochains. Here, all bundles considered are non-zero. (1) An invariant subbundle E is expanding if logm(d f n E(x) ) is eventually positive. (2) An invariant subbundle E is contracting if log D f n E(x) is eventually positive. (3) An invariant splitting E u E s is dominated if logm(d f n E u (x)) log D f n E s (x) is eventually positive. Write E u > E s to indicate the direction of the domination. (4) An invariant splitting E u E s is absolutely dominated if there is a constant c R such that both logm(d f n E u (x)) cn and cn log D f n E s (x) are eventually positive. (5) A dominated splitting E u > E s is hyperbolic if E s is contracting and E u is expanding. (6) A dominated splitting is weakly partially hyperbolic if it is either of the form E c > E s with E s contracting or E u > E c with E u expanding.
TECHNIQUES FOR ESTABLISHING DOMINATED SPLITTINGS 3 (7) An invariant splitting E u E c E s is strongly partially hyperbolic if both (E u E c ) > E s and E u > (E c E s ) are dominated splittings, E s is contracting, and E u is expanding. (8) For r 1, a strongly partially hyperbolic splitting is r -partially hyperbolic if both logm(d f n E u (x)) r log D f n E c (x) and r logm(d f n E c (x)) log D f n E s (x) are eventually positive. Sometimes, one also requires that f is a C r diffeomorphism [HPS77]. (9) A strongly partially hyperbolic splitting is center bunched if both and logm(d f n E u (x)) log D f n E c (x) +logm(d f n E c (x)) log D f n E c (x) +logm(d f n E c (x)) log D f n E s (x) are eventually positive. Corollary 1.3. Let f be a diffeomorphism on a compact manifold. For an invariant splitting, any of the properties listed above holds on all of M if and only if the property holds on the non-wandering set. Since the log of the Jacobian of D f n E(x) defines an additive cochain, one could also establish similar results for volume partial hyperbolicity as studied in [BDP03]. Further, the techniques in [Cao03] show that all of these properties hold uniformly if and only if they hold in a non-uniform sense on all invariant measures. 2. SPLITTINGS FROM SEQUENCES We now present what are hopefully user-friendly techniques to prove the existence of a dominated splitting. The techniques here have some similarities with results developed by Mañé to study quasi-anosov systems [Mañ77, Lemma 1.9], by Hirsch, Pugh, Shub in regards to normally hyperbolicity [HPS77, Theorem 2.17], and by Franks and Williams in constructing non-transitive Anosov flows [FW80, Theorem 1.2]. Here, however, we consider the general case of dominated splittings, and use Conley s Fundamental Theorem of Dynamical Systems to extend a splitting on the chain recurrent set to the entire phase space. This section uses E u and E s to denote the bundles of a dominated splitting, even though the splitting may not necessarily be uniformly hyperbolic. It is far easier, at least for the author, to remember that E u dominates E s than to remember which of, say, E 1 and E 2 dominates the other. Notation. For a non-zero vector v T M and n Z, let v n denote the unit vector v n = D f n v D f n v.
4 A. HAMMERLINDL This notation depends on the dynamics f : M M being specified in advance. Theorem 2.1. Suppose f is a diffeomorphism of a closed manifold M and Z is an invariant subset which contains all chain-recurrent points and has a dominated splitting T Z M = E u E s with d = dime u. Suppose that for every x M \ Z, there is a point y in the orbit of x and a subspace V y of dimension d such that for any non-zero v V y, each of the sequences v n and v n accumulates on E u as n. Then, the dominated splitting on Z extends to a dominated splitting on all of M. A key step in proving the theorem is the following Proposition 2.2. Let f : M M be a diffeomorphism, Λ a compact invariant subset, and let U Λ be open in the topology ofλsuch that (1) f (U ) is compactly contained in U, (2) each of f n (U ) and Λ \ f n (U ) n>0 has a dominated splitting with d = dime u, and (3) for each x U \ f (U ) there is a d-dimensional subspace V x such that for all 0 v V x, both v n and v n accumulate on E u as n. n>0 Then, there is a dominated splitting on all ofλ. From the proof, it will be evident that if x U \ f (U ), then E u (x)= V x in the resulting dominated splitting on M. Therefore, it is not immediately clear how applying theorem 2.1 or proposition 2.2 would compare favorably to constructing a dominated splitting directly. Still, there are a number of advantages. First, only E u needs to be known, not E s, and only on a single fundamental domain where, depending on f, it may be easy to define. Next, to verify the hypotheses, one need only consider individual convergent subsequences rather than an entire cone field or splitting. Finally, as long as one already knows that the original splitting on Z is dominated, there are no further inequalities to verify. While cone fields do not appear in the statement of proposition 2.2, they are needed for its proof. We follow the conventions given in [CP15, Section 2]. If Λ M and C T Λ M is a cone field, then for each x Λ, the cone C (x) at x is of the form C (x)={v T x M : Q x (v) 0}. where Q x is a non-positive, non-zero quadratic form which depends continuously on x Λ. The interior of C (x) is and the dual cone is intc (x) := {0} {v T x M : Q x (v)>0} C (x) := {v T x M : Q x (v) 0}.
TECHNIQUES FOR ESTABLISHING DOMINATED SPLITTINGS 5 Lemma 2.3. LetΛ M be an invariant set with a dominated splitting T Λ M = E u E s. Then there is a neighborhood U ofλand a cone field C defined on U such that (1) if a sequence {v k } of unit vectors in TM converges to v E u, then v k C for all large positive k; (2) if x, f (x) U, then D f (C (x)) intc (f (x)); (3) if x M and N Z are such that f n (x) U for all n> N, then D f n( C (f n (x)) ) n>n is a subspace of T x M with the same dimension as E u ; (4) if x M and N Z are such that f n (x) U for all n> N, then D f n( C (f n (x)) ) n>n is a subspace of T x M with the same dimension as E s. (5) the subspaces given by (3) and (4) define an extension of the dominated splitting to all of n Z f n (U ). The proof of lemma 2.3 uses the same techniques as in [CP15, Section 2] and is left to the reader. Lemma 2.4. In the setting of proposition 2.2, if there are cone fields B defined on Λ \ f (U ) and C defined on U such that d = dimb= dimc and D f (B(x)) intb(f (x)) if x M \U, D f (C (x)) intc (f (x)) if x f (U ), B(x) C(x) if x U \ f (U ), then there is a dominated splitting of dimension d defined on all ofλ. Proof. Let α :Λ [0,1] be a continuous function such that α(m \U )={0} and α(f (U ))={1}. If P x is the continuous family of quadratic forms defining B and Q x is the family defining C, then (1 α(x))p x + α(x)q x defines a cone field A onλsuch that D f (A (x)) inta (f (x)) for all x Λ. This inclusion implies the existence of a dominated splitting. Proof of proposition 2.2. Let Λ C and Λ B denote the two intersections respectively in item (2) of the proposition. By lemma 2.3, there is a cone field C 0 defined on a neighborhood U C ofλ C. For n Z, define a cone field C n on f n (U C ) by C n (x) = D f n (C 0 (f n (x))). Similarly, define a cone field B 0 on a neighborhood U B ofλ B and for each n Z define the cone field B n (x)=df n (B 0 (f n (x))). We claim here that m B m (x)= V x for all x U \ f (U ) where the intersection is over all m Z for which B m (x) is defined and V x is the subspace given in
6 A. HAMMERLINDL the statement of the proposition. Indeed, if v V x is non-zero, then there is a sequence n j such that v n j converges to a vector in E u. Hence, v n j B 0 for all large j. Equivalently, v B n j for all large j. Since the sequence B n is nested, B n j (x)= B n (x). n j This shows that V x n B n (x). Since both sets are d-dimensional subspaces of T x M, they must be equal. This proves the claim If, for some m,n Z, the cone fields B m and C n satisfied the conditions of lemma 2.4, then the desired dominated splitting would exist. Hence, we may assume that for every m, n Z, the open set {x : B m (x) intc n (x)} does not cover all of U \ f (U ). By compactness, there is y U \ f (U ) such that B m (y) \ intc n (y) is non-empty for all m, n Z. By compactness of the unit sphere in T y M, the intersection B m (y) \ intc n (y) m,n is non-empty. Let u be a unit vector in this intersection. Since u m B m (y), the above claim shows that u V y. Therefore, there is n j such that u n j converges to a vector in E u. Then u n j C 0 for all large j, and therefore u C n j intc n j 1 for all large j as well. This gives a contradiction. Proof of theorem 2.1. By the so-called Fundamental Theorem of Dynamical Systems due to Conley [Nor95], there is a continuous function l : M R such that l(f (x)) l(x) with equality if and only if x is in the set R(f ) of chain-recurrent points. Further, l(r(f )) is a compact, nowhere dense subset of R. Let C be a cone field defined on a neighborhood U of R(f ) as in lemma 2.3. Then, there is δ>0 such that l(x) l(f (x))>δ for all x U. Define a 1 < b 1 < a 2 < b 2 < < a q < b q such that b i a i < δ for all i and the union of closed intervals [a i,b i ] covers l(r(f )). For a,b R define Λ[a,b] := { x M : l(f n (x)) [a,b] for all n Z } If x Λ[a i,b i ], then b i a i < δ implies that f n (x) U for all n. Therefore, the dominated splitting may be extended to eachλ[a i,b i ]. By the inductive hypothesis, assume the dominated splitting has been extended to all ofλ[a 1,b k ]. Choose t k (b k, a k+1 ) and use Λ=Λ[a i,b k+1 ] and U = {x Λ:l(x)< t k }
TECHNIQUES FOR ESTABLISHING DOMINATED SPLITTINGS 7 in proposition 2.2 to extend the dominated splitting to all ofλ. By induction, the dominated splitting extends to all ofλ[a 1,b q ]= M. When applying theorem 2.1, it may be a hassle to show directly that v n accumulates on E u. Suppose instead we know that there is a sequence {n j } with lim j n j =+ such that v n j converges to a unit vector w T Z M which does not lie in E s. As with v, we use the notation w m = D f m (w) D f m (w). The properties of the dominated splitting on Z imply that there is a sequence {m j } tending to + such that lim j w m j exists and lies in E u. By replacing {n j } with a further subsequence, one may establish that lim j v n j+m j = lim j w m j. This reasoning shows that if v n accumulates on a vector in T Z M \E s, it also accumulates on a vector in E u. Iterating in the opposite direction, suppose there is a sequence {n j } tending to + such that {v n j } converges to w T Z M \ E s. Then there is a sequence {m j } tending to + such that lim j w m j exists and lies in E u. By replacing {n j } with a subsequence, one may establish both that lim j ( n j + m j ) = and lim j v n j+m j = lim j w m j. Hence, if v n accumulates on a vector in T Z M \ E s, it also accumulates on a vector in E u. With these observations in mind, we now state a slightly generalized version of theorem 2.1. The proof is highly similar and is left to the reader. Theorem 2.5. Suppose f is a diffeomorphism of a manifold M, and Y and Z are compact invariant subsets such that (1) all chain recurrent points of f Y lie in Z, (2) Z has a dominated splitting T Z M = E u E s with d = dime u, and (3) for every x Y \ Z, there is a point y in the orbit of x and a subspace V y of dimension d such that for any non-zero v V y, each of the sequences v n and v n accumulates on a vector in T Z M \ E s as n +. Then the dominated splitting on Z extends to a dominated splitting on Y Z. Acknowledgements The author thanks Rafael Potrie for helpful discussions. REFERENCES [BDP03] C. Bonatti, L. J. Díaz, and E. R. Pujals. A C 1 -generic dichotomy for diffeomorphisms: weak forms of hyperbolicity or infinitely many sinks or sources. Ann. of Math. (2), 158(2):355 418, 2003. [Cao03] Y. Cao. Non-zero Lyapunov exponents and uniform hyperbolicity. Nonlinearity, 16(4):1473 1479, 2003. [CP15] S. Crovisier and R. Potrie. Introduction to partially hyperbolic dynamics. Unpublished course notes available online, 2015.
8 A. HAMMERLINDL [FW80] J. Franks and B. Williams. Anomalous Anosov flows. In Global theory of dynamical systems (Proc. Internat. Conf., Northwestern Univ., Evanston, Ill., 1979), volume 819 of Lecture Notes in Math., pages 158 174. Springer, Berlin, 1980. [HPS77] M. Hirsch, C. Pugh, and M. Shub. Invariant Manifolds, volume 583 of Lecture Notes in Mathematics. Springer-Verlag, 1977. [Mañ77] R. Mañé. Quasi-Anosov diffeomorphisms and hyperbolic manifolds. Trans. Amer. Math. Soc., 229:351 370, 1977. [Nor95] D. E. Norton. The fundamental theorem of dynamical systems. Comment. Math. Univ. Carolin., 36(3):585 597, 1995. SCHOOL OF MATHEMATICAL SCIENCES, MONASH UNIVERSITY, VICTORIA 3800 AUSTRALIA URL: http://users.monash.edu.au/~ahammerl/ E-mail address:andy.hammerlindl@monash.edu