Let ${mathcal I}(n)$ denote the moduli space of rank $2$ instanton bundles of charge $n$ on ${mathbb P}^3$. We know from several authors that ${mathcal I}(n)$ is an irreducible, nonsingular and affine variety of dimension $8n-3$. Since every rank $2$ instanton bundle on ${mathbb P}^3$ is stable, we may regard ${mathcal I}(n)$ as an open subset of the projective Gieseker--Maruyama moduli scheme ${mathcal M}(n)$ of rank $2$ semistable torsion free sheaves $F$ on ${mathbb P}^3$ with Chern classes $c_1=c_3=0$ and $c_2=n$, and consider the closure $overline{{mathcal I}(n)}$ of ${mathcal I}(n)$ in ${mathcal M}(n)$. We construct some of the irreducible components of dimension $8n-4$ of the boundary $partial{mathcal I}(n):=overline{{mathcal I}(n)}setminus{mathcal I}(n)$. These components generically lie in the smooth locus of ${mathcal M}(n)$ and consist of rank $2$ torsion free instanton sheaves with singularities along rational curves.
This article accompanies my lecture at the 2015 AMS summer institute in algebraic geometry in Salt Lake City. I survey the recent advances in the study of tautological classes on the moduli spaces of curves. After discussing the Faber-Zagier relations on the moduli spaces of nonsingular curves and the kappa rings of the moduli spaces of curves of compact type, I present Pixtons proposal for a complete calculus of tautological classes on the moduli spaces of stable curves. Several open questions are discussed. An effort has been made to condense a great deal of mathematics into as few pages as possible with the hope that the reader will follow through to the end.
We compute the number of moduli of all irreducible components of the moduli space of smooth curves on Enriques surfaces. In most cases, the moduli maps to the moduli space of Prym curves are generically injective or dominant. Exceptional behaviour is related to existence of Enriques--Fano threefolds and to curves with nodal Prym-canonical model.
For $4 mid L$ and $g$ large, we calculate the integral Picard groups of the moduli spaces of curves and principally polarized abelian varieties with level $L$ structures. In particular, we determine the divisibility properties of the standard line bundles over these moduli spaces and we calculate the second integral cohomology group of the level $L$ subgroup of the mapping class group (in a previous paper, the author determined this rationally). This entails calculating the abelianization of the level $L$ subgroup of the mapping class group, generalizing previous results of Perron, Sato, and the author. Finally, along the way we calculate the first homology group of the mod $L$ symplectic group with coefficients in the adjoint representation.
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.