Two ways to degenerate the Jacobian are the same (Q1951008)

This paper relates two different approaches to extending families of Jacobian varieties. If \(X_{0}\) is a smooth projective curve of genus \(g,\) then the associated Jacobian variety is a \(g-\)dimensional smooth projective variety \(J_{0}\) that can be described in two different ways: as the Albanese variety and as the Picard variety. If \(X_{U} \rightarrow U\) is a family of smooth, projective curves, then the Jacobians of the fibers fit together to form a family \(J_{U} \rightarrow U.\) Let \(U\) will be an open subset of a smooth curve \(B\) (or a Dedekind scheme). The author investigates extending \(J_{U}\) to a family over \(B.\) Viewing the Jacobian as the Picard variety is to extend \(J_{U} \rightarrow U\) as family of moduli spaces of sheaves (the approach of Mayer and Mumford). One first extends \(X_{U} \rightarrow U\) to a family of curves \(X \rightarrow B\) and then extends \(J_{U}\) to a family \(\overline{J} \rightarrow B\) with the property that the fiber over a point \(b \in B\) is a moduli space of sheaves on \(X_{b}\) parametrizing certain line bundles, together with their degenerations. In this paper, the author showed that the line bundle locus \(J\) in \(\overline{J}\) is canonically isomorphic to the Néron model for some schemes \(\overline{J}.\) The main result is Theorem 1. Fix a Dedekind scheme \(B.\) Let \(f: X \rightarrow B\) be a family of geometrically reduced curves with regular total space \(X\) and smooth generic fiber \(X_{\eta}.\) Let \(J \subset \overline{J}\) the locus of line bundles in one of the following moduli spaces: the Esteves compactified Jacobian \(\overline{J}^{\sigma}_{{E}};\) the Simpson compactified Jacobian \(\overline{J}^{0}_{{L}}\) associated to an \(f\)-ample line bundle \({L}\) such that slope semistability coincides with slope stability. The \(J\) is the Néron model of its generic fiber.