On a conjecture on linear systems (Q2401133)

To solve some cases of Green's conjecture on the syzygies of canonical maps of a genus \(g\) curve \(C\) with Clifford index \(\gamma _C\), \textit{K. Paranjape} and \textit{S. Ramanan} [in: Algebraic geometry and commutative algebra, in Honor of Masayoshi Nagata, Vol. II, 503--516 (1988; Zbl 0699.14041)] analysed the rank \(g-1\) vector bundle \(E_K\) on \(C\) obtained as a pull-back of \(T\mathbb {P}^{g-1}(-1)\), made some conjectures on it and proved it for trigonal curves and plane quintic, i.e. curves of Clifford index \(1\); Green's conjecture is true for \(C\) if and only if the map \(u_i: \wedge ^i\Gamma (C,E_K) \to \Gamma (C, \bigwedge ^i E_K)\) is surjective for all \(i\leq \gamma _C\). They proved that \(\mathrm{Im}(u_i)\) contains all locally decomposable sections of \(\wedge ^i E_K\). Let \(\Sigma _i\) be the cone generated by the locally decomposable sections. \textit{K. Hulek} et al. [J. Algebr. Geom. 1, No. 3, 335--359 (1992; Zbl 0790.14031)] conjectured that \(\Sigma _i\) spans \(\Gamma (C, \bigwedge ^i E_K)\). \textit{F. Eusen} and \textit{F.-O. Schreyer} [in: Geometry and arithmetic. Based on the conference, Island of Schiermonnikoog, Netherlands, September 2010. Zürich: European Mathematical Society (EMS). 113--123 (2012; Zbl 1317.14076)] conjectured that \(\Sigma _i\) spans \(\Gamma (C, \bigwedge ^i E_K)\). In the paper under review the author poses the conjecture for an arbitrary embedding of the curve \(C\) induced by a complete linear system and prove the following result: Theorem: Let \(C\) be a hyperelliptic curve of genus \(g \geq 2\) and \(L\) a line bundle on \(C\) such that \(\deg (L)\geq 2g+1\) and \(h^1(L\otimes T^{-2})=0\), where \(T\) is the hyperelliptic line bundle. Let \(E\) be the dual of the kernel of the evaluation map \(\Gamma (L)\otimes \mathcal {O}_C\to L\). Then \(\Sigma _i\) spans \(\Gamma (C,\bigwedge ^i E)\) for all \(i \leq g\).