Resolutions of general canonical curves on rational normal scrolls

DOI10.1007/S00013-015-0794-XMaRDI QIDQ501157zbMATH OpenOpenAlexFDO

Authors Christian Bopp, Michael Hoff

Publication date 9 October 2015

Published in Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1505.07235

zbMATH Keywords

canonical curveminimal free resolutionrational normal scrollsyzygy

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Special divisors on curves (gonality, Brill-Noether theory) (14H51) Computational aspects of algebraic curves (14Q05)

Abstract: Let $Csubsetmathbb{P}^{g-1}$ be a general curve of genus $g$ and let $k$ be a positive integer such that the Brill-Noether number $ho(g,k,1)geq0$ and $g>k+1$. The aim of this short note is to study the relative canonical resolution of $C$ on a rational normal scroll swept out by a $g_k^1=|L|$ with $Lin{W}_k^1(C)$ general. We show that the bundle of quadrics appearing in the relative canonical resolution is unbalanced if and only if $ho>0$ and $(k-ho-frac72{)}^2-2k+frac234>0$.

Review text

Let \(C\subset \mathbb {P}^{g-1}\) be the canonical model of a general curve of genus \(g\). Fix an integer \(k\) such that \(\lceil (g+2)/2\rceil \leq k <g\) and fix a \(g^1_k\) on \(C\). The union of the \((k-1)\)-dimensional linear subspaces spanned by the divisors of the \(g^1_k\) is a rational normal scroll \(\mathbb {P}(\mathcal {E})\). By \textit{F. O. Schreyer} [Math. Ann. 275, 105--137 (1986; Zbl 0578.14002)] the resolution of \(C\) in \(\mathbb {P}(\mathcal {E})\) is determined by bundles \(N_i\), \(1\leq i\leq k-2\), on \(\mathbb {P}^1\) whose ranks and degrees only depend on \(g\), \(k\), and \(i\). It is conjectured that these bundles have rigid splitting type. This is true if \(k\leq 5\) [\textit{A. Deopurkar} and \textit{A. Patel}, Algebra Number Theory 9, No. 2, 459--492 (2015; Zbl 1325.14044)] and [\textit{C. Bopp}, ``Syzygies of 5-gonal canonical curves, preprint, \url{arxiv:1404.7851}]. The \(N_i\) are rigid if \(g = nk+1\) with \(n\geq 1\) and so is \(N_1\) if \(g\geq (k-1)(k-3)\) [\textit{G. Bujokas} and \textit{A. Patel}, ``Invariants of a general branched cover over the projective line, Preprint, \url{arxiv:1504.03756}]. In the paper under review, the authors prove that for a general \((C,g^1_k)\) with non-negative Brill-Noether number \(N_1\) is unbalaced if and only if \((k-\rho -\frac{7}{2})^2-2k-\frac{23}{4} >0\) and \(\rho >0\), where \(\rho := 2k-g-2\). The authors have many experimental computations (with a dedicated package in Macaulay2) and they make two conjectures. One that the bundle \(N_1\) is balanced for a general \((C,g^1_k)\), when \(\rho (g,k,1)\leq 0\) The other one is a sharp upper bound for the difference between the degree of the maximal rank \(1\) factor and the minimal rank \(1\) factor for a general curve \(C\) and a general \(g^1_k\in W^1_k(C)\).

Recommendations

• Segre embeddings and the canonical image of a curve
• Brill-Noether theory and non-special scrolls
• Brill-Noether theory on singular curves (examples with non-existence)
• scientific article; zbMATH DE number 2069482
• A remark on very ample linear series. III
• Stability of normal bundles of space curves
• Varieties of cuspidal curves in \({\mathbb{P}}^ r\)
• The Brill-Noether problem and the Teixidor theorem
• scientific article; zbMATH DE number 124446

Cites work

• scientific article; zbMATH DE number 4150387 (Why is no real title available?)
• scientific article; zbMATH DE number 3732219 (Why is no real title available?)
• scientific article; zbMATH DE number 935291 (Why is no real title available?)
• Invariants of a General Branched Cover of P1
• On the variety of special linear systems on a general algebraic curve
• Petri's approach to the study of the ideal associated to a special divisor
• Syzygies of 5-gonal canonical curves
• Syzygies of canonical curves and special linear series
• The Picard rank conjecture for the Hurwitz spaces of degree up to five
• Tropical independence. II: The maximal rank conjecture for quadrics

Cited in

(7)

• Intrinsicness of the Newton polygon for smooth curves on \({\mathbb {P}}^1\times {\mathbb {P}}^1\)
• Moduli of lattice polarized \(K3\) surfaces via relative canonical resolutions
• Equations and syzygies of \(K3\) carpets and unions of scrolls
• A characterization of bielliptic curves via syzygy schemes
• The relative canonical resolution: Macaulay2-package, experiments and conjectures
• Scrollar invariants, syzygies and representations of the symmetric group
• scientific article; zbMATH DE number 814603 (Why is no real title available?)

Describes a project that uses

Uses Software

• RelativeCanonicalResolution
• Macaulay2

This page was built for publication: Resolutions of general canonical curves on rational normal scrolls

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