cartierDivisorGroup f
Given a toric map $f : X \to Y$, this method returns the induced map of abelian groups from the group of torus-invariant Cartier divisors on $Y$ to the group of torus-invariant Cartier divisors on $X$. In other words, cartierDivisorGroup is a contravariant functor on the category of normal toric varieties.
We illustrate this method on the projection from the first Hirzebruch surface to the projective line.
|
|
|
|
|
The induced map between the Picard groups is compatible with the induced map between the groups of torus-invariant Cartier divisors.
|
|
Neither the source nor the target of the toric map needs to be smooth.
|
|
|
|
|
|
|
|