No Arabic abstract
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.
Let X be a nonsingular projective algebraic variety, and let S be a line bundle on X. Let A = (a_1,..., a_n) be a vector of integers. Consider a map f from a pointed curve (C,x_1,...,x_n) to X satisfying the following condition: the line bundle f*(S) has a meromorphic section with zeroes and poles exactly at the marked points x_i with orders prescribed by the integers a_i. A compactification of the space of maps based upon the above condition is given by the moduli space of stable maps to rubber over X. The main result of the paper is an explicit formula (in tautological classes) for the push-forward of the virtual fundamental class of the moduli space of stable maps to rubber over X via the forgetful morphism to the moduli space of stable maps to X. In case X is a point, the result here specializes to Pixtons formula for the double ramification cycle. Applications of the new formula, viewed as calculating double ramification cycles with target X, are given.
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.
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})$.
We analyze cohomological properties of the Krichever map and use the results to study Weierstrass cycles in moduli spaces and the tautological ring.
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.