順像関手
順像関手は左完全(left exact)であるが、通常、右完全ではない。したがってその順像の右導来関手を考えることが出来る。それらは高次順像(higher direct images)と呼ばれ、R f∗ と表記される。
高次順像に対しても上述と同様の表現が存在することが分かる。すなわち、X 上のある層 F に対して R f∗(F) は前層
U ↦ H q ( f − 1 ( U ) , F ) {\displaystyle U\mapsto H^{q}(f^{-1}(U),F)}
に対応する層となる。