Posted by: matheuscmss | September 2, 2010

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

Hello! Today I plan to start a series of posts about the Ergodic Theory of Teichmüller geodesic flow (as I promised to do in some previous post related to this topic). In fact, my two strongest motivations to begin this project are: firstly, my joint papers with Jean-Christophe Yoccoz, and Giovanni Forni and Anton Zorich more or less reached their final forms (i.e., the article with J.-C. Yoccoz will appear on Journal of Modern Dynamics in a near future and the article with G. Forni and A. Zorich is available on ArXiv), and secondly, my friend and PhD advisor Marcelo Viana invited me to give three talks on the results of these papers (by the way, Marcelo was recently elected vice-president of IMU, so that I take the opportunity to congratulate him!).

For this initial post, we’ll review most of the background material on the Teichmüller and moduli spaces, Teichmüller metric, the cotangent bundle of Teichmüller space and its relation to quadratic differentials, and the particularly important case of Riemann surfaces of genus 1 (elliptic curves).

1. Quick review of basic elements of Teichmüller theory

The long-term goal of these posts is the study of the so-called Teichmüller geodesic flow and its noble cousin Kontsevich-Zorich cocycle. As any respectable geodesic flow, Teichmüller flow acts naturally in a certain unit cotangent bundle. More precisely, the phase space of the Teichmüller geodesic flow is the unit cotangent bundle of the moduli space of Riemann surfaces.

Before passing to more advanced discussions, today we’ll briefly recall some basic results of Teichmüller theory leading to the conclusion that the unit cotangent bundle of the moduli space of Riemann surfaces (i.e., the phase space of the Teichmüller flow) is naturally identified to the moduli space of quadratic differentials. As we’ll see later in this text, the relevance of this identification resides in the fact that it makes apparent the existence of a natural {SL(2,\mathbb{R})} action on the moduli space of quadratic differentials such that the Teichmüller flow corresponds to the action of the diagonal subgroup {g_t:=\left(\begin{array}{cc}e^t & 0 \\ 0 &  e^{-t}\end{array}\right)} of {SL(2,\mathbb{R})}. In any event, the basic references for this post are J. Hubbard’s book and A. Zorich’s survey.

1.1. Deformation of Riemann surfaces: moduli and Teichmüller spaces of curves

Let us consider two Riemann surface structures {S_0} and {S_1} on a fixed (topological) compact surface of genus {g\geq 1}. If {S_0} and {S_1} are not biholomorphic (i.e., they are “distinct”), there is no way to produce a conformal map (i.e., holomorphic map with non-vanishing derivative) {f:S_0\rightarrow S_1}. However, we can try to produce maps {f:S_0\rightarrow S_1} which are as “nearly conformal” as possible. To do so, we need a reasonable way to “measure” the amount of “non-conformality” of {f}. A fairly standard procedure is the following one. Given a point {x\in S_0} and some local coordinates around {x} and {f(x)}, we write the derivative {Df(x)} of {f} at {x} as {Df(x)u=\frac{\partial f}{\partial  z}(x)u+\frac{\partial f}{\partial  \overline{z}}(x)\overline{u}}, so that {Df(x)} sends infinitesimal circles into infinitesimal ellipses of eccentricity

\displaystyle  \frac{\left|\frac{\partial f}{\partial z}(x)\right|+\left|\frac{\partial  f}{\partial \overline{z}}(x)\right|}{\left|\frac{\partial f}{\partial  z}(x)\right|-\left|\frac{\partial f}{\partial\overline{z}}(x)\right|} =  \frac{1+k(f,x)}{1-k(f,x)}:=K(f,x),

where {k(f,x):=\frac{\left|\frac{\partial  f}{\partial\overline{z}}(x)\right|}{\left|\frac{\partial f}{\partial  z}(x)\right|}}. We say that {K(f,x)} is the eccentricity coefficient of {f} at {x}, while

\displaystyle K(f):=\sup\limits_{x\in S_0}K(f,x)

is the eccentricity coefficient of {f}. Note that, by definition, {K(f)\geq 1} and {f} is a conformal map if and only if {K(f)=1} (or equivalently {k(f,x)=0} for every {x\in S_0}). Hence, {K(f)} accomplishes the task of measuring the amount of non-conformality of {f}. We call {f:S_0\rightarrow S_1} quasiconformal whenever {K=K(f)<\infty}. The figure below (extracted from this sample of chapter 4 of J. Hubbard’s book) illustrates clearly the local geometry of quasiconformal mappings.

Local geometry of a quasiconformal mapping

In the next subsection, we’ll see that quasiconformal maps are useful to compare distinct Riemann structures on a given topological compact surface {S}. In a more advanced language, we consider the moduli space {\mathcal{M}(S)} of Riemann surface structures on {S} modulo conformal maps and the Teichmüller space {\mathcal{T}(S)} of Riemann surface structures on {S} modulo conformal maps isotopic to the identity. It follows that {\mathcal{M}(S)} is the quotient of {\mathcal{T}(S)} by the so-called modular group (or mapping class group) {\Gamma(S):=\Gamma_g:=\textrm{Diff}^+(S)/\textrm{Diff}_0^+(S)} of isotopy classes of diffeomorphisms of {S} (here {\textrm{Diff}^+(S)} is the set of orientation-preserving diffeomorphisms and {\textrm{Diff}_0^+(S)} is the set of orientation-preserving diffeomorphisms isotopic to the identity). Therefore, the problem of studying deformations of Riemann surface structures corresponds to the study of the nature of the moduli space {\mathcal{M}(S)} (and the Teichmüller space {\mathcal{T}(S)}).

1.2. Beltrami differentials and Teichmüller metric

Let’s come back to the definition of {K(f)} in order to investigate the nature of the quantities {k(f,x):=  \frac{\left|\frac{\partial  f}{\partial\overline{z}}(x)\right|}{\left|\frac{\partial f}{\partial  z}(x)\right|}}. Since we are dealing with Riemann surfaces (and we used local charts to perform calculations), {k(f,x)} doesn’t provide a globally defined function on {S_0}. Instead, by looking at how {k(f,x)} transforms under changes of coordinates, one can check that the quantities {k(f,x)} can be collected to globally define a tensor {\mu(x)} (of type {(-1,1)}) via the formula:

\displaystyle \mu(x)=\frac{\frac{\partial f}{\partial\overline{z}}(x)  d\overline{z}}{\frac{\partial f}{\partial z}(x)dz}.

In the literature, {\mu(x)} is called a Beltrami differential. Note that {\|\mu\|_{L^{\infty}}<1} when {f} is an orientation-preserving quasiconformal map. The intimate relationship between quasiconformal maps and Beltrami differentials is revealed by the following profound theorem of L. Ahlfors and L. Bers:

Theorem 1 (Measurable Riemann mapping theorem) Let {U\subset\mathbb{C}} be an open subset and consider {\mu\in L^{\infty}(U)} verifying {\|\mu\|_{L^{\infty}}<1}. Then, there exists a quasiconformal mapping {f:U\rightarrow\mathbb{C}} such that the Beltrami equation \displaystyle \frac{\partial f}{\partial \overline{z}} = \mu \frac{\partial f}{\partial z} is satisfied in the sense of distributions. Furthermore, {f} is unique modulo composition with conformal maps: if {g} is another solution of Beltrami equation above, then there exists an injective conformal map {\phi:  f(U)\rightarrow\mathbb{C}} such that {g=\phi\circ  f}.

A direct consequence of this striking result to the deformation of Riemann surface structures is the following proposition (whose proof is left as an exercise to the reader):

Proposition 2 Let {X} be a Riemann surface and {\mu} a Beltrami differential on {X}. Given an atlas {\phi_i:U_i\rightarrow\mathbb{C}} of {X}, denote by {\mu_i} the function on {V_i:=\phi_i(U_i)\subset\mathbb{C}} defined by \displaystyle \mu|_{U_i}=\phi_i^*\left(\mu_i\frac{d\overline{z}}{dz}\right).

Then, there is a family of mappings {\psi_i(\mu):V_i\rightarrow\mathbb{C}} solving the Beltrami equations \displaystyle  \frac{\partial \psi_i(\mu)}{\partial \overline{z}} = \mu_i  \frac{\partial \psi_i(\mu)}{\partial z}

such that {\psi_i(\mu)} are homeomorphisms from {V_i} to {\psi_i(\mu)(V_i)}. Moreover, {\psi_i\circ\phi_i:U_i\rightarrow\mathbb{C}} form an atlas giving a well-defined Riemann surface structure {X_\mu} in the sense that it is independent of the initial choice of the atlas {\phi_i:U_i\rightarrow\mathbb{C}} and the choice of {\phi_i} verifying the corresponding Beltrami equations.

In other words, the measurable Riemann mapping theorem of Alhfors and Bers implies that one can use Beltrami differentials to naturally deform Riemann surfaces through quasiconformal mappings. Of course, we can ask to what extend this is a general phenomena: namely, given two Riemann surface structures {S_0} and {S_1}, can we relate them by quasiconformal mappings? The answer to this question is provided by the remarkable theorem of O. Teichmüller:

Theorem 3 (O. Teichmüller) Given two compact Riemann surfaces {S_0} and {S_1} of genus {g\geq 1}, there exists a quasiconformal mapping {f:S_0\rightarrow  S_1} minimizing the eccentricity coefficient {K(g)} among all quasiconformal maps {g:S_0\rightarrow S_1}. Furthermore, whenever a quasiconformal map {f:S_0\rightarrow S_1} minimizes the eccentricity coefficient, we have that the eccentricity coefficient of {f} at any point {x\in  S_0} is constant, i.e.,\displaystyle K(f,x)=K(f)

except for a finite number of points {x_1,\dots,x_n\in  S_0}. Also, quasiconformal mappings minimizing the eccentricity coefficient are unique modulo (pre and post) composition with conformal maps.

In the literature, any such minimizing quasiconformal map is called an extremal map. Using the extremal quasiconformal mappings, we can naturally introduce a distance between two Riemann surface structures {S_0} and {S_1} by

\displaystyle d(S_0,S_1)=\frac{1}{2}\ln K(f)

where {f:S_0\rightarrow S_1} is an extremal map. The metric {d} is called Teichmüller metric. The major concern of these notes is the study of the geodesic flow associated to Teichmüller metric on the moduli space of Riemann surfaces. As we advanced in the introduction, it is quite convenient to regard a geodesic flow living on the cotangent bundle of the underlying space. The discussion of the cotangent bundle of {\mathcal{T}(S)} is the subject of the next subsection.

1.3. Quadratic differentials and the cotangent bundle of the moduli space of curves

The results of the previous subsection show that the Teichmüller space is modeled by the space of Beltrami differentials. Recall that Beltrami differentials are measurable tensors {\mu} of type {(-1,1)} such that {\|\mu\|_{L^{\infty}}<1}. It follows that the tangent bundle to {\mathcal{T}(S)} is modeled by the space of measurable and essentially bounded ({L^{\infty}}) tensors of type {(-1,1)} (because Beltrami differentials form the unit ball of this Banach space). Hence, the cotangent bundle to {\mathcal{T}(S)} can be identified with the space {\mathcal{Q}(S)} of integrable quadratic differentials on {S}, i.e., the space of (integrable) tensors {q} of type {(2,0)} (that is, {q} is written as {q(z)dz^2} in a local coordinate {z}). In fact, we can determine the cotangent bundle once one can find an object (a tensor of some type) such that the pairing

\displaystyle \langle\mu,q\rangle=\int_S q\mu

is well-defined; when {\mu} is a tensor of type {(-1,1)} and {q} is a tensor of type {(2,0)}, we can write {q\mu = q(z)  \mu(z) dz^2 \frac{d\overline{z}}{dz} = q(z)\mu(z)dz\, d\overline{z} =  q(z)\mu(z) |dz|^2} in local coordinates, i.e., we obtain a tensor of type {(1,1)}, that is, an area form. Therefore, since {\mu} is essentially bounded, we see that the requirement that this pairing makes sense is equivalent to ask that the tensor {q} of type {(2,0)} is integrable.

Next, let’s see how the geodesic flow associated to the Teichmüller metric looks like after the identification of the cotangent bundle of {\mathcal{T}(S)} with the space {\mathcal{Q}(S)} of integrable quadratic differentials. Firstly, we need to investigate more closely the geometry of extremal quasiconformal maps between two Riemann surface structures. To do so, we recall another notable theorem of O. Teichmüller:

Theorem 4 (O. Teichmüller) Given an extremal map {f:S_0\rightarrow S_1}, there is an atlas {\phi_i} on {S_0} compatible with the underlying complex structure such that

  • the changes of coordinates are all of the form {z\mapsto \pm z+c}, {c\in\mathbb{C}} outside the neighborhoods of a finite number of points,
  • the horizontal (resp., vertical) foliation {\{\Im \phi_i = 0\}} (resp., {\{\Re\phi_i=0\}}) is tangent to the major (resp.minor) axis of the infinitesimal ellipses obtained as the images of infinitesimal circles under the derivative {Df}, and
  • in terms of these coordinates, {f} expands the horizontal direction by the constant factor of {\sqrt{K}} and {f} contracts the vertical direction by the constant factor of {1/\sqrt{K}}.

The figure below (extracted from A. Zorich’s survey quoted above) shows concretely the action of an extremal map:

Action of an extremal map in appropriate "flat" coordinates

An atlas {\phi_i} satisfying the property of the first item of Teichmüller theorem above is called a half-translation structure. In this language, Teichmüller’s theorem says that extremal maps {f:S_0\rightarrow S_1} (i.e., deformations of Riemann surface structures) can be easily understood in terms of half-translation structures: it suffices to expand (resp., contract) the corresponding horizontal (resp., vertical) foliation on {S_0} by a constant factor equal to {e^{d(S_0,S_1)}} in order to get a horizontal (resp., vertical) foliation of a half-translation structure compatible with the Riemann surface structure of {S_1}. This provides a simple way to describe the Teichmüller geodesic flow in terms of half-translation structures. Thus, it remains to relate half-translation structures with quadratic differentials to get a pleasant formulation of this geodesic flow. While we could do this job right now, we’ll postpone this discussion to the third section of these notes for two reasons:

  • Teichmüller geodesic flow is naturally embedded into a {SL(2,\mathbb{R})}-action (as a consequence of this relationship between half-translation structures and quadratic differentials), so that it is preferable to give a unified treatment of this fact later;
  • for pedagogical motivations, once we know that quadratic differentials is the correct object to study, it seems more reasonable to introduce the fine structures of the space {\mathcal{Q}(S)} before the dynamics on this space (than the other way around).

In particular, we’ll proceed as follows: for the remainder of this subsection, we’ll briefly sketch the bijective correspondence between half-translation structures and quadratic differentials; after that, we make some remarks on the Teichmüller metric (and other metric structures on {\mathcal{Q}(S)}) and we pass to the next subsection where we work out the particular (but important) case of genus 1 surfaces; then, in the spirit of the two items above, we devote the second section to the fine structures of {\mathcal{Q}(S)} and the third section to the dynamics on {\mathcal{Q}(S)}.

Given a half-translation structure {\phi_i:U_i\rightarrow\mathbb{C}} on a Riemann surface {S}, one can easily construct a quadratic differential {q} on {S} by pulling back the quadratic differential {dz^2} on {\mathbb{C}} through {\phi_i}: indeed, this procedure leads to a well-defined global quadratic differential on {S} because we are assuming that the changes of coordinates (outside the neighborhoods of finitely many points) have the form {z\mapsto \pm z +  c}. Conversely, given a quadratic differential {q} on a Riemann surface {S}, we take an atlas {\phi_i:U_i\rightarrow\mathbb{C}} such that {q|_{U_i}=\phi_i^*(dz^2)} outside the neighborhoods of finitely many singularities of {q}. Note that the fact that {q} is obtained by pulling back the quadratic differential {dz^2} on {\mathbb{C}} means that the associated changes of coordinates {z\mapsto  z'} send the quadratic differential {dz^2} to {(dz')^2}. Thus, our changes of coordinates outside the neighborhoods of the singularities of {q} have the form {z\mapsto z'=\pm  z+c}, i.e., {\phi_i} is a half-translation structure.

Remark 1 Generally speaking, a quadratic differential on a Riemann surface is either orientable or non-orientable. More precisely, given a quadratic differential {q}, consider the underlying half-translation structure {\phi_i} and define two foliations by {\{\Im\phi_i=c\}} and {\{\Re\phi_i=c\}} (these are called the horizontal and vertical foliations associated to {q}). We say that {q} is orientable if these foliations are orientable and {q} is non-orientable otherwise. Alternatively, we say that {q} is orientable if the changes of coordinates of the underlying half-translation structure {\phi_i} outside the singularities of {q} have the form {z\mapsto z+c}. Equivalently, {q} is orientable if it is the global square of a holomorphic {1}-form, i.e., {q=\omega^2}, where {\omega} is a holomorphic {1}-form, that is, an Abelian differential. For the sake of simplicity of the exposition, from now on, we’ll deal exclusively with orientable quadratic differentials {q}, or, more precisely, we’ll restrict our attention to Abelian differentials. The reason to doing so is two-fold: firstly, most of our computations below become more easy and clear in the orientable setting, and secondly, usually (but not always) some results about Abelian differentials can be extended to the non-orientable setting by a double cover construction, that is, one consider a (canonical) double cover of the initial Riemann surface equipped with a non-orientable quadratic differential {q} such that a global square of the lift of {q} is well-defined. In the sequel, we denote the space of Abelian differentials on a compact surface {S} of genus {g} by {\mathcal{H}(S)} or {\mathcal{H}_g}.

We close this subsection with the following comments.

Remark 2 The Teichmüller metric is induced by the family of norms on the cotangent bundle {\mathcal{Q}(S)} of Teichmüller space {\mathcal{T}(S)} given by the {L^1} norm of quadratic differentials (see Theorem 6.6.5 of J. Hubbard’s book). However, this family of norms doesn’t depend smoothly on the base point in general, so that it doesn’t originate from a Riemannian metric. In fact, this family of norms defines only a Finsler metric, i.e., it is a family of norms depending continuously on the base point.

Remark 3 The Teichmüller space {\mathcal{T}(S)} of a compact surface {S} of genus {g\geq 2} is a nice complex-analytic manifold of complex dimension {3g-3} and it is homeomorphic to the unit open ball of {\mathbb{C}^{3g-3}}, while the moduli space {\mathcal{M}(S)} is an orbifold in general. In fact, we are going to face this phenomenon in the next subsection (when we review the particular important case of genus 1 curves).

Remark 4 Another important metric on Teichmüller spaces whose geometrical and dynamical properties are the subject of several recent works is the so-called Weil-Petersson metric. It is the metric coming from the Hermitian inner product {\langle q_1,q_2\rangle_{WP}:=\int_S \frac{\overline{q_1}  q_2}{\rho_S^2}} on {\mathcal{Q}(S)}, where {\rho_S} is the hyperbolic metric of the Riemann surface {S} and {\rho_S^2} is the associated area form. A profound result says that Weil-Petersson metric is a Kähler metric, i.e., the {2}-form {\Im\langle\rangle_{Wp}} given by the imaginary part of the Weil-Petersson metric is closed. Furthermore, a beautiful theorem of S. Wolpert says that this {2}-form admits a simple expression in terms of the Fenchel-Nielsen coordinates on Teichmüller space. Other important facts about the Weil-Petersson geodesic flow (i.e., the geodesic flow associated to {\langle  .,.\rangle_{WP}}) are:

  • it is a negatively curved incomplete metric with unbounded sectional curvatures (i.e., the sectional curvatures can approach {0} and/or {-\infty} in general), so that the Weil-Petersson geodesic flow is a natural example of singular hyperbolic dynamics;
  • S. Wolpert showed that this geodesic flow is defined for all times on a set of full measure of {\mathcal{Q}(S)};
  • J. Brock, H. Masur and Y. Minsky showed that this geodesic flow is transitive, its set of periodic orbits is dense and it has infinite topological entropy;
  • based on important previous works of S. Wolpert and C. McMullen, K. Burns, H. Masur and A. Wilkinson proved that this geodesic flow is ergodic with respect to Weil-Petersson volume form.

We refer to the excellent introduction of the paper (and references therein) of K. Burns, H. Masur and A. Wilkinson for a nice account on the Weil-Petersson metric. Ending this remark, we note that the basic difference between the Teichmüller metric and the Weil-Petersson metric is the following: as we already indicated, the Teichmüller metric is related to flat (half-translation) structures, while the Weil-Petersson metric can be better understood in terms of hyperbolic structures.

1.4. An example: Teichmüller and moduli spaces of elliptic curves (torii)

The goal of this subsection is the illustration of the role of the several objects introduced previously in the concrete case of genus 1 surfaces (elliptic curves). Indeed, we’ll see that, in this particular case, one can do “everything” by hand.

We begin by recalling that an elliptic curve, i.e., a Riemann surface of genus 1, is uniformized by the complex plane. In other words, any elliptic curve is biholomorphic to a quotient {\mathbb{C}/\Lambda} where {\Lambda\subset\mathbb{C}} is a lattice. Given a lattice {\Lambda\subset\mathbb{C}} generated by two elements {w_1} and {w_2}, that is, {\Lambda=\mathbb{Z}w_1\oplus\mathbb{Z}w_2}, we see that the multiplication by {1/w_1} or {1/w_2} provides a biholomorphism isotopic to the identity between {\mathbb{C}/\Lambda} and {\mathbb{C}/\Lambda(w)}, where {\Lambda(w):=\mathbb{Z}\oplus\mathbb{Z}w} is the lattice generated by {1} and {w\in\mathbb{H}\subset\mathbb{C}} (the upper-half plane of the complex plane). In fact, {w=w_2/w_1} or {w=w_1/w_2} here. Next, we observe that any biholomorphism {f} between {\mathbb{C}/\Lambda(w')} and {\mathbb{C}/\Lambda(w)} can be lifted to an automorphism {F} of the complex plane {\mathbb{C}}. This implies that {F} has the form {F(z)=Az+B} for some {A,B\in\mathbb{C}}. On the other hand, since {F} is a lift of {f}, we can find {\alpha,\beta,\gamma,\delta\in\mathbb{Z}} such that

F(z+1)-F(z) = \delta+\gamma w, \, \, \, \, \, \, F(z+w')-F(z) = \beta+\alpha w

Expanding these equations using the fact that {F(z)=az+b}, we get

\displaystyle w'=\frac{\alpha w+\beta}{\gamma w+\delta}

Also, since we’re dealing with invertible objects ({f} and {F}), it is not hard to check that {\alpha\delta-\beta\gamma=1} (because it is an integer number whose inverse is also an integer). In other words, recalling that {SL(2,\mathbb{R})} acts on {\mathbb{H}} via

\displaystyle \left(\begin{array}{cc} a & b \\ c &  d\end{array}\right)\in SL(2,\mathbb{R}) \longleftrightarrow  z\mapsto\frac{az+b}{cz+d},

we see that the torii {\mathbb{C}/\Lambda(w)} and {\mathbb{C}/\Lambda(w')} are biholomorphic if and only if {w'\in SL(2,\mathbb{Z})\cdot w}.

In resume, it follows that the Teichmüller space {\mathcal{T}_1} of elliptic curves is naturally identified with the upper-half plane {\mathbb{H}} and the moduli space {\mathcal{M}_1} of elliptic curves is naturally identified with {\mathbb{H}/SL(2,\mathbb{Z})}. Furthermore, it is possible to show that, under this identification, the Teichmüller metric on {\mathcal{T}_1} corresponds to the hyperbolic metric (of constant curvature {-1}) on {\mathbb{H}}, so that the Teichmüller geodesic flow on {\mathcal{T}_1} and {\mathcal{M}_1} are the geodesic flows of the hyperbolic metric on {\mathbb{H}} and {\mathbb{H}/SL(2,\mathbb{Z})}. In order to better understand the moduli space {\mathcal{M}_1}, we’ll make the geometry of the quotient {\mathbb{H}/SL(2,\mathbb{Z})} (called modular curve in the literature) more clear by presenting a fundamental domain of the {SL(2,\mathbb{Z})}-action on {\mathbb{H}}. It is a classical result (see Proposition 3.9.14 of J. Hubbard’s book) that the region {F_0:=\{z\in\mathbb{H}: -1/2\leq \Re z\leq 1/2 \textrm{ and } |z|\geq  1\}} is a fundamental domain of this action in the sense that every {SL(2,\mathbb{Z})}-orbit intersects {F_0}, but it can intersect the interior {\textrm{int}(F_0)} of {F_0} at most once. In the specific case at hand, {SL(2,\mathbb{Z})} acts on the boundary {\partial  F_0} of {F_0} is {\partial  F_0=\{|z|\geq 1 \textrm{ and } \Re z=\pm 1/2\}\cup \{|z|=1 \textrm{ and }  |\Re z|\leq 1/2\}} by sending

  • {\{|z|\geq 1 \textrm{ and } \Re  z=-1/2\}} to {\{|z|\geq 1 \textrm{ and } \Re  z=1/2\}} through the translation {z\mapsto  z+1} or equivalently the parabolic matrix {\left(\begin{array}{cc}1 & 1 \\ 0 &  1\end{array}\right)}, and
  • {\{-1/2\leq  \Re z\leq 0 \textrm{ and } |z|=1\}} to {\{0\leq  \Re z\leq 1/2 \textrm{ and } |z|=1\}} through the “inversion” {z\mapsto -1/z} or equivalently the elliptic (rotation) matrix {\left(\begin{array}{cc} 0 & -1 \\  1 & 0\end{array}\right)}.

The picture below (extracted from Wikipedia’s article on the modular group) gives a concrete description of this fundamental domain:

This explicit description of the genus 1 case allows to clarify the role of the several objects introduced above. From the dynamical point of view, it is more interesting to consider the Teichmüller flow on moduli spaces than Teichmüller spaces: indeed, the Teichmüller flow on Teichmüller space is somewhat boring (for instance, it is not recurrent), while it is very interesting on moduli space (for instance, in the genus 1 case [i.e., the geodesic flow on the modular curve], it exhibits all nice features [recurrence, exponential mixing, …] of hyperbolic systems [these properties are usually derived from the connection with continued fractions]). However, from the point of nice analytic structures, Teichmüller spaces are better than moduli spaces because Teichmüller spaces are complex-analytic manifolds while moduli spaces are orbifolds: in general, the mapping class group doesn’t act properly discontinuously on Teichmüller space because some Riemann surfaces are “more symmetric” (i.e., they have larger automorphisms group) than others. In fact, we already saw this in the case of genus 1: the modular curve {\mathbb{H}/SL(2,\mathbb{Z})} isn’t smooth near the points {w=i} and {w=e^{\pi  i/3}} because the (square and hexagonal) torii corresponding to these points have larger automorphisms groups when compared with a typical torus {\mathbb{C}/\Lambda(w)}.

See the picture below extracted from A. Zorich’s survey:

Moduli space of elliptic curves

In any case, it is natural to consider both spaces from the topological point of view because Teichmüller spaces are simply connected so that they are the universal covers of moduli spaces. Finally, closing this post, we note that our discusssion above also shows that, in the genus 1 case, the mapping class group {\Gamma_1} is {SL(2,\mathbb{Z})}. That’s all for today folks! See you!


  1. O seu blog eh muito legal.

    Uma sugestao:
    A figura 5 do seu paper com o Yoccoz está meio borrada. Se puder, use o Xfig para fazer essas figuras. Fica lindo ! 🙂


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.


%d bloggers like this: