3
現代数学
文献あり

構成可能層とマイクロ台

1652
0

この節では構成可能層について超局所的な観点から説明していきます.構成可能層は特異点論やD加群とのつながりでも現れる重要な対象で,様々な分野との懸け橋ともなっています.実は層が構成可能であるかはマイクロ台で調べることができるというのがこの節で説明したいことです.

構成可能層

ここでは構成可能層を超局所的な視点から説明します.局所定数層あるいは局所系というものはトポロジーとも密接に関わっていて空間を調べる際に重要な対象です.構成可能層とは全体では局所系ではないかもしれないけれども,空間をうまく分割するとそれぞれのパートでは局所系になっているような層のことをいいます.このように局所系から構成可能層へと枠組みを広げておくと,(ある条件下で)Grothendieckの六演算で閉じるようになるという利点があります.この事実は特異点論的な観点から調べられていましたが,ここではマイクロ台を使って構成可能層を特徴づけて超局所的な観点から調べてみましょう.

Stratification

上で述べた「空間をうまく分割する」というのをちゃんと述べるためにはstratificationという概念が必要になります.この条件を完全に正確に述べるには非常に大変なので,まあまあ正確な定義は補足に回してここではいい加減な定義だけを説明します.

さて,空間の分割に使うクラスは様々な演算で閉じていて,しかも良い条件の細分が取れるようにしたいという要望があります.これを実現するのが実解析的多様体(Cω級多様体)Xの部分集合として定まる劣解析的部分集合 (subanalytic subset) のクラスです.劣解析的集合の族とは,準解析的部分集合(局所的にCω級写像f:XRの等式または不等式で定まる集合{xXf(x)=0},{xXf(x)>0}たちの有限個の和集合と共通部分であらわされる集合)をすべて含んでおり,
(1) 局所有限の族の和集合・共通部分,
(2) 補集合,
(3) 固有写像による像

で閉じている最小の族のことです.劣解析的であることは局所的な条件であって,内部・閉包・逆像を取る操作で閉じていることもチェックできます.

上で述べたような性質を持つものはo-極小構造と呼ばれるものであって,特異点論やモデル理論で重要な概念である.

Stratification

Xを実解析的多様体とする.このとき,分割X=αAXαが劣解析的stratificationであるとは,各XαXの劣解析的な部分多様体である局所有限な分割でXαXβならばXβXαを満たすことをいう.各Xαをstratumと呼ぶ.

以降は常に劣解析的stratificationだけを考えるので,単にstratificationと呼ぶことにします.stratificationには滑層分割という訳語もあるが,「層」の漢字が被るのが良くないので英語のまま使うことにする.

構成可能層の定義と例

ここでは上で定義したstratificationに基づいて構成可能層の定義を与えます.記述を簡単にするために以降はkは体であるとします.よって,Lは導来しなくてよいので単にと書きます.

(弱)構成可能層

FDb(kX)とする.
(i) FR-構成可能であるとは,Xのstratification X=αAXαが存在して任意のnZαAに対してHn(F)|Xαが局所定数層となることをいう.弱R-構成可能層からなるDb(kX)の充満部分圏をDw-R-cb(kX)であらわす.
(ii) 弱R-構成可能層Fがさらに任意のxXnZに対してHn(F)xが有限次元ベクトル空間となるとき,FR-構成可能であるという.R-構成可能層からなるDb(kX)の充満部分圏をDR-cb(kX)であらわす.

C-構成可能性

複素多様体上で複素部分多様体による分割を考えることによってC-構成可能層を定義することができる.

以降はR-構成可能性だけを考えるので,単に構成可能と書きます.

劣解析的なstratified部分空間上の定数層

SXの劣解析的部分集合とすると,kSDb(kX)X上の構成可能層である.より一般にSXの劣解析的部分集合として実現されているstratified spaceとすると,kSは構成可能層である.

Xの劣解析的なstratified部分空間Sに対してRΓ(X;kS)RΓ(S;kS)なので,Sのコホモロジーを調べるにはX上の構成可能層kSを調べればよいことになります.このような観点から構成可能層は特異空間の研究にも非常に有用なのです.

さて,上付きびっくり(Poincaré-Verdier双対性)について述べた 層理論と導来圏第11節 でVerdier双対という演算を導入しましたが,ここでもう一度定義しておきましょう.

Verdier双対

ωXDb(kX)Xの双対化複体( 層理論と導来圏第11節 を参照)をあらわす.FDb(kX)に対して
DXF:=RHom(F,ωX)Db(kX)
と定めて,DXFFVerdier双対と呼ぶ.

ベクトル空間Vが有限次元のとき,二重双対との自然な同形VVがありました.層についての双対はVerdier双対であって,双対をVerdier双対に置き換えることで構成可能層に関して上の有限次元ベクトル空間の場合のアナロジーが成立します.線形代数で有限次元ベクトル空間が扱いやすかったように構成可能層も層理論において扱いやすい部類のクラスなのです.

FDR-cb(kX)に対してDXFDR-cb(kX)であり,射FDXDXFは自然な同形である.さらに,F,GDR-cb(kX)に対して,同形
RHom(F,G)DX(FDXG)
が成り立つ.

後半は有限次元ベクトル空間V,Wに対する同形VWHom(V,W)に対応するもので
DX(FDXG)=RHom(FDXG,ωX)RHom(F,RHom(DXG,ωX))=RHom(F,DXDXG)RHom(F,G)
と機械的にできます.

コホモロジー的構成可能層

Sheaves on Manifoldsではコホモロジー的構成可能層という層とホモロジー代数的な性質で定まる対象が定義されており,その範疇でFDXDXFが成り立つことが示されている.FDw-R-cb(kX)がコホモロジー的構成可能層であることとFDR-cb(kX)であることは同値である.

構成可能層の超局所的な特徴づけ

ここでは上で定義した構成可能層をそのマイクロ台で特徴づける定理について説明します.まず,X上の層FDb(kX)のコホモロジー層Hn(F)が全て局所定数層になることとマイクロ台についてSS(F)0Xとなることは同値であったことを思い出しましょう( 第1節 の命題2).よって,FDb(kX)Xのstratification X=αAXαについて,各αAに対してSS(F|Xα)0XαとなればFは構成可能層であることが分かるわけです.ここで問題になるのはSS(F)の形が分かっていても各Xαがそれに対して非特性的であるかは分からないので,SS(F|Xα) 第2節 の命題3を使ってはすぐには評価できないということです.しかし,stratificationがあとの補足で説明する「良い条件」を満たしていれば,あとで補足でもう少し詳しく説明するようにSS(F|Xα)の評価が可能になって問題が回避されます.実はどんなstratificationも細分を取ることで「良い条件」を満たすようにすることができます.この雑な考えで次の特徴づけが得られます.

弱構成可能層のマイクロ台による特徴づけ

FDb(kX)とする.このとき,Fが弱構成可能であることとSS(F)TXの劣解析的ラグランジュ錐状閉部分集合であることは同値である.

概略

まずFが弱構成可能であるとする.このとき,あるstratification X=αAXαが存在して任意のnZαAに対してHn(F)|Xαが局所定数層となる.細分をとって初めからstratificationが「良い条件」を満たすとしてよい.この「良い条件」から
SS(F)αATXαX
となることがチェックできる.マイクロ台の包合性定理( 第3節 の定理1)からSS(F)は包合的であって「良い条件」からαATXαXTXの劣解析的isotropic錐状閉部分集合なので,SS(F)も劣解析的ラグランジュ錐状閉部分集合であることが分かる.

逆にSS(F)が劣解析的ラグランジュ錐状部分集合であるとする.このときは「良い条件」を満たすあるstratification X=αAXαが存在して,SS(F)αATXαXを満たす.すると,上で述べたことから任意のαAに対して
SS(F|Xα)0Xα
なる評価が得られる.よって,各F|Xαのコホモロジー層は局所定数層である.

マイクロ台による特徴づけが得られると層に対する演算に関するマイクロ台評価から弱構成可能層が層の演算で閉じていることが分かります.ただし,非特性的でない射に対する逆像などのマイクロ台の評価は述べていないので,これまでに説明したことだけからは示せません.(i)の後半は 第2節 の命題1から従います.

弱構成可能層は層の演算で閉じる

(i) f:XYを多様体の射とする.
GDw-R-cb(kY)に対してf1G,f!GDw-R-cb(kX)である.
FDw-R-cb(kX)としてfSupp(F)上固有であるとすると,RfFDw-R-cb(kY)である.
(ii) F,GDw-R-cb(kX)とする.このとき,FG,RHom(F,G)Dw-R-cb(kX)でありμhom(F,G)Dw-R-cb(kTX)である.

実は構成可能層の圏も上の演算で閉じています.(i)における同形の一部には固有の条件は必要ないことを注意しておきます.

構成可能層は層の演算で閉じる

(i) f:XYを多様体の射とする.
GDR-cb(kY)とすると,f1G,f!GDR-cb(kX)であり,同形
f!DYGDXf1G,f1DYGDXf!G
が成立する.
FDR-cb(kX)としてfSupp(F)上固有であるとすると,RfFDR-cb(kY)であり,同形
RfDXFDYRf!F,Rf!DXFDYRfF
が成立する.
(ii) F,GDR-cb(kX)とする.このとき,FG,RHom(F,G)DR-cb(kX)でありμhom(F,G)DR-cb(kTX)である.

概略

上の命題から弱構成可能性は分かっているので茎の有限次元性を示せばよい.

(i):(f1G)xGf(x)からf1Gについてはよい.上付きびっくりの性質( 層理論と導来圏第11節 の命題6)から
f!Gf!DYDYGf!RHom(DYG,ωY)RHom(f1DYG,ωX)DXf1DYG
が成り立つ.上の命題1と逆像の構成可能性から最後の層は構成可能である.同形の一つ目は上でも使った上付きびっくりの性質で,二つ目は上の同形と構成可能層の圏においてDDidであることから従う.

実は順像の方が議論がずっと難しい.RΓ(f1(y);F)について見ればよいが,fを閉埋め込みと射影に分解して考えることではじめから射影であるとしてよい.しかも,ユークリッド空間への埋め込みと帰納法によってfRptのときに帰着できる.すると,FDR-cb(kR)についてSS(F)TRの劣解析的ラグランジュ部分集合なので有限個の列t1<<tNであってSupp(F)[t1,tN]かつF|(ti,ti+1)が定数層になるものが存在することが示せる.よって,完全三角を考えるとRΓ(R;F)0から始めて有限次元の変化を有限回して出来るものなのでコホモロジーは有限次元である.同形は上付きびっくりの随伴( 層理論と導来圏第11節 の定理5)と二重双対の性質から従う.

(ii)の有限性はこれまでの組合せと特殊化が構成可能性を保つことから従う.

このようにして(弱)構成可能層の超局所的特徴づけを得ておくとマイクロ台に関する一般論で構成可能層を体系的に扱うことができることが分かったと思います.実は超局所理論の構成可能層への応用はこれだけではなく,特性サイクルを使った柏原の指数定理という形でさらに本質的に現れます.これは何回か後で説明したいと思います.

ホロノミックD加群の解複体

Xを複素多様体とする.連接DX-加群Mがホロノミックであるとは,その特性多様体char(M)TXの解析的ラグランジュ部分多様体となることをいう. 第1節 の例6で見たようにSS(RHomDX(M,OX))=char(M)なので,(R-構成可能であるかC-構成可能であるかをごまかすと)上の定理2からRHomDX(M,OX)は構成可能層である.

構成可能層と深谷圏

構成可能層と余接束のラグランジュ部分多様体にはミラー対称性の文脈からも理解が進んでいる.シンプレクティック幾何ではシンプレクティック多様体Mのラグランジュ部分多様体が対象でHom集合がラグランジュ交叉フレアーホモロジーである深谷圏Fuk(M)が重要な研究対象である.Nadler-Zaslowは実解析的多様体Xの余接束TXの深谷圏Fuk(TX)を適切に定義して,X上の構成可能層の圏DR-cb(X)との圏同値を示した.このような観点からシンプレクティック幾何やミラー対称性の文脈でも構成可能層はますます重要な対象であると認知されつつある.

まとめ

この節では

  • stratificationの定義
  • 構成可能層と有限次元ベクトル空間とのアナロジー
  • 弱構成可能層のマイクロ台による超局所的な特徴づけと演算に関する性質

について説明しました.

補足:μ-stratification

ここでは上で「良い条件」と言ってごまかしたものについてもう少し詳しく説明します.正確に述べるためには余接束内の二つの錐状閉部分集合に対する新たな演算を導入する必要があります.

A,BTXの錐状閉部分集合とする.このとき,TXの錐状閉部分集合A+^B
A+^B:={(z0;ζ0)TX|あるA内の点列{(xn;ξn)}nB内の点列{(yn;ηn)}nが存在してxnnz0,ynnz0,ξn+ηnnζ0,|xnyn||ξn|n0を満たす}
により定める.ここで点列はTXの共通の局所斉次座標(x;ξ)を使ってあらわしたものである.

この演算は非特性的に関わる条件がない場合のテンソル積・sheaf Homのマイクロ台の評価に使えます.すなわち,F,GDb(kX)に対して
SS(FLG)SS(F)+^SS(G),SS(RHom(F,G))(SS(F))+^SS(G)
が成り立ちます.さらにA(B)0XならばA+^B=A+Bなので,上の評価は 第2節 の命題5の一般化になっていることも分かります.また,この新たな演算を使うとFDb(kX)Xの部分多様体Yについて
SS(FY)SS(F)+^TYX
という評価をチェックできます.

さて,それではこの新たな演算+^を使って「良い条件」を満たすstratificationを定義しましょう.

μ-stratification

X=αAXαを(劣解析的)stratificationとする.XβXαXαのとき
(TXαX+^TXβX)π1(Xβ)TXβX
を満たすとき,このstratificationはμ-stratificationであるという.

μ-stratification X=αAXαに対してαATXαXTXの劣解析的isotropic錐状閉部分集合となります.実際,XβXαならば,条件からTXαXπ1(Xβ)TXβXとなるからです.

さて,X=αAXαμ-stratification,FDb(kX)とします.このとき,上で述べたことからSS(FXα)SS(F)+^TXαXなので,μ-stratificationの条件から
SS(FXα)π1(Xα)TXαX
となることが分かります.もしFSS(F)αATXαXを満たすならば 第2節 の命題1の閉埋め込みの場合を使うことでSS(F|Xα)0Xαが得られます.これが上で使ったことなのでした.逆に任意のnZαAに対してHn(F)|Xαが局所定数層のときにSS(F)αATXαXであることもμ-stratificationの条件を使うことで示せます.

参考文献

[1]
Masaki Kashiwara and Pierre Schapira, Sheaves on Manifolds, Grundlehren der mathematischen Wissenschaften, Springer, 1988
[2]
Masaki Kashiwara and Pierre Schapira, Categories and Sheaves, Grundlehren der mathematischen Wissenschaften, Springer, 2006
[3]
William Fulton, Intersection Theory (Second edition), Springer, 1998
[4]
Alexandru Dimca, Sheaves in Topology, Universitext, Springer, 2013
[5]
竹内潔, D加群, 共立講座数学の輝き, 共立出版, 2017
[6]
Mark Goresky and Robert MacPherson, Stratified Morse Theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer, 1988
[7]
John Willard Milnor(著),佐伯修(翻訳),佐久間一浩(翻訳), 複素超曲面の特異点, シュプリンガー数学クラシックス, 丸善出版, 2012
[8]
Jörg Schürmann, Topology of Singular Spaces and Constructible Sheaves, Monografie Matematyczne, Birkhäuser, 2003
[12]
Marco Robalo and Pierre Schapira, A Lemma for Microlocal Sheaf Theory in the ∞-Categorical Setting, Publications of the Research Institute for Mathematical Sciences, 2018, 379-391
[13]
Stéphane Guillermou and Pierre Schapira, Microlocal theory of sheaves and Tamarkin’s non displaceability theorem, Homological Mirror Symmetry and Tropical Geometry, Lecture Notes of the Unione Matematica Italiana, 2014, pp. 43-85
[14]
David Nadler and Eric Zaslow, Constructible sheaves and the Fukaya category, J. Amer. Math. Soc., 2009, pp. 233-286
[15]
David Nadler, Microlocal branes are constructible sheaves, Sel. Math. New Ser., 2009, pp. 563–619
[16]
Carl McTague, Stratified morse theory, Unpublished expository essay written for Part III of the Cambridge Tripos, 2002
[17]
Masaki Kashiwara and Pierre Schapira, Microlocal Euler classes and Hochschild homology, Journal of the Institute of Mathematics of Jussieu, 2014, pp. 487-516
[18]
Mark Goresky and Robert MacPherson, Intersection homology theory, Topology, 1980, 135-162
[19]
Mark Goresky and Robert MacPherson, Intersection homology II, Inventiones Mathematicae, 1983, 77-129
[20]
Alexander A. Beilinson, Joseph Bernstein, and Pierre Deligne, Faisceaux pervers, Astérisque, 1982
投稿日:202178

この本を高評価した人

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

この本に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

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

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 構成可能層
  2. Stratification
  3. 構成可能層の定義と例
  4. 構成可能層の超局所的な特徴づけ
  5. まとめ
  6. 補足:$\mu$-stratification
  7. 参考文献
前のページへ
6 / 9
次のページへ
前ページへ
超局所層理論概説の表紙
次ページへ