
We prove that squaretiled surfaces having fixed combinatorics of horizontal
cylinder decomposition and tiled with smaller and smaller squares become
asymptotically equidistributed in any ambient linear $GL(\mathbb R)$invariant
suborbifold defined over $\mathbb Q$ in the moduli space of Abelian
differentials. Moreover, we prove that the combinatorics of the horizontal and
of the vertical decompositions are asymptotically uncorrelated. As a
consequence, we prove the existence of an asymptotic distribution for the
combinatorics of a "random" interval exchange transformation with integer
lengths.
We compute explicitly the absolute contribution of squaretiled surfaces
having a single horizontal cylinder to the MasurVeech volume of any ambient
stratum of Abelian differentials. The resulting count is particularly simple
and efficient in the large genus asymptotics. We conjecture that the
corresponding relative contribution is asymptotically of the order $1/d$, where
$d$ is the dimension of the stratum, and prove that this conjecture is
equivalent to the longstanding conjecture on the large genus asymptotics of
the MasurVeech volumes. We prove, in particular, that the recent results of
Chen, M\"oller and Zagier imply that the conjecture holds for the principal
stratum of Abelian differentials as the genus tends to infinity.
Our result on random interval exchanges with integer lengths allows to make
empirical computation of the probability to get a $1$cylinder pillowcase cover
taking a "random" one in a given stratum. We use this technique to derive the
approximate values of the MasurVeech volumes of strata of quadratic
differentials of all small dimensions.

A meander is a topological configuration of a line and a simple closed curve
in the plane (or a pair of simple closed curves on the 2sphere) intersecting
transversally. Meanders can be traced back to H. Poincar\'e and naturally
appear in various areas of mathematics, theoretical physics and computational
biology (in particular, they provide a model of polymer folding). Enumeration
of meanders is an important open problem. The number of meanders with 2N
crossings grows exponentially when N grows, but the longstanding problem on the
precise asymptotics is still out of reach. We show that the situation becomes
more tractable if one additionally fixes the topological type (or the total
number of minimal arcs) of a meander. Then we are able to derive simple
asymptotic formulas for the numbers of meanders as N tends to infinity. We also
compute the asymptotic probability of getting a simple closed curve on a sphere
by identifying the endpoints of two arc systems (one on each of the two
hemispheres) along the common equator. The new tools we bring to bear are based
on interpretation of meanders as squaretiled surfaces with one horizontal and
one vertical cylinders. The proofs combine recent results on MasurVeech
volumes of the moduli spaces of meromorphic quadratic differentials in genus
zero with our new observation that horizontal and vertical separatrix diagrams
of integer quadratic differentials are asymptotically uncorrelated. The
additional combinatorial constraints we impose in this article yield explicit
polynomial asymptotics.

Consider a flat bundle over a complex curve. We prove a conjecture of Fei Yu
that the sum of the top k Lyapunov exponents of the flat bundle is always
greater or equal to the degree of any rank k holomorphic subbundle. We
generalize the original context from Teichmueller curves to any local system
over a curve with nonexpanding cusp monodromies. As an application we obtain
the large genus limits of individual Lyapunov exponents in hyperelliptic strata
of Abelian differentials.
Understanding the case of equality with the degrees of subbundle coming from
the Hodge filtration seems challenging, e.g. for CalabiYau type families. We
conjecture that equality of the sum of Lyapunov exponents and the degree is
related to the monodromy group being a thin subgroup of its Zariski closure.

We state conjectures on the asymptotic behavior of the volumes of moduli
spaces of Abelian differentials and their SiegelVeech constants as genus tends
to infinity. We provide certain numerical evidence, describe recent advances
and the state of the art towards proving these conjectures.

We use the relation between the volumes of the strata of meromorphic
quadratic differentials with at most simple poles on the Riemann sphere and
counting functions of the number of (bands of) closed geodesics in associated
flat metrics with singularities to prove a very explicit formula for the volume
of each such stratum conjectured by M. Kontsevich a decade ago.
The proof is based on a formula for the Lyapunov exponents of the geodesic
flow on the moduli space, which gives a recursive formula from which the
volumes could be recovered.
An appendix with an ergodic theorem proved by Jon Chaika is added to the
current version. Applying this ergodic theorem to the Teichmueller geodesic
flow we obtain EXACT quadratic asymptotics for the number of (bands of) closed
trajectories and for the number of generalized diagonals in almost all
rightangled billiards. All coefficients in the asymptotics (expressed in terms
of the associated SiegelVeech constants) are explicitly computed.

We study billiard in the plane endowed with symmetric
\$\mathbb{Z}^2\$periodic obstacles of a rightangled polygonal shape. One of
our main interests is the dependence of the diffusion rate of the billiard on
the shape of the obstacle. We prove, in particular, that when the number of
angles of a symmetric connected obstacle grows, the diffusion rate tends to
zero, thus answering a question of J.C. Yoccoz.
Our results are based on computation of Lyapunov exponents of the Hodge
bundle over hyperelliptic loci in the moduli spaces of quadratic differentials,
which represents independent interest. In particular, we compute the exact
value of the Lyapunov exponent \$\lambda^+_1\$ for all elliptic loci of
quadratic differentials with simple zeroes and poles.

This is the English translation of a short note published by Gazette des
Math\'ematiciens. The author was asked to present the recent work of Alex Eskin
and of Maryam Mirzakhani, arXiv:1302.3320, and their joint work with Amir
Mohammadi, arXiv:1305.3015, on SL(2,R)action on the moduli space of Abelian
differentials. This is a popularization paper with no proofs. Its only purpose
is to suggest some motivations, and to outline possible applications
considering billiards in polygons as an example.

By the results of G. Forni and of R. Trevi\~no, the Lyapunov spectrum of the
Hodge bundle over the Teichm\"uller geodesic flow on the strata of Abelian and
of quadratic differentials does not contain zeroes even though for certain
invariant submanifolds zero exponents are present in the Lyapunov spectrum. In
all previously known examples, the zero exponents correspond to those
PSL(2,R)invariant subbundles of the real Hodge bundle for which the monodromy
of the GaussManin connection acts by isometries of the Hodge metric. We
present an example of an arithmetic Teichm\"uller curve, for which the real
Hodge bundle does not contain any PSL(2,R)invariant, continuous subbundles,
and nevertheless its spectrum of Lyapunov exponents contains zeroes. We
describe the mechanism of this phenomenon; it covers the previously known
situation as a particular case. Conjecturally, this is the only way zero
exponents can appear in the Lyapunov spectrum of the Hodge bundle for any
PSL(2,R)invariant probability measure.

We compute the sum of the positive Lyapunov exponents of the Hodge bundle
with respect to the Teichmuller geodesic flow. The computation is based on the
analytic RiemannRoch Theorem and uses a comparison of determinants of flat and
hyperbolic Laplacians when the underlying Riemann surface degenerates.

We study the combinatorial geometry of "lattice" JenkinsStrebel
differentials with simple zeroes and simple poles on $\mathbb{C}P^1$ and of the
corresponding counting functions. Developing the results of M. Kontsevich we
evaluate the leading term of the symmetric polynomial counting the number of
such "lattice" JenkinsStrebel differentials having all zeroes on a single
singular layer. This allows us to express the number of general "lattice"
JenkinsStrebel differentials as an appropriate weighted sum over decorated
trees.
The problem of counting JenkinsStrebel differentials is equivalent to the
problem of counting pillowcase covers, which serve as integer points in
appropriate local coordinates on strata of moduli spaces of meromorphic
quadratic differentials. This allows us to relate our counting problem to
calculations of volumes of these strata . A very explicit expression for the
volume of any stratum of meromorphic quadratic differentials recently obtained
by the authors leads to an interesting combinatorial identity for our sums over
trees.

We study the Lyapunov spectrum of the KontsevichZorich cocycle on
$SL(2,\mathbb{R})$invariant subbundles of the Hodge bundle over the support of
a $SL(2,\mathbb{R})$invariant probability measure on the moduli space of
Abelian differentials.
In particular, we prove formulas for partial sums of Lyapunov exponents in
terms of the second fundamental form (or KodairaSpencer map) of the Hodge
bundle with respect to GaussManin connection and investigate the relations
between the central {Oseldets} subbundle and the kernel of the second
fundamental form. We illustrate our conclusions in two special cases.

A cyclic cover of the complex projective line branched at four appropriate
points has a natural structure of a squaretiled surface. We describe the
combinatorics of such a squaretiled surface, the geometry of the corresponding
Teichm\"uller curve, and compute the Lyapunov exponents of the determinant
bundle over the Teichm\"uller curve with respect to the geodesic flow. This
paper includes a new example (announced by G. Forni and C. Matheus in
\cite{Forni:Matheus}) of a Teichm\"uller curve of a squaretiled cyclic cover
in a stratum of Abelian differentials in genus four with a maximally degenerate
KontsevichZorich spectrum (the only known example found previously by Forni
in genus three also corresponds to a squaretiled cyclic cover
\cite{ForniSurvey}).
We present several new examples of Teichm\"uller curves in strata of
holomorphic and meromorphic quadratic differentials with maximally degenerate
KontsevichZorich spectrum. Presumably, these examples cover all possible
Teichm\"uller curves with maximally degenerate spectrum. We prove that this is
indeed the case within the class of squaretiled cyclic covers.

A cyclic cover over the Riemann sphere branched at four points inherits a
natural flat structure from the "pillow" flat structure on the basic sphere. We
give an explicit formula for all individual Lyapunov exponents of the Hodge
bundle over the corresponding arithmetic Teichmuller curve. The key technical
element is evaluation of degrees of line subbundles of the Hodge bundle,
corresponding to eigenspaces of the induced action of deck transformations.

Moduli spaces of Abelian and quadratic differentials are stratified by
multiplicities of zeroes; connected components of the strata correspond to
ergodic components of the Teichmuller geodesic flow. It is known that the
strata are not necessarily connected; the connected components were recently
classified by M. Kontsevich and the author and by E. Lanneau. The strata can be
also viewed as families of flat metrics with conical singularities and with
Z/2Zholonomy.
For every connected component of each stratum of Abelian and quadratic
differentials we construct an explicit representative which is a
JenkinsStrebel differential with a single cylinder. By an elementary variation
of this construction we represent almost every Abelian (quadratic) differential
in the corresponding connected component of the stratum as a polygon with
identified pairs of edges, where combinatorics of identifications is explicitly
described.
Specifically, the combinatorics is expressed in terms of a generalized
permutation. For any component of any stratum of Abelian and quadratic
differentials we construct a generalized permutation (linear involution) in the
corresponding extended Rauzy class.

Various problems of geometry, topology and dynamical systems on surfaces as
well as some questions concerning onedimensional dynamical systems lead to the
study of closed surfaces endowed with a flat metric with several conetype
singularities. Such flat surfaces are naturally organized into families which
appear to be isomorphic to the moduli spaces of holomorphic oneforms.
One can obtain much information about the geometry and dynamics of an
individual flat surface by studying both its orbit under the Teichmuller
geodesic flow and under the linear group action. In particular, the Teichmuller
geodesic flow plays the role of a time acceleration machine (renormalization
procedure) which allows to study the asymptotic behavior of interval exchange
transformations and of surface foliations.
This long survey is an attempt to present some selected ideas, concepts and
facts in Teichmuller dynamics in a playful way.

This short survey illustrates the ideas of Teichmuller dynamics. As a model
application we consider the asymptotic topology of generic geodesics on a
"flat" surface and count closed geodesics and saddle connections. This survey
is based on the joint papers with A.Eskin and H.Masur and with M.Kontsevich.

We describe typical degenerations of quadratic differentials thus describing
``generic cusps'' of the moduli space of meromorphic quadratic differentials
with at most simple poles. The part of the boundary of the moduli space which
does not arise from ``generic'' degenerations is often negligible in problems
involving information on compactification of the moduli space.
However, even for a typical degeneration one may have several short loops on
the Riemann surface which shrink simultaneously. We explain this phenomenon,
describe all rigid configurations of short loops, present a detailed
description of analogs of desingularized stable curves arising here, and show
how one can reconstruct a Riemann surface endowed with a quadratic differential
which is close to a ``cusp'' by the corresponding point at the principal
boundary.

A holomorphic 1form on a compact Riemann surface S naturally defines a flat
metric on S with conetype singularities. We present the following surprising
phenomenon: having found a geodesic segment (saddle connection) joining a pair
of conical points one can find with a nonzero probability another saddle
connection on S having the same direction and the same length as the initial
one. The similar phenomenon is valid for the families of parallel closed
geodesics.
We give a complete description of all possible configurations of parallel
saddle connections (and of families of parallel closed geodesics) which might
be found on a generic flat surface S. We count the number of saddle connections
of length less than L on a generic flat surface S; we also count the number of
admissible configurations of pairs (triples,...) of saddle connections; we
count the analogous numbers of configurations of families of closed geodesics.
By the previous result of A.Eskin and H.Masur these numbers have quadratic
asymptotics with respect to L. Here we explicitly compute the constant in this
quqadratic asymptotics for a configuration of every type. The constant is found
from a SiegelVeech formula.
To perform this computation we elaborate the detailed description of the
principal part of the boundary of the moduli space of holomorphic 1forms and
we find the numerical value of the normalized volume of the tubular
neighborhood of the boundary. We use this for evaluation of integrals over the
moduli space.