[论文解读] Microlocal sheaf categories and the $J$-homomorphism

Xin Jin|arXiv (Cornell University)|Apr 29, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用 6

一句话总结

本文为流形余切丛中光滑精确拉格朗日子流形上的微局部层范畴的分类映射提供了拓扑描述。通过微局部层理论与稳定同伦理论，证明该分类映射通过稳定高斯映射到 $U/O$ 和 $J$-同态的延拓到 $B\mathrm{Pic}(\mathbf{S})$ 因子分解，从而证明对于紧致拉格朗日子流形，该映射在同伦意义下平凡，以层论方法重新获得了 Abouzaid–Kragh 的结果。

ABSTRACT

Let $X$ be a smooth manifold and $\mathbf{k}$ be a commutative (or at least $\mathbb{E}_2$) ring spectrum. Given a smooth exact Lagrangian $L\hookrightarrow T^*X$, the microlocal sheaf theory (following Kashiwara--Schapira) naturally assigns a locally constant sheaf of categories on $L$ with fiber equivalent to the category of $\mathbf{k}$-spectra $\mathrm{Mod}(\mathbf{k})$. We show that the classifying map for the local system of categories factors through the stable Gauss map $L ightarrow U/O$ and the delooping of the $J$-homomorphism $U/O ightarrow B\mathrm{Pic}(\mathbf{S})$. As an application, combining with previous results of Guillermou [Gui], we recover a result of Abouzaid--Kragh [AbKr] on the triviality of the composition $L ightarrow U/O ightarrow B\mathrm{Pic}(\mathbf{S})$, when $L$ is in addition compact.

研究动机与目标

• 为 $T^*X$ 中光滑精确拉格朗日子流形上的微局部层范畴的分类映射提供拓扑描述。
• 通过证明分类映射通过稳定高斯映射 $L \to U/O$ 和 $J$-同态的延拓 $BJ: U/O \to B\mathrm{Pic}(\mathbf{S})$ 因子分解，解决问题 1.1。
• 以层论方法证明紧致精确拉格朗日子流形的分类映射的平凡性，从而重新获得 Abouzaid–Kragh 的结果。

提出的方法

• 利用 Kashiwara–Schapira 的微局部层理论，在光滑精确拉格朗日子流形 $L \subset T^*X$ 上赋予一个纤维等价于 $\mathrm{Mod}(\mathbf{k})$ 的局部常值范畴层。
• 构造一个分类映射 $L \to B\mathrm{Pic}(\mathbf{k})$ 来分类该范畴局部系统，并通过稳定高斯映射证明其因子分解至 $U/O$。
• 应用 Bott 周期性与谱分解，分析 $U/O$ 的同伦类型，特别是 $\Omega(U/O) \simeq \mathbf{Z} \times BO$。
• 利用莫尔斯变换与 $U/O$ 中的路径来建模范畴局部系统的单值性。
• 引入一个从 fibrant 单纯范畴 $\mathsf{QHam}_L(U/O)^{op}$ 到 $\mathrm{Pr}_{\mathsf{st}}^\mathsf{L}$ 中函子的典范函子 $F_L$，以编码对应范畴。
• 利用 $J$-同态的延拓与典范映射 $B\mathrm{Pic}(\mathbf{S}) \to B\mathrm{Pic}(\mathbf{k})$，将球面谱与一般环谱联系起来。

实验结果

研究问题

• RQ1 如何对光滑精确拉格朗日子流形 $L \subset T^*X$ 上的微局部层范畴的分类映射进行拓扑描述？
• RQ2 分类映射 $L \to B\mathrm{Pic}(\mathbf{k})$ 是否允许通过 $U/O$ 和 $J$-同态的因子分解？
• RQ3 对于紧致拉格朗日子流形，复合映射 $L \to U/O \to B\mathrm{Pic}(\mathbf{S})$ 的同伦类是什么？
• RQ4 能否仅通过微局部层理论证明该复合映射的平凡性，而无需依赖 Floer 同伦类型？
• RQ5 莫尔斯变换与 $U/O$ 中的对应关系如何编码范畴局部系统的单值性？

主要发现

• 光滑精确拉格朗日子流形 $L \subset T^*X$ 上的微局部层范畴的分类映射，通过稳定高斯映射 $L \to U/O$ 和 $J$-同态的延拓 $BJ: U/O \to B\mathrm{Pic}(\mathbf{S})$ 因子分解。
• 对于任意紧致光滑精确拉格朗日子流形 $L \subset T^*X$，复合映射 $L \to U/O \to B\mathrm{Pic}(\mathbf{S})$ 在同伦意义下平凡。
• 该结果为 Abouzaid–Kragh 的定理提供了层论证明，该定理此前依赖于 Floer 同伦类型。
• 当 $\mathbf{k} = \mathbf{Z}$ 时，障碍类被识别为 Maslov 类与第二相对 Stiefel–Whitney 类。
• 该构造对任意交换环谱或 $\mathbb{E}_2$ 环谱 $\mathbf{k}$ 有效，推广了普通环的情形。
• 该框架可推广至一般底流形 $X$，且在 $\infty$-范畴设定下，因子分解具有普遍性。