The kernel sheaf of a morphism 
of sheaves of abelian groups is the subsheaf
defined on each open set 
by
 |
Its stalk at 
is the kernel of the induced map 
. The kernel sheaf of 
for a closed
immersion is the ideal sheaf defining 
.
Kernel Sheaf
See also
Closed Immersion, Ideal Sheaf, Kernel, Sheaf, Stalk, SubsheafExplore with Wolfram|Alpha
References
Hartshorne, R. Algebraic Geometry. New York: Springer-Verlag, 1977.Cite this as:
Weisstein, Eric W. "Kernel Sheaf." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/KernelSheaf.html