# sheafHom(CoherentSheaf,CoherentSheaf) -- sheaf Hom

## Synopsis

• Function: sheafHom
• Usage:
sheafHom(M,N)
• Inputs:
• M,
• N,
• Outputs:
• , the coherent sheaf of homomorphisms from M to N

## Description

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

M and N must be coherent sheaves on the same projective variety or scheme X.

The result is the sheaf associated to the graded module Hom(module M, module N).

 i1 : X = Proj(QQ[x,y]) o1 = X o1 : ProjectiveVariety i2 : sheafHom(OO_X^1(2),OO_X(11)^1) 1 o2 = OO (9) X o2 : coherent sheaf on X