[论文解读] Microlocal Perverse Sheaves

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

Homotopy and Cohomology in Algebraic Topology被引用 9

一句话总结

本文引入了一种新的'融合莫尔斯系统'堆叠，将余切丛 $T^*X$ 上的微局部 perverse 线丛嵌入到一个更简单、显式的几何范畴中。通过在拉格朗日子流形的分层上使用莫尔斯理论构造，作者通过构建一个明显是阿贝尔的、且满足堆叠条件的堆叠，解决了微局部层理论中的基础性问题，从而在不使用导出范畴的前提下，为微局部 perverse 线丛提供了一个具体且初等的模型。

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 线丛所依赖的导出范畴 $D^b(X,V)$ 不是阿贝尔范畴且不构成堆叠这一基础性问题。
• 构建一个新的、初等的范畴——'融合莫尔斯系统'——其明显是阿贝尔范畴且在 $T^*X$ 上构成堆叠。
• 通过几何的、非导出的构造，将微局部 perverse 线丛的堆叠嵌入到这一新堆叠中。
• 利用分层拉格朗日子流形上的莫尔斯理论数据，为微局部 perverse 线丛提供一个具体、可计算的模型。
• 证明所得到的融合莫尔斯系统堆叠捕捉了微局部 perverse 线丛的本质结构，同时避免了导出范畴的技术复杂性。

提出的方法

• 在 $T^*X$ 上定义一个'融合莫尔斯系统'的堆叠 $\operatorname{M}$，其中对象为满足复合关系的向量空间与线性映射的集合，构成一个阿贝尔范畴。
• 通过复合 $\nu \circ \mu$ 构造从微局部 perverse 线丛堆叠 $\operatorname{E}$ 到 $\operatorname{M}$ 的嵌入 $\nu: \operatorname{E} \to \operatorname{M}$，其中 $\mu$ 是微局部化函子。
• 在特征簇 $\Lambda \subset T^*X$ 上使用莫尔斯理论，该簇被分层为 $\Lambda^0$（非奇异部分）、$\Lambda^1$（余维一子流形）和 $\Lambda^2$（更高余维），以定义 $\operatorname{M}$ 的数据。
• 对于 $V = (T^*X)^0 = T^*X - \Lambda^1 - \Lambda^2$，通过与 $\Lambda^0$ 有横截、单点相交的莫尔斯函数 $f$ 的推出 $f_*\mathcal{P}$ 定义 $\operatorname{M}(V)$。
• 对于 $V = (T^*X)^1 = T^*X - \Lambda^2$，将构造扩展至与 $\Lambda^1$ 有单点相交的函数，通过扰动和局部推出处理多个临界值。
• 利用弗雷德定理证明 $\operatorname{M}$ 是堆叠，且嵌入 $\nu$ 是完全忠实的，通过在截面处建立等价性与粘合性质。

实验结果

研究问题

• RQ1 微局部 perverse 线丛能否被嵌入一个既是阿贝尔范畴又满足堆叠条件的堆叠中，且不使用导出范畴？
• RQ2 如何利用特征簇 $\Lambda \subset T^*X$ 上的莫尔斯理论数据，为微局部 perverse 线丛构造一个具体、几何化的模型？
• RQ3 将 $\Lambda$ 分层为 $\Lambda^0$、$\Lambda^1$ 和 $\Lambda^2$ 在定义新堆叠 $\operatorname{M}$ 的结构中起什么作用？
• RQ4 微局部 perverse 线丛的堆叠能否通过一个更简单、初等的向量空间与线性映射范畴，借助几何构造被重构？
• RQ5 微局部 perverse 线丛嵌入融合莫尔斯系统堆叠的构造是否完全忠实且与堆叠结构相容？

主要发现

• 融合莫尔斯系统堆叠 $\operatorname{M}$ 明确是阿贝尔范畴且在 $T^*X$ 上构成堆叠，解决了原始导出范畴中非阿贝尔性与堆叠条件失效的基础性问题。
• 微局部 perverse 线丛堆叠到 $\operatorname{M}$ 的嵌入 $\nu: \operatorname{E} \to \operatorname{M}$ 是完全忠实的，为微局部 perverse 线丛提供了具体且非导出的模型。
• 对 $\operatorname{M}$ 的构造依赖于与拉格朗日子流形分层 $\Lambda^0$ 和 $\Lambda^1$ 有受控横截性的函数下的 perverse 线丛的莫尔斯推出，从而实现了层数据的几何实现。
• 作者证明：堆叠之间的态射 $\Theta: \mathcal{F} \to \mathcal{F}'$ 是弱等价当且仅当其在截面处诱导的函子 $\Theta_x: \mathcal{F}_x \to \mathcal{F}'_x$ 是等价，这是证明嵌入完全忠实性的关键技术工具。
• 该构造与开映射的逆像相容，且证明堆叠 $\operatorname{M}$ 在此类拉回下是不变的，确保了与几何运算的兼容性。
• 本文表明，融合莫尔斯系统范畴是初等的，因为其对象是满足复合关系的向量空间与线性映射的集合，使其对计算和进一步代数分析具有可及性。