Posted by: matheuscmss | July 10, 2011

Lyapunov spectrum of the Kontsevich-Zorich cocycle on the Hodge bundle over square-tiled cyclic covers IV

Hello! This week I will be teaching the second-half of a minicourse (together with Giovanni Forni) entitled “Introduction to Teichmuller theory and its applications to dynamics of interval exchange transformations, flows on surfaces and billiards”. This minicourse is part of the activities of the School and Workshop “Modern Dynamics and its Interaction with Analysis, Geometry and Number Theory” held at Banach Center, Bedlewo, Poland. The conference schedule is very intense (we have minicourses from 9AM to 6PM [and seminars from 8Pm to 9PM on Tuesdays and Thursdays]) and we had several advanced minicourses by Federico Rodriguez-Hertz, Manfred Einsiedler, Anatole Katok and Giovanni Forni on topics running from higher-rank hyperbolic and partially hyperbolic actions, measure rigidity, Ratner theory and Teichmüller dynamics theory. For next week, there will be minicourses by Mike Hochman, Livio Flaminio, Zhenqi Wang (and myself). The minicourses by Z. Wang and myself are continuations of the minicourses by A. Katok and G. Forni respectively, while the minicourses by M. Hochman and L. Flaminio concerns Ergodic Theory and Fractal Geometry, and Applications of Representation Theory to Dynamics (resp.).

In any case, this minicourse was an excellent opportunity to complete the fourth post of my series on Teichmüller dynamics. Below the fold, you’ll find (as promised a few months ago) a discussion of the Ergodic Theory of the Teichmüller flow with respect to Masur-Veech measures and rough sketches of its applications to interval exchange transformations and translation flows.

1. Ergodic theory of Teichmüller flow with respect to Masur-Veech measure

Let {\mathcal{C}} be a connected component of a stratum {\mathcal{H}^{(1)}(\kappa)} of Abelian differentials with unit area, and denote by {\mu_{\mathcal{C}}} the corresponding Masur-Veech probability measure.

1.1. Finiteness of Masur-Veech measure and its applications to interval exchange maps

One important application of the fact that the Teichmüller flow preserves a natural (Masur-Veech) probability measure is the unique ergodicity of “almost every” interval exchange transformation (i.e.t. for short). Recall that an i.e.t. is a map {T:D_T\rightarrow D_{T^{-1}}} where {D_T, D_{T^{-1}}\subset I} are subsets of an open bounded interval {I} such that {I-D_T} and {I-D_{T^{-1}}} are finite sets and the restriction of {T} to each connected component of {I-D_T} is a translation onto some connected component of {D_{T^{-1}}}. For some concrete examples, see Figure 1 below.

Figure 1. Simple examples of interval exchange transformations

It is not hard to see that an i.e.t. {T} is determined by a metric data, i.e., lengths of the connected components of {I-D_T}, and combinatorial data, i.e., a permutation {\pi} indicating how the connected components of {I-D_T} are “rearranged” after applying {T} to them. For instance, in the example of Figure 1 where 4 intervals are exchanged, the combinatorial data is the permutation {\pi:\{1,2,3,4\}\rightarrow\{1,2,3,4\}} with {(\pi(1),\pi(2),\pi(3),\pi(4))=(4,3,2,1)}.

In particular, it makes sense to talk about “almost every” i.e.t.: it means that a certain property holds for almost every choice of metric data with respect to the Lebesgue measure.

Remark 1 In the sequel, we will always assume that the combinatorial data {\pi} is irreducible, i.e., if {\pi} is a permutation of {d} elements {\{1,\dots,d\}}, we require that, for every {k<d}, {\pi(\{1,\dots,k\})\neq\{1,\dots,k\}}. The meaning of this condition is very simple: if {\pi} is not irreducible, there is {k<d} such that {\pi(\{1,\dots,k\})=\{1,\dots,k\}} and hence we can study any i.e.t. {T} with combinatorial data {\pi} by juxtaposing two i.e.t.’s (one with {k} intervals and another with {d-k} intervals).

By applying their result on the finiteness of the mass of \mu_{\mathcal{C}} (see Theorem 2 of the previous post of this series), H. Masur and W. Veech deduced that:

Theorem 1 (H. Masur, W. Veech) Almost every i.e.t. is uniquely ergodic.

Philosophically speaking, the derivation of this result from the finiteness of the mass of \mu_{\mathcal{C}} is part of a long tradition (in Dynamical Systems) of “plough in parameter space, and harvest in phase space” (as it was said by Adrien Douady about complex quadratic polynomials and Mandelbrot set). In broad terms, the idea is that given a paramter family of dynamical systems and an appropriate renormalization procedure (defined at least for a significant part of the parameters), one can often infer properties of the dynamical system for “typical parameters” by studying the dynamics of the renormalization.

For the case at hand, we can describe this idea in a nutshell as follows. An i.e.t. {T} can be “suspended” (in several ways) to a translation surface {(M,\omega)} by means of the so-called Veech’s zippered rectangles construction. For example, in the Figure 2 below (extracted from A. Zorich’s survey), we see a genus 2 surface (obtained by glueing the opposites sides of the polygon marked with the same name {v_i} by translation) presented as a suspension of an i.e.t. with combinatorial data {(\pi(1),\pi(2),\pi(3),\pi(4))=(3,1,4,2)}. To see that this is the combinatorial data of the i.e.t., it suffices to “compute” the return map of vertical translation flow to the special segment in the “middle” of the polygon.

Figure 2. Organization of the vertical translation flow in a genus 2 translation surface into 4 zippered rectangles (distinguished by colors).

By definition, {T} is the first return time map of the vertical translation flow of the Abelian differential {\omega} to an appropriate horizontal separatrix associated to some singularity of {\omega}. Here, the vertical translation flow {\phi_t^{\omega}} associated to a translation surface {(M,\omega)} is the flow obtained by following (with unit speed) vertical geodesics of the flat metric corresponding to {\omega}. In particular, since the flat metric has singularities (in general), {\phi_t^{\omega}} is defined almost everywhere (as vertical trajectories are “forced” to stop when they hit singular points [zeroes] of {\omega})! See the Figure 3 below for an illustration of these objects. There one can see an orbit through a point ({q}) hitting a singularity in finite time (and hence stopping by then) and an orbit through a point ({p}) whose orbit never hits a singularity (and hence it can be prolonged forever).

In particular, we can study orbits of {T} by looking at orbits of the vertical flow on {(M,\omega)}. Here, the idea is that long orbits of the vertical flow can wrap around a lot on {(M,\omega)}, so that a natural procedure is to use Teichmüller flow {g_t=\textrm{diag}(e^t,e^{-t})} to make the long vertical orbit shorter and shorter (so that it wraps less and less), thus making it reasonably easier to analyse. I.e., one uses Teichmüller flow to renormalize the dynamics of the vertical flow on translation surfaces (and/or i.e.t.’s). Of course, the price we pay is that this procedure changes the shape of {(M,\omega)} (into {(M,g_t(\omega))}). But, if the Teichmüller flow {g_t} has nice recurrence properties (so that the shape {(M,g_t(\omega))} is very close to {(M,\omega)} for appropriate choice of large {t}), one can hope to bypass the difficulty imposed by the change of shape.

In the case of showing unique ergodicity of almost every i.e.t., H. Masur and W. Veech observed that this can be derived from Poincaré’s recurrence theorem applied to Teichmüller flow endowed with Masur-Veech measure. Of course, for this application of Poincaré recurrence theorem, it is utterly important to know that Masur-Veech measure is a probability (i.e., it has finite mass), a fact ensured by Theorem 2 of the previous post of this series.

Evidently, this is a very rough sketch of the proof of Theorem 1. For more details, see J.-C. Yoccoz survey for a complete proof using Rauzy-Veech induction. We may come back to this point later in future posts.

Notice that the same kind of reasoning as above indicates that the unique ergodicity property must also be true for “almost every” translation flow in the sense that the vertical translation flow on {\mu_{\mathcal{C}}} almost every translation surface structure {(M,\omega)\in\mathcal{C}} is uniquely ergodic. Indeed, the following theorem (again by H. Masur and W. Veech) says that this is the case:

Theorem 2 (H. Masur, W. Veech) Almost every translation flow is uniquely ergodic.

In the sequel, we will present a sketch of proof of this result (based on the recurrence of Teichmüller flow) assuming that the simplicity of the top exponent {1=\lambda_1^{\mu_{\mathcal{C}}}>\lambda_2^{\mu_{\mathcal{C}}}} (a fact that I discussed sometime ago in these notes [in a ``pre-blog'' era]). We start by assuming that the vertical translation flow {\phi_t^{\omega}} of our translation surface {(M,\omega)} is minimal, that is, every orbit defined for all times {t\geq 0} are dense: this condition is well-known to be related to the absence of saddle connections (see, e.g., J.-C. Yoccoz survey), and the last property has full measure (since the presence of saddle connections for {(M,e^{i\theta}\omega)} corresponds to a countable set of directions {\theta\in\mathbb{R}}, and the Masur-Veech measure {\mu_{\mathcal{C}}} is natural).

Now, given an ergodic {\phi_t^{\omega}}-invariant probability {\mu}, consider {x\in M} a {\mu}-typical point, and {T\geq 0}. Let {\gamma_T(x)\in H_1(M,\mathbb{R})} be the homology class obtained by “closing” the piece of (vertical) trajectory {[x,\phi_T^{\omega}(x)]:=\{\phi_t^{\omega}(x):t\in[0,T]\}} with a bounded (usually small) segment connecting {x} to {\phi_T^{\omega}(x)}. A well-known theorem of S. Schwartzman says that

\displaystyle \lim\limits_{T\rightarrow\infty}\frac{\gamma_T(x)}{T}=\rho(\mu)\in H_1(M,\mathbb{R})-\{0\}

In the literature, {\rho(\mu)} is called Schwartzman asymptotic cycle. By Poincaré duality, the Poincaré dual of {\rho(\mu)} gives us a class {c(\mu)\in H^1(M,\mathbb{R})-\{0\}}. Geometrically, {c(\mu)} is related to the flux of {\phi_t^{\omega}} through transverse closed curves {\gamma} with respect to {\mu}. More precisely, given {\gamma} a closed curve transverse to {\phi_t^{\omega}}, the flux is

\displaystyle \langle c(\mu),\gamma\rangle:=\lim\limits_{t\rightarrow0}\frac{\mu\left(\bigcup\limits_{s\in[0,t]}\phi_s^{\omega}(\gamma)\right)}{t}

For the sake of the subsequent discussion, we recall that any {\phi_t^{\omega}}-invariant probability {\mu} induces a transverse measure {\widehat{\mu}} on pieces of segments {\delta} transverse to {\phi_t^{\omega}}: indeed, we define {\widehat{\mu}(\delta)} by the flux through {\delta}, i.e., {\lim\limits_{t\rightarrow0}\mu(\bigcup\limits_{s\in [0,t]}\phi_t^{\omega}(\delta))/t}. Since {\phi_t^{\omega}} is simply a translation along the leaves of the vertical foliation of {\omega}, we see that {\mu} can be locally written as {\textrm{Leb}\times\widehat{\mu}} in any “product” open set of the form {\bigcup\limits_{s\in [0,t]}\phi_s^{\omega}(\delta)} not meeting singularities of {\phi_t^{\omega}} (where {\delta} is a transverse segment).

We claim that the map {\mu\rightarrow c(\mu)} is injective. Indeed, given two ergodic {\phi_t^{\omega}}-invariant probabilities {\mu_1} and {\mu_2} with {c(\mu_1)=c(\mu_2)}, we observe that the transverse measures {\widehat{\mu}_1} and {\widehat{\mu}_2} induced by them on a closed curve {\gamma} transverse to {\phi_t^{\omega}} differ by the derivative of a continuous function {U} on {\gamma}. Indeed, {U} can be obtained by integration: by fixing an “origin” {0\in\gamma} and an orientation on {\gamma}, we declare {U(0)=0} and {U(x):=\widehat{\mu}_1(\gamma([0,x]))-\widehat{\mu}_2(\gamma([0,x]))+U(0)}, where {\gamma([0,x])} is the segment of {\gamma} going from {0} to {x} in the positive sense (with respect to the fixed orientation). Of course, the fact that {U} is well-defined, i.e., it produces the same value for {U(0)} when we go around {\gamma} is guaranteed by the assumption {c(\mu_1)=c(\mu_2)}. Now, we note that {U} is invariant under the return map induced by {\phi_t^{\omega}}, so that, by minimality of {\phi_t^{\mu}}, we conclude that the continuous function {U} must be constant. Therefore, {\widehat{\mu}_1=\widehat{\mu}_2}, i.e., {\mu_1} and {\mu_2} have the same transverse measures. Since {\mu_1} and {\mu_2} are the Lebesgue measure along the flow direction, we obtain that {\mu_1=\mu_2}, so that the claim is proved.

Next, we affirm that {c(\mu)} (or equivalently {\rho(\mu)}) decays exponentially fast like {e^{-t}} under KZ cocycle whenever the Teichmüller flow orbit {g_t(\omega)} of {\omega} is recurrent. Indeed, let us fix {t\geq 0} such that {g_t(\omega)} is very close to {\omega}, and we consider the action of KZ cocycle {G_t^{KZ}} on {\rho(\mu)}. Since, by definition, {\rho(\mu)} is approximated by {\gamma_T(x)/T} as {T\rightarrow\infty}, we have that

\displaystyle G_t^{KZ}(\rho(\mu)) = \lim\limits_{T\rightarrow\infty}\frac{1}{T}G_t^{KZ}(\gamma_T(x)).

On the other hand, since {g_t} contracts the vertical direction by a factor of {e^{-t}} and {\gamma_T(x)} is essentially a vertical trajectory (except for a bounded piece of segment connecting {x} to {\phi_T^{\omega}(x)}), we get

\displaystyle \|G_t^{KZ}(\rho(\mu))\|_{g_t(\omega)} = \lim\limits_{T\rightarrow\infty}\frac{1}{T}\|G_t^{KZ}(\gamma_T(x))\|_{g_t(\omega)} = e^{-t}\lim\limits_{T\rightarrow\infty}\frac{1}{T}\|\gamma_T(x)\|_{\omega}

\displaystyle = e^{-t}\|\rho(\mu)\|_{\omega}

where {\|.\|_{\theta}} is the stable norm on {H_1(M,\mathbb{R})} with respect to {\theta} (obtained by measuring the length of [primitive] closed curves [i.e., elements of {H_1(M,\mathbb{Z})}] using the flat structure induced by {\theta} and extending this “by linearity”). In the previous calculation, we implicitly used the fact that {g_t(\omega)} is very close to {\omega}, so that the stable norms {\|.\|_{g_t(\omega)}} and {\|.\|_{\omega}} are comparable by definite factors, and thus the factor of {1/T} can “kill” eventual (bounded) error terms coming from the “closing” procedure used to define {\gamma_T(x)}. Therefore, our affirmation is proved.

Finally, we note that the assumption {1=\lambda_1^{\mu_{\mathcal{C}}}>\lambda_2^{\mu_{\mathcal{C}}}} (i.e., simplicity of the top KZ cocycle exponent) means that there is only one direction in {H_1(M,\mathbb{R})} which is contracted like {e^{-t}}! (namely, {\mathbb{R}\cdot[\textrm{Im}(\omega)]}) Therefore, given {\omega} with minimal vertical translation flow and recurrent Teichmüller flow orbit, any {\phi_t^{\omega}}-invariant ergodic probability {\mu} satisfies {c(\mu)\in\mathbb{R}\cdot[\textrm{Im}(\omega)]}. Since {\phi_t^{\omega}} preserves the Lebesgue measure {Leb} (flat area induced by {\omega}), we obtain that any {\phi_t^{\omega}}-invariant ergodic probability {\mu} is a multiple of {Leb}, and, a fortiori, {\mu=Leb}. Thus, {\phi_t^{\omega}} is uniquely ergodic for such {\omega}‘s. Since we already saw that {\mu_{\mathcal{C}}} almost every has minimal vertical translation flow, we have only to show that {\mu_{\mathcal{C}}}-almost every {\omega} is recurrent under Teichmüller flow to complete the proof of Theorem 2, but this is immediate from Poincaré’s recurrence theorem (since Teichmüller flow preserves the Masur-Veech measure {\mu_{\mathcal{C}}}, a finite mass measure).

1.2. Ergodicity of Teichmüller flow

In the fundamental papers here and here, H. Masur and W. Veech independently showed the following result:

Theorem 3 (H. Masur, W. Veech) The Teichmüller geodesic flow {g_t} is ergodic, and actually mixing, with respect to {\mu_{\mathcal{C}}}.

For a complete proof of this result using Rauzy-Veech induction, see (again) J.-C. Yoccoz survey (we may come back to this point in a future post).

Concerning the first part of the statement, we observe that the ergodicity of the Teichmüller flow {g_t} is essentially a consequence of the simplicity of the top exponent {1=\lambda_1^{\mu_{\mathcal{C}}}>\lambda_2^{\mu_{\mathcal{C}}}} and the existence of nice (“long”) stable and unstable manifolds for {g_t}. Indeed, as we already know, the simplicity of the top exponent {\lambda_1^{\mu_{\mathcal{C}}}} implies that, except for the zero Lyapunov exponent coming from the flow direction, the Teichmüller flow {g_t} has no other zero exponent (since {1-\lambda_2^{\mu}>0} is the second smallest non-negative exponent). In other words, the Teichmüller flow is non-uniformly hyperbolic in the sense of the Pesin theory. This indicates that Hopf’s argument may apply in our context. Recall that Hopf’s argument starts by observing that ergodic averages are constant along stable and unstable manifolds: more precisely, given a point {x} such that the ergodic average

\displaystyle \overline{\varphi}(x):=\lim\limits_{t\rightarrow+\infty}\frac{1}{t}\int_0^t\varphi(g_s(x))ds

exists for a (uniformly) continuous observable {\varphi:\mathcal{C}\rightarrow\mathbb{R}}, then the ergodic averages

\displaystyle \overline{\varphi}(y):=\lim\limits_{t\rightarrow+\infty}\frac{1}{t}\int_0^t\varphi(g_s(y))ds

exists and {\overline{\varphi}(y)=\overline{\varphi}(x)} for any {y} in the stable manifold {W^s(x)} of {x}. Actually, since {y\in W^s(x)}, we have {\lim\limits_{s\rightarrow+\infty}d(g_s(y),g_s(x))=0}, so that, by the uniform continuity of {\varphi}, the desired claim follows. Of course, a similar result for ergodic averages along unstable manifolds holds if we replace {t\rightarrow+\infty} by {t\rightarrow-\infty} in the definition of {\overline{\varphi}}. Now, the fact that we consider “future” ({t\rightarrow+\infty}) ergodic averages along stable manifolds and “past” ({t\rightarrow-\infty}) ergodic averages along unstable manifolds is not a major problem since Birkhoff’s ergodic theorem ensures that these two “types” of ergodic averages coincide at {\mu_{\mathcal{C}}} almost every point.

In particular, since the ergodicity of {\mu_{\mathcal{C}}} is equivalent to the fact that {\overline{\varphi}} is constant at {\mu_{\mathcal{C}}} almost every point, if one could access any point {y} starting from any point {x} using pieces of stable and unstable manifolds like in Figure 4 below, we would be in good shape (here, we’re skipping some details because Hopf’s argument needs that the intersection points appearing in Figure 4 to satisfy Birkhoff’s ergodic theorem; in general, this is issue is strongly related to the so-called absolute continuity property of the stable and unstable manifolds, but this is not a problem in our context since Pesin’s theory ensures absolute continuity of {W^s} and {W^u}).

However, it is a general fact that Pesin theory of non-uniformly hyperbolic systems only provides the existence of short stable and unstable manifolds. Even worse, the function associating to a typical point the size of its stable/unstable manifolds is only measurable. In particular, the nice scenario drew below may not happen in general (and actually the best Hopf’s argument [alone] can do is to ensure the presence of a countable number of ergodic components [at most]).

Fortunately, in the specific case of Teichmüller flow, one can determine explicitly the stable and unstable manifolds: since {g_t} acts on {\omega} by multiplying {[\textrm{Re}(\omega)]} by {e^t} and {\textrm{Im}(\omega)} by {e^{-t}}, we infer that

\displaystyle W^s(\omega_0)=\{\omega\in\mathcal{C}:[\textrm{Re}(\omega)]=[\textrm{Re}(\omega_0)]\}

and

\displaystyle W^u(\omega_0)=\{\omega\in\mathcal{C}:[\textrm{Re}(\omega)]=[\textrm{Re}(\omega_0)]\}

In particular, we see that these invariant manifolds are “large” subsets corresponding to affine subspaces in period coordinates. Therefore, the potential problem pointed out in the previous paragraph doesn’t exist, and one can proceed with Hopf’s argument to eventually derive the ergodicity of Teichmüller flow with respect to Masur-Veech measure {\mu_{\mathcal{C}}}.

Concerning the second part of the statement of this theorem, we should say that the mixing property of Teichmüller flow is a consequence of its ergodicity and the mere existence of the {\textrm{SL}(2,\mathbb{R})}-action: indeed, while ergodicity alone doesn’t imply mixing in general (e.g., irrational rotations of the circle are ergodic but not mixing), the fact that Teichmüller flow is part of a whole {\textrm{SL}(2,\mathbb{R})}-action permits to derive mixing from ergodicity in view of the nice representation theory of {\textrm{SL}(2,\mathbb{R})}. We will come back to this point later in this post when we discuss exponential mixing property of Teichmüller flow.

1.3. Kontsevich-Zorich conjecture (after G. Forni, and A. Avila {\&} M. Viana)

Around 1996, A. Zorich and M. Kontsevich performed several numerical experiments leading them to conjecture that the Lyapunov spectra of the Kontsevich-Zorich cocycle with respect to Masur-Veech measures {\mu_{\mathcal{C}}} are simple, i.e., the multiplicity of each Lyapunov exponent {\lambda_i^{\mu_{\mathcal{C}}}}, {i=1,\dots,2g} is 1:

\displaystyle 1=\lambda_1^{\mu_{\mathcal{C}}}>\lambda_2^{\mu_{\mathcal{C}}}>\dots>\lambda_g^{\mu_{\mathcal{C}}}>\lambda_{g+1}^{\mu_\mathcal{C}}>\dots>\lambda_{2g}^{\mu_{\mathcal{C}}}=-1

As we discussed in the previous post of this series, the Kontsevich-Zorich cocycle {G_t^{KZ}} is symplectic, so that its Lyapunov exponents (with respect to anyinvariant ergodic probability {\mu}) are symmetric with respect to the origin: {\lambda_{2g-i}^{\mu}=-\lambda_{i+1}^{\mu}}. Also, the top Lyapunov exponent {1=\lambda_1^{\mu}} is always simple (i.e., {\lambda_1^{\mu}>\lambda_2^{\mu}}). Therefore, the Kontsevich-Zorich conjecture is equivalent to

\displaystyle \lambda_2^{\mu_{\mathcal{C}}}>\dots>\lambda_g^{\mu_{\mathcal{C}}}>0

In 2002, G. Forni was able to show that {\lambda_g^{\mu_{\mathcal{C}}}>0} via variational formulas (inspired by M. Kontsevich’s work) for the so-called Hodge norm and certain formulas for the sum of the Lyapunov exponents of the KZ cocycle (inspired by M. Kontsevich’s work). In a future post, we’ll illustrate some of G. Forni’s techniques by showing the positivity of the second Lyapunov exponent {\lambda_2^{\mu_{\mathcal{C}}}} of the KZ cocycle with respect to Masur-Veech measure {\mu_{\mathcal{C}}}. While the fact {\lambda_2^{\mu_{\mathcal{C}}}>0} is certainly a weaker statement than Forni’s theorem {\lambda_g^{\mu_{\mathcal{C}}}>0}, it turns out that it is sufficient to some interesting applications to interval exchange transformations and vertical translation flows. Indeed, using a technical machinery of parameter exclusion strongly based on the fact that {\lambda_2^{\mu_{\mathcal{C}}}>0}, A. Avila and G. Forni were able to show that almost every i.e.t. (not corresponding to “rotations”) and almost every vertical translation flow (on genus {g\geq 2} translation surfaces) are weakly mixing. Here, we say that an i.e.t. corresponds to a rotation if its combinatorial data {\pi:\{1,\dots,d\}\rightarrow\{1,\dots,d\}} has the form {\pi(i)=i+1} (mod {d}). In this case, one can see that the corresponding i.e.t. can be conjugated to a rotation of the circle, and hence it is never weak-mixing. Observe that, in general, weak-mixing property is the “best” dynamical property we can expect: indeed, as it was shown by A. Katok, interval exchange transformations and suspension flows over i.e..t’s with a roof function of bounded variation (e.g., translation flows) are never mixing.

In 2007, A. Avila and M. Viana proved the full Kontsevich-Zorich conjecture by studying a discrete-time analog of Kontsevich-Zorich cocycle over the Rauzy-Veech induction. In few words, Avila and Viana showed that the symplectic monoid associated to Rauzy-Veech induction is pinching (“it contains matrices with simple spectrum”) and twisting (“any subspace can be put into generic position by using some matrix of the monoid”), and they used the pinching and twisting properties to ensure simplicity of Lyapunov spectra. In a certain sense, these conditions (pinching and twisting) are analogues (for deterministic chaotic dynamical systems) of the strong irreducibility and proximality conditions (sometimes derived from a stronger Zariski density property) used by Y. Guivarch and A. Raugi, and I. Goldsheid and G. Margulis to derive simplicity of Lyapunov exponents for random products of matrices.

As the reader can imagine, the Kontsevich-Zorich conjecture has applications to the study of deviations of ergodic averages along trajectories of vertical translation flows and interval exchanges transformations. Actually, this was the initial motivation for the introduction of the Kontsevich-Zorich cocycle by A. Zorich and M. Kontsevich.

For the case of vertical translation flows, we begin with a typical vertical translation flow {\phi_t^{\omega}} on a translation surface {(M,\omega)} (so that it is uniquely ergodic) and we choose a typical point {p} (so that {\phi_t^{\omega}} is defined for every time {t}), e.g., as in Figure~1 above. For all {T>0} large enough, let us denote by {\gamma_T(x)\in H_1(M,\mathbb{R})} the homology class obtained by “closing” the piece of (vertical) trajectory {[x,\phi_T^{\omega}(x)]:=\{\phi_t^{\omega}(x):t\in[0,T]\}} with a bounded (usually small) segment connecting {x} to {\phi_T^{\omega}}. Recall that S. Schwartzman theorem says that

\displaystyle \lim\limits_{T\rightarrow\infty}\frac{\gamma_T(x)}{T}=c\in H_1(M,\mathbb{R})-\{0\}.

For genus {g=1} translation surfaces (i.e., flat torii), this is very good and fairly complete result: indeed, it is not hard to see that the deviation of {\gamma_T(x)} from the line {E_1:=\mathbb{R}\cdot c} spanned by the Schwartzman asymptotic cycle is bounded.

For genus {g=2} translation surfaces, the global scenario gets richer: by doing numerical experiments, what one sees is that the deviation of {\gamma_T(x)} from the line {E_1} has amplitude {T^{\lambda_2}} with {\lambda_2<1} around a certain line. In other words, the deviation of {\gamma_T(x)} from the Schwartzman asymptotic cycle is not completely random: it occurs along an isotropic 2-dimensional plane {E_2\subset H_1(M,\mathbb{R})} containing {E_1}. Again, in genus {g=2}, this is a “complete” picture in the sense that numerical experiments indicate that the deviation of {\gamma_T(x)} from {E_2} is again bounded.

More generally, for arbitrary genus {g}, the numerical experiments indicate that existence of an asymptotic Lagrangian flag, i.e., a sequence of isotropic subspaces {E_1\subset E_2\subset\dots\subset E_g\subset H_1(M,\mathbb{R})} with {\textrm{dim}(E_i)=i} and a deviation spectrum {1=\lambda_1>\lambda_2>\dots>\lambda_g>0} such that

\displaystyle \lim\limits_{T\rightarrow\infty}\frac{\log \textrm{dist}(\gamma_T(x),E_i)}{\log T}=\lambda_{i+1}

for every {i=1,\dots,g-1}, and

\displaystyle \sup\limits_{T\in[0,\infty)}\textrm{dist}(\gamma_T(x),E_g)<\infty.

For instance, the reader can see below two figures (extracted from A. Zorich’s survey) showing numerical experiments related to the deviation phenomenon or Zorich phenomenondiscussed above in a genus 3 translation surface. There, we have a slightly different notation for the involved objects: {c_n} denotes {\gamma_{T_n}(x)} for a convenient choice of {T_n}, the subspaces {\mathcal{V}_i} correspond to the subspaces {E_i}, and the numbers {\nu_i} correspond to the numbers {\lambda_i}.


This scenario supported by numerical experimental was made rigorous by A. Zorich using the Kontsevich-Zorich cocycle: more precisely, he proved that the previous statement is true with {E_i} corresponding to the sum of the Oseledets subspaces associated to the first {i} non-negative exponents of KZ cocycle, and {\lambda_i} corresponding to the {i}-th Lyapunov exponent of the KZ cocycle with respect to Masur-Veech measure {\mu_{\mathcal{C}}}. Of course, to get the complete description of the deviation phenomenon (i.e., the fact that {\textrm{dim}E_i=i}, that is, the asymptotic flat {E_1\subset\dots\subset E_g} is Lagrangian and complete), one needs to know that Kontsevich-Zorich conjecture is true. So, in this sense, A. Zorich’s theorem is a conditional statement depending on Kontsevich-Zorich conjecture.

Closing this subsection, let us mention that a similar scenario of deviations of ergodic averages for i.e.t.’s is true (as proved by A. Zorich in the same 1994 paper), but its precise statement is somewhat technical because we need to talk first about special Birkhoff sums (which are Birkhoff sums along trajectories of our initial i.e.t. from a point {x} until its return to special intervals [determined by Rauzy-Veech algorithm]), and then decompose general Birkhoff sums into a sum of relatively few special Birkhoff sums. In particular, we’ll not comment on this here, and we refer the curious reader to A. Zorich‘s original paper and J.-C. Yoccoz survey.

1.4. Exponential mixing (and spectral gap of {SL(2,\mathbb{R})} representations)

Generally speaking, we say that a flow {(\phi_t)_{t\in\mathbb{R}}} on a space {X} is mixing with respect to an invariant probability {\mu} when the correlation function {C_t(f,g):=\int_X (f\circ\phi_t \cdot g)d\mu - \int_X f d\mu\cdot\int_X g d\mu} satisfies

\displaystyle \lim\limits_{t\rightarrow\infty}|C_t(f,g)|=0

for every {f,g\in L^2(X,\mu)}. Of course, the mixing property always implies ergodicity of {(\phi_t)_{t\in\mathbb{R}}} but the converse is not always true (e.g., irrational translation flows on the torus {\mathbb{T}^2=\mathbb{R}^2/\mathbb{Z}^2} are ergodic but not mixing). However, as we’re going to see in a moment, when the flow {(\phi_t)_{t\in\mathbb{R}}} is part of a larger {SL(2,\mathbb{R})} action, it is possible to show that ergodicity implies mixing.

More precisely, suppose that we have a {SL(2,\mathbb{R})} action on a space {X} preserving a probability measure {\mu}, and let {(\phi_t)_{t\in\mathbb{R}}} be the flow on {X} corresponding to the action of the diagonal subgroup {\textrm{diag}(e^t,e^{-t})} of {SL(2,\mathbb{R})}. In this setting, one has:

Proposition 4 Assume that {(\phi_t)_{t\in\mathbb{R}}} is {\mu}-ergodic. Then, {(\phi_t)_{t\in\mathbb{R}}} is {\mu}-mixing.

Of course, the Teichmüller flow {g_t} on a connected component {\mathcal{C}} of a stratum of the moduli space of Abelian differentials equipped with its natural (Masur-Veech) probability measure {\mu_{\mathcal{C}}} is a prototype example of flow verifying the assumptions of the previous proposition.

As we pointed out above, the proof of this result uses knowledge of the representation theory of {SL(2,\mathbb{R})}. In particular, we’ll borrow the facts and even notations used in this post here.

We begin by observing that the {SL(2,\mathbb{R})} action on {(X,\mu)} induces an unitary representation of {SL(2,\mathbb{R})} on {\mathcal{H}=L^2_0(X,\mu)}. Here, {L^2_0(X,\mu)} is the Hilbert space of {L^2} functions of {(X,\mu)} with zero mean. In particular, from the semisimplicity of {SL(2,\mathbb{R})}, we can write {\mathcal{H}} as a integral of irreducible unitary {SL(2,\mathbb{R})} representations {\mathcal{H}_{\xi}}:

\displaystyle \mathcal{H}=\int \mathcal{H}_{\xi}d\lambda(\xi)

The fact that {(\phi_t)_{t\in\mathbb{R}}} is {\mu}-ergodic implies that the {SL(2,\mathbb{R})} action is {\mu}-ergodic, that is, the trivial representation doesn’t appear in the previous integral decomposition. By Bargmann’s classification, every nontrivial unitary irreducible {SL(2,\mathbb{R})} representation belongs to one of the following three classes (or series): principal series, discrete series and complementary series. See this post for more discussion.

By M. Ratner’s work, we know that, for every {t\geq 1} and for every {v,w\in\mathcal{H}_{\xi}} with {\mathcal{H}_{\xi}} in the principal or discrete series,

\displaystyle |C_t(v,w)|:=\left|\int (v\circ\phi_t) \cdot w\, d\mu\right|\leq C\cdot t\cdot e^{-t}\cdot\|v\|_{L^2(X,\mu)}\cdot\|w\|_{L^2(X,\mu)}

where {C>0} is an universal constant. Of course, we’re implicitly using the fact that, by hypothesis, {\phi_t} is exactly the action of the diagonal subgroup {\textrm{diag}(e^t,e^{-t})} of {SL(2,\mathbb{R})} on {X}. Also, for every {t\geq 1} and for every {v,w\in\mathcal{H}_{\xi}} {C^3} vectors (see this post for more details) with {\mathcal{H}_{\xi}} in the complementary series, one can find a parameter {s=s(\mathcal{H}_{\xi})\in (0,1)} (related to the eigenvalue {-1/4<\lambda(\mathcal{H}_{\xi})<0} of the Casimir operatorof {\mathcal{H}_{\xi}}) such that

\displaystyle |C_t(v,w)|:=\left|\int (v\circ\phi_t) \cdot w\, d\mu\right|\leq C_s\cdot e^{(-1+s)t}\cdot\|v\|_{C^3}\cdot\|w\|_{C^3}

where {C_s>0} is a constant depending only on {s} and {\|u\|_{C^3}} is the {C^3} norm of a {C^3} vector {u} along the {SO(2,\mathbb{R})} direction. In the notation of this post, {\|u\|_{C^3}:=\|u\|_{L^2(X,\mu)}+\|L_W u\|_{L^2(X,\mu)}+\|L_W^2 u\|_{L^2(X,\mu)}+\|L_W^3 u\|_{L^2(X,\mu)}}. Furthermore, {C_s} can be taken uniform on intervals of the form {s\in[1-s_0,s_0]} with {1/2<s_0<1}.

Putting these informations together (and using the classical fact that {C^3} vectors are dense), one obtains that {|C_t(v,w)|\rightarrow0} as {t\rightarrow\infty} (actually, it goes “exponentially fast” to zero in the sense explained above) for:

  • all vectors {v,w\in\mathcal{H}_{\xi}} when {\mathcal{H}_{\xi}} belongs to the principal or discrete series;
  • a dense subset (e.g., {C^3} vectors) of vectors {v,w\in\mathcal{H}_{\xi}} when {\mathcal{H}_{\xi}} belongs to the complementary series.

Using this (and the integral decomposition {\mathcal{H}=\int\mathcal{H}_{\xi}d\lambda(\xi)}), we conclude that {|C_t(v,w)|\rightarrow0} as {t\rightarrow\infty} for a dense subset of vectors {v,w\in \mathcal{H}=L^2_0(X,\mu)}. Now, an easy approximation argument shows that {|C_t(v,w)|\rightarrow0} as {t\rightarrow\infty} for all {v,w\in L^2_0(X,\mu)}. Hence, {(\phi_t)_{t\in\mathbb{R}}} is {\mu}-mixing and the proof of Proposition 4 is complete.

Once the Proposition 4 is proved, a natural question concerns the “speed”/“rate” of convergence of {C_t(f,g)} to zero (as {t\rightarrow\infty}). In a certain sense, this question was already answered during the proof of Proposition 4: using Ratner’s results, one can show that {C_t(f,g)} converges exponentially fast to zero for all {f,g} in a dense subet of {L_0^2(X,\mu)}(e.g., {f,g} {C^3} vectors) if and only if the unitary {SL(2,\mathbb{R})} representation {\mathcal{H}=L^2_0(X,\mu)} has spectral gap, i.e., there exists {s_0\in(0,1)} such that, when writing {\mathcal{H}} as an integral {\mathcal{H}=\int\mathcal{H}_{\xi} d\lambda(\xi)} of unitary irreducible {SL(2,\mathbb{R})} represenations, no {\mathcal{H}_{\xi}} in the complementary series has parameter {s=s(\mathcal{H}_{\xi})\in(s_0,1)}. Actually, it is possible to show that the spectral gap property is equivalent to the nonexistence of almost invariant vectors: recall that a representation of a Lie group {G} on a Hilbert space {\mathcal{H}} has almost vector when, for all compact subsets {K} and for all {\varepsilon>0}, there exists an unit vector {v\in\mathcal{H}} such that {\|gv-v\|<\varepsilon} for all {g\in K}.

In general, it is a hard task to prove the spectral gap property for a given unitary {SL(2,\mathbb{R})} representation. For the case of the unitary {SL(2,\mathbb{R})} representation {L^2_0(\mathcal{C},\mu_{\mathcal{C}})} obtained from the {SL(2,\mathbb{R})} action on a connected component {\mathcal{C}} of a stratum of the moduli space of Abelian differentials equipped with the natural Masur-Veech measure {\mu_{\mathcal{C}}}, A. Avila, S. Gouëzel and J.-C. Yoccoz showed the following theorem:

Theorem 5 (A. Avila, S. Gouëzel, J.-C. Yoccoz) The Teichmüller flow {g_t} on {\mathcal{C}} is exponentially mixing with respect to {\mu_{\mathcal{C}}} (in the sense that {C_t(f,g)\rightarrow 0} exponentially as {t\rightarrow\infty} for “sufficiently smooth” {f,g}), and the unitary {SL(2,\mathbb{R})} representation {L^2_0(\mathcal{C},\mu_{\mathcal{C}})} has spectral gap.

In the proof of this result, Avila, Gouëzel and Yoccoz proves firstly that the Teichmüller geodesic flow (i.e., the action of the diagonal subgroup {A=\{a(t):t\in\mathbb{R}\}} on the moduli space {\mathcal{Q}_g} of Abelian differentials) is exponentially mixing with respect to Masur-Veech measure (indeed this is the main result of their paper) and they use a reverse Ratner estimate to derive the spectral gap property from the exponential mixing (and not the other way around!). Here, the proof of the exponential mixing property with respect to Masur-Veech measure is obtained by delicate (mostly combinatorial) estimates on the so-called Rauzy-Veech induction.

More recently, Avila and Gouëzel developed a more geometrical (and less combinatorial) approach to the exponential mixing of algebraic {SL(2,\mathbb{R})}-invariant probabilities.

Roughly speaking, an algebraic {SL(2,\mathbb{R})}-invariant measure {\mu} is a probability measure supported on an affine suborbifold {\textrm{supp}(\mu)} of {\mathcal{C}} (in the sense that {\textrm{supp}(\mu)} corresponds, in local period coordinates, to affine subspaces in relative homology) such that {\mu} is absolutely continuous (wrt the Lebesgue measure on the affine subspaces corresponding to {\textrm{supp}(\mu)} in period charts) and its density is locally constant in period coordinates. The class of algebraic {SL(2,\mathbb{R})}-invariant probabilities contains all “known” examples (e.g., Masur-Veech measures {\mu_{\mathcal{C}}} and the probabilities supported on the {SL(2,\mathbb{R})}-orbits of Veech surfaces [in particular, square-tiled surfaces]). Actually, an important conjecture in Teichmüller dynamics claims that all {SL(2,\mathbb{R})}-invariant probabilities are algebraic. If it is true, this conjecture would provide a non-homogenous counterpart to Ratner’s theorems on unipotent actions in homogenous spaces.

After the celebrated works of K. Calta and C. McMullen, there is a complete classification of {SL(2,\mathbb{R})}-invariant measures in genus {2} (i.e., {\mathcal{C}=\mathcal{H}(2)} or {\mathcal{H}(1,1)}). In particular, it follows that such measures are always algebraic (in genus {2}). Furthermore, it was recently announced by A. Eskin and M. Mirzakhani that the full conjecture is true.

In any case, the result obtained by Avila and Gouëzel is:

Theorem 6 (Avila and Gouëzel) Let {\mu} be an algebraic {SL(2,\mathbb{R})}-invariant probability, and consider the integral decomposition {L^2_0(\mathcal{C},\mu)=\int \mathcal{H}_{\xi}d\lambda(\xi)} of the unitary {SL(2,\mathbb{R})} representation {L^2_0(\mathcal{C},\mu)} into irreducible factors {\mathcal{H}_{\xi}}. Then, for any {\delta>0}, the representations {\mathcal{H}_{\xi}} of the complementary series with parameter {s(\mathcal{H}_{\xi})\in [\delta,1]} appear only discretely (i.e., {\{s\in [\delta,1]: s=s(\mathcal{H}_{\xi}) \textrm{ for some }\xi\}} is finite) and with finite multiplicity (i.e., for each {s\in[\delta,1]}, {\{\xi: s(\mathcal{H}_{\xi})=s\}} is finite). In particular, the Teichmüller geodesic flow {g_t} is exponentially mixing with respect to {\mu}.

In a future post, we will highlight some aspects of the proof of this result.

This is all for today’s post! Next time, we’ll discuss a question posed by W. Veech to G. Forni…


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

Follow

Get every new post delivered to your Inbox.

Join 111 other followers

%d bloggers like this: