「代数幾何学２」ｐ３５。

おもしろかったのでよんでいたらとんでもない議論にぶつかりました。

S_{x_0,…,x_p}の元はCechコホモロジーで

S_{x_0,…,{x_i}^,…,x_p}の元でx_iについて{x_0}^{l_0}×…×{x_p}^{l^p}

のl_iが正の数であるような元から制限で得られます。

U_j:={X_Jが０でない}です。