層の使い方

可換環層＝環付き空間 の上の加群層が最も使う。次の事実が重要。

1. セール／スワンの定理： ベクトルバンドル層の加群的な特徴付け＝局所有限階数自由加群
2. 引き戻し公式： ℓΓ(φ^#E) φ^-|(ℓΓ(E))
3. グロタンディーク六演算の随伴公式
4. 射影公式

そして、可換環層上の加群層のホモロジー代数（層のコホモロジー）。

とりあえず、エーレスマン接続を加群層で定義して、性質を調べる。