Picard group of moduli of hyperelliptic curves (Q2465396): Difference between revisions

Call \(H_g\) the coarse moduli space of hyperelliptic curves of genus \(g\), defined over an algebraically closed field of characteristic \(\neq 2\). Call \({\mathcal H}_g\) the moduli stack of hyperelliptic curves. The authors compute the divisor class group \(\mathrm{Cl}(H_g)\) of the coarse moduli space, for most values of the characteristic. As a consequence, they prove that \(\mathrm{Pic}(H_g\)) is trivial, and exclude the existence of a universal family over the open set parametrizing curves with no extra automorphisms. The authors compare then the group \(\mathrm{Cl}(H_g)\) with the Picard group of \({\mathcal H}_g\), already computed by \textit{A. Arsie} and \textit{A. Vistoli} [Compos. Math. 140, No. 3, 647--666 (2004; Zbl 1169.14301)], and produce an explicit set of generators for \(\mathrm{Pic}({\mathcal H}_g)\).