isFibration f
A proper morphism $f : X \to Y$ is a fibration if $f_*(OO_X) = OO_Y$. A proper toric map is a fibration if and only if the underlying map of lattices is a surjection. For more information, see Proposition 2.1 in deCataldo-Migliorini-Mustata, "The combinatorics and topology of proper toric maps" arXiv:1407.3497.
We illustrate this method on the projection from the first Hirzebruch surface to the projective line.
|
|
|
|
|
Here is an example of a proper map that is not a fibration.
|
|
|
|
To avoid repeating a computation, the package caches the result in the CacheTable of the toric map.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/NormalToricVarieties/ToricMapsDocumentation.m2:1030:0.