- 240 名前：208 [2005/12/07(水) 17:15:57 ]
- 定義
X を環付空間とし、O_X をその構造層とする。
F~ を O_X-加群の層とする。X の各点 p に対してその近傍 U が
存在して F~|U が (O_X|U)-係数の階数有限の自由加群の層
になるとき、F~ を階数有限の局所自由層という。
(F~)_p の (O_X)_p 上の自由加群としての階数を rank(F~)_p と書く。
関数 p → rank(F~)_p は X 上の局所定数関数である。
よって、X の各連結成分上では定数になる。
rank(F~)_p が X のすべての点で一定値 n のとき F~ を階数 n の
局所自由層という。
