上付きびっくり（Poincaré-Verdier双対性）

この節ではいよいよGrothendieckの六演算の最後の一つである「上付きびっくり」と呼ばれる函手について説明したいと思います．まず上付きびっくりの存在について説明して，それがPoincaré双対性などを含むということを話して，最後に上付きびっくりの存在がどのように証明されるのかの概略を説明します．

上付きびっくりの存在定理の主張

さて，おさらいで見たようにテンソル積とsheaf Hom・逆像と順像は随伴になっていましたが，固有順像にはまだ随伴がいなくて寂しくて死んでしまいそうなのでした．上付きびっくりは何度か予告しているように固有順像（の右導来函手）の右随伴函手です．その存在を述べるためには固有順像に以下で説明する仮定が必要です．この節の最後まで$f:X\to Y$を次の仮定を満たす（局所コンパクトハウスドルフ空間の間の）連続写像，$\mathbb{k}$を弱大域次元が有限な可換環とします．

この仮定は例えば$X$が位相多様体の場合，もっと一般にpseudomanifoldの場合は満たされます．$X$が$d$次元の位相多様体の場合は，任意の$G\in \mathrm{Mod}({\mathbb{k}}_{{\mathbb{R}}^d})$に対して$H_c^n({\mathbb{R}}^d;G)=0(n>d)$であってc-柔軟性が局所的な性質なので，$X$上の任意の層$F\in \mathrm{Mod}({\mathbb{k}}_X)$は長さ$d$以下のc-柔軟分解を持つことから示せます．実際，$R{f}_{!}F$を計算するには，この長さが$d$以下のc-柔軟分解$F^{\prime }$を使って$f_{!}F$とすれば良いですが，これは$d$より上の部分が$0$だからです．

上の定理で存在が分かる函手$f^{!}:{\mathsf{D}}^{+}({\mathbb{k}}_Y)\to {\mathsf{D}}^{+}({\mathbb{k}}_X)$を上付きびっくり (upper shriek) 函手とかねじれ逆像とかexceptional inverse imageとか呼びます．定理中の同形をVerdier双対性またはPoincaré-Verdier双対性と呼びます．随伴の一意性により，函手$f^{!}$は一意であることに注意しましょう．特に$j:U\hookrightarrow X$を開部分集合の包含写像とすると，制限が右随伴となっていたので$j^{!}=j^{-1}$となります．上の随伴から$F\in {\mathsf{D}}^{+}({\mathbb{k}}_X),G\in {\mathsf{D}}^{+}({\mathbb{k}}_Y)$に対して，標準的な射
$$F\to f^{!}R{f}_{!}F,R{f}_{!}{f}^{!}G\to G$$
が存在します（随伴のunit・counit）．

固有順像の連続写像に関する函手性および固有基底変換と随伴から次がすぐに分かるので述べておきます．

定理を認めると，テンソル積とsheaf Hom・逆像と順像・固有順像と上付きびっくりという六つの演算の間の三つの随伴関係が得られたことになります．この六つの演算をGrothendieckの六演算と呼びます．これらを組み合わせることで層を様々な形に変形して調べるというのが層理論の基本方針なのです．

上付きびっくりの何がうれしいのか？

さて，上のように随伴函手があると言われても何がうれしいのかよく分からないかもしれないので，$f:X\to Y$と$F,G$が特殊な場合に何を意味するかを見てみましょう．ここではPoincaré双対性・Alexander双対性・Thom同形がVerdier双対性から得られることを見ます．その他に上付きびっくりがあると演算の随伴を構成できることも簡単に説明します．

Poincaré双対性

まず初めにVerdier双対性の同形からPoincaré双対性が得られることを見ます．$X$を連結な$d$次元位相多様体として，$f=a_X:X\to \mathrm{pt}$を一点への写像，$F={\mathbb{k}}_X,G={\mathbb{k}}_{\mathrm{pt}}=\mathbb{k}$としてみましょう．ここで$\mathrm{Mod}({\mathbb{k}}_{\mathrm{pt}})$は$\mathbb{k}$上の加群のなすアーベル圏$\mathrm{Mod}(\mathbb{k})$と同一視しました．$R{a_X}_{!}\simeq R{\mathrm{\Gamma }}_c(X;\ast )$を使って定理の同形を書いてみると
$$R\mathrm{Hom}(R{\mathrm{\Gamma }}_c(X;{\mathbb{k}}_X),\mathbb{k})\simeq R\mathrm{Hom}({\mathbb{k}}_X,a_X^{!}\mathbb{k})\simeq R\mathrm{\Gamma }(X;a_X^{!}\mathbb{k})$$
となります．

さて，$a_X^{!}\mathbb{k}\in {\mathsf{D}}^{+}({\mathbb{k}}_X)$というのは何でしょうか？${\omega }_X:=a_X^{!}$と置いて（$X$の双対化複体と呼びます），これをちょっと計算してみましょう．$X$の開部分集合$U$に対して$R\mathrm{\Gamma }(U;{\omega }_X)\simeq R\mathrm{Hom}({\mathbb{k}}_U,a_X^{!}{\mathbb{k}}_X)$ですが，右辺にもう一度随伴の同形を用いると，これは
$$R\mathrm{Hom}({\mathbb{k}}_U,a_X^{!}{\mathbb{k}}_X)\simeq R\mathrm{Hom}(R{\mathrm{\Gamma }}_c(X;{\mathbb{k}}_U),\mathbb{k})\simeq R\mathrm{Hom}(R{\mathrm{\Gamma }}_c(U;{\mathbb{k}}_U),\mathbb{k})$$
が得られます．$U$として${\mathbb{R}}^d$と同相なものを取ると$R{\mathrm{\Gamma }}_c(U;{\mathbb{k}}_U)\simeq \mathbb{k}[-d]$，つまり次数$d$にだけ集中した$\mathbb{k}$となります（ 第8節 の例2）．よって，このときは最後のものは$\mathbb{k}[d]$になります．$U$は各点の十分小さい近傍として取れるので，これは$a_X^{!}\mathbb{k}$について$H^k({\omega }_X)=0(k\ne -d)$で$H^{-d}({\omega }_X)$が階数$1$の局所定数層になることを意味しています．言い換えると${\mathrm{or}}_X:=H^{-d}({\omega }_X)\in \mathrm{Mod}({\mathbb{k}}_X)$と定めると，${\mathrm{or}}_X$は$X$上の階数$1$の局所定数層で${\omega }_X\simeq {\mathrm{or}}_X[d]$となるということです．${\mathrm{or}}_X$は前層$U\mapsto \mathrm{Hom}(H_c^d(U;{\mathbb{k}}_U),\mathbb{k})$の層化です．実は$X$が$C^{\mathrm{\infty }}$級多様体のとき，$X$が向き付け可能ならば${\mathrm{or}}_X\simeq {\mathbb{k}}_X$と$X$上の定数層と同形になることがチェックできます．このことから${\mathrm{or}}_X$のことを$X$の向き付け層と呼び，同形${\mathrm{or}}_X\stackrel{\sim }{\to }{\mathbb{k}}_X$のことを$X$の向き付けと呼びます．

向き付け層を使って最初の同形を書き直してみると
$$R\mathrm{Hom}(R{\mathrm{\Gamma }}_c(X;{\mathbb{k}}_X),\mathbb{k})\simeq R\mathrm{\Gamma }(X;{\mathrm{or}}_X)[d]$$
となります．おや，なんだか知っているような関係が出てきました．ここでさらに$\mathbb{k}$を体として，$n\in \mathbb{Z}$に対して両辺の$(-n)$次のコホモロジー$H^{-n}$を取ってみましょう．すると，ベクトル空間の複体$V\in {\mathsf{D}}^{+}(\mathbb{k})$に対して$H^{-n}R\mathrm{Hom}(V,\mathbb{k})\simeq (V^n{)}^{\vee }:=\mathrm{Hom}(V^n,\mathbb{k})$であることから，
$$H_c^n(X;{\mathbb{k}}_X{)}^{\vee }\simeq H^{d-n}(X;{\mathrm{or}}_X)$$
が得られます．特に$X$がコンパクト向き付け可能なら$H^n(X;{\mathbb{k}}_X{)}^{\vee }\simeq H^{d-n}(X;{\mathbb{k}}_X)$となります．したがって，上の同形は一般の多様体に対するPoincaré双対性を意味しています！見直してみるとVerdier双対性の一般論を先に得ておけば，局所的に計算できる層の利点を生かして$a_X^{!}\mathbb{k}$を局所的に計算して向き付け層を得て，それを随伴に放り込んでやることでPoincaré双対性を導出できるという仕組みになっていました．また，こう見るとVerdier双対性はPoincaré双対性を射$f:X\to Y$に相対的にしたものと考えることもできます．

普通のPoincaré双対性はペアリングを使っても理解できましたが，それはVerdier双対性から得たやり方からも可能です．上でも見た${\mathrm{id}}_{{\omega }_X}\in {\mathrm{Hom}}_{{\mathsf{D}}^{+}({\mathbb{k}}_X)}({\omega }_X,{\omega }_X)$の随伴の同形よる像を
$${\int }_X:R{\mathrm{\Gamma }}_c(X;{\omega }_X)=R{a_X}_{!}{a}_X^{!}\mathbb{k}\to \mathbb{k}$$
と書いて積分射と呼びます．これは$R{\mathrm{\Gamma }}_c(X;{\mathrm{or}}_X)[d]\to \mathbb{k}$のことなので，$0$次コホモロジーに誘導される唯一非自明な射$H_c^d(X;{\mathrm{or}}_X)\to \mathbb{k}$も${\int }_X$と書くことにしましょう．$X$が$C^{\mathrm{\infty }}$級多様体で$\mathbb{k}=\mathbb{R}$または$\mathbb{k}=\mathbb{C}$のときは，この射は微分形式を使って定義される積分の写像${\int }_X:H_c^d(X;{\mathrm{or}}_X)\to \mathbb{k}$と$0$でない定数を除いて一致することが示せます．さて，$G\in {\mathsf{D}}^{+}({\mathbb{k}}_X)$に対して，同形$R\mathrm{Hom}({\mathbb{k}}_X,G)\simeq R\mathrm{\Gamma }(X;G)$でコホモロジーを取れば${\mathrm{Hom}}_{{\mathsf{D}}^{+}({\mathbb{k}}_X)}({\mathbb{k}}_X,G[n])$となることが分かります．つまりコホモロジー類は導来圏の射ともみなせるのです！こう考えれば，上で考えた随伴の同形は
$$H^{d-n}(X;{\mathrm{or}}_X)\simeq {\mathrm{Hom}}_{{\mathsf{D}}^{+}({\mathbb{k}}_X)}({\mathbb{k}}_X,\omega [-n])\stackrel{\sim }{\to }{\mathrm{Hom}}_{{\mathsf{D}}^{+}(\mathbb{k})}(R{\mathrm{\Gamma }}_c(X;{\mathbb{k}}_X),\mathbb{k}[n])\simeq H_c^n(X;{\mathbb{k}}_X{)}^{\vee },\alpha \mapsto {\int }_X\circ \alpha$$
となっています．ここで$\alpha$が誘導する射$H_c^n(X;{\mathbb{k}}_X)\to H_c^n(X;{\mathrm{or}}_X[d-n])\simeq H_c^d(X;{\mathrm{or}}_X)$も$\alpha$と書いてしまいましたが，これは実はカップ積$\alpha \cup (\ast )$とみなすことができます（次節で説明します）．すると，最終的にはペアリング
$$H^{d-n}(X;{\mathrm{or}}_X)\times H_c^n(X;{\mathbb{k}}_X)\stackrel{\cup }{\to }{H}_c^d(X;{\mathrm{or}}_X)\stackrel{{\int }_X}{\to }\mathbb{k}$$
が非退化であって，同形
$$H^{d-n}(X;{\mathrm{or}}_X)\stackrel{\sim }{\to }{H}_c^n(X;{\mathbb{k}}_X{)}^{\vee },\alpha \mapsto {\int }_X\alpha \cup (\ast )$$
を誘導しているということも分かります．

Alexander双対性

次にAlexander双対性も得られることをさっと見ましょう．$X$を連結な$d$次元位相多様体で$Z$を$X$の閉部分集合，$f=a_X:X\to \mathrm{pt}$を一点への写像，$F={\mathbb{k}}_Z,G={\mathbb{k}}_{\mathrm{pt}}=\mathbb{k}$としてみましょう．すると，随伴の同形をそのまま書いてみると
$$R\mathrm{Hom}(R{\mathrm{\Gamma }}_c(X;{\mathbb{k}}_Z),\mathbb{k})\simeq R\mathrm{Hom}({\mathbb{k}}_Z,{\omega }_X)\simeq R{\mathrm{\Gamma }}_Z(X;{\omega }_X)$$
となります．$R{\mathrm{\Gamma }}_c(Z;{\mathbb{k}}_Z)\simeq R{\mathrm{\Gamma }}_c(Z;{\mathbb{k}}_Z)$であることとPoincaré双対性のところで見た$\omega \simeq {\mathrm{or}}_X[d]$を使うと，この同形は
$$R\mathrm{Hom}(R{\mathrm{\Gamma }}_c(Z;{\mathbb{k}}_Z),\mathbb{k})\simeq R{\mathrm{\Gamma }}_Z(X;{\mathrm{or}}_X)[d]$$
になります．$\mathbb{k}$が体のときは，$n\in \mathbb{Z}$に対して$(-n)$次コホモロジーを取れば
$$H_c^n(Z;{\mathbb{k}}_Z)\simeq H_Z^{d-n}(X;{\mathrm{or}}_X)$$
というAlexander双対性が得られました．ここで$H_Z^k(X;{\mathrm{or}}_X)=H^{k}R{\mathrm{\Gamma }}_Z(X;{\mathrm{or}}_X)$は相対コホモロジーで，$X$が向き付け可能のときは通常のトポロジーの記号で書けば$H^k(X,X\setminus Z)$のことです．

Thom同形

Thom同形もVerdier双対性の一部として捉えられることも説明しましょう．$\pi :E\to X$を階数$r$の実ベクトル束とします．Verdier双対性で$f=i:X\hookrightarrow E$をゼロ切断，$F={\mathbb{k}}_X,G={\mathbb{k}}_E$として同形を書き下してみると
$$R\mathrm{Hom}(i_{!}{\mathbb{k}}_X,{\mathbb{k}}_E)\simeq R\mathrm{Hom}({\mathbb{k}}_X,i^{!}{\mathbb{k}}_E)\simeq R\mathrm{\Gamma }(X;i^{!}{\mathbb{k}}_E)$$
となります．左辺は$R{\mathrm{\Gamma }}_X(E;{\mathbb{k}}_E)$と同形になるのでした．右辺についてですが，${\omega }_{X/E}:=i^{!}{\mathbb{k}}_E$と置いて双対化複体のときの議論と同様に考えると，$X$の開部分集合$U$に対して$R\mathrm{\Gamma }(U;{\omega }_{X/E})\simeq R{\mathrm{\Gamma }}_U({\pi }^{-1}(U);{\mathbb{k}}_{{\pi }^{-1}(U)})$となります．ここで完全三角を考えると$R{\mathrm{\Gamma }}_{\{0\}}({\mathbb{R}}^r;{\mathbb{k}}_{{\mathbb{R}}^r})\simeq \mathbb{k}[-r]$となることが分かるので，茎を考えることで$H^n({\omega }_{X/E})=0(n\ne r)$で$H^r({\omega }_{X/E})$は階数$1$の局所定数層になることが分かります．つまり${\mathrm{or}}_{X/E}:=H^r({\omega }_{X/E})$とすれば，${\mathrm{or}}_{X/E}$は$X$上の階数$1$の局所定数層で${\omega }_{X/E}\simeq {\mathrm{or}}_{X/E}[-r]$となるということです．実はベクトル束$E$が向き付け可能ならば${\mathrm{or}}_{X/E}\simeq {\mathbb{k}}_X$と定数層と同形になることがチェックできます．このことから${\mathrm{or}}_{X/E}$を相対向き付け層とも呼んだりします．これを戻してあげると
$$R{\mathrm{\Gamma }}_X(E;{\mathbb{k}}_E)\simeq R\mathrm{\Gamma }(X;{\mathrm{or}}_{X/E})[-r]$$
となるので，$n\in \mathbb{Z}$に対して$(n+r)$次のコホモロジーを取れば
$$H_X^{n+r}(E;{\mathbb{k}}_E)\simeq H^n(X;{\mathrm{or}}_{X/E})$$
が得られます．これはThom同形というものです．実際，通常のトポロジーの記号で書けば左辺は$H^{n+r}(E,E\setminus X)$のことです．

層の積分変換の随伴

上付きびっくりを使うと層の積分変換の右随伴を具体的に書けることも見ておきましょう．$X,Y$をコホモロジー次元が有限な位相空間とします．このとき，核$K\in {\mathsf{D}}^{+}({\mathbb{k}}_{X\times Y})$による$F\in {\mathsf{D}}^{+}({\mathbb{k}}_Y)$の積分変換は$R{q_X}_{!}(K\stackrel{L}{\otimes }{q}_Y^{-1}F)\in {\mathsf{D}}^{+}({\mathbb{k}}_X)$と定義されたのでした．ここで$q_X:X\times Y\to X,q_Y:X\times Y\to Y$はそれぞれ射影です．この操作は逆像・テンソル積・固有順像の組合せでできており，それぞれ順像・sheaf Hom・上付きびっくりの左随伴函手になることが分かったのでした．ゆえに一つずつ随伴で右にうつしてやることで
$$\begin{array}{rl}{\mathrm{Hom}}_{{\mathsf{D}}^{+}({\mathbb{k}}_X)}(R{q_X}_{!}(K\stackrel{L}{\otimes }{q}_Y^{-1}F),G)& \simeq {\mathrm{Hom}}_{{\mathsf{D}}^{+}({\mathbb{k}}_{X\times Y})}(K\stackrel{L}{\otimes }{q}_Y^{-1}F,q_X^{!}G)\\ & \simeq {\mathrm{Hom}}_{{\mathsf{D}}^{+}({\mathbb{k}}_{X\times Y})}(q^{-1}F,R\mathcal{H}om(K,q_X^{!}G))\\ & \simeq {\mathrm{Hom}}_{{\mathsf{D}}^{+}({\mathbb{k}}_Y)}(F,R{q_Y}_{\ast }R\mathcal{H}om(K,q_X^{!}G))\end{array}$$
が得られます．つまり，$R{q_Y}_{\ast }R\mathcal{H}om(K,q_X^{!}(\ast ))$として積分変換の右随伴が具体的に書けました．このように随伴を具体的な層の演算の組合せで書いておくことで，操作を施した後の層についての様々な情報を得ることが出来るのです．

上付きびっくりの構成

それでは上付きびっくりの存在はどうやって示すのでしょうか？ここではその概略を説明したいと思います．

存在したらどのような形か？なぜ導来圏に行かないと作れないのか？

まず$f^{!}G$が存在すればその切断がどのようになるかを見て，なぜ導来圏に行かないと$f^{!}$が作れないのかについて説明します．まず仮に導来圏に行かずに層のアーベル圏の間の函手$f^{!}:\mathrm{Mod}({\mathbb{k}}_Y)\to \mathrm{Mod}({\mathbb{k}}_X)$が存在して，$F\in \mathrm{Mod}({\mathbb{k}}_X),G\in \mathrm{Mod}({\mathbb{k}}_Y)$に対して自然な同形
$${\mathrm{Hom}}_Y(f_{!}F,G)\simeq {\mathrm{Hom}}_X(F,f^{!}G)$$
が成り立ったとしましょう（一般には正しくありません）．するとPoincaré双対性のところで${\omega }_X$の切断を計算したのと同じように，$X$の開部分集合$U$に対して$F={\mathbb{k}}_U\in \mathrm{Mod}({\mathbb{k}}_X)$とすれば
$${\mathrm{Hom}}_Y(f_{!}{\mathbb{k}}_U,G)\simeq {\mathrm{Hom}}_X({\mathbb{k}}_U,f^{!}G)\simeq \mathrm{\Gamma }(U;f^{!}G)$$
が得られます．ということは$f^{!}G$は必然的に$U\mapsto {\mathrm{Hom}}_Y(f_{!}{\mathbb{k}}_U,G)$と定めないといけないということです！問題は一般にはこの対応が層にならないということなのです．実はあとの構成の概略を見る際に分かるのですが，層にならない原因は固有順像函手$f_{!}$が完全ではないからなのです．実際，$f_{!}$が完全になる状況である$f$が局所閉集合の埋め込み$i:X\hookrightarrow Y$のときは，導来圏に行かなくても$f^{!}G=i^{-1}{\mathrm{\Gamma }}_Z$と作れます（上の対応をよく見れば分かります）．

こうして構成に詰まったわけですが，函手が完全にならなくて困るという問題にはあるところで既に遭遇していました．それは函手を導来圏の間の函手に持ち上げるところです．導来函手を作る際のアイデアは，函手が完全にふるまうような良い部分圏の対象からなる複体に取り換えて函手を適用するというものでした．今回もそれを行えばよいのです！つまり$f_{!}$が完全にふるまう部分圏の対象からなる複体$K$で定数層${\mathbb{k}}_X$を取り換えてやって，$U\mapsto {\mathrm{Hom}}_Y(f_{!}{K}_U,G)$のようなものを考えればよいわけです．この「取り換える」という操作は複体$K$に擬同形でつながるということなので，導来圏で話を進めないといけないという仕組みになっています．

構成の概略

さて，上で方針は説明したので構成をどのようにやるかの流れをざっと説明しましょう．まず$f_{!}$が完全にふるまう部分圏を考える必要があります．c-柔軟層のなす部分圏はこれを満たしていましたが（ 第10節 の命題9），ファイバーごとに考えることにして少し条件を緩めます．

第10節 の命題8からc-柔軟な層の制限はc-柔軟なので，$X$上のc-柔軟層は$f$-柔軟です．固有順像の茎はファイバーのコンパクト台切断$(f_{!}F{)}_y\simeq {\mathrm{\Gamma }}_c(f^{-1}(y);F)$だったので，c-柔軟層の性質から，$0\to F^{\prime }\to F\to F^{″}\to 0$が$\mathrm{Mod}({\mathbb{k}}_X)$の完全列で$F^{\prime }$が$f$-柔軟ならば$0\to f_{!}{F}^{\prime }\to f_{!}F\to f_{!}{F}^{″}\to 0$は完全であることが分かります．いま$R^n{f}_{!}=0(n>N)$と仮定していたので，$\mathrm{Mod}({\mathbb{k}}_X)$の完全列
$$F^0\to F^1\to \cdots \to F^{N-1}\to F^N\to 0$$
に対して，$F^0,F^1,\dots ,F^{N-1}$が$f$-柔軟なら$F^N$も$f$-柔軟であることがチェックできます．実際，これは「$F$が$f$-柔軟$\iff$任意の$X$の開部分集合$U$に対して$R^n{f}_{!}{F}_U\simeq 0(n\ne 0)$」と完全列を短完全列に分解してdimension shiftingの議論を行うことで示せます．これを使うと定数層${\mathbb{Z}}_X$を有限長さの良い層で分解することができます．

このように得られた複体$\cdots \to 0\to K^0\to K^1\to \cdots K^{N^1}\to K^N\to 0\to \cdots$を$K\in {\mathsf{K}}^{\mathrm{b}}({\mathbb{Z}}_X)$と書くことにしましょう．つまり$\mathbb{Z}\underset{\text{qis}}{\stackrel{\sim }{\to }}K$となっているということです．さて，$F\in {\mathsf{D}}^{+}({\mathbb{k}}_X)$に対して$R{f}_{!}F$は$K$を使って$f_{!}(F{\otimes }^{\bullet }K)$と計算することができます．実際，$f$-柔軟な層のなす$\mathrm{Mod}({\mathbb{k}}_X)$の部分圏は$f_{!}$-入射的であって，次が成り立つからです．

さて最後のパートを説明します．${\mathcal{I}}_X$で入射的層のなす$\mathrm{Mod}({\mathbb{k}}_X)$の充満部分圏をあらわすと，圏同値${\mathsf{K}}^{+}({\mathcal{I}}_X)\simeq {\mathsf{D}}^{+}({\mathbb{k}}_X)$が成り立つのでした．$G\in {\mathsf{K}}^{+}({\mathcal{I}}_Y)$と$X$の開部分集合$U$に対して，
$$f_K^{!}G(U):={\mathrm{Hom}}_X^{\bullet }(f_{!}({\mathbb{k}}_U{\otimes }^{\bullet }K),G)$$
と定めます．ここで${\mathrm{Hom}}^{\bullet }$と${\otimes }^{\bullet }$は 第10節 で導来函手を作る際に用いた二重複体を単化して作る複体でした．ゆえに$f_K^{!}G(U{)}^n=\underset{j\in \mathbb{Z}}{⨁}{f}^{!}(K^j,G^{n+j})$です．上の命題から各項は入射的層なので$f_K^{!}G\in {\mathsf{K}}^{+}({\mathcal{I}}_X)$を定めることが分かります．しかも，上の命題を使って符号の計算を頑張れば
$${\mathrm{Hom}}_Y^{\bullet }(f_{!}(F{\otimes }^{\bullet }K),G)\simeq {\mathrm{Hom}}_X^{\bullet }(F,f_K^{!}G)$$
が得られます．上で見たように${\mathsf{D}}^{+}({\mathbb{k}}_Y)$において$R{f}_{!}F\simeq f_{!}(F{\otimes }^{\bullet }K)$だったので，これは$R\mathrm{Hom}(R{f}_{!}F,G)\simeq R\mathrm{Hom}(F,f_K^{!}G)$を意味します．こうして函手$f_K^{!}:{\mathsf{D}}^{+}({\mathbb{k}}_Y)\simeq {\mathsf{K}}^{+}({\mathcal{I}}_Y)\to {\mathsf{K}}^{+}({\mathcal{I}}_X)\simeq {\mathsf{D}}^{+}({\mathbb{k}}_X)$が条件を満たすことが分かりました．

上の構成で${\mathrm{Hom}}^{\bullet }$を$\mathcal{H}o{m}^{\bullet }$に置き換えることで次も得られています．

これ以降は数学的に意味のある主張を含みませんが，構成における定数層${\mathbb{Z}}_X$の分解$K$が何なのかの私見を述べたいと思います．解析学ではしばしば$\delta$関数$\delta (x)$を軟化子${\rho }_{\epsilon }(x)$で近似して様々なことを証明したりしました．軟化子${\rho }_{\epsilon }(x)$は普通は$C^{\mathrm{\infty }}$級関数のクラスに属していて，$\epsilon \to 0$で${\rho }_{\epsilon }(x)\to \delta (x)$と収束するのでした．$\delta (x)$は畳み込みに関する単位元になっているので，これでもって勝手な関数$f$に対して
$${\rho }_{\epsilon }\ast f\to \delta \ast f=f(\epsilon \to 0)$$
と$C^{\mathrm{\infty }}$級関数による近似ができるのでした．つまり軟化子を畳み込みすることで勝手な関数の良い関数クラスによる近似を一度に得られるわけです．上付きびっくりの構成における$K$の働きはこれによく似ています．すなわち，テンソル積の単位元である定数層${\mathbb{Z}}_X$をある意味で軟化して分解${\mathbb{Z}}_X\underset{\text{qis}}{\stackrel{\sim }{\to }}K$を得ておくと，勝手な$F\in {\mathsf{D}}^{+}({\mathbb{k}}_X)$に対して擬同形
$$F\simeq F{\otimes }_{\mathbb{Z}}{\mathbb{Z}}_X\underset{\text{qis}}{\stackrel{\sim }{\to }}F{\otimes }^{\bullet }K$$
が得られます．こうして定数層の分解$K$を取っておけば，これをテンソルすることで勝手な層の複体から良いクラスの層の複体への擬同形が一度に得られるわけです．関数では$\epsilon \to 0$での収束として処理したところが，層の複体では擬同形になって導来圏では同形として処理したとみなせます．この軟化のさせ方$K$に依存して上付きびっくりを構成したというのが上の証明なのです．

上付きびっくりに関する性質

ここでは上付きびっくりの随伴を使うことで得られる様々な射や同形について説明します．上付きびっくりは固有順像の右随伴なので，随伴でうつして固有順像のいろいろな性質を使うことができます．特に固有順像には固有基底変換と射影公式という二つの性質がありました（ 第10節 の命題11と命題12）．これら二つがどのように使われるかを見ながら重要さを見ていきたいと思います．

一つ目は上付きびっくりとsheaf Homの関係です．sheaf Homに上付きびっくりを施すと，前の方には逆像で後ろの方には上付きびっくりで入ります．

上の同形は特に次のように使われることが多いです．$q_1,q_2$を$X\times X$からの第1射影・第2射影として$\delta :X\hookrightarrow X\times X$を対角集合への埋め込みとします．すると，$F,G\in {\mathsf{D}}^{+}({\mathbb{k}}_X)$に対して
$${\delta }^{!}R\mathcal{H}o{m}_{X\times X}(q_2^{-1}G,q_1^{!}F)\simeq R\mathcal{H}o{m}_X(G,F)$$
が成り立ちます．Homの前の方に第2射影$q_2$が後ろの方に第1射影$q_1$がいて気持ちが悪く感じるかもしれませんが，これはあとで$X\times X$の対角集合$\mathrm{\Delta }$を第1射影で$X$と同一視するときに整合性を保つためなので我慢しましょう．

次は直積上のsheaf Homを（コンパクト台）大域切断であらわす式です．

逆像と上付きびっくりはどちらも${\mathsf{D}}^{+}({\mathbb{k}}_Y)\to {\mathsf{D}}^{+}({\mathbb{k}}_X)$という函手でした．これらの間には次のように射があります．

上で特に$G_1={\mathbb{k}}_Y$と定数層を考えれば，$G\in {\mathsf{D}}^{+}({\mathbb{k}}_Y)$に対して自然な射
$$f^{!}{\mathbb{k}}_Y\stackrel{L}{\otimes }{f}^{-1}G\to f^{!}G$$
が得られます．左辺は定数層の上付きびっくりと逆像に分解できているので，もしこの射が同形なら上付きびっくりの計算が簡単そうです．同形になる十分条件を考えてみましょう．その前に定数層の上付きびっくりはよく出てくるので記号を準備しておきます．

双対化複体については上で様々な双対性の例を見た際に既に出てきていました．随伴により$F\in {\mathsf{D}}^{+}({\mathbb{k}}_X)$に対して
$$R\mathrm{\Gamma }(X;R\mathcal{H}om(F,{\omega }_X))\simeq R\mathrm{Hom}(F,{\omega }_X)\simeq R\mathrm{Hom}(R{\mathrm{\Gamma }}_c(X;F),\mathbb{k})$$
が成り立ちます．このようにして$R\mathcal{H}om(F,{\omega }_X)$の大域切断で（コンパクト台のずれはあるにしても）双対をあらわせるのでうれしいわけです．この$R\mathcal{H}om(F,{\omega }_X)$のことを$F$のVerdier双対と呼びます．Verdier双対は構成可能層 (constructible sheaf) や偏屈層 (perverse sheaf) の理論で重要な役割を果たします．

さて話を戻して，射$f^{!}{\mathbb{k}}_Y\stackrel{L}{\otimes }{f}^{-1}G\to f^{!}G$が同形になる$f$に関する十分条件を考えましょう．

例えば$f:X\to Y$が$C^{\mathrm{\infty }}$級多様体の間の射であって，沈めこみの場合は位相的沈めこみになります．

(ii)で$\stackrel{L}{\otimes }$と書かずに$\otimes$と書いたのは${\omega }_f$が平坦層からなる複体で，導来する（擬同形で取り換える）必要がないからです．