next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
RelativeCanonicalResolution :: RelativeCanonicalResolution

RelativeCanonicalResolution -- construction of relative canonical resolutions and Eagon-Northcott type complexes

Description

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)

Caveat

This package requires Macaulay2 Version 1.11 or newer.

Authors

Version

This documentation describes version 0.2 of RelativeCanonicalResolution.

Source code

The source code from which this documentation is derived is in the file RelativeCanonicalResolution.m2.

Exports

  • Functions and commands
    • balancedPartition -- Computes balanced partition of n of length d
    • canCurveWithFixedScroll -- Computes a g-nodal canonical curve with a degree k line bundle on a normalized scroll
    • canonicalMultipliers -- Computes the canonical multipliers of a rational curves with nodes
    • curveOnScroll -- Computes the ideal of a canonical curve on a normalized scroll in terms of generators of the scroll
    • eagonNorthcottType -- Computes the Eagon-Northcott type resolution
    • getCoxDegrees -- Computes the degree of a polynomial in the Cox ring corresponding to a section of a bundle on the scroll
    • getScrollDegrees -- Computes the degree of a section of a bundle on the scroll ring corresponding to a polynomial in the Cox ring
    • iteratedMC -- Computes a (possibly non-minimal) resolution of C in PP^{g-1} starting from the relative canonical resolution of C in P(E)
    • liftMatrixToENT -- Lifts a matrix between bundles on the scroll to the associated Eagon-Northcott type complexes
    • lineBundleFromPointsAndMultipliers -- Computes basis of a line bundle from the 2g points P_i, Q_i and the multipliers
    • resCurveOnScroll -- Computes the relative canonical resolution
    • rkSyzModules -- Computes the rank of the i-th module in the relative canonical resolution