×

Resolutions of general canonical curves on rational normal scrolls. (English) Zbl 1326.14074

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 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\) [A. Deopurkar and A. Patel, Algebra Number Theory 9, No. 2, 459–492 (2015; Zbl 1325.14044)] and [C. Bopp, “Syzygies of 5-gonal canonical curves”, preprint, 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)\) [G. Bujokas and A. Patel, “Invariants of a general branched cover over the projective line”, Preprint, 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)\).

MSC:

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

References:

[1] Arbarello E., Sernesi E.: Petri’s approach to the study of the ideal associated to a special divisor, Invent. Math., 49, 99-119 (1978) · Zbl 0399.14019
[2] Ballico E.: A remark on linear series on general k-gonal curves, Boll. Un. Mat. Ital. A 3(7), 195-197 (1989) · Zbl 0702.14026
[3] C. Bopp, Syzygies of 5-gonal canonical curves. Available at http://arxiv.org/pdf/1404.7851v1, 2014. · Zbl 1358.13016
[4] C. Bopp and M. Hoff, RelativeCanonicalResolution.m2—construction of relative canonical resolutions and Eagon-Northcott type compexes, a \[{\tt{Macaulay2}}\] Macaulay2 package. Available at http://www.math.uni-sb.de/ag-schreyer/index.php/people/researchers/75-christian-bopp, 2015. · Zbl 0702.14026
[5] G. Bujokas and A. Patel, Invariants of a general branched cover over the projective line. Available at http://arxiv.org/pdf/1504.03756v1, 2015. · Zbl 1490.14049
[6] Casnati G., Ekedahl T.: Covers of algebraic varieties. I. A general structure theorem, covers of degree 3,4 and Enriques surfaces. J. Algebraic Geom. 5, 439-460 (1996) · Zbl 0866.14009
[7] A. Deopurkar and A. Patel, The Picard rank conjecture for the Hurwitz spaces of degree up to five. Available at http://arxiv.org/pdf/1402.1439v2, 2014. · Zbl 1325.14044
[8] D. R. Grayson and M. E. Stillman, Macaulay2, a software system for research in algebraic geometry, Available at http://www.math.uiuc.edu/Macaulay2.
[9] Griffiths P., Harris J.: On the variety of special linear systems on a general algebraic curve. Duke Math. J., 47, 233-272 (1980) · Zbl 0446.14011 · doi:10.1215/S0012-7094-80-04717-1
[10] Harris J.: A bound on the geometric genus of projective varieties. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 8(4), 35-68 (1981) · Zbl 0467.14005
[11] Schreyer F.-O.: Syzygies of canonical curves and special linear series. Math. Ann., 275, 105-137 (1986) · Zbl 0578.14002 · doi:10.1007/BF01458587
[12] D. Jensen and S. Payne, Tropical independence II: The maximal rank conjecture for quadrics. Available at http://arxiv.org/pdf/1505.05460v2.pdf, 2015. · Zbl 1379.14020
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.