Conjecture de Franchetta forte. (Strong Franchetta conjecture) (Q1071073)

Let \(M_ g\) be the moduli space of genus g smooth curves (g\(\geq 3)\), \(k_ g\) the function field and \({\mathcal C}_ g\) the universal curve over \(k_ g\). The Picard group Pic(\({\mathcal C}_ g)\) is generated by the canonical divisor class. This is A. Franchetta's conjecture [\textit{A. Franchetta}, Matematiche 9, 126-147 (1954; Zbl 0057.129)] which is proved as a consequence of J. Harer's results [\textit{J. Harer}, Invent. Math. 72, 221-239 (1983; Zbl 0533.57003)]. The aim of this paper is to prove that the rational points group \underbar{Pic}\({}_{{\mathcal C}_ g/k_ g}(k_ g)\) of the Picard scheme \underbar{Pic}\({}_{{\mathcal C}_ g/k_ g}\) of \({\mathcal C}_ g\) is also generated by the canonical divisor class. We use Franchetta's conjecture and canonical singular reducible curves of arithmetical genus g in \({\mathbb{P}}^{g-1}\) already used by \textit{F. Enriques} and \textit{O. Chisini} when they proved that the degree of any divisor on \({\mathcal C}_ g\) is a multiple of 2g-2 [''Lezioni sulla teoria geometrica delle equazione e delle funzioni algebriche'' (Bologna 1915 and 1918)].