arXiv++ Combinatorics

A meander can be seen as a pair of transversally intersecting simple closed curves on a 2-sphere. We consider pairs of transversally intersecting simple closed curves on a closed oriented surface of arbitrary genus g. The number of such higher genus meanders admits exponential upper and lower bounds as the number of intersections grows. Fixing the number n of bigons in the complement to the union of the two curves, we compute the precise asymptotics of genus g meanders with at most 2N intersections and show that this asymptotics is polynomial in N as N tends to infinity. We obtain a similar result for the number of positively intersecting pairs of oriented simple closed curves on a surface of genus g. We also compute the asymptotic probability of getting a meander from a random braid on a surface of genus g-1 with two boundary components. In order to effectively count meanders we identify them with integer points represented by certain square-tiled surfaces in the moduli spaces of Abelian and quadratic differentials and make use of recent advances in the geometry of these moduli spaces combined with asymptotic properties of Witten-Kontsevich 2-correlators on moduli spaces of complex curves.

We express the Masur-Veech volume and the area Siegel-Veech constant of the moduli space $\mathcal{Q}_{g,n}$ of genus $g$ meromorphic quadratic differentials with $n$ simple poles as polynomials in the intersection numbers of $ψ$-classes with explicit rational coefficients. The formulae obtained in this article result from lattice point counts involving the Kontsevich volume polynomials that also appear in Mirzakhani's recursion for the Weil-Petersson volumes of the moduli spaces of bordered hyperbolic surfaces with geodesic boundaries. A similar formula for the Masur-Veech volume (though without explicit evaluation) was obtained earlier by Mirzakhani via completely different approach. Furthermore, we prove that the density of the mapping class group orbit of any simple closed multicurve $γ$ inside the ambient set of integral measured laminations computed by Mirzakhani coincides with the density of square-tiled surfaces having horizontal cylinder decomposition associated to $γ$ among all square-tiled surfaces in $\mathcal{Q}_{g,n}$. We study the resulting densities (or, equivalently, volume contributions) in more detail in the special case $n=0$. In particular, we compute the asymptotic frequencies of separating and non-separating simple closed geodesics on a closed hyperbolic surface of genus $g$ for small $g$ and we show that for large genera the separating closed geodesics are $\sqrt{\frac{2}{3πg}}\cdot\frac{1}{4^g}$ times less frequent.

We study the combinatorial geometry of a random closed multicurve on a surface of large genus and of a random square-tiled surface of large genus. We prove that primitive components of a random multicurve represent linearly independent homology cycles with asymptotic probability 1 and that it is primitive with asymptotic probability $\sqrt{2}/2$. We prove analogous properties for random square-tiled surfaces. In particular, we show that all conical singularities of a random square-tiled surface belong to the same leaf of the horizontal foliation and to the same leaf of the vertical foliation with asymptotic probability 1. We show that the number of components of a random multicurve and the number of maximal horizontal cylinders of a random square-tiled surface of genus $g$ are both very well-approximated by the number of cycles of a random permutation for an explicit non-uniform measure on the symmetric group of $3g-3$ elements. In particular, we prove that the expected value of these quantities is asymptotically equivalent to $(\log(6g-6) + γ)/2 + \log 2$. These results are based on our formula for the Masur--Veech volume of the moduli space of holomorphic quadratic differentials combined with deep large genus asymptotic analysis of this formula performed by A.~Aggarwal and with the uniform asymptotic formula for intersection numbers of $ψ$-classes on the Deligne-Mumford compactification of the moduli space of curves proved by A.~Aggarwal.

We express the Masur-Veech volume and the area Siegel-Veech constant of the moduli space of meromorphic quadratic differential with simple poles as polynomials in the intersection numbers of psi-classes supported on the boundary cycles of the Deligne-Mumford compactification of the moduli space of curves. Our formulae are derived from lattice point count involving the Kontsevich volume polynomials that also appear in Mirzakhani's recursion for the Weil-Petersson volumes of the moduli space of bordered hyperbolic Riemann surfaces. A similar formula for the Masur-Veech volume (though without explicit evaluation) was obtained earlier by Mirzakhani through completely different approach. We prove further result: up to an explicit normalization factor depending only on the genus and on the number of cusps, the density of the orbit of any simple closed multicurve computed by Mirzakhani coincides with the density of square-tiled surfaces having horizontal cylinder decomposition associated to the simple closed multicurve. We study the resulting densities in more detail in the special case when there are no cusps. In particular, we compute explicitly the asymptotic frequencies of separating and non-separating simple closed geodesics on a closed hyperbolic surface of genus g for all small genera g and we show that in large genera the separating closed geodesics are exponentially less frequent. We conclude with detailed conjectural description of combinatorial geometry of a random simple closed multicurve on a surface of large genus and of a random square-tiled surface of large genus. This description is conditional to the conjectural asymptotic formula for the Masur-Veech volume in large genera and to the conjectural uniform asymptotic formula for certain sums of intersection numbers of psi-classes in large genera.

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. Using the recent results of Aggarwal and of Chen-Moeller-Zagier on the long-standing conjecture about the large genus asymptotics of Masur-Veech volumes, we derive that the relative contribution is asymptotically of the order 1/d, where d is the dimension of the stratum. Similarly, we evaluate the contribution of one-cylinder square-tiled surfaces to Masur-Veech volumes of low-dimensional strata in the moduli space of quadratic differentials. We combine this count with our recent result on equidistribution of one-cylinder square-tiled surfaces translated to the language of interval exchange transformations to compute empirically approximate values of the Masur-Veech 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 2-sphere) intersecting transversally. Meanders can be traced back to H. Poincaré 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.

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öller 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.

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.

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.