Resolutions of general canonical curves on rational normal scrolls (Q501157): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
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 / namelinks / 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
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references