[论文解读] Quantization of conic Lagrangian submanifolds of cotangent bundles

Stéphane Guillermou|arXiv (Cornell University)|Dec 23, 2012

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

一句话总结

本文通过微局部层理论，为余切丛中紧致精确拉格朗日子流形导出的锥形拉格朗日子流形构造了一个典范层量子化。利用三角轨道范畴与微局部支撑技术，证明了Maslov类消失、投影到基流形是同伦等价，并且相对Stiefel-Whitney类消失，通过层论方法重新获得了已知的辛拓扑结果。

ABSTRACT

Let $M$ be a manifold and $Λ$ a compact exact connected Lagrangian submanifold of $T^*M$. We can associate with $Λ$ a conic Lagrangian submanifold $Λ'$ of $T^*(M imes R)$. We prove that there exists a canonical sheaf $F$ on $M imes R$ whose microsupport is $Λ'$ outside the zero section. We deduce the already known results that the Maslov class of $Λ$ is $0$ and that the projection from $Λ$ to $M$ induces isomorphisms between the homotopy groups.

研究动机与目标

• 通过微局部层理论，为 $T^*M$ 中紧致精确拉格朗日子流形导出的锥形拉格朗日子流形构造全局层量子化。
• 仅使用层论方法，恢复已知的辛拓扑不变量——如Maslov类的消失与投影的同伦等价性。
• 在三角轨道范畴设定下建立典范量子化，确保其在同构意义下唯一。
• 通过微局部单值性与纤维丛，证明拉格朗日子流形的相对Stiefel-Whitney类消失。

提出的方法

• 在 $T^*(M \times \mathbb{R})$ 中构造一个锥形拉格朗日子流形 $\Lambda'$，作为 $T^*M$ 中紧致精确拉格朗日子流形 $\Lambda$ 的锥化。
• 利用 $\mathsf{D}^b_{\Lambda,+}(\mathbf{k}_{M \times \mathbb{R}})$ 中层的微局部支撑，定义一个层 $F$，满足 $\mathrm{SS}(F) = \Lambda'$（除零截面外）。
• 应用三角轨道范畴框架，结合一般性假设与伴随性质，将局部微局部层粘合为全局对象。
• 利用Kashiwara-Schapira层与微局部纤维丛处理单值性与扭曲结构，确保在拉格朗日子流形上的一致性。
• 利用函子 $\Psi$ 与卷积，将微局部化与量子化关联，建立与已知不变量的相容性。
• 应用 $\mu\mathrm{hom}$ 函子与对偶性，证明局部系统上拉回函子的全忠实性与本质满性，从而确立同伦等价性。

实验结果

研究问题

• RQ1 能否仅通过微局部层理论，为 $T^*M$ 中紧致精确拉格朗日子流形的锥化构造出的锥形拉格朗日子流形，构造出全局层量子化？
• RQ2 此类量子化的存在是否意味着原始拉格朗日子流形 $\Lambda \subset T^*M$ 的Maslov类消失？
• RQ3 能否通过层论方法证明投影 $\Lambda \to M$ 是同伦等价？
• RQ4 拉格朗日子流形的相对Stiefel-Whitney类是否消失，且能否从量子化中推导出这一结论？
• RQ5 在三角轨道范畴中，该量子化是否在同构意义下唯一？

主要发现

• 存在一个在 $M \times \mathbb{R}$ 上的典范层 $F$，其微局部支撑在零截面外等于 $\Lambda'$，从而为锥形拉格朗日子流形提供了全局量子化。
• $\Lambda \subset T^*M$ 的Maslov类消失，通过层论方法重新获得了Kragh的结果。
• 投影 $\Lambda \to M$ 诱导了上同调的同构，且为同伦等价，确认了Fukaya–Seidel–Smith与Abouzaid的结果。
• 通过单值性与扭曲微局部纤维丛，证明了 $\Lambda$ 的相对Stiefel–Whitney类消失。
• 该量子化在同构意义下唯一，对任意两个此类层均有 $\mathrm{Hom}(F, F') \simeq \mathbf{k}$。
• 局部系统上的逆像函子 $\pi_\Lambda^{-1}$ 是一个等价，意味着 $\pi_\Lambda$ 是同伦等价。