The generic Green-Lazarsfeld secant conjecture (Q2634619)

In the article under review, the authors establish a number of important results pertaining to syzygies of algebraic curves. The authors' first result concerns the Prym-Green Conjecture, as formulated in [\textit{A. Chiodo} et al., ibid. 194, No. 1, 73--118 (2013; Zbl 1284.14006)], which asserts that the minimal free resolution of the section ring \(\Gamma_C(K_C \otimes \eta)\) for \([C,\eta] \in \mathcal{R}_g\) a general Prym curve is natural; here \(C\) is a smooth curve of genus \(g\), \(K_C\) denotes the canonical line bundle of \(C\), \(\eta\) is a non-trivial two torsion line bundle on \(C\) and \(\mathcal{R}_g\) denotes the moduli space of genus \(g\) Prym curves. The authors' first result is that the Prym-Green conjecture holds true for a general Prym curve \([C,\eta] \in \mathcal{R}_g\) of odd genus. Equivalently, if \(K_{p,q}(C,K_C\otimes \eta)\) denotes the Koszul cohomology groups of \(p\)-th syzygies of weight \(q\), for \([C,\eta] \in \mathcal{R}_g\) a general Prym curve of odd genus, then the authors prove that for all \(q\) there is at most one \(p\) for which the Koszul cohomology group \(K_{p,q-p}(C,K_C \otimes \eta)\) is nonzero. One aspect to the proof of this result involves studying syzygies of certain Prym curves of odd genus \(g \geq 11\) lying on general \(K3\) surfaces \(X\) equipped with a double cover \(\widetilde{X} \rightarrow X\) branched along eight disjoint rational curves. The authors then proceed to establish many instances of the Green-Lazarsfeld Secant Conjecture, as stated in [\textit{M. Green} and \textit{R. Lazarsfeld}, ibid. 83, 73--90 (1986; Zbl 0594.14010)]. As one example, the authors prove that the Green-Lazarsfeld Secant Conjecture holds true for a general curve \(C\) of genus \(g\) and a general line bundle \(L\) of degree \(d\) on \(C\). Important to the authors' proof of their results is \textit{C. Voisin}'s proof of Green's Conjecture on syzygies [J. Eur. Math. Soc. 4, No. 4, 363--404 (2002; Zbl 1080.14525); Compos. Math. 141, No. 5, 1163--1190 (2005; Zbl 1083.14038)], in addition to Theorem 1.6 of the paper under review which gives a formula for the class of the syzygy divisor in \(\mathrm{CH}^1(\mathcal{M}_{g,2g})\), the Chow ring of the moduli space of genus \(g\) curves with \(2g\) marked points.