next | previous | forward | backward | up | top | index | toc | Macaulay2 website
PositivityToricBundles :: separatesJets

separatesJets -- computes up to which order a toric vector bundle separates jets

Synopsis

Description

Given a toric vector bundle in Klyachko's description, separatesJets determines up to which order the vector bundle separates jets. Note that a toric vector bundle is globally generated or very ample, if it separates 0-jets or 1-jets, respectively, see [RJS, Theorem 1.2, 6.2 and 6.5]. Hence, the methods isGloballyGenerated and isVeryAmple only ask whether separatesJets returns a non-negative or positive integer, respectively.
If the vector bundle is not even globally generated, then separatesJets returns the value -1.
separatesJets calls internally the methods parliament and toricChernCharacter; whereas isGloballyGenerated and isVeryAmple are simple checks on the output of separatesJets.
i1 : E = tangentBundle(projectiveSpaceFan 2)

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

o1 : ToricVectorBundleKlyachko
i2 : separatesJets E

o2 = 1
i3 : isGloballyGenerated E

o3 = true
i4 : isVeryAmple E

o4 = true
In this example, the vector bundle $\mathcal E$ separates 1-jets, hence is very ample.

See also

Ways to use separatesJets :

For the programmer

The object separatesJets is a method function with options.