We analyze Weierstrass cycles and tautological rings in moduli space of smooth algebraic curves and in moduli spaces of integral algebraic curves with embedded disks with special attention to moduli spaces of curves having genus $leq 6$. In particular, we show that our general formula gives a good estimate for the dimension of Weierstrass cycles for lower genera.
This paper is built on the following observation: the purity of the mixed Hodge structure on the cohomology of Browns moduli spaces is essentially equivalent to the freeness of the dihedral operad underlying the gravity operad. We prove these two facts by relying on both the geometric and the algebraic aspects of the problem: the complete geometric description of the cohomology of Browns moduli spaces and the coradical filtration of cofree cooperads. This gives a conceptual proof of an identity of Bergstrom-Brown which expresses the Betti numbers of Browns moduli spaces via the inversion of a generating series. This also generalizes the Salvatore-Tauraso theorem on the nonsymmetric Lie operad.
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 Hains 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.
We study a space of genus $g$ stable, $n$-marked tropical curves with total edge length $1$. Its rational homology is identified both with top-weight cohomology of the complex moduli space $M_{g,n}$ and with the homology of a marked version of Kontsevichs graph complex, up to a shift in degrees. We prove a contractibility criterion that applies to various large subspaces. From this we derive a description of the homotopy type of the tropical moduli space for $g = 1$, the top weight cohomology of $M_{1,n}$ as an $S_n$-representation, and additional calculations for small $(g,n)$. We also deduce a vanishing theorem for homology of marked graph complexes from vanishing of cohomology of $M_{g,n}$ in appropriate degrees, and comment on stability phenomena, or lack thereof.
We give a summary of joint work with Michael Thaddeus that realizes toroidal compactifcations of split reductive groups as moduli spaces of framed bundles on chains of rational curves. We include an extension of this work that covers Artin stacks with good moduli spaces. We discuss, for complex groups, the symplectic counterpart of these compactifications, and conclude with some open problems about the moduli problem concerned.