Macaulay2 » Documentation
Packages » PositivityToricBundles :: PositivityToricBundles
next | previous | forward | backward | up | index | toc

PositivityToricBundles -- checks positivity of toric vector bundles

Description

Given a toric vector bundle, i.e. an equivariant vector bundle on a smooth complete toric variety, this package can check the positivity of this bundle. PositivityToricBundles can check whether a toric vector bundle is Additionally, PositivityToricBundles can compute the toric Chern character of a toric vector bundle as introduced by Sam Payne.

For the computational purposes, PositivityToricBundles uses the description of a toric vector bundles by filtrations developed by Alexander Klyachko, and relies on its implementation via the ToricVectorBundles package by René Birkner, Nathan Ilten and Lars Petersen.
To check nefness and ampleness, PositivityToricBundles uses a result of Milena Hering, Mircea Mustaţă and Sam Payne, namely, that it is sufficient to check this for the restriction of the bundle to the torus invariant curves. The central method for this is restrictToInvCurves; the methods isNef and isAmple are based on it.
For global generation and very ampleness, PositivityToricBundles uses results of Sandra Di Rocco, Kelly Jabbusch and Gregory Smith, who describe these properties in terms of the so-called parliament of polytopes of a toric vector bundle. From the parliament of polytopes one can extract the information up to which order jets are separated by the vector bundle. Globally generated or very ample toric vector bundles are those that separate 0-jets or 1-jets, respectively. Here, the central method is separatesJets; built on it are isGloballyGenerated and isVeryAmple.

For the mathematical background see The following example computes the positivity for the tangent sheaf of $\mathbb P^2$:
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 : isNef E

o2 = true
i3 : isAmple E

o3 = true
i4 : isVeryAmple E

o4 = true
i5 : isGloballyGenerated E

o5 = true
i6 : separatesJets E

o6 = 1

o6 : QQ

The toric Chern character can be computed:
i7 : toricChernCharacter E

o7 = HashTable{| -1 0 | => {| 1  |, | 1 |}}
               | -1 1 |     | -1 |  | 0 |
               | 1 -1 | => {| -1 |, | 0 |}
               | 0 -1 |     | 1  |  | 1 |
               | 1 0 | => {| 0  |, | -1 |}
               | 0 1 |     | -1 |  | 0  |

o7 : HashTable
which associates to each maximal cone (its rays put into matrices) the corresponding components.

The restrictions of the bundle to the torus invariant curves can be computed:
i8 : restrictToInvCurves E

o8 = HashTable{| -1 | => {2, 1}}
               | -1 |
               | 0 | => {1, 2}
               | 1 |
               | 1 | => {2, 1}
               | 0 |

o8 : HashTable
Here, in all three cases, the restriction splits into $\mathcal{O}_{\mathbb P^1}(2) \oplus \mathcal{O}_{\mathbb P^1}(1)$.

Most methods of PositivityToricBundles support the option Verbosity. So by adding Verbosity => n with n a positive integer to the arguments of a method, hopefully useful insight about the course of the calculation is provided.

Contributors

The author of the package wants to thank Brett Nasserden and Alexandre Zotine for reporting bugs.

Caveat

The description of a toric variety and a toric vector bundle by filtrations involves the choice of signs. PositivityToricBundles follows the same choice of signs as ToricVectorBundles, which are Unfortunately, the above cited articles use decreasing filtrations and, moreover, [HMP], [P] and [RJS] use outer normals.

Contrary to what the name suggests, ToricVectorBundle may very well encode a toric reflexive sheaf, which is not necessarily locally free, that is, not necessarily a vector bundle. Some methods work also for toric reflexive sheaves, but this is not guaranteed.

Another warning concerns the toric variety: the methods of PositivityToricBundles implicitly assume that the variety is complete (to apply the results of [HMP] and [P]) and in addition smooth (for [RJS]). For non-complete or singular toric varieties, methods might break or results might become meaningless.

See also

Author

Version

This documentation describes version 1.9 of PositivityToricBundles.

Source code

The source code from which this documentation is derived is in the file PositivityToricBundles.m2.

Exports

  • Functions and commands
    • cartierInd -- computes the Cartier index
    • compatibleBases -- computes compatible bases for a toric vector bundle
    • drawParliament2Dtikz -- visualises the parliament of polytopes for a vector bundle on a toric surface using TikZ
    • graphToricChernCharacter -- computes the lines connected the components of the toric Chern character of a toric vector bundle
    • groundSet -- computes the ground set of a matroid associated to a toric vector bundle
    • isLocallyFree -- checks whether a toric reflexive sheaf is locally free
    • isLocallyWeil -- checks whether a toric reflexive sheaf is locally Weil
    • parliament -- computes the parliament of polytopes to a toric vector bundle
    • isAmple -- see restrictToInvCurves -- computes the restrictions of a toric vector bundle to the torus invariant curves
    • isNef -- see restrictToInvCurves -- computes the restrictions of a toric vector bundle to the torus invariant curves
    • restrictToInvCurves -- computes the restrictions of a toric vector bundle to the torus invariant curves
    • isGloballyGenerated -- see separatesJets -- computes up to which order a toric vector bundle separates jets
    • separatesJets -- computes up to which order a toric vector bundle separates jets
    • toricChernCharacter -- computes the toric Chern character of a toric vector bundle
    • wellformedBundleFiltrations -- produces the same toric vector bundle, but where the filtration steps are stored in matrices with ascending entries.
  • Methods
    • cartierInd(ToricVectorBundleKlyachko) -- see cartierInd -- computes the Cartier index
    • compatibleBases(ToricVectorBundleKlyachko) -- see compatibleBases -- computes compatible bases for a toric vector bundle
    • drawParliament2Dtikz(ToricVectorBundleKlyachko,String) -- see drawParliament2Dtikz -- visualises the parliament of polytopes for a vector bundle on a toric surface using TikZ
    • graphToricChernCharacter(ToricVectorBundleKlyachko) -- see graphToricChernCharacter -- computes the lines connected the components of the toric Chern character of a toric vector bundle
    • groundSet(ToricVectorBundleKlyachko) -- see groundSet -- computes the ground set of a matroid associated to a toric vector bundle
    • isLocallyFree(ToricVectorBundleKlyachko) -- see isLocallyFree -- checks whether a toric reflexive sheaf is locally free
    • isLocallyWeil(ToricVectorBundleKlyachko) -- see isLocallyWeil -- checks whether a toric reflexive sheaf is locally Weil
    • parliament(ToricVectorBundleKlyachko) -- see parliament -- computes the parliament of polytopes to a toric vector bundle
    • isAmple(ToricVectorBundleKlyachko) -- see restrictToInvCurves -- computes the restrictions of a toric vector bundle to the torus invariant curves
    • isNef(ToricVectorBundleKlyachko) -- see restrictToInvCurves -- computes the restrictions of a toric vector bundle to the torus invariant curves
    • restrictToInvCurves(ToricVectorBundleKlyachko) -- see restrictToInvCurves -- computes the restrictions of a toric vector bundle to the torus invariant curves
    • isGloballyGenerated(ToricVectorBundleKlyachko) -- see separatesJets -- computes up to which order a toric vector bundle separates jets
    • isVeryAmple(ToricVectorBundleKlyachko) -- see separatesJets -- computes up to which order a toric vector bundle separates jets
    • separatesJets(ToricVectorBundleKlyachko) -- see separatesJets -- computes up to which order a toric vector bundle separates jets
    • toricChernCharacter(ToricVectorBundleKlyachko) -- see toricChernCharacter -- computes the toric Chern character of a toric vector bundle
    • wellformedBundleFiltrations(ToricVectorBundleKlyachko) -- see wellformedBundleFiltrations -- produces the same toric vector bundle, but where the filtration steps are stored in matrices with ascending entries.
  • Symbols
    • DrawChernCharacter -- see drawParliament2Dtikz -- visualises the parliament of polytopes for a vector bundle on a toric surface using TikZ
    • DrawCohomology -- see drawParliament2Dtikz -- visualises the parliament of polytopes for a vector bundle on a toric surface using TikZ
    • Verbosity

For the programmer

The object PositivityToricBundles is a package.