[论文解读] Sheaf Quantization of Legendrian Isotopy

Peng Zhou|arXiv (Cornell University)|Apr 24, 2018

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

一句话总结

该论文证明了当Legendrian同伦嵌入Weinstein超曲面同伦时，具有在Legendrian同伦中奇异支撑的构造层的导出范畴保持不变。通过层的量子化和凸管状邻域，作者证明了层可沿同伦被延拓并唯一提升，从而确保了时间上范畴的等价性，即使对于奇异Legendrian，只要环境接触结构满足几何条件，该等价性依然成立。

ABSTRACT

Let $\{Λ^\infty_t\}$ be an isotopy of Legendrians (possibly singular) in a unit cosphere bundle $S^*M$. Let $Sh(M, Λ^\infty_t)$ be the differential graded (dg) derived category of constructible sheaves on $M$ with singular support at infinity contained in $Λ^\infty_t$. We prove that if the isotopy of Legendrians embeds into an isotopy of Weinstein hypersurfaces, then the categories $Sh(M, Λ^\infty_t)$ are invariant.

研究动机与目标

• 确定具有奇异支撑的构造层导出范畴在Legendrian同伦下保持不变的条件。
• 将Guillermou-Kashiwara-Schapira关于接触同伦的经典结果推广到奇异Legendrian。
• 为Legendrian奇点的非特征形变提供层论框架。
• 建立一个几何准则——嵌入到Weinstein超曲面同伦中——在此条件下层范畴保持不变。
• 通过引入同伦的拓扑与几何约束，推广Nadler的树形形变结果。

提出的方法

• 作者在同伦中的每个Legendrian周围定义一族凸管状邻域，确保具有横截接触向量场和受控收缩速率。
• 他们利用接触向量场的流将层从邻近Legendrian重新缩回到原始层，从而构造了流的层量子化。
• 通过紧化映射的张量积与上推导的核构造，实现了从时间截面到同伦参数邻域的层的提升。
• 证明了收缩流的Gromov-Hausdorff极限收敛到目标Legendrian，从而确保奇异支撑被保持。
• 通过在态射空间上的同伦等价性论证，证明了延拓的唯一性，依赖于参数区间的可缩性。
• 在紧区间的一个有限覆盖上，通过局部延拓和重叠区域的相容性，归纳构造了全局延拓。

实验结果

研究问题

• RQ1 在何种条件下，具有奇异支撑的构造层导出范畴在Legendrian同伦下保持不变？
• RQ2 当同伦无法延拓为全局接触同伦时，能否通过层量子化实现奇异Legendrian的非特征形变？
• RQ3 环境接触流形的何种几何结构可确保沿Legendrian同伦的层范畴不变？
• RQ4 如何利用凸管状邻域构造并唯一提升沿Legendrian同伦的层？
• RQ5 Reeb流和可位移性在决定层范畴在同伦下的稳定性中起什么作用？

主要发现

• 当Legendrian同伦嵌入到Weinstein超曲面同伦中时，导出范畴 $ Sh(M, \bar{\rho}_t) $ 保持不变。
• 对任意紧区间 $ K \times M $，存在 $ \rho > 0 $，使得任意层 $ F_t \to Sh(M, \bar{\rho}_t) $ 均可唯一延拓到 $ M \times (t-\rho, t+\rho) $ 上，且与同伦相容。
• 收缩流 $ X_s^{-T} $ 的层量子化在Gromov-Hausdorff意义下收敛到目标Legendrian $ \bar{\rho}_s $，从而确保奇异支撑被保持。
• 层的延拓是典范的且在同构意义下唯一，且延拓函子保持奇异支撑条件。
• 在紧区间 $ M \times I $ 上的全局层通过有限归纳延拓构造，利用局部延拓及重叠邻域间的相容性。
• 该结果在几何嵌入条件下，将经典接触同伦下层范畴的不变性推广到了奇异Legendrian。