This package provides functions which construct g-nodal canonical curves with a degree k line bundle, which lie on a normalized scroll. It furthermore contains functions which compute the so-called relative canonical resolution. The construction of such canonical curves is based on the M2-package
kGonalNodalCurves. This package can be seen as an upgrade to the
kGonalNodalCurves -package.
We also provide functions to compute (possibly non-minimal) free resolutions of such curves by an iterated mapping cone construction, as described in Schreyer's article
Syzygies of Canonical Curves and Special Linear Series.
Construction of relative canonical resolutions
- canCurveWithFixedScroll -- Computes a g-nodal canonical curve with a degree k line bundle on a normalized scroll
- curveOnScroll -- Computes the ideal of a canonical curve on a normalized scroll in terms of generators of the scroll
- resCurveOnScroll -- Computes the relative canonical resolution
Iterated mapping cones and Eagon-Nortcott type complexes
- eagonNorthcottType -- Computes the Eagon-Northcott type resolution
- liftMatrixToENT -- Lifts a matrix between bundles on the scroll to the associated Eagon-Northcott type complexes
- iteratedMC -- Computes a (possibly non-minimal) resolution of C in PP^{g-1} starting from the relative canonical resolution of C in P(E)