fromCDivToWDiv X
The group of torus-invariant Cartier divisors is the subgroup of all locally principal torus-invariant Weil divisors. This function produces the inclusion map with respect to the chosen bases for the two finitely-generated abelian groups. For more information, see Theorem 4.2.1 in Cox-Little-Schenck's Toric Varieties.
On a smooth normal toric variety, every torus-invariant Weil divisor is Cartier, so the inclusion map is simply the identity map.
|
|
|
|
|
|
|
|
|
|
|
|
On a simplicial normal toric variety, every torus-invariant Weil divisor is $\QQ$-Cartier; every torus-invariant Weil divisor has a positive integer multiple that is Cartier.
|
|
|
|
In general, the Cartier divisors are only a subgroup of the Weil divisors.
|
|
|
|
|
|
|
|
|
|
This map is computed and cached when the Cartier divisor group is first constructed.