層の演算に対するマイクロ台のふるまい

この節ではマイクロ台が様々な層の操作によってどのようにふるまうかを調べます．

層の演算とマイクロ台

層にはGrothendieckの六演算をはじめとする様々な演算があったのでした．これらの演算に対して層のマイクロ台がどのようにふるまうのか，特に操作を施した後のマイクロ台を元のマイクロ台で評価する方法について考えます．

順像と逆像のマイクロ台

多様体の射$f \colon X \to Y$による順像・逆像のマイクロ台について考えます．射$f$は次の可換図式を誘導します：
\begin{xy} \xymatrix{ T^*X \ar[rd]_-{\pi_X} & X \times_Y T^*Y \ar[l]_-{f_d} \ar[r]^-{f_\pi} \ar[d] & T^*Y \ar[d]^-{\pi_Y} \\ & X \ar[r]_-{f} & Y. } \end{xy}
ここで，右の四角は引き戻しの図式（よって$f_\pi \colon X \times_Y T^*Y \to T^*Y$は標準的な射影）で$f_d \colon X \times_Y T^*Y \to T^*X$は微分写像$T_x f \colon T_xX \to T_{f(x)}Y$の転置から誘導される射です．

さて上の記号の準備の下で，まず順像のマイクロ台について考えます．

次に逆像について考えましょう．まずは沈めこみの場合を述べたいのですが，その前に前に本質的な例を見てみます．

上の例は次のように沈めこみに一般化できます．$f \colon X \to Y$が沈めこみの場合は$f_d \colon X \times_Y T^*Y \to T^*X$は単射であることに注意します．主張は沈めこみによる逆像はマイクロ台の定義に出てくる相対コホモロジーの茎が計算できることから示すことができますが詳細は省略します．

(ii)もやはりマイクロ台が層の形を制限するというタイプの主張であることにも注目しましょう．

次に一般の射$f \colon X \to Y$に対する逆像を考えます．評価の主張を述べるためには次の非特性的という概念が必要になります．

$f$が沈めこみならば$f_d^{-1}(0_X)=X \times_Y 0_Y$なので，$T^*Y$の任意の錐状閉部分集合$A$に対して非特性的であることに注意しましょう．$f$が$A$に対して非特性的ならば$f_d f_\pi^{-1}(A)$は$T^*X$の錐状閉部分集合であることが示せます．

次が射がマイクロ台に対して非特性的な場合の逆像の性質です．上付きびっくりの性質（ 層理論と導来圏第10節 ）で見たように，$G \in \Db(\bfk_Y)$に対して標準的な射$f^{-1}G \otimes \omega_f \to f^!G$があることを思い出しましょう．

上の(ii)が 層理論と導来圏第10節 で予告していた「上付きびっくりと逆像が（相対向き付け層の差を除いて）同形になる条件を層に応じて述べたもの」なのです．沈めこみは任意の層に対して非特性的なので以前見た主張はこの特殊な場合と思うこともできます．このようにして基本的な同形が成り立つ条件を述べる際にもマイクロ台の概念が必要なのです．

テンソル積とsheaf Homのマイクロ台

次にテンソル積とsheaf Homのマイクロ台について考えます．そのために外テンソル積と直積上のsheaf Homのマイクロ台はどうなるかを述べておきましょう．ここで余接束$T^*X$の錐状閉部分集合$A$に対して，$-A \subset T^*X$で対蹠写像$T^*X \to T^*X, (x;\xi) \mapsto (x;-\xi)$による$A$の像をあらわします．証明は$X$と$Y$の側で別々に分解されていることからできますが詳細は省略します．

さて上の直積上の評価に基づいてテンソル積とsheaf Homのマイクロ台の評価を与えましょう．余接束$T^*X$の二つの錐状閉部分集合$A, B$に対して，$T^*X$の部分集合$A+B$を
$$ A+B := \{ (x;a+b) \mid x \in \pi(A) \cap \pi(B), a \in A \cap \pi^{-1}(x), b \in B \cap \pi^{-1}(x) \} $$
により定めます．もし$A \cap (-B) \subset 0_X$ならば，$A+B$も$T^*X$の錐状閉部分集合となることがチェックできます．

以上が基本的な層の演算に対するマイクロ台のふるまいです．しかしながら，上で見た主張たちには非特性的という条件に由来する仮定がついていました．一般の状況で逆像・テンソル積・sheaf Homのマイクロ台を知りたい場合もあり，そのときは$f_d, f_\pi$やファイバーごとの和$+$だけではない，もっと高度な余接束の部分集合に対する操作を考える必要があります．ここでは詳細は述べませんが，以降ではそれを使うことがあります（そのうち元気があれば書くかも）．なんにせよ大事なことは，層から基本演算の組合せで新しい層を作れば，その層のマイクロ台を評価することができるということです．

超局所切り落とし

上で層の演算を施した後のマイクロ台の評価を見てきました．これらに基づいて「マイクロ台を切り落とす」ことができないかということを考えます．すなわち，有限次元実ベクトル空間$E$と$E$の閉凸錐$\gamma$に対して，$X \times E$上の層に対する演算でマイクロ台が$T^*X \times E \times \gamma^\circ$に入るようになるものを作ることを考えます．ここで$\gamma^\circ := \{ \xi \in E^* \mid \langle \xi,v \rangle \ge 0 \ (v \in \gamma) \}$は双対錐でした．もしこれができれば層$F$に対して，閉部分集合$Z$への台の切り落とし$F_Z$が出来たように，余接束の中でマイクロ台の切り落としができることになります．このアナロジーで考えると切り落としの操作は$T^*X \times E \times \gamma^\circ$の中ではなるべく層を変更しないようにもなっていてほしいわけです．

上で述べたマイクロ台の切り落としは次のように実現することができます．$\tilde{q}_i \colon X \times E \times E \to M \times E \ (i=1,2)$を$E \times E$を第$i$成分に射影する射，$s \colon X \times E \times E \to X \times E, (x,v_1,v_2) \mapsto (x,v_1,v_2)$を$E$における加法による射とします．ここで$\bfk_\gamma \in \Db(\bfk_E)$のマイクロ台は$\MS(\bfk_\gamma) \subset E \times \gamma^\circ$であったことを思い出しましょう（ 第1節 の例3）．すると，逆像・順像・テンソル積のマイクロ台の評価を用いると$F \in \Db(\bfk_{X \times E})$に対して
$$ Rs_*(\tilde{q}_1^{-1}F \lten \bfk_{X \times E \times \gamma} ) \subset T^*X \times E \times \gamma^\circ $$
となることがチェックできます．ここで，順像は台の上で固有とは限らないので命題1をそのまま使うことはできないのですが，$s$が線形写像であることを使うと評価ができます．そこで$P_\gamma(F):=Rs_*(\tilde{q}_1^{-1}F \lten \bfk_{X \times E \times \gamma} ) \in \Db(\bfk_{X \times E})$と置きましょう．実はこの操作はマイクロ台の切り落としができるのみでなく，またしても「層のマイクロ台がこの錐状集合$T^*X \times E \times \gamma^\circ$に入っていればこの形に書ける」というタイプの命題が成り立ちます．任意の$E$の閉凸錐$\gamma$に対して$\bfk_{X \times E \times \gamma} \to \bfk_{X \times E \times \{0\}}$という標準的な射が存在して，しかも$Rs_*(\tilde{q}_1^{-1}F \lten \bfk_{X \times E \times \{0\}} ) \simeq F$が成り立つことに注意します．したがって，任意の$F \in \Db(\bfk_{X \times E})$に対して，標準的な射
$$ P_\gamma(F) \to F $$
が存在します．

(ii)は$T^*X \times E \times \Int(\gamma^\circ)$だけで見て，それ以外のところのマイクロ台を無視してやれば標準的な射$P_\gamma(F) \to F$が同形のように思えるということを述べています．このように余接束$T^*X$の中である部分だけに着目して局所的に見ることを超局所的な考え方というのでした．こうして段々と超局所的な見方が現れてきたと思います．(ii)の証明は完全三角$\bfk_{\gamma \setminus \{0\}} \to \bfk_\gamma \to \bfk_{\{0\}} \to \bfk_{\gamma \setminus \{0\}}[1]$を考えて$\MS(\bfk_{\gamma \setminus \{0\}}) \subset E \times (E^* \setminus \Int(\gamma^\circ))$であることを使えば得られます．定理より$P_\gamma(F)$は余接束$T^*X$内でマイクロ台をうまく切り落としているため超局所切り落としと呼ばれています．函手$P_\gamma \colon \Db(\bfk_{X \times E}) \to \Db(\bfk_{X \times E})$は$P_\gamma \circ P_\gamma=P_\gamma$を満たし射影子となります．この射影子は近年（2021年現在）特にシンプレクティック幾何学との関係で有効に用いられている．

まとめ

この節では

• 様々な層の演算に対するマイクロ台のふるまい
• マイクロ台を閉凸錐状集合に切り落とす超局所切り落とし

について説明しました．