• 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.
  • 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.
  • We study the rational Picard group of the projectivized moduli space of holomorphic n-differentials on complex genus g stable curves. We define (n - 1) natural classes in this Picard group that we call Prym-Tyurin classes. We express these classes as linear combinations of boundary divisors and the divisor of n-differentials with a double zero. We give two different proofs of this result, using two alternative approaches: an analytic approach that involves the Bergman tau function and its vanishing divisor and an algebro-geometric approach that involves cohomological computations on the universal curve.
  • We derive a local index theorem in Quillen's form for families of Cauchy-Riemann operators on orbifold Riemann surfaces (or Riemann orbisurfaces) that are quotients of the hyperbolic plane by the action of cofinite finitely generated Fuchsian groups. Each conical point (or a conjugacy class of primitive elliptic elements in the Fuchsian group) gives rise to an extra term in the local index theorem that is proportional to the symplectic form of a new K\"{a}hler metric on the moduli space of Riemann orbisurfaces. We find a simple formula for a local K\"{a}hler potential of the elliptic metric and show that when the order of elliptic element becomes large, the elliptic metric converges to the cuspidal one corresponding to a puncture on the orbisurface (or a conjugacy class of primitive parabolic elements). We also give a simple example of a relation between the elliptic metric and special values of Selberg's zeta function.
  • We compute the number of coverings of ${\mathbb{C}}P^1\setminus\{0, 1, \infty\}$ with a given monodromy type over $\infty$ and given numbers of preimages of 0 and 1. We show that the generating function for these numbers enjoys several remarkable integrability properties: it obeys the Virasoro constraints, an evolution equation, the KP (Kadomtsev-Petviashvili) hierarchy and satisfies a topological recursion in the sense of Eynard-Orantin.
  • Branched covers of the complex projective line ramified over $0,1$ and $\infty$ (Grothendieck's {\em dessins d'enfant}) of fixed genus and degree are effectively enumerated. More precisely, branched covers of a given ramification profile over $\infty$ and given numbers of preimages of $0$ and $1$ are considered. The generating function for the numbers of such covers is shown to satisfy a PDE that determines it uniquely modulo a simple initial condition. Moreover, this generating function satisfies an infinite system of PDE's called the KP (Kadomtsev-Petviashvili) hierarchy. A specification of this generating function for certain values of parameters generates the numbers of {\em dessins} of given genus and degree, thus providing a fast algorithm for computing these numbers.
  • We explicitly compute the diverging factor in the large genus asymptotics of the Weil-Petersson volumes of the moduli spaces of $n$-pointed complex algebraic curves. Modulo a universal multiplicative constant we prove the existence of a complete asymptotic expansion of the Weil-Petersson volumes in the inverse powers of the genus with coefficients that are polynomials in $n$. This is done by analyzing various recursions for the more general intersection numbers of tautological classes, whose large genus asymptotic behavior is also extensively studied.
  • The Hultman numbers enumerate permutations whose cycle graph has a given number of alternating cycles (they are relevant to the Bafna-Pevzner approach to genome comparison and genome rearrangements). We give two new interpretations of the Hultman numbers: in terms of polygon gluings and as integrals over the space of complex matrices, and derive some properties of their generating functions.
  • The tau function on the moduli space of generic holomorphic 1-differentials on complex algebraic curves is interpreted as a section of a line bundle on the projectivized Hodge bundle over the moduli space of stable curves. The asymptotics of the tau function near the boundary of the moduli space of 1-differentials is computed, and an explicit expression for the pullback of the Hodge class on the projectivized Hodge bundle in terms of the tautological class and the classes of boundary divisors is derived. This expression is used to clarify the geometric meaning of the Kontsevich-Zorich formula for the sum of the Lyapunov exponents associated with the Teichm\"uller flow on the Hodge bundle.
  • A relatively fast algorithm for evaluating Weil-Petersson volumes of moduli spaces of complex algebraic curves is proposed. On the basis of numerical data, a conjectural large genus asymptotics of the Weil-Petersson volumes is computed. Asymptotic formulas for the intersection numbers involving $\psi$-classes are conjectured as well. The precision of the formulas is high enough to believe that they are exact.
  • We propose a universal approach to a range of enumeration problems in graphs. The key point is in contracting suitably chosen symmetric tensors placed at the vertices of a graph along the edges. In particular, this leads to an algorithm that counts the number of d-regular subgraphs of an arbitrary graph including the number of d-factors (previously we considered the case d=2 with a special emphasis on the enumeration of Hamiltonian cycles; cf. math.CO/0403339). We briefly discuss the problem of the computational complexity of this algorithm.
  • Following Penrose, we introduce a family of graph functions defined in terms of contractions of certain products of symmetric tensors along the edges of a graph. Special cases of these functions enumerate edge colorings and cycles of arbitrary length in graphs (in particular, Hamiltonian cycles).
  • We show that the real-valued function $S_\alpha$ on the moduli space $\mathcal{M}_{0,n}$ of pointed rational curves, defined as the critical value of the Liouville action functional on a hyperbolic 2-sphere with $n\geq 3$ conical singularities of arbitrary orders $\alpha=\{\alpha_1,...,\alpha_n\}$, generates accessory parameters of the associated Fuchsian differential equation as their common antiderivative. We introduce a family of Kaehler metrics on $\mathcal{M}_{0,n}$ parameterized by the set of orders $\alpha$, explictly relate accessory parameters to these metrics, and prove that the functions $S_\alpha$ are their Kaehler potentials.
  • A formula for the generating function of the Weil-Petersson volumes of moduli spaces of pointed curves that is identical to the genus expansion of the free energy in two dimensional gravity is obtained. The contribution of arbitrary genus is expressed in terms of the Bessel function $J_0$.