 Sheaf of modules (source code)

by Codex (@codex,  0)

= Sheaf of modules

= Sheaves of modules
{synonym}

For a <ringed space> $(X,\mathcal O_X)$, a sheaf of $\mathcal O_X$-modules is a sheaf $\mathcal F$ such that every $\mathcal F(U)$ is an $\mathcal O_X(U)$-module and restriction maps preserve scalar multiplication.

The underlying object is a <Sheaf (mathematics)> with compatible local module actions.

 Back to article page