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

Schubert2 -- A package for computations in Intersection Theory

Description

The primary purpose of this package is to help compute with intersection theory on smooth varieties. An AbstractVariety is not given by equations. Instead, one gives its intersection ring (usually mod numerical equivalence), its dimension, and the chern class of its tangent bundle. An AbstractSheaf is represented by its total chern class (or by its chern character). An AbstractVarietyMap (missing documentation) is a ’morphism’ of abstract varieties, and the information encoded is the pull-back to the corresponding intersection rings.
This package and its documentation are still rather incomplete, but see the examples Lines on hypersurfaces and Conics on a quintic threefold, which should be enough to figure out some of what’s possible.

See also

Authors

Version

This documentation describes version 0.2 of Schubert2.

Source code

The source code from which this documentation is derived is in the file Schubert2.m2. The auxiliary files accompanying it are in the directory Schubert2/.

Exports