Quasimodularity and large genus limits of Siegel-Veech constants

Chen, Dawei¹ ; Möller, Martin² ; Zagier, Don³

¹ Department of Mathematics, Maloney 549, Boston College, Chestnut Hill, Massachusetts 02467
² Goethe-Universitat Frankfurt, FB 12 Mathematik, Robert-Mayer-Str 6-8, 53757 Frankfurt, Germany
³ Max Planck Institute for Mathematics, Vivatsgasse 7, 53111 Bonn, Germany

Journal of the American Mathematical Society, Tome 31 (2018) no. 4, pp. 1059-1163

Résumé

Quasimodular forms were first studied systematically 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 also introduce certain 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 (quasi) modular properties of the generating functions arising from weighted counting of torus coverings. These two parts contain little geometry and can be read independently of the rest of the paper. The starting point is the theorem of Bloch and Okounkov saying that certain weighted averages, called $q$-brackets, of shifted symmetric functions on partitions are quasimodular forms. In Part II we give an expression for the growth polynomials (a certain polynomial invariant of quasimodular forms) of these $q$-brackets in terms of Gaussian integrals, and we 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 we prove a surprising formula for the $q$-bracket of the product of such a hook-length moment with an arbitrary shifted symmetric polynomial as a linear combination of derivatives of Eisenstein series. This formula gives a quasimodularity statement also for the $(-2)$-nd hook-length moments by an appropriate extrapolation, and this in turn 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. The generating functions have an amusing form in terms of the inversion of a power series (with multiples of Bernoulli numbers as coefficients) that gives the asymptotic expansion of a Hurwitz zeta function. To apply these exact formulas to the Eskin-Zorich conjectures on large genus asymptotics (both for the volume and the Siegel-Veech constant) we provide in a separate appendix a general framework for computing the asymptotics of rapidly divergent power series.

Détail

DOI : 10.1090/jams/900

Bibliographie

[1] Arbarello, Enrico, Cornalba, Maurizio Calculating cohomology groups of moduli spaces of curves via algebraic geometry Inst. Hautes Études Sci. Publ. Math. 1998

[2] Athreya, Jayadev S., Eskin, Alex, Zorich, Anton Right-angled billiards and volumes of moduli spaces of quadratic differentials on ℂℙ¹ Ann. Sci. Éc. Norm. Supér. (4) 2016 1311 1386

[3] Avila, Artur, Matheus, Carlos, Yoccoz, Jean-Christophe 𝑆𝐿(2,ℝ)-invariant probability measures on the moduli spaces of translation surfaces are regular Geom. Funct. Anal. 2013 1705 1729

[4] Bacher, Roland, Manivel, Laurent Hooks and powers of parts in partitions Sém. Lothar. Combin. 2001/02

[5] Bainbridge, Matt Billiards in L-shaped tables with barriers Geom. Funct. Anal. 2010 299 356

[6] Bauer, Max, Goujard, Elise Geometry of periodic regions on flat surfaces and associated Siegel-Veech constants Geom. Dedicata 2015 203 233

[7] Bloch, Spencer, Okounkov, Andrei The character of the infinite wedge representation Adv. Math. 2000 1 60

[8] Bott, Raoul, Tu, Loring W. Differential forms in algebraic topology 1982

[9] Chen, Dawei Square-tiled surfaces and rigid curves on moduli spaces Adv. Math. 2011 1135 1162

[10] Chen, Dawei, Mã¶Ller, Martin Nonvarying sums of Lyapunov exponents of Abelian differentials in low genus Geom. Topol. 2012 2427 2479

[11] Chen, Dawei, Mã¶Ller, Martin Quadratic differentials in low genus: exceptional and non-varying strata Ann. Sci. Éc. Norm. Supér. (4) 2014 309 369

[12] Dijkgraaf, Robbert Mirror symmetry and elliptic curves 1995 149 163

[13] Eskin, Alex, Kontsevich, Maxim, Zorich, Anton Sum of Lyapunov exponents of the Hodge bundle with respect to the Teichmüller geodesic flow Publ. Math. Inst. Hautes Études Sci. 2014 207 333

[14] Eskin, Alex, Masur, Howard Asymptotic formulas on flat surfaces Ergodic Theory Dynam. Systems 2001 443 478

[15] Eskin, Alex, Masur, Howard, Zorich, Anton Moduli spaces of abelian differentials: the principal boundary, counting problems, and the Siegel-Veech constants Publ. Math. Inst. Hautes Études Sci. 2003 61 179

[16] Eskin, A., Mirzakhani, M. Invariant and stationary measures for the SL(2,R) action on Moduli space 2013

[17] Eskin, Alex, Mirzakhani, Maryam, Mohammadi, Amir Isolation, equidistribution, and orbit closures for the 𝑆𝐿(2,ℝ) action on moduli space Ann. of Math. (2) 2015 673 721

[18] Eskin, Alex, Okounkov, Andrei Asymptotics of numbers of branched coverings of a torus and volumes of moduli spaces of holomorphic differentials Invent. Math. 2001 59 103

[19] Eskin, Alex, Okounkov, Andrei, Pandharipande, Rahul The theta characteristic of a branched covering Adv. Math. 2008 873 888

[20] Eskin, Alex, Zorich, Anton Volumes of strata of Abelian differentials and Siegel-Veech constants in large genera Arnold Math. J. 2015 481 488

[21] Farkas, Gavril, Popa, Mihnea Effective divisors on \overline{ℳ}_{ℊ}, curves on 𝒦3 surfaces, and the slope conjecture J. Algebraic Geom. 2005 241 267

[22] Filip, Simion Splitting mixed Hodge structures over affine invariant manifolds Ann. of Math. (2) 2016 681 713

[23] Hafner, James Lee, Iviä‡, Aleksandar On sums of Fourier coefficients of cusp forms Enseign. Math. (2) 1989 375 382

[24] Harris, J., Morrison, I. Slopes of effective divisors on the moduli space of stable curves Invent. Math. 1990 321 355

[25] Harris, Joe, Morrison, Ian Moduli of curves 1998

[26] Harris, Joe, Mumford, David On the Kodaira dimension of the moduli space of curves Invent. Math. 1982 23 88

[27] Kaneko, Masanobu, Zagier, Don A generalized Jacobi theta function and quasimodular forms 1995 165 172

[28] Kaufmann, R., Manin, Yu., Zagier, D. Higher Weil-Petersson volumes of moduli spaces of stable 𝑛-pointed curves Comm. Math. Phys. 1996 763 787

[29] Kerov, Serguei, Olshanski, Grigori Polynomial functions on the set of Young diagrams C. R. Acad. Sci. Paris Sér. I Math. 1994 121 126

[30] Kontsevich, M. Lyapunov exponents and Hodge theory 1997 318 332

[31] Kontsevich, Maxim, Zorich, Anton Connected components of the moduli spaces of Abelian differentials with prescribed singularities Invent. Math. 2003 631 678

[32] Lando, Sergei K., Zvonkin, Alexander K. Graphs on surfaces and their applications 2004

[33] Lassalle, Michel An explicit formula for the characters of the symmetric group Math. Ann. 2008 383 405

[34] Logan, Adam The Kodaira dimension of moduli spaces of curves with marked points Amer. J. Math. 2003 105 138

[35] Masur, Howard Interval exchange transformations and measured foliations Ann. of Math. (2) 1982 169 200

[36] Masur, Howard The growth rate of trajectories of a quadratic differential Ergodic Theory Dynam. Systems 1990 151 176

[37] Mccullagh, Peter Cumulants and partition lattices 2012 277 282

[38] Mirzakhani, Maryam, Zograf, Peter Towards large genus asymptotics of intersection numbers on moduli spaces of curves Geom. Funct. Anal. 2015 1258 1289

[39] Mã¶Ller, Martin Teichmüller curves, mainly from the viewpoint of algebraic geometry 2013 267 318

[40] Okun′Kov, A., Ol′Shanskiä­, G. Shifted Schur functions Algebra i Analiz 1997 73 146

[41] Rota, Gian-Carlo On the foundations of combinatorial theory. I. Theory of Möbius functions Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 1964

[42] Speed, T. P. Cumulants and partition lattices Austral. J. Statist. 1983 378 388

[43] Veech, William A. Gauss measures for transformations on the space of interval exchange maps Ann. of Math. (2) 1982 201 242

[44] Veech, William A. Siegel measures Ann. of Math. (2) 1998 895 944

[45] Vorobets, Ya. B. Ergodicity of billiards in polygons Mat. Sb. 1997 65 112

[46] Witten, Edward Two-dimensional gravity and intersection theory on moduli space 1991 243 310

[47] Yu, Fei, Zuo, Kang Weierstrass filtration on Teichmüller curves and Lyapunov exponents J. Mod. Dyn. 2013 209 237

[48] Zagier, Don Periods of modular forms and Jacobi theta functions Invent. Math. 1991 449 465

[49] Zagier, Don Elliptic modular forms and their applications 2008 1 103

[50] Zagier, Don Partitions, quasimodular forms, and the Bloch-Okounkov theorem Ramanujan J. 2016 345 368

[51] Zorich, Anton Square tiled surfaces and Teichmüller volumes of the moduli spaces of abelian differentials 2002 459 471

[52] Zorich, A. Flat surfaces 2006