[论文解读] BCOV ring and holomorphic anomaly equation

Shinobu Hosono|arXiv (Cornell University)|Oct 27, 2008

Geometry and complex manifolds参考文献 14被引用 8

一句话总结

本文引入了BCOV环 ${\mathcal{R}}_{BCOV}^{0}$，这是一个在卡拉比-丘三流形模空间上的几何微分环，建立了与Kaneko-Zagier关于准模形式理论的完全平行关系。它将BCOV全纯异常方程形式化为一个约化环中的首阶微分方程组，证明了解的唯一性，并通过模形式递推将该结构与高亏格Gromov-Witten不变量联系起来。

ABSTRACT

We study certain differential rings over the moduli space of Calabi-Yau manifolds. In the case of an elliptic curve, we observe a close relation to the differential ring of quasi-modular forms due to Kaneko and Zagier.

研究动机与目标

• 建立一个在卡拉比-丘三流形模空间上的几何微分环 ${\mathcal{R}}_{BCOV}^{0}$，推广Kaneko-Zagier关于几乎全纯形式与准模形式的理论。
• 分别定义 ${\mathcal{R}}_{BCOV}^{\Gamma}$ 与 ${\mathcal{R}}_{BCOV}^{\text{hol}}}$ 作为 ${\mathcal{R}}_{BCOV}^{0}$ 的模形式不变提升与全纯极限，以模拟物理上的BCOV结构。
• 将 ${\mathcal{R}}_{BCOV}^{0}$ 约化为一个有限生成子环 ${\mathcal{R}}_{BCOV}^{0,\text{red}}$，以简化全息异常方程。
• 证明在 ${\mathcal{R}}_{BCOV}^{0,\text{red}}$ 中，BCOV全息异常方程呈现为一阶线性微分方程组，从而确保高亏格Gromov-Witten势函数解的唯一性。

提出的方法

• 将 ${\mathcal{R}}_{BCOV}^{0}$ 定义为由模空间上向量丛的亚纯截面生成的微分环，利用Weil-Petersson几何与特殊Kähler结构。
• 引入微分算子 $D_{\tau} = \frac{1}{2\pi i}\left(\frac{\partial}{\partial\tau} + \frac{k}{\tau - \bar{\tau}}\right)$，将Kaneko-Zagier的微分作用推广至卡拉比-丘模空间。
• 通过传播子 $\hat{S}^{ij}, \hat{S}^i, \hat{S}$ 的 $\Gamma$-不变提升构造 ${\mathcal{R}}_{BCOV}^{\Gamma}$，以解决BCOV框架中亚纯不确定性的难题。
• 通过取 $\bar{t} \to \infty$ 极限定义全纯极限 ${\mathcal{R}}_{BCOV}^{\text{hol}}$，类似于从准模形式中提取全纯部分。
• 在 ${\mathcal{R}}_{BCOV}^{0,\text{red}}$ 中推导出BCOV异常方程的系统形式：$\frac{\partial{\mathcal{F}}^{(g)}}{\partial\hat{S}^{ij}} = Q_{ij}^{(g-1)}$，$\frac{\partial{\mathcal{F}}^{(g)}}{\partial\hat{S}^{i}} = -Q_{i}^{(g-1)}$，$\frac{\partial{\mathcal{F}}^{(g)}}{\partial\hat{S}} = Q^{(g-1)}$（$g \geq 2$），初始数据来自亏格1振幅。
• 通过在约化环中考虑权的性质，证明在 $\mathbb{Q}[\hat{S}^{ij}, \hat{S}^k, \hat{S}, C_{ijk}]$ 中，权为 $(2-2g, 0)$ 的解 ${\mathcal{F}}^{(g)}$ 的唯一性。

实验结果

研究问题

• RQ1 如何利用几何数据将Kaneko与Zagier关于准模形式的理论推广至卡拉比-丘三流形的模空间？
• RQ2 在有限生成的微分环中，BCOV全息异常方程的精确代数结构是什么？
• RQ3 ${\mathcal{R}}_{BCOV}^{0}$、${\mathcal{R}}_{BCOV}^{\Gamma}$ 与 ${\mathcal{R}}_{BCOV}^{\text{hol}}$ 之间以及与物理BCOV理论之间有何关系？
• RQ4 能否将BCOV异常方程重述为一个在几何定义环中的首阶微分方程组，并保证唯一解？
• RQ5 是否存在Gromov-Witten势函数在有理椭圆曲面上的模形式递推公式（5.1）与BCOV全息异常方程之间的直接对应关系？

主要发现

• BCOV环 ${\mathcal{R}}_{BCOV}^{0}$ 被构造为在卡拉比-丘三流形模空间上的几何微分环，基于亚纯截面与Weil-Petersson几何。
• ${\mathcal{R}}_{BCOV}^{0}$ 允许约化为一个有限生成的微分环 ${\mathcal{R}}_{BCOV}^{0,\text{red}}$，从而简化了全息异常方程的结构。
• 在 ${\mathcal{R}}_{BCOV}^{0,\text{red}}$ 中，BCOV全息异常方程呈现为一阶线性微分方程组：$\frac{\partial{\mathcal{F}}^{(g)}}{\partial\hat{S}^{ij}} = Q_{ij}^{(g-1)}$，$\frac{\partial{\mathcal{F}}^{(g)}}{\partial\hat{S}^{i}} = -Q_{i}^{(g-1)}$，$\frac{\partial{\mathcal{F}}^{(g)}}{\partial\hat{S}} = Q^{(g-1)}$（$g \geq 2$）。
• 该系统在 $\mathbb{Q}[\hat{S}^{ij}, \hat{S}^k, \hat{S}, C_{ijk}]$ 中权为 $(2-2g, 0)$ 的解 ${\mathcal{F}}^{(g)}$ 唯一确定，初始数据由亏格1振幅导出。
• ${\mathcal{R}}_{BCOV}^{0,\text{red}}$ 中BCOV异常方程的结构在完整环 ${\mathcal{R}}_{BCOV}^{\Gamma,\infty}$ 中得以保持，验证了其物理相关性。
• 本文建立了Gromov-Witten势函数在有理椭圆曲面上的模形式递推公式（5.1）与BCOV全息异常方程之间的直接联系，其等价性预计将在未来工作中得到证明。