fromWDivToCl X
For a normal toric variety, the class group has a presentation defined by the map from the group of torus-characters to group of torus-invariant Weil divisors induced by minimal nonzero lattice points on the rays of the associated fan. Hence, there is a surjective map from the group of torus-invariant Weil divisors to the class group. This method returns a matrix representing this map. Since the ordering on the rays of the toric variety determines a basis for the group of torus-invariant Weil divisors, this matrix is determined by a choice of basis for the class group. For more information, see Theorem 4.1.3 in Cox-Little-Schenck's Toric Varieties.
The examples illustrate some of the possible maps from the group of torus-invariant Weil divisors to the class group.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This matrix also induces the grading on the total coordinate ring of toric variety.
|
|
The optional argument WeilToClass for the constructor normalToricVariety allows one to specify a basis of the class group.
This map is computed and cached when the class group is first constructed.