Posted by: matheuscmss | August 14, 2013

Some examples of isotropic SL(2,R)-invariant subbundles of the Hodge bundle

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).

1. Preliminaries

For the sake of convenience of the reader, we reproduce below Section 2 of our note with Gabi where some key facts about translation surfaces are recalled. Of course, this section is far from being an appropriate introduction to this subject and the reader might want to consult A. Zorich’s survey, and/or these posts here for a gentle expositions on the moduli spaces of Abelian differentials. Also, the reader may find useful to consult the introduction of our article with J.-C. Yoccoz for further comments on the relationship between the Kontsevich-Zorich cocycle and the action on homology of affine diffeomorphisms of translation surfaces.

A translation surface is the data {(M,\omega)} of a non-trivial Abelian differential {\omega} on a Riemann surface {M}. This nomenclature comes from the fact that the local primitives of {\omega} outside the set {\Sigma} of its zeroes provides an atlas on {M-\Sigma} whose changes of coordinates are all translations of the plane {\mathbb{R}^2}. In the literature, these charts are called translation charts and an atlas formed by translation charts is called translation atlas or translation (surface) structure. For later use, we define the area {a(M,\omega)} of {(M,\omega)} as {a(M,\omega):=(i/2)\int_M\omega\wedge\overline{\omega}}.

The Teichmüller space {\widehat{\mathcal{H}_g}} of unit area Abelian differentials of genus {g\geq 1} is the set of unit area translation surfaces {(M,\omega)} of genus {g\geq 1} modulo the natural action of the group {\textrm{Diff}_0^+(M)} of orientation-preserving homeomorphisms of {M} isotopic to the identity. The moduli space {\mathcal{H}_g} of unit area Abelian differentials of genus {g\geq 1} is the set of unit area translation surfaces {(M,\omega)} of genus {g\geq 1} modulo the natural action of the group {\textrm{Diff}^+(M)} of orientation-preserving homeomorphisms of {M}. In particular, {\mathcal{H}_g=\widehat{\mathcal{H}_g}/\Gamma_g} where {\Gamma_g:=\textrm{Diff}^+(M)/\textrm{Diff}_0^+(M)} is the mapping class group (of isotopy classes of orientation-preserving homeomorphisms of {M}).

The point of view of translation structures is useful because it makes clear that {SL(2,\mathbb{R})} acts on the set of Abelian differentials {(M,\omega)}: indeed, given {h\in SL(2,\mathbb{R})}, we define {h\cdot(M,\omega)} as the translation surface whose translation charts are given by post-composing the translation charts of {(M,\omega)} with {h}. This action of {SL(2,\mathbb{R})} descends to {\widehat{\mathcal{H}_g}} and {\mathcal{H}_g}. The action of the diagonal subgroup {g_t:=\textrm{diag}(e^t, e^{-t})} of {SL(2,\mathbb{R})} is the so-called Teichmüller (geodesic) flow.

Remark 1 By collecting together unit area Abelian differentials with orders of zeroes prescribed by a list {\kappa=(k_1,\dots,k_s)} of positive integers with {\sum k_n=2g-2}, we obtain a subset {\mathcal{H}(\kappa)} of {\mathcal{H}_g} called stratum in the literature. From the definition of the {SL(2,\mathbb{R})}-action on {\mathcal{H}_g}, it is not hard to check that the strata {\mathcal{H}(\kappa)} are {SL(2,\mathbb{R})}-invariant.

The Hodge bundle {H_g^1} over {\mathcal{H}_g} is the quotient of the trivial bundle {\widehat{\mathcal{H}_g}\times H_1(M,\mathbb{R})} by the natural action of the mapping-class group {\Gamma_g} on both factors. In this language, the Kontsevich-Zorich cocycle {G_t^{KZ}} is the quotient of the trivial cocycle {\widehat{G_t^{KZ}}:\widehat{\mathcal{H}_g}\times H_1(M,\mathbb{R})\rightarrow \widehat{\mathcal{H}_g}\times H_1(M,\mathbb{R})}

\displaystyle \widehat{G_t^{KZ}}(\omega,[c])=(g_t(\omega),[c])

by the mapping-class group {\Gamma_g}. In the sequel, we will call {G_t^{KZ}} as KZ cocycle for short.

For our current purposes, let us restrict ourselves to the class of translation surfaces {(M,\omega)} covering the square flat torus {\mathbb{T}^2=\mathbb{R}^2/\mathbb{Z}^2} equipped with the Abelian differential induced by {dz} on {\mathbb{C}=\mathbb{R}^2}. In the literature, these translation surfaces {(M,\omega)} are called square-tiled surfaces or origamis because {(M,\omega)} is tiled by the (open) squares given by the pre-image of the open unit square {(0,1)^2\subset\mathbb{T}^2}. In particular, by labeling these open squares {1,\dots, n}, we see that a square-tiled surface {(M,\omega)} determines a pair of permutations {h,v\in S_n} coding the successive appearances of squares along the horizontal and vertical directions, and vice-versa.

The stabilizer {SL(M,\omega)} — also known as Veech group — of a square-tiled surface {(M,\omega)\in\mathcal{H}_g} with respect to the action of {SL(2,\mathbb{R})} is commensurable to {SL(2,\mathbb{Z})}, and its {SL(2,\mathbb{R})}-orbit is a closed subset of {\mathcal{H}_g} isomorphic to the unit cotangent bundle {SL(2,\mathbb{R})/SL(M,\omega)} of the hyperbolic surface {\mathbb{H}/SL(M,\omega)}.

The Veech group {SL(M,\omega)} consists of the “derivatives” (linear parts) of all affine diffeomorphisms of {(M,\omega)}, that is, the orientation-preserving homeomorphisms of {M} fixing the set {\Sigma} of zeroes of {\omega} whose local expressions in the translation charts of {(M,\omega)} are affine maps of plane. The group of affine diffeomorphisms of {(M,\omega)} is denoted by {\textrm{Aff}(M,\omega)} and it is possible to show that {\textrm{Aff}(M,\omega)} is precisely the subgroup of elements of {\Gamma_g} stabilizing {SL(2,\mathbb{R})\cdot (M,\omega)} in {\mathcal{H}_g}. The Veech group and the affine diffeomorphisms group are part of the following exact sequence

\displaystyle \{id\}\rightarrow \textrm{Aut}(M,\omega)\rightarrow \textrm{Aff}(M,\omega)\rightarrow SL(M,\omega)\rightarrow\{id\}

where, by definition, {\textrm{Aut}(M,\omega)} is the subgroup of automorphisms of {(M,\omega)}, i.e., the subgroup of elements of {\textrm{Aff}(M,\omega)} whose linear part is trivial (i.e., identity).

In this language, the KZ cocycle on the Hodge bundle over the {SL(2,\mathbb{R})}-orbit of {(M,\omega)} is intimately related to the action on homology of {\textrm{Aff}(M,\omega)}. Indeed, since {\textrm{Aff}(M,\omega)\subset \Gamma_g} is the stabilizer of {SL(2,\mathbb{R})\cdot (M,\omega)} in {\mathcal{H}_g=\widehat{\mathcal{H}_g}/\Gamma_g}, we have that the KZ cocycle is the quotient of the trivial cocycle

\displaystyle g_t\times id: \widehat{\mathcal{H}_g}\times H_1(M,\mathbb{R})\rightarrow \widehat{\mathcal{H}_g}\times H_1(M,\mathbb{R})

by {\textrm{Aff}(M,\omega)}.

For later use, we observe that, given a square-tiled surface {p:(M,\omega)\rightarrow(\mathbb{T}^2,dz)} (where {p} is a finite cover ramified precisely over {0\in\mathbb{T}^2}), the KZ cocycle, or equivalently {\textrm{Aff}(M,\omega)}, preserves the decomposition

\displaystyle H_1(M,\mathbb{R})=H_1^{st}\oplus H_1^{(0)}(M,\mathbb{R}),

where {H_1^{st}:=(p_*)^{-1}(H_1(\mathbb{T}^2,\mathbb{R}))} and {H_1^{(0)}(M,\mathbb{R}):=\textrm{Ker}(p_*)}.

Closing this preliminary section, we recall that, given a finite ramified covering {X_1\rightarrow X_2} of Riemann surfaces, the ramification data of a point {p\in X_2} is the list of ramification indices of all pre-images of {p} counted with multiplicities.

2. Forni’s subbundle

Before trying to construct examples of isotropic {SL(2,\mathbb{R})}-invariant subbundles of the Hodge bundle, we need to have a clue where they can possibly be found. Here, we are in good shape because, by Theorem A.6 and A.4 in Appendix A of Eskin-Mirzakhani’s paper, we have:

Theorem 1 Let {L} be an isotropic {SL(2,\mathbb{R})}-invariant subbundle of the Hodge bundle. Then, all Lyapunov exponents of the restriction of the Kontsevich-Zorich cocycle to {L} vanish and, furthermore, the Kontsevich-Zorich cocycle acts isometrically on {L} with respect to an adequate (Hodge) norm.

In other words, this theorem says that all isotropic {SL(2,\mathbb{R})}-invariant subbundles of the Hodge bundle must live inside the maximal {SL(2,\mathbb{R})}-invariant subbundle {F} where the Kontsevich-Zorich cocycle acts isometrically. In the literature, the subbundle {F} is called Forni’s subbundle and some of its properties were studied in these two articles here.

In particular, it is worth to look first at examples where Forni’s subbundle is not trivial before searching for isotropic {SL(2,\mathbb{R})}-invariant subbundles. As it turns out, such examples are known: the Eierlegende Wollmichsau origami, the Ornithorynque origami and, more generally, certain square-tiled cyclic covers are some examples where the Forni subbundle is not trivial.

However, by a closer inspection of these examples, one can check that, even though Forni’s subbundle is not trivial in these examples, there are no isotropic {SL(2,\mathbb{R})}-invariant subbundles simply because there are no proper {SL(2,\mathbb{R})}-invariant subbundles (inside Forni’s subbundle of these examples) at all! For instance, the fact that this happens for the Eierlegende Wollmilchsau and Ornithorynque was shown in this article here.

In other words, despite the non-triviality of Forni’s subbundle in these examples, the fact that Forni’s subbundle is {SL(2,\mathbb{R})}irreducible makes that we don’t have a chance to find isotropic {SL(2,\mathbb{R})}-invariant subbundles for the Eierlegende Wollmilchsau (say).

3. Isotropic {SL(2,\mathbb{R})}-invariant subbundles

We just saw that the Eierlegende Wollmichsau {(M_{EW}, \omega_{EW})} and some other square-tiled cyclic covers are not the examples we are looking because the Kontsevich-Zorich cocycle acts irreducibly on their (non-trivial) Forni subbundles. On the other hand, the results in this article here indicate that these examples are not very far from being the desired ones. Indeed, it is shown in this article that the Kontsevich-Zorich cocycle acts on the Forni subbundle of the Eierlegende Wollmilchsau via a finite group (computed explicitly in the paper). In particular, by taking adequate finite covers of {(M_{EW}, \omega_{EW})}, the Kontsevich-Zorich cocycle will act trivially on the corresponding piece of Forni subbundle and thus one can eventually get rid the irreducibility issue.

This idea is the key tool in our note with Gabi and, as it turns out, it is sufficiently simple so that one can even construct explicit examples with isotropic {SL(2,\mathbb{R})}-invariant subbundles of the Hodge bundle.

More precisely, we start with the Eierlegende Wollmilchsau {(M_{EW}, \omega_{EW})}. The Forni subbundle {F_{EW}} in this case is a {4}-dimensional symplectic subbundle of the Hodge bundle over the {SL(2,\mathbb{R})} orbit of {(M_{EW}, \omega_{EW})} and the elements of the affine group (or equivalently the Kontsevich-Zorich cocycle) with linear part (derivative) in the congruence subgroup

\displaystyle \Gamma(4)=\left\{\left(\begin{array}{cc}a&b\\c&d\end{array}\right)\in SL(2,\mathbb{Z}) : a\equiv d\equiv 1 \, (\textrm{mod } 4), \, b\equiv c\equiv 0 \, (\textrm{mod } 4) \right\}

and fixing the zeroes of {\omega_{EW}} act trivially on {F_{EW}}. See, e.g., our article with J.-C. Yoccoz for a proof of these facts.

Therefore, if we can construct a finite cover {\pi:(X,\omega)\rightarrow(M_{EW},\omega_{EW})} such that all affine diffeomorphisms {f} of {(X,\omega)} “descend” to an affine diffeomorphisms {g} of {(M_{EW},\omega_{EW})} (in the sense that {\pi\circ f=g\circ\pi}) with linear part in {\Gamma(4)} and fixing the zeroes of {\omega_{EW}}, then {(X,\omega)} is our desired example. Indeed, in this setting, it follows that the action of any affine diffeomorphism of {(X,\omega)} on the {4}-dimensional subbundle {F_X=\pi^{-1}(F_{EW})} occurs through the action on {F} of some affine diffeomorphism {g} of {(M_{EW},\omega_{EW})} with linear part in {\Gamma(4)}. On the other hand, as we mentioned above, the action of any such {g} is trivial. So, we deduce that the action of any affine diffeomorphism {f} of {(X,\omega)} on the {4}-dimensional subbundle {F} is trivial. In particular, any line ({1}-dimensional subspace) of {F} defines an isotropic subbundle invariant under the whole affine group, i.e., any line of {F} induces an isotropic {SL(2,\mathbb{R})}-invariant subbundle.

Finally, it remains only to know what are some conditions so that a finite cover {\pi:(X,\omega)\rightarrow(M_{EW},\omega_{EW})} has the property that all affine diffeomorphisms “descend” to affine diffeomorphisms with derivative in {\Gamma(4)} fixing the zeroes of {\omega_{EW}}. Intuitively, {(X,\omega)} is composed of several copies of {(M,\omega)} glued in some way. Thus, what could go “wrong” when trying to “descend” an affine diffeomorphism {f} is that the equation {\pi\circ f=g\circ \pi} might not define a meaningful object because {f} mixes up the several copies of {(M_{EW},\omega_{EW})} in some strange way. In order to avoid this problem, the idea is to construct {\pi} so that the ramification data over certain special points are different: this makes that these points are geometrically different from each other and so they can’t be mixed together by affine diffeomorphisms; in particular, these points prevent the copies of {(M_{EW},\omega_{EW})} containing them to mix up in strange ways. More concretely, in Proposition 2 of our note with Gabi, we show that it suffices prescribe different ramification data for the covering {(X,\omega)\rightarrow(M_{EW},\omega_{EW})\rightarrow\mathbb{R}^2/\mathbb{Z}^2} over some {4}-torsion. By doing so in a somewhat “minimalist” way (such as in Lemma 3.1 of our note with Gabi), one ends up with the following concrete example of square-tiled surface of genus 15 and 512 squares with isotropic {SL(2,\mathbb{R})}-invariant subbundles:

MS-isotropic-X


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: