• ### Square-tiled surfaces of fixed combinatorial type: equidistribution, counting, volumes of the ambient strata(1612.08374)

March 27, 2019 math.CO, math.GT, math.DS
We prove that square-tiled 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 square-tiled surfaces having a single horizontal cylinder to the Masur-Veech 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 long-standing conjecture on the large genus asymptotics of the Masur-Veech 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 Masur-Veech volumes of strata of quadratic differentials of all small dimensions.
• ### Enumeration of meanders and Masur-Veech volumes(1705.05190)

March 24, 2019 math.CO, math.GT
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 2-sphere) 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 square-tiled surfaces with one horizontal and one vertical cylinders. The proofs combine recent results on Masur-Veech 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.
• ### Lower bounds for Lyapunov exponents of flat bundles on curves(1609.01170)

Aug. 18, 2017 math.AG, math.GT, math.DS
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 non-expanding 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 Calabi-Yau 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.
• ### Volumes of strata of Abelian differentials and Siegel-Veech constants in large genera(1507.05296)

Nov. 3, 2015 math.GT, math.DS
We state conjectures on the asymptotic behavior of the volumes of moduli spaces of Abelian differentials and their Siegel-Veech constants as genus tends to infinity. We provide certain numerical evidence, describe recent advances and the state of the art towards proving these conjectures.
• ### Right-angled billiards and volumes of moduli spaces of quadratic differentials on $\mathbb{C}P^1$(1212.1660)

May 20, 2015 math.CO, math.GT, math.DS
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 right-angled billiards. All coefficients in the asymptotics (expressed in terms of the associated Siegel-Veech constants) are explicitly computed.
• ### Cries and whispers in wind-tree forests(1502.06405)

Feb. 23, 2015 math.DS
We study billiard in the plane endowed with symmetric \$\mathbb{Z}^2\$-periodic obstacles of a right-angled 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.
• ### The Magic Wand Theorem of A. Eskin and M. Mirzakhani(1502.05654)

Feb. 19, 2015 math.DS
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.
• ### Zero Lyapunov exponents of the Hodge bundle(1201.6075)

April 19, 2014 math.DS
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 Gauss-Manin 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.
• ### Sum of Lyapunov exponents of the Hodge bundle with respect to the Teichmuller geodesic flow(1112.5872)

Sept. 30, 2013 math.AG, math.GT, math.DS
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 Riemann-Roch Theorem and uses a comparison of determinants of flat and hyperbolic Laplacians when the underlying Riemann surface degenerates.
• ### Counting generalized Jenkins-Strebel differentials(1212.1714)

June 1, 2013 math.CO, math.GT, math.DS
We study the combinatorial geometry of "lattice" Jenkins--Strebel 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" Jenkins-Strebel differentials having all zeroes on a single singular layer. This allows us to express the number of general "lattice" Jenkins-Strebel differentials as an appropriate weighted sum over decorated trees. The problem of counting Jenkins-Strebel 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.
• ### Lyapunov spectrum of invariant subbundles of the Hodge bundle(1112.0370)

Aug. 25, 2012 math.DS
We study the Lyapunov spectrum of the Kontsevich--Zorich 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 Kodaira--Spencer map) of the Hodge bundle with respect to Gauss--Manin 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.
• ### Square-tiled cyclic covers(1007.4275)

July 15, 2011 math.DS
A cyclic cover of the complex projective line branched at four appropriate points has a natural structure of a square-tiled surface. We describe the combinatorics of such a square-tiled 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 square-tiled cyclic cover in a stratum of Abelian differentials in genus four with a maximally degenerate Kontsevich--Zorich spectrum (the only known example found previously by Forni in genus three also corresponds to a square-tiled cyclic cover \cite{ForniSurvey}). We present several new examples of Teichm\"uller curves in strata of holomorphic and meromorphic quadratic differentials with maximally degenerate Kontsevich--Zorich 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 square-tiled cyclic covers.
• ### Lyapunov spectrum of square-tiled cyclic covers(1007.5330)

March 30, 2011 math.AG, math.GT, math.DS
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.
• ### Explicit Jenkins-Strebel representatives of all strata of Abelian and quadratic differentials(1011.0395)

Nov. 1, 2010 math.AG, math.GT, math.DS
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/2Z-holonomy. For every connected component of each stratum of Abelian and quadratic differentials we construct an explicit representative which is a Jenkins-Strebel 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.
• ### Flat Surfaces(math/0609392)

Sept. 14, 2006 math.GT, math.DS
Various problems of geometry, topology and dynamical systems on surfaces as well as some questions concerning one-dimensional dynamical systems lead to the study of closed surfaces endowed with a flat metric with several cone-type singularities. Such flat surfaces are naturally organized into families which appear to be isomorphic to the moduli spaces of holomorphic one-forms. 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.
• ### Geodesics on Flat Surfaces(math/0609399)

Sept. 14, 2006 math.GT, math.DS
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.
• ### Multiple Saddle Connections on Flat Surfaces and Principal Boundary of the Moduli Spaces of Quadratic Differentials(math/0402197)

July 9, 2006 math.AG, math.GT
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.
• ### Moduli Spaces of Abelian Differentials: The Principal Boundary, Counting Problems and the Siegel--Veech Constants(math/0202134)

March 26, 2004 math.AG, math.DS
A holomorphic 1-form on a compact Riemann surface S naturally defines a flat metric on S with cone-type 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 Siegel--Veech formula. To perform this computation we elaborate the detailed description of the principal part of the boundary of the moduli space of holomorphic 1-forms 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.