Standard-graduierter Ring/Projektives Spektrum/Verschiebung/Twist/Invertierbar/Fakt

Es sei ${}R$ ein standard-graduierter kommutativer Ring.

Dann sind die getwisteten Strukturgarben ${}{\mathcal {O}}_{Y}(n)$ auf ${}Y=\operatorname {Proj} {\left(R\right)}$ invertierbar.

Zum Beweis, Alternativen Beweis erstellen