These days I gave two talks (the first one on Tuesday, December 13, entitled Some examples of cocycles with wild central Oseledets bundle during the conference Recent advances in modern dynamics held at the University of Warwick, and the second one on Wednesday, December 21, entitled Neutral Oseledets bundles of the Kontsevich-Zorich cocycle during the Christmas workshop of Karlsruhe University) around some results (from joint works with G. Forni and A. Zorich, and A. Avila and J.-C. Yoccoz) on the neutral Oseledets bundles of the Kontsevich-Zorich cocycle partly announced in this previous post here. Below the fold, the reader will find an expanded version of my lecture notes.
Acknowledgments. I would like to thank the organizers of the two conferences above (in particular, Corinna Ulcigrai and Gabriela Schmithüsen) for the invitation to deliver the talks at the origin of these notes.
-Some cyclic covers of the Riemann sphere -
We consider the family of curves (in the moduli space) described by the following algebraic equation
where are mutually distinct points of the Riemann sphere . The natural projection , , is a (ramified) covering and the reader can use the Riemann-Hurwitz formula to check that is a family of genus 10 curves.
The group of deck transformations of is naturally isomorphic to the cyclic group and it is generated by where . In other words, is a family of cyclic covers of the Riemann sphere. In particular, we can form the real, resp. complex Hodge bundle , resp. over the family whose fiber over a point is its first cohomology group, and we can decompose these bundles into a direct sum of eigenspaces of the action of in the first cohomology group of . For instance, in the case of the complex Hodge bundle, we observe that (because ), so that the eigenvalues of belong to the set of th roots of unity. Moreover, since the action of preserves the natural Hodge filtration (into holomorphic and anti-holomorphic 1-forms), we can write
where and are the eigenspaces associated to the eigenvalue of the action of on and , and is the eigenspace associated to the eigenvalue of the action of on the complex Hodge bundle .
We observe that the eigenspace associated to the eigenvalue is trivial: indeed, any non-trivial cohomology class in this eigenspace would project under into a non-trivial cohomology class of the Riemann sphere (whose first cohomology group is trivial).
Moreover, the reader can verify that the following list is a basis of holomorphic 1-forms of :
In particular, we see that for every . Furthermore, since is complex conjugate to , we conclude that , so that the dimensions of all pieces of the above decomposition of the complex Hodge bundle are determined.
This kind of discussion (of certain cyclic covers of ) was recently performed by C. McMullen (in this article here) in connection with a natural monodromy representation of braid groups in this context. For instance, let us fix an initial configuration of points and let us consider a continuous closed path of configurations of six points such that for each , are mutually distinct and (side remark: this last condition means that we find at time the same configuration we had at time as a set; of course, we could require that the configuration is the same as an ordered set; evidently, this alternative has its own interest as it leads to the pure braid group, but we will not consider it here). Informally, such a closed path corresponds to (continuously) move around an initial configuration of six points in a certain way and, after a while, we come back to the initial configuration. By definition, the braid group of configurations of six points is the group of isotopy classes of closed paths as above. Of course, any element of the braid group define a way of deforming complex structures in the moduli space via the map , and, again by definition, the variation of Hodge structures along such paths induces (with the aid of the so-called Gauss-Manin connection) a monodromy representation
of the braid group .
It is not hard to check that the action of commutes with the monodromy representation , so that the eigenspaces of can be used to diagonalize by blocks . In order to analyze the restrictions of on each of these eigenspaces, it is convenient to introduce the “intersection” form
for . In the literature, this Hermitian form is known as Hodge form. It is a Hermitian form with signature as its restriction to is positive-definite, while its restriction to is negative-definite. As a matter of fact, the Hodge form is preserved by Gauss-Manin connection, so that acts on by automorphisms preserving the Hodge form .
Now, we consider the restriction of to an eigenspace . Since , and , we see that acts on by automorphisms preserving the restriction of the Hodge form to it, that is, an Hermitian form of signature . In other words, we have that
where is the group of matrices preserving a Hermitian form of signature .
Of course, the representations and are complex conjugated, so we only need to understand them when and .
For , we have that acts by matrices, that is, acts by isometries (with respect to the positive definite Hermitian form of signature obtained by the restriction of the Hodge form to ). Moreover, the facts that and is “purely topological” (in the sense that it is defined as the eigenspace of the cohomological action of the automorphism ) imply that is a fixed part (rigid factor) of the Jacobian of . The definition of a fixed part is a complex torus (of positive dimension) such that there exists an isogeny , where is a family of curves and is independent of . In the case of , we can informally say that generates a rigid factor on the Jacobian of because the fact that a 1-form inside is holomorphic is independent on the Riemann surface structure (as and is independent of Riemann surface structures since it is “purely topological”).
For the other values of (i.e., and ), we do not have actions by isometries (nor rigid factors), but C. McMullen computed the image of monodromy representations (in particular ) by relating them to Artin systems, complex reflections (and sometimes to Burau representations). As a consequence of his computations, he was able to show that the action of on is irreducible for every .
Partly motivated by this, G. Forni, A. Zorich and I (see Appendix B of this preprint here) decided to “insert some dynamics” into C. McMullen’s discussion by attaching an Abelian differential to each Riemann surface in such a way that the resulting object in the moduli space of Abelian differentials is invariant under the natural action of on such moduli spaces (see this post here for a brief account on the natural -action on the moduli space of Abelian differentials).
More precisely, we attach to the Abelian differential . By checking at the ramification points (notice that there is no ramification at ), one see that has a zero of order over and zeroes of order over the five points . We encode this information by saying that (see this post here for an “explanation” of this notation). Observe that, by Riemann-Hurwitz formula, , i.e., (a fact that we already knew). In this way, we have that defines a locus of (the moduli space of genus 10 Abelian differentials with a zero of order and five double zeroes).
We claim that is invariant under the natural -action on . This can be proved by the following argument. By definition, is -anti-invariant, so that is -invariant, and hence can be projected into Riemann sphere . By direct verification, one sees that
that is, projects (under ) into a quadratic differential with a single zero of order (simple zero) and five poles of order (simple poles), i.e., . Now, by definitions, the natural -action on commutes with the covering map (as acts by post-composition with appropriate charts while the covering has to do with pre-compositionwith charts). By combining this with the fact that is -invariant (since this action don’t change the order of zeroes), we conclude that is also -invariant.
Remark 1 Just to “count dimensions”: has dimension because we need parameters to determine the complex structure of (as we can always normalize of them to be ), and parameter to determine the Abelian differential, and has dimension as well (by using period coordinates, see this post here).
Observe that we have an intermediate covering , , where
One has is an Abelian differential with a double zero over and no zeroes otherwise, i.e., . By the same argument above, defines a -invariant locus of dimension of . Since has dimension (again by using period coordinates, see this post here), we get that the locus is exactly . In other words, is a copy of (i.e., it is isomorphicto) inside the moduli space of Abelian differentials of genus 10.
Just to get a “feeling” of what the action on looks like, we notice the following facts. It is not hard to check that the flat structure associated to is described by the following octagon (whose opposite parallel sides are identified):
Here, the vertices of this octagon are all identified to a single point corresponding to . Moreover, since are Weierstrass points of , one can organize the picture in such a way that the four points are located exactly at the middle points of the sides, and is located at the “symmetry center” of the octagon. See the picture above for an indication of the relative positions of (marked by a black dot) and (marked by crosses). In this way, we obtain a concrete description of where the action is reasonably easy to understand: given and denoting by the Abelian differential associated to the planar figure above, we define to be the Abelian differential associated to the object obtained by letting the matrix act on the planar figure above.
Moreover, since the locus is defined by Abelian differentials given by certain triple (ramified) covers of the Abelian differentials , one can check that the flat structure associated to are described by the following picture:
Here, we glue the half-sides determined by the vertices (black dots) and the crosses of these five pentagons in a cyclic way, so that every time we positively cross the side of a pentagon indexed by , we move to the corresponding side on the pentagon indexed (mod ). For instance, in the figure above we illustrated the effect of going around the singularity point over .
In this language, the Teichmüller geodesic flow is the action of the diagonal subgroup of . From now on, we will restrict our attention to the unit area Abelian differentials inside our loci , and . It is not hard to check that the -action preserves the total area of Abelian differentials, and moreover, by the results of H. Masur and W. Veech, the action of the Teichmüller flow is ergodic in the subset of unit area elements of , (and, a fortiori, ) with respect to a natural (“Lebesgue-like”) -invariant probability (sometimes called Masur-Veech measure). Please see this post here for more information on this.
Remark 2 In fact, the works of K. Calta and C. McMullen allow to classify all -invariant probabilities supported on (somehow in the spirit of Ratner’s theorem). In principle, most of the discussion below could be extended to all of these probability measures, but, for sake of simplicity, we will stick to the Masur-Veech measure in the sequel.
In view of the ergodicity of the Teichmüller flow, we can play the following game: starting with a “typical” (i.e., for -a.e. ), we can run the Teichmüller flow for a very long time until we come back very close to ; by completing the trajectory segment with a small path connecting to , we get a closed path ; then, we can look at the monodromy matrix on the (real and/or complex) Hodge bundle associated to all (homotopy classes of) paths obtained in this way. In the literature, this “monodromy representation over the Teichmüller flow” is known as the Kontsevich-Zorich (KZ) cocycle . For an introduction to the Kontsevich-Zorich cocycle the reader may consult this post here. Actually, we can think of the Kontsevich-Zorich cocycle as a part of the monodromy representation of the -action on the Hodge bundle (through parallel transport with respect to Gauss-Manin connection).
The main goal of today’s post is the study of the Lyapunov spectrum (that is, the collection of Lyapunov exponents) of the Kontsevich-Zorich cocycle on the Hodge bundle over as a prototypical example of the conjectural general behavior of KZ cocycle on the Hodge bundle of the support of any -invariant probability supported in any stratum of moduli space of Abelian differentials. Before proceeding, let me just do some propaganda on why one should care about Lyapunov exponents of KZ cocycle. A first reason (coming from Dynamics) is the fact that these exponents can be shown to govern deviations of Birkhoff sums (ergodic averages) of interval exchange transformations, translation flows and billiards on rational polygons essentially because the Teichmüller flow and KZ cocycle act as “renormalization dynamics” for these (zero entropy) systems. A second reason (coming from Statistical Mechanics) is the fact that these exponents were recently shown to govern the rates of diffusion on Ehrenfest “wind-tree” model of Lorenz gases. A third reason (coming from Algebraic Geometry) is the fact that the sum of Lyapunov exponents can be related to “orbifold degrees” of the determinant bundle of the Hodge bundle (by some formulas derived by M. Kontsevich, G. Forni, I. Bouw and M. Möller, and, more recently, A. Eskin, M. Kontsevich and A. Zorich). The reader is encouraged to consult A. Zorich’s survey, these posts here, and these articles here as some references for these three motivations for the study of Lyapunov exponents of KZ cocycle.
Remark 3 In fact, during the discussion below, we will consider exclusively the non-negative Lyapunov exponents of KZ cocycle: indeed, it is known that the Lyapunov spectrum of KZ cocycle is symmetric with respect to the origin (i.e., whenever is a Lyapunov exponent then is also a Lyapunov exponent) due to a certain “symplecticity” (see this post here for more details).
We begin with the remark that , and hence KZ cocycle, acts by monodromy (with respect to Gauss-Manin connection) on the Hodge bundle over . Therefore, the decomposition of in terms of eigenspaces of and the Hodge form are preserved by them. In particular, the restriction of to acts by matrices inside the group .
As a consequence, for and , acts on by isometries, and hence the Lyapunov exponents are all zero (as they measure exponential rates of growth). A nice information coming out of this is the continuity (and actually real-analyticity) of this part of the neutral Oseledets bundle (associated to the vectors with zero Lyapunov exponents): indeed, as we just saw, for or , one has , and, in general, depends continuously (actually analytically) on the base point . The reader should notice that this continuity of the neutral Oseledets bundle is somehow a “precious” information (since, in general, Oseledets theorem ensures only its measurability).
Remark 4 For some known examples (such as square-tiled cyclic covers, a family of cyclic covers of branched at points giving rise to interesting square-tiled surfaces, see these articles here for more information on them), it is possible to show continuity (and analyticity) of the neutral Osedelets bundle along the following lines. The variation of the Hodge form along cohomology classes is driven by the second fundamental form (Kodaira-Spencer map) of the Gauss-Manin connection on the Hodge bundle in the sense that we can write down variational formulas of the form
Thus, if the annihilator of is Teichmüller flow invariant, it is a natural candidate for the neutral Oseledets bundle . Furthermore, it is not hard to check that depends continuously (actually analytically) on the base point. Hence, the continuity (and analyticity) of follows whenever the equality is true. Actually, in the case of square-tiled cyclic covers, G. Forni, A. Zorich and I were capable (in Appendix A of this paper here) of verifying that the Teichmüller flow invariance of and the equality . Of course, this may lead one to conjecture that this maybe always true, but, as we are going to see below, this is not quite the case. :)
On the other hand, for , we have that is isomorphic to (as a -module) through the natural injective map . In particular, has the same exponents as the Kontsevich-Zorich cocycle on the Hodge bundle over . By the results of M. Bainbridge, in this particular (genus 2) situation, the (non-negative) Lyapunov exponents are and .
At this stage, it remains “only” to understand the (non-negative) Lyapunov exponents of the restriction of to for and . Actually, since is conjugated to , it suffices to discuss one of these cases, say . Here, we have the information that has monodromy . We claim that this is sufficient to conclude that has vanishing exponents at least. Indeed, this is a direct consequence of the following more general proposition about cocycles:
Proposition 1 Suppose that is a cocycle, i.e., a linear cocycle on a (measurable) complex vector bundle over an ergodic flow (with respect to a probability ) on the base of preserving a (measurable) family of Hermitian forms of signature . Assume that is a -integrable cocycle (with respect to some measurable family of norms on the fibers of ), so that the conditions of Oseledets theorem are met. Then, has vanishing exponents at least.
Remark 5 I’m sure that this proposition was known to experts in random products of matrices (such as A. Raugi and Y. Guivarch, and I. Goldscheid and G. Margulis) because its proof is completely elementary (as we’re going to see). However, I was unable to locate a precise reference where this appears for the first time.
The proof of this proposition has two ingredients. The first one is the fact that the stable and unstable Oseledets spaces (associated to negative and positive Lyapunov exponents of resp.) are “exiled” to the light-cone (null cone) of the Hermitian form :
Lemma 2 One has .
Proof: Take . On one hand, for every because the Hermitian form is preserved by (by hypothesis). On the other hand, the fact that implies that the norm of decays (exponentially fast) to zero as .
At this point, one is tempted to say that the exponential decay of implies as , so that one would have , that is, . But we should be a little bit careful (as we’re dealing with measurable families of Hermitian forms and norms). The formal argument goes as follows. Since our vector bundle is finite-dimensional, we can “compare” the (measurable) family of Hermitian form with the (measurable) family of norms in the sense that a Cauchy-Schwarz inequality is true up to a multiplicative factor maybe depending (measurably) on the base point , i.e., . By Luzin’s theorem, these comparisons can be made uniform on large compact sets (of almost full -measure), so that, by the ergodicity of the flow , we may assume is uniformly controlled by the norms of for a sequence of times going to infinity. In any event, the conclusion is that implies , and this completes the proof of the lemma.
The second ingredient is the following simple linear algebra lemma:
Lemma 3 Let be a complex vector subspace contained in the light-cone of a Hermitian form of signature . Then, .
Proof: We can always choose our coordinates so that . Without loss of generality, suppose that . Reasoning by contradiction, let’s assume that . Then, one could find linearly independent vectors . Using these vectors, we can define vectors () by temporarily “forgetting” the last coordinates of . Now, we consider a non-trivial linear combination of equal to :
where . It follows that the vector has its first coordinates equal to zero, i.e., On the other hand, since , one has , so that . In other words, we found a vanishing non-trivial linear combination of the linearly independent vectors , a contradiction.
Putting these two ingredients (lemmas) together, we find that . Since the total dimension of the fibers of is , we find that the neutral Oseledets bundle has dimension , so that the proof of Proposition 1 is complete.
Going back to our concrete example, we have that the restriction of to has 2 vanishing exponents (due to the monodromy ).
Actually, it is possible to show that the remaining two Lyapunov exponents are non-zero, and, by using a formula for the sum of Lyapunov exponents due to A. Eskin, M. Kontsevich and A. Zorich, and by computing the so-called Siegel-Veech constant of , one can determine their explicit value: and . The details of this computation will appear in a forthcoming article by G. Forni, A. Zorich and myself.
In any event, given the discussion in Remark 4 above, one can ask whether coincides with the annihilator of the second fundamental form of Gauss-Manin connection restricted to , and/or whether is continuous. In the forthcoming article by G. Forni, A. Zorich and myself (alluded to in the previous paragraph), we show that doesn’t coincide with the annihilator of , but this still leaves open the possibility that is continuous.
Remark 6 During an exposition at Rennes (in January 2011), Y. Guivarch asked whether still acts isometrically on (now that one can’t use variational formulas involving to deduce this property) or whether one has genuine subexponential growth in this subbundle. As it turns out, acts isometrically on by the following argument: one has that is outside the light-cone because the stable and unstable Oseledets subspaces have dimension (and corresponding exponents ), and so, if were non-trivial, we would get a subspace of dimension at least inside the light-cone of an Hermitian form of signature , a contradiction with the lemma above. In other words, the light-cone is a geometric mechanism of production of neutral Oseledets subbundles with isometric behavior genuinely different from the also geometric method of using the annihilator of the second fundamental form of Gauss-Manin connection of the Hodge bundle.
Heuristically, one strategy to “prove” that is not very smooth goes as follows: as it is indicated in this previous post here, the Lyapunov exponents of the Teichmüller flow can be deduced from the ones of the KZ cocycle by shifting them by ; in this way, it is possible to check that the smallest non-negative Lyapunov exponent of the Teichmüller flow is ; therefore, the generic points tend to be separated by Teichmüller flow by after time ; on the other hand, the largest Lyapunov exponent on the fiber is , so that the angle between the neutral Oseledets bundle over two generic points grows by after time ; hence, in general, one can’t expect the neutral Oseledets bundle to be better than Hölder continuous.
Of course, there are several details missing in this heuristic, and currently I don’t know how to render it into a formal argument. However, in a recent work still in progress, A. Avila, J.-C. Yoccoz and I prove (among other things) that is not continuous at all (and hence only measurable by Oseledets theorem). The next section contains a brief sketch of this proof of the non-continuity of .
-Coding of the Kontsevich-Zorich cocycle over -
The Teichmüller flow and the Kontsevich-Zorich cocycle over (connected components of) strata can be efficiently coded by means of the so-called Rauzy-Veech induction. Roughly speaking, given a (connected component of a) stratrum of Abelian differentials of genus , the Rauzy-Veech induction associates the following objects: a finite oriented graph , a finite collection of simplices (“Rauzy-Veech boxes”) and a finite number of copies of a Euclidean space over each vertex of , and, for each arrow of , a (expanding) projective map between (parts of) the simplices over the vertices connected by this arrow, and a matrix between the copies of over the vertices connected by this arrow. (I strongly recommend J.-C. Yoccoz’s survey for more details on the Rauzy-Veech induction).
In this language, the simplices (Rauzy-Veech boxes) over the vertices of this graph represent admissible paramaters determining translations surfaces (Abelian differentials on Riemann surfaces ) in , the (expanding) projective map between (parts of) the simplices (associated to vertices connected by a given arrow) correspond to the action of the Teichmüller flow on the parameter space (after running this flow for an adequate amount of time), and the matrices (attached to the arrows) on are the action of the Kontsevich-Zorich cocycle on the first cohomology group .
Among the main properties of the Rauzy-Veech induction, we can highlight the fact that it permits to “simulate” almost every (with respect to Masur-Veech measure) orbit of Teichmüller flow on on in the sense that these trajectories correspond to (certain) infinite paths on the graph . In order words, the Rauzy-Veech induction allows to code the Teichmüller flow as a subshift of a Markov shift on countably many symbols (as one can use loops on based on an arbitrarily fixed vertex as basic symbols / letters of the alphabet of our Markov subshift). Moreover, the KZ cocycle over these trajectories of Teichmüller flow can be computed by simply multiplying the matrices attached to the arrows one sees while following the corresponding infinite path on . Equivalently, we can think the KZ cocycle as a monoid of (countably many) matrices (as we can only multiply the matrices precisely when our oriented arrows can be concatened, but in principle we don’t dispose of the inverses of our matrices because we don’t have the right to “revert” the orientation of the arrows).
In the particular case of , the associated graph is depicted below:
Now, we observe that was defined by taking certain triple covers of Abelian differentials of , so that it is also possible to code the Teichmüller flow and KZ cocycle on by the same graph and the same simplices over its vertices, but by changing the matrices attached to the arrows: in the case of , these matrices acted on , but in the case of they act on and they contain the matrices of the case of as a block.
At this stage, one can prove non-continuity of as follows.
Firstly, one computes the restriction of KZ cocycle (or rather the matrices of the monoid) to on certain “elementary” loops and one checks that they have finite order. In particular, every time we can get the inverses of the matrices associated to these elementary loops by simply repeating these loops an appropriate number of times (namely, the order of the matrix minus 1). On the other hand, since these elementary loops are set up so that any infinite path (coding a Teichmüller flow orbit) is a concatenation of elementary loops, one conclude that the action (on ) of our monoid of matrices is through a group! In particular, given any loop (not necessarily an elementary one), we can find another loop such that the matrix attached to (i.e., the matrix obtained by multiplying the matrices attached to the arrows forming “in the order they show up” with respect to their natural orientation of ) is exactly the inverse of the matrix attached to .
Secondly, by computing with a pair of “sufficiently random” loops and , it is not hard to see that we can choose such that their attached matrices and have distinct and/or transverse central eigenspaces and (associated to eigenvalues of modulus ).
In this way, the periodic orbits (pseudo-Anosov orbits) of the Teichmüller flow coded by the infinite paths and obtained by infinite concatenation of the loops and have distinct and/or transverse neutral Oseldets bundle, but this is no contradiction to continuity since the base points of these periodic orbits are not very close. However, we can use and to produce a contradiction as follows. Let a large integer. Since our monoid acts by a group, we can find a loop such that the matrix attached to it is . It follows that the matrix attached to the loop is , i.e., . Therefore, the infinite paths and produce periodic orbits whose neutral Oseledets bundle still are and (and hence, distinct and/or transverse), but this time their basepoints are arbitrarily close (as ) because the first “symbols” (loops) of the paths coding them are equal (to ).
Remark 7 Actually, this argument is part of more general considerations (in the forthcoming paper by A. Avila, J.-C. Yoccoz and myself) on certain cyclic covers obtained by taking copies of a regular polygon with sides, and cyclically gluing the sides of these polygons in such a way that their middle points become ramification points: indeed, corresponds to the case and of this construction.
Remark 8 It is interesting to notice that the real version of Kontsevich-Zorich cocycle over on is a irreducible symplectic cocycle with non-continuous neutral Oseledets bundle. In principle, this irreducibility at the real level makes it difficult to see the presence of zero exponents, so that the passage to its complex version (where we can decompose it as a sum of two complex conjugated monodromy representations by matrices in and ) reveals a “hidden truth” not immediately detectable from the real point of view (thus confirming the famous quotation of J. Hadamard: “the shortest route between two truths in the real domain passes through the complex domain”). I believe this example has some independent interest because, to the best of my knowledge, most examples of symplectic cocycles and/or diffeomorphisms exhibiting some zero Lyapunov exponents usually have smooth neutral Oseldets bundle due to some sort of “invariance principle” (see this article of A. Avila and M. Viana for some illustrations of this).
Closing today’s post, we state in the next (final) section two “optimistic guesses” (part of a forthcoming paper by G. Forni, A. Zorich and myself) on the features of the KZ cocycle over the support of general -invariant probabilities. Notice that we call these “optimistic guesses” instead of “conjectures” because we think they’re shared (to some extent) by others working with Lyapunov exponents of KZ cocycle (and so it would be unfair to state them as “our” conjectures).
-Two optimistic guesses-
Optimistic Guess 1. Let be a -invariant probability in some connected component of a stratrum of Abelian differentials and denote by its support. Then, there exists a finite (ramified) cover such that (the lift of) the Hodge bundle over can be decomposed into a direct sum of continuous
where , are distinct -irreducible representations admiting Hodge filtrations , such that , , , are complex vector spaces (taking into account the multiplicities of the irreducible factors , ), and is the tautological bundle , , , . Moreover, this decomposition is unique and it can’t be further refined after passing to any further finite cover.
Remark 9 When is the (unique) -invariant probability supported on a Teichmüller cover (i.e., a closed -orbit), the Optimistic Guess 1 is a consequence of Deligne’s semisimplicity theorem.
Optimistic Guess 2. In the setting of Optimistic Guess 1, denote by
Then, the Lyapunov spectrum of the KZ cocycle on is simple, i.e.,
and the Lyapunov spectrum of the KZ cocycle on is “as simple as possible”, i.e.,
Remark 10 This “guess” is based on the general philosophy (supported by works as the ones of A. Raugi and Y. Guivarch, and I. Goldscheid and G. Margulis) that, after reducing our cocycle to irreducible pieces, if the cocycle restricted to such a piece is “sufficiently generic” inside a certain Lie group of matrices , then the Lyapunov spectrum on this piece should look like the “Lyapunov spectrum” (i.e., collection of the logarithms of the norms of eigenvalues) of the “generic” matrix of . For instance, since a generic matrix inside the group has spectrum
where , the above guess essentially claims that, once one reduces the KZ cocycle to irreducible pieces, its Lyapunov spectrum on each piece must be as generic as possible.
Remark 11 Notice that the previous guess doesn’t make any attempt to compare Lyapunov exponents within distinct irreducible factors: indeed, in general non-isomorphic representations may lead to the same exponent by “pure chance” (as it happens in the case of certain genus Abelian differentials associated to the “wind-tree model”).