20/08/31 07:44:50.70 356lX/6R.net
>>37 補足
（>>32より）
URLﾘﾝｸ(www.rs.tus.ac.jp)
代数学特論３ 代数曲線論の入門的な授業のレジュメ (2018年度)加塩 朋和
(抜粋)
P30
9 層係数コホモロジー群 (1)
定義 58. X 上の (C-線形空間の) 前層 とは
略
注意 59. (1) 記法としては, 前層 F は, 線形空間と線形写像の集まり
(5) 前層は “どんどん局所へ制限していく” ことを定式化している.
定義 60. X 上の前層 F で以下を満たすものを 層 と呼ぶ:
注意 61. (1) 層は, 局所へ制限するだけでなく “局所的なデータから大域的なデータを
復元できる” ことを定式化している.
問題 8. リーマン面 X 上の 正則関数のなす層 OX を
略
で定める.
実際に OX が層であることを確かめよ.
（注：ここ、「 OX およびMX が層であることを確かめよ.」だと思う。MXが抜けたのだろう）
（余談：下記も分り易い例だね）
問題 10. x ∈ X での 摩天楼層 Cx を
略
で定める.
(1) Cx が層であることを確かめよ.
(2) Cx の各点でのストークを求めよ.
(3) Cx のサポートを求めよ.
注意 64. 前層 F の各ストーク Fx を “なめらかに” つなげたものが F の層化 Fa である.
(引用終り)
ここ、上記加塩先生「問題 8. リーマン面 X 上の 正則関数のなす層 OX 実際に OX が層であることを確かめよ.」が、>>37のtsujimotter氏の記事と符合しているよ（＾＾