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.
Rapid developments in genetics and biology have led to phylogenetic methods becoming an important direction in the study of cancer and viral evolution. Although our understanding of gene biology and biochemistry has increased and is increasing at a remarkable rate, the theoretical models of genetic evolution still use the phylogenetic tree model that was introduced by Darwin in 1859 and the generalization to phylogenetic networks introduced by Grant in 1971. Darwins model uses phylogenetic trees to capture the evolutionary relationships of reproducing individuals [6]; Grants generalization to phylogenetic networks is meant to account for the phenomena of horizontal gene transfer [14]. Therefore, it is important to provide an accurate mathematical description of these models and to understand their connection with other fields of mathematics. In this article, we focus on the graph theoretical aspects of phylogenetic trees and networks and their connection to stable curves. We introduce the building blocks of evolutionary moduli spaces, the dual intersection complex of the moduli spaces of stable curves, and the categorical relationship between the phylogenetic spaces and stable curves in $overline{mathfrak{M}}_{0,n}(mathbb{C})$ and $overline{mathfrak{M}}_{0,n}(mathbb{R})$. We also show that the space of network topologies maps injectively into the boundary of $overline{mathfrak{M}}_{g,n}(mathbb{C})$.