9
現代数学
文献あり

層に対する演算1(内部演算)

4288
0
$$\newcommand{bbC}[0]{\mathbb C} \newcommand{bbN}[0]{\mathbb N} \newcommand{bbQ}[0]{\mathbb{Q}} \newcommand{bbR}[0]{\mathbb R} \newcommand{bbU}[0]{\mathbb{U}} \newcommand{bbZ}[0]{\mathbb Z} \newcommand{bfk}[0]{\mathbb{k}} \newcommand{C}[0]{\mathsf{C}} \newcommand{cA}[0]{\mathcal{A}} \newcommand{cB}[0]{\mathcal{B}} \newcommand{Cb}[0]{\mathsf{C}^\mathrm{b}} \newcommand{cC}[0]{\mathcal{C}} \newcommand{cD}[0]{\mathcal{D}} \newcommand{cHom}[0]{\mathcal{H}om} \newcommand{cI}[0]{\mathcal{I}} \newcommand{cJ}[0]{\mathcal{J}} \newcommand{cM}[0]{\mathcal{M}} \newcommand{Cm}[0]{\mathsf{C}^-} \newcommand{cO}[0]{\mathcal O} \newcommand{Coker}[0]{\operatorname{Coker}} \newcommand{Cp}[0]{\mathsf{C}^+} \newcommand{CP}[0]{\mathbb{CP}} \newcommand{cRHom}[0]{R\mathcal{H}om} \newcommand{cT}[0]{\mathcal{T}} \newcommand{D}[0]{\mathsf{D}} \newcommand{Db}[0]{\mathsf{D}^\mathrm{b}} \newcommand{dim}[0]{\operatorname{dim}} \newcommand{Dm}[0]{\mathsf{D}^-} \newcommand{Dp}[0]{\mathsf{D}^+} \newcommand{End}[0]{\operatorname{End}} \newcommand{Ext}[0]{\operatorname{Ext}} \newcommand{Hom}[0]{\operatorname{Hom}} \newcommand{id}[0]{\mathrm{id}} \newcommand{Image}[0]{\operatorname{Im}} \newcommand{Int}[0]{\mathrm{Int}} \newcommand{K}[0]{\mathsf{K}} \newcommand{Kb}[0]{\mathsf{K}^\mathrm{b}} \newcommand{Ker}[0]{\operatorname{Ker}} \newcommand{Km}[0]{\mathsf{K}^-} \newcommand{Kp}[0]{\mathsf{K}^+} \newcommand{lten}[0]{\overset{L}{\otimes}} \newcommand{lto}[0]{\longrightarrow} \newcommand{Mc}[0]{\mathrm{Mc}} \newcommand{Mod}[0]{\operatorname{Mod}} \newcommand{MS}[0]{\operatorname{SS}} \newcommand{MS}[0]{\mathrm{SS}} \newcommand{op}[0]{\mathrm{op}} \newcommand{or}[0]{\mathrm{or}} \newcommand{PSh}[0]{\mathrm{PSh}} \newcommand{pt}[0]{\mathrm{pt}} \newcommand{RG}[0]{R\Gamma} \newcommand{RHom}[0]{R\mathrm{Hom}} \newcommand{RP}[0]{\mathbb{RP}} \newcommand{Sh}[0]{\mathrm{Sh}} \newcommand{simto}[0]{\overset{\sim}{\to}} \newcommand{supp}[0]{\operatorname{supp}} \newcommand{Supp}[0]{\operatorname{Supp}} \newcommand{tl}[0]{\widetilde} \newcommand{toone}[0]{\overset{+1}{\to}} \newcommand{U}[0]{\mathbb{U}} $$

内部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$$\varphi \in \Hom_{\Sh(V)}(F|_V,G|_V)$に対して,$U$内の開集合だけに対して射を考えることにより$\varphi|_U \in \Hom_{\Sh(U)}(F|_U,G|_U)$が定まるので,これを制限写像とする.これらが前層の条件を満たすことはよい.

貼り合わせ条件を調べる.開集合$U$とその開被覆$\{U_i\}_{i \in I}$および$\varphi_i \in \Hom_{\Sh(U_i)}(F|_{U_i},G|_{U_i})$なる族で$\varphi_i|_{U_i \cap U_j}=\varphi_j|_{U_i \cap U_j}$を満たす族を任意に取る.$\varphi \in \Hom_{\Sh(U)}(F|_U,G|_U)$であって$\varphi|_{U_i}=\varphi_i$となるものを定めたいが,これには$U$の任意の開部分集合$V$に対して$\varphi_V \colon F(V) \to G(V)$を定めなければならない.$s \in F(V)$に対して$\{V \cap U_i\}_{i \in I}$$V$の開被覆であり,$t_i:=\varphi_{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$を満たす.$\varphi_V(s):=t$として$\varphi_V \colon F(V) \to G(V)$を定めると$\varphi=\{\varphi_V\}_{V \subset U} \colon F|_U \to G|_U$は制限写像たちと可換になるので層の射$\varphi \in \Hom_{\Sh(U)}(F|_U,G|_U)$である.作り方から任意の$i \in I$に対して$\varphi|_{U_i}=\varphi_i$を満たしている.作り方をたどればこのように作る必要があることも分かるが,一意性を直接見よう.$\psi \in \Hom_{\Sh(U)}(F|_U,G|_U)$もこの条件を満たすならば,任意の$i$に対して$\varphi|_{U_i}=\psi|_{U_i}$であるから,任意の$U$の開部分集合$V$$s \in F(V)$に対して
$$ \varphi_{V}(s)|_{V \cap U_i} = \varphi_{V \cap U_i}(s) = \psi_{V \cap U_i}(s) = \psi_{V}(s)|_{V \cap U_i} $$
である.$G$が層であることから$\varphi_V(s)=\psi_V(s)$であり,$s$$V$は任意だったので結局$\varphi=\psi$である.

層の内部Hom

$F,G \in \Sh(X)$に対して$U \mapsto \Hom_{\Sh(U)}(F|_U,G|_U)$の対応で定まる層を$\cHom(F,G) \in \Sh(X)$と書く.$\cHom \colon \Sh(X)^\op \times \Sh(X) \to \Sh(X)$内部Hom函手とも呼ぶ.

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

$F \in \Sh(X)$に対して,$\cHom(\bbZ_X,F) \simeq F$である.連結な開部分集合$U$$\varphi_U \colon \bbZ_X(U) =\bbZ \to F(U)$に対して$\varphi_U(1) \in F(U)$を対応させる射が同形を引き起こす.

内部テンソル積

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

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

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

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

層のテンソル積

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

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

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

$F,G \in \Sh(X)$$x \in X$に対して同形$(F \otimes_\bbZ G)_x \simeq F_x \otimes_\bbZ G_x$が成り立つ.

$F \in \Sh(X)$に対して,$\bbZ_X \otimes_\bbZ F \simeq F$である.

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

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

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

$F,G,H \in \Sh(X)$に対して自然な同形
$$ \Hom(F \otimes G, H) \simeq \Hom(F, \cHom(G,H)) $$
が成り立つ.

各開集合$U$に対して
$$ \Hom_{Ab}(F(U) \otimes G(U), H(U)) \simeq \Hom_{Ab}(F(U), \Hom_{Ab}(G(U),H(U))) $$
が成り立つ.よって,$U \mapsto F(U) \otimes G(U)$の対応で定まる前層を$F \, \check{\otimes} \, G$と書くと,同形
$$ \Hom_{\PSh(X)}(F \, \check{\otimes} \, G, H) \simeq \Hom(F,\cHom(G,H)) $$
が成り立つことが分かる.ゆえに結論は層化の普遍性から従う.

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

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

内部テンソル積函手$\otimes \colon \Sh(X) \times \Sh(X) \to \Sh(X)$は右完全であり,内部Hom函手$\cHom \colon \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
投稿日:2021522

この本を高評価した人

高評価したユーザはいません

この本に送られたバッジ

バッジはありません。

投稿者

microsupport
microsupport
169
48647
層理論が好きです.広い意味での代数解析についての記事を書いています.

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
前のページへ
5 / 12
次のページへ
前ページへ
層理論と導来圏の表紙
次ページへ