Posted by: matheuscmss | March 17, 2014

Holder regularity of solutions of the cohomological equation for interval exchange transformations

Last Wednesday, Jean-Christophe Yoccoz gave a talk (in French) entitled “Regularité holdérienne des solutions de l’équation cohomologique pour les échanges d’intervalle”.

This was the second talk of a new “flat surfaces” seminar organised by himself, Anton Zorich and myself at Instut Henri Poincare (IHP) in Paris. The details about this seminar (such as current schedule, previous and next talks, abstracts, etc.) can be found at this website here.

For the time being, this seminar is an experiment in the sense that IHP allows us to use their rooms from March to June 2014. Of course, if the experiment is a success (i.e., if it manages to gather a non-trivial number of participants interested in flat surfaces and Teichmueller dynamics), then we plan to continue it.

Below the fold, I will reproduce my notes of Jean-Christophe’s talk about a new result together with Stefano Marmi on the cohomological equation for interval exchange transformations of restricted Roth type. Logically, it goes without saying that any errors/mistakes are my entire responsibility.

1. Introduction

A classical method to study the properties of (“quasi-periodic”) dynamical system {f} consists into finding an adequate linearization, i.e., one seeks a (“smooth”) change of coordinates {h} so that the new dynamical system {g=h\circ f\circ h^{-1}} is “linear”/“algebraic” in some sense (e.g., a rigid rotation on a circle, a translation on a torus, etc.).

Of course, given {f} and a “good candidate” {g} for a linear model of {f}, the problem of finding {h} is non-linear (because the conjugation equation {g=h\circ f \circ h^{-1}} is non-linear in {h}). For this reason, it is often the case that before attacking the conjugation equation one studies the following linear version

\displaystyle \phi=\psi\circ f - \psi

called cohomological equation for {f} (where {\phi} is given and we want to solve for {\psi}). In fact, the relationship between the cohomological equation and the conjugation equation was already discussed in this blog (see, e.g., this post), where we emphasized Herman’s Schwartzian derivative trick to convert solutions of the cohomological equation into solutions of the conjugation equation in the context of circle diffeomorphisms.

Today, we will discuss exclusively the existence and regularity of solutions of the cohomological equation for interval exchange transformations (but we will not study the conjugation equation).

In order to motivate the main results in this post, let us recall some of the known theorems about the existence and regularity of solutions of the cohomological equation for rotations on the circle of angle {\alpha} (or, equivalently, an interval exchange transformation of two intervals of lengths {\alpha} and {1-\alpha}).

Definition 1 We say that an irrational number {\alpha\in\mathbb{T}:=\mathbb{R}/\mathbb{Z}} is of Roth type whenever for all {\tau>0} there exists {\gamma(\tau)>0} such that

\displaystyle \|q\alpha\|_{\mathbb{T}}\geq\gamma(\tau)q^{-1-\tau}

for all {q\geq 1}. Here, {\|.\|_{\mathbb{T}}} means the distance to the closest integer.

Remark 1 The nomenclature “Roth type” is motivated by Roth’s theorem stating that any irrational algebraic integer {\alpha} is of Roth type.

Proposition 2 (Russmann, Herman, …) Let {\alpha\in\mathbb{T}} be of Roth type. Given {r>1} and {\phi\in C^r_0(\mathbb{T})} (i.e., {\phi} is a {C^r} function on {\mathbb{T}} with zero mean), there exists a solution {\psi} of the cohomological equation

\displaystyle \psi\circ R_{\alpha}-\psi=\phi

for the rotation {R_{\alpha}} of angle {\alpha} on {\mathbb{T}} with the property that {\psi\in C^s_0(\mathbb{T})} for all {s<r-1}.

In other terms, this result says that we can solve the cohomological equation for circle rotations of Roth type with a loss of ({1+\varepsilon})-derivative for all {\varepsilon>0}.

Remark 2 The analog of this result in the Sobolev scale (i.e., when {\phi} and {\psi} belong to standard Sobolev spaces {H^s}) follows from an elementary Fourier analysis (cf. this post). On the other hand, the statement above (in Hölder scale {C^r}) requires some extra work, but it is still within the framework of Harmonic Analysis in the sense that one uses Littlewood-Paley decomposition and interpolation inequalities (cf. Herman’s article for more details).

For the sake of comparison, let us give the following statement (where the boldface terms will introduced later):

Theorem 3 (Marmi-Yoccoz) Let {T} be an interval exchange transformation of restricted Roth type. Given {r>1}, there exists {\delta>0}, a subspace {F\subset \textbf{C}^{\,\textbf{r}}_{\textbf{0}}\textbf{(\underline{u}(T))}} of codimension {\textbf{g+s}} and a bounded operator {L:F\rightarrow C^{\delta}_0(I(T))} such that

\displaystyle \phi=L(\phi)\circ T - L(\phi)

for every {\phi\in F}.

Of course, since a rotation of the circle is an interval exchange transformation in two intervals, the theorem of Marmi-Yoccoz extends the previous proposition (of Russmann, Herman, …) to a larger important class of quasi-periodic dynamical systems.

Remark 3 It is possible to check that a circle rotation of Roth type is an interval exchange transformation of two intervals of restricted Roth type. Furthermore, in this particular context one also can show that {F=C^r_0(\underline{u}(T))}.

Remark 4 The theorem of Marmi-Yoccoz applies to almost every interval exchange transformation: in fact, the restricted Roth type condition has full measure in the space of interval exchange transformations (with respect to the natural Lebesgue measure obtained by parametrizing interval exchange transformations with fixed combinatorics via the lengths of the permuted intervals).

On the other hand, the loss of derivative {r-\delta} in Marmi-Yoccoz theorem is not very good compared to the previous proposition: in fact, the quantity {\delta>0} depends on {r} and the definition of restricted Roth type in a highly non-trivial way, so that {\delta>0} is usually very small and, a fortiori, {r-\delta} is not close (in general) to the optimal loss {1+\varepsilon} in the previous proposition.

Remark 5 Here, Jean-Christophe said that it is likely that the definition of restriction Roth type must be changed if one desires an optimal loss of derivatives.

Before explaining the terms in boldface in Marmi-Yoccoz theorem, let us recall some previous related results on cohomological equations for interval exchange transformations and translation flows (the“continuous time analogs” of interval exchange transformations).

First, Forni considered in these two papers here (1997) and here (2007) the cohomological equation for translation flows on translation surfaces (i.e., Forni studied the “continuous time analog” of the cohomological equation for interval exchange transformations). Using several tools from Harmonic Analysis (including weighted Sobolev spaces) on compact surfaces, Forni managed to construct solutions of the cohomological equation for “almost all” (choice of direction for) translation flows in any given translation surface with an optimal loss {(1+\varepsilon)} of derivative (in a weighted Sobolev scale).

Secondly, Marmi, Moussa and Yoccoz considered in these two papers here (2005) and here (2012) showed the existence of continuous solutions of the cohomological equation for interval exchange transformations of restricted Roth type. In particular, the new result of Marmi-Yoccoz improves these previous results by asserting that the existence of Hölder continuous ({C^{\delta}(I(T))}) solutions for the cohomological equations studied in their previous papers with Moussa.

As the reader can see, the results of Forni and Marmi-Moussa-Yoccoz have both strong and weak points. On one hand, Forni’s result gives solutions to the cohomological equation for “almost all” translation flows with optimal loss of derivative in Sobolev scale, but the “Diophantine condition” (i.e., the subset of full measure of translation flows) in his theorem is not explicit. On the other hand, the results of Marmi-Moussa-Yoccoz result and Marmi-Yoccoz give solutions to the cohomological equation for interval exchange transformations with a poor gain of regularity in Hölder scale, but their “Diophantine condition” (restricted Roth type) on the interval exchange transformation is “relatively explicit”. Also, it is not easy to compare “directly” these results: even though there is a “natural” notion of restricted Roth type translation flow (in the sense that the return map of the translation flow to an appropriate transverse section is an interval exchange transformation of restricted Roth type) in this paper of Marmi-Moussa-Yoccoz, it is not clear that a restricted Roth type translation flow fits the “Diophantine condition” of Forni.

Remark 6 Very roughly speaking, one of the (several) difficulties in relating the Diophantine conditions of Forni and Marmi-Moussa-Yoccoz is related to the application of Oseledets theorem for the Kontsevich-Zorich cocycle: indeed, Oseldets theorem provides a non-explicit set of full measure of points such that the Kontsevich-Zorich cocycle along the Teichmüller flow orbit of these points have a particularly nice behavior (see, e.g., the introduction of this paper of Forni for more explanations). Nevertheless, it is worth to point out that the recent results of Chaika-Eskin give some hope towards relating the Diophantine conditions of Forni and Marmi-Moussa-Yoccoz.

After these comments on Theorem 3 (and some related results), it is time to define the objects involved in the statement of this theorem.

2. Interval exchange transformations

Recall that an interval exchange transformation {T} is determined by the following data. Given a finite alphabet {\mathcal{A}} with {d=\#\mathcal{A}<\infty} letters, an interval {I(T)} and two partitions {I(T)=\bigcup\limits_{\alpha\in\mathcal{A}} I_{\alpha}^t(T)=\bigcup\limits_{\alpha\in\mathcal{A}} I_{\alpha}^b(T)} into subintervals with

\displaystyle \textrm{length of } I_{\alpha}^t(T) = \textrm{length of } I_{\alpha}^b(T)

for every {\alpha\in\mathcal{A}}, the interval exchange transformation {T:I(T)\rightarrow I(T)} is the piecewise translation sending {I_{\alpha}^t(T)} to {I_{\alpha}^b(T)}. Here, {t}, resp. {b} stands for top, resp. bottom subintervals, that is, the subintervals of the partition one sees before, resp. after applying {T}. The figure below gives some examples of interval exchange transformations.

Simple examples of interval exchange transformations

We denote by {u_0<u_1<\dots<u_d}, resp. {v_0<v_1<\dots<v_d}, the extremities of the subintervals {I_\alpha^t(T)}, resp. {I_\alpha^b(T)} ({\alpha\in\mathcal{A}}), so that {u_0=v_0} and {u_d=v_d} are the extremities of the interval {I(T)}. In particular, {u_1, \dots, u_{d-1}}, resp. {v_1,\dots, v_{d-1}}, are the discontinuities of {T}, resp. {T^{-1}}.

Using these notations, we are ready to introduce the first term marked boldface in Theorem 3:

\displaystyle C^r(\underline{u}(T)):=\prod\limits_{i=1}^d C^r([u_{i-1}, u_i])

and {C^r_0(\underline{T})} is the subspace of zero mean functions in {C^r(\underline{u}(T))}. In concrete terms, {C^r(\underline{u}(T))} is the space of piecewise {C^r}-functions on {I(T)} that are {C^r} on the intervals {(u_i,u_{i+1})} admitting natural {C^r} extensions to the intervals {[u_i, u_{i+1}]} (but these extensions might disagree at the points {u_i}‘s).

Next, we introduce the constants {g} and {s} attached to an interval exchange transformation {T}. An interval exchange transformation {T} can be naturally seen (in many ways) as the first return map of a translation flow on a translation surface (by means of Masur’s suspension construction or Veech’s zippered rectangles construction): the reader can find more details in this post here (for instance). The translations surfaces obtained from {T} in this way have a genus {g=g(T)} and a number of conical singularities {s=s(T)} depending only on {T}. Alternatively, one can define {g} and {s} by combinatorial means (in terms of the cycles of the permutation on {\mathcal{A}} induced by the way {T} permutes the subintervals {I_{\alpha}^t(T)} and {I_{\alpha}^b(T)}).

At this point, the sole undefined term in boldface in the statement of Theorem 3 is “restricted Roth type”. In order to do so, we have to introduce the Rauzy-Veech algorithm and the (discrete version of the) Kontsevich-Zorich cocycle (using this survey of Jean-Christophe as a basic reference).

3. Rauzy-Veech algorithm, Kontsevich-Zorich cocycle and restricted Roth type

We say that an interval exchange transformation {T} has a connection if there are {m\geq 0}, {0<i,j<d} such that

\displaystyle T^m(u_i)=v_j

Since {u_i}, resp. {v_j}, is a discontinuity of {T}, resp. {T^{-1}} (so that the future orbit of {u_i}, resp. past orbit of {v_j} is ill-defined), we see that {T} has a connection whenever it has an orbit that is “blocked” (can not be extended) in the future and in the past.

An interval exchange transformation {T} without connections are very similar to irrational rotations of the circle: by a result of Keane, any {T} without connections has a minimal dynamics.

Starting with {T} without connections, we denote by {\widehat{T}} the first return map of {T} to the subinterval

\displaystyle I(\widehat{T}):=(u_0(T), \max\{u_{d-1}(T), v_{d-1}(T)\})

It is not hard to check that {\widehat{T}} is also an interval exchange transformation permuting a finite collection {I_{\alpha}(\widehat{T})}, {\alpha\in\mathcal{A}} of subintervals of {I(\widehat{T})} naturally indexed by the alphabet {\mathcal{A}}. Furthermore, {\widehat{T}} also has no connections. In the literature, the map {T\mapsto\widehat{T}} is called an elementary step of the Rauzy-Veech algorithm.

Of course, the two facts described in the previous paragraph imply that we can iterate this procedure: starting with {T(0)=T} without connections, by successively applying the elementary steps of the Rauzy-Veech algorithm, one obtains a sequence {T(0), T(1), \dots, T(n), \dots} of interval exchange transformations acting on a decreasing sequence of subintervals {I(0)=I(T), \dots, I(T(n)):=I(n), \dots}. Moreover, it is possible to show that the lengths of the intervals {I(n)} tend to zero as {n\rightarrow\infty}.

For later use, let us observe that, by definition, for any {n>m}, {T(n)} is the first return map of {T(m)} to {I(n)}.

In terms of the Rauzy-Veech algorithm, the Kontsevich-Zorich cocycle can be described as follows. Given {n>m} and {\phi\in C^0(\underline{u}(T(m)))}, we consider the special Birkhoff sum

\displaystyle S(m,n)\phi(x):=\sum\limits_{j=0}^{r_{m,n}(x)-1}\phi(T(m)^j(x)))

where {r_{m,n}(x)} is the first return time of {x\in I(n)} (under {T(m)} iterates).

It is possible to check that {S(m,n)\phi\in C^0(\underline{u}(T(n)))}. In particular, denoting by

\displaystyle \Gamma(T):=\{\phi\in C^r(\underline{u}(T)): \phi|_{(u_i,u_{i+1})} \textrm{ is constant }\forall\, 0\leq i<d\}\simeq\mathbb{R}^{\mathcal{A}},

we see that

\displaystyle S(m,n):\mathbb{R}^{\mathcal{A}}\simeq\Gamma(T(m))\rightarrow\Gamma(T(n))\simeq \mathbb{R}^{\mathcal{A}}

is a linear operator inducing a matrix {B(m,n)} whose entries {B_{\alpha\beta}(m,n)} have the following dynamical interpretation: {B_{\alpha\beta}(m,n)\geq 0} is the number of visits of {I_{\alpha}(n)} to {I_{\beta}(m)} under {T(m)}-iterates before its return to {I(n)}. The matrices {B(m,n)\in SL(\mathbb{Z}^{\mathcal{A}})} form a linear cocycle (i.e., {B(n,k)B(m,n)=B(m,n+k)}) called (discrete) Kontsevich-Zorich cocycle.

The restricted Roth type for an interval exchange transformation {T} is defined in terms of the features of the Kontsevich-Zorich cocycle {B(m,n)}.

More precisely, we define inductively {n_0=0} and {n_{k+1}} is the smallest integer such that {B_{\alpha\beta}(n_k, n_{k+1})>0} for all {\alpha, \beta\in\mathcal{A}}. It is possible to show that this definition leads to a sequence with {n_k\rightarrow\infty} as {k\in\infty}.

We say that {T} has restricted Roth type whenever the following four conditions are fulfilled.

  • (a) Roth type condition: for each {\tau>0}, one has

    \displaystyle \|B(n_k,n_{k+1})\|=O(\|B(0,n_k)\|^{\tau})

    for all {k\in\mathbb{N}}.

Remark 7 The fact that the Roth type condition is satisfied for almost all interval exchange transformations {T} (i.e., for Lebesgue almost all choices of lengths of the intervals {I_{\alpha}^t(T)}) was checked in this paper of Marmi-Moussa-Yoccoz (see also the paper of Avila-Gouezel-Yoccoz).

Remark 8 For sake of comparison, in the case of the rotation of angle {\alpha} on the circle (i.e., interval exchange transformation permuting two intervals of lengths {\alpha} and {1-\alpha}), one can check that {\|B(n_k,n_{k+1})\|\simeq a_{k+1}} and {\|B(0,n_k)\|\simeq q_k} where {a_j} are the entries of the continued fraction expansion of {\alpha} and {q_k} are the denominators of the best rational approximations of {\alpha}. In particular, the Roth type condition is equivalent to

\displaystyle a_{k+1}=O(q_k^{\tau})

for all {\tau>0}, i.e., {\alpha} is of Roth type.

  • (b) Spectral gap: there exists {\theta>0} such that

    \displaystyle \|B(0,n_k)|_{\Gamma_0(T)}\|=O(\|B(0,n_k)\|^{1-\theta})

    where {\Gamma_0(T)} is the subspace of functions {\phi\in\Gamma(T)} with zero mean.

Remark 9 The spectral gap property is also satisfied by almost all interval exchange transformations thanks to the work of Veech. In fact, this property is closely related to the non-uniform hyperbolicity of the Teichmueller flow (and the constant {\theta>0} is the second Lyapunov exponent of the Kontsevich-Zorich cocycle over the Teichmueller flow).

  • (d) Hyperbolicity: the stable space

    \displaystyle \Gamma_s(T):=\{\chi\in\Gamma(T(m)): \exists\,\sigma>0 \, \textrm{ such that } \|B(0,n)\chi\|=O(\|B(0,n)\|^{-\sigma})\}

    of the Kontsevich-Zorich cocycle has dimension {g}.

Remark 10 The hyperbolicity property is verified for almost all interval exchange transformations thanks to the work of Forni.

  • (c) Coherence property: denoting by {B_{s}(m,n):\Gamma_s(T(m))\rightarrow\Gamma_s(T(n))} the restriction of the Kontsevich-Zorich cocycle to the stable space {\Gamma_s(T(m))}, and by {B_{b}(m,n):\Gamma(T(m))/\Gamma_s(T(m))\rightarrow\Gamma(T(n))/\Gamma_s(T(n))} the action of the Kontsevich-Zorich cocycle on the “center-unstable spaces” {\Gamma(T(i))/\Gamma_s(T(i))}, then for each {\tau>0}, one has

    \displaystyle \|B_s(m,n)\|=O(\|B(0,n)\|^{\tau})

    and

    \displaystyle \|B_b(m,n)^{-1}\|=O(\|B(0,n)\|^{\tau})

Remark 11 The coherence property is also verified for almost all interval exchange transformations: indeed, this is a consequence of Oseledets theorem applied to the Kontsevich-Zorich cocycle (see, e.g., Marmi-Moussa-Yoccoz paper for more details).

Remark 12 We called “item (d)” the hyperbolicity property and “item (c)” the coherence property just to keep the same notations of this paper of Marmi-Moussa-Yoccoz (and also because Jean-Christophe did the same during the talk 🙂 ).

At this point, all boldfaced terms in Theorem 3 were defined and now it is time to discuss some points of the proof of this result.

4. Some steps of the proof of Theorem 3

Recall that the quantity {s} is the number of marked points of a translation surface {M} obtained by suspension of the interval exchange transformation {T}. Combinatorially, these marked points can be seen as cycles of a permutation {\sigma} on {\{u_0=v_0, u_1, \dots, u_d=v_d\}} keeping track of the {u_i}‘s one sees when turning counterclockwise around the conical singularities in the translation surface {M}. (See, e.g., this survey of Jean-Christophe for more details)

The permutation {\sigma} allows to define a boundary operator {\partial: C^0(\underline{u}(T))\rightarrow \mathbb{R}^{\Sigma}},

\displaystyle (\partial\phi)_C:=\sum\limits_{u_i\in C}\phi(u_i-0) - \phi(u_i+0),

where {\Sigma} is the set of cycles {C} of {\sigma}, and {\phi(x-0)}, resp. {\phi(x+0)}, means {\phi(x-0)=\lim\limits_{y\rightarrow x^-}\phi(y)}, resp. {\phi(x+0)=\lim\limits_{z\rightarrow x^+}\phi(z)}.

It is not hard to see that the boundary operator has the following properties:

  • {\partial\psi=\partial(\psi\circ T)};
  • {\partial(S(m,n)\phi)=\partial\phi};
  • the restriction of {\partial} to {\Gamma(T)} is the usual boundary operator in relative homology

    \displaystyle \partial:H_1(M,\Sigma,\mathbb{R})\rightarrow H_0(\Sigma,\mathbb{R})

    after appropriate (natural) identifications {\Gamma(T)\simeq\mathbb{R}^{\mathcal{A}}\simeq H_1(M,\Sigma,\mathbb{R})} and {H_0(\Sigma,\mathbb{R})\simeq\mathbb{R}^{\Sigma}}.

In this setting, Marmi-Yoccoz deduce Theorem 3 as an immediate consequence of the following more precise statement:

Theorem 4 (Marmi-Yoccoz) Let {T} be an interval exchange transformation of restricted Roth type.Denote by {C^r_{\partial}(\underline{u}(T))} the kernel of the (restriction of the) boundary operator (to {C^r(\underline{u}(T))}) and consider {\Gamma_u(T)} an arbitrary supplement of {\Gamma_s(T)} in {\Gamma(T)} (i.e., {\Gamma_u(T)\oplus\Gamma_s(T)=\Gamma(T)}).

Then, there are two bounded operators {L_0:C^r_{\partial}(\underline{u}(T))\rightarrow C^{\delta}(\underline{u}(T))} and {L_1:C^r_{\partial}(\underline{u}(T))\rightarrow \Gamma_u(T)} such that

\displaystyle \phi=\chi+\psi\circ T-\psi

where {\psi:=L_0(\phi)} and {\chi:=L_1(\phi)}.

Remark 13 This theorem says that we can solve the cohomological equation whenever {\partial\phi=0} and {L_1(\phi)=0} (i.e., there is no obstruction coming from the boundary operator {\partial} and the operator {L_1}). In the literature, these conditions (or “obstructions”) are called Forni’s distributions.

Closing today’s post, let us give some steps of the proof of Theorem 4.

The first three steps are the following:

  • (1) there exists {\delta_1>0} such that for all {\phi_1\in C^{r-1}(\underline{u}(T))} with {\int\phi_1=0} (zero mean) one has

    \displaystyle \|S(0,n_k)\phi_1\|_{C^0}\leq \|B(0,n_k)\|^{1-\delta_1}\|\phi_1\|_{C^{r-1}}

  • (2) there exists {\delta_2} and a bounded operator {L_1:C^r_{\partial}(\underline{u}(T))\rightarrow \Gamma_u(T)} such that for all {\phi\in C^r_{\partial}(\underline{u}(T))} one has

    \displaystyle \|S(0,n_k)(\phi-\chi)\|\leq \|B(0,n_k)\|^{-\delta_2}\|\phi\|_{C^r}

    where {\chi:=L_1(\phi)}

  • (3) by Gottschalk-Hedlund theorem applied to the homeomorphism of the compact space obtained after blowing up the orbits of the discontinuities of {T} and {T^{-1}} (and by keeping track of what happens once one undo the blowup), one can use the previous steps to write {\phi-\chi=\psi\circ T-\psi} for some continuous function {\psi}.

In fact, these three steps were performed in this paper of Marmi-Moussa-Yoccoz from 2012 (where they are explained in details).

Remark 14 As it turns out, the “non-optimal loss of derivatives” in Marmi-Yoccoz is already present here: in fact, it seems that for an optimal loss of derivatives for the solutions of the cohomological equation in the setting of Marmi-Yoccoz one has to improve the information on the constant {\delta_1>0} appearing in the first step above.

At this stage, it is clear that the proof of Theorem 4 is reduced to show that the function {\psi} appearing in Step 3 above is Hölder continuous. Here, the main novelty introduced by Marmi-Yoccoz is the following fourth step:

  • (4) Given an interval {J=(a,b)}, denote by {\Delta(J):=\psi(b)-\psi(a)},

    \displaystyle V_{\alpha}(k):=\Delta(I_{\alpha}(T(n_k)))

    for each {\alpha\in\mathcal{A}}, and

    \displaystyle V(k)=(V_{\alpha}(k))_{\alpha\in\mathcal{A}}\in\mathbb{R}^{\mathcal{A}}.

    Then, there exists {\delta_3>0} such that one has the following “almost recurrence relation”

    \displaystyle \|V(k+1) - {}^tB(n_k,n_{k+1})^{-1}V(k)\|\leq C\|B(0,n_k)\|^{-\delta_3}\|\phi\|_{C^r}

    for the sequence of vectors {V(k)}.

At this point, Jean-Christophe was running out of time so that he decided to skip the proof of this almost recurrence relation (based, of course, on the definition of restricted Roth type) in order to explain how this new step allows to conclude Theorem 4.

First, one uses the fact that {\psi} is continuous to check that {V(k)\rightarrow 0} (this is not difficult since we are not asking for moduli of continuity/rate of convergence).

By combining this information with Step 4 above, they can show that there exists {\delta_4>0} such that

\displaystyle \|V(k)\|\leq C\|B(0,n_k)\|^{-\delta_4}\|\phi\|_{C^r}. \ \ \ \ \ (1)

From this inequality, it is not difficult to deduce a Hölder modulus of continuity for {\psi} by “interpolation” of the information at the extremities of {I_{\alpha}(T(n_k))}.

Finally, the proof of the estimate (1) itself consists into three steps.

One constructs first a vector {\overline{V}(k)=\Omega(k)V(k)\in\Gamma_{\partial}(T)} where {\Gamma_{\partial}(T)} is the intersection of {\Gamma(T)} with the kernel of {\partial} and {\Omega(k)=\Omega(T(n_k))} is a natural Kontsevich-Zorich cocycle invariant symplectic form on {\Gamma_{\partial}(T)} (related to the intersection form on {\Gamma_{\partial}(T)\simeq H_1(M,\mathbb{R})}).

After this, Marmi-Yoccoz introduce the vector {V_b(k):=\overline{V}(k) \textrm{ mod }\Gamma_s(T(n_k))}.

Then, Marmi-Yoccoz use the coherence property (c) in the definition of restricted Roth type (among several other facts) to show the analog of (1) for {V_b(k)}. Moreover, they can check that this estimate on {V_b(k)} can be transferred to {\overline{V}(k)}. Furthermore, by exploiting the symplecticity of the Kontsevich-Zorich cocycle (among several other facts), Marmi-Yoccoz show the analog of (1) for the vectors {\overline{V}(k)} imply the estimate (1) for the vectors {V(k)}, so that the argument is complete.


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: