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 die Beziehung H o m ( O Y ( ℓ ) , O Y ( m ) ) ≅ O Y ( m − ℓ ) {\displaystyle {}{{\mathcal {H}}om}{\left({\mathcal {O}}_{Y}(\ell ),{\mathcal {O}}_{Y}(m)\right)}\cong {\mathcal {O}}_{Y}(m-\ell )} gilt.
