[论文解读] Chiral differential operators via Batalin-Vilkovisky quantization

Vassily Gorbounov, Owen Gwilliam+1 more|arXiv (Cornell University)|Oct 30, 2016

Algebraic structures and combinatorial models参考文献 29被引用 17

一句话总结

本论文通过Batalin-Vilkovisky量子化、因子代数和重整化方法，严格构建了量子弯曲βγ系统，证明其量子可观测量构成的因子代数同构于复流形X上的顶点代数的切触微分算子（CDO）层。关键结果表明，通过全纯σ模型实现了顶点代数的形变量子化，其拓扑障碍与Gelfand-Fuks上同调中的第一Pontryagin类相关。

ABSTRACT

We show that the local observables of the curved beta gamma system encode the sheaf of chiral differential operators using the machinery of the book "Factorization algebras in quantum field theory", by Kevin Costello and the second author, which combines renormalization, the Batalin-Vilkovisky formalism, and factorization algebras. Our approach is in the spirit of deformation quantization via Gelfand-Kazhdan formal geometry. We begin by constructing a quantization of the beta gamma system with an n-dimensional formal disk as the target. There is an obstruction to quantizing equivariantly with respect to the action of formal vector fields on the target disk, and it is naturally identified with the first Pontryagin class in Gelfand-Fuks cohomology. Any trivialization of the obstruction cocycle thus yields an equivariant quantization with respect to an extension of formal vector fields by the closed 2-forms on the disk. By results in the book listed above, we then naturally obtain a factorization algebra of quantum observables, which has an associated vertex algebra easily identified with the formal beta gamma vertex algebra. Next, we introduce a version of Gelfand-Kazhdan formal geometry suitable for factorization algebras, and we verify that for a complex manifold with trivialized first Pontryagin class, the associated factorization algebra recovers the vertex algebra of CDOs on the complex manifold.

研究动机与目标

• 数学上验证物理论断：弯曲βγ系统中的算子代数同构于复流形X上的切触微分算子（CDO）。
• 利用Costello-Gwilliam的重整化框架、Batalin-Vilkovisky形式化和因子代数，为弯曲βγ系统构建严格的量子场论。
• 识别出在目标空间上关于形式向量场的等变量子化障碍，其对应于Gelfand-Fuks上同调中的第一Pontryagin类。
• 将Gelfand-Kazhdan形式几何推广至因子代数的设定，并证明障碍的平凡化可导出X上的CDO。
• 证明该理论在无限体积极限下恢复全息βγ系统，并导致全息与反全息部分的切向分裂。

提出的方法

• 在黎曼曲面上以复流形X为靶空间，利用Batalin-Vilkovisky形式化和重整化技术，为弯曲βγ系统构建量子场论。
• 将作用量泛函定义为 $ S_{IVL}(f,B) = \int_S \mathrm{ev}(d_+f \wedge B) $，其在无限体积极限下使全息与反全息部分解耦。
• 通过场的复化，将微分 $ d_+ $ 分解为 $ \overline{\partial}_{V^{1,0}} + \partial_{V^{0,1}} $，从而实现理论的切向分裂。
• 从BV量子化构造出量子可观测量的因子代数，其编码了X上的CDO层。
• 引入一种适配于因子代数的Gelfand-Kazhdan形式几何版本，使其能在形式圆盘上建立局部模型。
• 证明Gelfand-Fuks上同调中障碍上链的平凡化可导出关于 $ \mathrm{W}_n $ 的扩展 $ \widehat{\Omega}^2_{\mathrm{cl}} $ 的等变量子化，从而得到CDO顶点代数。

实验结果

研究问题

• RQ1 如何利用BV形式化和因子代数等现代QFT工具，严格量化弯曲βγ系统？
• RQ2 弯曲βγ系统中量子可观测量的精确数学结构是什么？其与切触微分算子之间有何关系？
• RQ3 第一Pontryagin类在何种意义上阻碍了在形式圆盘上关于形式向量场的等变量子化？
• RQ4 Gelfand-Kazhdan形式几何如何推广至因子代数的设定，以描述复流形上的CDO？
• RQ5 能否利用βγ系统的无限体积极限来恢复全息βγ系统及其相关的顶点代数？

主要发现

• 弯曲βγ系统的量子可观测量的因子代数同构于复流形X上的切触微分算子层。
• 关于目标空间上形式向量场 $ \mathrm{W}_n $ 的等变量子化障碍，在Gelfand-Fuks上同调中自然识别为第一Pontryagin类。
• 该障碍上链的平凡化可导出关于 $ \mathrm{W}_n $ 的扩展 $ \widehat{\Omega}^2_{\mathrm{cl}} $（即圆盘上的闭2-形式）的等变量子化，从而得到CDO顶点代数。
• 量子可观测量的关联顶点代数被识别为形式βγ顶点代数。
• 对于第一Pontryagin类被平凡化的复流形X，所构造的因子代数恢复了CDO顶点代数 $ \mathrm{CDO}_{X,\alpha} $。
• 复化理论的切向分裂将作用量分离为全息与反全息部分，其中全息部分编码了CDO结构。