
Quasimodular forms were first studied in the context of counting torus
coverings. Here we show that a weighted version of these coverings with
SiegelVeech weights also provides quasimodular forms. We apply this to prove
conjectures of Eskin and Zorich on the large genus limits of MasurVeech
volumes and of SiegelVeech constants.
In Part I we connect the geometric definition of SiegelVeech constants both
with a combinatorial counting problem and with intersection numbers on Hurwitz
spaces. We introduce modified SiegelVeech weights whose generating functions
will later be shown to be quasimodular.
Parts II and III are devoted to the study of the quasimodularity of the
generating functions arising from weighted counting of torus coverings. The
starting point is the theorem of Bloch and Okounkov saying that qbrackets of
shifted symmetric functions are quasimodular forms. In Part II we give an
expression for their growth polynomials in terms of Gaussian integrals and use
this to obtain a closed formula for the generating series of cumulants that is
the basis for studying large genus asymptotics. In Part III we show that the
even hooklength moments of partitions are shifted symmetric polynomials and
prove a formula for the qbracket of the product of such a hooklength moment
with an arbitrary shifted symmetric polynomial. This formula proves
quasimodularity also for the (2)nd hooklength moments by extrapolation, and
implies the quasimodularity of the SiegelVeech weighted counting functions.
Finally, in Part IV these results are used to give explicit generating
functions for the volumes and SiegelVeech constants in the case of the
principal stratum of abelian differentials. To apply these exact formulas to
the EskinZorich conjectures we provide a general framework for computing the
asymptotics of rapidly divergent power series.

We describe the closure of the strata of abelian differentials with
prescribed type of zeros and poles, in the projectivized Hodge bundle over the
DeligneMumford moduli space of stable curves with marked points. We provide an
explicit characterization of pointed stable differentials in the boundary of
the closure, both a complex analytic proof and a flat geometric proof for
smoothing the boundary differentials, and numerous examples. The main new
ingredient in our description is a global residue condition arising from a full
order on the dual graph of a stable curve.

We use recent results by BainbridgeChenGendronGrushevskyM\"oller on
compactifications of strata of abelian differentials to give a comprehensive
solution to the realizability problem for effective tropical canonical divisors
in equicharacteristic zero. Given a pair $(\Gamma, D)$ consisting of a stable
tropical curve $\Gamma$ and a divisor $D$ in the canonical linear system on
$\Gamma$, we give a purely combinatorial condition to decide whether there is a
smooth curve $X$ over a nonArchimedean field whose stable reduction has
$\Gamma$ as its dual tropical curve together with a effective canonical divisor
$K_X$ that specializes to $D$. Along the way, we develop a modulitheoretic
framework to understand Baker's specialization of divisors from algebraic to
tropical curves as a natural toroidal tropicalization map in the sense of
AbramovichCaporasoPayne.

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 prove the quasimodularity of generating functions for counting torus
covers, with and without SiegelVeech weight. Our proof is based on analyzing
decompositions of flat surfaces into horizontal cylinders. The quasimodularity
arise as contour integral of quasielliptic functions. It provides an
alternative proof of the quasimodularity results of BlochOkounkov,
EskinOkounkov and ChenMoellerZagier, and generalizes the results of
BoehmBringmannBuchholzMarkwig for simple ramification covers.

The minimal stratum in Prym loci have been the first source of infinitely
many primitive, but not algebraically primitive Teichmueller curves. We show
that the stratum Prym(2,1,1) contains no such Teichmueller curve and the
stratum Prym(2,2) at most 92 such Teichmueller curves. This complements the
recent progress establishing general  but noneffective  methods to prove
finiteness results for Teichmueller curves and serves as proof of concept how
to use the torsion condition in the nonalgebraically primitive case.

A $k$differential on a Riemann surface is a section of the $k$th power of
the canonical line bundle. Loci of $k$differentials with prescribed number and
multiplicities of zeros and poles form a natural stratification of the moduli
space of $k$differentials. In this paper we give a complete description for
the compactification of the strata of $k$differentials in terms of pointed
stable $k$differentials, for all $k$. The upshot is a global $k$residue
condition that can also be reformulated in terms of admissible covers of stable
curves. Moreover, we study properties of $k$differentials regarding their
deformations, residues, and flat geometric structure.

Fuchsian groups with a modular embedding have the richest arithmetic
properties among nonarithmetic Fuchsian groups. But they are very rare, all
known examples being related either to triangle groups or to Teichmueller
curves.
In Part I of this paper we study the arithmetic properties of the modular
embedding and develop from scratch a theory of twisted modular forms for
Fuchsian groups with a modular embedding, proving dimension formulas,
coefficient growth estimates and differential equations.
In Part II we provide a modular proof for an Aperylike integrality statement
for solutions of PicardFuchs equations. We illustrate the theory on a worked
example, giving explicit Fourier expansions of twisted modular forms and the
equation of a Teichmueller curve in a Hilbert modular surface.
In Part III we show that genus two Teichmueller curves are cut out in Hilbert
modular surfaces by a product of theta derivatives. We rederive most of the
known properties of those Teichmueller curves from this viewpoint, without
using the theory of flat surfaces. As a consequence we give the modular
embeddings for all genus two Teichmueller curves and prove that the Fourier
developments of their twisted modular forms are algebraic up to one
transcendental scaling constant. Moreover, we prove that Bainbridge's
compactification of Hilbert modular surfaces is toroidal. The strategy to
compactify can be expressed using continued fractions and resembles
Hirzebruch's in form, but every detail is different.

In this paper we construct infinitely many Shimura curves contained in the
locus of Jacobians of genus four curves. All Jacobians in these families are
${\mathbb Z}/3$ covers of varying elliptic curves that appear in a geometric
construction of Pirola, and include an example of a ShimuraTeichmuller curve
that parameterizes Jacobians that are suitable ${\mathbb Z}/6$ covers of
${\mathbb P}^1$. We compute explicitly the period matrices of the Shimura
curves we construct using the original construction of Shimura for moduli
spaces of abelian varieties with automorphisms.

We compute the class of arithmetic genus two Teichmueller curves in the
Picard group of pseudoHilbert modular surfaces, distinguished according to
their torsion order and spin invariant. As an application, we compute the
number of genus two squaretiled surfaces with these invariants. The main
technical tool is the computation of divisor classes of Hilbert Jacobi forms on
the universal abelian surface over the pseudoHilbert modular surface.

We determine the Lyapunov spectrum of ball quotients arising from cyclic
coverings. The computations are performed by rewriting the sum of Lyapunov
exponents as ratios of intersection numbers and by the analysis of the period
map near boundary divisors. As a corollary, we complete the classification of
commensurability classes of all presently known nonarithmetic ball quotients.

Suppose N is an affine SL(2,R)invariant submanfold of the moduli space of
pairs (M,w) where M is a curve, and w is a holomorphic 1form on M. We show
that the Forni bundle of N (i.e. the maximal SL(2,R)invariant isometric
subbundle of the Hodge bundle of N) is always flat and is always orthogonal to
the tangent space of N. As a corollary, it follows that the Hodge bundle of N
is semisimple.

We present a Galoistheoretical criterion for the simplicity of the Lyapunov
spectrum of the KontsevichZorich cocycle over the Teichmueller flow on the
$SL_2(R)$orbit of a squaretiled surface. The simplicity of the Lyapunov
spectrum has been proved by A. Avila and M. Viana with respect to the socalled
MasurVeech measures associated to connected components of moduli spaces of
translation surfaces, but is not always true for squaretiled surfaces of genus
$\geq 3$. We apply our criterion to squaretiled surfaces of genus 3 with one
single zero. Conditionally to a conjecture of Delecroix and Leli\`evre, we
prove with the aid of Siegel's theorem (on integral points on algebraic curves
of genus $>0$) that all but finitely many such squaretiled surfaces have
simple Lyapunov spectrum.

We prove that the moduli space of compact genus three Riemann surfaces
contains only finitely many algebraically primitive Teichmueller curves. For
the stratum consisting of holomorphic oneforms in genus three with a single
zero, our approach to finiteness uses the HarderNarasimhan filtration of the
Hodge bundle over a Teichmueller curve to obtain new information on the
locations of the zeros of eigenforms. By passing to the boundary of moduli
space, this gives explicit constraints on the cusps of Teichmueller curves in
terms of crossratios of six points on a projective line. These constraints are
akin to those that appear in Zilber and Pink's conjectures on unlikely
intersections in diophantine geometry. However, in our case one is lead
naturally to the intersection of a surface with a family of codimension two
algebraic subgroups of $G_m^n \times G_a^n$ (rather than the more standard
$G_m^n$). The ambient algebraic group lies outside the scope of Zilber's
Conjecture but we are nonetheless able to prove a sufficiently strong height
bound. For the generic stratum in genus three, we obtain global torsion order
bounds through a computer search for subtori of a codimensiontwo subvariety of
$G_m^9$. These torsion bounds together with new bounds for the moduli of
horizontal cylinders in terms of torsion orders yields finiteness in this
stratum. The intermediate strata are handled with a mix of these techniques.

Shimura curves on Shimura surfaces have been a candidate for counterexamples
to the bounded negativity conjecture. We prove that they do not serve this
purpose: there are only finitely many whose selfintersection number lies below
a given bound.
Previously, this result has been shown in [BHK+13] for compact Hilbert
modular surfaces using the BogomolovMiyaokaYau inequality. Our approach uses
equidistribution and works uniformly for all Shimura surfaces.

We construct an infinite number of Shimura curves contained in the locus of
hyperelliptic Jacobians of genus 3. In the opposite direction, we show that in
genus 3 the only possible noncomplete (in the moduli space of abelian
threefolds) Kuga curves contained in the hyperelliptic locus have the same
degeneration data as that of the examples we construct.
The locus of genus 3 hyperelliptic Jacobians is a divisor within the moduli
space of principally polarized abelian threefolds, and our result demonstrates
the techniques we develop more generally for dealing with Shimura curves
contained within a divisor in the moduli space of abelian varieties.

We show that for many strata of Abelian differentials in low genus the sum of
Lyapunov exponents for the Teichmueller geodesic flow is the same for all
Teichmueller curves in that stratum, hence equal to the sum of Lyapunov
exponents for the whole stratum. This behavior is due to the disjointness
property of Teichmueller curves with various geometrically defined divisors on
moduli spaces of curves.

We give an algebraic way of distinguishing the components of the exceptional
strata of quadratic differentials in genus three and four. The complete list of
these strata is (9, 1), (6,3,1), (3,3,3, 1) in genus three and (12), (9,3),
(6,6), (6,3,3) and (3,3,3,3) in genus four. This result is part of a more
general investigation of disjointness of Teichmueller curves with divisors of
BrillNoether type on the moduli space of curves. As a result we show that for
many strata of quadratic differentials in low genus the sum of Lyapunov
exponents for the Teichmueller geodesic flow is the same for all Teichmueller
curves in that stratum.

Algebraic curves in Hilbert modular surfaces that are totally geodesic for
the Kobayashi metric have very interesting geometric and arithmetic properties,
e.g. they are rigid. There are very few methods known to construct such
algebraic geodesics that we call Kobayashi curves.
We give an explicit way of constructing Kobayashi curves using determinants
of derivatives of theta functions. This construction also allows to calculate
the Euler characteristics of the Teichmueller curves constructed by McMullen
using Prym covers.

We classify curves in the moduli space of curves that are both Shimura and
Teichmueller curves: Except for the moduli space of genus one curves there is
only a single such curve.
We start with a Hodgetheoretic description of Shimura curves and of
Teichmueller curves that reveals similarities and differences of the two
classes of curves. The proof of the classification relies on the geometry of
squaretiled coverings and on estimating the numerical invariants of these
particular fibered surfaces.
Finally we translate our main result into a classification of Teichmueller
curves with totally degenerate Lyapunov spectrum.

In the moduli space M_g of genus g Riemann surfaces, consider the locus RM_O
of Riemann surfaces whose Jacobians have real multiplication by the order O in
a totally real number field F of degree g. If g = 2 or 3, we compute the
closure of RM_O in the DeligneMumford compactification of M_g and the closure
of the locus of eigenforms over RM_O in the DeligneMumford compactification of
the moduli space of holomorphic oneforms. For higher genera, we give strong
necessary conditions for a stable curve to be in the boundary of RM_O Boundary
strata of RM_O are parameterized by configurations of elements of the field F
satisfying a strong geometry of numbers type restriction.
We apply this computation to give evidence for the conjecture that there are
only finitely many algebraically primitive Teichmueller curves in M_3. In
particular, we prove that there are only finitely many algebraically primitive
Teichmueller curves generated by a oneform having two zeros of order 3 and 1.
We also present the results of a computer search for algebraically primitive
Teichmueller curves generated by a oneform having a single zero.

Consider a family f:A > U of gdimensional abelian varieties over a
quasiprojective manifold U. Suppose that the induced map from U to the moduli
scheme of polarized abelian varieties is generically finite and that there is a
projective manifold Y, containing U as the complement of a normal crossing
divisor S, such that the sheaf of logarithmic one forms is nef and that its
determinant is ample with respect to U. We characterize whether $U$ is a
Shimura variety by numerical data attached to the variation of Hodge
structures, rather than by properties of the map from U to the moduli scheme or
by the existence of CM points. More precisely, we show that U is a Shimura
variety, if and only if two conditions hold. First, each irreducible local
subsystem V of the complex weight one variation of Hodge structures is either
unitary or satisfies the Arakelov equality. Secondly, for each factor M in the
universal cover of U whose tangent bundle behaves like the one of a complex
ball, an iterated KodairaSpencer map associated with V has minimal possible
length in the direction of M.

We consider Kobayashi geodesics in the moduli space of abelian varieties A_g
that is, algebraic curves that are totally geodesic submanifolds for the
Kobayashi metric. We show that Kobayashi geodesics can be characterized as
those curves whose logarithmic tangent bundle splits as a subbundle of the
logarithmic tangent bundle of A_g.
Both Shimura curves and Teichmueller curves are examples of Kobayashi
geodesics, but there are other examples. We show moreover that noncompact
Kobayashi geodesics always map to the locus of real multiplication and that the
Qirreducibility of the induced variation of Hodge structures implies that they
are defined over a number field.

We prove that the Teichmueller disc stabilized by the ArnouxYoccoz
pseudoAnosov diffeomorphism contains at least two closed Teichmueller
geodesics. This proves that the corresponding flat surface does not have a
cyclic Veech group.
In addition, we prove that this Teichmueller disc is dense inside the
hyperelliptic locus of the connected component H^odd(2,2). The proof uses
Ratner's theorems.
Rephrasing our results in terms of quadratic differentials, we show that
there exists a holomorphic quadratic differential, on a genus 2 surface, with
the two following properties. (1) The Teichmueller disc is dense inside the
moduli space of holomorphic quadratic differentials (which are not the global
square of any Abelian differentials). (2) The stabilizer of the PSL(2,R)action
contains two noncommuting pseudoAnosov diffeomorphisms.

We study closures of GL_2(R)orbits on the total space of the Hodge bundle
over the moduli space of curves under the assumption that they are algebraic
manifolds.
We show that, in the generic stratum, such manifolds are the whole stratum,
the hyperelliptic locus or parameterize curves whose Jacobian has additional
endomorphisms. This follows from a cohomological description of the tangent
bundle to strata. For nongeneric strata similar results can be shown by a
casebycase inspection.
We also propose to study a notion of 'linear manifold' that comprises
Teichmueller curves, Hilbert modular surfaces and the ball quotients of Deligne
and Mostow. Moreover, we give an explanation for the difference between Hilbert
modular surfaces and Hilbert modular threefolds with respect to this notion of
linearity.