文献あり

【層理論第5回】層に対する様々な演算II

1829

はじめに

こんにちは！層理論の第5回です．前回はGrothendieckの六演算のうちの四つを説明しました．今回も前回に引き続き層に対する演算について説明していきたいと思います．特に六演算の五つ目である固有順像についてお話しします．

前回のおさらいと補足

第4回では層に対する演算，sheaf Hom・テンソル積・順像・逆像の四つを定義しました．前半二つは$X$上の層二つからまた$X$上の層を作り出す内部演算で，後半二つは連続写像$f \colon X \to Y$で$X$上の層を$Y$上に押し出したり$Y$上の層を$X$上に引き戻す外部演算でした．そしてテンソル積とsheaf Homは随伴で，逆像と順像も随伴の関係になっていたのでした．

さて，補足として層とその切断に関する用語を定義しておきましょう．今回も何も言わずに$X$と書いたら位相空間をあらわします．

切断および層の台

$F \in \Sh(X)$とする．このとき，$X$の開部分集合$U$とその上の$F$の切断$s \in F(U)$に対して$s|_V=0$となる$U$内の最大の開部分集合$V$の$U$内の補集合$U \setminus V$を切断$s$の台と呼び，$\supp(s)$であらわす．また，$F|_V \simeq 0$となる$X$内の最大の開部分集合$V$の補集合$X \setminus V$を層$F$の台と呼び，$\Supp(F)$であらわす．

台の記号・茎による表示

(i) 切断の台と層の台を同じ記号$\supp$で書く文献が多いが，ここでは記号を別にした．
(ii) 最大の開部分集合$V$の存在は貼り合わせ条件から分かる．
(iii) $s \in F(U)$に対して$\supp(s)=\{ x \in U \mid s_x \neq 0 \}$であるが，$\Supp(F)=\overline{\{x \in X \mid F_x \neq 0 \}}$である．後者は閉包を取らないと正しくない．

例えば$\Supp(\cHom(F,G)), \Supp(F \otimes G) \subset \Supp(F) \cap \Supp(G)$であって，連続写像$f \colon X \to Y$と$F \in \Sh(X), G \in \Sh(Y)$に対して$\Supp(f_*F) \subset \overline{f(\Supp(F))}, \Supp(f^{-1}G) \subset f^{-1}(\Supp(G))$となります．

固有順像

ここでは順像とは少し異なるやり方で層を押し出す方法を定義します．そこでは固有写像の概念を扱う必要があるのですが，扱いを簡単にするために以下では断らない限り位相空間はすべて局所コンパクトハウスドルフ空間であると仮定します．このとき，連続写像$f \colon X \to Y$が固有であるとは$Y$の任意のコンパクト部分集合$K$に対して逆像$f^{-1}(K)$が$X$のコンパクト部分集合となることでした．連続写像$f \colon X \to Y$に対して，ある$Y$の開被覆$\{U_i\}_{i \in I}$が存在して，任意の$i \in I$に対して$f|_{f^{-1}(U_i)} \colon f^{-1}(U_i) \to U_i$が固有ならば$f$は固有になることがチェックできます．

固有順像の定義

さて，$f \colon X \to Y$を（固有とは限らない）連続写像とします．このとき，$F \in \Sh(X)$に対して，その順像は$(f_*F)(V):=F(f^{-1}(V))=\Gamma(f^{-1}(V);F)$と定義されたのでした．これを少し細工して，$Y$の開部分集合$V$に対して
$$ (f_!F)(V):=\{ s \in \Gamma(f^{-1}(V);F) \mid \text{$f|_{\supp(s)} \colon \supp(s) \to V$は固有} \} $$
と定めると，$f_!F$は$f_*F$の部分前層として$Y$上の前層を定めます．上で説明したように固有写像であることは局所的な性質なので，$f_!F$は実際に層になることが分かります．

固有順像

$f \colon X \to Y$を連続写像，$F \in \Sh(X)$とする．このとき，
$$ (f_!F)(V):=\{ s \in \Gamma(f^{-1}(V);F) \mid \text{$f|_{\supp(s)} \colon \supp(s) \to V$は固有} \} $$
により定まる$Y$上の層$f_!F \in \Sh(Y)$を$F$の$f$による固有順像と呼ぶ．また，函手$f_! \colon \Sh(X) \to \Sh(Y)$を固有順像函手と呼ぶ．特に，$f=a_X \colon X \to \pt$が一点への写像のとき，
$$ \Gamma_c(X;F):={a_X}_!F=\{ s \in \Gamma(X;F) \mid \text{$\supp(s)$はコンパクト} \} $$
とあらわし，コンパクト台切断とも呼ぶ．

この函手$f_!$がGrothendieckの六演算の五つ目です．もし$f$が$\Supp(F)$上固有であれば$f_!F \simeq f_*F$であることに注意しましょう．固有順像が順像の部分であることを用いると，連続写像$f \colon X \to Y$に対して，固有順像函手$f_! \colon \Sh(X) \to \Sh(Y)$は左完全函手であることが分かります．また，連続写像$f \colon X \to Y, g \colon Y \to Z$に対して，自然同値$g_! \circ f_! \simeq (g \circ f)_! \colon \Sh(X) \to \Sh(Z)$が成り立ちます．特に，$F \in \Sh(X)$に対して自然な同形
$$ \Gamma_c(Y;f_!F) \simeq \Gamma_c(X;F) $$
が成り立ちます．$f_!$は左完全函手なのでその導来函手である高次固有順像$R^nf_!$が考えられます．特に$f=a_X \colon X \to \pt$を考えれば，コンパクト台コホモロジー函手$H^n_c(X;\ast) \colon \Sh(X) \to Ab$が得られます．導来函手は$\delta$函手なので層の短完全列に対してコホモロジー長完全列があることにも注意しましょう．普通のコホモロジーの長完全列とコンパクト台コホモロジーの長完全列をうまく使い分けることによって様々なコホモロジーを計算することができます（下の例3も参照）．

固有順像の嬉しい性質の一つは茎が計算できることです．順像では茎が計算できないのに固有順像では茎が計算できるのは，切断の台に写像に対する固有性を課して暴れ具合を統制しているからと考えられます．

固有順像の茎は逆像のコンパクト台切断

$f \colon X \to Y$を連続写像，$F \in \Sh(X)$とする．このとき，任意の$y \in Y$に対して，自然な同形
$$ \alpha \colon (f_!F)_y \simto \Gamma_c \left( f^{-1}(y);F|_{f^{-1}(y)} \right) $$
が存在する．

概略

写像$\alpha$は$i \colon f^{-1}(y) \hookrightarrow X$としたときの$F \to i_*i^{-1}F$から定まるものである．
$\alpha$が単射であることを示す．$V$を$Y$内の$y$の開近傍として$t \in (f_!F)(V)$とする．すると，$t$は$s \in \Gamma(f^{-1}(V);F)$で$f|_{\supp(s)} \colon \supp(s) \to V$が固有であるもので定まる．$\alpha(t)=0$とすると$y \not\in f(\supp(s))$であり，固有写像は閉写像だから，ある$y$の近傍$V'$が存在して$V' \cap f(\supp(s))=\emptyset$となる．ゆえに，$V'$上$t=0$である．
$\alpha$が全射であることを示す．$s \in \Gamma_c \left( f^{-1}(y);F|_{f^{-1}(y)} \right)$として，$K:=\supp(s) \subset f^{-1}(y)$とする．実は，$K$がコンパクトであることから，ある$K \subset U$となる$X$の開部分集合$U$と$t \in \Gamma(U;F)$が存在して$s|_{U \cap f^{-1}(y)}=t|_{U \cap f^{-1}(y)}$となる．$V$を$K$の相対コンパクトな開近傍で$\overline{V} \subset U$を満たすものとすると，$y \not\in f(\overline{V} \cap \supp(t) \setminus V)$となる．よって，$y$の開近傍$W$であって$W \cap f(\overline{V} \cap \supp(t) \setminus V) = \emptyset$となるものが存在する．ゆえに，$s' \in \Gamma(f^{-1}(W);F)$を
$$ \begin{cases} s'|_{f^{-1}(W) \cap V} = t|_{f^{-1}(W) \cap V} \\ s'|_{f^{-1}(W) \setminus (\supp(t) \cap \overline{V})} = 0 \end{cases} $$
と定めることが出来る．$\supp(s') \subset f^{-1}(W) \cap \supp(t) \cap \overline{V}$より，$f|_{\supp(s')} \colon \supp(s') \to W$は固有であり，作り方から$s'|_{f^{-1}(y)}=s$を満たす．

次のように固有順像を包含写像に用いることで茎が$0$でない部分を増やさないように全体に延ばすことができます．

ゼロ拡張

$i \colon Z \hookrightarrow X$を局所閉部分集合の包含写像とする．このとき，上の命題より$F \in \Sh(Z)$に対して，同形
$$ (j_!F)_x \simeq \begin{cases} F_x & (x \in Z) \\ 0 & (x \in X \setminus Z) \end{cases} $$
が成り立つ．これは$Z$が開集合であっても成立することに注意せよ（$\{x \in X \mid (i_!F)_x \neq 0 \} \subsetneq \Supp(i_!F)$である）．開集合の包含写像$j \colon U \hookrightarrow X$と普通の順像$j_*F$に対して一般にはこのような茎の同形は成り立たなかったことを思い出そう．$i_!F$を$F$のゼロ拡張とも呼ぶ．$Z$が閉部分集合の場合は自然に$i_!F \simeq i_*F$である．

上の茎の計算より次が得られます．

局所閉部分集合からのゼロ拡張は完全函手

$i \colon Z \hookrightarrow X$を局所閉部分集合の包含写像とする．このとき，ゼロ拡張の函手$i_! \colon \Sh(Z) \to \Sh(X)$は完全函手である．

$i \colon Z \hookrightarrow X$を局所閉部分集合の包含写像とする．このとき，(1) $i_!$が完全函手であること，(2) $i_!$が入射的層をc-柔軟層 (c-soft sheaf) にうつすこと，(3) コンパクト台コホモロジーは柔軟分解で計算できることの三つから，$F \in \Sh(Z)$に対して
$$ H^n_c(X;i_!F) \simeq H^n_c(Z;F) $$
となることが分かる．一般には$f_!$が完全でないので上で$i$を一般の連続写像$f$に取り替えると成立しないが，前回も少し述べたように導来圏とその間の導来函手を考えると正しくなる．

開集合からのゼロ拡張については次の制限との随伴の関係が成り立ちます．

開集合からのゼロ拡張と制限は随伴

$j \colon U \hookrightarrow X$を開部分集合の包含写像とする．このとき，$F \in \Sh(U), G \in \Sh(X)$に対して自然な同形
$$ \Hom_{\Sh(X)}(j_!F,G) \simeq \Hom_{\Sh(U)}(F,G|_U) $$
が成り立つ．また，これらに対して自然な同形
$$ \cHom_X(j_!F,G) \simeq j_* \cHom_U(F,j^{-1}G) $$
が成り立つ．

後半は各開集合で考えれば良いので，前半だけ示す．
$V \subset U$なる開部分集合$V$に対して$(j_!F)(V)=F(V)$なので，層の射$\varphi \colon j_!F \to G$に対して$\{\varphi_V \}_{V \subset U}$は層の射$F \to G|_U$を定める．
逆に，層の射$\psi \colon F \to G|_U$が与えられたとする．このとき，$X$の開部分集合$V$に対して
$$ (j_!F)(V)=\{ s \in F(U \cap V) \mid \text{$\supp(s)$は$V$の閉部分集合} \} $$
である（雑にいうと$s$の台は$U$の境界からちゃんと離れている）．上のように見たとき$s \in (j_!F)(V)$に対して$\psi_{U \cap V}(s) \in G(U \cap V)$の台は$\supp(s)$に含まれているので，$V$の開部分集合$V \setminus \supp(s)$上で$0$として貼り合わせて$G(V)$の切断が作れる．この対応で定まる写像を$\varphi_V \colon (j_!F)(V) \to G(V)$とすると，$\varphi=\{ \varphi_V \}_V$は層の射$j_!F \to G$を定める．
上記の対応は互いに逆なので同形が示せた．

上の随伴を使うと入射的層の開部分集合への制限が入射的であることが次のように分かります．これも随伴がえらい証明です．

入射的層の開集合への制限は入射的

$I \in \Sh(X)$を$X$上の入射的層，$U$を$X$の開部分集合とする．このとき，$I|_U \in \Sh(U)$は$U$上の入射的層である．特に，$\cHom(\ast,I) \colon \Sh(X) \to \Sh(X)$は完全函手である．

$j \colon U \hookrightarrow X$を包含写像とする．任意の$U$上の層$F \in \Sh(U)$に対して，上の随伴から
$$ \Hom_{\Sh(U)}(F,I|_U) \simeq \Hom_{\Sh(X)}(j_!F,I) $$
である．右辺は$F$に対する函手としてみれば，完全函手$j_!$と完全函手$\Hom_{\Sh(X)}(\ast,I)$の合成として完全函手である．したがって，左辺もそうであり，$I|_U$は入射的である．後半は各開集合について考えればよい．

上の補題を使って次も得られます．これは入射的層は脆弱ということの脆弱層への埋め込みを使わない証明にもなっています．

後ろに入射的層を入れたsheaf Homは脆弱

$I \in \Sh(X)$を$X$上の入射的層，$F \in \Sh(X)$を$X$上の層とする．このとき，$\cHom(F,I)$は脆弱層である．特に，$I$は脆弱層である．

$j \colon U \hookrightarrow X$を開部分集合の包含写像とすると，随伴から自然な層の射$j_!F|_U \to F$が得られる．茎を考えるとこの射は単射であるので，完全函手$\Hom(\ast,I)$を施すと$\Hom(F,I) \to \Hom(j_!F|_U, I) \simeq \Hom(F|_U,I|_U)$は全射である．これが$\cHom(F,I)$の制限写像と一致するので，$\cHom(F,I)$は脆弱である．後半は$F=\bbZ_X$とすれば$\cHom(\bbZ_X,I) \simeq I$であることから従う．

次は命題1の相対版で固有基底変換 (proper base change) と呼ばれることもあります．証明は逆像と順像の随伴を使って射を作って，命題1で茎の同形をチェックすることでできます．

固有基底変換

位相空間のファイバー積の図式
\begin{xy} \xymatrix{ X' \ar[r]^-{f'} \ar[d]_-{g'} & Y' \ar[d]^-{g} \\ X \ar[r]_-{f} & Y } \end{xy}
すなわち，$X'=X \times_Y Y'=\{ (x,y') \in X \times Y' \mid f(x)=g(y') \}$となるものに対して，自然同値
$$ g^{-1} \circ f_! \simto f'_! \circ g'^{-1} \colon \Sh(X) \to \Sh(Y') $$
が成り立つ．

固有順像・逆像・テンソル積に関する同形$f_!(F \otimes f^{-1}G) \simeq f_!F \otimes G$（射影公式と呼ばれます）もある条件のもとで成立するのですが，これは導来圏で述べたほうがすっきりするので後回しにします．

固有順像の右随伴函手？

さて，少し天下り的ですが次の問いを立ててみましょう．

問：一般の連続写像$f \colon X \to Y$に対して，固有順像函手$f_! \colon \Sh(X) \to \Sh(Y)$の右随伴函手は存在するか？すなわち，函手$f^! \colon \Sh(Y) \to \Sh(X)$（随伴にしたいので$f^!$と書いた）であって，$F \in \Sh(X), G \in \Sh(Y)$に対して自然な同形
$$ \Hom_{\Sh(Y)}(f_!F,G) \simeq \Hom_{\Sh(X)}(F,f^!G) $$
が成り立つものは存在するか？

これを期待する理由は少なくとも二つあります．
一つ目は開部分集合の包含写像$j \colon U \hookrightarrow X$に対しては右随伴が制限として存在するので，一般にも随伴の存在を期待したいという安直なものです．しかし，もしこれができると一つずつ随伴で解きほぐしてやることでテンソル積・逆像・固有順像の組合せで定義された層に対する演算の右随伴を作ることができます．これは嬉しいことです．
二つ目は積分のようなことをしたいというものです．コンパクトな台を持つ函数があったら積分をしたくなるのが人情というものではないでしょうか？より一般にはファイバー方向にコンパクトな切断をファイバーに沿って積分したくなります．もし上のような右随伴函手が存在すれば，自然な写像$f_!f^!G \to G$が$f$のファイバーに沿った積分と思えそうです．特に一点への写像$f=a_X \colon X \to \pt$と$G=\bbR$を考えれば，$\Gamma_c(X;a_X^!\bbR) \to \bbR$となって積分のような写像ができます．

さて，この問いに対する答えは残念ながら一般にはNoです．Noである理由はやってみると分かるのですが，$f_! \colon \Sh(X) \to \Sh(Y)$が完全ではないことに起因します．実際，局所閉部分集合の包含写像$i \colon Z \hookrightarrow X$に対しては$i_!$は完全で$i^! \colon \Sh(X) \to \Sh(Z)$を作ることができます（開部分集合の包含写像は特殊な場合）．これは非常に残念ですが，枠組みを広げることで回避できるというのが上付きびっくりと呼ばれている$f^!$の構成のアイデアです．ある意味で$f_!$が完全に振る舞うような層のクラスに「同形」で取り替えるという操作ができれば議論がうまく進むのですが，これは層のアーベル圏のレベルでは不可能です．しかし，導来圏ではそこでの「同形」で良い層に取り替えることができて$f^!$が作れるのです！こうしてできたものがGrothendieckの六演算の最後の上付きびっくりと呼ばれるものです．これが導来圏の二つ目の良さなのです．詳細についてはまたの機会に説明します．

その他の層に対する操作

Grothendieckの六演算には含まれていないものの便利な二つの演算について説明しておきましょう．

台の切り落とし操作

局所閉部分集合の包含写像の固有順像を考えることで，茎が全く染み出さないように全体に広げるゼロ拡張が考えられたのでした．これを制限と合成することで次を定義します．

台の切り落とし

$i \colon Z \hookrightarrow X$を局所閉部分集合の包含写像とする．このとき，$X$上の層$F \in \Sh(X)$に対して
$$ F_Z := i_!i^{-1}F \in \Sh(X) $$
と定める．また，$X$上の定数層$M_X \in \Sh(X)$に対して，$(M_X)_Z$を単に$M_Z$と書く．

(i) 「台の切り落とし函手」という用語は一般的ではないここだけの呼び方である．（プロ向けの釈明：超局所切り落とし (microlocal cut-off) という操作が別にあるが，こちらは底空間方向の切り落としなので単に切り落としと呼んだ．）
(ii) 完全函手の合成として函手$(\ast)_Z \colon \Sh(X) \to \Sh(X)$は完全函手である．
(iii) $M_Z$の記号は文脈により$Z$上の層をあらわすことも$X$上の層をあらわすこともあるので注意が必要である．例えば$\bbZ_{[0,1]}$は$[0,1]$上の層かもしれないし$\bbR$上の層かもしれない．しかし，この記号は非常に便利なのでKashiwara-Schapiraにならって用いる．
(iv) 局所閉部分集合$Z$と$F \in \Sh(X)$に対して，$\bbZ_Z \otimes F \simeq F_Z$である．

特異空間$S$があったとき，これを多様体$X$に$i \colon S \hookrightarrow X$と閉に埋め込んで$\bbZ_S = i_*\bbZ_S \in \Sh(X)$を考えれば，$H^n(X;\bbZ_S) \simeq H^n(S;\bbZ_S)$なので$X$上の層のコホモロジーとして$S$のコホモロジーを取り出すことができます．実際，$0 \to \bbZ_S \to I^\bullet$を$\Sh(S)$における入射分解（または脆弱分解）とすると，$0 \to \bbZ_S \to i_*I$は$\Sh(X)$における入射分解（または脆弱分解）だから上の同形が成り立ちます．

例えば固有基底変換を使うことで，二つの$X$の局所閉部分集合$Z, Z'$に対して$(F_Z)_{Z'} \simeq F_{Z \cap Z'}$となることが分かります．閉部分集合の包含写像$i \colon Z \hookrightarrow X$に対しては$F_Z \simeq i_*i^{-1}F$なので，随伴から定まる自然な層の射$F \to F_Z$が存在します．この射は$Z$上の茎では恒等写像を誘導するものです．一方で開部分集合の包含写像$j \colon U \hookrightarrow X$に対しては，ゼロ拡張と制限の随伴から定まる自然な層の射$F_U \to F$が存在します．これも$U$上の茎では恒等写像を誘導します．つまり，閉の場合は大きい方から小さい方に射があり，開の場合は小さい方から大きい方に射があります．これらの閉・開と射の向きはプロもときどき間違えるものですが，どちらかの随伴を思い出してやることですぐにどっち向きか判断できます（ちなみに筆者は閉の場合の随伴を思い出して開は逆だとやっています）．これらの誘導された射について次の完全列たちが存在します．一つ目は切除・二つ目と三つ目はMayer-Vietorisの層理論版だと思うことができます．

台の切り落としに付随する完全列

$F \in \Sh(X)$とする．
(i) $Z$を$X$の閉部分集合とすると，層の列
$$ 0 \to F_{X \setminus Z} \to F \to F_Z \to 0 $$
は完全である．
(ii) $Z_1,Z_2$を$X$の二つの閉部分集合とすると，層の列
$$ 0 \to F_{Z_1 \cup Z_2} \to F_{Z_1} \oplus F_{Z_2} \to F_{Z_1 \cap Z_2} \to 0 $$
は完全である．ここで，一つ目の射は自然な射$F_{Z_1 \cup Z_2} \to F_{Z_1}, F_{Z_1 \cup Z_2} \to F_{Z_2}$の直和で，二つ目の射は自然な射$F_{Z_1} \to F_{Z_1 \cap Z_2}, F_{Z_2} \to F_{Z_1 \cap Z_2}$の差で定まるものである．
(iii) $U_1,U_2$を$X$の二つの開部分集合とすると，層の列
$$ 0 \to F_{U_1 \cap U_2} \to F_{U_1} \oplus F_{U_2} \to F_{U_1 \cup U_2} \to 0 $$
は完全である．射は(ii)と類似のものである．

こうして，層のレベルで切除やMayer-Vietorisを考えることで，ある意味で「仮想的に」空間を切ったり貼ったりというような操作ができることが層理論の良いところの一つだと思います．

開集合上の切断の空間もHomで回復可能

$j \colon U \hookrightarrow X$を開部分集合の包含写像として$F \in \Sh(X)$とすると，$\cHom_X(\bbZ_U,F) \simeq j_* \cHom_U(\bbZ_U,F) \simeq j_*F|_U$である．特に$\Hom(\bbZ_U,F) \simeq \Gamma(U;F)$となる．

コホモロジーの計算例

(i) $S^n$を$n$次元球面とすると，
$$ H^k(S^n;\bbZ_{S^n}) = \begin{cases} \bbZ & (k=0,n) \\ 0 & (k \neq 0,n) \end{cases} $$
である（上の層のMayer-Vietorisを使うか特異コホモロジーと同形であることを使えば良い）．$S^n$上の層の完全列$0 \to \bbZ_{S^n \setminus \pt} \to \bbZ_{S^n} \to \bbZ_{\pt} \to 0$のコンパクト台コホモロジーの長完全列を考えて，ゼロ拡張のところで述べた注意の同形を用いると
\begin{xy} \xymatrix{ 0 \ar[r] & H^0_c(S^n \setminus \pt;\bbZ_{S^n \setminus \pt}) \ar[r] & H^0_c(S^n;\bbZ_{S^n}) \ar[r] & H^0_c(\pt;\bbZ_\pt) \ar `[rd] `[l] `[dlll] `^r[dll] [dll] & \\ & H^1_c(S^n \setminus \pt;\bbZ_{S^n \setminus \pt}) \ar[r] & H^1_c(S^n;\bbZ_{S^n}) \ar[r] & \cdots & \\ & & \cdots \ar[r] & H^{k-1}_c(\pt;\bbZ_\pt) \ar `[rd] `[l] `[dlll] `^r[dll] [dll] & \\ & H^k_c(S^n \setminus \pt;\bbZ_{S^n \setminus \pt}) \ar[r] & H^k_c(S^n;\bbZ_{S^n}) \ar[r] & H^k_c(\pt;\bbZ_\pt) \ar `[rd] `[l] `[dlll] `^r[dlll] [dll] & \\ & H^{k+1}_c(S^n \setminus \pt;\bbZ_{S^n \setminus \pt}) \ar[r] & \cdots & & } \end{xy}
が得られる．$S^n,\pt$はコンパクトなので，これらについては普通のコホモロジーと等しく，$S^n \setminus \pt$は$R^n$と同相なので$H^k_c(S^n \setminus \pt;\bbZ_{S^n \setminus \pt}) \simeq H^k_c(\bbR^n;\bbZ_{\bbR^n})$であることに注意する．$H^k(\pt;\bbZ_\pt)=0 \ (k \ge 1)$であることと，$\bbZ=H^0(S^n;\bbZ_{S^n}) \to H^0_c(\pt;\bbZ_\pt) = \bbZ$は恒等写像であることを用いると
$$ H^k_c(\bbR^n;\bbZ_{\bbR^n}) = \begin{cases} \bbZ & (k=n) \\ 0 & (k \neq n) \end{cases} $$
が得られる．
(ii) $X = \bigvee_{i=1}^\mu S^n$として$\pt$でウエッジ和の基点をあらわす．$X$上の層の完全列$0 \to \bbZ_{X \setminus \pt} \to \bbZ_X \to \bbZ_\pt \to 0$のコンパクト台コホモロジーの長完全列を考えて，$X \setminus \pt$が$\bigsqcup_{i=1}^\mu \bbR^n$と同相であること及び(i)の計算結果を用いると
$$ H^k(X;\bbZ_X)= \begin{cases} \bbZ & (k=0) \\ \bbZ^\mu & (k=n) \\ 0 & (k \neq 0,n) \end{cases} $$
が得られる．
(iii) $\bbZ_{(0,\infty)} \in \Sh(\bbR)$を考える（これは$\bbR$上の層の意味）．ゼロ拡張のところで述べた注意から$H^k_c(\bbR;\bbZ_{(0,\infty)}) \simeq H^k_c((0,\infty);\bbZ_{(0,\infty)})$（右辺の層は$(0,\infty)$上の意味）で$(0,\infty)$は$\bbR$同相だから
$$ H^k_c(\bbR;\bbZ_{(0,\infty)}) = \begin{cases} \bbZ & (k=1) \\ 0 & (k \neq 1) \end{cases} $$
である．一方で，$\bbR$上の層の完全列$0 \to \bbZ_{(0,\infty)} \to \bbZ_\bbR \to \bbZ_{(-\infty,0]} \to 0$のコホモロジー長完全列を考えると，$H^k(\bbR;\bbZ_\bbR) \to H^k(\bbR;\bbZ_{(-\infty,0]}) \simeq H^k((-\infty,0];\bbZ_{(-\infty,0]})$は$k=0$で$\id \colon \bbZ \simto \bbZ$で$k\neq 0$で両者とも$0$で常に同形であることから，$H^k(\bbR;\bbZ_{(0,\infty)})=0 \ (k \in \bbZ_{\ge 0})$である．コンパクト台の場合と通常の場合で異なることに注意する．

相対（局所）コホモロジー

ここでは位相空間の対のコホモロジーの層バージョンである相対コホモロジーというものについて説明します．まずモチベーションについて話します．

$X$の開部分集合$U$，$F \in \Sh(X)$を$X$上の層とします．このとき，制限写像$\Gamma(X;F) \to \Gamma(U;F)$に興味があるとしましょう．例えば，$U$上の切断を$X$上に延ばせるか？・延ばせる際にそれは一意か？などに興味があることがあります．もっと一般に任意の$n \in \bbZ_{\ge 0}$に対して，コホモロジーの間に写像$H^n(X;F) \to H^n(U;F)$が誘導されています．実際，$F$の入射分解$0 \to F \to I^\bullet$を取れば，補題4より$0 \to F|_U \to I^\bullet|_U$は$F|_U$の入射分解で，制限写像$\Gamma(X;I^\bullet) \to \Gamma(U;I^\bullet|_U)$がコホモロジーにも制限写像を引き起こします．$U$上のコホモロジー類を$X$上に延ばせるか？・それは一意か？を調べるためにこれらの写像に興味があるとします．これは写像に関する問いですが，この問いを調べることができる対象があったら嬉しいと思いませんか？これを可能にするのが相対コホモロジーというものです．結論からいうと$Z=X \setminus U$として$H^n_Z(X;F)$というアーベル群を定めて，長完全列
\begin{xy} \xymatrix{ 0 \ar[r] & H^0_Z(X;F) \ar[r] & \Gamma(X;F) \ar[r] & \Gamma(U;F) \ar `[rd] `[l] `[dlll] `^r[dll]^{\delta^0} [dll] & \\ & H^1_Z(X;F) \ar[r] & H^1(X;F) \ar[r] & \cdots & \\ & & \cdots \ar[r] & H^{n-1}(U;F) \ar `[rd] `[l] `[dlll] `^r[dll]^{\delta^{n-1}} [dll] & \\ & H^n_Z(X;F) \ar[r] & H^n(X;F) \ar[r] & H^n(U;F) \ar `[rd] `[l] `[dlll] `^r[dlll]^{\delta^n} [dll] & \\ & H^{n+1}_Z(X;F) \ar[r] & \cdots & & } \end{xy}
が得られます．すると，$H^n_Z(X;F)$たちを見ることでコホモロジーに誘導される制限写像が単射・全射・同形かが分かるという仕組みになります．このように射に関する情報をエンコードする対象があると嬉しいわけです．

より一般に$Z$を$X$の局所閉部分集合，$F \in \Sh(X)$として，$H^n_Z(X;F)$を定義しましょう．まず$0$次について$\Gamma_Z(X;F)$を定めて，その右導来函手として$H^n_Z(X;F)$を定めます．$Z$を閉部分集合として含む$X$の開部分集合$U$を取って，
$$ \Gamma_Z(U;F) := \Ker (\rho_{U \setminus Z, U} \colon \Gamma(U;F) \to \Gamma(U \setminus Z;F)) $$
と定めます．すなわち，$U$上の$F$の切断$s$であって$\supp(s) \subset Z$となるものです．上で見た長完全列の最初の部分がほしいので，このように定義しました．$Z$を閉部分集合として含む$V \subset U$を取ってくると，制限写像から誘導される自然な写像$\Gamma_Z(U;F) \to \Gamma_Z(V;F)$は同形になります．実際，単射は切断の台が$Z$に含まれていることから，全射は$U \setminus Z$で$0$として貼り合わせれば良いからです．したがって，$\Gamma_Z(U;F)$は$Z$を閉部分集合として含む$X$の開部分集合$U$の取り方によらないので，これを$\Gamma_Z(X;F)$と書きます．$\Gamma_Z(X;F)$は$\Gamma(U;F)$の部分加群であることから，函手$\Gamma_Z(X;\ast) \colon \Sh(X) \to Ab$は左完全函手です．また，$U \mapsto \Gamma_{Z \cap U}(U;F)$という対応は$X$上の層を定めることがチェックできます．

相対（局所）コホモロジー

$Z$を$X$局所閉部分集合，$F \in \Sh(X)$を$X$上の層とする．
(i) 上で定めた左完全函手$\Gamma_Z(X;\ast) \colon \Sh(X) \to Ab$の右導来函手$R^n\Gamma_Z(X;\ast) \colon \Sh(X) \to Ab$を考える．$H^n_Z(X;F):=R^n\Gamma_Z(X;F)$と書き，$n$次の$Z$に台を持つ相対コホモロジーまたは局所コホモロジーと呼ぶ．
(ii) $U \mapsto \Gamma_{Z \cap U}(U;F)$なる対応で定まる層を$\Gamma_Z(F)$と書き，$Z$に台を持つ切断の層とも呼ぶ．

相対・局所コホモロジーの名称について

佐藤幹夫の系列は$H^n_Z(X;F)$のことを相対コホモロジーと呼ぶことが多く，Grothendieckの系列は局所コホモロジーと呼ぶことが多いようである．以下では相対コホモロジーと呼称する．

定義から$\Gamma(X;\Gamma_Z(F)) \simeq \Gamma_Z(X;F)$となります．函手$\Gamma_Z \colon \Sh(X) \to \Sh(X), F \to \Gamma_Z(F)$も左完全函手となることが分かるので，その右導来函手$R^n\Gamma_Z$も考えることができ$H^n_Z:=R^n\Gamma_Z$と書きます．これらの函手について基本的な性質をまとめておきましょう．

局所閉部分集合に台を持つ切断の層の性質

$Z$を$X$の局所閉部分集合とする．
(i) $Z=U$が$X$の開部分集合で$j \colon U \hookrightarrow X$を包含写像とすると，同形$\Gamma_U(F) \simeq j_*j^{-1}F$が成り立つ．
(ii) $Z'$を別の$X$の局所閉部分集合とすると，自然同値$\Gamma_{Z \cap Z'} \simeq \Gamma_{Z'} \circ \Gamma_Z$が成り立つ．
(iii) $Z'$を別の$Z$の閉部分集合とすると，層の列$0 \to \Gamma_{Z'}(F) \to \Gamma_Z(F) \to \Gamma_{Z \setminus Z'}(F)$は完全である．
(iv) $F \in \Sh(X)$に対して，同形$\cHom(\bbZ_Z,F) \simeq \Gamma_Z(F)$が成り立つ．
(v) $F,G \in \Sh(X)$に対して，自然な同形$\cHom(F_Z,G) \simeq \cHom(F,\Gamma_Z(G))$が成り立つ．

概略

(i) $U$を閉部分集合として含む$X$の開部分集合として$U$自身が取れるので$\Gamma_U(X;F)=\Gamma(U;F)$となるから良い．
(ii), (iii) やれば出来るので省略．
(iv) $Z$が開部分集合の場合は$\cHom_X(\bbZ_Z,F) \simeq j_* \cHom_U(\bbZ_Z,j^{-1}F) \simeq j_*j^{-1}F$（$j \colon Z \hookrightarrow X$は包含写像）であるから良い．$Z$が閉部分集合の場合は層の完全列$0 \to \bbZ_{X \setminus Z} \to \bbZ_X \to \bbZ_Z \to 0$に左完全函手$\cHom(\ast,F)$を施すと，層の完全列
\begin{xy} \xymatrix{ 0 \ar[r] & \cHom(\bbZ_Z,F) \ar[r] & \cHom(\bbZ_X,F) \ar[r] \ar@{=}[d] & \cHom(\bbZ_{X \setminus Z},F) \ar@{=}[d] \\ & & F \ar[r] & \Gamma_{X \setminus Z}(F) } \end{xy}
が得られる．層の完全列$0 \to \Gamma_Z(F) \to F \to \Gamma_{X \setminus Z}(F)$と比較するとほしい同形が得られる．一般の局所閉部分集合の場合は(ii)を使えば良い．
(v) $F_Z \simeq F \otimes \bbZ_Z$であったので，
$$ \cHom(F_Z, G) \simeq \cHom(F \otimes \bbZ_Z,G) \simeq \cHom(F,\cHom(\bbZ_Z,G)) \simeq \cHom(F,\Gamma_Z(G)) $$
が得られる．

脆弱層に対しては次もすぐにチェックできます．

脆弱層に対する相対コホモロジーの完全列

$F \in \Sh(X)$を$X$上の脆弱層とする．
(i) $Z$を$X$の局所閉部分集合とすると，$\Gamma_Z(F)$も脆弱層である．
(ii) $Z$を$X$の局所閉部分集合，$Z'$を$Z$の閉部分集合とすると層の列
$$ 0 \to \Gamma_{Z'}(F) \to \Gamma_Z(F) \to \Gamma_{Z \setminus Z'}(F) \to 0 $$
は完全である．
(iii) $Z_1,Z_2$を$X$の二つの閉部分集合とすると，層の列
$$ 0 \to \Gamma_{Z_1 \cap Z_2}(F) \to \Gamma_{Z_1}(F) \oplus \Gamma_{Z_2}(F) \to \Gamma_{Z_1 \cup Z_2}(F) \to 0 $$
は完全である．ここで一つ目の射は自然な射の直和で二つ目の射は自然な射の差である．
(iv) $U_1,U_2$を$X$の二つの開部分集合とすると，層の列
$$ 0 \to \Gamma_{U_1 \cup U_2}(F) \to \Gamma_{U_1}(F) \oplus \Gamma_{U_2}(F) \to \Gamma_{U_1 \cap U_2}(F) \to 0 $$
は完全である．射は(iii)と類似のものである．

上の補題の(i)を使えば，(ii)-(iv)の大域切断を取ったものも完全列となることに注意しましょう．台の切り落としのときとは逆で，閉の場合は小さい方から大きい方に射があり，開の場合は大きい方から小さい方に射があることにも注意します．

さて，左完全函手の右導来函手は入射分解を取って，そこに函手を施してコホモロジーを取るのでした．入射的層は脆弱なので，$F \in \Sh(X)$に対して入射分解$0 \to F \to I^\bullet$を取り，例えば上の補題の(ii)を使うと
$$ 0 \to \Gamma_{Z'}(X;I^\bullet) \to \Gamma_Z(X;I^\bullet) \to \Gamma_{Z \setminus Z'}(X;I^\bullet) \to 0 $$
は複体の完全列になります．ここから，相対コホモロジーの長完全列
\begin{xy} \xymatrix{ 0 \ar[r] & \Gamma_{Z'}(X;F) \ar[r] & \Gamma_Z(X;F) \ar[r] & \Gamma_{Z \setminus Z'}(X;F) \ar `[rd] `[l] `[dlll] `^r[dll]^{\delta^0} [dll] & \\ & H^1_{Z'}(X;F) \ar[r] & H^1_Z(X;F) \ar[r] & \cdots & \\ & & \cdots \ar[r] & H^{n-1}_{Z \setminus Z'}(X;F) \ar `[rd] `[l] `[dlll] `^r[dll]^{\delta^{n-1}} [dll] & \\ & H^n_{Z'}(X;F) \ar[r] & H^n_Z(X;F) \ar[r] & H^n_{Z \setminus Z'}(X;F) \ar `[rd] `[l] `[dlll] `^r[dlll]^{\delta^n} [dll] & \\ & H^{n+1}_{Z'}(X;F) \ar[r] & \cdots & & } \end{xy}
が得られます．$Z=X$の場合が最初にほしいと言った長完全列でした．(iii), (iv)を使えばMayer-Vietoris長完全列の類似が得られます．

相対コホモロジーと佐藤超函数

$\bbC$上の正則函数の層$\cO_\bbC$と$\bbR \subset \bbC$に関する相対コホモロジーを考えると，完全列
$$ 0 \to \Gamma_\bbR(\bbC;\cO_\bbC) \to \Gamma(\bbC;\cO_\bbC) \to \Gamma(\bbC \setminus \bbR;\cO_\bbC) \to H^1_\bbR(\bbC;\cO_\bbC) \to H^1(\bbC;\cO_\bbC) $$
が得られる．解析接続の一意性から$\Gamma_\bbR(\bbC;\cO_\bbC)=0$であり，第3回の定理7の証明中で示したように，$H^1(\bbC;\cO_\bbC)=0$である．ゆえに，$H^1_\bbR(\bbC;\cO_\bbC) \simeq \Gamma(\bbC \setminus \bbR;\cO_\bbC) /\Gamma(\bbC;\cO_\bbC)$である．これを$\bbR$上の佐藤超函数の空間$\cB_\bbR(\bbR)$と呼ぶのであった（この記事の定義2）．相対コホモロジーの層バージョンを使えば，$\cB_\bbR:=H^1_\bbR (\cO_\bbC)$として$\bbR$上の佐藤超函数の層$\cB_\bbR$も定義できる．高次元でも$\cB_{\bbR^n}:=H^n_{\bbR^n}(\cO_{\bbC^n})$と定めて，$\bbR^n$上の佐藤超函数の層と呼ぶ．余談だが高次元でも$H^k_{\bbR^n}(\cO_{\bbC^n})=0 \ (k \neq n)$という消滅定理が成り立ち，消えていない相対コホモロジーの層を佐藤超函数の層と定義するのである．

さて，相対コホモロジーの層を使うことで上で得た切断の長完全列を局所的に見ることもできます．例えば$X=\bbR^2, Z=\{ (x,y) \in \bbR^2 \mid y \ge 0 \}, U:=X \setminus Z$，$F \in \Sh(X)$としてみます．もし，相対コホモロジーの層$H^n_Z(F)$の$0 =(0,0) \in X$での茎が$H^n_Z(F)_0 =0 \ (n \in \bbZ_{\ge 0})$を満たしたとしましょう．すると，長完全列で帰納極限を取ることで
$$ 0= \varinjlim_{0 \in B} H^n_Z(B;F) \to \varinjlim_{0 \in B} H^n(B;F) \simto \varinjlim_{0 \in B} H^n(U \cap B;F) \to \varinjlim_{0 \in B} H^{n+1}_Z(B;F)=0 $$
という同形が得られます．これは何を言っているかというと$U=\{(x,y) \in \bbR^2 \mid y <0\}$上の任意のコホモロジー類は$0$の近傍に一意に拡張できるということです．これは$0$において$(0,1)$の方向に一意に拡張できると思うことができます（$(0,1)$の方向に「解析接続できる」という気持ち）．それなら$Z$を他の半空間にすれば色々な方向への一意拡張可能性を調べられると思いませんか？これが超局所層理論で重要な道具であるマイクロ台の考え方そのものなのです！詳しくはまた今度説明します．