[论文解读] Variation of Hodge structures, Frobenius manifolds and Gauge theory

Si Li|arXiv (Cornell University)|Mar 12, 2013

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

一句话总结

本文建立了BCOV理论中来自卡拉比-丘流形上Kodaira-Spencer规范场论的 descendents 不变量树图生成函数与Barannikov提出的半无限Hodge结构变分（SIVH）构造之间的精确等价性。证明了BCOV理论中的亏格零势函数与SIVH所导出的Frobenius结构一致，将亏格零的镜像对称性推广至包含引力descendants的范畴，通过使用重整化传播子的费曼图积分实现。

ABSTRACT

We explain the homological relation between the Frobenius structure on the deformation space of Calabi-Yau manifold and the gauge theory of Kodaira-Spencer gravity. We show that the genus zero generating function of descendant invariants on Calabi-Yau manifolds from Barannikov's semi-infinite variation of Hodge structures is equivalent to the Kodaira-Spencer gauge theory at tree level.

研究动机与目标

• 建立Kodaira-Spencer规范场论（即BCOV理论）与卡拉比-丘模空间上Frobenius流形结构之间的数学桥梁。
• 证明BCOV理论中来自descendant Gromov-Witten不变量的亏格零生成函数与Barannikov的半无限Hodge结构变分所构造的预势函数一致。
• 通过引入引力descendants和高阶不变量，将先前关于亏格零镜像对称性的结果推广。
• 使用费曼图展开与奇异传播子，为Frobenius势函数提供严格的场论解释。
• 证明BCOV框架中某一微分算子的核与由预势定义的拉格朗日子流形相对应，从而将几何与量子场论联系起来。

提出的方法

• 利用半无限Hodge结构中平坦截面空间的辛几何，配备余数配对与Gauss-Manin联络。
• 应用Givental的环路空间形式化，通过平坦截面辛向量空间中的拉格朗日锥体解释Frobenius结构。
• 将BCOV理论的行动 $ S^{BCOV} $ 构造为Kodaira-Spencer行动的形变，通过顶点算符引入引力descendants。
• 将树图生成函数 $ \mathbf{F}^{BCOV}_0 $ 定义为传播子 $ P = \frac{\bar{\partial}^* \partial}{\Delta} $ 与顶点 $ S^{BCOV} $ 的连通树图费曼图之和。
• 应用同调微扰引理，计算投影映射的同伦逆，从而将算子 $ \eta $ 的核与拉格朗日子流形对应起来。
• 使用Weyl量子化在Fock空间中定义经典拉格朗日子流形的非交换形变，其中量子理想层编码了完整的量子BCOV理论。

实验结果

研究问题

• RQ1 BCOV理论中descendant不变量的树图生成函数是否与通过半无限Hodge结构变分构造的Frobenius势函数等价？
• RQ2 Kodaira-Spencer规范场论在树图层次上如何再现卡拉比-丘流形上B模型的预势？
• RQ3 Frobenius流形结构在费曼图中的精确场论实现形式为何，特别是涉及引力descendants的情形？
• RQ4 通过BCOV作用定义的算子 $ \eta $ 的核如何与平坦截面辛空间中的拉格朗日子流形相关联？
• RQ5 是否能通过同调方法一致地重整化BCOV理论中的高圈图，其对量子预势有何影响？

主要发现

• BCOV理论的树图生成函数 $ \mathbf{F}^{BCOV}_0 $ 与通过Barannikov的半无限Hodge结构变分构造的descendant不变量生成函数等价。
• 卡拉比-丘模空间上Frobenius流形的亏格零势函数由限制 $ \mathbf{F}^{BCOV}_0|_{\operatorname{H}} $ 给出，确认了预势的几何起源。
• 算子 $ \eta $ 的核（定义为 $ \mu \mapsto \partial_\mu S^{BCOV} $）由 $ \mu - \Pi \left( \sum_{k\geq 0} (\{S^{BCOV}, -\} G)^k \partial_\mu S^{BCOV} \right) $ 生成，该表达式刻画了平坦截面辛空间中的拉格朗日子流形。
• 生成泛函 $ \mathbf{F}^{BCOV}_0 $ 明确计算为传播子 $ P = \frac{\bar{\partial}^* \partial}{\Delta} $ 的连通树图之和，确认了其费曼图解释。
• 经典拉格朗日子流形 $ \mathcal{L}_X \subset \mathcal{H} $ 通过Weyl代数形变实现量子化，Fock空间中的量子理想层编码了完整的量子BCOV理论。
• BCOV理论中高圈费曼图的重整化通过Costello的同调微扰技术实现，通过一致的形变量子化过程消除了紫外发散。