[论文解读] Quantum BCOV theory on Calabi-Yau manifolds and the higher genus B-model

Kevin J. Costello, Si Li|arXiv (Cornell University)|Jan 21, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用 71

一句话总结

本文在任意维数的卡拉比-丘流形上提出了广义量子BCOV理论，采用形式参数的多向量场并利用重整化方法实现量子化。证明了在满足膨胀方程的椭圆曲线上存在唯一一个量子BCOV理论，并通过镜像对称将配分函数与格罗莫夫-威滕不变量联系起来。

ABSTRACT

Bershadsky-Cecotti-Ooguri-Vafa (BCOV) proposed that the B-model of mirror symmetry should be described by a quantum field theory on a Calabi-Yau variety, which they called the Kodaira-Spenser theory (we call it the BCOV theory). This is the first of three papers in which we construct and analyze the quantum BCOV theory. In this paper, we construct the classical field theory on a Calabi-Yau variety of arbitrary dimension; define what it means to give a quantization; analyze the relation Givental's symplectic formalism for Gromov-Witten theory; prove uniqueness of the quantization on an elliptic curve; and prove the Virasoro constraints on an elliptic curve. The second paper (arXiv:1112.4063) proves that the partition function of the quantum BCOV theory on the elliptic curve is equivalent to the Gromov-Witten theory of the mirror elliptic curve. The third paper, in progress, constructs the quantum BCOV theory on a general Calabi-Yau.

研究动机与目标

• 将原始仅定义于卡拉比-丘3-流形的经典BCOV理论推广至任意维数的卡拉比-丘流形。
• 通过重整化技术对广义BCOV理论进行量子化，建立高亏格B模型的数学框架。
• 通过镜像对称，建立量子BCOV配分函数与镜像卡拉比-丘流形的格罗莫夫-威滕不变量之间的联系。
• 在膨胀方程约束下，证明椭圆曲线上存在唯一一个量子BCOV理论。
• 基于霍奇滤波及其补滤波，利用上同调上的辛结构极化，构造BCOV理论中的相关函数。

提出的方法

• 通过在卡拉比-丘流形上定义带形式参数 $ t $ 的多向量场 $ \mathrm{PV}(X)[[t]] $，并构造满足经典主方程的行动泛函，推广经典BCOV理论。
• 应用 [Cos11] 中的重整化技术，定义卡拉比-丘流形上广义BCOV理论的量子化。
• 从上同调 $ H^*(X)((t)) $ 构造福克空间，其上赋予由全纯体积形式定义的留数公式所确定的辛配对。
• 利用 $ H^*(X) $ 上的霍奇滤波定义拉格朗日子空间，并结合补滤波 $ \overline{F} $，获得极化以定义相关函数。
• 将相关函数 $ \langle - \rangle_{g,n}^{X,\overline{F}} $ 定义为福克空间形式中配分函数的泰勒系数。
• 运用障碍理论与谱序列技术，证明相关三重度上同调类的唯一性与消失性，从而确立膨胀方程的约束。

实验结果

研究问题

• RQ1 经典BCOV理论能否推广至任意复维数的卡拉比-丘流形，而不仅限于原始的3-流形情形？
• RQ2 广义BCOV理论在卡拉比-丘流形上是否存在一致的量子化？能否通过重整化方法实现？
• RQ3 量子BCOV配分函数是否自然地对应于由卡拉比-丘流形上同调构建的福克空间中的一个态？
• RQ4 在椭圆曲线上，是否存在唯一一个满足膨胀方程的量子BCOV理论？其与镜像流形的格罗莫夫-威滕不变量有何关系？
• RQ5 在镜像对称下，BCOV理论的相关函数与格罗莫夫-威滕不变量之间有何关系？极化的选择起什么作用？

主要发现

• 在任意椭圆曲线 $ E $ 上，只要施加膨胀方程，就存在唯一的量子BCOV理论，其唯一性由障碍理论确立。
• 量子主方程确保配分函数位于由 $ H^*(X)((t)) $ 构造的福克空间中，该空间配备由留数公式定义的辛配对。
• 在三重度 $ (i+2b, a, b) $（其中 $ i > -2 $，$ a \geq 0 $，$ b \in \mathbb{Z} $）上，谱序列分析中 $ \mathrm{d}_0 $ 和 $ \mathrm{d}_1 $ 算子的上同调类消失，确认不存在虚假类。
• $ A_k $ 的 $ \mathrm{d}_1 $ 上同调同构于 $ B_k = \delta_1\delta_0 e_k^2 \mathbb{C}[[\delta_2,\delta_3,\ldots,e_0,e_2,\ldots,e_k]] $（当 $ k > 1 $ 时），且对 $ k=1 $ 和 $ k=0 $ 情形有类似形式，这些均被证明不贡献于相关上同调。
• 在关键三重度上证明上同调消失，依赖于三重度分析及权算子 $ W $ 的非零特征值，从而确保量子理论存在的无阻碍性。
• 该构造为高亏格BCOV理论提供了严格的数学实现，通过镜像对称与格罗莫夫-威滕不变量建立联系，其在椭圆曲线情形已被附录论文 [Li11] 确认。