Resolutions of general canonical curves on rational normal scrolls (Q501157): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(9 intermediate revisions by 6 users not shown) | |||
Property / 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)\). | |||
Property / 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)\). / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14H51 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13D02 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14Q05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6492756 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
syzygy | |||
Property / zbMATH Keywords: syzygy / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
canonical curve | |||
Property / zbMATH Keywords: canonical curve / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
rational normal scroll | |||
Property / zbMATH Keywords: rational normal scroll / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
minimal free resolution | |||
Property / zbMATH Keywords: minimal free resolution / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Edoardo Ballico / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: RelativeCanonicalResolution / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Macaulay2 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3105566364 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1505.07235 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Petri's approach to the study of the ideal associated to a special divisor / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3480205 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Syzygies of 5-gonal canonical curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariants of a General Branched Cover of P1 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4895637 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Picard rank conjecture for the Hurwitz spaces of degree up to five / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the variety of special linear systems on a general algebraic curve / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3919817 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Syzygies of canonical curves and special linear series / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tropical independence. II: The maximal rank conjecture for quadrics / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 20:51, 10 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Resolutions of general canonical curves on rational normal scrolls |
scientific article |
Statements
Resolutions of general canonical curves on rational normal scrolls (English)
0 references
9 October 2015
0 references
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)\).
0 references
syzygy
0 references
canonical curve
0 references
rational normal scroll
0 references
minimal free resolution
0 references