Es sei φ : X → Y {\displaystyle {}\varphi \colon X\rightarrow Y} ein Schemamorphismus.
Zu einem quasikohärenten O Y {\displaystyle {}{\mathcal {O}}_{Y}} -Modul G {\displaystyle {}{\mathcal {G}}} ist φ ∗ G {\displaystyle {}\varphi ^{*}{\mathcal {G}}} eine quasikohärenter O X {\displaystyle {}{\mathcal {O}}_{X}} -Modul.
