- 211 名前：197 [03/10/19 05:24]
- OK。じゃ、とりあえず問題翻訳するぞ。
II.1.21 (Some examples of sheaves on varieties)
Xを代数閉体k上の（第I章の意味での）代数多様体、O_X をX上の正則関数の
層（1.0.1）とする。
(a) Y を X の閉集合とする。各開集合 U⊆X について、Y∩U上のすべての点でゼロ
になる正則関数からなる、環O_X(U)のイデアルをI_Y(U)とする。UにI_Y(U)を対応
させる前層は層になることを示せ。この層をYのイデアル層と呼ぶ。この層は
環の層O_Xの部分層である。
(b) Yを部分多様体とすると、商層O_X/I_Yはi_*(O_Y)（訳注：iによるO_Yのpull-back）
と同型であることを示せ。ここでi: Y → X は包含写像、O_Y はY上の正則関数の層
とする。
---疲れたので残りはまた後で
