[论文解读] Equivariant Gromov - Witten Invariants

Alexander Givental|ArXiv.org|Mar 27, 1996

Geometric and Algebraic Topology参考文献 14被引用 133

一句话总结

本文为具有紧致李群作用的紧致凯勒流形发展了等变格罗莫夫-威滕理论，在等变上同调上建立了弗罗贝尼乌斯结构。通过严谨地解释周期积分与格罗莫夫-威滕不变量，利用稳定映射，验证了卡勒-丘三叉完全交的镜像对称猜想，证明了所有次数下虚拟曲线计数的生成系列与皮卡德-富克斯方程的解一致。

ABSTRACT

We develop general theory of equivariant quantum cohomology for ample Kahler manifolds and prove the mirror conjecture for projective complete intersections.

研究动机与目标

• 为具有紧致李群作用的紧致凯勒流形构建格罗莫夫-威滕理论的等变对应版本。
• 将等变理论应用于计算旗流形的量子上同调代数。
• 利用等变技巧实现量子杯积算子的同步对角化。
• 通过将稳定映射不变量与皮卡德-富克斯方程的解严格关联，证明项目完全交（包括五次三叉）的镜像对称猜想。
• 利用局部化与稳定映射形式化，将镜像对称的物理预测以数学语言加以解释。

提出的方法

• 利用稳定映射的模空间对几乎凯勒流形中的伪全纯曲线的不变量进行紧化与定义。
• 在等变上同调中应用不动点局部化，以计算具有群作用空间上的不变量。
• 通过奇异点与双曲线附近的参数构造模空间的局部坐标。
• 将等变上同调模的截面模块识别为树状曲线中心分量上的扭层，并纳入度数约束。
• 利用曲线的正式邻域，通过幂级数展开将整体截面与微分方程的解联系起来。
• 应用康特舍维奇提出的树状求和方法，验证卡勒-丘三叉的镜像猜想。

实验结果

研究问题

• RQ1 在紧致李群作用下，格罗莫夫-威滕不变量如何推广至等变设定？
• RQ2 能否使用等变技巧计算旗流形的量子上同调？
• RQ3 在等变框架下，量子杯积算子的同步对角化是否成立？
• RQ4 能否通过稳定映射与局部化方法严格验证卡勒-丘三叉的镜像对称猜想？
• RQ5 虚拟曲线计数的生成系列是否在所有度数下与皮卡德-富克斯方程的解一致？

主要发现

• 本文证明了在 ℂP⁴ 中的一般五次三叉上，有理曲线的虚拟数量的生成系列与皮卡德-富克斯微分方程的解一致，验证了镜像对称的预测。
• 确立了镜像映射 T(t) = I₁(t)/I₀(t) 将皮卡德-富克斯方程转化为包含生成函数 K(q) = 5 + ∑ₙ₌₁ⁿ₌∞ nₙ d³ qᵈ / (1−qᵈ) 的形式，其中 nₙ 为度数 d 的有理曲线的虚拟计数。
• 虚拟曲线计数 n₁=2875, n₂=609250, n₃=317206375, 以及 n₄=242467530000 被证实与通过稳定映射导出的数学不变量一致。
• 该理论首次严格验证了霍奇数 h²¹=1, h¹¹=101 的卡勒-丘三叉的镜像对称性，涵盖所有有理曲线的度数。
• 该方法可推广至射影空间乘积中的完全交，并可通过进一步形式化推广至塔希克流形。
• 等变上同调空间 H*G(X) 被赋予弗罗贝尼乌斯结构，通过 S¹-等变弗洛尔同调将环路空间的几何与量子上同调联系起来。