数学において， 加群の層 (sheaf of -modules) あるいは単に環付き空間 上の 加群 (-module) とは，層 であって， の任意の開部分集合 に対し， が 加群であり，制限写像 が制限写像 と整合的なもの，すなわち の任意の と の任意の に対し， の制限が の制限と の制限との積であるものである．
標準的な場合は がスキームで がその構造層であるときである． が のとき， 加群の層はアーベル群の層（すなわちアーベル層）と同じである．
が環 の素スペクトルであるとき，任意の 加群は自然に 加群を定義する（associated sheaf と呼ばれる）．同様に， が次数環で が の であるとき，任意の次数加群は自然に 加群を定める．そのように生じる 加群は準連接層の例であり，実は，アファインあるいは射影スキーム上，すべての準連接層はこのようにして得られる．
環付き空間上の加群の層はアーベル圏をなすVakil, Math 216: Foundations of algebraic geometry, 2.5.．さらに，この圏は充分単射的対象を持ち，したがって層係数コホモロジー を の 次右導来関手として定義でき，実際そう定義するこのコホモロジー関手はアーベル層の圏における大域切断関手の右導来関手と一致する； cf. ．
例 環付き空間 が与えられ， が の 部分加群であるとき，それは のイデアルの層あるいはと呼ばれる，なぜならば のすべての開部分集合 に対し， は環 のイデアルであるからである． を 次元のとすると， のは の双対であり，標準層 は の 次外冪（）である．
演算 を環付き空間とする． と が 加群のとき，それらのテンソル積は， あるいは と表記され，前層 に伴う層である 加群である．（層化が避けられないことを見るには， の大域切断を計算せよ，ここで は射影空間上のである．）
同様に， と が 加群のとき，
は層 である 加群を表す標準的な準同型
が存在し， が有限表示のときこれは同型である (EGA, Ch. 0, 5.2.6.)．とくに， 加群
は の双対加群と呼ばれ， と表記される．注意：任意の 加群 に対し，自然な準同型
が存在し， が階数有限の局所自由層であるとき，これは同型である．とくに， が階数 1 の局所自由であるとき（そのような は可逆層あるいは直線束と呼ばれる）連接層に対し，テンソル逆を持つことは階数 1 で局所自由であることと同じである；実は，次が成り立つ： である； が連接であれば， は階数 1 で局所自由である．(cf. EGA, Ch 0, 5.4.3.)，これは
となり，したがって可逆層の同型類たちは群をなす．この群は のピカール群と呼ばれ，一次コホモロジー群 と（による標準的な議論によって）カノニカルに同一視される．
が階数有限の局所自由層であれば，ペアリングによって与えられる 線型写像 がある；それは のと呼ばれる．
任意の 加群 に対し， のテンソル代数，外積代数，対称代数が同じように定義される．例えば， 次外冪
は前層 に伴う層である． が階数 で局所自由ならば， は のと呼ばれ（技術的には可逆層であるが）， と書かれる．自然な完全対
がある．
を環付き空間の射とする． が 加群のとき， は自然な写像 により 加群である（そのような自然な写像は環付き空間の射のデータの一部である）．
が 加群であるとき， の逆像 である加群は加群のテンソル積として与えられる 加群である：
ただし は のであり， は から随伴によって得られる．
と の間には随伴の関係がある：任意の 加群 と 加群 に対して，アーベル群として
が成り立つ．もある： 加群 と階数有限の局所自由 加群 に対して，
が成り立つ．
性質
を環付き空間とする． 加群 が大域切断によって生成される (generated by global sections) とは， 加群の全射
が存在することをいう．明示的にはこれは， の大域切断 であって，各茎 における の像たちが を 加群として生成するものが存在することを意味する．
そのような層の例は代数幾何学において任意の可換環のスペクトル 上に 加群 を付随させるものである．別の例：カルタンの定理Aにより，シュタイン多様体上の任意の連接層は大域切断によって張られる（cf. 下記のセールの定理A）．スキームの理論において，関連する概念は豊富な直線束である．（例えば， が豊富な直線束であれば，それのある冪が大域切断によって生成される．）
移入 加群はである（すなわちすべての制限写像 が全射である）．脆弱層はアーベル層の圏において非輪状であるから，これは次のことを意味する： 加群の圏における大域切断関手 の 次右導来関手がアーベル層の圏における通常の 次層コホモロジーと一致するSee also: http://math.stackexchange.com/questions/447220/hartshornes-weird-definition-of-right-derived-functors-and-prop-iii-2-6/447234#447234．
加群に付随する層 を環 上の加群とする． とおく．任意の対 に対して，局所化の普遍性により， なる性質を持つ自然な写像
が存在する．すると
は対象が集合 で射が集合の包含である圏からアーベル群の圏への反変関手である．それは実は （すなわち貼り合わせの公理を満たす）であり，したがって に付随する層と呼ばれる 上の層 を定義することを示すことができる．
最も基本的な例は 上の構造層，すなわち である．さらに， は の構造を持ち，したがって 上の加群の圏 から 上の加群の圏への完全関手 を得る．それは から 上の準連接層の圏への同型を定義し，逆射は大域切断関手 である． がネーター的スキームのときには，関手は有限生成 加群の圏から 上の連接層の圏への同型である．
構成は以下の性質を持つ：任意の 加群 に対し， . の任意の素イデアル に対し， 加群として . . が有限表示のとき，. , なぜなら と 上の準連接層の圏の間の同値があるから． ; とくに，直和を取ることと は可換である．
次数付き加群に付随する層 前の節の構成と同値の次数付きの類似がある． を 代数（ は次数 0 部分）として次数 1 の元で生成される次数環とし， を次数 加群とする． を の とする（したがって は射影スキームである）．するとある 加群 が存在して， の次数が正の任意の斉次元 に対して，アフィンスキーム 上の加群の層として自然な同型
がある；実際，これは を貼り合わせによって定義している．
例： を によって与えられる次数 加群とする．このとき はと呼ばれる（の双対である）．
が 上の 加群のとき， と書けば，標準的な準同型
が存在し，これが同型であることと が準連接であることは同値である．
層係数コホモロジーの計算
層コホモロジーは計算が難しいことに定評がある．そのため，次の一般的な事実はどんな実際の計算に対しても基本的である：
により， が射影多様体で がその上の連接層のとき，十分大きい に対して， は有限個の大域切断によって生成される．さらに， (a) 任意の に対して は 上有限生成であり， (b) （） に依存する整数 が存在して，
となる．
層の拡大 を環付き空間とし，, を 上の 加群の層とする． の による拡大 (extension) とは， 加群の短完全列
である．
群の拡大と同様， と を固定すれば， の による拡大の同値類全体はアーベル群をなし（cf. ），この群は Ext 群 と同型で，単位元は自明な拡大と対応する．
が のとき次が成り立つ．すべての に対して
なぜならば両辺とも同じ関手 の右導来関手だからである．
注意：著者によっては（特にハーツホーン），添え字 を書かない．
をネーター環上の射影スキームとする．, を 上の連接層とし， を整数とする．するとある が存在して
となる．
関連項目 D加群（ の代わりに，微分作用素の層 を考えることもできる．） 分数イデアル 正則ベクトル束
脚注
参考文献