[论文解读] On deformation quantization of Dirac structures

Pavol Ševera|ArXiv.org|Nov 16, 2005

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

一句话总结

本文通过使用 Kontsevich 的形式性定理构造代数群丛层，建立了形式 Dirac 结构——特别是正则叶状覆盖的形变——的形变量子化。关键结果是，此类 Dirac 结构的量子化产生一个层化范畴（即层），该层化范畴形变了沿叶的平坦联络范畴，且横截面上的局部 Poisson 结构被一致地量子化为同伦相干系统。

ABSTRACT

Motivated by the problem of transverse deformation quantization of foliated manifolds, we describe a quantization of Dirac structures (more precisely, of those that are formal deformations of regular ones) to stacks of algebroids in the sense of Kontsevich.

研究动机与目标

• 开发一种针对形式 Dirac 结构族的量子化程序，这些结构族是正则叶状覆盖的形变。
• 通过将 Dirac 结构作为统一框架，将横截形变量子化推广至 Poisson 结构之外。
• 构造一个代数群丛层，以同伦相干的方式捕捉叶状几何的量子几何。
• 为在横截面上诱导形式 Poisson 结构的 Dirac 结构提供系统化的量子化方法。
• 通过量子化沿叶常值函数层，为叶空间的非交换几何奠定基础。

提出的方法

• 利用 Kontsevich 的形式性定理对形式 Dirac 结构 $ C(\hbar) $ 进行量子化，其中 $ C(\hbar) $ 是正则 Dirac 结构 $ C(0) $ 的形变。
• 在可缩开集上构造代数群丛的预层，其中叶状覆盖是平凡的，通过横截的同伦关系定义态射。
• 将态射空间定义为横截面上量子化函数代数之间同构的图，通过高阶同伦关系确保一致性。
• 通过右伴随限制将预层扩展至所有开集，形成开集范畴上的纤维化范畴。
• 对所得预层进行层化，得到一个线性范畴的层，确保下降性质与同伦相干性。
• 利用 Courant 超代数括号与多向量场 DGLA 中的 MC 方程，将 Dirac 结构表征为 Maurer-Cartan 方程的解。

实验结果

研究问题

• RQ1 是否可以使用此方法对非正则 Dirac 结构的形变进行量子化？
• RQ2 形式 Dirac 结构的量子化如何在底流形上诱导出一致的代数层？
• RQ3 横截的同伦关系在定义所得代数群丛层中态射空间时起什么作用？
• RQ4 代数群丛层与叶上平坦联络的经典范畴之间有何关系？
• RQ5 在形式 Dirac 结构的量子化后，叶状函数的全局非交换代数会发生什么变化？

主要发现

• 形式 Dirac 结构 $ C(\hbar) $ 的量子化产生一个代数群丛层，该层形变了 $ C(0) $ 叶上平坦联络的类范畴。
• 由 $ C\hbar $ 诱导的横截面上局部 Poisson 结构形式为 $ \pi = \pi^{(1)}\hbar + \pi^{(2)}\hbar^2 + \cdots $，其量子化结果可粘合成全局层。
• 该构造依赖于 Kontsevich 的形式性定理，通过形式形变将经典 Dirac 结构提升为量子层。
• 所得层在横截选择上是唯一的，至多一个典范同构，由高阶同伦及第 4 节中的 $ a $-元确保。
• 该方法通过双模结构与同伦相干性自然处理了非平凡的单值性与 holonomy。
• 层化后的预层捕捉了叶状流形的量子几何，作为经典叶状几何的同伦理论形变。