[论文解读] Sheaf quantization in Weinstein symplectic manifolds

David Nadler, Vivek Shende|arXiv (Cornell University)|Jul 16, 2020

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

一句话总结

本文通过微局部层理论，引入了基于层论的魏斯曼辛流形的量子化框架，利用微局部层理论构造了一个在魏斯曼同伦下不变的微层范畴，并通过Maslov数据将精确拉格朗日子流形映射为对象。关键贡献是建立了一个从拉格朗日子流形上的局部系统到环境流形上微层范畴的全纯忠实函子，从而确立了弗卡伊范畴对象的层论类比。

ABSTRACT

Using the microlocal theory of sheaves, we associate a category to each Weinstein manifold. By constructing a microlocal specialization functor, we show that exact Lagrangians give objects in our category, and that the category is invariant under Weinstein homotopy.

研究动机与目标

• 通过微局部层理论定义魏斯曼辛流形的层论量子化。
• 构造一个配备Maslov数据的魏斯曼流形上的微层范畴，该范畴在魏斯曼同伦下不变。
• 证明精确拉格朗日子流形可通过从局部系统到该微层范畴的全纯忠实函子产生对象。
• 将先前关于接触流形上微层的结果推广到配备Maslov数据的魏斯曼流形设定。
• 建立拉格朗日子流形与微层范畴中对象之间的对应关系，类似于弗卡伊范畴的结构。

提出的方法

• 利用层的微局部理论，作者在魏斯曼流形的接触单位球丛上定义了一个稳定范畴层。
• 他们构建了一个微局部特化函子，以关联不同接触结构上的微层，特别是在辛形式形变时的情形。
• 该方法依赖于范畴层的邻近循环函子，以产生在辛形式形变 $\lambda \rightsquigarrow \lambda - tdf$ 下的不变量。
• 关键技术是使用相对外部 Hom 和 stalk 计算来分析邻近循环函子。
• 作者采用基于Maslov数据的下降形式系统，将其视为Picard范畴上Maslov障碍的零同伦。
• 他们通过从一个通用 $BPic(\mathcal{C})$-丛的拉回定义了层 $\mu sh_\tau$，推广了基于极化构造的方法。

实验结果

研究问题

• RQ1 微局部层理论如何被扩展以定义魏斯曼辛流形的量子化？
• RQ2 Maslov数据在构造魏斯曼同伦下不变的微层范畴中扮演什么角色？
• RQ3 能否自然地为该微层范畴中的精确拉格朗日子流形分配对象？
• RQ4 范畴层的邻近循环函子与辛形式的辛形变之间有何关系？
• RQ5 基于极化与基于一般Maslov数据定义的微层范畴之间存在何种关系？

主要发现

• 本文在配备Maslov数据 $\tau$ 的魏斯曼流形上构造了一个 $\mathcal{C}$-线性稳定范畴层 $\mu sh_\tau$，该层在魏斯曼同伦下不变。
• 当存在与拉格朗日子流形内在结构匹配的二级Maslov数据时，精确拉格朗日子流形 $L$ 可通过全纯忠实函子 $Loc(L) \to \mu sh_\tau(W)$ 在 $\mu sh_\tau(W)$ 中产生对象。
• 当系数范畴 $\mathcal{C} = \mathrm{mod}\text{-}\mathbb{Z}$ 时，Maslov数据存在的充要条件是 $2c_1(\xi) = 0$，且Maslov数据的同伦类构成一个在 $H^1(V,\mathbb{Z}) \oplus H^2(V,\mathbb{Z}/2\mathbb{Z})$ 上的主齐性空间。
• 该构造推广了先前关于接触流形上微层的结果，表明任何稳定极化都可诱导出Maslov数据，且在通用 $BPic(\mathcal{C})$-丛上成立下降。
• 范畴层的邻近循环函子诱导出一个态射 $\Psi_t \mu sh_{W_t} \to \mu sh_{W_0}$，暗示在辛形变下整体截面的局部常数性。
• 从拉格朗日子流形定义一个典范对象的障碍由 $\ell - \tau$ 在 $[L, BPic(\mathcal{C})]$ 中的差异度量，当 $\mathcal{C} = \mathrm{mod}\text{-}\mathbb{Z}$ 时，该差异同构于 $H^1(L,\mathbb{Z}) \oplus H^2(L,\mathbb{Z}/2\mathbb{Z})$。