[論文レビュー] Microlocal Perverse Sheaves

Sergei Gelfand, Robert MacPherson+1 more|ArXiv.org|Sep 19, 2005

Homotopy and Cohomology in Algebraic Topology被引用数 9

ひとこと要約

この論文は、微局所 perverse sheafを、より単純で明示的な幾何的圏に埋め込むための新しい「ミルド・モース系」のスタックを導入する。ラグランジュ的ストラタに沿ったモース理論的構成を用いることで、微局所層理論における基礎的問題を解決し、可換なスタックであり、スタック条件を満たすように構成されたスタックを構築することで、導来圏を用いずに、微局所 perverse sheaf の明示的で素朴なモデルを提供する。

ABSTRACT

Microlocal perverse sheaves form a stack on the cotangent bundle of a complex manifold that is the analogue of the stack of perverse sheaves on the manifold itself. We give an embedding of the stack of microlocal perverse sheaves into a simpler stack on the cotangent bundle which we call melded Morse systems. The category of melded Morse systems is elementary, in the sense that an object is a collection of vector spaces and a collection of linear maps between them satisfying certain composition relations.

研究の動機と目的

• 微局所 perverse sheaf を支える導来圏 $D^b(X,V)$ が可換圏ではなく、スタックを形成しないという基礎的問題を解決すること。
• 微局所 perverse sheaf のスタックを、明示的に可換でスタック条件を満たす、新しい素朴な圏「ミルド・モース系」に構成すること。
• 微局所 perverse sheaf のスタックを、導来を用いない幾何的構成により、この新しいスタックに埋め込むこと。
• 分岐したラグランジュ的多様体上のモース理論的データを用いて、微局所 perverse sheaf の明示的で計算可能なモデルを提供すること。
• 得られたミルド・モース系のスタックが、導来圏の技術的複雑さを避ける一方で、微局所 perverse sheaf の本質的構造を捉えていることを確立すること。

提案手法

• スタック $\operatorname{M}$ を $T^*X$ 上に定義し、その対象は合成関係を満たすベクトル空間と線形写像の集合からなる。この圏は可換圏をなす。
• 微局所 perverse sheaf のスタック $\operatorname{E}$ から $\operatorname{M}$ への埋め込み $\nu: \operatorname{E} \to \operatorname{M}$ を、微局所化関手 $\mu$ との合成 $\nu \circ \mu$ を用いて構成する。
• 特徴的特異点 $\Lambda \subset T^*X$ を、$\Lambda^0$（正則部分）、$\Lambda^1$（codim 1 のストラタ）、$\Lambda^2$（高codim のストラタ）に分岐させ、モース理論を用いて $\operatorname{M}$ のデータを定義する。
• $V = (T^*X)^0 = T^*X - \Lambda^1 - \Lambda^2$ に対して、$\Lambda^0$ に横断的かつ単一の交点を持つモース関数 $f$ による、 perverse sheaf の押し出し $f_*\mathcal{P}$ を用いて $\operatorname{M}(V)$ を定義する。
• $V = (T^*X)^1 = T^*X - \Lambda^2$ に対して、$\Lambda^1$ での単一の交点を持つ関数に拡張し、摂動と局所的押し出しを用いて複数の臨界値を扱う。
• スタック $\operatorname{M}$ がスタックであり、埋め込み $\nu$ が完全忠実であることを、Freydの定理を用いて、茎における同値性と貼り合わせ性質を用いて証明する。

実験結果

リサーチクエスチョン

• RQ1 導来圏を用いずに、可換かつスタック条件を満たすスタックに、微局所 perverse sheaf を埋め込むことは可能か？
• RQ2 特徴的特異点 $\Lambda \subset T^*X$ 上のモース理論的データをどのように用いて、微局所 perverse sheaf の明示的で幾何的なモデルを構成できるか？
• RQ3 $\Lambda$ の $\Lambda^0$, $\Lambda^1$, $\Lambda^2$ への分岐が、新しいスタック $\operatorname{M}$ の構造を定義する上で果たす役割は何か？
• RQ4 微局所 perverse sheaf のスタックは、ベクトル空間と線形写像のより単純な、素朴な圏を幾何的構成により再構成できるか？
• RQ5 微局所 perverse sheaf がミルド・モース系のスタックに埋め込まれる際、完全忠実かつスタック構造と整合的であるか？

主な発見

• ミルド・モース系のスタック $\operatorname{M}$ は明示的に可換であり、$T^*X$ 上でスタックをなす。これにより、導来圏の非可換性とスタック条件の不成立という基礎的問題が解決される。
• 微局所 perverse sheaf のスタックから $\operatorname{M}$ への埋め込み $\nu: \operatorname{E} \to \operatorname{M}$ は完全忠実であり、導来を用いない明示的で非導来のモデルを提供する。
• スタック $\operatorname{M}$ の構成は、ラグランジュ的ストラタ $\Lambda^0$ および $\Lambda^1$ に制御された横断性を持つ関数による perverse sheaf のモース理論的押し出しに依存し、層のデータの幾何的実現をもたらす。
• 著者らは、スタックの準同型 $\Theta: \mathcal{F} \to \mathcal{F}'$ が弱同値であるための必要十分条件として、茎上の誘導関手 $\Theta_x: \mathcal{F}_x \to \mathcal{F}'_x$ が同値であることであることを確立した。これは、埋め込みの完全忠実性を示すための重要な技術的道具である。
• この構成は、開写像による逆像と整合的であり、スタック $\operatorname{M}$ がこのような引き戻しに関して不変であることが示され、幾何的演算と整合性を持つ。
• 本論文は、ミルド・モース系の圏が、合成関係を満たすベクトル空間と線形写像の集合からなるという点で、素朴であることを示した。これにより、計算やさらなる代数的解析が可能になる。