加群の層
数学において， 加群の層 (sheaf of -modules) あるいは単に環付き空間 上の 加群 (-module) とは，層 であって， の任意の開部分集合 に対し， が 加群であり，制限写像 が制限写像 と整合的なもの，すなわち の任意の と の任意の に対し， の制限が の制限と の制限との積であるものである．
標準的な場合は がスキームで がその構造層であるときである． が formula_1 のとき， 加群の層はアーベル群の層（すなわちアーベル層）と同じである．
環付き空間上の加群の層はアーベル圏をなす．さらに，この圏は充分単射的対象を持ち，したがって層係数コホモロジー formula_2 を formula_3 の 次右導来関手として定義でき，実際そう定義する． を環付き空間とする． と が 加群のとき，それらのテンソル積は，
と表記され，前層 formula_9 に伴う層である 加群である．（層化が避けられないことを見るには，formula_10 の大域切断を計算せよ，ここで は射影空間上のである．）
同様に， と が 加群のとき，
は層 formula_12 である 加群を表す．とくに， 加群
は の双対加群と呼ばれ，formula_14 と表記される．注意：任意の 加群 に対し，自然な準同型
が存在し， が階数有限の局所自由層であるとき，これは同型である．とくに， が階数 1 の局所自由であるとき（そのような は可逆層あるいは直線束と呼ばれる），これは
となり，したがって可逆層の同型類たちは群をなす．この群は のピカール群と呼ばれ，一次コホモロジー群 formula_17 と（による標準的な議論によって）カノニカルに同一視される．
任意の 加群 に対し， のテンソル代数，外積代数，対称代数が同じように定義される．例えば， 次外冪
は前層 formula_20 に伴う層である． が階数 で局所自由ならば，formula_21 は のと呼ばれ（技術的には可逆層であるが）， と書かれる．自然な完全対
がある．
ただし は のであり，formula_26 は formula_27 から随伴によって得られる．
formula_28 と formula_29 の間には随伴の関係がある：任意の 加群 と 加群 に対して，アーベル群として
が成り立つ．もある： 加群 と階数有限の局所自由 加群 に対して，
が成り立つ．
を環付き空間とする． 加群 が大域切断によって生成される (generated by global sections) とは， 加群の全射
が存在することをいう．明示的にはこれは， の大域切断 であって，各茎 における の像たちが を 加群として生成するものが存在することを意味する．
そのような層の例は代数幾何学において任意の可換環のスペクトル 上に 加群 を付随させるものである．別の例：カルタンの定理Aにより，シュタイン多様体上の任意の連接層は大域切断によって張られる（cf. 下記のセールの定理A）．スキームの理論において，関連する概念は豊富な直線束である．（例えば， が豊富な直線束であれば，それのある冪が大域切断によって生成される．）
移入 加群はである（すなわちすべての制限写像 が全射である）．脆弱層はアーベル層の圏において非輪状であるから，これは次のことを意味する： 加群の圏における大域切断関手 formula_3 の 次右導来関手がアーベル層の圏における通常の 次層コホモロジーと一致する．
を環 上の加群とする． とおく．任意の対 formula_34 に対して，局所化の普遍性により，formula_35 なる性質を持つ自然な写像
が存在する．すると
は対象が集合 で射が集合の包含である圏からアーベル群の圏への反変関手である．それは実は （すなわち貼り合わせの公理を満たす）であり，したがって に付随する層と呼ばれる 上の層 formula_38 を定義することを示すことができる．
最も基本的な例は 上の構造層，すなわち formula_39 である．さらに，formula_38 は formula_39 の構造を持ち，したがって 上の加群の圏 から formula_42 上の加群の圏への完全関手 formula_43 を得る．それは から 上の準連接層の圏への同型を定義し，逆射は大域切断関手 formula_3 である． がネーター的スキームのときには，関手は有限生成 加群の圏から 上の連接層の圏への同型である．
構成は以下の性質を持つ：任意の 加群 に対し，
前の節の構成と同値の次数付きの類似がある． を 代数（ は次数 0 部分）として次数 1 の元で生成される次数環とし， を次数 加群とする． を の とする（したがって は射影スキームである）．するとある 加群 formula_38 が存在して， の次数が正の任意の斉次元 に対して，アフィンスキーム formula_52 上の加群の層として自然な同型
がある；実際，これは formula_38 を貼り合わせによって定義している．
例： を によって与えられる次数 加群とする．このとき formula_55 はと呼ばれる（の双対である）．
が存在し，これが同型であることと が準連接であることは同値である．
層コホモロジーは計算が難しいことに定評がある．そのため，次の一般的な事実はどんな実際の計算に対しても基本的である：
により， が射影多様体で がその上の連接層のとき，十分大きい に対して， は有限個の大域切断によって生成される．さらに，
を環付き空間とし，, を 上の 加群の層とする． の による拡大 (extension) とは， 加群の短完全列
である．
群の拡大と同様， と を固定すれば， の による拡大の同値類全体はアーベル群をなし（cf. ），この群は Ext 群 formula_60 と同型で，単位元は自明な拡大と対応する．
なぜならば両辺とも同じ関手 formula_62 の右導来関手だからである．
注意：著者によっては（特にハーツホーン），添え字 を書かない．