Abstract
AbstractWe study smoothing of pencils of curves on surfaces with normal crossings. As a consequence we show that the canonical divisor of$\overline {\mathcal {M}}_{g,n}$is not pseudoeffective in some range, implying that$\overline {\mathcal {M}}_{12,6}$,$\overline {\mathcal {M}}_{12,7}$,$\overline {\mathcal {M}}_{13,4}$and$\overline {\mathcal {M}}_{14,3}$are uniruled. We provide upper bounds for the Kodaira dimension of$\overline {\mathcal {M}}_{12,8}$and$\overline {\mathcal {M}}_{16}$. We also show that the moduli space of$(4g+5)$-pointed hyperelliptic curves$\overline {\mathcal {H}}_{g,4g+5}$is uniruled. Together with a recent result of Schwarz, this concludes the classification of moduli of pointed hyperelliptic curves with negative Kodaira dimension.
Highlights
It has long been established that for ≥ 2, the moduli spaces M, are all of general type except for finitely many pairs (, ) occurring in relatively low genus
Since Severi’s conjecture [Se] was disproved by Harris and Mumford [HM], computing the Kodaira dimension has become a major task in the study of moduli spaces of curves; see [Se, CR1, CR2, EH1, EH2, BV, F, FJP, T, FV2] for an account on the results for = 0, and [Lo, FPo, FV1, Be, BM, KT] for ≥ 1
In the range 12 ≤ ≤ 16, there is no known example of a moduli space M, of intermediate type
Summary
It has long been established that for ≥ 2, the moduli spaces M , are all of general type except for finitely many pairs ( , ) occurring in relatively low genus. Farkas and Verra [FV2], building on [BV], very recently showed that M16 is not of general type – that is, the Kodaira dimension is bounded by dim M16 − 1. The standard argument in the literature to show that M , is uniruled is to start with a general pointed curve and construct a surface such that moves on a pencil with the marked points in the base locus. This becomes significantly harder as either or grows.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have