[论文解读] Microlocal Category

Dmitry Tamarkin|arXiv (Cornell University)|Nov 29, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 2被引用 4

一句话总结

本文通过层的导出范畴与同伦代数构建了一个微局部范畴，利用操作代数与迹结构建立了量子化框架。它在层范畴上引入了同伦一致的操作代数（VCO）结构，证明了微局部范畴具有带曲率的 $A_\infty$-范畴结构，通过同伦等价性实现量子化，并归约为迹结构。

ABSTRACT

Given a compact symplectic manifold whose symplectic form has integer periods, one associates to it a dg category based on the microlocal analysis according to Kashiwara-Schapira

研究动机与目标

• 通过层的导出范畴与同伦一致操作代数结构，构建一个在导出范畴中丰富的微局部范畴。
• 通过形变复形与迹结构，解决具有整数周期的辛流形的量子化问题。
• 通过同伦等价性与约化，建立微局部层理论与带曲率的$A_\infty$-范畴之间的联系。
• 将辛球面上的层范畴推广为具有模结构的完整$A_\infty$-范畴。
• 通过操作代数与循环结构定义一个带有迹的张量范畴，实现辛嵌入的量子化。

提出的方法

• 使用$X$上的层的导出范畴及其卷积积来定义微局部范畴$\operatorname{sh}_q(X)$。
• 构建全操作代数的拟自由化解$\mathcal{O}$，以在$\mathbb{A}^V$上定义同伦一致操作代数（VCO）结构。
• 应用约化函子$\mathbf{red}$，从$\mathbf{R}_q$过渡到$\mathbf{R}_0$，从而获得迹结构。
• 通过同伦等价的Zig-Zag路径$\mathbb{A} \xleftarrow{\sim} \mathbb{A}' \to \mathcal{O}$实现量子化映射。
• 在对$(\mathcal{B}, M)$上定义$A_\infty$-代数带曲率的范畴$\mathcal{M}_M$，在$\mathbf{R}_q$上富集，使用$\mathbf{a} \otimes \mathbf{MC}$-作用。
• 利用$c_1$-局部化与$\mathbb{Z} \times \mathbb{Z}$-等变性来控制范畴中的张量结构与迹。

实验结果

研究问题

• RQ1 如何通过层论方法与同伦代数构建一个编码辛几何的微局部范畴？
• RQ2 在定义辛流形的量子化时，$c_1$-局部化与$\mathbb{Z} \times \mathbb{Z}$-等变性起什么作用？
• RQ3 能否在层范畴上实现同伦一致操作代数（VCO）结构以建模量子结构？
• RQ4 范畴上的迹结构如何与Hochschild复形及循环操作代数相关联？
• RQ5 微局部范畴上的精确$A_\infty$-范畴结构是什么？它如何与曲率及模作用相容？

主要发现

• 微局部范畴$\operatorname{sh}_q(X)$被构造为在$\mathbf{R}_q$上富集的$A_\infty$-范畴，其代数结构带有曲率。
• 在$\mathbb{A}^V$上实现了同伦一致操作代数（VCO）结构，且约化$\mathbf{red}\mathbb{A}^V \to \mathbf{red}\mathcal{V}$通过同伦等价满足刚性条件。
• 通过同伦等价的Zig-Zag路径：$\mathbb{A} \xleftarrow{\sim} \mathbb{A}' \to \mathcal{O}$，解决了量子化问题，归约为迹映射$\mathbf{red}\mathbb{A} \to \mathbf{red}\mathcal{O}$。
• $A_\infty$-代数带曲率的范畴$\mathcal{M}_M$在对$(\mathcal{B}, M)$上被定义，其中$M$是$({\mathbf{D}\bigoplus})\mathbf{U}(\mathbb{F}_R)$中的模，且$\mathbf{a} \otimes \mathbf{MC}$-作用与$\mathcal{B}$上已有的$\mathbb{A}'$-作用相容。
• $c_1$-作用与$\mathbb{Z} \times \mathbb{Z}$-等变性被用于定义带有迹的张量结构，通过范畴$\mathbf{U}(F)$及其循环扩张$\mathbf{U}^{\mathbf{cyc}}(\mathcal{O})$实现。
• 范畴$\mathbb{B}_{\mathcal{T}}$通过整理与拟收缩性构造，最终得到一个完整定义的带有迹与模结构的微局部范畴。