English

A N\'eron model of the universal jacobian

Algebraic Geometry 2015-09-08 v2

Abstract

The jacobian of the universal curve over Mg,n\mathcal{M}_{g,n} is an abelian scheme over Mg,n\mathcal{M}_{g,n}. Our main result is the construction of an algebraic space β ⁣:M~g,nMˉg,n\beta\colon \tilde{\mathcal{M}}_{g,n} \rightarrow \bar{\mathcal{M}}_{g,n} over which this jacobian admits a N\'eron model, and such that β\beta is universal with respect to this property. We prove certain basic properties, for example that β\beta is separated, locally of finite presentation, and satisfies a certain restricted form of the valuative criterion for properness. In general, β\beta is not quasi-compact. We relate our construction to Caporaso's balanced Picard stack Pd,g\mathcal{P}_{d,g}.

Keywords

Cite

@article{arxiv.1412.2243,
  title  = {A N\'eron model of the universal jacobian},
  author = {David Holmes},
  journal= {arXiv preprint arXiv:1412.2243},
  year   = {2015}
}

Comments

36 pages. Major revision. Notation completely revised. An important error in the old lemma 6.2 is corrected. New material added making the construction more explicit in the universal case, discussing the pullback of the universal Neron-model admitting morphism, and showing that it is smooth over $\mathbb{Z}$