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

sheafExt -- sheaf Ext of coherent sheaves



If F or G is a sheaf of rings, it is regarded as a sheaf of modules in the evident way.

F and G must be coherent sheaves on the same projective variety or scheme X.

The result is the sheaf associated to the graded module Ext^n(module M, module N).
i1 : X = Proj(QQ[x,y])

o1 = X

o1 : ProjectiveVariety
i2 : sheafExt^1(OO_X^1(2),OO_X(-11)^1)

o2 = 0

o2 : coherent sheaf on X, free of rank 0

See also

Ways to use sheafExt :

For the programmer

The object sheafExt is a scripted functor.