Beringter Raum/Modulgarbe/Dualer Modul/Definition

Duale Modulgarbe

Es sei ${}(X,{\mathcal {O}}_{X})$ ein beringter Raum und sei ${}{\mathcal {M}}$ eine Modulgarbe auf ${}X$. Dann nennt man

${}{\mathcal {M}}^{*}={{\mathcal {H}}om}{\left({\mathcal {M}},{\mathcal {O}}_{X}\right)}\,$

mit der natürlichen ${}{\mathcal {O}}_{X}$-Modulstruktur den dualen Modul zu ${}{\mathcal {M}}$.