Posted by: matheuscmss | February 17, 2013

Ergodicity of conservative diffeomorphisms (I)

Last Wednesday (February 13, 2013) Sylvain Crovisier gave a talk at the Ergodic Theory seminar at LAGA-Paris 13 (that I’m currently helping to organize) about his joint work with Artur Avila and Amie Wilkinson (still not publicly available yet) on the ergodicity of {C^1}-generic conservative (i.e., volume-preserving) diffeomorphisms.

In his talk, Sylvain presented two of the main results of his work with Avila and Wilkinson (see Theorem 2 and Theorem 3 below), and he sketched the proof of one of them (namely, Theorem 2). Then, after his talk, he told me that he plans to discuss the proof of the other main result next Friday (February 22, 2013) at Eliasson-Yoccoz seminar in Jussieu (University Paris 6 and 7).

So, I will proceed as follows: below I’ll reproduce my notes from Sylvain’s talk at LAGA, and, if I manage to take decent notes from Sylvain’s talk at Jussieu, then I’ll complete today’s discussion (in another post) by sketching the proof of the other main result of Avila-Crovisier-Wilkinson (namely, Theorem 3).

As usual, all mistakes/errors in this post are entirely my responsibility.

1. Setting and statement of main results

Let {M} be a compact, connected manifold (without boundary), and fix {v} a smooth volume probability measure.

Denote by {\textrm{Diff}_v^r(M)} the set of {C^r}-diffeomorphisms of {M} preserving {v}.

Our discussion will be “guided” by the following question:

Problem. Is {v} ergodic for “most” {f\in \textrm{Diff}_v^r(M)}?

Of course, this problem is motivated by the so-called Boltzmann’s ergodic hypothesis “predicting” that the “answer should be yes”.

For {r=0}, it was shown by J. Oxtoby and S. Ulam that {v} is ergodic for a {C^0}-generic (residual in Baire category sense) conservative homeomorphism.

On the other hand, the celebrated KAM theory shows (in particular) that the analog of Oxtoby-Ulam in higher smoothness is false:

Theorem (Kolmogorov, Arnold, Moser, …, Herman) For {r\geq4}, there exists an open set {\emptyset\neq\mathcal{U}\subset \textrm{Diff}_v^{\,\,r}(M)} such that every {f\in\mathcal{U}} possesses a family of invariant torii {\{T_{\alpha}\}_{\alpha\in\mathcal{A}}} of codimension 1 whose union {\bigcup\limits_{\alpha\in\mathcal{A}} T_{\alpha}} is a Cantor set of positive {v}-volume and the dynamics of {f} on each invariant torus of this family is {C^1}-conjugated to a (irrational) rotation on the standard torus {\mathbb{T}^m=\mathbb{R}^m/\mathbb{Z}^m}.

In particular, the dynamics of {f} is not transitive nor ergodic with respect to {v}.

Remark 1 Some regularity condition for the validity of this theorem is necessary: for example, S. Crovisier and C. Bonatti used their closing lemma for pseudo-orbits to show that the dynamics of a {C^1}-generic (in Baire category) conservative diffeomorphism {f\in\textrm{Diff}^{\,1}_v(M)} is transitive. However, the exact regularity threshold {2\leq r_0\leq 4} for the validity of Theorem 1 is not known (to the best of my knowledge).

Remark 2 For the sake of our discussion, it is worth to point out that the absence of ergodicity in the open set {\mathcal{U}} of “KAM examples” above is intimately related to the absence of hyperbolicity in the following sense: if {x\in T_{\alpha}}, then {\lim\limits_{n\rightarrow\pm\infty}\frac{1}{n}\log\|Df^n(x)\|\rightarrow0} (i.e., there is no future or past exponential growth of the dynamics along the orbit of {x}) because {f} is ({C^1}-conjugated to) a rotation on {T_{\alpha}} and {f} preserves a Cantor set lamination transversely to {T_{\alpha}}. In other words, the non-ergodicity of KAM examples is “natural” because they have no non-zero Lyapunov exponents along the orbits in {\bigcup\limits_{\alpha\in\mathcal{A}} T_{\alpha}}.

Concerning Remark 2 above, let us recall that, in general, the Oseledets theorem asserts that, for {v}-a.e. {x\in M}, there is a decomposition into Oseledets subspaces

\displaystyle T_x M=\mathcal{E}_1\oplus\dots\mathcal{E}_{k(x)}(x)

and a collection of numbers {\lambda_1(x)<\dots<\lambda_{k(x)}(x)} such that

\displaystyle \lim\limits_{n\rightarrow\pm\infty}\frac{1}{n}\log \|Df^n(x).u\|=\lambda_i(x)

whenever {u\in\mathcal{E}_i(x)-\{0\}}.

From the dynamical point of view, it is natural to distinguish three types of vectors in {T_xM} depending on whether they are exponentially contracted, not exponentially contracted nor expanded, and exponentially expanded, that is,

\displaystyle T_xM=\mathcal{E}_x^s\oplus\mathcal{E}_x^c\oplus\mathcal{E}_x^u

where {\mathcal{E}_x^s:=\bigoplus_{\lambda_i<0}\mathcal{E}_i(x)}, {\mathcal{E}_x^c=\mathcal{E}_0} and {\mathcal{E}_x^u:=\bigoplus_{\lambda_j>0}\mathcal{E}_j(x)}. We will call {\mathcal{E}_x^s}, {\mathcal{E}_x^c} and {\mathcal{E}_x^u} the stable, central and unstable Oseledets subspaces (resp.).

In this language, we say that {f} is non-uniformly hyperbolic (in the sense of Pesin’s theory) if {\mathcal{E}^c=\{0\}} for {v}-a.e. {x}.

Here, the nomenclature “non-uniform hyperbolicity” is justified by the fact that the conditions {\lambda_i(x)<0} or {\lambda_j(x)>0} on Lyapunov exponents provide only asymptotic information on contraction or expansion, so that the time one has to wait before actually getting contraction or expansion might depend heavily on {x}.

For sake of comparison, let us recall that {f} is called Anosov if it admits a global uniform hyperbolic structure, i.e.,

\displaystyle TM=E^s\oplus E^u

where {E^s} and {E^u} are {Df}-invariant subbundles such that there exists {N_0\in\mathbb{N}} with the property that {E^s} is (uniformly) contracted by {Df^{N_0}} and {E^u} is (uniformly) contracted by {Df^{-N_0}}.

This “uniformity” of Anosov diffeomorphisms was exploited by D. Anosov and Y. Sinai to show the following result:

Theorem 1 Let {f\in\textrm{Diff}^{\,2}_v(M)} be an Anosov diffeomorphism. Then, {v} is ergodic.

The basic mechanism behind this theorem is the so-called Hopf’s argument, and the smoothness requirement {f\in C^2} is imposed to ensure that Hopf’s argument works. In particular, it is not known whether Anosov-Sinai theorem holds for {f\in\textrm{Diff}^{\,1}_v(M)}.

In any case, an immediate corollary of Anosov-Sinai theorem is the fact that {\textrm{Diff}^{\,2}_v(M)} contains a {C^1}-open set of ergodic diffeomorphisms whenever {\textrm{Diff}^{\,2}_v(M)} contains Anosov diffeomorphisms: indeed, this follows from the {C^1}openness of the condition of existence of global uniform hyperbolic structure (see, e.g., Hasselblatt-Katok’s book for more details).

In summary, it is not known that ergodicity is {C^1}-open among {C^1} conservative Anosov diffeomorphisms, but, at least, it is {C^1}-open among {C^2} conservative Anosov diffeomorphisms. Of course, this scenario motivates the question: given that we don’t know concrete examples of {C^1}-open sets of ergodic {C^1}-diffeomorphisms, what can be said about the {C^1}genericity (in Baire sense) of ergodicity?

The next theorem by A. Avila, S. Crovisier and A. Wilkinson gives an answer to this question:

Theorem 2 (A. Avila, S. Crovisier and A. Wilkinson) There exists {\mathcal{G}\subset\textrm{Diff}^{\,1}_v(M)} a residual (i.e., {G_{\delta}}-dense) subset such that for any {f\in\mathcal{G}}:

  • (ZE) either all Lyapunov exponents {\lambda_i(x)} of {v}-a.e. {x\in M} vanish,
  • (NUA) or {f} is non-uniformly Anosov in the sense that
    • {f} has a (global) dominated splitting, i.e., there is a decomposition {TM=E\oplus F} into {Df}-invariant subbundles such that {F} dominates {E}, that is, there exists {N\geq 1} with {\|Df^N(u)\|\leq (1/2)\|Df^N(v)\|} for any {u\in E}, {v\in F} unitary vectors (“the largest expansion along {E} is dominated by the weakest contraction in {F}, but, a priori, neither {E} is assumed to be contracted nor {F} is assumed to be expanded”).
    • for {v}-a.e. {x\in M}, the fibers of {E_x} and {F_x} of the dominated splitting coincide with the stable and unstable Oseledets subspaces, i.e., {E_x=\mathcal{E}_x^s} and {F_x=\mathcal{E}_x^u},

    and {v} is ergodic.

Remark 3 The attentive reader will notice that there is no ergodicity claim in item (ZE) and this is not by chance: in fact, the issue of ergodicity in the context of (ZE) is open and it is an interesting problem to understand this question even for particular cases of (ZE) such as “KAM-like examples”.

Remark 4 By definition, a non-uniformly Anosov diffeomorphism is non-uniformly hyperbolic in the sense of Pesin’s theory. In other words, non-uniformly Anosov systems form a intermediate class of dynamical systems between Anosov diffeomorphisms and non-uniformly hyperbolic diffeomorphisms.

Remark 5 In terms of Lyapunov exponents, this theorem says that {C^1}-generically there is no “intermediate behavior”: either all Lyapunov exponents are zero (like in KAM examples) or they are all non-zero (and the “Oseledets splitting” is dominated).

Remark 6 For {\textrm{dim}(M)=2}, this theorem was previously known from the works of R. Mañé and J. Bochi, and, more recently, J. Rodriguez-Hertz showed this theorem for {\textrm{dim}(M)=3}.

Remark 7 The distinction between the possibilities (ZE) (zero exponents) and (NUA) (non-uniformly Anosov) can be done in terms of the metric entropy {h_v(f)} of {f}. More precisely, we claim that (ZE) occurs if and only if {h_v(f)}, and (NUA) occurs if and only if {h_v(f)\neq 0}. Indeed, by Ruelle’s inequality, {h_v(f)\leq \int(\sum_i\max(\lambda_i(x),0)\,dv(x)}. Thus, if all Lyapunov exponents vanish, {h_v(f)=0}, and, if {h_v(f)\neq 0}, then (some) Lyapunov exponents are non-zero. In order to complete the picture, we invoke Pesin’s formula saying that Ruelle’s inequality is an equality in favourable situations: usually Pesin’s formula is stated for {C^2}-diffeomorphisms, but W. Sun and X. Tian showed that it is also true in our current context (of {C^1}-generic conservative diffeomorphisms) to show that if {h_v(f)=0} then (generically) all Lyapunov exponents must vanish.

After getting some positive result (namely, Theorem 2) for the question of {C^1}-genericity of ergodicity, it is natural to come back to the question of openness/stability of ergodicity.

Partly motivated by the situation in Anosov-Sinai theorem, we say that {f\in \textrm{Diff}^{r}_v(M)}, {r>1}, is {C^r}stably ergodic if all {g\in \textrm{Diff}^{r}_v(M)} {C^1}-close to {f} is ergodic (with respect to {v}).

By definition and Anosov-Sinai theorem, all {C^r} Anosov diffeomorphisms are {C^r}-stably ergodic. Evidently, one can ask for more general classes of stably ergodic dynamical systems, and, after the works of C. Pugh and M. Shub, K. Burns and A. Wilkinson, and F. Rodriguez-Hertz, J. Rodriguez-Hertz and R. Ures, we know that {C^r}partially hyperbolic diffeomorphisms satisfying certain mild (bunching and essential accessibility) conditions are {C^r}-stably ergodic. Here, {f} is called partially hyperbolic if there is a (global) splitting

\displaystyle TM=E^s\oplus E^c\oplus E^u

into {3} {Df}-invariant subbundles such that the stable direction {E^s} is uniformly contracted by {Df}, the unstable direction {E^u} is uniformly expanded by {Df} (i.e., contracted by {Df^{-1}}) and the central direction {E^c} is dominated by {E^u} and dominates {E^s}. In the sequel, the set of {C^r}-partially hyperbolic (conservative) diffeomorphisms is denoted by {PH^r_v(M)}.

Remark 8 Of course, there is no a priori reason to stop at partially hyperbolic diffeomorphisms: indeed, it makes sense to ask stable ergodicity for conservative diffeomorphisms with dominated splittings and for conservative diffeomorphisms without dominated splittings. In the former case, A. Tahzibi constructed examples of stably ergodic conservative diffeomorphisms with dominated splitting (but not partially hyperbolic), but the general situation of stable ergodicity for diffeomorphisms with dominated splitting is not completely understood. In the latter case, as it was pointed out by S. Crovisier, there is no hope for stable ergodicity: in fact, one can exploit the absence of dominated splittings and a “pasting lemma” by A. Arbieto and myself to (generically) contradict ergodicity by producing periodic orbits possessing some invariant neighborhoods.

As it turns out, for the class {PH^r_v(M)} of {C^r}-partially hyperbolic (conservative) diffeomorphisms, it was conjectured by C. Pugh and M. Shub that there is no need for mild conditions for the validity of stable ergodicity:

Conjecture (Pugh-Shub). For {r>1}, there exists a {C^1}-open {C^r}dense subset of {PH^r_v(M)} consisting of {C^r}-stably ergodic dynamical systems.

In the direction of Pugh-Shub conjecture, A. Avila, S. Crovisier and A. Wilkinson show the following result:

Theorem 3 (A. Avila, S. Crovisier, A. Wilkinson) For {r>1}, the set of ergodic diffeomorphisms in {\textrm{Diff}^{\,r}_v(M)} contains a {C^1}-open, {C^1}-dense subset of {PH^r_v(M)}.

Remark 9 This theorem doesn’t exactly solve Pugh-Shub conjecture because they claim {C^1}-density of the set of ergodic diffeomorphisms in {PH^r_v(M)} (instead of {C^r}-density).

Remark 10 For partially hyperbolic diffeomorphisms {f\in PH^r_v(M)} whose central direction {E^c} is {1}-dimensional, this result was previously shown by C. Bonatti, M. Viana, A. Wilkinson and myself, and, for {f\in PH^r_v(M)} whose central direction {E^c} is {2}-dimensional, this result was previously shown by F. Rodriguez-Hertz, J. Rodriguez-Hertz, A. Tahzibi and R. Ures.

At this point, as we already mentioned above, Sylvain offered to explain some ideas behind the proof of Theorem 2 while postponing the proof of Theorem 3 for another occasion. In fact, after his talk at LAGA (Univ. Paris 13), Sylvain told me that he intends to sketch the proof of Theorem 3 during a talk next Friday (22 February 2013) at Eliasson-Yoccoz seminar in Jussieu (Univ. Paris 6 and 7). In particular, it is likely that I will write a follow-up to this post (hopefully by the end of February/beginning of March) explaining what I could understand from Sylvain’s talk next Friday.

Anyhow, the next (and last) section of this post contains some highlights on the arguments used in the proof of Theorem 2.

2. Some ideas in the proof of Theorem 2

Let us consider {f} a {C^1}-generic conservative diffeomorphism. Recall that, by Oseledets theorem, for {v}-a.e. {x}, we have a decomposition {T_xM=\mathcal{E}^s_x\oplus\mathcal{E}_x^c\oplus\mathcal{E}^u_x} into the stable, central and unstable Oseledets subspaces.

Define

\displaystyle X_{i,j}=\{x\in M: \textrm{dim}(\mathcal{E}_x^s)=i \textrm{ and } \textrm{dim}(\mathcal{E}_x^u)=j\}

Note that {X_{i,j}} are {f}-invariant subsets of {M} such that

\displaystyle M=\bigcup\limits_{0\leq i+j\leq \textrm{dim}(M)} X_{i,j} \, (\textrm{mod }0)

The first important ingredient in the proof of Theorem 2 is the following semicontinuity result for {X_{i,j}} due to J. Bochi and M. Viana:

Theorem 4 (Bochi-Viana) Given {\delta>0}, we can find a {f}-invariant subset {X\subset X_{i,j}} such that {X} admits a dominated decomposition

\displaystyle T_{\overline{X}}M=E^1\oplus E^2\oplus E^3

where {E^1} has dimension {i}, {E^3} has dimension {j} and {v(X_{i,j}-X)<\delta}.

In fact, the following corollary of this result makes it clear why we called this a “semicontinuity result”:

Corollary 5 (Bochi-Viana) For {g} {C^1}-close to {f}, the {v}-measure {v(X_{i,j}^g\Delta X_{i,j}^f)} of the symmetric difference of {X_{i,j}^g} and {X_{i,j}^f} is small.

Next, let us notice that the statement of Theorem 2 essentially amounts to say that generically only the “extremal cases”

\displaystyle NUH=NUH(f):=\bigcup\limits_{i+j=\textrm{dim}(M)} X_{i,j}

or {X_{0,0}} occur.

In this direction, we will need the following results of A. Avila and J. Bochi:

Theorem 6 (Avila-Bochi) {NUH(f)} is dense and {v|_{NUH(f)}} is ergodic, i.e., there are {i_0} and {j_0} such that {NUH(f)=X_{i_0,j_0}} (mod {0}).

By putting together the semicontinuity theorem of Bochi-Viana with this theorem of Avila-Bochi, one obtains that:

Corollary 7 If {\nu(NUH)>0}, then {v(X_{0,0})=0}.

Proof: By Avila-Bochi theorem, there are {i_0, j_0} such that {NUH=X_{i_0,j_0}} is a dense subset of {M}. By Bochi-Viana theorem, there is a dominated splitting {TM=E\oplus F} (with {\textrm{dim}(E)=i_0} and {\textrm{dim}(F)=j_0}) over all {M}. By definition of dominated splitting, the rates of contraction/expansion along {E} and {F} are distinct, so that a (global) dominated decomposition is not compatible with the presence of a positive measure subset where all Lyapunov exponents vanish (or, more generally, are all equal). It follows that {v(X_{0,0})=0}. \Box

At this point, the proof of Theorem 2 is essentially complete if we can show that generically the others {X_{i,j}} (with {i+j<\textrm{dim}(M)}) do not show up (i.e., they have zero {v}-measure).

Before proceeding in this direction, let us make a little detour to briefly explain how one gets ergodicity in the statement of Avila-Bochi theorem. As we told right after the statement of Anosov-Sinai theorem, one usually needs {C^2}-regularity to obtain ergodicity (at least if one plans to use Hopf-like arguments…). In the context of Avila-Bochi theorem, one can “pretend” that {C^1}-generic conservative diffeomorphisms “behave” like {C^2} conservative diffeomorphisms as far as the classical ergodicity arguments are concerned. More concretely, by a result of A. Avila, one can {C^1}-approximate any {f\in \textrm{Diff}^{\,1}_v(M)} by some {g\in \textrm{Diff}^{\,2}_v(M)} (this is trickier than one might think at first sight: while it is easy to perturb {f} to improve its smoothness [say by convolution], but it is not so simple to regularize {f} keeping the conservativeness condition; from the point of view of PDEs, this amounts to solve the Jacobian equation {\det D\phi = \psi} where {\psi} is {C^0}…), and one can use some “semicontinuity arguments” (like Bochi-Viana theorem…) to claim that {g\in\textrm{Diff}^{\,2}_v(M)} behaves like a {C^1}-generic {f\in \textrm{Diff}^{\,1}_v(M)}.

Anyhow, let us “pretend” that {f\in \textrm{Diff}^{\,2}_v(M)} and let us consider {NUH(f)}. By some results of A. Katok (strongly based on Pesin’s theory), it is known that we can “approach” {NUH(f)} by horseshoes, that is, there are periodic points {p_i}, {i\in\mathbb{N}}, such that

\displaystyle NUH(f)=\bigcup\limits_{i\in\mathbb{N}} H_v(p_i)

where {H_v(p_i):=\{x\in M: W^s(x) \sqcap W^u(p_i)\neq\emptyset \textrm{ and } W^u(x) \sqcap W^s(p_i)\neq\emptyset\}}. Here: {W^s(p_i)} and {W^u(p_i)} are the usual stable and unstable manifolds of the (hyperbolic) periodic point {p_i}; {W^s(x)} and {W^u(x)} are the stable and unstable manifolds of {x\in NUH(f)} provided by Pesin’s theory; finally, {A\sqcap B\neq\emptyset} means that {A} and {B} meet transversely.

The sets {H_v(p_i)} work as a sort of “homoclinic class in the sense of Pesin”, and, as it was shown by F. Rodriguez-Hertz, J. Rodriguez-Hertz, A. Tahzibi and R. Ures, they are good enough to play with a (generalized) Hopf argument:

Theorem 8 (Rodriguez-Hertz, Rodriguez-Hertz, Tahzibi, Ures) For any hyperbolic periodic point {p}, {v|_{H_v(p)}} is ergodic (if {f} is {C^2}).

So, the proof of Avila-Bochi theorem (that {v|_{NUH(f)}} is ergodic) will be complete if we can “connect together” the several “homoclinic classes” {H_v(p_i)} in order to obtain a single ergodic piece. Here, one can use the connecting lemma for pseudo-orbits of C. Bonatti and S. Crovisier saying that, for a {C^1}-generic {f}, any pair of hyperbolic periodic points {p} and {q} are connected in the sense that either {W^s(p)\sqcap W^u(q)\neq\emptyset} or {W^u(p)\sqcap W^s(q)\neq\emptyset}.

Coming back to the main discussion (i.e., the completion of the proof of Theorem 2), let us explain how to get rid of the “other” {X_{i,j}}‘s, that is, let us show that generically one has {v(X_{i,j})=0} when {0<i+j<\textrm{dim}(M)}.

The basic idea to “destroy” {X_{i,j}} is to delete some central (zero) Lyapunov exponents. More concretely, we consider a subset {X\subset X_{i,j}} such that {v(X_{i,j}-X)} is very small and {X} has dominated splitting {T_{X}M=E_1\oplus E_2\oplus E_3} where {\textrm{dim}(E_1)=i} and {\textrm{dim}(E_3)=j}. By definition, the subbundle {E_2} contains all zero Lyapunov exponents, so that we will destroy {X_{i,j}} (or at least {X}, a large piece of {X_{i,j}}) if we can convert some exponents in {E_2} into non-zero Lyapunov exponents. In this direction, Avila, Crovisier and Wilkinson prove the following theorem:

Theorem 9 Let {f\in\textrm{Diff}^{\,1}_v(M)} and consider {U} an open set. Denote by {A} the maximal invariant set of {\overline{U}}, i.e., {A=\bigcap_{n\in\mathbb{Z}} f^{n}(\overline{U})} and suppose that {A} has a dominated splitting {T_A M=E_1\oplus E_2\oplus E_3} such that

\displaystyle J(x,E_2):=\lim\limits_{n\rightarrow\infty}\frac{1}{n} \log |\det Df^n(x)|_{E_2}|

\displaystyle := \textrm{ sum of Lyapunov exponents of } x \textrm{ in } E_2

\displaystyle \leq 0

for {v}-a.e. {x\in A}. Then, for any {N\geq 1}, there exists {g} {C^1}-close to {f} such that

\displaystyle v(\{x: \mathcal{O}(x)\subset U,\, J(x,E_2)\geq0\})\leq 1/N

In other words, this theorem says that, if the sum of Lyapunov exponents in {E_2} is non-positive, then we can perturb the dynamics to get that the sum of Lyapunov exponents in {E_2} is negative except for a set of small {v}-measure.

Remark 11 For the case {U=M}, this a similar result was proved by M. Shub and A. Wilkinson (for a important class of partially hyperbolic diffeomorphisms), and A. Baraviera and C. Bonatti (in general).

Using Theorem 9, one can destroy {X_{i,j}} with {0<i+j<\textrm{dim}(M)} by induction: starting with {X_{i,j_1}} with {0<i+j_1<\textrm{dim}(M)} and {j_1} as large as possible, one can apply Theorem 9 to convert {X_{i,j_1}} into a subset of {NUH(f)} or another {X_{i,j}} with {0<i+j<\textrm{dim}(M)} and {j<j_1}.

Completing this post, let us say a few words about the proof of Theorem 9. We take {B\subset U\subset M} a small ball of radius {\delta>0}. Consider {R} a diffeomorphism such that {R} is the identity outside {B}, and {R} is a small rotation of {E_2} towards {E_1} say (for a mental picture you can think of {E_2} as the {y}-axis, {E_1} as the {x}-axis, {E_3} as the {z}-axis in {\mathbb{R}^3} and {R} as a small rotation in the {xy}-plane) in the ball {B_{1/2}} with the same center of {B} and radius {\delta/2}.

If we consider the action of the derivative of {R\circ f} on {E_2} along the orbits of points starting at {B_{1/2}}, we will see that {E_2} is tilted towards {E_1} at the first step, and, in the next steps, the component of {R(E_2)} on {E_1} gets contracted while the component of {R(E_2)} on {E_2} stays about the same size.

In summary, this perturbation permits to the (sum of) Lyapunov exponents in {E_2} slightly more negative along the orbits passing through the ball {B_{1/2}}. Of course, there is a trade in this perturbation: since {R} is an interpolation between a small rotation and the identity, it turns out that the effect on Lyapunov exponents of orbits passing through {B-B_{1/2}} is the opposite of the expected one. In the case {U=M}, this is not a big problem: this “boundary effect” can be controlled by arguing that most orbits (with respect to the volume {v}) will not see {B-B_{1/2}} (possibly after adjusting the ratio between the radius of {B} and {B_{1/2}} to get closer to {1}…). However, since we don’t know the set {U} in advance, it could be that the a large part of orbits in the maximal invariant set {A} will feel the boundary effect. At this point, Avila-Crovisier-Wilkinson borrow the following idea of J. Bochi: instead of performing a small rotation in the ball {B}, one can iterate this produce to kill the boundary effect as follows: starting with {B}, one iterates by {R\circ f} and one lands in a ball {B'}. Now, one divides {B'} into a certain number of small balls and one performs another round of small independent rotations on each of these balls, and one continues by induction (i.e., subdividing the iterate of each ball and performing independent rotations). Of course, we are hidden lots of details (for instance, how to choose the parameters for the division of balls and for the rotations), but we will not comment more on this point (leaving the curious reader to consult Subsection 2.3 of Bochi’s paper for a more precise description of this idea).


Responses

  1. Update (March 25, 2013): As it was pointed out to me by Artur (Avila), the previous version of Remark 11 was not accurate: in fact, Shub-Wilkinson and Bonatti-Baraviera were able to change just the sign of the *average* of the Jacobian J(.,E_2) over the whole manifold M, while Theorem 9 allows to change the sign of J(.,E_2) in a subset almost full measure of U\subset M.


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Categories

%d bloggers like this: