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

sectionRing -- sectionRing(I) produces the section ring of an ample divisor. If I is an ideal, one can input I to get the section ring of the corresponding divisor.

Synopsis

Description

sectionRing(I) begins by computing the regularity m of OX, OX(D), OX(2D), ..., OX((l-1)D) with respect to OX(lD), where l is the output of globallyGenerated(D). By Mumford’s Thm (1.8.5 in Positivity) yields that each of the maps OX(iD)⊗OX(lD) m -> OX((i+ml)D) is surjective. Thus, all generators for the section ring can be assumed in lower degree than bound. Thus it forms a polynomial ring S over the base field with h0(iD)-many generators in degree i, for i=1,2,...,bound-1. Next, relations in degree d are computing by considering the total maps ⊕partitions P of di∈P OX(i D) -> OX(dD). Each of these relations is then quotiented, until the point that a domain of the correct dimension is produced. Some steps are then performed to make the output more readable and standard.

Ways to use sectionRing :