[论文解读] Semisimple Frobenius structures at higher genus

Alexander Givental|ArXiv.org|Aug 9, 2000

Algebraic Geometry and Number Theory参考文献 15被引用 58

一句话总结

本文提出了一种用于具有通用半单量子上同调的辛流形的高亏格 Gromov-Witten 不变量的通用公式，采用具有孤立不动点的环面作用的等变 Gromov-Witten 理论。该公式通过 tau-函数构造将 2D 顶点场论的亏格 0 Frobenius 流形推广至高亏格，以亏格 0 数据和伯努利数表达高亏格势能，并在猜想中满足 Deligne-Mumford 模空间拓扑带来的通用约束。

ABSTRACT

We describe genus g>1 potentials of semisimple Frobenius structures. Our formula can be considered as a definition in the axiomatic context of Frobenius manifolds. In Gromov-Witten theory, it becomes a conjecture expressing higher genus GW-invariants in terms of genus 0 GW-invariants of symplectic manifolds with generically semisimple quantum cup-product. The conjecture is supported by the corresponding theorem about equivariant GW-invariants of tori actions with isolated fixed points. The parallel theory of gravitational descendents is also presented.

研究动机与目标

• 将 2D 顶点场论的公理化框架从亏格 0 推广至高亏格，使用半单 Frobenius 结构。
• 在等变 Gromov-Witten 理论的背景下，推导出具有引力后代的高亏格 Gromov-Witten 不变量的显式公式。
• 猜想：具有半单量子杯积的紧致辛流形的高亏格不变量可普遍地用亏格 0 不变量表达。
• 通过通用约束建立 Deligne-Mumford 模空间几何与 Gromov-Witten 势能结构之间的联系。

提出的方法

• 使用具有孤立不动点的环面作用的等变 Gromov-Witten 理论计算高亏格势能。
• 应用生成函数和 tau-函数的方法，将亏格 g 不变量编码为一个形式级数。
• 通过涉及伯努利数的指数校正项，对 Kontsevich-Witten 函数进行补偿性变形，以考虑引力后代。
• 推导出一个通用公式（22），将高亏格势能表达为量子乘法算子的矩阵值函数的行列式与指数形式。
• 利用傅里叶变换和矩阵 Airy 积分表示，将 tau-函数重述为路径积分和多矩阵模型的形式。
• 依赖于规范连接的存在性和半单 Frobenius 流形的结构，以定义势能的通用形式。

实验结果

研究问题

• RQ1 具有半单量子上同调的辛流形的高亏格 Gromov-Witten 不变量能否普遍地用亏格 0 不变量表达？
• RQ2 高亏格中的引力后代如何与亏格 0 处的 Frobenius 流形结构相关联？
• RQ3 伯努利数在将亏格 0 势能校正为完整高亏格 tau-函数的过程中起什么作用？
• RQ4 2D 顶点场论的通用约束在多大程度上可从 Deligne-Mumford 模空间的拓扑中导出？
• RQ5 所提出的公式能否从等变 Gromov-Witten 理论的非等变极限中导出，其条件是什么？

主要发现

• 本文提出一个通用公式（22），将高亏格 Gromov-Witten 势能表达为由亏格 0 量子上同调导出的矩阵值函数的行列式与指数形式。
• 通过涉及伯努利数的 Kontsevich-Witten 函数的变形，将引力后代纳入公式，具体体现在指数部分：exp(u/z + B₂s₁z/2! + B₄s₂z³/4! + ...)。
• 当目标空间为点 X=pt 时，该公式退化为已知的 Hodge 交数生成函数，确认了在最简单情形下的自洽性。
• 所得的 tau-函数与 pt 的高亏格势能的标准生成级数一致，当 t₀=t₁=0 时，F^g_pt 在 g=0,1 时为零，且在 g≥2 时在稀释流下具有 2−2g 次齐次性。
• 该构造与 Virasoro 约束一致，并可推出复射影空间及其积的 Virasoro 猜想。
• 该方法提供了一种表示论形式，自动恢复亏格 0 和亏格 1 势能，并为完整级数 ∑_{g≥0} ℏ^{g−1} F^g 提供了完整的 tau-函数。