
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.

We study the rational Picard group of the projectivized moduli space of
holomorphic ndifferentials on complex genus g stable curves. We define (n  1)
natural classes in this Picard group that we call PrymTyurin classes. We
express these classes as linear combinations of boundary divisors and the
divisor of ndifferentials 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
algebrogeometric approach that involves cohomological computations on the
universal curve.

We derive a local index theorem in Quillen's form for families of
CauchyRiemann 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 (KadomtsevPetviashvili) hierarchy
and satisfies a topological recursion in the sense of EynardOrantin.

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 (KadomtsevPetviashvili) 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 WeilPetersson 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 WeilPetersson 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 BafnaPevzner 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 1differentials
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
1differentials 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 KontsevichZorich formula for the sum
of the Lyapunov exponents associated with the Teichm\"uller flow on the Hodge
bundle.

A relatively fast algorithm for evaluating WeilPetersson volumes of moduli
spaces of complex algebraic curves is proposed. On the basis of numerical data,
a conjectural large genus asymptotics of the WeilPetersson 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 dregular subgraphs of an arbitrary graph including
the number of dfactors (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 realvalued 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 2sphere 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 WeilPetersson 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$.