[论文解读] Gromov - Witten invariants and quantization of quadratic hamiltonians

Alexander Givental|ArXiv.org|Aug 14, 2001

Algebraic Geometry and Number Theory参考文献 22被引用 17

一句话总结

本文提出了一套用于二次哈密顿量和辛环群作用的量化形式化方法，以统一并推广高亏格下的格罗莫夫-威滕不变量与弗罗贝尼乌斯结构。该形式化方法建立了半单弗罗贝尼乌斯结构的维拉索罗代数约束，并通过振荡积分的渐近分析与量子上同调框架下的伽马函数恒等式，证明了复射影空间及法诺环化流形的维拉索罗猜想。

ABSTRACT

We describe a formalism based on quantization of quadratic hamiltonians and symplectic actions of loop groups which provides a convenient home for most of known general results and conjectures about Gromov-Witten invariants of compact symplectic manifolds and, more generally, Frobenius structures at higher genus. We state several results illustrating the formalism and its use. In particular, we establish Virasoro constraints for semisimple Frobenius structures and outline a proof of the Virasoro conjecture for Gromov -- Witten invariants of complex projective spaces and other Fano toric manifolds. Details will be published elsewhere.

研究动机与目标

• 基于二次哈密顿量的量化与辛环群作用，发展一个统一的形式化方法，以涵盖高亏格下的格罗莫夫-威滕不变量与弗罗贝尼乌斯结构。
• 利用该形式化方法，建立半单弗罗贝尼乌斯结构的维拉索罗代数约束。
• 在复射影空间及其他法诺环化流形的格罗莫夫-威滕不变量上，证明维拉索罗猜想。
• 将该形式化方法与等变量子上同调中的振荡积分及伽马函数渐近分析相联系。
• 为引力下代数及其生成函数提供一个基于福克空间量化概念性的框架。

提出的方法

• 该形式化方法使用系数取自辛流形上同调的洛朗多项式空间上的无穷小辛变换的福克空间量化。
• 通过标度移位将下代数生成函数与环代数正部的坐标联系起来，将总下代数生成函数识别为福克空间中的一个向量。
• 该方法在等变上同调中使用振荡积分来计算在量子上同调极限 $ Q=0 $ 下的 $ R $-矩阵矩阵元。
• 利用振荡积分的驻相渐近分析，提取 $ R $-矩阵的对数渐近行为，从而得到涉及巴内斯 $ G $-函数与伽马函数展开的表达式。
• 该形式化方法结合了通过福克空间上的微分算子定义的维拉索罗算子，这些算子在法诺环化流形上湮灭总下代数生成函数。
• 它利用镜像对称性以及法诺环化流形的小量子上同调的显式描述，将完整生成函数表示为演化算子的乘积。

实验结果

研究问题

• RQ1 格罗莫夫-威滕不变量及其引力下代数能否在单一量化框架下被系统性地统一？
• RQ2 维拉索罗代数在约束半单弗罗贝尼乌斯流形的总下代数生成函数中起什么作用？
• RQ3 等变上同调中的振荡积分如何编码法诺环化流形的量子上同调结构？
• RQ4 振荡积分中伽马函数渐近行为在多大程度上反映了量子上同调与镜像对称中的深层结构？
• RQ5 复射影空间的维拉索罗猜想能否从基于辛作用与量化的通用形式化方法中推导而出？

主要发现

• 在常数因子意义下，环化法诺流形的总下代数生成函数由公式 $\mathcal{D}_{X} = e^{C(t)}\hat{S}_{t}\hat{\Psi}_{t}\hat{R}_{t}{\mathcal{T}}$ 给出，其中 $\mathcal{T}$ 是维滕-康特舍维奇 tau 函数。
• 总下代数生成函数满足维拉索罗约束 $({\mathcal{L}}_{m} + N\delta_{m,0}/16)\mathcal{D}_{X} = 0$，对 $m = -1,0,1,2,\dots$ 成立，证实了伊古奇、霍里、真善治、熊和卡茨的猜想。
• 在 $Q=0$ 时，$ R $-矩阵的矩阵元 $ R^{00} $ 具有对数渐近行为 $\ln R^{00} = \sum_{k=1}^{\infty} \frac{B_{2k}}{2k} \frac{z^{2k-1}}{2k-1} \sum_{\alpha \neq 0} (\lambda_{\alpha} - \lambda_0)^{1-2k}$，与量子上同调的类经典极限一致。
• 在法诺环化流形的镜像描述中，振荡积分的渐近展开导致其分解为一维积分，其渐近行为由伽马函数控制。
• 该形式化方法确认了 $\lambda_g$-猜想及其他由格茨勒与潘德哈里潘德发现的霍奇积分恒等式，提供了比早期证明更深层次的概念基础。
• 通过渐近展开中伽马函数的出现，该形式化方法暗示了与 $S^1$-等变弗洛尔理论在环空间上的联系，将该形式化方法与拓扑场论的根源联系起来。