20/08/31 16:28:47.00 o86d3Fhu.net
>>52
つづき
連接コホモロジー
連接層の層係数コホモロジー論は、連接コホモロジー(coherent cohomology)と呼ばれる。これは層の主要で最も実りの多い応用の一つで、この結果はただちに古典的な理論と結びついている。
フレシェ空間のコンパクト作用素の定理を使い、カルタンとセールは、コンパクトな複素多様体上では、任意の連接層のコホモロジーは有限次元のベクトル空間になるという性質を持っていることを証明した。
この結果は、ケーラー多様体上の局所自由層の特別な場合に、小平邦彦により以前に証明されていたものの拡張である。GAGA の同値性の証明に重要な役割を果たしている。この定理の代数的な（非常に簡単な）バージョンは、セールにより証明された。この結果の相対的なバージョンは、グロタンディーク(Grothendieck)により代数的な場合に証明され、グラウエルト（英語版）(Hans Grauert)とレンマート（英語版）(Reinhold Remmert)が解析的な場合に証明した。例えば、グロタンディークの結果は、f をスキームの固有射としたときに、連接層 F のプッシュフォワード、函手 Rif*F が連接層になることを主張する。（この函手Ri f*は層の順像（英語版） f* の右導来函手である。）セールの結果は相対的な結果を点への射に適用したものとみなすことができる。
(引用終り)
以上