• Quasimodularity and large genus limits of Siegel-Veech constants(1606.04065)

March 27, 2018 math.CO, math.AG, math.GT, math.NT
Quasimodular forms were first studied in the context of counting torus coverings. Here we show that a weighted version of these coverings with Siegel-Veech weights also provides quasimodular forms. We apply this to prove conjectures of Eskin and Zorich on the large genus limits of Masur-Veech volumes and of Siegel-Veech constants. In Part I we connect the geometric definition of Siegel-Veech constants both with a combinatorial counting problem and with intersection numbers on Hurwitz spaces. We introduce modified Siegel-Veech 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 q-brackets 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 hook-length moments of partitions are shifted symmetric polynomials and prove a formula for the q-bracket of the product of such a hook-length moment with an arbitrary shifted symmetric polynomial. This formula proves quasimodularity also for the (-2)-nd hook-length moments by extrapolation, and implies the quasimodularity of the Siegel-Veech weighted counting functions. Finally, in Part IV these results are used to give explicit generating functions for the volumes and Siegel-Veech constants in the case of the principal stratum of abelian differentials. To apply these exact formulas to the Eskin-Zorich conjectures we provide a general framework for computing the asymptotics of rapidly divergent power series.
• Compactification of strata of abelian differentials(1604.08834)

March 27, 2018 math.AG, math.GT, math.DS
We describe the closure of the strata of abelian differentials with prescribed type of zeros and poles, in the projectivized Hodge bundle over the Deligne-Mumford 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.
• Realizability of tropical canonical divisors(1710.06401)

Oct. 17, 2017 math.AG, math.GT
We use recent results by Bainbridge-Chen-Gendron-Grushevsky-M\"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 non-Archimedean 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 moduli-theoretic framework to understand Baker's specialization of divisors from algebraic to tropical curves as a natural toroidal tropicalization map in the sense of Abramovich-Caporaso-Payne.
• 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.
• Counting Feynman-like graphs: Quasimodularity and Siegel-Veech weight(1609.01658)

April 20, 2017 math.AG, math.GT, math.NT
We prove the quasimodularity of generating functions for counting torus covers, with and without Siegel-Veech weight. Our proof is based on analyzing decompositions of flat surfaces into horizontal cylinders. The quasimodularity arise as contour integral of quasi-elliptic functions. It provides an alternative proof of the quasimodularity results of Bloch-Okounkov, Eskin-Okounkov and Chen-Moeller-Zagier, and generalizes the results of Boehm-Bringmann-Buchholz-Markwig for simple ramification covers.
• Non-existence and finiteness results for Teichmueller curves in Prym loci(1704.03210)

April 19, 2017 math.GT, math.DS
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 non-effective -- methods to prove finiteness results for Teichmueller curves and serves as proof of concept how to use the torsion condition in the non-algebraically primitive case.
• Strata of $k$-differentials(1610.09238)

Oct. 28, 2016 math.AG, math.GT, math.DS
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.
• Modular embeddings of Teichmueller curves(1503.05690)

April 4, 2016 math.AG, math.GT, math.NT
Fuchsian groups with a modular embedding have the richest arithmetic properties among non-arithmetic 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 Apery-like integrality statement for solutions of Picard-Fuchs 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.
• Explicit formulas for infinitely many Shimura curves in genus 4(1510.05674)

Oct. 19, 2015 math.AG
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 Shimura-Teichmuller 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.
• Cutting out arithmetic Teichmueller curves in genus two via Theta functions(1504.00470)

April 2, 2015 math.AG, math.GT
We compute the class of arithmetic genus two Teichmueller curves in the Picard group of pseudo-Hilbert modular surfaces, distinguished according to their torsion order and spin invariant. As an application, we compute the number of genus two square-tiled 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 pseudo-Hilbert modular surface.
• Lyapunov spectrum of ball quotients with applications to commensurability questions(1207.5433)

Jan. 29, 2015 math.AG, math.GT
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 non-arithmetic ball quotients.
• Symplectic and Isometric SL(2,R) invariant subbundles of the Hodge bundle(1209.2854)

Dec. 4, 2014 math.AG, math.GT, math.DS
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 1-form 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.
• A criterion for the simplicity of the Lyapunov spectrum of square-tiled surfaces(1305.2033)

Nov. 10, 2014 math.DS
We present a Galois-theoretical criterion for the simplicity of the Lyapunov spectrum of the Kontsevich-Zorich cocycle over the Teichmueller flow on the $SL_2(R)$-orbit of a square-tiled surface. The simplicity of the Lyapunov spectrum has been proved by A. Avila and M. Viana with respect to the so-called Masur-Veech measures associated to connected components of moduli spaces of translation surfaces, but is not always true for square-tiled surfaces of genus $\geq 3$. We apply our criterion to square-tiled 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 square-tiled surfaces have simple Lyapunov spectrum.
• Teichmueller curves in genus three and just likely intersections in $G_m^n x G_a^n$(1410.6835)

Oct. 24, 2014 math.AG, math.GT, math.NT
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 one-forms in genus three with a single zero, our approach to finiteness uses the Harder-Narasimhan 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 cross-ratios 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 codimension-two 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.
• Bounded negativity of self-intersection numbers of Shimura curves on Shimura surfaces(1407.5181)

July 19, 2014 math.AG
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 self-intersection number lies below a given bound. Previously, this result has been shown in [BHK+13] for compact Hilbert modular surfaces using the Bogomolov-Miyaoka-Yau inequality. Our approach uses equidistribution and works uniformly for all Shimura surfaces.
• Shimura curves within the locus of hyperelliptic Jacobians in genus three(1308.5155)

Dec. 18, 2013 math.AG
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 non-complete (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.
• Non-varying sums of Lyapunov exponents of Abelian differentials in low genus(1104.3932)

July 17, 2012 math.AG, math.GT, math.DS
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.
• Quadratic differentials in low genus: exceptional and non-varying(1204.1707)

April 8, 2012 math.AG, math.GT, math.DS
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 Brill-Noether 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.
• Prym covers, theta functions and Kobayashi curves in Hilbert modular surfaces(1111.2624)

Nov. 10, 2011 math.AG
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.
• Shimura- and Teichmueller curves(math/0501333)

Jan. 18, 2010 math.AG, math.GT
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 Hodge-theoretic 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 square-tiled 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.
• Deligne-Mumford compactification of the real multiplication locus and Teichmueller curves in genus three(0911.4677)

Nov. 24, 2009 math.AG, math.GT
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 Deligne-Mumford compactification of M_g and the closure of the locus of eigenforms over RM_O in the Deligne-Mumford compactification of the moduli space of holomorphic one-forms. 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 one-form 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 one-form having a single zero.
• Stability of Hodge bundles and a numerical characterization of Shimura varieties(0706.3462)

Oct. 12, 2009 math.AG, math.CV
Consider a family f:A --> U of g-dimensional 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 Kodaira-Spencer map associated with V has minimal possible length in the direction of M.
• Kobayashi geodesics in A_g(0809.1018)

Feb. 12, 2009 math.AG, math.CV
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 non-compact Kobayashi geodesics always map to the locus of real multiplication and that the Q-irreducibility of the induced variation of Hodge structures implies that they are defined over a number field.
• The Arnoux-Yoccoz Teichmueller disc(math/0611655)

May 14, 2008 math.GT, math.DS
We prove that the Teichmueller disc stabilized by the Arnoux-Yoccoz pseudo-Anosov 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 non-commuting pseudo-Anosov diffeomorphisms.
• Linear manifolds in the moduli space of one-forms(math/0703145)

Nov. 6, 2007 math.AG
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 non-generic strata similar results can be shown by a case-by-case 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.