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

randomGenus12Degree8CoverOfP1 -- general canonical curve of genus 12 with a g^1_8

Synopsis

Description

The function constructs a general curve C of genus 12 and degree 14 in P4 with randomCurveGenus12Degree14InP4 and constructs its canonical embedding in P11. By construction, if H is an hyperplane divisor in P4, then KC - H is a g18. The function returns a sequence (I, H1, H2), where I is the ideal of the canonically embedded curve in P11 and H1 and H2 are the hyperplanes passing through 14 points on the curve corresponding to H via the canonical embedding. A general linear combination of H1 and H2 cuts the curve in these 14 points plus 8 points corresponding to the g18. By construction, this procedure is unirational.

See also

Ways to use randomGenus12Degree8CoverOfP1 :