pullback(f, D)
Torus-invariant Cartier divisors pullback under a toric map by composing the toric map with the support function of the divisor. For more information, see Proposition 6.2.7 in Cox-Little-Schenck's Toric Varieties.
As a first example, we consider the projection from a product of two projective lines onto the first factor. The pullback of a point is just a fibre in the product.
|
|
|
|
|
|
The next example illustrates that the pullback of a line through the origin in affine plane under the blowup map is a line together with the exceptional divisor.
|
|
|
|
|
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/NormalToricVarieties/ToricMapsDocumentation.m2:1446:0.