Syzygies of torsion bundles and the geometry of the level \(\ell \) modular variety over \(\overline{\mathcal{M}}_{g}\) (Q378057)

Green conjectured and \textit{C. Voisin} proved in [Compos. Math. 141, No. 5, 1163--1190 (2005; Zbl 1083.14038)] that the minimal resolution of the canonical ring of a general curve of genus \(g\geq 3\) is as simple as possible. The locus of curves whose canonical ring has extra syzygies is a divisor in the moduli space and this is used to prove that the moduli space of curves of high enough genus is of general type. The present paper concerns the analogous statements for twisted canonical bundle and moduli of paracanonical curves \({\mathcal R}_{g,\ell}\), i.e. pairs \((C,\eta)\) with \(C\) a smooth curve of genus \(g\) and \(\eta\) an \(\ell\)-torsion point in the Jacobian of \(C\). A Prym-Green conjecture on the on the resolution of the coordiante ring of the paracanonical curve is stated and verified computationally for all \(g\leq 18\) and small \(\ell\) except for \(g=8\) and \(16\) and \(\ell=2\). Moreover, it is shown that \({\mathcal R}_{g,3}\) is of general type if \(g\geq 12\) and the Kodaira dimension of \({\mathcal R}_{11,3}\) is greater or equal to \(19\). Some of the results are proved in more generality for arbitrary twisted canonical line bundles. The geometry of some moduli spaces \({\mathcal R}_{g,\ell}\) for some small \(g\) and \(\ell\) is also investigated. Finally it is argued probabilistically that the Prym-Green conjecture fails in genus 8 for \(\ell= 2\).