コンテンツにスキップ

順像関手

出典: フリー百科事典『ウィキペディア(Wikipedia)』

数学層論代数幾何学の分野に現れる順像関手(じゅんぞうかんしゅ、: direct image functor)とは、層の切断の概念を相対的な場合へ一般化するものである。

定義

[編集]

f: XY をある位相空間連続写像とし、Sh(–) をある位相空間上のアーベル群の層のとする。次の順像関手

は、X 上の層 F をその順像前層(direct image presheaf)

に送る。この前層は Y 上の層であることが分かる。この割り当ては関手的なものである。すなわち、X 上の層の射 φ: FGY 上の層の射 f(φ): f(F) → f(G) を導く。

[編集]

Y が点であるなら、順像関手は大域切断関手英語版と等しくなる。f: X → Y をある位相空間での連続写像あるいはスキームの射とする。このとき例外逆像(exceptional inverse image)は関手 f!: D(Y) → D(X) である。

応用

[編集]

同様の定義はエタール層のようなトポスの上の層に対しても適用できる。この場合、上述の原像 f−1(U) の代わりに Y についての UXファイバー積英語版が用いられる。

高次順像

[編集]

順像関手は左完全(left exact)であるが、通常、右完全ではない。したがってその順像の右導来関手を考えることが出来る。それらは高次順像(higher direct images)と呼ばれ、Rq f と表記される。

高次順像に対しても上述と同様の表現が存在することが分かる。すなわち、X 上のある層 F に対して Rq f(F) は前層

に対応する層となる。

性質

[編集]
  • 順像関手は、逆像関手英語版右随伴であり、このことは任意の連続な およびそれぞれ XY 上の層である に対して、自然同型

が存在することを意味する。

  • f がある閉部分空間 XY の包含であるなら、f は完全である。実際、この場合 fX 上の層と Y 上の層の間の同値性となり、それは X 上でサポートされる。この事実より、 の茎(stalk)は、 なら で、そうでないならゼロとなる(この証明には Y 内での X近さ英語版が用いられる)。

関連項目

[編集]

参考文献

[編集]
  • Iversen, Birger (1986), Cohomology of sheaves, Universitext, Berlin, New York: Springer-Verlag, ISBN 978-3-540-16389-3, MR842190 , esp. section II.4

この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Direct image (functor)の本文を含む