In this post, I would like to discuss some of the ideas from my paper Semisimplicity and Rigidity of the Kontsevich-Zorich cocycle. It contains a number of somewhat disparate methods – Hodge theory, random walks and a bit of homogeneous and smooth dynamics. I will try to explain how these concepts interact and what the essential aspects are. Some familiarity with flat surfaces, as explained for example in the survey by Anton Zorich, will be assumed.
Below the fold I will discuss some of the analytic ideas from variations of Hodge structures. Then I’ll try to connect these to Teichmuller dynamics and explain how this leads to various semisimplicity results. For applications, I’ll discuss how this implies that measurable -invariant bundles have to be real-analytic. I’ll also mention how real multiplication on factors of the Jacobians arises.
— 1. Background in variations of Hodge structure —
The analytic aspects of variations of Hodge structure were first developed by Griffiths. An introduction I particularly enjoyed is in the collection of articles Topics in Transcendental Algebraic Geometry. The first few chapters, written by Griffiths, are particularly illuminating. Note that the curvature calculations there correct some of the signs from the book of Griffiths and Harris.
A very clear and detailed exposition of these results is also available in Schmid’s article Singularities of the Period Mapping.
Without going into all the details, I would like to discuss some of the ideas that enter the arguments. Consider some compact complex manifold .
Definition 1 A (polarized) variation of Hodge structure on , of weight , is the following data:
- A local system of free -modules (think of with monodromy)
- A flat bilinear form on which is -symmetric
- A decreasing filtration by holomorphic subbundles of the complexified local system
- The subbundles are required to satisfy . Denoting by the flat connection on induced from we must have for any vector field on that
The following observations appear in many proofs in the subject.
- Principle 1 On a compact complex manifold, a bounded subharmonic function has to be constant.
This is just the maximum principle. However, it extends to the case of quasi-projective varieties. Namely, one can take out proper complex-analytic subsets and bounded subharmonic functions still have to be constant. For Teichmuller dynamics, one cannot guarantee boundedness. But one has enough restriction on growth that a similar statement holds. I will discuss it in more detail below.
- Principle 2 If a holomorphic bundle has negative curvature, then the norm (and the log of the norm) of a holomorphic section is subharmonic.
This is a purely local statement. Combined with Principle 1, it implies there are no global holomorphic sections of bundles with negative curvature.
- Principle 3 Bundles that arise in variations of Hodge structure have unusual curvature properties.
This fact was discovered by Griffiths and has a lot of geometric consequences. While it
is not true that all bundles relevant to Hodge theory have negative curvature, they do have an alternating combination of positive and negative curvatures. Moreover, these pieces are so arranged that inductive arguments are possible.
One of the main consequences of Principle 3 is the Theorem of the Fixed Part.
Theorem 2 Suppose is a global flat section of a variation of Hodge structures over a compact complex manifold. Then each -component of is also flat.
An important aspect of this theorem is that it applies to variations of arbitrary weight.
Example 3 Suppose is a variation of Hodge structures and is some local subsystem. Suppose it has a complementary local system such that . Note that there are no assumptions on how or are related to the Hodge structure on . The conclusion is that must be itself a variation of Hodge structure. To prove it, consider the operator which is the projection to along . This is a global flat section of the variation of Hodge structure and the Theorem of the Fixed Part applies to it. Unraveling this gives the desired conclusion.
Remark 4 One of the difficulties in applying this result is finding the complement. In my paper, I need to refer to results of Avila, Eskin and Moller. This provides complements in the case of the Hodge bundle. To find complements in all tensor powers, one needs a certain statement about “algebraic hulls” of a cocycle. Section 2 of my paper proves the needed result.
— 2. Teichmuller dynamics —
One would like to apply the techniques described above to the variations of Hodge structure that arise on Teichmuller disks. Because this is no longer a compact complex manifold, Principle 1 as stated above does not apply.
However, one can use the -action and the finiteness of an invariant measure. Most points on an -orbit are in a compact part and this suffices to establish Principle 1 in this setting.
Example 5 Suppose given a positive function and assume
This doesn’t restrict too much, but if it is convex then we must have
Subharmonic functions are the complex analogue of convex functions. In section 4 of the paper, I prove an analogue of the above fact for functions subharmonic along a random walk.
The idea of the proof is an integration by parts argument. One proves that a subharmonic function either has to grow at a definite rate along the random walk, or it has to be constant. The proof is by contradiction – assuming that the function grows sublinearly one proves that it is constant.
Incidentally, the same type of integration by parts proves the formula for the sum of Lyapunov exponents due to Kontsevich and Forni.
— 3. Semisimplicity —
With the result on subharmonic functions available, one proves the Theorem of the Fixed Part in the setting of Teichmuller dynamics. Note that one has to ensure the sublinear growth of the functions considered. This follows because any global section of a cocycle has this growth bound (it has to be in the zero Lyapunov subspace).
To prove semisimplicity for the Kontsevich-Zorich cocycle, one follows a standard strategy. Some difficulties arise because several copies (i.e. isotypical components) of the same bundle might arise. One deals with them in analogy with the following.
Example 6 Suppose is some finite group and is some representation of on a vector space. Denote by the irreducible representations of . By general theory we know that we have an isomorphism
However, this is not canonical. The different copies of inside do not arise in a canonical manner. A better way to say this is that we have the canonical isomorphism
where are vector spaces of dimension . To describe the , note that they can be defined as the space of maps between -representations:
We have a natural map given by . The above decomposition behaves much better when the spaces have some extra information, such as a Hodge structure.
To deal with invariant subbundles of the Kontsevich-Zorich cocycle, one needs to use the same strategy as above. Then one recovers all the extra information that is available.
Remark 7 To deal with the linear algebra of Hodge structures, it is often convenient to introduce the Deligne torus . This is a real-algebraic group defined by
A Hodge structure on a real vector space is then just an algebraic representation . This is the same as a splitting of the complexification where acts by on . Because the representation is real, we necessarily have . Note also that the usual Hodge-star operator is just
In the Hodge theory literature, this is usually called the Weil operator and it makes sense for any Hodge structure.
The above abstraction might seem unnecessary, but it does simplify some arguments. For example, the following result due to Deligne is non-trivial to prove from basic principles.
Lemma 8 Suppose is an -vector space and assume has a Hodge structure compatible with the algebra structure. Then itself carries a natural Hodge structure inducing the one on .
Proof: Viewing a Hodge structure as a representation of , we have a map . Indeed, is the automorphism group of the algebra . But such a map always lifts to whence the Hodge structure on .
— 4. Rigidity —
Once the semisimplicity results are established, one can apply them to the measurable -dynamics. One consequence is that -invariant bundles which are apriori only measurable have to be in fact real-analytic.
This is used by Chaika and Eskin to show that Every flat surface is Birkhoff and Osceledets generic in almost every direction. In other words, the Oseledets Multiplicative Ergodic theorem holds on every, rather than almost every, flat surface in a.e. direction. Of course the key inputs for this result are the measure rigidity theorems of Eskin and Mirzkhani as well as the isolation and orbit closure results of Eskin, Mirzkhani and Mohammadi.
To prove that measurable -invariant bundles are real-analytic, one proceeds in two stages. First, using that invariant bundles are Hodge-orthogonal, one finds that on stable and unstable leaves these have to vary real-analytically.
To see this, recall that we have Lyapunov filtrations by order of growth in the future (resp. past) of the geodesic flow. These vary measurably in general, but on stable (resp. unstable) leaves these filtrations are flat.
Using Hodge-orthogonality of invariant bundles, one can inductively “locate” the invariant bundles as Hodge-orthogonal to the previous subbundles. The basis of the induction is provided by the “tautological” subbundle responsible for the -action, which is known to vary real-analytically.
The second stage of the argument is to prove that the bundles vary polynomially, not just real-analytically. This follows using a contraction-expansion argument which was probably first introduced by Kontsevich. He showed that any -invariant manifold has to be linear in period coordinates.
Once we know that invariant bundles vary polynomially on stable (resp. unstable) leaves, a short argument proves they must vary polynomially in all directions.
Example 9 I would like to sketch an argument that a -invariant manifold has to be affine in period coordinates. Assume also that it carries a Lebesgue-class -invariant measure which gives a probability measure on surfaces of area less than one. Viewing the manifold inside the stratum , consider the inclusion of tangent spaces . The geodesic flow on will have a symmetry in the Lyapunov spectrum (like in the case of a stratum). This follows from results of Forni and uses the -invariance. Looking at the Lyapunov decomposition of , we see that we must have where the stable and unstable spaces have to come from the corresponding pieces in the stratum. This implies that the intersection of with the stable and unstable foliations on is what one would expect of an affine manifold. With some more work, the above can be made into an argument. This is done, for instance, in this paper of Avila and Gouezel.
— 5. Real Multiplication —
Martin Moller has shown that Teichmuller curves parametrize curves whose Jacobians have (a factor with) real multiplication by a totally real number field. This essentially says that the Hodge structures that appear have a non-trivial splitting. Moreover the factors of the splitting are parametrized by embeddings of a totally real number field. This allows one to define an action of the number field by scaling which is Galois-equivariant.
Let us see the simplest instance of a Hodge structure with real multiplication.
Example 10 Consider the quadratic field where is some fixed positive (square-free) integer. Viewing as an abstract field, it has two real embeddings into . Namely . Consider now two Hodge structures and described as follows. The spaces are spanned by vectors , namely . We also have given by
where have positive imaginary part. We can now let and have act in this decomposition by , i.e. as . Let us now describe a -structure on for which the action of is by integral matrices. Take the basis defined by
Then we have
Note that we can also put a symplectic structure such that the action respects it.
The above example generalizes to any totally real number field. The theorem then is that on an affine invariant manifold, a similar decomposition occurs for some factor of the cohomology of the Riemann surfaces. Moreover, the -form giving the flat structure has to be in one of these “eigenspaces”.
The proof has two ingredients. First, a theorem of Alex Wright proved in this paper implies that at the level of local systems, a desired decomposition is available. Second, using the semisimplicity one finds that this decomposition must respect the Hodge structures. This gives the claim about real multiplication.