Posted by: matheuscmss | September 3, 2013

Semisimplicity of the Lyapunov spectrum for irreducible cocycles

Alex Eskin and I have just uploaded to ArXiv our paper “Semisimplicity of the Lyapunov spectrum for irreducible cocycles”.

In this article, we are mainly interested in the constraints on the Lyapunov spectrum of certain linear cocycles acting in a irreducible way on the fibers.

More concretely, we consider the following setting. Let {G} be a semisimple Lie group acting on a space {X}. Denote by {\mu} a compactly supported probability measure on {G} and {\nu} a {\mu}-stationary probability on {X}, i.e., {\int_G g_*\nu d\mu(g):=\mu\ast\nu=\nu} (that is, {\nu} is “invariant on {\mu}-average” under push-forwards by elements of {G}).

A linear cocycle is {A: G\times X\rightarrow SL(L)} where {L} is a real finite-dimensional vector space. For our purposes, we will assume that the matrices {A(g,x)} are bounded for any {g} in the support of {\mu}.

From the point of view of Dynamical Systems, we think of a (linear) cocycle {A} as the “fiber dynamics” of the following system {F_A} modeling random products of the matrices {A(g,x)} while following a forward random walk on {G}.

Let {\Omega=G^{\mathbb{N}}} and denote by {T:\Omega\times X\rightarrow\Omega\times X} be the natural shift map {T(u,x)=(\sigma(u),u_1(x))} where {u=(u_1, u_2,\dots)\in\Omega}. Observe that, by {\mu}-stationarity of {\nu}, the product probability measure {\beta\times\nu} is {T}-invariant where {\beta=\mu^{\mathbb{N}}}. For the sake of simplicity, we will assume that the {\mu}-stationary measure {\nu} is ergodic in the sense that {\beta\times\nu} is {T}-ergodic.

In this language, the orbits of the map {F_A:\Omega\times X\times SL(L)\rightarrow \Omega\times X\times SL(L)} given by

\displaystyle F_A(u,x,z)=(T(u,x), A(u_1,x)z)

are modeling random products of the matrices {A(g,x)} along random walks in {G}. Indeed, this is clearly seen through the formula:

\displaystyle F^n_A(u,x,Id)=(T^n(u,x), A(u_n,u_{n-1}\dots u_1(x))\dots A(u_1,x))=:(T^n(u,x), A^n(u,x))

In this context, Oseledets theorem applied to {F_A} ensures the existence of a collection of numbers {\lambda_1>\dots>\lambda_k} with multiplicities {m_1,\dots, m_k} called Lyapunov exponents and, at {\beta\times\nu}-almost every point {(u,x)\in\Omega\times X}, a Lyapunov flag

\displaystyle \{0\}=V_{k+1}\subset V_k(u,x)\subset\dots\subset V_1(u,x)=L

such that {V_i(u,x)} is a subspace of dimension {m_i+\dots+m_k} and

\displaystyle \lim\limits_{n\rightarrow\infty}\frac{1}{n}\log\|A^n(u,x)\vec{p}\|=\lambda_i

whenever {\vec{p}\in V_i(u,x)\setminus V_{i+1}(u,x)}.

The collection of Lyapunov exponents and Lyapunov flags of {A(.,.)} (or, more precisely, {F_A}) is called the Lyapunov spectrum of {A(.,.)}.

Evidently, the Lyapunov spectrum of an “arbitrary” cocycle can exhibit “any” wild behavior. However, concerning “specific” cocycles, a general question of great interest in Dynamical Systems/Ergodic Theory is the following: what can one say about the Lyapunov spectrum of a cocycle satisfying certain geometrical and/or algebraic constraints?

Of course, this question is somewhat vague and, for this reason, there is no unique answer to it. On the other, it is precisely the vagueness of this question that makes it so appealing and this explains the vast literature providing answers for several formulations of this question.

For instance, the seminal works of Furstenberg, Goldsheid-Margulis and Guivarc’h-Raugi gave geometrical (“contraction”/“proximality” and “strong irreducibility”) and algebraic conditions (full Zariski closure of the monoid of matrices generated by the cocycle in the special linear group {SL(L)} or in the symplectic group {Sp(L)}) ensuring the simplicity of the Lyapunov spectrum (that is, the multiplicities {m_i} are all equal to {1}). More recently, Avila-Viana gave an alternative set of geometrical conditions (“pinching” and “twisting”) ensuring simplicity for cocycles {A} taking values in both {SL(L)} and {Sp(L)}, and it was observed by Möller, Yoccoz and myself in this paper here that the arguments of Avila-Viana can be further extended to cocycles taking values in the classical groups {O(p,q)}, {U_{\mathbb{C}}(p,q)} and {U_{\mathbb{H}}(p,q)} (resp.) of real, complex and quaternionic matrices (resp.) preserving an indefinite form of signature {(p,q)} on {L}.

Actually, a careful inspection of these papers (in particular the ones by Golsheid-Margulis and Guivarc’h-Raugi) reveals that one can get partial constraints on the Lyapunov spectrum by assuming only some parts of the geometrical conditions required in these articles, and, as it turns out, this fact is already important in some applications.

More precisely, during the proof of their profound Ratner-type theorem for the {SL(2,\mathbb{R})}-action on the moduli space of translation surfaces, Eskin-Mirzakhani needed to know a certain property of semisimplicity of the so-called Kontsevich-Zorich cocycle (in order to apply the “exponential drift” idea of Benoist-Quint via appropriate “time-changes”). Here, by semisimplicity we mean that, up to conjugating {F_A} (or, equivalently, replacing the cocycle {A(.,)} by {C(g(x)) A(g,x) C(x)^{-1}} for some adequate measurable map {C:X\rightarrow SL(L)}), the cocycle {A} is block-conformal, i.e.,

\displaystyle A(g,x)=\left(\begin{array}{ccc}c_1 & 0 & 0 \\ 0 & \ddots & 0 \\ 0 & 0 & c_m\end{array}\right)

where {c_l}‘s are conformal (that is, {c_l} belongs to an orthogonal group after multiplication by an adequate constant). Equivalently, {A} has semisimple Lyapunov spectrum if we can write the quotients {V_i(u,x)/V_{i+1}(u,x)} between consecutive subspaces of the Lyapunov flag as

\displaystyle V_{i}(u,x)/V_{i+1}(u,x) = \bigoplus\limits_{j=1}^{n_i} E_{ij}(u,x) \ \ \ \ \ (1)

where each {E_{ij}(u,x)} admits a non-degenerate quadratic form {\langle.,.\rangle_{ij,u,x}} such that for all {\vec{p}, \vec{q}\in E_{ij}(u,x)} and for all {n\in\mathbb{N}} one has

\displaystyle \langle A^n(u,x)\vec{p}, A^n(u,x)\vec{q} \rangle_{ij,T^n(u,x)} = e^{\lambda_{ij}(u,x,n)}\langle\vec{p},\vec{q}\rangle_{ij,u,x}

with {\lambda_{ij}:\Omega\times X\times\mathbb{N}\rightarrow \mathbb{R}} satisfying the cocycle relation

\displaystyle \lambda_{ij}(u,x,m+1)=\lambda_{ij}(T^{m-1}(u,x),1)+\lambda_{ij}(u,x).

In this setting, Eskin-Mirzakhani needs the following fact essentially contained in the works of Goldsheid-Margulis and Guivarc’h-Raugi: a cocycle {A(.,.)} as above has semisimple Lyapunov spectrum whenever it is strongly irreducible, i.e., no finite cover of {A(.,.)} (or rather the induced cocycle in a finite cover of {X}) preserves a measurable family {W(x)} of proper subspaces of {L} in the sense that {A(g,x) W(x)\subset W(g(x))} for {\mu}-almost every {g\in G} and {\nu}-almost every {x} (where {\nu} is the natural measure induced in the corresponding finite cover of {X}).

Unfortunately, even though the experts in the subject know that this statement really follows from the ideas of Goldsheid-Margulis and Guivarc’h-Raugi, it is hard to deduce this fact directly from the statements in these papers.

The proof of this fact in the case of a strongly irreducible cocycle {A(.,.)} whose algebraic hull is {SL(L)} is explained in Appendix C of Eskin-Mirzakhani’s paper. Here, by algebraic hull we mean the smallest {\mathbb{R}}-algebraic subgroup {\textbf{H}} such that {C(g(x)) A(g,x) C(x)^{-1}\in\textbf{H}} for some measurable (conjugation) map {C: X\rightarrow SL(L)} (by a result of Zimmer, algebraic hulls always exist and they are unique up to conjugation). Nevertheless, for their application to the Kontsevich-Zorich cocycle, they need the semisimplicity statement for the general case, i.e., without assumptions on the algebraic hull {\textbf{H}} (because the Kontsevich-Zorich takes values in some other smaller classical groups in certain examples), and this is precisely one of the main purposes of our preprint with Alex Eskin.

In other terms, one of our main objectives is to adapt the ideas of Goldsheid-Margulis and Guivarc’h-Raugi to show that a strongly irreducible cocycle has semisimple Lyapunov spectrum. Also, we show in the same vein that the top Lyapunov exponent {\lambda_1} is associated to a single conformal block in the sense that the decomposition in (1) is trivial (i.e., {n_1=1}) for {V_1(u,x)/V_2(u,x)}.

In a sense, some of the ideas of proof of the statement in the previous paragraph were previously discussed in this blog (see this post here) in some particular cases.

For this reason, we will not give here a detailed discussion of our preprint with Alex Eskin. Instead, we strongly encourage the reader that is not used to these types of arguments/ideas to replace {\textbf{H}} by {SL(L)} (or {Sp(L)}, {U_{\mathbb{C}}(p,q)}) in our paper with Alex Eskin and then to compare the statements there with the ones in this previous blog post here and/or in Appendix C of Eskin-Mirzakhani’s paper. By doing so, the reader will be convinced that the basic ideas are the same up to replacing some linear algebra statements by the analogous facts for the action of elements of {\textbf{H}} on stationary measures supported on a flag variety {\textbf{H}/P_I} (where {P_I} is a certain parabolic subgroup corresponding to some subset {I} of simple roots), etc.

Closing this post, let us just to try to summarize in a couple of words the proof of the semisimplicity of the Lyapunov spectrum of strongly irreducible cocycles {A(.,.)}. Firstly, by analyzing (in Section 2 of our preprint) the action of elements of the algebraic hull {\textbf{H}} on adequate flag varieties {\textbf{H}/P_{I}} (for some choices {I} of subsets of simple roots), we show that {A(.,.)} can be conjugated to take its values in a certain parabolic subgroup {P_{I'}} (cf. Proposition 3.2 of our preprint). In a certain sense, this information seems of little value because, very roughly speaking, the fact that {A(.,.)} takes values in a parabolic subgroup essentially amounts to say that we can put {A(.,.)} in the form

\displaystyle A(g,x)=\left(\begin{array}{ccc}c_1 & \ast & \ast \\ 0 & \ddots & \ast \\ 0 & 0 & c_m\end{array}\right)

and this is certainly not the desired block conformality property (as this last property means that all {\ast} entries above are all zero). Nonetheless, we combine the information {A(.,.)} takes values in a certain parabolic subgroup with the analogous statement for the backward cocycle (i.e., the cocycle obtained by following the bacwards random walk on {G}) to deduce that {A(.,.)} is Schmidt-bounded, i.e., it is uniformly bounded on large compact sets of almost full measure. By a result of Schmidt (discussed in this previous blog post), up to conjugation, any Schmidt-bounded cocycle takes values in a compact subgroup, and from this last fact one can establish that {A(.,.)} is block-conformal (i.e., all {\ast}‘s are zero in the equation above). Finally, the statement that the top Lyapunov exponent corresponds to a single conformal block essentially follows from the well-known fact that the highest weight of the irreducible action of the algebraic hull {\textbf{H}} of the strongly irreducible cocycle {A(.,.)} on the real finite-dimensional vector space {L} has multiplicity {1}.

Posted by: matheuscmss | August 20, 2013

Workshop on Combinatorics, Number Theory and Dynamical Systems

I’m extremely happy to announce that the Workshop on Combinatorics, Number Theory and Dynamical Systems started today at IMPA, Rio de Janeiro, Brazil (as part of the activities of a thematic semester from August to on Dynamical Systems mainly organized by Carlos (Gugu) Moreira, Enrique Pujals and Marcelo Viana).

This workshop is mainly organized by Gugu Moreira (and Yuri Lima, Christian Mauduit, Jean-Christophe Yoccoz and myself served as co-organizers).

The schedule of the workshop is available at the link provided above, and, as the reader can check, there will be several exciting talks by several experts on these subjects (e.g., Vitaly Bergelson, Alex Eskin, Harald Helfgott, Elon Lindenstrauss, Janos Pintz, etc.).

Closing this short post, let me point out that the videos of the lectures are available here (and they are uploaded automatically at IMPA’s website by the end of each lecture), and, in fact, it is even possible to watch online in real time the lectures at this link here (see the sublink next to the name “Ricardo Mañé”).

 

The recent breakthrough article of A. Eskin and M. Mirzakhani sheds some light about the geometric structure of {SL(2,\mathbb{R})}-invariant probability measures on moduli spaces of Abelian differentials. In a nutshell, they showed the following analog of the celebrated Ratner’s measure classification theorem in the non-homogenous setting of moduli spaces of Abelian differentials: any ergodic {SL(2,\mathbb{R})}-invariant probability measure on these moduli spaces is an affine measure fully supported on some affine suborbifold.

In their (long) proof of this result, A. Eskin and M. Mirzakhani use several arguments inspired by the low entropy method of M. Einsiedler, A. Katok and E. Lindenstrauss, the exponential drift argument of Y. Benoist and J.-F. Quint and, as a preparatory step for the exponential drift argument, they show the semisimplicity of the Kontsevich-Zorich cocycle.

In Eskin-Mirzakhani’s article, the proof of the semisimplicity property of the Kontsevich-Zorich cocycle is based on the work of G. Forni and the study of symplectic and isotropic {SL(2,\mathbb{R})}-invariant subbundles of the Hodge bundle.

It is interesting to point out that, while symplectic {SL(2,\mathbb{R})}-invariant subbundles of the Hodge bundle occur in several known examples (see, e.g., these articles here), the existence of some example of isotropic {SL(2,\mathbb{R})}-invariant subbundle is not so clear.

Indeed, the question of the existence of non-trivial isotropic {SL(2,\mathbb{R})}-invariant subbundles of the Hodge bundle was posed by Alex Eskin and Giovanni Forni (independently) and they were partly motivated by the fact that the non-existence of such subbundles would allow to “forget” about isotropic {SL(2,\mathbb{R})}-invariant subbundles and thus, simplify (at least a little bit) some arguments in Eskin-Mirzakhani paper.

In this note here, Gabriela Schmithüsen and I answered this question of A. Eskin and G. Forni by exhibiting a square-tiled surface {(X,\omega)} of genus {15} with {512} squares such that the Hodge bundle over the {SL(2,\mathbb{R})}-orbit of {(X,\omega)} has non-trivial isotropic {SL(2,\mathbb{R})}-invariant subbundles.

Fortunately, the basic idea of this example is simple enough to fit into a (short) blog post, and, for this reason, we will spend the rest of this post explaining the general lines of the construction of {(X,\omega)} (leaving a few details to the our note with Gabi).

Read More…

Posted by: matheuscmss | August 9, 2013

Computation of the Poisson boundary of a lattice of SL(2,R)

In this previous post, we discussed some results of Furstenberg on the Poisson boundaries of lattices of {SL(n,\mathbb{R})} (mostly in the typical low-dimensional cases {n=2} and/or {n=3}). In particular, we saw that it is important to know the Poisson boundary of such lattices in order to be able to distinguish between them.

More precisely, using the notations of this post (as well as of its companion), we mentioned that a lattice {\Gamma} of {SL(n,\mathbb{R})} can be equipped with a probability measure {\mu} such that the Poisson boundary of {(\Gamma,\mu)} coincides with the Poisson boundary {(B_n, m_{B_n})} of {SL(n,\mathbb{R})} equipped with any spherical measure (cf. Theorem 13 of this post). Then, we sketched the construction of the probability measure {\mu} in the case of a cocompact lattice {\Gamma} of {SL(2,\mathbb{R})}, and, after that, we outlined the proof that {(B_n, m_{B_n})} is a boundary of {(\Gamma,\mu)} in the cases {n=2} and {3}.

However, we skipped a proof of the fact that {(B_n, m_{B_n})} is the Poisson boundary of {(\Gamma, \mu)} by postponing it possibly to another post. Today our plan is to come back to this point by showing that {(B_2, m_{B_2})} is the Poisson boundary of {(\Gamma,\mu)}.

More concretely, we will show the following statement due to Furstenberg. Let {\Gamma} be a cocompact lattice of {SL(2,\mathbb{R})}. As we saw in this previous post (cf. Proposition 14), one can construct a probability measure {\mu} on {\Gamma} such that

  • (a) {\mu} has full support: {\mu(\{\gamma\})>0} for all {\gamma\in\Gamma},
  • (b) {m_{B_2}} is {\mu}-stationary: {\mu\ast m_{B_2}=m_{B_2}},
  • (c) the {\log}-norm function is {\mu}-integrable: {\sum\limits_{\gamma\in\Gamma} \mu(\gamma)\Lambda(\gamma)<\infty}.

Here, we recall (for the sake of convenience of the reader) that: {B_2\simeq\mathbb{P}^1} is the “complete flag variety” of {\mathbb{R}^2} or, equivalently, {B_2=SL(2,\mathbb{R})/P_2} where {P_2} is the subgroup of upper-triangular matrices, {m_{B_2}} is the Lebesgue (probability) measure and

\displaystyle \Lambda(g):=d(g(0),0)=\log\frac{1+|g(0)|}{1-|g(0)|}

where {g\in SL(2,\mathbb{R})} acts on Poincaré’s disk {\mathbb{D}} via Möebius transformations (as usual) and {d} denotes the hyperbolic distance on Poincaré’s disk {\mathbb{D}}.

Then, the result of Furstenberg that we want to show today is:

Theorem 1 Let {\Gamma} be a cocompact lattice of {SL(2,\mathbb{R})} and denote by {\mu} any probability measure on {\Gamma} satisfying the conditions in items (a), (b) and (c) above. Then, the Poisson boundary of {(\Gamma,\mu)} is {(B_2, m_{B_2})}.

The proof of this theorem will occupy the entire post, and, in what follows, we will assume familiarity with the contents of these posts.

Read More…

Alex Wright and I have just upload to ArXiv our paper Hodge-Teichmüller planes and finiteness results for Teichmüller curves.

As the title of the paper indicates, this article concerns finiteness results for certain classes of Teichmüller curves (i.e., closed {SL(2,\mathbb{R})}-orbits in the moduli spaces of Abelian differentials). For example, one of the results in this paper is the finiteness of algebraically primitive Teichmüller curves in minimal strata of prime genus \geq 3.

In fact, some parts of this paper were previously discussed in this blog here, and, for this reason, we will not make further comments on the contents of this article today.

Instead, let us take the opportunity to briefly discuss a “deleted scene” of this paper.

More concretely, at some stage of the paper, Alex and I need to know that there are Abelian differentials/translation surfaces with “rich monodromy” (whatever this means) in each connected component of every stratum of genus {g\geq 3}.

In this direction, we ensure the existence of such translation surfaces by an inductive argument going as follows.

Starting with an hypothetical connected component {\mathcal{H}} of genus {g\geq 3} containing only translation surfaces with “poor monodromy” ({g-1} orthogonal Hodge-Teichmüller planes in the notation of the paper), we follow and adpat some arguments of Kontsevich-Zorich paper on the classification of connected components of strata (cf. Section 5 of our paper) and we work a little bit with the Deligne-Mumford compactification of moduli spaces (cf. Section 6 of our paper) to show that the “poorness of monodromy” property passes down to all translations surfaces in both connected components {\mathcal{H}(4)^{hyp}} and {\mathcal{H}(4)^{odd}}. Here, very roughly speaking, the basic idea is that, if we “degenerate” (e.g., pinch off a curve) in a careful way the translation surfaces in {\mathcal{H}}, we can decrease the genus without loosing the “poorness of monodromy” property, so that, if we keep degenerating, then we will find ourselves with plenty of genus {3} translation surfaces with poor monodromy.

However, it is easy to see that the property that all translation surfaces in {\mathcal{H}(4)^{hyp}} and {\mathcal{H}(4)^{odd}} have “poor monodromy” is false: indeed, in Section 4 of our paper, we exhibit explicitely two translation surfaces {M_{\ast}\in \mathcal{H}(4)^{odd}} and {M_{\ast\ast}\in\mathcal{H}(4)^{hyp}} with “rich monodromy”. Thus, the hypothetical connected component {\mathcal{H}} can not exist.

As it turns out, before thinking about this argument based on Kontsevich-Zorich classification of connected components and the features of Deligne-Mumford compactification, Alex and I thought of using the following simple-minded argument. One can check that the “richness of monodromy” property passes through finite branched coverings. Hence, it suffices to produce for each connected component {\mathcal{H}} an explicit finite branched cover of one of the translation surfaces {M_{\ast}} or {M_{\ast\ast}} lying in {\mathcal{H}} to deduce that all connected components of all strata possess translation surfaces with “rich monodromy”.

Remark 1 The strategy in the previous paragraph is very natural: for instance, after reading a preliminary version of our paper, Giovanni Forni asked us if we could not make the arguments in Sections 5 and 6 of our paper (related to Kontsevich-Zorich classification of connected components of strata and Deligne-Mumford compactification) more elementary by taking finite branched covers to produce explicit translation surfaces with rich monodromy on each connected component of every stratum. As we will see below, this does not quite work to fully recover the statements in Section 5 of our paper, but it allows to obtain at least part of our statements.

In particular, around November/December 2012, Alex and I started looking at finite branched covers of {M_{\ast}} and {M_{\ast\ast}} “hitting” all connected components of all strata. Unfortunately, this strategy does not work as well as one could imagine: firstly, there are restrictions on the genera of strata we can reach using finite branched covers (thanks to Riemann-Hurwitz formula), and, secondly, it is not so easy to figure out in what connected component our finite branched cover lives.

Nevertheless, this elementary strategy permits to deduce the following proposition (allowing to deduce partial versions of the statements in Section 5 of our paper). Let {M_{\ast}\in \mathcal{H}(4)^{odd}} and {M_{\ast\ast}\in\mathcal{H}(4)^{hyp}} be the square-tiled surfaces with “rich monodromy” constructed in our paper (see also this post), i.e., the square-tiled surfaces below

MW-H4odd

M_{\ast}\in\mathcal{H}(4)^{odd}

MW-H4hyp

M_{\ast\ast}\in\mathcal{H}(4)^{hyp}

associated to the pairs of permutations {h_{\ast}=(1)(2,3)(4,5,6)} and {v_{\ast}=(1,4,2)(3,5)(6)}, and {h_{\ast\ast}=(1)(2,3)(4,5,6)} and {v_{\ast\ast}=(1,2)(3,4)(5)}.

Remark 2 Here, as it is usual in this theory, we are constructing square-tiled surfaces from a pair of permutations {h, v\in S_N} on {N} elements by taking {N} unit squares and gluing them (by translations) so that {h(i)} is the square to the right of the square {i} and {v(i)} is the square on the top of the square {i}.

Proposition 1 For each {d\geq 3} odd, there exists {M_{\ast}(d)} a finite branched cover of {M_{\ast}} of degree {d} in the odd connected component {\mathcal{H}(5d-1)^{odd}} of the minimal stratum {\mathcal{H}(5d-1)} (of Abelian differentials with a single zero of order {5d-1}).

Also, there exists {M_{\ast\ast}(3)} a finite branched cover of {M_{\ast\ast}} of degree {3} in the hyperelliptic connected component {\mathcal{H}(14)^{hyp}} of the minimal stratum {\mathcal{H}(14)} (of Abelian differentials with a single zero of order {14}).

Finally, for each {d\geq 5}, there exists {M_{\ast\ast}(d)} a finite branched cover of {M_{\ast\ast}} of degree {d} in the even connected component {\mathcal{H}(5d-1)^{even}} of the minimal stratum {\mathcal{H}(5d-1)} (of Abelian differentials with a single zero of order {5d-1}).

Remark 3 In this statement, the nomenclature “hyperelliptic”, “even” and “odd” refers to the invariants introduced by Kontsevich and Zorich to distinguish between the connected components of strata. We will briefly review these notions below (as we will need them to prove Proposition 1.

We will dedicate the remainder of this post to outline the construction of the translation surfaces {M_{\ast}(d)} and {M_{\ast\ast}(d)} satisfying the conclusions of Proposition 1. In particular, we will divide the discussion into three sections: in the next one, we will quickly review the invariants introduced by Kontsevich-Zorich to classify connected components of strata, and in the last two sections we will construct {M_{\ast}(d)} and {M_{\ast\ast}(d)} respectively.

Read More…

Last time we introduced Poisson boundaries hoping to use them to distinguish between lattices of {SL(2,\mathbb{R})} and {SL(n,\mathbb{R})}, {n\geq 3}. More precisely, we followed Furstenberg to define and construct Poisson boundaries as a tool that would allow to prove the following statement:

Theorem 1 (Furstenberg (1967)) A lattice of {SL(2,\mathbb{R})} can’t be realized as a lattice in {SL(n,\mathbb{R})} for {n\geq 3} (or, in the language introduced in the previous post, {SL(n,\mathbb{R})}, {n\geq 3}, can’t envelope a discrete group enveloped by {SL(2,\mathbb{R})}).

Here, we recall that, very roughly speaking, these Poisson boundaries {(B,\nu)} were certain “maximal” topological objects attached to locally compact groups with probability measures {(G,\mu)} in such a way that the points in the boundary {B} were almost sure limits of {\mu}-random walks on {G} and the probability measure {\nu} was a {\mu}-stationary measure giving the distribution at which {\mu}-random walks hit the boundary.

For this second (final) post, we will discuss (below the fold) some examples of Poisson boundaries and, after that, we will sketch the proof of Theorem 1.

Remark 1 The basic references for this post are the same ones from the previous post, namely, Furstenberg’s survey, his original articles and A. Furman’s survey.

Read More…

In this previous blog post here (about this preprint joint with Alex Eskin), it was mentioned that the simplicity of Lyapunov exponents of the Kontsevich-Zorich cocycle over Teichmüller curves in moduli spaces of Abelian differentials (translation surfaces) can be determined by looking at the group of matrices coming from the associated monodromy representation thanks to a profound theorem of H. Furstenberg on the so-called Poisson boundary of certain homogenous spaces.

In particular, this meant that, in the case of Teichmüller curves, the study of Lyapunov exponents can be performed without the construction of any particular coding (combinatorial model) of the geodesic flow, a technical difficulty occurred in previous papers dedicated to the simplicity of Lyapunov exponents of the Kontsevich-Zorich cocycle (such as these articles here and here).

Of course, I was happy to use Furstenberg’s result as a black-box by the time Alex Eskin and I were writing our preprint, but I must confess that I was always curious to understand how Furstenberg’s theorem works. In fact, my curiosity grew even more when I discovered that Furstenberg wrote a survey article (of 63 pages) on this subject, but, nevertheless, this survey was not easily accessible on the internet. For this reason, after consulting a copy of Furstenberg’s survey at Institut Henri Poincaré (IHP) library, I was impressed by the high quality of the material (as expected) and I decided to buy the book containing this survey.

As the reader can imagine, I learned several theorems by reading Furstenberg’s survey and, for this reason, I thought that it could be a good idea to describe here the proof of a particular case of Furstenberg’s theorem on the Poisson boundary of lattices of {SL(n,\mathbb{R})} (mostly for my own benefit, but also because Furstenberg’s survey is not easy to find online to the best of my knowledge).

For the sake of exposition, I will divide the discussion of Furstenberg’s survey into two posts, using Furstenberg’s survey, his original articles and A. Furman’s survey as basic references.

For this first (introductory) post, we will discuss (below the fold) some of the motivations behind Furstenberg’s investigation of Poisson boundaries of lattices of Lie groups and we will construct such boundaries for arbitrary (locally compact) groups equipped with probability measures.

Read More…

Posted by: matheuscmss | July 6, 2013

A remark on the Jacobian determinant PDE

A few days ago I crossed by chance the book “The pullback equation for differential forms” of G. Csató, B. Dacorogna and O. Kneuss. Very roughly speaking, this book concerns the existence and regularity of solutions to the partial differential equation (PDE)

\displaystyle \varphi^*(\eta_0)=\eta_1

where {\eta_0} and {\eta_1} are given {k}-forms and {\varphi} is an unknown map.

As it turns out, this is a non-linear (for {k\geq 2}) homogenous (of degree {k} in the derivatives of {\varphi}) of first-order system of {\binom{n}{k}} PDEs on {\varphi}.

The first time I got interested in this (pullback) PDE was some years ago because of its connection with the question of constructing “nice” perturbations of volume-preserving dynamical systems (see this paper here [and its corrigendum here]).

More concretely, suppose that you are studying the dynamical features of volume-preserving diffeomorphism {f} and you want to test whether {f} has some given robust property {\mathcal{P}}, e.g., {f} is robustly transitive (i.e., all volume-preserving diffeomorphisms {g} obtained from small perturbations of {f} have some dense orbit). Then, you can use the pullback equation to contradict this robust property for {f} along the following lines.

Assume that you found some region {U} of the phase space where {f} is “strangely” close to a local volume-preserving dynamical system {g} violating the property {\mathcal{P}} (e.g., {g} is not transitive because it leaves invariant some open subset {V\subset U}). Hence, you could show that {f} doesn’t satisfy {\mathcal{P}} in a robust way if you can “glue” {f} and {g} in a conservative way to obtain a volume-preserving diffeomorphism {h} behaving as {g} inside {U} and behaving as {f} outside some neighborhood of {\overline{U}}. Since the local dynamics {g} violates {\mathcal{P}}, we have that the perturbation {h} of {f} also violates {\mathcal{P}}, so that the robust property {\mathcal{P}} is not verified by {f}.

Here, the pullback equation for volume forms says that you can glue {g} and {f} in a volume-preserving way once you glued them in some non-volume-preserving way: indeed, let {h_0} be a possibly non-volume preserving diffeomorphism gluing {f} and {g}; since the pullback equation for volume forms {\omega_0} and {\omega_1} translates into the Jacobian determinant PDE {\det D\varphi(x)= \theta(x)} where {\theta} is a density function (corresponding to {\omega_1/\omega_0}), by letting {\varphi_0} be a solution of the Jacobian determinant equation with {\theta(x)=\det(Dh_0(h_0^{-1}(x)))}, we can “correct” the “defect” of {h_0} to preserve volume by replacing {h_0} by the volume-preserving map {\varphi_0\circ h_0}.

Historically speaking, the Jacobian determinant equation (i.e., the pullback equation for volume forms) was discussed in details in this paper of B. Dacorogna and J. Moser (from 1990), and some of the results in this paper were recently used to perform “nice” perturbations/regularizations of volume-preserving dynamical systems (see, e.g., this paper here of A. Avila and the references therein).

An interesting technical point about the paper of B. Dacorogna and J. Moser is that they provide two results about the Jacobian determinant equation (stated below only for domains in {\mathbb{R}^n} for sake of simplicity of the exposition):

  • (a) given a positive density {\theta\in C^{k+\alpha}} (where {k\in\mathbb{N}} and {0<\alpha<1}) on the closure {\overline{\Omega}} of an open bounded smooth connected domain {\Omega\subset\mathbb{R}^n} with total mass {\int_{\Omega}\theta=1}, there exists a {C^{k+1+\alpha}} diffeomorphism {\varphi} such that {\det D\varphi=\theta} on {\Omega} and {\varphi(x)=x} on {\partial\Omega};
  • (b) given a positive density {\theta\in C^k} (where {k\in\mathbb{R}}, {k\geq 1}), on the closure {\overline{\Omega}} of an open bounded smooth connected domain {\Omega\subset\mathbb{R}^n} with total mass {\int_{\Omega}\theta=1}, there exists a {C^{k}} diffeomorphism {\varphi} such that {\det D\varphi=\theta} and {\varphi(x)=x}; furthermore, if {\textrm{supp}(\theta-1)\subset\Omega} (i.e., the density {\theta} equals {1} near the boundary {\partial \Omega}), then {\varphi} can be chosen so that {\textrm{supp}(\varphi-id)\subset\Omega} (i.e., {\varphi} is the identity diffeomorphism near {\partial\Omega}).

In a nutshell, the result in item (a) is proven in (Section 2 of) Dacorogna-Moser’s paper via global methods based on elliptic regularity of the Laplacian operator, while the result in item (b) is proven in (Section 3 of) Dacorogna-Moser’s paper via local methods based on reduction to ordinary differential equations (ODE’s).

As the attentive reader noticed, there is a tradeoff in the results in items (a) and (b): together, these results say that, if you want to prescribe a density while controlling the behavior of the diffeomorphism near the boundary {\partial\Omega}, then you can do it via item (b) at the cost that you will get no gain of regularity in the sense that the density and the diffeomorphism have the same regularity {C^k}; on the other hand, if you want a gain of regularity, then you can do it via item (a) at the cost of giving up on the control of the diffeomorphism near {\partial\Omega} (the best you can ensure is that the boundary is pointwise fixed but you don’t know that the diffeomorphism is the identity near {\partial\Omega}).

Remark 1 In some sense, the loss of control on the behavior of the diffeomorphism in item (a) is essentially due to the fact that Dacorogna and Moser construct their diffeomorphisms {\varphi} using the solutions of the elliptic PDE {\Delta a = \theta - 1} (with Neumann boundary condition say) because {\Delta = \textrm{div}\,\textrm{grad}} and {\textrm{div}(v) = \theta-1} is the linearized equation associated to the Jacobian determinant PDE. Indeed, since the solutions of {\Delta a = \theta - 1} are obtained by convolution of {\theta-1} and the Poisson kernel, the fact that {\theta-1=0} near {\partial\Omega} doesn’t imply that {a=0} near {\partial\Omega} (in other words, the convolution is a global operation and thus the local behavior of {\theta-1} is not sufficient to control the local behavior of {a}). In particular, given that the behavior of the diffeomorphisms {\varphi} of Dacorogna-Moser near {\partial\Omega} are driven by the behavior of {a} (or rather {\textrm{grad}(a)}) near {\partial\Omega}, we see that the gain regularity in item (a) above comes with the cost of loss of control of {\textrm{supp}(\varphi-id)}.

For the applications of Dacorogna-Moser’s theorems in Dynamical Systems so far (e.g., Avila’s theorem on the regularization of volume-preserving diffeomorphisms), the control of {\textrm{supp}(\varphi-id)} is more relevant than the gain of regularity and this explains why item (b) is more often used in dynamical contexts than item (a).

Given this scenario, it is natural to ask whether one can have the best from both worlds (or items), i.e., gain of regularity and control of support of diffeomorphisms with prescribed Jacobian determinant.

Of course, as it was pointed out by B. Dacorogna and J. Moser themselves in their 1990 paper (see item (iv) at page 14 of their article), one needs a new ingredient to attack this question. So, after stumbling upon the book of Csató, Dacorogna and Kneuss from 2012, I thought that there might be news on this question since the last time I have looked at it.

However, I saw some “bad” news by page 18-19 of Csató-Dacorogna-Kneuss book, where they say: “In Section 10.5 (cf. Theorem 10.11), we present a different approach proposed by Dacorogna and Moser [33] to solve our problem. This method is constructive and does not use the regularity of elliptic differential operators; in this sense, it is more elementary. The drawback is that it does not provide any gain of regularity, which is the strong point of the above theorem. However, the advantage is that it is much more flexible. For example, if we assume in (1.2) [a variant of Jacobian determinant equation] that

\displaystyle \textrm{supp}(f-g)\subset\Omega,

then we will be able to find {\phi} such that

\displaystyle \textrm{supp}(\phi-id)\subset\Omega.

This type of result, unreachable by the method of elliptic partial differential equations, will turn out to be crucial in Chapter 11.”

Nevertheless, the book of Csató-Dacorogna-Kneuss brought also some good news: there were some progress on the question of gain of regularity in Poincaré lemma, that is, the question of writing a given closed cohomologically trivial form as an exact form (i.e., the differential of another form). After reading about this advance on regularity in Poincaré lemma, I noticed that this is precisely what one needs to modify Dacorogna-Moser’s arguments in order to get gain of regularity and control of the support thanks to a “correction of support argument” that I first read in this paper of Avila here.

In summary, it is possible to gain regularity and control the support in the Jacobian determinant equation by combining the arguments of Dacorogna-Moser and the Poincaré lemma in Csató-Dacorogna-Kneuss book. Evidently, this result per se is not publication-quality (it is just a combination of important results by other authors), but I thought that it could be a nice idea to leave some trace of this fact in this blog in case someone needs this information in the future.

So, the main goal of today’s post is the existence of solutions of the Jacobian determinant equation whose support are controlled and with a gain of regularity.

For sake of simplicity of the exposition, we will simplify our setting by considering the following particular situation (appearing naturally in some dynamical applications of the Jacobian determinant equation): {\Omega=B_2(0)-B_{1/4}(0)} where {B_r(0)} denotes the open ball of radius {r} centered at the origin {0\in\mathbb{R}^n} and {\theta:\overline{\Omega}\rightarrow\mathbb{R}} is a positive (density) function of class {C^{k+\alpha}} for some {k\in\mathbb{N}} and {0<\alpha<1} such that {\theta\equiv 1} on the compact neighborhood {U=\overline{B_2(0)-B_1(0)}\cup \overline{B_{1/2}(0)-B_{1/4}(0)}} of {\partial\Omega}. In this context, we will show that:

Proposition 1 Given {0<\gamma<\alpha<1}, there exists a constant {C=C(\Omega, k, \alpha, \gamma)} such that, if {\int_{\Omega}\theta=1}, the Jacobian determinant equation

\displaystyle \det D\varphi(x)=\theta(x)

has a solution {\varphi\in\textrm{Diff}^{k+1+\alpha}(\overline{\Omega})} with {\varphi\equiv id} on {U} and {\|\varphi-id\|_{C^{k+1+\gamma}}\leq C \|\theta-1\|_{C^{k+\alpha}}}.

Remark 2 As we will see, even though Proposition 1 implies item (a), a theorem of Dacorogna-Moser, the proof of Proposition 1 uses the results of Dacorogna and Moser.

As we already mentioned, the proof of this proposition is a modification of the arguments of Dacorogna-Moser using the Poincaré lemma of Csató-Dacorogna-Kneuss. For this reason, we will divide this post into two sections: the next one serves to recall some preliminary results (mostly consisting of modifications of some results in Section 2 of Dacorogna-Moser’s paper) and in the short final section we will complete the proof of Proposition 1.

Read More…

Today I gave a talk at the Second Palis-Balzan conference on Dynamical Systems (held at Institut Henri Poincaré, Paris). In fact, I was not supposed to talk in this conference: as I’m serving as a local organizer (together with Sylvain Crovisier), I was planning to give to others the opportunity to speak. However, Jacob Palis insisted that everyone must talk (the local organizers included), and, since he is the main organizer of this conference, I could not refuse his invitation.

Anyhow, my talk concerned a joint work with Alex Wright (currently a PhD student at U. of Chicago under the supervision of Alex Eskin) about the finiteness of algebraically primitive closed {SL(2,\mathbb{R})}-orbits on moduli spaces (of Abelian differentials).

Below the fold, I will transcript my lecture notes for this talk.

Read More…

Posted by: matheuscmss | May 31, 2013

Dynamical degrees (after Blanc and Cantat)

About one week ago (May 23, 2013), I saw a very nice talk of Serge Cantat on Dynamical degrees at the seminar of the Topology and Dynamics team of Orsay.

Before entering on the details of Serge’s talk, let me mention that, generally speaking, this Topology and Dynamics seminar has a very interesting format: indeed, prior to the “main” talk, some local member makes an informal talk (where we are served with coffee and tea during the exposition…) to make the audience more comfortable with the topic of the main talk. An important feature of this format is that the main speaker is usually not allowed to see the informal talk, so that the main talk usually has some overlaps with the informal talk. Of course, this is a really nice feature since the audience is able to pose more questions after seeing the same idea for the second time (with different perspectives as they were presented by distinct persons).

In the case of Serge’s talk, the informal talk was delivered by Yves de Cornulier who introduced us to several aspects of the so-called Cremona group (the central object in Serge’s talk).

Below the fold, I will reproduce my notes from Serge’s talk around his joint work with Jérémy Blanc, while using from time to time my notes from Yves de Cornulier’s talk. As usual, any mistakes/typos in this post are my entire responsibility.

Read More…

« Newer Posts - Older Posts »

Categories

Follow

Get every new post delivered to your Inbox.

Join 105 other followers