[论文解读] Vertex algebras and quantum master equation

Si Li|arXiv (Cornell University)|Dec 5, 2016

Black Holes and Theoretical Physics参考文献 36被引用 18

一句话总结

本文建立了二维手征共形场论中重整化量子主方程与手征顶点代数模式的李代数中Maurer-Cartan方程之间的精确对应关系。它证明了如βγ-bc系统等自由系统的手征形变的紫外有限性，推导出具有解析异常的模生成函数，并在椭圆曲线上构造了量子B模型的精确解，完全解决了复一维情形下的高亏格镜像对称猜想。

ABSTRACT

We study the effective Batalin-Vilkovisky quantization theory for chiral deformation of two dimensional conformal field theories. We establish an exact correspondence between renormalized quantum master equations for effective functionals and Maurer-Cartan equations for chiral vertex operators. The generating functions are proven to have modular property with mild holomorphic anomaly. As an application, we construct an exact solution of quantum B-model (BCOV theory) in complex one dimension that solves the higher genus mirror symmetry conjecture on elliptic curves.

研究动机与目标

• 建立手征顶点算子代数中重整化量子主方程与Maurer-Cartan方程之间的精确数学对应关系。
• 分析二维中如βγ-bc系统和手征玻色子等自由共形场论的手征形变。
• 通过正则化与同伦重整化方法证明手征相互作用的紫外有限性，避免引入反项。
• 在手征CFT背景下推导出具有温和解析异常的生成函数的模性质。
• 在椭圆曲线上构造量子B模型（BCOV理论）的精确解，从而解决完整的高亏格镜像对称猜想。

提出的方法

• 使用有效Batalin-Vilkovisky（BV）形式化方法，结合同伦重整化，以处理规范对称性与量子一致性。
• 通过截断函数 $ H_ε^L $ 实现紫外正则化，并证明费曼图积分在 $ \epsilon \to 0 $ 时极限的存在性。
• 引入带装饰的图 $ (\Gamma, n) $，其中边的装饰 $ n_e \in \mathbb{Z}_{\geq 0} $ 用于追踪传播子上的全纯导数。
• 推导出涉及 $ \partial_z^{n_0} k_\epsilon $ 和 $ R_\epsilon^L $ 的图积分极限的关键恒等式，通过有理常数 $ C(n_0; n_1, \dots, n_k) $ 证明收敛性。
• 应用自旋统计对应关系，将椭圆曲线上量子BCOV理论约化为Fedosov方程。
• 利用所得解验证整数性与经典极限，确认其与高亏格镜像对称的一致性。

实验结果

研究问题

• RQ1 手征自由CFT形变的重整化量子主方程与手征顶点算子模式代数中的Maurer-Cartan方程之间有何关系？
• RQ2 二维CFT中手征相互作用的紫外行为如何？是否可在不引入反项的情况下实现重整化？
• RQ3 在环面上的手征相关函数的生成函数是否表现出具有可控解析异常的模性质？
• RQ4 椭圆曲线上量子BCOV理论能否被精确求解？该解是否实现了完整的高亏格镜像对称猜想？
• RQ5 有效BV量化与顶点代数模式之间对应关系背后的几何与代数结构是什么？

主要发现

• 自由βγ-bc系统手征形变的重整化量子主方程，等价于相关手征顶点代数模式李代数中的Maurer-Cartan方程。
• 自由βγ-bc系统与手征玻色子系统的手征形变具有紫外有限性，所有无自环的带装饰图的费曼图积分在 $ \epsilon \to 0 $ 时极限均存在。
• 环面上相关函数的生成函数被证明具有模性质，且具有温和的解析异常，与模形式一致。
• 在椭圆曲线上构造了量子B模型（BCOV理论）的精确解，满足整数性与经典极限条件。
• 该解在复一维情形下实现了完整的高亏格镜像对称猜想，为B模型振幅提供了几何实现。
• 涉及 $ \partial_z^{n_0} k_\epsilon $ 与 $ R_\epsilon^L $ 的图积分极限可通过有理常数 $ C(n_0; n_1, \dots, n_k) $ 表达，从而证明了收敛性与解析控制。