On torsors under elliptic curves and Serre's pro-algebraic structures (Q2249620): Difference between revisions

Let \(K\) be a field admitting a discrete valuation ring \({\mathcal O}_K\) with algebraically closed residue field of positive characteristic and spectrum \(S\). Let \(X_K\) be a torsor of an elliptic curve over \(K\) and \(X\) a proper minimal regular model of \(X_K\) over \(S\). The relative Picard functor \(\text{Pic}^0_{X/S}\) is in general not representable. However, \textit{M. Raynaud} showed [Publ. Math., Inst. Hautes Étud. Sci. 38, 27--76 (1970; Zbl 0207.51602)] that there exists an epimorphism of fppf-sheaves \(q: \text{Pic}^0_{X/S}\to J\), where \(J\) denotes the identity component of the Néron model of \(\text{Pic}^0_{X_K/K}\) over \(S\). It is the aim of this paper to study the morphism \(q\). The main result is the determination of the kernel of \(q\) and to show that, using Greenberg realization functors, that \(q\) is pro-algebraic in nature, hence giving an exact sequence of pro-algebraic groups. The morphism \(q\) can be thought of as an analogue of the norm map in local class field theory studied by \textit{J.-P. Serre} [Bull. Soc. Math. Fr. 89, 105--154 (1961; Zbl 0166.31103)]. Moreover, the results of the paper are interpreted in relation to the duality theory for torsors under abelian varieties due to Shafarevich.