はじめに
こんにちは!層理論の第5回です.前回はGrothendieckの六演算のうちの四つを説明しました.今回も前回に引き続き層に対する演算について説明していきたいと思います.特に六演算の五つ目である固有順像についてお話しします.
前回のおさらいと補足
第4回
では層に対する演算,sheaf Hom・テンソル積・順像・逆像の四つを定義しました.前半二つは上の層二つからまた上の層を作り出す内部演算で,後半二つは連続写像で上の層を上に押し出したり上の層を上に引き戻す外部演算でした.そしてテンソル積とsheaf Homは随伴で,逆像と順像も随伴の関係になっていたのでした.
さて,補足として層とその切断に関する用語を定義しておきましょう.今回も何も言わずにと書いたら位相空間をあらわします.
切断および層の台
とする.このとき,の開部分集合とその上のの切断に対してとなる内の最大の開部分集合の内の補集合を切断の台と呼び,であらわす.また,となる内の最大の開部分集合の補集合を層の台と呼び,であらわす.
台の記号・茎による表示
(i) 切断の台と層の台を同じ記号で書く文献が多いが,ここでは記号を別にした.
(ii) 最大の開部分集合の存在は貼り合わせ条件から分かる.
(iii) に対してであるが,である.後者は閉包を取らないと正しくない.
例えばであって,連続写像とに対してとなります.
固有順像
ここでは順像とは少し異なるやり方で層を押し出す方法を定義します.そこでは固有写像の概念を扱う必要があるのですが,扱いを簡単にするために以下では断らない限り位相空間はすべて局所コンパクトハウスドルフ空間であると仮定します.このとき,連続写像が固有であるとはの任意のコンパクト部分集合に対して逆像がのコンパクト部分集合となることでした.連続写像に対して,あるの開被覆が存在して,任意のに対してが固有ならばは固有になることがチェックできます.
固有順像の定義
さて,を(固有とは限らない)連続写像とします.このとき,に対して,その順像はと定義されたのでした.これを少し細工して,の開部分集合に対して
と定めると,はの部分前層として上の前層を定めます.上で説明したように固有写像であることは局所的な性質なので,は実際に層になることが分かります.
固有順像
を連続写像,とする.このとき,
により定まる上の層をのによる固有順像と呼ぶ.また,函手を固有順像函手と呼ぶ.特に,が一点への写像のとき,
とあらわし,コンパクト台切断とも呼ぶ.
この函手がGrothendieckの六演算の五つ目です.もしが上固有であればであることに注意しましょう.固有順像が順像の部分であることを用いると,連続写像に対して,固有順像函手は左完全函手であることが分かります.また,連続写像に対して,自然同値が成り立ちます.特に,に対して自然な同形
が成り立ちます.は左完全函手なのでその導来函手である高次固有順像が考えられます.特にを考えれば,コンパクト台コホモロジー函手が得られます.導来函手は函手なので層の短完全列に対してコホモロジー長完全列があることにも注意しましょう.普通のコホモロジーの長完全列とコンパクト台コホモロジーの長完全列をうまく使い分けることによって様々なコホモロジーを計算することができます(下の例3も参照).
固有順像の嬉しい性質の一つは茎が計算できることです.順像では茎が計算できないのに固有順像では茎が計算できるのは,切断の台に写像に対する固有性を課して暴れ具合を統制しているからと考えられます.
固有順像の茎は逆像のコンパクト台切断
を連続写像,とする.このとき,任意のに対して,自然な同形
が存在する.
概略
写像はとしたときのから定まるものである.
が単射であることを示す.を内のの開近傍としてとする.すると,はでが固有であるもので定まる.とするとであり,固有写像は閉写像だから,あるの近傍が存在してとなる.ゆえに,上である.
が全射であることを示す.として,とする.実は,がコンパクトであることから,あるとなるの開部分集合とが存在してとなる.をの相対コンパクトな開近傍でを満たすものとすると,となる.よって,の開近傍であってとなるものが存在する.ゆえに,を
と定めることが出来る.より,は固有であり,作り方からを満たす.
次のように固有順像を包含写像に用いることで茎がでない部分を増やさないように全体に延ばすことができます.
ゼロ拡張
を局所閉部分集合の包含写像とする.このとき,上の命題よりに対して,同形
が成り立つ.これはが開集合であっても成立することに注意せよ(である).開集合の包含写像と普通の順像に対して一般にはこのような茎の同形は成り立たなかったことを思い出そう.をのゼロ拡張とも呼ぶ.が閉部分集合の場合は自然にである.
上の茎の計算より次が得られます.
局所閉部分集合からのゼロ拡張は完全函手
を局所閉部分集合の包含写像とする.このとき,ゼロ拡張の函手は完全函手である.
を局所閉部分集合の包含写像とする.このとき,(1) が完全函手であること,(2) が入射的層をc-柔軟層 (c-soft sheaf) にうつすこと,(3) コンパクト台コホモロジーは柔軟分解で計算できることの三つから,に対して
となることが分かる.一般にはが完全でないので上でを一般の連続写像に取り替えると成立しないが,前回も少し述べたように導来圏とその間の導来函手を考えると正しくなる.
開集合からのゼロ拡張については次の制限との随伴の関係が成り立ちます.
開集合からのゼロ拡張と制限は随伴
を開部分集合の包含写像とする.このとき,に対して自然な同形
が成り立つ.また,これらに対して自然な同形
が成り立つ.
後半は各開集合で考えれば良いので,前半だけ示す.
なる開部分集合に対してなので,層の射に対しては層の射を定める.
逆に,層の射が与えられたとする.このとき,の開部分集合に対して
である(雑にいうとの台はの境界からちゃんと離れている).上のように見たときに対しての台はに含まれているので,の開部分集合上でとして貼り合わせての切断が作れる.この対応で定まる写像をとすると,は層の射を定める.
上記の対応は互いに逆なので同形が示せた.
上の随伴を使うと入射的層の開部分集合への制限が入射的であることが次のように分かります.これも随伴がえらい証明です.
入射的層の開集合への制限は入射的
を上の入射的層,をの開部分集合とする.このとき,は上の入射的層である.特に,は完全函手である.
を包含写像とする.任意の上の層に対して,上の随伴から
である.右辺はに対する函手としてみれば,完全函手と完全函手の合成として完全函手である.したがって,左辺もそうであり,は入射的である.後半は各開集合について考えればよい.
上の補題を使って次も得られます.これは入射的層は脆弱ということの脆弱層への埋め込みを使わない証明にもなっています.
後ろに入射的層を入れたsheaf Homは脆弱
を上の入射的層,を上の層とする.このとき,は脆弱層である.特に,は脆弱層である.
を開部分集合の包含写像とすると,随伴から自然な層の射が得られる.茎を考えるとこの射は単射であるので,完全函手を施すとは全射である.これがの制限写像と一致するので,は脆弱である.後半はとすればであることから従う.
次は命題1の相対版で固有基底変換 (proper base change) と呼ばれることもあります.証明は逆像と順像の随伴を使って射を作って,命題1で茎の同形をチェックすることでできます.
固有基底変換
位相空間のファイバー積の図式
すなわち,となるものに対して,自然同値
が成り立つ.
固有順像・逆像・テンソル積に関する同形(射影公式と呼ばれます)もある条件のもとで成立するのですが,これは導来圏で述べたほうがすっきりするので後回しにします.
固有順像の右随伴函手?
さて,少し天下り的ですが次の問いを立ててみましょう.
問:一般の連続写像に対して,固有順像函手の右随伴函手は存在するか?すなわち,函手(随伴にしたいのでと書いた)であって,に対して自然な同形
が成り立つものは存在するか?
これを期待する理由は少なくとも二つあります.
一つ目は開部分集合の包含写像に対しては右随伴が制限として存在するので,一般にも随伴の存在を期待したいという安直なものです.しかし,もしこれができると一つずつ随伴で解きほぐしてやることでテンソル積・逆像・固有順像の組合せで定義された層に対する演算の右随伴を作ることができます.これは嬉しいことです.
二つ目は積分のようなことをしたいというものです.コンパクトな台を持つ函数があったら積分をしたくなるのが人情というものではないでしょうか?より一般にはファイバー方向にコンパクトな切断をファイバーに沿って積分したくなります.もし上のような右随伴函手が存在すれば,自然な写像がのファイバーに沿った積分と思えそうです.特に一点への写像とを考えれば,となって積分のような写像ができます.
さて,この問いに対する答えは残念ながら一般にはNoです.Noである理由はやってみると分かるのですが,が完全ではないことに起因します.実際,局所閉部分集合の包含写像に対してはは完全でを作ることができます(開部分集合の包含写像は特殊な場合).これは非常に残念ですが,枠組みを広げることで回避できるというのが上付きびっくりと呼ばれているの構成のアイデアです.ある意味でが完全に振る舞うような層のクラスに「同形」で取り替えるという操作ができれば議論がうまく進むのですが,これは層のアーベル圏のレベルでは不可能です.しかし,導来圏ではそこでの「同形」で良い層に取り替えることができてが作れるのです!こうしてできたものがGrothendieckの六演算の最後の上付きびっくりと呼ばれるものです.これが導来圏の二つ目の良さなのです.詳細についてはまたの機会に説明します.
その他の層に対する操作
Grothendieckの六演算には含まれていないものの便利な二つの演算について説明しておきましょう.
台の切り落とし操作
局所閉部分集合の包含写像の固有順像を考えることで,茎が全く染み出さないように全体に広げるゼロ拡張が考えられたのでした.これを制限と合成することで次を定義します.
台の切り落とし
を局所閉部分集合の包含写像とする.このとき,上の層に対して
と定める.また,上の定数層に対して,を単にと書く.
(i) 「台の切り落とし函手」という用語は一般的ではないここだけの呼び方である.(プロ向けの釈明:超局所切り落とし (microlocal cut-off) という操作が別にあるが,こちらは底空間方向の切り落としなので単に切り落としと呼んだ.)
(ii) 完全函手の合成として函手は完全函手である.
(iii) の記号は文脈により上の層をあらわすことも上の層をあらわすこともあるので注意が必要である.例えばは上の層かもしれないし上の層かもしれない.しかし,この記号は非常に便利なのでKashiwara-Schapiraにならって用いる.
(iv) 局所閉部分集合とに対して,である.
特異空間があったとき,これを多様体にと閉に埋め込んでを考えれば,なので上の層のコホモロジーとしてのコホモロジーを取り出すことができます.実際,をにおける入射分解(または脆弱分解)とすると,はにおける入射分解(または脆弱分解)だから上の同形が成り立ちます.
例えば固有基底変換を使うことで,二つのの局所閉部分集合に対してとなることが分かります.閉部分集合の包含写像に対してはなので,随伴から定まる自然な層の射が存在します.この射は上の茎では恒等写像を誘導するものです.一方で開部分集合の包含写像に対しては,ゼロ拡張と制限の随伴から定まる自然な層の射が存在します.これも上の茎では恒等写像を誘導します.つまり,閉の場合は大きい方から小さい方に射があり,開の場合は小さい方から大きい方に射があります.これらの閉・開と射の向きはプロもときどき間違えるものですが,どちらかの随伴を思い出してやることですぐにどっち向きか判断できます(ちなみに筆者は閉の場合の随伴を思い出して開は逆だとやっています).これらの誘導された射について次の完全列たちが存在します.一つ目は切除・二つ目と三つ目はMayer-Vietorisの層理論版だと思うことができます.
台の切り落としに付随する完全列
とする.
(i) をの閉部分集合とすると,層の列
は完全である.
(ii) をの二つの閉部分集合とすると,層の列
は完全である.ここで,一つ目の射は自然な射の直和で,二つ目の射は自然な射の差で定まるものである.
(iii) をの二つの開部分集合とすると,層の列
は完全である.射は(ii)と類似のものである.
こうして,層のレベルで切除やMayer-Vietorisを考えることで,ある意味で「仮想的に」空間を切ったり貼ったりというような操作ができることが層理論の良いところの一つだと思います.
開集合上の切断の空間もHomで回復可能
を開部分集合の包含写像としてとすると,である.特にとなる.
コホモロジーの計算例
(i) を次元球面とすると,
である(上の層のMayer-Vietorisを使うか特異コホモロジーと同形であることを使えば良い).上の層の完全列のコンパクト台コホモロジーの長完全列を考えて,ゼロ拡張のところで述べた注意の同形を用いると
が得られる.はコンパクトなので,これらについては普通のコホモロジーと等しく,はと同相なのでであることに注意する.であることと,は恒等写像であることを用いると
が得られる.
(ii) としてでウエッジ和の基点をあらわす.上の層の完全列のコンパクト台コホモロジーの長完全列を考えて,がと同相であること及び(i)の計算結果を用いると
が得られる.
(iii) を考える(これは上の層の意味).ゼロ拡張のところで述べた注意から(右辺の層は上の意味)では同相だから
である.一方で,上の層の完全列のコホモロジー長完全列を考えると,はででで両者ともで常に同形であることから,である.コンパクト台の場合と通常の場合で異なることに注意する.
相対(局所)コホモロジー
ここでは位相空間の対のコホモロジーの層バージョンである相対コホモロジーというものについて説明します.まずモチベーションについて話します.
の開部分集合,を上の層とします.このとき,制限写像に興味があるとしましょう.例えば,上の切断を上に延ばせるか?・延ばせる際にそれは一意か?などに興味があることがあります.もっと一般に任意のに対して,コホモロジーの間に写像が誘導されています.実際,の入射分解を取れば,補題4よりはの入射分解で,制限写像がコホモロジーにも制限写像を引き起こします.上のコホモロジー類を上に延ばせるか?・それは一意か?を調べるためにこれらの写像に興味があるとします.これは写像に関する問いですが,この問いを調べることができる対象があったら嬉しいと思いませんか?これを可能にするのが相対コホモロジーというものです.結論からいうととしてというアーベル群を定めて,長完全列
が得られます.すると,たちを見ることでコホモロジーに誘導される制限写像が単射・全射・同形かが分かるという仕組みになります.このように射に関する情報をエンコードする対象があると嬉しいわけです.
より一般にをの局所閉部分集合,として,を定義しましょう.まず次についてを定めて,その右導来函手としてを定めます.を閉部分集合として含むの開部分集合を取って,
と定めます.すなわち,上のの切断であってとなるものです.上で見た長完全列の最初の部分がほしいので,このように定義しました.を閉部分集合として含むを取ってくると,制限写像から誘導される自然な写像は同形になります.実際,単射は切断の台がに含まれていることから,全射はでとして貼り合わせれば良いからです.したがって,はを閉部分集合として含むの開部分集合の取り方によらないので,これをと書きます.はの部分加群であることから,函手は左完全函手です.また,という対応は上の層を定めることがチェックできます.
相対(局所)コホモロジー
を局所閉部分集合,を上の層とする.
(i) 上で定めた左完全函手の右導来函手を考える.と書き,次のに台を持つ相対コホモロジーまたは局所コホモロジーと呼ぶ.
(ii) なる対応で定まる層をと書き,に台を持つ切断の層とも呼ぶ.
相対・局所コホモロジーの名称について
佐藤幹夫の系列はのことを相対コホモロジーと呼ぶことが多く,Grothendieckの系列は局所コホモロジーと呼ぶことが多いようである.以下では相対コホモロジーと呼称する.
定義からとなります.函手も左完全函手となることが分かるので,その右導来函手も考えることができと書きます.これらの函手について基本的な性質をまとめておきましょう.
局所閉部分集合に台を持つ切断の層の性質
をの局所閉部分集合とする.
(i) がの開部分集合でを包含写像とすると,同形が成り立つ.
(ii) を別のの局所閉部分集合とすると,自然同値が成り立つ.
(iii) を別のの閉部分集合とすると,層の列は完全である.
(iv) に対して,同形が成り立つ.
(v) に対して,自然な同形が成り立つ.
概略
(i) を閉部分集合として含むの開部分集合として自身が取れるのでとなるから良い.
(ii), (iii) やれば出来るので省略.
(iv) が開部分集合の場合は(は包含写像)であるから良い.が閉部分集合の場合は層の完全列に左完全函手を施すと,層の完全列
が得られる.層の完全列と比較するとほしい同形が得られる.一般の局所閉部分集合の場合は(ii)を使えば良い.
(v) であったので,
が得られる.
脆弱層に対しては次もすぐにチェックできます.
脆弱層に対する相対コホモロジーの完全列
を上の脆弱層とする.
(i) をの局所閉部分集合とすると,も脆弱層である.
(ii) をの局所閉部分集合,をの閉部分集合とすると層の列
は完全である.
(iii) をの二つの閉部分集合とすると,層の列
は完全である.ここで一つ目の射は自然な射の直和で二つ目の射は自然な射の差である.
(iv) をの二つの開部分集合とすると,層の列
は完全である.射は(iii)と類似のものである.
上の補題の(i)を使えば,(ii)-(iv)の大域切断を取ったものも完全列となることに注意しましょう.台の切り落としのときとは逆で,閉の場合は小さい方から大きい方に射があり,開の場合は大きい方から小さい方に射があることにも注意します.
さて,左完全函手の右導来函手は入射分解を取って,そこに函手を施してコホモロジーを取るのでした.入射的層は脆弱なので,に対して入射分解を取り,例えば上の補題の(ii)を使うと
は複体の完全列になります.ここから,相対コホモロジーの長完全列
が得られます.の場合が最初にほしいと言った長完全列でした.(iii), (iv)を使えばMayer-Vietoris長完全列の類似が得られます.
相対コホモロジーと佐藤超函数
上の正則函数の層とに関する相対コホモロジーを考えると,完全列
が得られる.解析接続の一意性からであり,
第3回
の定理7の証明中で示したように,である.ゆえに,である.これを上の佐藤超函数の空間と呼ぶのであった(
この記事
の定義2).相対コホモロジーの層バージョンを使えば,として上の佐藤超函数の層も定義できる.高次元でもと定めて,上の佐藤超函数の層と呼ぶ.余談だが高次元でもという消滅定理が成り立ち,消えていない相対コホモロジーの層を佐藤超函数の層と定義するのである.
さて,相対コホモロジーの層を使うことで上で得た切断の長完全列を局所的に見ることもできます.例えば,としてみます.もし,相対コホモロジーの層のでの茎がを満たしたとしましょう.すると,長完全列で帰納極限を取ることで
という同形が得られます.これは何を言っているかというと上の任意のコホモロジー類はの近傍に一意に拡張できるということです.これはにおいての方向に一意に拡張できると思うことができます(の方向に「解析接続できる」という気持ち).それならを他の半空間にすれば色々な方向への一意拡張可能性を調べられると思いませんか?これが超局所層理論で重要な道具であるマイクロ台の考え方そのものなのです!詳しくはまた今度説明します.
まとめ
今回は
- 固有順像の定義と性質・開部分集合からのゼロ拡張と制限との随伴
- 固有順像の右随伴函手があったら嬉しいこと
- 台の切り落とし函手と相対コホモロジー函手・それらの随伴
について説明しました.これで(筆者の好みにより非常に偏っていますが)層のアーベル圏で出来ることは一通り説明したと思います.次回はまたホモロジー代数(線形代数)の話で導来圏について,次次回は上付きびっくりについて説明したいと思います.それではまた!