We introduce a space of stable meromorphic differentials with poles of prescribed orders and define its tautological cohomology ring. This space, just as the space of holomorphic differentials, is stratified according to the set of multiplicities of zeros of the differential. The main goal of this paper is to compute the Poincar 'e-dual cohomology classes of all strata. We prove that all these classes are tautological and give an algorithm to compute them. In a second part of the paper we study the Picard group of the strata. We use the tools introduced in the first part to deduce several relations in these Picard groups.
* Compactification via log-geometry. J 'er 'emy Gu 'er 'e constructed a moduli space of rubber'' differentials using log geometry. He proved that this space is endowed with a perfect obstruction theory. Moreover, if @math , this moduli space surjects onto the moduli space of twisted canonical divisors and the class @math is the push-forward of the virtual fundamental cycle (see @cite_15 ).
@cite_15
2320222014
We give a log-geometric description of the space of twisted canonical divisors constructed by Farkas--Pandharipande. In particular, we introduce the notion of a principal rubber @math -log-canonical divisor, and we study its moduli space. It is a proper Deligne--Mumford stack admitting a perfect obstruction theory whose virtual fundamental cycle is of dimension @math . In the so-called strictly meromorphic case with @math , the moduli space is of the expected dimension and the push-forward of its virtual fundamental cycle to the moduli space of stable curves equals the weighted fundamental class of the moduli space of twisted canonical divisors. Conjecturally, it yields a formula of Pixton generalizing the double ramification cycle in the moduli space of stable curves. The moduli space of canonical divisors (with prescribed zeros and poles) on nonsingular curves is not compact since the curve may degenerate. We define a proper moduli space of twisted canonical divisors in the moduli space of Deligne-Mumford stable pointed curves which includes the space of canonical divisors as an open subset. The theory leads to geometric combinatorial constraints on the closures of the moduli spaces of canonical divisors. In case the differentials have at least one pole (the strictly meromorphic case), the moduli spaces of twisted canonical divisors on genus g curves are of pure codimension g in the moduli spaces of stable pointed curves. In addition to the closure of the canonical divisors on nonsingular curves, the moduli spaces have virtual components. In the Appendix, a complete proposal relating the sum of the fundamental classes of all components (with intrinsic multiplicities) to a formula of Pixton is proposed. The result is a precise and explicit conjecture in the tautological ring for the weighted fundamental class of the moduli spaces of twisted canonical divisors. As a consequence of the conjecture, the classes of the closures of the moduli spaces of canonical divisors on nonsingular curves are determined (both in the holomorphic and meromorphic cases). Using stable log maps, we introduce log twisted differentials extending the notion of abelian differentials to the Deligne-Mumford boundary of stable curves. The moduli stack of log twisted differentials provides a compactification of the strata of abelian differentials. The open strata can have up to three connected components, due to spin and hyperelliptic structures. We prove that the spin parity can be distinguished on the boundary of the log compactification. Moreover, combining the techniques of log geometry and admissible covers, we introduce log twisted hyperelliptic differentials, and prove that their moduli stack provides a toroidal compactification of the hyperelliptic loci in the open strata. Curves of genus g which admit a map to CP1 with specified ramification profile mu over 0 and nu over infinity define a double ramification cycle DR_g(mu,nu) on the moduli space of curves. The study of the restrictions of these cycles to the moduli of nonsingular curves is a classical topic. In 2003, Hain calculated the cycles for curves of compact type. We study here double ramification cycles on the moduli space of Deligne-Mumford stable curves. The cycle DR_g(mu,nu) for stable curves is defined via the virtual fundamental class of the moduli of stable maps to rubber. Our main result is the proof of an explicit formula for DR_g(mu,nu) in the tautological ring conjectured by Pixton in 2014. The formula expresses the double ramification cycle as a sum over stable graphs (corresponding to strata classes) with summand equal to a product over markings and edges. The result answers a question of Eliashberg from 2001 and specializes to Hain's formula in the compact type case. When mu and nu are both empty, the formula for double ramification cycles expresses the top Chern class lambda_g of the Hodge bundle of the moduli space of stable genus g curves as a push-forward of tautological classes supported on the divisor of nonseparating nodes. Applications to Hodge integral calculations are given. The main goal of this work is to construct and study a reasonable compactification of the strata of the moduli space of Abelian differentials. This allows us to compute the Kodaira dimension of some strata of the moduli space of Abelian differentials. The main ingredients to study the compactifications of the strata are a version of the plumbing cylinder construction for differential forms and an extension of the parity of the connected components of the strata to the differentials on curves of compact type. We study in detail the compactifications of the hyperelliptic minimal strata and of the odd minimal stratum in genus three. I describe the noncommutative Batalin-Vilkovisky geometry as- sociated naturally with arbitrary modular operad. The classical limit of this geometry is the noncommutative symplectic geometry of the corresponding tree-level cyclic operad. I show, in particular, that the algebras over the Feyn- man transform of a twisted modular operad P are in one-to-one correspondence with solutions to quantum master equation of Batalin-Vilkovisky geometry on the affineP manifolds. As an application I give a construction of character- istic classes with values in the homology of the quotient of Deligne-Mumford moduli spaces. These classes are associated naturally with solutions to the quantum master equation on affineS(t) manifolds, where S(t) is the twisted modular Det operad constructed from symmetric groups, which generalizes the cyclic operad of associative algebras. In this paper, we study the birational geometry of the Hilbert scheme of n points on P^2. We discuss the stable base locus decomposition of the effective cone and the corresponding birational models. We give modular interpretations to the models in terms of moduli spaces of Bridgeland semi-stable objects. We construct these moduli spaces as moduli spaces of quiver representations using G.I.T. and thus show that they are projective. There is a precise correspondence between wall-crossings in the Bridgeland stability manifold and wall-crossings between Mori cones. For n at most 9, we explicitly determine the walls in both interpretations and describe the corresponding flips and divisorial contractions. Abstract We study the algebro-geometric aspects of Teichmuller curves parameterizing square-tiled surfaces with two applications. (a) There exist infinitely many rigid curves on the moduli space of hyperelliptic curves. They span the same extremal ray of the cone of moving curves. Their union is a Zariski dense subset. Hence they yield infinitely many rigid curves with the same properties on the moduli space of stable n -pointed rational curves for even n . (b) The limit of slopes of Teichmuller curves and the sum of Lyapunov exponents for the Teichmuller geodesic flow determine each other, which yields information about the cone of effective divisors on the moduli space of curves. Relations among tautological classes on the moduli space of stable curves are obtained via the study of Witten's r-spin theory for higher r. In order to calculate the quantum product, a new formula relating the r-spin correlators in genus 0 to the representation theory of sl2 is proven. The Givental-Teleman classification of CohFTs is used at two special semisimple points of the associated Frobenius manifold. At the first semisimple point, the R-matrix is exactly solved in terms of hypergeometric series. As a result, an explicit formula for Witten's r-spin class is obtained (along with tautological relations in higher degrees). As an application, the r=4 relations are used to bound the Betti numbers of the tautological ring of the moduli of nonsingular curves. At the second semisimple point, the form of the R-matrix implies a polynomiality property in r of Witten's r-spin class. In the Appendix (with F. Janda), a conjecture relating the r=0 limit of Witten's r-spin class to the class of the moduli space of holomorphic differentials is presented. We construct a representation of the affine W-algebra of ( g l _ r ) on the equivariant homology space of the moduli space of U r -instantons, and we identify the corresponding module. As a corollary, we give a proof of a version of the AGT conjecture concerning pure N=2 gauge theory for the group SU(r). We use a neck stretching argument for holomorphic curves to produce symplectic disks of small area and Maslov class with boundary on Lagrangian submanifolds of nonpositive curvature. Applications include the proof of Audin's conjecture on the Maslov class of Lagrangian tori in linear symplectic space, the construction of a new symplectic capacity, obstructions to Lagrangian embeddings into uniruled symplectic manifolds, a quantitative version of Arnold's chord conjecture, and estimates on the size of Weinstein neighbourhoods. The main technical ingredient is transversality for the relevant moduli spaces of punctured holomorphic curves with tangency conditions. We state conjectures on the asymptotic behavior of the volumes of moduli spaces of Abelian differentials and their Siegel–Veech constants as genus tends to infinity. We provide certain numerical evidence, describe recent advances and the state of the art towards proving these conjectures. Let X be the total space of the canonical bundle of P^2. We study the generalized Donaldson-Thomas invariants, defined in the work of Joyce-Song, of the moduli spaces of the 2-dimensional Gieseker semistable sheaves on X with first Chern class equal to k times the class of the zero section of X. When k=1, 2 or 3, and semistability implies stability, we express the invariants in terms of known modular forms. We prove a combinatorial formula for the invariants when k=2 in the presence of the strictly semistable sheaves, and verify the BPS integrality conjecture of Joyce-Song in some cases. We prove that every non-constant holomorphic mapeM& em&⊂g,p& sub&→ eM& em&⊂& g',p'& sub& between moduli spaces of Riemann surfaces is a forgetful map, provided that g ≥ 6 and g' ≤ 2g-2. Let @math be a smooth scheme over an algebraically closed field @math of characteristic zero and @math a regular function, and write @math Crit @math , as a closed subscheme of @math . The motivic vanishing cycle @math is an element of the @math -equivariant motivic Grothendieck ring @math defined by Denef and Loeser math.AG 0006050 and Looijenga math.AG 0006220, and used in Kontsevich and Soibelman's theory of motivic Donaldson-Thomas invariants, arXiv:0811.2435. We prove three main results: (a) @math depends only on the third-order thickenings @math of @math . (b) If @math is another smooth scheme, @math is regular, @math Crit @math , and @math is an embedding with @math and @math an isomorphism, then @math equals @math "twisted" by a motive associated to a principal @math -bundle defined using @math , where now we work in a quotient ring @math of @math . (c) If @math is an "oriented algebraic d-critical locus" in the sense of Joyce arXiv:1304.4508, there is a natural motive @math , such that if @math is locally modelled on Crit @math , then @math is locally modelled on @math . Using results from arXiv:1305.6302, these imply the existence of natural motives on moduli schemes of coherent sheaves on a Calabi-Yau 3-fold equipped with "orientation data", as required in Kontsevich and Soibelman's motivic Donaldson-Thomas theory arXiv:0811.2435, and on intersections of oriented Lagrangians in an algebraic symplectic manifold. This paper is an analogue for motives of results on perverse sheaves of vanishing cycles proved in arXiv:1211.3259. We extend this paper to Artin stacks in arXiv:1312.0090. We study four dimensional N=2 supersymmetric gauge theory in the Omega-background with the two dimensional N=2 super-Poincare invariance. We explain how this gauge theory provides the quantization of the classical integrable system underlying the moduli space of vacua of the ordinary four dimensional N=2 theory. The epsilon-parameter of the Omega-background is identified with the Planck constant, the twisted chiral ring maps to quantum Hamiltonians, the supersymmetric vacua are identified with Bethe states of quantum integrable systems. This four dimensional gauge theory in its low energy description has two dimensional twisted superpotential which becomes the Yang-Yang function of the integrable system. We present the thermodynamic-Bethe-ansatz like formulae for these functions and for the spectra of commuting Hamiltonians following the direct computation in gauge theory. The general construction is illustrated at the examples of the many-body systems, such as the periodic Toda chain, the elliptic Calogero-Moser system, and their relativistic versions, for which we present a complete characterization of the L^2-spectrum. We very briefly discuss the quantization of Hitchin system. In the 80's H. Masur and W. Veech defined two numerical invariants of strata of abelian differentials: the volume and the Siegel-Veech constant. Based on numerical experiments, A. Eskin and A. Zorich proposed a series of conjectures for the large genus asymptotics of these invariants. By a careful analysis of the asymptotic behavior of quasi-modular forms, D. Chen, M. Moeller, and D. Zagier proved this conjecture for strata of differentials with simple zeros. Here, we prove that the conjecture holds for the other extreme case, i.e. for strata of differentials with a unique zero. Our main ingredient is the expression of the numerical invariants of these strata in terms of Hodge integrals on moduli spaces of curves. In §8.5 we have considered a geometric problem in the theory of stationary Gaussian processes and we have reduced this problem to the problem of the description of the bounded linear operators on Hilbert space that are unitarily equivalent to moduli of Hankel operators. In this chapter we are going to solve the latter problem, which in turn will lead to a solution of the above geometric problem in prediction theory. We consider massless string scattering amplitudes in a limit where the number of external particles becomes very large, while the energy of each particle remains small. Using the growth of the volume of the relevant moduli space, and by means of independent numerical evidence, we argue that string perturbation theory breaks down in this limit. We discuss some remarkable implications for the information paradox. 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.