nefContraction(X, v)
A vector in the nef cone of a toric variety determines an embedding of the toric variety via GIT quotients. When the vector lies on the boundary of the nef cone, the resulting embedding is typically a "smaller" toric variety on which the original variety can surject. These types of maps are commonly used in the minimal model program (MMP)
More precisely, see Lemma 14.4.6 and Theorem 15.1.10 in HREF("https://dacox.people.amherst.edu/toric.html", "Toric varieties"). The nef cone of a toric variety is a GKZ chamber and each face of this cone is also a GKZ chamber, hence the nef cone of another toric variety. Since both of these are GIT quotients, there is a natural map induced by the projection of vector spaces between the quotients, which this method produces.
The first Hirzebruch surface $\mathbb{F}_1$ comes with two natural maps to $\mathbb{P}^1$ (projection to the base) and $\mathbb{P}^2$ (the blowdown map). Both of these can be realized as maps obtained from the MMP.
|
|
|
|
|
|
|
If the vector is in the interior of the nef cone, then the resulting toric variety is the same as the original, and so the resulting surjection is just the identity.
|
|
|
The object nefContraction is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/ToricHigherDirectImages.m2:760:0.