Es sei Y = Proj ( R ) {\displaystyle {}Y=\operatorname {Proj} {\left(R\right)}} das projektive Spektrum zu einem standard-graduierten Ring R {\displaystyle {}R} . Zeige, dass für die getwisteten Strukturgarben O Y ( ℓ ) {\displaystyle {}{\mathcal {O}}_{Y}(\ell )} die Beziehung O Y ( ℓ ) ⊗ O Y O Y ( m ) ≅ O Y ( ℓ + m ) {\displaystyle {}{\mathcal {O}}_{Y}(\ell )\otimes _{{\mathcal {O}}_{Y}}{\mathcal {O}}_{Y}(m)\cong {\mathcal {O}}_{Y}(\ell +m)} gilt.
