On a conjecture on linear systems

From MaRDI portal



Abstract: In a remark to Green's conjecture, Paranjape and Ramanan analyzed the vector bundle E which is the pullback by the canonical map of the universal quotient bundle TPpg−1(−1) on Ppg−1 and stated a more general conjecture and proved it for the curves with Clifford Index 1 (trigonal and plane quintic). In this paper, we state the conjecture for general linear systems and obtain the results for the case of hyperelliptic curves.


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\).





Describes a project that uses

Uses Software






This page was built for publication: On a conjecture on linear systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2401133)