[论文解读] Brane structures in microlocal sheaf theory

Xin Jin, David Treumann|arXiv (Cornell University)|Apr 13, 2017

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

一句话总结

本文在精确拉格朗日子流形 $L \subset T^*M$ 上引入了 $∞$-范畴层的胚结构，提供了奈德勒-扎斯洛等价性的纯层论构造。它建立了一个从 $L$ 上局部系统 $∞$-范畴到 $M$ 上具有渐近Legendrian $\Lambda$ 中奇异支撑的谱层的全忠实、哈密顿不变函子，以微局部层论取代了Floer理论方法。

ABSTRACT

Let $L$ be an exact Lagrangian submanifold of a cotangent bundle $T^* M$, asymptotic to a Legendrian submanifold $Λ\subset T^{\infty} M$. We study a locally constant sheaf of $\infty$-categories on $L$, called the sheaf of brane structures or $\mathrm{Brane}_L$. Its fiber is the $\infty$-category of spectra, and we construct a Hamiltonian invariant, fully faithful functor from $Γ(L,\mathrm{Brane}_L)$ to the $\infty$-category of sheaves of spectra on $M$ with singular support in $Λ$.

研究动机与目标

• 提供奈德勒-扎斯洛等价性的纯层论构造，避免使用Floer理论方法。
• 将奈德勒-扎斯洛结果从环上的局部系统推广到 $∞$-范畴的谱上。
• 在精确拉格朗日子流形上定义并研究胚结构的 $∞$-范畴层，以捕捉其拓扑与辛不变量。
• 建立从胚结构层的全局截面到 $M$ 上具有 $\Lambda$ 中奇异支撑的谱层的哈密顿不变、全忠实函子。
• 将理论扩展至 $∞$-环谱系数，以支持广义上同调理论与丛代数的应用。

提出的方法

• 在精确拉格朗日子流形 $L \subset T^*M$ 上构造一个局部常值 $∞$-范畴层 $\mathrm{Brane}_L$，其纤维为谱的 $∞$-范畴。
• 利用 $L$ 的波前投影在 $M \times \mathbb{R}$ 中编码其辛与拓扑数据，从而实现从其奇异超曲面重建 $L$。
• 应用 $∞$-层的范畴的下降理论，证明 $\mathrm{Brane}_L$ 的全局截面可恢复 $M$ 上具有奇异支撑于 $\Lambda$ 的层的 $∞$-范畴。
• 通过 $∞$-拓扑的下降与van-Kampen性质，建立全忠实、哈密顿不变函子 $\Gamma(L, \mathrm{Brane}_L) \to \mathrm{Sh}_\Lambda(M; \mathrm{Sp})$。
• 依赖于 $∞$-拓扑与可表示 $∞$-范畴的理论，特别是等价关系 $\mathrm{Sh}(X; \mathcal{E}) \simeq \mathrm{Shv}(X) \otimes \mathcal{E}$，以处理环谱系数。
• 利用 $∞$-拓扑中余极限为van-Kampen的性质，证明谱层在覆盖筛上的下降，确保函子定义良好且全忠实。

实验结果

研究问题

• RQ1 能否仅使用微局部层论而无需Floer理论重建奈德勒-扎斯洛等价性？
• RQ2 在 $T^*M$ 中，正确编码精确拉格朗日子流形辛与拓扑结构的层论对象是什么？
• RQ3 如何将从 $L$ 上局部系统到 $M$ 上层的函子扩展至 $∞$-环谱系数？
• RQ4 波前超曲面在重建拉格朗日子流形及其相关层论不变量中起什么作用？
• RQ5 该构造的哈密顿不变性在 $∞$-范畴框架中如何体现？

主要发现

• 本文在精确拉格朗日子流形 $L \subset T^*M$ 上构造了一个 $∞$-范畴层 $\mathrm{Brane}_L$，其全局截面分类了 $M$ 上具有奇异支撑于 $\Lambda$ 的谱层的 $∞$-范畴。
• 证明了全局截面 $\Gamma(L, \mathrm{Brane}_L)$ 通过一个哈密顿不变函子全忠实嵌入到 $\mathrm{Sh}_\Lambda(M; \mathrm{Sp})$，即 $M$ 上具有奇异支撑于 $\Lambda$ 的谱层的 $∞$-范畴。
• 该构造为纯层论，取代了奈德勒与扎斯洛的Floer理论方法，并适用于 $∞$-环谱系数。
• 利用 $∞$-拓扑的van-Kampen性质，建立了谱层在覆盖筛上的下降，确保函子定义良好且全忠实。
• 该理论适用于非紧致精确拉格朗日子流形，包括与丛代数及倾移层相关的子流形，超越了紧致拉格朗日子流形的范围。
• 该结果将奈德勒-扎斯洛定理由 $∞$-范畴与谱环的设定推广，为范畴化镜像对称提供了层论基础。