next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
OldToricVectorBundles :: isGeneral

isGeneral -- checks whether a toric vector bundle is general

Synopsis

Description

"A toric vector bundle in Klyachko’s description is general if for every maximal cone Σ in the fan the following condition holds: Let ρ1,...,ρl be the rays of σ. Then for every choice of filtration steps i1,...,il for each ray, i.e., choose an integer for each ray where the filtration enlarges, the equation"

codim (∩Eρj ( ij )) = min {∑(codim Eρj ( ij )),rank E }

holds.

i1 : E = cotangentBundle hirzebruchFan 2

o1 = {dimension of the variety => 2 }
      number of affine charts => 4
      number of rays => 4
      rank of the vector bundle => 2

o1 : ToricVectorBundleKlyachko
i2 : isGeneral E

o2 = true

See also

Ways to use isGeneral :