文献あり

層に対する演算1（内部演算）

ホモロジー代数,層係数コホモロジー,層理論

5734

内部Homと内部テンソル積

この節からは層に対する様々な演算について説明したいと思います．これらの演算はGrothendieckの六演算と呼ばれるものの一部で，これらを組み合わせることで層をいろいろな形に変形して様々な結果を引き出すことができます．

まず内部演算と呼ばれる位相空間 $X$ 上の層たちから $X$ 上の層を作る操作を説明します．以下では $X$ を位相空間とします．

内部Hom

まずは内部Homと呼ばれる $Hom$ に関する層を考えます．

Homの対応は層

$F, G \in Sh (X)$ とする．開集合 $U$ に対して ${Hom}_{Sh (U)} (F |_{U}, G |_{U})$ を対応させる対応は層である．

開集合の組 $U \subset V$ と $φ \in {Hom}_{Sh (V)} (F |_{V}, G |_{V})$ に対して， $U$ 内の開集合だけに対して射を考えることにより $φ |_{U} \in {Hom}_{Sh (U)} (F |_{U}, G |_{U})$ が定まるので，これを制限写像とする．これらが前層の条件を満たすことはよい．

貼り合わせ条件を調べる．開集合 $U$ とその開被覆 ${U_{i}}_{i \in I}$ および $φ_{i} \in {Hom}_{Sh (U_{i})} (F |_{U_{i}}, G |_{U_{i}})$ なる族で $φ_{i} |_{U_{i} \cap U_{j}} = φ_{j} |_{U_{i} \cap U_{j}}$ を満たす族を任意に取る． $φ \in {Hom}_{Sh (U)} (F |_{U}, G |_{U})$ であって $φ |_{U_{i}} = φ_{i}$ となるものを定めたいが，これには $U$ の任意の開部分集合 $V$ に対して $φ_{V} : F (V) \to G (V)$ を定めなければならない． $s \in F (V)$ に対して ${V \cap U_{i}}_{i \in I}$ は $V$ の開被覆であり， $t_{i} := φ_{i, V \cap U_{i}} (s |_{V \cap U_{i}}) \in G (V \cap U_{i})$ たちは $t_{i} |_{V \cap U_{i} \cap U_{j}} = t_{j} |_{V \cap U_{i} \cap U_{j}}$ を満たす． $G$ は層だから $t \in G (V)$ が一意的に存在して $t_{V \cap U_{i}} = t_{i}$ を満たす． $φ_{V} (s) := t$ として $φ_{V} : F (V) \to G (V)$ を定めると $φ = {φ_{V}}_{V \subset U} : F |_{U} \to G |_{U}$ は制限写像たちと可換になるので層の射 $φ \in {Hom}_{Sh (U)} (F |_{U}, G |_{U})$ である．作り方から任意の $i \in I$ に対して $φ |_{U_{i}} = φ_{i}$ を満たしている．作り方をたどればこのように作る必要があることも分かるが，一意性を直接見よう． $ψ \in {Hom}_{Sh (U)} (F |_{U}, G |_{U})$ もこの条件を満たすならば，任意の $i$ に対して $φ |_{U_{i}} = ψ |_{U_{i}}$ であるから，任意の $U$ の開部分集合 $V$ と $s \in F (V)$ に対して
$φ_{V} (s) |_{V \cap U_{i}} = φ_{V \cap U_{i}} (s) = ψ_{V \cap U_{i}} (s) = ψ_{V} (s) |_{V \cap U_{i}}$
である． $G$ が層であることから $φ_{V} (s) = ψ_{V} (s)$ であり， $s$ と $V$ は任意だったので結局 $φ = ψ$ である．

層の内部Hom

$F, G \in Sh (X)$ に対して $U \mapsto {Hom}_{Sh (U)} (F |_{U}, G |_{U})$ の対応で定まる層を $H o m (F, G) \in Sh (X)$ と書く． $H o m : Sh (X)^{op} \times Sh (X) \to Sh (X)$ を内部Hom函手とも呼ぶ．

$H o m$ のことをsheaf Homと呼んだりもしますが，日本語で適切な訳語があるかは筆者は知りません． $X$ 上のsheaf Homであることを強調したいときには $H o m_{X}$ と書くことにします．証明をよく見ると $G$ が層であることしか使っていないので $F$ は前層でも層 $H o m (F, G)$ が定まることが分かりますが，それは使いません．定義から
$Γ (X; H o m (F, G)) = {Hom}_{Sh (X)} (F, G)$
となります．これはうれしいことで，層の射の集合を調べるにはまず $H o m$ という層を調べればよいからです．層にしてしまうと様々な強力な道具を使って調べることができます．

$F \in Sh (X)$ に対して， $H o m (Z_{X}, F) ≃ F$ である．連結な開部分集合 $U$ と $φ_{U} : Z_{X} (U) = Z \to F (U)$ に対して $φ_{U} (1) \in F (U)$ を対応させる射が同形を引き起こす．

内部テンソル積

次にテンソル積について考えます． $F, G \in Sh (X)$ として，開集合 $U$ に対して $F (U) \otimes_{Z} G (U)$ を対応させることを考えてみましょう．すると， $F$ と $G$ の制限写像により開集合の組 $U \subset V$ に対して $F (V) \otimes_{Z} G (V) \to F (U) \otimes_{Z} G (U)$ が定まり，これで前層になることが分かります．残念ながらこの対応は一般には層ではありません．

層の開集合ごとのテンソルの対応が層にならない例

$X = {0, 1}$ に離散位相を入れて， $F = G = Z_{X}$ を定数層とする． $U = X, U_{0} = {0}, U_{1} = {1}$ とすると
$F (U) \otimes_{Z} G (U) = Z^{4}, F (U_{0}) \otimes_{Z} G (U_{0}) = Z = F (U_{1}) \otimes_{Z} G (U_{1})$
となるので貼り合わせ条件が成り立たない．

そこでこの対応の層化としてテンソル積を定めます．

層のテンソル積

$F, G \in Sh (X)$ に対して $U \mapsto F (U) \otimes_{Z} G (U)$ の対応で定まる前層の層化を $F \otimes_{Z} G$ と書き， $F$ と $G$ のテンソル積と呼ぶ． $\otimes_{Z} : Sh (X)^{op} \times Sh (X) \to Sh (X)$ を内部テンソル積函手とも呼ぶ．

加群のテンソルと同様に層のテンソル積についても結合法則や（可換環上では）交換法則が成り立ちます．
層化が茎を保つことと帰納極限がテンソル積と交換する（両方帰納極限をとっても交換する）ことから次が分かります．

層のテンソル積の茎は茎のテンソル積

$F, G \in Sh (X)$ と $x \in X$ に対して同形 $(F \otimes_{Z} G)_{x} ≃ F_{x} \otimes_{Z} G_{x}$ が成り立つ．

$F \in Sh (X)$ に対して， $Z_{X} \otimes_{Z} F ≃ F$ である．

内部テンソル積と内部Homとの随伴

上で定義した層のテンソル積とsheaf Homは随伴の関係になっています．今後は記号を簡単にするために，明らかな場合は ${Hom}_{Sh (X)}$ を単に $Hom$ と書いたり $\otimes_{Z}$ を単に $\otimes$ と書いてしまいます．

層のテンソル積とsheaf Homは随伴

$F, G, H \in Sh (X)$ に対して自然な同形
$Hom (F \otimes G, H) ≃ Hom (F, H o m (G, H))$
が成り立つ．

各開集合 $U$ に対して
${Hom}_{A b} (F (U) \otimes G (U), H (U)) ≃ {Hom}_{A b} (F (U), {Hom}_{A b} (G (U), H (U)))$
が成り立つ．よって， $U \mapsto F (U) \otimes G (U)$ の対応で定まる前層を $F \overset{ˇ}{\otimes} G$ と書くと，同形
${Hom}_{PSh (X)} (F \overset{ˇ}{\otimes} G, H) ≃ Hom (F, H o m (G, H))$
が成り立つことが分かる．ゆえに結論は層化の普遍性から従う．

随伴の性質を使うと次が得られます．

層のテンソル積の右完全性とsheaf Homの左完全性

内部テンソル積函手 $\otimes : Sh (X) \times Sh (X) \to Sh (X)$ は右完全であり，内部Hom函手 $H o m : Sh (X)^{op} \times Sh (X) \to Sh (X)$ は左完全である．

まとめ

この節では

層のテンソル積とsheaf Hom・それらの随伴

について説明しました．

参考文献

[1]

Masaki Kashiwara and Pierre Schapira, Sheaves on Manifolds, Grundlehren der mathematischen Wissenschaften, Springer, 1990

[2]

Birger Iversen（著），前田博信（訳）, 層のコホモロジー, 丸善出版, 1995

[3]

廣中平祐（講義），森重文（記録）, 代数幾何学, 京都大学学術出版会, 2004

[4]

上野健爾, 代数幾何, 岩波書店, 2005

[5]

Masaki Kashiwara and Pierre Schapira, Categories and Sheaves, Grundlehren der mathematischen Wissenschaften, Springer, 2006

[6]

Alexandru Dimca, Sheaves in Topology, Universitext, Springer, 2013

[7]

Sergei I. Gelfand and Yuri I. Manin, Methods of Homological Algebra, Springer Monographs in Mathematics, Springer, 1997

[8]

Joseph Bernstein and Valery Lunts, Equivariant Sheaves and Functors, Lecture Notes in Mathematics, Springer, 1994

[9]

Jean-Pierre Schneiders, Introduction to characteristic classes and index theory, Textos de Matemática, Faculdade de Ciências da Universidade de Lisboa, 2000

[10]

Alexander Grothendieck, Sur quelques points d'algèbre homologique, Tohoku Math. J., 1957, pp. 119--221

[11]

Pierre Schapira, Abelian Sheaves, 閲覧日 2021年1月16日, https://webusers.imj-prg.fr/~pierre.schapira/lectnotes/Shv.pdf

[12]

池祐一, 層の導来圏と特性類, 超局所的物置, 閲覧日 2021年2月27日, https://drive.google.com/file/d/1jD5nQQ3tMy9dEo0eNVhtz2HaqL7sznT4/view

[13]

Unknown, 取得中..., Mathlog, アクセス日: Sat Apr 22 2023

投稿日：2021年5月22日