weilDivisorGroup f
Given a toric map $f : X \to Y$ where $Y$ a smooth toric variety, this method returns the induced map of abelian groups from the group of torus-invariant Weil divisors on $Y$ to the group of torus-invariant Weil divisors on $X$. For arbitrary normal toric varieties, the weilDivisorGroup is not a functor. However, weilDivisorGroup is a contravariant functor on the category of smooth normal toric varieties.
We illustrate this method on the projection from the first Hirzebruch surface to the projective line.
|
|
|
|
|
The next example gives the induced map from the group of torus-invariant Weil divisors on the projective plane to the group of torus-invariant Weil divisors on the first Hirzebruch surface.
|
|
|
|
The induced map between the groups of torus-invariant Weil divisors is compatible with the induced map between the class groups.
|
|