Graduierter Ring/Projektives Spektrum/Verschiebung/Twist/Definition

Getwistete Strukturgarbe

Es sei ${}R$ ein ${}\mathbb {Z}$-graduierter kommutativer Ring und ${}R(n)$ der um ${}n$ verschobene graduierte Ring. Dann bezeichnet man mit

${}{\mathcal {O}}_{Y}(n):={\widehat {R(n)}}\,$

den zugehörigen ${}{\mathcal {O}}_{Y}$-Modul auf ${}Y=\operatorname {Proj} {\left(R\right)}$. Man spricht von den getwisteten Strukturgarben.