picardGroup X
The Picard group of a variety is the group of Cartier divisors divided by the subgroup of principal divisors. For a normal toric variety, the Picard group has a presentation defined by the map from the group of torus-characters to the group of torus-invariant Cartier divisors. For more information, see Theorem 4.2.1 in Cox-Little-Schenck's Toric Varieties.
When the normal toric variety is smooth, the Picard group is isomorphic to the class group.
|
|
|
|
|
|
|
|
|
|
|
|
For an affine toric variety, the Picard group is trivial.
|
|
|
|
|
|
|
|
If the fan associated to $X$ contains a cone of dimension $dim(X)$, then the Picard group is free.
|
|
|
|
To avoid duplicate computations, the attribute is cached in the normal toric variety.