加群の層
前の節の構成と同値の次数付きの類似がある.R を R0 代数(R0 は次数 0 部分)として次数 1 の元で生成される次数環とし,M を次数 R 加群とする.X を R の Proj(英語版) とする(したがって X は射影スキームである).するとある O 加群 M ~ {\displaystyle {\widetilde {M}}} が存在して,R の次数が正の任意の斉次元 f に対して,アフィンスキーム { f ≠ 0 } = Spec  ( R [ f − 1 ] 0 ) {\displaystyle \{f\neq 0\}=\operatorname {Spec} (R[f^{-1}]_{0})} 上の加群の層として自然な同型
M ~ | { f ≠ 0 } ≃ ( M [ f − 1 ] 0 ) ∼ {\displaystyle {\widetilde {M}}|_{\{f\neq 0\}}\simeq (M[f^{-1}]_{0})^{\sim }}